An official website of the United States government
We show thatL-packets of toral supercuspidal representations arising from unramified maximal tori ofp-adic groups are realized by Deligne–Lusztig varieties for parahoric subgroups. We prove this by exhibiting a direct comparison between the cohomology of these varieties and algebraic constructions of supercuspidal representations. Our approach is to establish that toral irreducible representations are uniquely determined by the values of their characters on a domain of sufficiently regular elements. This is an analogue of Harish-Chandra’s characterization of real discrete series representations by their characters on regular elements of compact maximal tori, a characterization which Langlands relied on in his construction ofL-packets of these representations. In parallel to the real case, we characterize the members of Kaletha’s toralL-packets by their characters on sufficiently regular elements of elliptic maximal tori.
more »
« less
FINE DELIGNE–LUSZTIG VARIETIES AND ARITHMETIC FUNDAMENTAL LEMMAS
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.
more »
« less
- PAR ID:
- 10161208
- Date Published:
- Journal Name:
- Forum of Mathematics, Sigma
- Volume:
- 7
- ISSN:
- 2050-5094
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract 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 {X_{h}} . Boyarchenko’s two conjectures are on the maximality of X h {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 invariant 1 / n {1/n} in the case h = 2 {h=2} (the “lowest level”) by the work of Boyarchenko–Weinstein on the cohomology of a special affinoid in the Lubin–Tate tower. We prove that the number of rational points of X h {X_{h}} attains its Weil–Deligne bound, so that the cohomology of X h {X_{h}} is pure in a very strong sense. We prove that the torus-eigenspaces of the cohomology group H c i ( X h ) {H_{c}^{i}(X_{h})} are irreducible representations and are supported in exactly one cohomological degree. Finally, we give a complete description of the homology groups of the semi-infinite Deligne–Lusztig varieties attached to any division algebra, thus giving a geometric realization of a large class of supercuspidal representations of these groups. Moreover, the correspondence θ ↦ H c i ( X h ) [ θ ] {\theta\mapsto H_{c}^{i}(X_{h})[\theta]} agrees with local Langlands and Jacquet–Langlands correspondences. The techniques developed in this paper should be useful in studying these constructions for p -adic groups in general.more » « less
-
We prove in generic situations that the lattice in a tame type induced by the completed cohomology of a $U(3)$ -arithmetic manifold is purely local, that is, only depends on the Galois representation at places above $$p$$ . This is a generalization to $$\text{GL}_{3}$$ of the lattice conjecture of Breuil. In the process, we also prove the geometric Breuil–Mézard conjecture for (tamely) potentially crystalline deformation rings with Hodge–Tate weights $(2,1,0)$ as well as the Serre weight conjectures of Herzig [‘The weight in a Serre-type conjecture for tame $$n$$ -dimensional Galois representations’, Duke Math. J. 149 (1) (2009), 37–116] over an unramified field extending the results of Le et al. [‘Potentially crystalline deformation 3985 rings and Serre weight conjectures: shapes and shadows’, Invent. Math. 212 (1) (2018), 1–107]. We also prove results in modular representation theory about lattices in Deligne–Lusztig representations for the group $$\text{GL}_{3}(\mathbb{F}_{q})$$ .more » « less
-
We prove that F-injectivity localizes, descends under faithfully flat homomorphisms, and ascends under flat homomorphisms with Cohen–Macaulay and geometrically F-injective fibers, all for arbitrary Noetherian rings of prime characteristic. As a consequence, we show that the F-injective locus is open on most rings arising in arithmetic and geometry. As a geometric application, we prove that over an algebraically closed field of characteristic p > 3, generic projection hypersurfaces associated to suitably embedded smooth projective varieties of dimension ≤5 are F-pure, and hence F-injective. This geometric result is the positive characteristic analogue of a theorem of Doherty.more » « less
-
Abstract Kazhdan and Lusztig identified the affine Hecke algebra ℋ with an equivariant$$K$$ -group of the Steinberg variety, and applied this to prove the Deligne-Langlands conjecture, i.e., the local Langlands parametrization of irreducible representations of reductive groups over nonarchimedean local fields$$F$$ with an Iwahori-fixed vector. We apply techniques from derived algebraic geometry to pass from$$K$$ -theory to Hochschild homology and thereby identify ℋ with the endomorphisms of a coherent sheaf on the stack of unipotent Langlands parameters, thecoherent Springer sheaf. As a result the derived category of ℋ-modules is realized as a full subcategory of coherent sheaves on this stack, confirming expectations from strong forms of the local Langlands correspondence (including recent conjectures of Fargues-Scholze, Hellmann and Zhu). In the case of the general linear group our result allows us to lift the local Langlands classification of irreducible representations to a categorical statement: we construct a full embedding of the derived category of smooth representations of$$\mathrm{GL}_{n}(F)$$ into coherent sheaves on the stack of Langlands parameters.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1017/fms.2019.45
