The affine Deligne-Lusztig variety $X_w(b)$ in the affine flag variety of a reductive group $\mathbb G$ depends on two parameters: the $σ$-conjugacy class $[b]$ and the element $w$ in the Iwahori-Weyl group $\tilde W$ of $\mathbb G$. In this paper, for any given $σ$-conjugacy class $[b]$, we determine the nonemptiness pattern and the dimension formula of $X_w(b)$ for most $w \in \tilde W$.
The study of affine Deligne-Lusztig varieties originally arose from arithmetic geometry, but many problems on affine Deligne-Lusztig varieties are purely Lie-theoretic in nature. This survey deals with recent progress on several important problems on affine Deligne-Lusztig varieties. The emphasis is on the Lie-theoretic aspect, while some connections and applications to arithmetic geometry will also be mentioned.
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 GLn 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 set…
The study of certain union $X(μ, 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 formula of $\dim X(μ, b)$ for sufficiently large dominant coweight $μ$.
We prove a character formula for some closed fine Deligne-Lusztig varieties. We apply it to compute fixed points for fine Deligne-Lusztig varieties arising from the basic loci of Shimura varieties of Coxeter type. As an application, we prove an arithmetic intersection formula for certain diagonal cycles on unitary and GSpin Rapoport-Zink spaces arising from the arithmetic Gan-Gross-Prasad conjectures. In particular, we prove the arithmetic fundamental lemma in the minuscule case, without assumptions on the residual characteristic.
In this paper, we consider affine Deligne-Lusztig varieties $X_w(b)$ and their certain union $X(μ,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 associated Iwahori-Weyl group and dimension formula for $X(μ,b)$. We show that one can considerably weaken the superregularity hypothesis and sometimes completely eliminate it, t…
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 $σ$-centralizer group to the Mirkovic-Vilonen basis of a certain weight space of a representation of the Langlands dual group.
In this paper we introduce a family of Deligne--Lusztig type varieties attached to connected reductive groups over quotients of discrete valuation rings, naturally generalising the higher Deligne--Lusztig varieties and some constructions related to the algebraisation problem raised by Lusztig. We establish the inner product formula between the representations associated to these varieties and the higher Deligne--Lusztig representations.
In this paper we study the geometric structure of affine Deligne-Lusztig varieties for $GL_n$ and $b$ basic. We introduce a new condition on $λ$. If this is satisfied, then the corresponding affine Deligne-Lusztig variety is the disjoint union of classical Deligne-Lusztig varieties times finite-dimensional affine spaces.
In this paper, we prove a conjecture of Kottwitz and Rapoport on a union of (generalized) affine Deligne-Lusztig varieties $X(μ, b)_J$ for any tamely ramified group $G$ and its parahoric subgroup $P_J$. We show that $X(μ, b)_J \neq \emptyset$ if and only if the group-theoretic version of Mazur's inequality is satisfied. In the process, we obtain a generalization of Grothendieck's conjecture on the closure relation of $\s$-conjugacy classes of a twisted loop group.
In this paper, we consider certain union $X(μ,b)$ of affine Deligne-Lusztig varieties in the affine flag variety that arises in the study of mod-$p$ reduction of Rapoport-Zink spaces and moduli spaces of shtukas associated to a connected reductive group. Under a mild hypothesis on $μ$, but no further restrictions on the group, we compute its dimension in the case where $b$ is the maximal neutrally acceptable element.
This paper gives an explicit formula of the dimension of affine Deligne-Lusztig varieties associated with generic Newton point in terms of Demazure product of Iwahori-Weyl groups.
In this paper we prove some orthogonality relations for representations arising from deep level Deligne--Lusztig schemes of Coxeter type. This generalizes previous results of Lusztig (2004), and of Chan and the second author (2019). Potential applications include the study of unipotent representations arising from such deep level Deligne--Lusztig schemes, as well as their geometry, in the spirit of the work of Lusztig (1976).
We study the quotient of parabolic Deligne-Lusztig varieties by a finite unipotent group U^F where U is the unipotent radical of a rational parabolic subgroup P = L U. We show that in some particular cases the cohomology of this quotient can be expressed in terms of "smaller" parabolic Deligne-Lusztig varieties associated to the Levi subgroup L.
In this paper, we study affine Deligne--Lusztig varieties $X_w(b)$ when the finite part of the element $w$ in the Iwahori--Weyl group is a partial $σ$-Coxeter element. We show that such $w$ is a cordial element and $X_w(b) \neq \emptyset$ if and only if $b$ satisfies a certain Hodge--Newton indecomposability condition. The main result of this paper is that for such $w$ and $b$, $X_w(b)$ has a simple geometric structure: the $σ$-centralizer of $b$ acts transitively on the set of irreducible components of $X_w(b)$; and each irreducible component is an iterated fibration over a classical Deligne-…
Using Deodhar's decomposition of a double Schubert cell, we study the regular representations of finite groups of Lie type arising in the cohomology of Deligne-Lusztig varieties associated to tori. We deduce that the Deligne-Lusztig restriction of a Gelfand-Graev module is a shifted Gelfand-Graev module.
This note is based on my talk at ICCM 2013, Taipei. We give an exposition of the group-theoretic method and recent results on the questions of non-emptiness and dimension of affine Deligne-Lusztig varieties in affine flag varieties.
We study affine Deligne-Lusztig varieties in the affine flag manifold of an algebraic group, and in particular the question, which affine Deligne-Lusztig varieties are non-empty. Under mild assumptions on the group, we provide a complete answer to this question in terms of the underlying affine root system. In particular, this proves the corresponding conjecture for split groups stated in Görtz et al. (2010). The question of non-emptiness of affine Deligne-Lusztig varieties is closely related to the relationship between certain natural stratifications of moduli spaces of abelian varieties in p…
This paper studies affine Deligne-Lusztig varieties in the affine flag manifold of GL_2. At first we determine all such varieties up to isomorphy. After this we investigate the representations of the sigma-stabilizer of an element b of the group on the etale cohomology of the affine Deligne-Lusztig variety X_w(b). We describe such representations as inductions from compact subgroups and in terms of noncuspidal representations.
In this article, we study the étale cohomology of the compactification of Deligne-Lusztig varieties associated to a Coxeter element. We prove a result for the integral coefficients in the case of general linear group $GL_d$, and we conjecture that the similar result holds for general reductive groups.
Let $G$ be the Weil restriction of a general linear group. By extending the method of semi-modules developed by de Jong, Oort, Viehmann and Hamacher, we obtain a stratification of the affine Deligne-Lusztig varieties for $G$ (in the affine Grassmannian) attached to a minuscule coweight and a basic element. As an application, we verify a conjecture by Chen and Zhu on irreducible components of affine Deligne-Lusztig varieties for $G$.
Let $G$ be a reductive group over a finite field with a maximal unipotent subgroup $U$, we consider certain sheaves on $G/U$ defined by Kazhdan and Laumon and show that their cohomology produces the cohomology of the Deligne-Lusztig varieties. We then use this comparison to give a new proof of a result of Dudas.
We formulate a strong positivity conjecture on characters afforded by the Alvis-Curtis dual of the intersection cohomology of Deligne-Lusztig varieties. This conjecture provides a powerful tool to determine decomposition numbers of unipotent $\ell$-blocks of finite reductive groups.
We prove that the Deligne-Lusztig varieties associated to elements of the Weyl group which are of minimal length in their twisted class are affine. Our proof differs from the proof of He and Orlik-Rapoport and it is inspired by the case of regular elements, which correspond to the varieties involved in Broué's conjectures.
By extending the method of semi-modules developed by de Jong, Oort, Viehmann and Hamacher, we introduce a stratification for the affne Deligne-Lusztig variety (in the affne Grassmannian) attached to attached to a minuscule cocharacter and a basic element. As an application, we complete the proof of a conjecture on the irreducible components of affne Deligne-Lusztig varieties, due to Miaofen Chen and Xinwen Zhu.
In this paper we study higher Deligne--Lusztig representations of reductive groups over finite quotients of discrete valuation rings. At even levels, we show that these geometrically constructed representations coincide with certain induced representations in the generic case; this gives a solution to a problem raised by Lusztig. In particular, we determine the dimensions of these representations. As an immediate application we verify a conjecture of Letellier for $\mathrm{GL}_2$ and $\mathrm{GL}_3$.
We prove an explicit degree formula for certain unitary Deligne-Lusztig varieties. Combining with an alternative degree formula in terms of Schubert calculus, we deduce several algebraic combinatorial identities which may be of independent interest.
In this paper we consider Deligne-Lusztig varieties and their analogues when the Frobenius endomorphism is replaced with conjugation by an element in a group, especially a regular semisimple or regular unipotent one. We calculate their classes in the Chow group of the flag variety in terms of Schubert classes. Also we give some sufficient criteria when different elements in the Weyl group result in the same class.
This paper is a following to math.RT/0410454. For a finite group of Lie type we study the endomorphisms, commuting with the group action, of a Deligne-Lusztig variety associated to a regular element of the Weyl group. We state some general conjectures, in particular that the endomorphism algebra induced on the cohomology is a cyclotomic Hecke algebra, and prove them in some cases. On the way we also prove results on centralizers in braid groups.
In this paper we prove a direct geometric relation between Deligne--Lusztig varieties and Springer fibres in type $\mathsf{A}$: For any rational unipotent element, the Springer fibre cuts out a unique component of a specific Deligne--Lusztig variety; moreover, this component forms an open dense subset of a component of the Springer fibre. This boils down to a map from the unipotent variety to the Weyl group, and combines several constructions with a combinatorial flavour (like Weyr normal forms, Robinson--Schensted correspondence, and Spaltenstein's and Steinberg's labellings); it also provide…
Under the axiom of He and Rapoport for the stratifications of Shimura varieties, we explain a result of Görtz, He and Nie that the EKOR strata contained in the basic loci can be described as a disjoint union of Deligne-Lusztig varieties. In the special case of Siegel modular varieties, we compare their descriptions to that of Görtz and Yu for the supersingular Kottwitz-Rapoport strata and to the descriptions of Harashita, Hoeve for the supersingular Ekedahl-Oort strata.
We give a criterion which determines when a union of one-dimensional Deligne-Lusztig varieties has a connected closure. We also obtain a new, short proof of the connectedness criterion for Deligne-Lusztig varieties due to Lusztig.
We study the $J_b(F)$-action on the set of top-dimensional irreducible components of affine Deligne--Lusztig varieties in the affine Grassmannian. We show that the stabilizer of any such component is a parahoric subgroup of $J_b(F)$ of maximal volume, verifying a conjecture of X.~Zhu. As an application, we give a description of the set of top-dimensional irreducible components in the basic locus of Shimura varieties.
The group $\GL_2$ over a local field with (residue) characteristic $2$ possesses much more smooth supercuspidal $\ell$-adic representations, than over a local field of residue characteristic $> 2$. One way to construct these representations is via the theory of types of Bushnell-Kutzko. We construct many of them in the cohomology of certain extended affine Deligne-Lusztig varieties attached to $\GL_2$ and wildly ramified maximal tori in it. Then we compare our construction with the type-theoretic one. The corresponding extended affine Deligne-Lusztig varieties were introduced in a preceding ar…
The Deligne-Lusztig varieties associated to the Coxeter classes of the algebraic groups 2A2, 2B2 and 2G2 are affine algebraic curves. We produce explicit projective models of the closures of these curves. Furthermore for $d$ the Coxeter number of these groups, we find polynomials for each of these models that cut out the $\F_q$-points, the $\F_{q^d}$-points and the $\F_{q^{d+1}}$-points, and demonstrate a relation satisfied by these polynomials.
This paper studies affine Deligne-Lusztig varieties in the affine flag manifold of a split group. Among other things, it proves emptiness for certain of these varieties, relates some of them to those for Levi subgroups, extends previous conjectures concerning their dimensions, and generalizes the superset method.
In the present article we define coverings of affine Deligne-Lusztig varieties attached to a connected reductive group over a local field of characteristic $p > 0$. In the case of $\GL_2$, the unramified part of the local Langlands correspondence is realized in the $\ell$-adic cohomology of these varieties. We show this by giving a detailed comparison with the realization of local Langlands via cuspidal types by Bushnell-Henniart. All proofs are purely local.
In this paper we study the geometric structure of affine Deligne-Lusztig varieties for $GL_3$ 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.
Let $Bun_G(X)$ be the moduli stack of $G$-torsors on a smooth projective curve $X$ for a reductive group $G$. We prove a conjecture made by Drinfeld-Wang and Gaitsgory on the Deligne-Lusztig duality for D-modules on $Bun_G(X)$. This conjecture relates Drinfeld-Gaitsgory's pseudo-identity functors to the enhanced Eisenstein series and geometric constant term functors on $DMod(Bun_G(X))$. We also prove a "second adjointness" result for these enhanced functors.
We prove that the Drinfeld halfspace is essentially the only Deligne-Lusztig variety which is at the same time a period domain over a finite field. This is done by comparing a cohomology vanishing theorem for DL-varieties, due to Digne, Michel, and Rouquier, with a non-vanishing theorem for PD, due to the first author. We also discuss an affineness criterion for DL-varieties.
We determine the set of connected components of closed affine Deligne-Lusztig varieties for hyperspecial maximal parahoric subgroups of unramified connected reductive groups. This extends the work by Viehmann for split reductive groups, and the work by Chen-Kisin-Viehmann on minuscule 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 \…
We investigate Siegel modular varieties in positive characteristic with Iwahori level structure. On these spaces, we have the Newton stratification, and the Kottwitz-Rapoport stratification; one would like to understand how these stratifications are related to each other. We give a simple description of all KR strata which are entirely contained in the supersingular locus as disjoint unions of Deligne-Lusztig varieties. We also give an explicit numerical description of the KR stratification in terms of abelian varieties.
We determine the set of connected components of closed affine Deligne-Lusztig varieties for special maximal compact subgroups of split connected reductive groups. Especially, we show that such an affine Deligne-Lusztig variety has isolated points if and only if its dimension is 0. From the dimension formula for affine Deligne-Lusztig varieties we obtain a description of the set of these varieties that are zero-dimensional.
We construct explicitly the normalisation of the Bott-Samelson-Demazure-Hansen compactification of Deligne-Lusztig varieties $X(w)$ in their covering $Y(w)$: we retrieve a result by Deligne-Lusztig about the local monodromy around the divisors of the compactification.
This paper studies affine Deligne-Lusztig varieties $X_{\tw}(b)$ in the affine flag variety of a quasi-split tamely ramified group. We describe the geometric structure of $X_{\tw}(b)$ for a minimal length element $\tw$ in the conjugacy class of an extended affine Weyl group, generalizing one of the main results in \cite{HL} to the affine case. We then provide a reduction method that relates the structure of $X_{\tw}(b)$ for arbitrary elements $\tw$ in the extended affine Weyl group to those associated with minimal length elements. Based on this reduction, we establish a connection between the …
