Extended to prove a more precise functoriality conjecture of Solleveld for regular supercuspidal L-parameters and to include fields of positive characteristic
Kaletha constructs $L$-packets for supercuspidal $L$-parameters of tame $p$-adic groups. These $L$-packets consist entirely of supercuspidal representations, which are explicitly described. Using the explicit descriptions, we show that Kaletha's $L$-packets satisfy a fundamental functoriality property desired for the Local Langlands Correspondence.
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 prove the conjectural endoscopic transfer of L-packets for the local Langlands correspondence for pure inner forms of unramified p-adic groups and depth-zero parameters established by DeBacker and Reeder. More precisely, we show that under mild conditions on the residual characteristic, endoscopic induction identifies an unstable character of such an L-packet with the stable character of the corresponding endoscopic L-packet.
In this paper, we study the relative Langlands program formulated by Dipendra Prasad for Galois symmetric spaces. Under certain assumptions, we confirm the necessary conditions in Prasad's conjecture for regular depth-zero supercuspidal L-packets.
Let K be a non-archimedean local field and let G be a connected reductive K-group which splits over an unramified extension of K. We investigate supercuspidal unipotent representations of the group G(K). We establish a bijection between the set of irreducible G(K)-representations of this kind and the set of cuspidal enhanced L-parameters for G(K), which are trivial on the inertia subgroup of the Weil group of K. The bijection is characterized by a few simple equivariance properties and a comparison of formal degrees of representations with adjoint $γ$-factors of L-parameters. This can be regar…
We show that for any tame regular discrete series parameter of GSp_4 or its inner form GU_2(D), the L-packet attached by the local Langlands conjecture agrees with the L-packet of depth zero supercuspidal representations constructed by DeBacker and Reeder.
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.
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.
In a recent paper, DeBacker and Reeder construct and parameterize L-packets on pure inner forms of unramified p-adic groups, that consist of depth zero supercuspidal representations. We generalize their work to non-pure inner forms, by providing an alternative construction based on the theory of isocrystals with additional structure due to Kottwitz. Furthermore, we show the stability and endoscopic transfer for these L-packets.
Let G = SL_2(K) with K a local function field of characteristic 2. We review Artin-Schreier theory for the field K, and show that this leads to a parametrization of L-packets in the smooth dual of G. We relate this to a recent geometric conjecture. The L-packets in the principal series are parametrized by quadratic extensions, and the supercuspidal L-packets by biquadratic extensions. We compute the formal degrees of the elements in the supercuspidal packets.
We show that $L$-packets of toral supercuspidal representations arising from unramified maximal tori of $p$-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 represe…
Let G = SL_2(K) with K a local function field of characteristic 2. We review Artin-Schreier theory for the field K, and show that this leads to a parametrization of certain L-packets in the smooth dual of G. We relate this to a recent geometric conjecture. The L-packets in the principal series are parametrized by quadratic extensions, and the supercuspidal L-packets of cardinality 4 are parametrized by biquadratic extensions. Each supercuspidal packet of cardinality 4 is accompanied by a singleton packet for SL_1(D). We compute the depths of the irreducible constituents of all these L-packets …
Let F be a non-archimedean local field and let G be a connected reductive group defined over F. We assume that G splits over a tame extension of F and that the residual characteristic p does not divide the order of the Weyl group. To each discrete Langlands parameter of the Weil group of F into the complex L-group of G we associate explicitly a finite set of irreducible supercuspidal representations of G(F), and relate its internal structure to the centralizer of the parameter. We give evidence that this assignment is an explicit realization of the local Langlands correspondence.
We give a modification of Yu's construction of supercuspidal representations of a connected reductive group over a non-archimedean local field. This modification restores the validity of certain key intertwining property claims made by Yu, which were recently proven to be false for the original construction. This modification is also an essential ingredient in the explicit construction of supercuspidal L-packets. As further applications, we prove the stability and many instances of endoscopic character identities of these supercuspidal L-packets, subject to some conditions on the base field. I…
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…
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…
This is a sequel to [Xu18] on the $L$-packets of quasisplit general symplectic and even orthogonal groups. We show the existence of global $L$-packets and establish the functoriality of endoscopic transfer for them in many cases.
In a previous work, we have shown that a representation of a $p$-adic group obtained by (normalized) parabolic induction from an irreducible supercuspidal representation $σ$ of a Levi subgroup $M$ contains a subquotient which is square integrable, if and only if Harish-Chandra's $μ$-function has a pole in $σ$ of order equal to the parabolic rank of $M$. The aim of the present article is to interpret this result in terms of Langlands' functoriality principle.
Reeder and Yu have recently given a new construction of a class of supercuspidal representations called epipelagic representations. We explicitly calculate the Local Langlands Correspondence for certain families of epipelagic representations of unitary groups, following the general construction of Kaletha [Kal15]. The interesting feature of our computation is that we find simplifications within L-packets of the two novel invariants introduced in [Kal15], the toral invariant and the admissible L-embedding.
In a recent paper, Gross and Reeder study arithmetic properties of discrete Langlands parameters for semi-simple p-adic groups and conjecture that a special class of these -- the simple wild parameters -- should correspond to L-packets consisting of simple supercuspidal representations. We provide a construction of this correspondence and show that the simple wild L-packets satisfy many expected properties. In particular, they admit a description in terms of the Langlands dual group and contain a unique generic element for a fixed Whittaker datum. Moreover, we prove their stability on an open …
Let $\mathbf{G}$ be an unramified quasi-split unitary group over a p-adic field of odd residual characteristic. The goal of this paper is to describe the supercuspidal representations within certain L-packets of $\mathbf{G}$, which are classified by Arthur and Mok using the theory of endoscopy. The description is given in terms of the cuspidal types constructed by Bushnell-Kutzko and Stevens. As a starting example, we require the parameters of our packets to satisfy certain regularity conditions, such that these packets consist of very cuspidal representations in the sense of Adler and Reeder.…
We explicitly compute the adjoint L-function of those L-packets of representations of the group GSp(4) over a p-adic field of characteristic zero that contain non-supercuspidal representations. As an application we verify a conjecture of Gross-Prasad and Rallis in this case. The conjecture states that the adjoint L-function has a pole at s=1 if and only if the L-packet contains a generic representation.
We provide an explicit construction of the local Langlands correspondence for general tamely-ramified reductive p-adic groups and a class of wildly ramified Langlands parameters. Furthermore, we verify that our construction satisfies the expected properties of such a correspondence. More precisely, we show that each L-packet we construct admits a parameterization in terms of the Langlands dual group, contains a unique generic element for a fixed Whittaker datum, satisfies the formal degree conjecture, is compatible with twists by central and cocentral characters, provides a stable virtual char…
We consider two sign characters defined on a tamely ramified maximal torus T of a twisted Levi subgroup M of a reductive p-adic group G. We show that their product extends to the stabilizer M(F)_x of any point x in the Bruhat-Tits building of T, and give a formula for this extension. This result is used in the passage between zero and positive depth in the explicit construction of supercuspidal L-packets, as well as in forthcoming work on the Harish-Chandra character formula for supercuspidal representations.
Let $F$ be a non-Archimedean local field of characteristic $0$, let $G$ be the group of $F$-rational points of a connected reductive group defined over $F$ and let $G'$ be the group of $F$-rational points of its quasi-split inner form. Given standard modules $I(τ,ν)$ and $I(τ',ν')$ for $G$ and $G'$ respectively with $τ'$ a generic tempered representation, such that the Harish-Chandra's $μ$-functions of a representation in the supercuspidal support of $τ$ and of a generic essentially square-integral representation in some Jacquet module of $τ'$ agree (after a suitable identification of the unde…
