The supercuspidal representations of p-adic classical groups
Shaun Stevens
备注:
55 pages -- minor changes from 1st version (mostly in sections 2.2, 4.2 and 6.2). To appear in Inventiones mathematicae, 2008 (DOI is not yet active as at 12 Nov 2007)
Let G be a unitary, symplectic or special orthogonal group over a locally compact non-archimedean local field of odd residual characteristic. We construct many new supercuspidal representations of G, and Bushnell-Kutzko types for these representations. Moreover, we prove that every irreducible supercuspidal representation of G arises from our constructions.
We study components of the Bernstein category for a p-adic classical group (with p odd) with inertial support a self-dual positive level supercuspidal representation of a Siegel Levi subgroup. More precisely, we use the method of covers to construct a Bushnell-Kutzko type for such a component. A detailed knowledge of the Hecke algebra of the type should have number-theoretic implications.
Let $G$ be a reductive $p$-adic group. We give a short proof of the fact that $G$ always admits supercuspidal complex representations. This result has already been established by A. Kret using the Deligne-Lusztig theory of representations of finite groups of Lie type. Our argument is of a different nature and is self-contained. It is based on the Harish-Chandra theory of cusp forms and it ultimately relies on the existence of elliptic maximal tori in $G$.
We describe the supercuspidal representations of Sp(4,F), for F a non-archimedean local field of residual characteristic different from 2, and determine which are generic.
The character formulas of Sally and Shalika are an early triumph in $p$-adic harmonic analysis, but, to date, the calculations underlying the formulas have not been available. In this paper, which should be viewed as a precursor of the forthcoming volume by the authors and Alan Roche, we leverage modern technology (for example, the Moy-Prasad theory) to compute explicit character tables. An interesting highlight is the computation of the 'exceptional' supercuspidal characters, i.e., those depth-zero representations not arising by inflation-induction from a Deligne-Lusztig representation of fin…
We compute the characters of many supercuspidal representations of reductive p-adic groups. Specifically, we deal with representations that arise via Yu's construction from data satisfying a certain compactness condition. Each character is expressed in terms of a depth-zero character of a smaller group, the (linear) characters appearing in Yu's construction, Fourier transforms of orbital integrals, and certain signs and cardinalities that are described explicitly in terms of the datum associated to the representation and of the element at which the character is evaluated.
The author's work with Murnaghan on distinguished tame supercuspidal representations is re-examined using a simplified treatment of Jiu-Kang Yu's construction of tame supercuspidal representations of $p$-adic reductive groups. This leads to a unification of aspects of the theories of distinguished cuspidal representations over $p$-adic and finite fields.
A new approach to Jiu-Kang Yu's construction of tame supercuspidal representations of $p$-adic reductive groups is presented. Connections with the theory of cuspidal Deligne-Lusztig representations of finite groups of Lie type are also discussed.
For a $p$-adic field $F$, the embeddings of a tame supercuspidal representation of $G= {\rm GL}_n (F)$ in the space of smooth functions on the set of symmetric matrices in $G$ are determined.
Let $π$ be an irreducible smooth complex representation of a general linear $p$-adic group and let $σ$ be an irreducible complex supercuspidal representation of a classical $p$-adic group of a given type, so that $π\otimesσ$ is a representation of a standard Levi subgroup of a $p$-adic classical group of higher rank. We show that the reducibility of the representation of the appropriate $p$-adic classical group obtained by (normalized) parabolic induction from $π\otimesσ$ does not depend on $σ$, if $σ$ is "separated" from the supercuspidal support of $π$. (Here, "separated" means that, for eac…
Let $G$ be a reductive $p$-adic group. We prove that all supercuspidal representations of $G$ arise through Yu's construction subject to certain hypotheses on $k$ (depending on $G$). As a corollary, under the same hypotheses, we see that any supercuspidal representation is compactly induced from a representation of an open subgroup which is compact modulo the center.
We show that a mod-$\ell$-representation of a p-adic group arising from the analogue of Yu's construction is supercuspidal if and only if it arises from a supercuspidal representation of a finite reductive group. This has been previously shown by Henniart and Vigneras under the assumption that the second adjointness holds, a statement that is not yet available in the literature.
Based on recent work of Kaletha, we apply Hakim--Murnaghan's result to study distinguished regular supercuspidal representations of tamely ramified reductive $p$-adic groups. Assuming $p$ is sufficiently large, we obtain a necessary and sufficient condition for regular supercuspidal representations to be distinguished. We also investigate the relation between the distinction problem and the Langlands functoriality, and confirm a conjecture of Lapid for regular depth-zero or epipelagic supercuspidal representations.
We re-write the character formulæ of Adler and the second-named author in a form amenable to explicit computations in $p$-adic harmonic analysis, and use them to prove the stability of character sums for a modification of Reeder's conjectural positive-depth, unramified, toral supercuspidal L-packets.
By the works of Yu, Kim and Hakim-Murnaghan, we have a parameterization and construction of all supercuspidal representations of a reductive $p$-adic group in terms of supercuspidal data, when $p$ is sufficiently large. In this paper, we will define a correspondence of supercuspidal data via moment maps and theta correspondences over finite fields. Then we will show that local theta correspondences between supercuspidal representations are completely described by this notion. In Appendix B, we give a short proof of a result of Pan on "depth preservation".
Let F be a p-adic field with p odd. Quadratic base change and theta-lifting are shown to be compatible for supercuspidal representations of SL(2,F). The argument involves the theory of types and the lattice model of the Weil representation.
In 2014, Reeder and Yu constructed epipelagic representations of a reductive $p$-adic group $G$ from stable functions on shallowest Moy-Prasad quotients. In this paper, we extend these methods when $G$ is split. In particular, we classify all complex-valued characters vanshing on a slightly deeper Moy-Prasad subgroup and show that, while sufficient, a naive extension of Reeder-Yu's stability condition is not necessary for constructing supercuspidal representations.
Building on prior work, we analyze the decomposition of the restriction of an irreducible representation of SL_2(k), for k a p-adic field of odd residual characteristic, to a maximal compact subgroup K. The pattern of the decomposition varies between principal series and different supercuspidal representations, whereas the K-representations which occur in the "tail end" of these decompositions are precisely those occurring in the decomposition of depth-zero supercuspidal representations. Various applications are considered.
Let $G$ be a $p$-adic reductive group and $H$ a unimodular spherical subgroup of $G$. Let $π$ be a unitary supercuspidal representation of $G$. In this note, under a mild assumption, we show that local periods in $Hom_H(π,\mathbb{C})$ can be constructed by integrating the matrix coefficients of $π$ over $H$.
We consider the question of unicity of types on maximal compact subgroups for supercuspidal representations of $\mathbf{SL}_2$ over a nonarchimedean local field of odd residual characteristic. We introduce the notion of an archetype as the $\mathbf{SL}_2$-conjugacy class of a typical representation of a maximal compact subgroup, and go on to show that any archetype in $\mathbf{SL}_2$ is restricted from one in $\mathbf{GL}_2$. From this it follows that any archetype must be induced from a Bushnell--Kutzko type. Given a supercuspidal representation $π$, we give an additional explicit description…
We construct a Langlands parameterization of supercuspidal representations of $G_2$ over a $p$-adic field. More precisely, for any finite extension $K / \QQ_p$ we will construct a bijection \[ \CL_g : \CA^0_g(G_2,K) \rightarrow \CG^0(G_2,K) \] from the set of generic supercuspidal representations of $G_2(K)$ to the set of irreducible continuous homomorphisms $ρ: W_K \to G_2(\CC)$ with $W_K$ the Weil group of $K$. The construction of the map is simply a matter of assembling arguments that are already in the literature, together with a previously unpublished theorem of G. Savin on exceptional th…
A well known result of Borel says that the category of modules over the Iwahori-Hecke algebra of a semisimple p-adic group G describes the Bernstein component associated to the unramified principal series of G. We consider Bernstein components for Sp(4,F) associated to principal series induced from simple supercuspidal representations.
We establish properties of families of automorphic representations as we vary prescribed supercuspidal representations at a given finite set of primes. For the tame supercuspidals constructed by J.-K. Yu we prove the limit multiplicity property with error terms. Thereby we obtain a Sato-Tate equidistribution for the Hecke eigenvalues of these families. The main new ingredient is to show that the orbital integrals of matrix coefficients of tame supercuspidal representations with increasing formal degree on a connected reductive $p$-adic group tend to zero uniformly for every noncentral semisimp…
In this paper we study the local theta correspondences between epipelagic supercupsidal representations of a type I classical dual pair $(G,G')$ over $p$-adic fields. We show that, besides an exceptional case, an epipelagic supercupsidal representation $π$ of $\widetilde{G}$ lifts to an epipelagic supercupsidal representation $π'$ of $\widetilde{G}'$ if and only if the epipelagic data of $π$ and $π'$ are related by the moment maps.
Let $G$ be a quasi-split tamely ramified connected reductive group defined over a $p$-adic field $F$. We show that if $-1$ is in the $F$-points of the absolute Weyl group of $G$, then self-dual supercuspidal representations of $G(F)$ exist. Now assume further that $G$ is unramified and that the center of $G$ is connected. Let $π$ be a generic self-dual depth-zero regular supercuspidal representation of $G(F)$. We show that the Frobenius-Schur indicator of $π$ is given by the sign by which a certain distinguished element of the center of $G(F)$ of order two acts on $π$.
Let $π$ be a simple supercuspidal representation of the symplectic group $Sp_{2l}(F)$, over a $p$-adic field $F$. In this work, we explicitly compute the Rankin-Selberg $γ$-factor of rank-$1$ twists of $π$. We then completely determine the Langlands parameter of $π$, if $p \neq 2$. In the case that $F = \mathbb{Q}_2$, we give a conjectural description of the functorial lift of $π$, with which, using a recent work of Bushnell and Henniart, one can obtain its Langlands parameter.
Let $F$ be a $p$-adic field of characteristic 0, and let $M$ be an $F$-Levi subgroup of a connected reductive $F$-split group such that $Π_{i=1}^{r} SL_{n_i} \subseteq M \subseteq Π_{i=1}^{r} GL_{n_i}$ for positive integers $r$ and $n_i$. We prove that the Plancherel measure for any unitary supercuspidal representation of $M(F)$ is identically transferred under \textit{the local Jacquet-Langlands type correspondence} between $M$ and its $F$-inner forms, assuming a working hypothesis that Plancherel measures are invariant on a certain set. This work extends the result of Mui{ć} and Savin (2000)…
We determine the decomposition of the restriction of a length-one toral supercuspidal representation of a connected reductive group to the algebraic derived subgroup, in terms of parametrizing data, and show this restriction has multiplicity one. As an application, we determine the smooth dual of the unit group of the integers $\mathcal{O}_D^\times$ of a quaternion algebra $D$ over a $p$-adic field $F$, for $p\neq 2$, as a consequence of determining the branching rules for the restriction of representations $D^\times \supset \mathcal{O}_D^\times \supset D^1$.
We compute the characters of simple supercuspidal representations of twisted GL(2n) and standard SO(2n+1) over a p-adic field. Comparing them by the endoscopic character relation, we determine the liftings of simple supercuspidal representations of SO(2n+1) to GL(2n), under the assumption that p is not equal to 2.
We consider the symplectic group $\mathrm{Sp}_{2n}$ defined over a $p$-adic field $F$, where $p=2$. We prove that every simple supercuspidal representation (in the sense of Gross--Reeder) of $\mathrm{Sp}_{2n}(F)$ corresponds to an irreducible $L$-parameter under the local Langlands correspondence for $\mathrm{Sp}_{2n}$ established by Arthur.
Let G be the unramified unitary group in three variables defined over a p-adic field with odd p. The conductors and newforms for representations of G are defined by using a certain family of open compact subgroups of G. In this paper, we determine the conductors of non-supercuspidal representations of G, and give explicit newforms in induced representations for non-supercuspidal generic representations.
We show that, in good residual characteristic, most supercuspidal representations of a tamely ramified reductive p-adic group G arise from pairs (S,θ), where S is a tame elliptic maximal torus of G, and θ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 …
We construct all cuspidal l-modular representations of a unitary group in three variables attached to an unramified extension of local fields of odd residual characteristic p with l\neq p. We describe the l-modular principal series and show that the supercuspidal support of an irreducible l-modular representation is unique up to conjugacy.
We establish the unicity of types for depth-zero supercuspidal representations of an arbitrary $p$-adic group $G$, showing that each depth-zero supercuspidal representation of $G$ contains a unique conjugacy class of typical representations of maximal compact subgroups of $G$. As a corollary, we obtain an inertial Langlands correspondence for these representations, via the Langlands correspondence of DeBacker and Reeder.
Let U(N) be the quasi-split unitary group in N variables for a quadratic unramified extension of p-adic fields. We compute the characters of simple supercuspidal representations of twisted GL(N) and U(N). Comparing them by the endoscopic character relation, we determine the liftings of simple supercuspidal representations of U(N) to GL(N), under the assumption that p is not equal to 2.
In this paper, for quasi-split classical groups over p-adic fields, we determine the L-packets consisting of simple supercuspidal representations and their corresponding L-parameters, under the assumption that p is not equal to 2. The key is an explicit computation of characters of simple supercuspidal representations and the endoscopic character relation, which is a characterization of the local Langlands correspondence for quasi-split classical groups.
In 1979 Lusztig proposed a conjectural construction of supercuspidal representations of reductive p-adic groups, which is similar to the well known construction of Deligne and Lusztig in the setting of finite reductive groups. We present a general method for explicitly calculating the representations arising from Lusztig's construction and illustrate it with several examples. The techniques we develop also provide background for the author's joint work with Weinstein on a purely local and explicit proof of the local Langlands correspondence.
For tame arbitrary-length toral, also called positive regular, supercuspidal representations of a simply connected and semisimple $p$-adic group $G$, constructed as per Adler-Yu, we determine which components of their restriction to a maximal compact subgroup are types. We give conditions under which there is a unique such component, and then present a class of examples for which there is not, disproving the strong version of the conjecture of unicity of types on maximal compact open subgroups. We restate the unicity conjecture, and prove it holds for the groups and representations under consi…
In this work, we explicitly compute a certain family of twisted gamma factors of a simple supercuspidal representation $π$ of a $p$-adic odd orthogonal group. These computations, together with analogous computations for general linear groups carried out in previous work with Liu, allow us to give a prediction for the Langlands parameter of $π$. If we assume the "depth-preserving conjecture", we prove that our prediction is correct if $p$ is sufficiently large.
We further develop and simplify the general theory of distinguished tame supercuspidal representations of reductive $p$-adic groups due to Hakim and Murnaghan, as well as the analogous theory for finite reductive groups due to Lusztig. We apply our results to study the representations of ${\rm GL}_n(F)$, with $n$ odd and $F$ a nonarchimedean local field, that are distinguished with respect to an orthogonal group in $n$ variables. In particular, we determine precisely when a supercuspidal representation is distinguished with respect to an orthogonal group and, if so, that the space of distingui…
Let G be the unramified unitary group in three variables defined over a p-adic field F of odd resudual characteristic. Gelbart, Piatetski-Shapiro and Baruch attached zeta integrals of Rankin-Selberg type to irreducible generic representations of G. In this paper, we formulate a conjecture on L- and epsilon-factors defined through zeta integrals in terms of local newforms for G, which is an analogue of the result by Casselman and Deligne for GL(2). We prove our conjecture for the generic supercuspidal representations of G.
We give a motivic proof of a character formula for depth zero supercuspidal representations of $p$-adic SL(2). We begin by finding the virtual Chow motives for the character values of all depth zero supercuspidal representations of $p$-adic SL(2), at topologically unipotent elements. Then we find the virtual Chow motives for the values of the Fourier transform of all regular elliptic orbital integrals with depth zero in their Cartan subalgebra, at topologically nilpotent elements. Finally, we prove a character formula for depth zero supercuspidal representations by showing that the formula cor…
This paper studies the behavior of Jiu-Kang Yu's tame supercuspidal representations relative to involutions of reductive p-adic groups. Symmetric space methods are used to illuminate various aspects of Yu's construction. Necessary conditions for a tame supercuspidal representation of G to be distinguished by (the fixed points of) an involution of G are expressed in terms of properties of the G-orbit of the associated G-datum. When these conditions are satisfied, the question of whether a tame supercuspidal representation is distinguished reduces to the question of whether certain cuspidal repr…
Suppose that $\mathbf{G}$ is a connected reductive group over a finite extension $F/\mathbb{Q}_p$, and that $C$ is a field of characteristic $p$. We prove that the group $\mathbf{G}(F)$ admits an irreducible admissible supercuspidal, or equivalently supersingular, representation over $C$.
Let $F$ be a finite extension of ${\mathbb{Q}} \_p$. Any dihedral supercuspidal representation of $GL \_2 (K)$ arises from an admissible multiplicative character $ω$ of a quadratic extension $L$ of $K$. We show that such a representation is distinguished for $GL \_2 (F)$ if and only if $L$ biquadratic over $F$ and $ω$ restricted to invertibles of one of the two other quadratic extensions of $F$ in $L$ is trivial. We then observe a similar statement for the principal series and we study all dihedral representations.
Let $k$ be an algebraically closed field of characteristic $l\neq p$. We construct maximal simple cuspidal $k$-types of Levi subgroups $\mathrm{M}'$ of $\mathrm{SL}_n(F)$, when $F$ is a non-archimedean locally compact field of residual characteristic $p$. We show that the supercuspidal support of irreducible smooth $k$-representations of Levi subgroups $\mathrm{M}'$ of $\mathrm{SL}_n(F)$ is unique up to $\mathrm{M}'$-conjugation, when $F$ is either a finite field of characteristic $p$ or a non-archimedean locally compact field of residual characteristic $p$.
The local Langlands conjectures imply that to every generic supercuspidal irreducible representation of $G_2$ over a $p$-adic field, one can associate a generic supercuspidal irreducible representation of either $PGSp_6$ or$PGL_3$. We prove this conjectural dichotomy, demonstrating a precise correspondence between certain representations of $G_2$ and other representations of $PGSp_6$ and $PGL_3$. This correspondence arises from theta correspondences in $E_6$ and $E_7$, analysis of Shalika functionals, and spin L-functions. Our main result reduces the conjectural Langlands parameterization of g…