Endo-parameters for p-adic classical groups

DOI10.1007/S00222-020-00997-0MaRDI QIDQ2225237zbMATH OpenOpenAlexFDO

Authors Daniel Skodlerack, Shaun Stevens, Robert Kurinczuk

Publication date 5 February 2021

Published in Inventiones Mathematicae (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1611.02667

zbMATH Keywords

classical groupsendo-parameterslocal Langlands correspondence

Mathematics Subject Classification ID

Representation-theoretic methods; automorphic representations over local and global fields (11F70) Representations of Lie and linear algebraic groups over local fields (22E50)

Abstract: For a classical group over a non-archimedean local field of odd residual characteristic p, we prove that two cuspidal types, defined over an algebraically closed field C of characteristic different from p, intertwine if and only if they are conjugate. This completes work of the first and third authors who showed that every irreducible cuspidal C-representation of a classical group is compactly induced from a cuspidal type. We generalize Bushnell and Henniart's notion of endo-equivalence to semisimple characters of general linear groups and to self-dual semisimple characters of classical groups, and introduce (self-dual) endo-parameters. We prove that these parametrize intertwining classes of (self-dual) semisimple characters and conjecture that they are in bijection with wild Langlands parameters, compatibly with the local Langlands correspondence.

Review text

We can probe representations of a reductive \(p\)-adic group using its compact-open subgroups. Given an irreducible representation \(\rho\) of the subgroup \(K\), one simply asks if the restriction of the representation to \(K\) has nontrivial \(\rho\)-isotypic component, in which case we say that the representation \textit{contains} \((K,\rho)\). Surprisingly, this simple-minded procedure completely controls the irreducible representations of the ambient group in many cases. In their seminal study of the general linear group \textit{C. J. Bushnell} and \textit{P. C. Kutzko} [The admissible dual of \(\mathrm{GL}(N)\) via compact open subgroups. Princeton, NJ: Princeton University Press (1993; Zbl 0787.22016)] isolated a collection of such pairs \((K,\rho)\) which they called \textit{simple types}. They showed that every irreducible representation of \(\mathrm{GL}_n\) contains a simple type and moreover that the irreducible representations containing a given simple type could be classified by irreducible representations of related Hecke algebras. Simple types are constructed from an arithmetic input called a \textit{stratum}. From this object one forms a chain \(H^1 \trianglelefteq J^1 \trianglelefteq J\) of compact-open subgroups of \(G\). There is a special class of \textit{simple characters} \(\theta\) of \(H^1\). A simple character \(\theta\) canonically produces an irreducible representation \(\eta\) of \(J^1\), distinguished by the requirement that \(\eta|_{H^1}\) contain \(\theta\). One carefully extends \(\eta\) to a representation \(\kappa\) of \(J\), a so-called \textit{\(\beta\)-extension} whose precise definition is subtle. Finally, one inflates to \(J\) a cuspidal representation of the quotient \(J/J^1\), a finite reductive group. Let \(\sigma\) denote this inflation. The simple types are then the pairs \((J,\sigma\otimes\kappa)\). These constructions depend on many choices, but many of the choices are illusory. Generally speaking, one would like to impose natural equivalence relations on the choices, to the effect that equivalent choices result in the same representation theory, and to then understand the equivalence classes. When the choice is a representation, the equivalence relation is intertwining or some weakening of it and one would like the equivalence classes to be conjugacy classes, what is called an ``intertwining implies conjugacy theorem. Indeed, this hope entails that the relevant notion of equivalence form an equivalence relation at all, since the relation of intertwining is not a priori transitive. For both simple types and simple characters, the relevant notion of equivalence is intertwining and intertwining implies conjugacy. In their study of base change, \textit{C. J. Bushnell} and \textit{G. Henniart} [Publ. Math., Inst. Hautes Étud. Sci. 83, 105--233 (1996; Zbl 0878.11042)] introduced a weaker notion of equivalence for simple characters called \textit{endo-equivalence}, in which one allows variation of both the stratum and the ambient general group. Properly this an equivalence relation not on simple characters, but on the so-called \textit{potentially simple} (ps) characters, which are objects cooked up to allow such variation. From the point of view of the local Langlands correspondence, endo-equivalence has the following interpretation. In the construction of simple types there is a dichotomy between positive depth, where the simple character \(\kappa\) lives, and depth zero, where the cuspidal representation \(\sigma\) lives. On the Galois side, \(\sigma\) has something to do with \(L\)-parameters trivial on the wild inertia subgroup, and \(\kappa\) has something to do with \textit{wild \(L\)-parameters}, the restrictions of \(L\)-parameters to wild inertia. It is expected that wild \(L\)-parameters correspond to \textit{endo-parameters}, formal linear combinations of endo-equivalence classes. The paper under review fits into the long program of generalizing this work to the classical groups. By definition, the classical groups are the fixed points of an (outer) involution of \(\mathrm{GL}_n\). Very roughly, one can study such groups by the same methods as for the general linear group at the cost of incorporating the involution into the development of the theory: vector spaces become (\(\varepsilon\)-)hermitian spaces, simple characters become self-dual simple characters, and so on. The truth, of course, is much more complicated. To give just one example, in the group \(\mathrm{GL}_n\), the maximal compact (modulo center) tori are the units in degree-\(n\) field extensions, which are indecomposable as algebraic groups. But the maximal compact tori of classical groups can decompose as direct products of smaller tori. This fact of life led the third author to introduce in his thesis work the class of \textit{semisimple characters} for both the general linear and classical groups, generalizing Bushnell and Kutzko's simple characters. In the authors' own words, the core technical accomplishment of the paper under review is to ``generalize Bushnell and Henniart's notions of ps-character and endo-equivalence to self-dual pss-characters and endo-equivalence for \(p\)-adic classical groups, and along the way to the semisimple setting of pss-characters and endo-equivalence for \(p\)-adic general linear groups. Here ``pss abbreviates \textit{potentially semisimple}. Their generalization is much more than the simple-minded imitation of earlier definitions; it requires a full development of the theory. This work is then leveraged to prove that intertwining implies conjugacy for cuspidal types, generalizing Bushnell and Kutzko's work. Unlike the earlier work of Bushnell and Kutzko mentioned above, here the algebraically-closed coefficient field may be taken to have any characteristic prime to \(p\), a satisfyingly general hypothesis. I hope that future work will relax the assumption that \(p\neq2\), where there are surely many interesting new phenomena to be discovered. I appreciated the authors' effort to motivate the definitions and technical developments. In light of the notational complexity, failure to do so would have rendered the paper unreadable. Concrete examples and an index of notation would have made the paper more readable still.

Recommendations

• Semisimple types for \(p\)-adic classical groups
• Intertwining operators and Hecke algebras with parameters from a reductive p-adic group: The case of the classical groups.
• Semisimple characters for inner forms. II: Quaternionic forms of \(p\)-adic classical groups (\(p\) odd)
• Semisimple characters for \(p\)-adic classical groups
• Intertwining semisimple characters for p-adic classical groups

Cites work

• l-modular representations of a p-adic reductive group with l p
• A functoriality principle for blocks of p-adic linear groups
• Block decomposition of the category of \(\ell\)-modular smooth representations of \(\mathrm{GL}_n(\mathrm{F})\) and its inner forms
• Blocks of the category of smooth \(\ell\)-modular representations of \(\mathrm{GL}(n,F)\) and its inner forms: reduction to level 0
• Construction of tame supercuspidal representations
• Cuspidal -modular representations of p-adic classical groups
• Distinguished Tame Supercuspidal Representations
• Double coset decompositions and intertwining
• Endoscopic classification of representations of quasi-split unitary groups
• Field embeddings which are conjugate under a \(p\)-adic classical group
• Finitude pour les représentations lisses de groupes p-adiques
• Galois self-dual cuspidal types and Asai local factors
• Higher ramification and the local Langlands correspondence
• scientific article; zbMATH DE number 5570793 (Why is no real title available?)
• scientific article; zbMATH DE number 3935120 (Why is no real title available?)
• scientific article; zbMATH DE number 705068 (Why is no real title available?)
• scientific article; zbMATH DE number 1356196 (Why is no real title available?)
• Intertwining and supercuspidal types for p-adic classical groups
• Intertwining of Simple Characters in GL(n)
• Intertwining semisimple characters for p-adic classical groups
• Jordan blocks of cuspidal representations of symplectic groups
• Local tame lifting for GL(N). I: Simple characters
• Non-Abelian Congruence Gauss Sums and _p -Adic Simple Algebras
• On level zero -blocks of p-adic groups
• ON THE LOCAL LANGLANDS CORRESPONDENCE FOR SPLIT CLASSICAL GROUPS OVER LOCAL FUNCTION FIELDS
• REPRÉSENTATIONS LISSES DE $\mathrm{GL}_{m}(\mathrm{D})$ IV : REPRÉSENTATIONS SUPERCUSPIDALES
• Représentations lisses de $\textup {GL} (m,D)$ I : caractères simples
• Semisimple characters for \(p\)-adic classical groups
• Semisimple types for \(p\)-adic classical groups
• Smooth representations of \(\mathrm{GL}_m(D)\). VI: Semisimple types
• Smooth representations of \(\text{GL}_m(D)\). V: Endo-classes
• Sp(2)-covers for self-contragredient supercuspidal representations of GL()
• Supercuspidal representations of \(\mathrm{GL}_n(\mathrm{F})\) distinguished by a Galois involution
• Tamely ramified supercuspidal representations of Gl_n
• The Admissible Dual of GL(N) via Compact Open Subgroups. (AM-129)
• THE BERNSTEIN CENTER OF THE CATEGORY OF SMOOTH -MODULES
• The endoscopic classification of representations
• The supercuspidal representations of \(p\)-adic classical groups
• To an effective local Langlands correspondence
• Towards an explicit local Jacquet–Langlands correspondence beyond the cuspidal case
• Types modulo ℓ pour les formes intérieures de GL_nsur un corps local non archimédien

Cited in

(11)

• Endo-class and the Jacquet-Langlands correspondence
• Representations of a reductive \(p\)-adic group in characteristic distinct from \(p\)
• Hecke algebras of classical groups over p-adic fields. II
• Semisimple characters for inner forms. II: Quaternionic forms of \(p\)-adic classical groups (\(p\) odd)
• scientific article; zbMATH DE number 5575879 (Why is no real title available?)
• Types and Hecke algebras for principal series representations of split reductive p-adic groups
• Intertwining semisimple characters for p-adic classical groups
• Semisimple characters for inner forms. I: \(\mathrm{GL}_m (D)\)
• Restricting admissible representations to fixed-point subgroups
• Representations of \(p\)-adic groups over commutative rings
• Simple type theory for metaplectic covers of \(\operatorname{GL}(r)\) over a non-Archimedean local field

This page was built for publication: Endo-parameters for \(p\)-adic classical groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2225237)