Affine Deligne Lusztig Varieties Research Articles

Machine Learning Assisted Exploration for Affine Deligne–Lusztig Varieties

AbstractThis paper presents a novel, interdisciplinary study that leverages a Machine Learning (ML) assisted framework to explore the geometry of affine Deligne–Lusztig varieties (ADLV). The primary objective is to investigate the non-emptiness pattern, dimension, and enumeration of irreducible components of ADLV. Our proposed framework demonstrates a recursive pipeline of data generation, model training, pattern analysis, and human examination, presenting an intricate interplay between ML and pure mathematical research. Notably, our data-generation process is nuanced, emphasizing the selection of meaningful subsets and appropriate feature sets. We demonstrate that this framework has a potential to accelerate pure mathematical research, leading to the discovery of new conjectures and promising research directions that could otherwise take significant time to uncover. We rediscover the virtual dimension formula and provide a full mathematical proof of a newly identified problem concerning a certain lower bound of dimension. Furthermore, we extend an open invitation to the readers by providing the source code for computing ADLV and the ML models, promoting further explorations. This paper concludes by sharing valuable experiences and highlighting lessons learned from this collaboration.

Semi-modules and crystal bases via affine Deligne-Lusztig varieties

There are two combinatorial ways of parameterizing the Jb(F)-orbits of the irreducible components of affine Deligne-Lusztig varieties for GLn and superbasic b. One way is to use the extended semi-modules introduced by Viehmann. The other way is to use the crystal bases introduced by Kashiwara and Lusztig. In this paper, we give an explicit correspondence between them using the crystal structure.

Affine Bruhat order and Demazure products

Abstract We give new descriptions of the Bruhat order and Demazure products of affine Weyl groups in terms of the weight function of the quantum Bruhat graph. These results can be understood to describe certain closure relations concerning the Iwahori–Bruhat decomposition of an algebraic group. As an application towards affine Deligne–Lusztig varieties, we present a new formula for generic Newton points.

Affine Deligne–Lusztig varieties and folded galleries governed by chimneys

Affine Deligne–Lusztig varieties and folded galleries governed by chimneys

Connected components of affine Deligne–Lusztig varieties for unramified groups

For an unramified reductive group, we determine the connected components of affine Deligne–Lusztig varieties in the affine flag variety. Based on work of Hamacher, Kim, and Zhou, this result allows us to verify, in the unramified group case, the He–Rapoport axioms, the almost product structure of Newton strata, and the precise description of isogeny classes predicted by the Langlands–Rapoport conjecture, for the Kisin–Pappas integral models of Shimura varieties of Hodge type with parahoric level structure.

On some simple geometric structure of affine Deligne–Lusztig varieties for GLn\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${{\\,\ extrm{GL}\\,}}_n$$\\end{document}

In this paper we study the geometric structure of affine Deligne–Lusztig varieties Xλ(b)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$X_{\\lambda }(b)$$\\end{document} for GLn\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\ extrm{GL}_n$$\\end{document} and b basic. Motivated by Görtz and He (Camb J Math 3:323–353, 2015) and Chan and Ivanov (Math Ann 380:1801–1890, 2021), we consider a new condition on λ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\lambda $$\\end{document}. If this is satisfied, then Xλ(b)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$X_{\\lambda }(b)$$\\end{document} is the disjoint union of classical Deligne–Lusztig varieties times finite-dimensional affine spaces.

Geometric structure of affine Deligne-Lusztig varieties for GL3

In this paper we study the geometric structure of affine Deligne-Lusztig varieties Xλ(b) for GL3 and b basic. We completely determine the irreducible components of the affine Deligne-Lusztig variety. In particular, we classify the cases where all of the irreducible components are classical Deligne-Lusztig varieties times finite-dimensional affine spaces. If this is the case, then the irreducible components are pairwise disjoint.

Affine Deligne–Lusztig varieties and quantum Bruhat graph

