skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: An approach to the characterization of the local Langlands correspondence
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
Award ID(s):
1840234
PAR ID:
10531523
Author(s) / Creator(s):
;
Publisher / Repository:
American Math Society
Date Published:
Journal Name:
Representation Theory of the American Mathematical Society
Volume:
27
Issue:
12
ISSN:
1088-4165
Page Range / eLocation ID:
415 to 430
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. null (Ed.)
    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
  2. 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
  3. 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
  4. Abstract Kazhdan and Lusztig identified the affine Hecke algebra ℋ with an equivariant$$K$$ 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$$ F with an Iwahori-fixed vector. We apply techniques from derived algebraic geometry to pass from$$K$$ 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)$$ GL n ( F ) into coherent sheaves on the stack of Langlands parameters. 
    more » « less
  5. Abstract For a connected reductive groupGover a nonarchimedean local fieldFof positive characteristic, Genestier-Lafforgue and Fargues-Scholze have attached a semisimple parameter$${\mathcal {L}}^{ss}(\pi )$$to each irreducible representation$$\pi $$. Our first result shows that the Genestier-Lafforgue parameter of a tempered$$\pi $$can be uniquely refined to a tempered L-parameter$${\mathcal {L}}(\pi )$$, thus giving the unique local Langlands correspondence which is compatible with the Genestier-Lafforgue construction. Our second result establishes ramification properties of$${\mathcal {L}}^{ss}(\pi )$$for unramifiedGand supercuspidal$$\pi $$constructed by induction from an open compact (modulo center) subgroup. If$${\mathcal {L}}^{ss}(\pi )$$is pure in an appropriate sense, we show that$${\mathcal {L}}^{ss}(\pi )$$is ramified (unlessGis a torus). If the inducing subgroup is sufficiently small in a precise sense, we show$$\mathcal {L}^{ss}(\pi )$$is wildly ramified. The proofs are via global arguments, involving the construction of Poincaré series with strict control on ramification when the base curve is$${\mathbb {P}}^1$$and a simple application of Deligne’s Weil II. 
    more » « less