We prove that the perfect loop functor $LX$ of a quasi-projective scheme $X$ over a local non-archimedean field $k$ satisfies arc-descent, strengthening a result of Drinfeld. Then we prove that for an unramified reductive group $G$, the map $LG \rightarrow L(G/B)$ is a $v$-surjection. This gives a mixed characteristic version (for $v$-topology) of an equal characteristic result (in étale topology) of Bouthier--Česnavičius.
In the second part of the article, we use the above results to introduce a well-behaved notion of Deligne--Lusztig spaces $X_w(b)$ attached to unramified $p$-adic reductive groups. We show that in various cases these sheaves are ind-representable, thus partially solving a question of Boyarchenko. Finally, we show that the natural covering spaces $\dot X_{\dot w}(b)$ are pro-étale torsors over clopen subsets of $X_w(b)$, and analyze some examples.
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.
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.
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$.
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…
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…
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.
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.
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 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…
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 …
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.
To any connected reductive group G over a non-archimedean local field F (of characteristic p > 0) and to any maximal torus T of G, we attach a family of extended affine Deligne-Lusztig varieties (and families of torsors over them) over the residue field of F. This construction generalizes affine Deligne-Lusztig varieties of Rapoport, which are attached only to unramified tori of G. Via this construction, we can attach to any maximal torus T of G and any character of T a representation of G. This procedure should conjecturally realize the automorphic induction from T to G. For G = GL_2, we prov…
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 $μ$.
In the setting of the geometric Langlands conjecture, we argue that the phenomenon of divergence at infinity on Bun_G (that is, the difference between $!$-extensions and $*$-extensions) is controlled, Langlands-dually, by the locus of semisimple $\check{G}$-local systems. To see this, we first rephrase the question in terms of Deligne-Lusztig duality and then study the Deligne-Lusztig functor DL_G^\spec acting on the spectral Langlands DG category IndCoh_N(LS_G). We prove that DL_G^\spec is the projection IndCoh_N(LS_G) \to QCoh(LS_G), followed by the action of a coherent D-module St_G which w…
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.
We prove a 1979 conjecture of Lusztig on the cohomology of semi-infinite Deligne--Lusztig varieties attached to division algebras over local fields. We also prove the two conjectures of Boyarchenko on these varieties. It is known that in this setting, the semi-infinite Deligne--Lusztig varieties are ind-schemes comprised of limits of certain finite-type schemes $X_h$. Boyarchenko's two conjectures are on the maximality of $X_h$ and on the behavior of the torus-eigenspaces of their cohomology. Both of these conjectures were known in full generality only for division algebras with Hasse invarian…
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 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 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.
Inspired by a recent paper of Garcia, Stichtenoth and Xing [2000, Compositio Math. 120, 137--170], we investigate the quotient curves of the Deligne-Lusztig curve associated to the Suzuki group.
We prove Rapoport's dimension conjecture for affine Deligne-Lusztig varieties for GL_h and superbasic b. From this case the general dimension formula for affine Deligne-Lusztig varieties for special maximal compact subgroups of split groups follows, as was shown in a recent paper by Goertz, Haines, Kottwitz, and Reuman.
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$.
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.
Let $X\to Y^0$ be an abelian prime-to-$p$ Galois covering of smooth schemes over a perfect field $k$ of characteristic $p>0$. Let $Y$ be a smooth compactification of $Y^0$ such that $Y-Y^0$ is a normal crossings divisor on $Y$. We describe a logarithmic $F$-crystal on $Y$ whose rational crystalline cohomology is the rigid cohomology of $X$, in particular provides a natural $W[F]$-lattice inside the latter; here $W$ is the Witt vector ring of $k$. If a finite group $G$ acts compatibly on $X$, $Y^0$ and $Y$ then our construction is $G$-equivariant. As an example we apply it to Deligne-Lusztig va…
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.
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.
Let L be k((ε)), where k is an algebraic closure of a finite field with q elements and εis an indeterminate, and let σbe the Frobenius automorphism. Let G be a split connected reductive group over the fixed field of σin L, and let I be the Iwahori subgroup of G(L) associated to a given Borel subgroup of G. Let W be the extended affine Weyl group of G. Given x in W and b in G(L), we have some subgroup of G(L) that acts on the affine Deligne-Lusztig variety X_x(b) = {gI in G(L)/I : g^{-1}bσ(g) is in IxI} and hence a representation of this subgroup on the Borel-Moore homology of the variety. We i…
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.
