Kottwitz’s conjecture describes the contribution of a supercuspidal representation to the cohomology of a local Shimura variety in terms of the local Langlands correspondence. A natural extension of this conjecture concerns Scholze’s more general spaces of local shtukas. Using a new Lefschetz–Verdier trace formula for v-stacks, we prove the extended conjecture, disregarding the action of the Weil group, and modulo a virtual representation whose character vanishes on the locus of elliptic elements. As an application, we show that, for an irreducible smooth representation of an inner form of GLn, the L-parameter constructed by Fargues–Scholze agrees with the usual semisimplified parameter arising from local Langlands.
more »
« less
THE COHOMOLOGY OF UNRAMIFIED RAPOPORT–ZINK SPACES OF EL-TYPE AND HARRIS'S CONJECTURE
Abstract We study the l -adic cohomology of unramified Rapoport–Zink spaces of EL-type. These spaces were used in Harris and Taylor's proof of the local Langlands correspondence for $$\mathrm {GL_n}$$ and to show local–global compatibilities of the Langlands correspondence. In this paper we consider certain morphisms $$\mathrm {Mant}_{b, \mu }$$ of Grothendieck groups of representations constructed from the cohomology of these spaces, as studied by Harris and Taylor, Mantovan, Fargues, Shin and others. Due to earlier work of Fargues and Shin we have a description of $$\mathrm {Mant}_{b, \mu }(\rho )$$ for $$\rho $$ a supercuspidal representation. In this paper, we give a conjectural formula for $$\mathrm {Mant}_{b, \mu }(\rho )$$ for $$\rho $$ an admissible representation and prove it when $$\rho $$ is essentially square-integrable. Our proof works for general $$\rho $$ conditionally on a conjecture appearing in Shin's work. We show that our description agrees with a conjecture of Harris in the case of parabolic inductions of supercuspidal representations of a Levi subgroup.
more »
« less
- Award ID(s):
- 1646385
- PAR ID:
- 10231625
- Date Published:
- Journal Name:
- Journal of the Institute of Mathematics of Jussieu
- ISSN:
- 1474-7480
- Page Range / eLocation ID:
- 1 to 56
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract In this paper we study the cohomology of PEL-type Rapoport–Zink spaces associated to unramified unitary similitude groups over ℚ p {\operatorname{\mathbb{Q}}_{p}} in an odd number of variables. We extend the results of Kaletha–Minguez–Shin–White and Mok to construct a local Langlands correspondence for these groups and prove an averaging formula relating the cohomology of Rapoport–Zink spaces to this correspondence. We use this formula to prove the Kottwitz conjecture for the groups we consider.more » « less
-
Scholze and Shin [J. Amer. Math. Soc. 26 (2013), pp. 261–294] gave a conjectural formula relating the traces on the automorphic and Galois sides of a local Langlands correspondence. Their work generalized an earlier formula of Scholze, which he used to give a new proof of the local Langlands conjecture for GL_n. Unlike the case for GL_n, the existence of non-singleton L-packets for more general reductive groups constitutes a serious representation-theoretic obstruction to proving that such a formula uniquely characterizes such a correspondence. We show how to overcome this problem, and demonstrate that the Scholze–Shin equation is enough, together with other standard desiderata, to uniquely characterize the local Langlands correspondence for discrete parameters.more » « less
-
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 show that, in good residual characteristic, most supercuspidal representations of a tamely ramified reductive p-adic group G arise from pairs (S,\theta), where S is a tame elliptic maximal torus of G, and \theta is a character of S satisfying a simple root-theoretic property. We then give a new expression for the roots of unity that appear in the Adler-DeBacker-Spice character formula for these supercuspidal representations and use it to show that this formula bears a striking resemblance to the character formula for discrete series representations of real reductive groups. Led by this, we explicitly construct the local Langlands correspondence for these supercuspidal representations and prove stability and endoscopic transfer in the case of toral representations. In large residual characteristic this gives a construction of the local Langlands correspondence for almost all supercuspidal representations of reductive p-adic groups.more » « less
An official website of the United States government