In this paper, we consider affine Deligne–Lusztig varieties $$X_w(b)$$ and their certain union $$X(\mu ,b)$$ inside the affine flag variety of a reductive group. Several important results in the study of affine Deligne–Lusztig varieties have been established under the so-called superregularity hypothesis. Such results include a description of generic Newton points in Iwahori double cosets of loop groups, covering relation in the associated Iwahori–Weyl group and a dimension formula for $$X(\mu ,b)$$ . We show that one can considerably weaken the superregularity hypothesis and sometimes eliminate it, thus strengthening these existing results.

Basic loci of Coxeter type with arbitrary parahoric level

AbstractMotivated by the desire to understand the geometry of the basic loci in the reduction of Shimura varieties, we study their “group-theoretic models”—generalized affine Deligne–Lusztig varieties—in cases where they have a particularly nice description. Continuing the work of Görtz and He (2015, Cambridge Journal of Mathematics 3, 323–353) and Görtz, He, and Nie (2019, Peking Mathematical Journal 2, 99–154), we single out the class of cases of Coxeter type, give a characterization in terms of the dimension, and obtain a complete classification. We also discuss known, new, and open cases from the point of view of Shimura varieties/Rapoport–Zink spaces.

Closure relations of Newton strata in Iwahori double cosets

We consider the Newton stratification on Iwahori double cosets for a connected reductive group. We prove the existence of Newton strata whose closures cannot be expressed as a union of strata, and show how this is implied by the existence of non-equidimensional affine Deligne–Lusztig varieties. We also give an explicit example for a group of type A_4.

Affine Deligne–Lusztig varieties at infinite level

We initiate the study of affine Deligne–Lusztig varieties with arbitrarily deep level structure for general reductive groups over local fields. We prove that for $${{\,\mathrm{GL}\,}}_n$$ and its inner forms, Lusztig’s semi-infinite Deligne–Lusztig construction is isomorphic to an affine Deligne–Lusztig variety at infinite level. We prove that their homology groups give geometric realizations of the local Langlands and Jacquet–Langlands correspondences in the setting that the Weil parameter is induced from a character of an unramified field extension. In particular, we resolve Lusztig’s 1979 conjecture in this setting for minimal admissible characters.

Maximal Newton Points and the Quantum Bruhat Graph

We discuss a surprising relationship between the partially ordered set of Newton points associated with an affine Schubert cell and the quantum cohomology of the complex flag variety. The main theorem provides a combinatorial formula for the unique maximum element in this poset in terms of paths in the quantum Bruhat graph, whose vertices are indexed by elements in the finite Weyl group. Key to establishing this connection is the fact that paths in the quantum Bruhat graph encode saturated chains in the strong Bruhat order on the affine Weyl group. This correspondence is also fundamental in the work of Lam and Shimozono establishing Peterson’s isomorphism between the quantum cohomology of the finite flag variety and the homology of the affine Grassmannian. One important geometric application of the present work is an inequality which provides a necessary condition for nonemptiness of certain affine Deligne–Lusztig varieties in the affine flag variety.

Dimension formula for the affine Deligne–Lusztig variety $$X(\mu , b)$$

The study of certain union $$X(\mu , b)$$ of affine Deligne–Lusztig varieties in the affine flag varieties arose from the study of Shimura varieties with Iwahori level structure. In this paper, we give an explicit dimension formula for $$X(\mu , b)$$ associated to sufficiently large dominant coweight $$\mu $$ .

On the connected components of affine Deligne–Lusztig varieties

We study the set of connected components of certain unions of affine Deligne-Lusztig varieties arising from the study of Shimura varieties. We determine the set of connected components for basic $\s$-conjugacy classes. As an application, we verify the Axioms in \cite{HR} for certain PEL type Shimura varieties. We also show that for any nonbasic $\s$-conjugacy class in a residually split group, the set of connected components is "controlled" by the set of straight elements associated to the $\s$-conjugacy class, together with the obstruction from the corresponding Levi subgroup. Combined with \cite{Zhou}, this allows one to verify in the residually split case, the description of the mod-$p$ isogeny classes on Shimura varieties conjectured by Langland and Rapoport. Along the way, we determine the Picard group of the Witt vector affine Grassmannian of \cite{BS} and \cite{Zhu} which is of independent interest.

Shadows in Coxeter Groups

For a given w in a Coxeter group W, the elements u smaller than w in Bruhat order can be seen as the end alcoves of stammering galleries of type w in the Coxeter complex Sigma . We generalize this notion and consider sets of end alcoves of galleries that are positively folded with respect to certain orientation phi of Sigma . We call these sets shadows. Positively folded galleries are closely related to the geometric study of affine Deligne–Lusztig varieties, MV polytopes, Hall–Littlewood polynomials, and many more algebraic structures. In this paper, we will introduce various notions of orientations and hence shadows and study some of their algorithmic properties.

Finiteness Properties of Affine Deligne-Lusztig Varieties

Affine Deligne-Lusztig varieties are closely related to the special fibre of Newton strata in the reduction of Shimura varieties or of moduli spaces of $G$-shtukas. In almost all cases, they are not quasi-compact. In this note we prove basic finiteness properties of affine Deligne-Lusztig varieties under minimal assumptions on the associated group. We show that affine Deligne-Lusztig varieties are locally of finite type, and prove a global finiteness result related to the natural group action. Similar results have previously been known for special situations.

Twisted orbital integrals and irreducible components of affine Deligne–Lusztig varieties

We analyze the asymptotic behavior of certain twisted orbital integrals arising from the study of affine Deligne-Lusztig varieties. The main tools include the Base Change Fundamental Lemma and $q$-analogues of the Kostant partition functions. As an application we prove a conjecture of Miaofen Chen and Xinwen Zhu, relating the set of irreducible components of an affine Deligne-Lusztig variety modulo the action of the $\sigma$-centralizer group to the Mirkovic-Vilonen basis of a certain weight space of a representation of the Langlands dual group.

Minimal Newton Strata in Iwahori Double Cosets

AbstractThe set of Newton strata in a given Iwahori double coset in the loop group of a reductive group $G$ is indexed by a finite subset of the set $B(G)$ of Frobenius-conjugacy classes. For unramified $G$, we show that it has a unique minimal element and determine this element. Under a regularity assumption, we also compute the dimension of the corresponding Newton stratum. We derive corresponding results for affine Deligne–Lusztig varieties.

Connected components of closed affine Deligne-Lusztig varieties for ResE/FGLn

Let F be a p-adic field and let E/F be a finite unramified extension. For the Weil restriction ResE/FGLn of the general linear group GLn, we determine the connected components of closed affine Deligne-Lusztig varieties of arbitrary parahoric level.

Dimensions of Affine Deligne–Lusztig Varieties: A New Approach via Labeled Folded Alcove Walks and Root Operators

Let G be a reductive group over the field F=k((t)), where k is an algebraic closure of a finite field, and let W be the (extended) affine Weyl group of G. The associated affine Deligne-Lusztig varieties $X_x(b)$, which are indexed by elements b in G(F) and x in W, were introduced by Rapoport. Basic questions about the varieties $X_x(b)$ which have remained largely open include when they are nonempty, and if nonempty, their dimension. We use techniques inspired by geometric group theory and representation theory to address these questions in the case that b is a pure translation, and so prove much of a sharpened version of Conjecture 9.5.1 of Gortz, Haines, Kottwitz, and Reuman. Our approach is constructive and type-free, sheds new light on the reasons for existing results in the case that b is basic, and reveals new patterns. Since we work only in the standard apartment of the building for G(F), our results also hold in the p-adic context, where we formulate a definition of the dimension of a p-adic Deligne-Lusztig set. We present two immediate consequences of our main results, to class polynomials of affine Hecke algebras and to affine reflection length.