In one article, the author has defined an L-group associated to a cover of a quasisplit reductive group over a local or global field. In another article, Wee Teck Gan and Fan Gao define (following an unpublished letter of the author) an L-group associated to a cover of a pinned split reductive group over a local or global field. In this short note, we give an isomorphism between these L-groups. In this way, the results and conjectures discussed by Gan and Gao are compatible with those of the author. Both support the same Langlands-type conjectures for covering groups.
We give a classification of irreducible admissible modulo $p$ representations of a split $p$-adic reductive group in terms of supersingular representations. This is a generalization of a theorem of Herzig.
We present a general conjecture on congruences between Hecke eigenvalues of parabolically induced and cuspidal automorphic representations of split reductive groups, modulo divisors of critical values of certain $L$-functions. We examine the consequences in several special cases, and use the Bloch-Kato conjecture to further motivate a belief in the congruences.
In this paper, we study the asymptotic behavior of the traces of Hecke operators for spherical discrete automorphic representations of fixed level on general split reductive groups over $\mathbb{Q}$. Under a condition on the analytic behavior of intertwining operators, which is known for the classical groups and the exceptional group $G_2$, we obtain the expected asymptotics in terms of the spherical Plancherel measure and an explicit estimate for the remainder.
Let F be a locally compact non-archimedean field, p its residue characteristic, and G a connected reductive group over F. Let C an algebraically closed field of characteristic p. We give a complete classification of irreducible admissible C-representations of G = G(F), in terms of supercuspidal C-representations of the Levi subgroups of G, and parabolic induction. Thus we push to their natural conclusion the ideas of the third-named author, who treated the case G = GL_m, as further expanded by the first-named author, who treated split groups G. As in the split case, we first get a classificati…
We incorporate nonlinear covers of quasisplit reductive groups into the Langlands program, defining an L-group associated to such a cover. This L-group is an extension of the absolute Galois group of a local or global field $F$ by a complex reductive group. The L-group depends on an extension of a quasisplit reductive $F$-group by $\mathbf{K}_2$, a positive integer $n$ (the degree of the cover), an injective character $ε\colon μ_n \rightarrow {\mathbb C}^\times$, and a separable closure of $F$. Our L-group is consistent with previous work on covering groups, and its construction is contravaria…
We prove that for any split almost-simple connected reductive group G over a p-adic field F, the Kottwitz homomorphism exhibits a homomorphic section. We then extend this result to certain additional split connected reductive groups.
Let K be a locally compact nonarchimedean field, g a split reductive Lie algebra over K and U(g) its universal enveloping algebra. We study the category C_g of coadmissible modules over the nonarchimedean Arens-Michael envelope of U(g). Let p be a parabolic subalgebra of g. The main result identifies a certain explicitly given highest weight category inside C_g with the classical parabolic BGG category of g relative to p. This paper is in final form, replaces and expands the former preprint 'BGG reciprocity for p-adic Arens-Michael envelopes of semisimple Lie algebras' and appears in Journal o…
We establish arithmetic duality theorems for short complexes associated to reductive groups over $p$-adic function fields. Using dualities, we deduce obstructions to weak approximation for certain reductive groups (especially quasi-split ones) and relate this obstruction to an unramified Galois cohomology group.
We incorporate covers of quasisplit reductive groups into the Langlands program, defining an L-group associated to such a cover. We work with all covers that arise from extensions of quasisplit reductive groups by $\mathbf{K}_2$ -- the class studied by Brylinski and Deligne. We use this L-group to parameterize genuine irreducible representations in many contexts, including covers of split tori, unramified representations, and discrete series for double covers of semisimple groups over $\mathbb R$. An appendix surveys torsors and gerbes on the étale site, as they are used in the construction of…
Let G be a connected simple adjoint p-adic group not isomorphic to a projective linear group PGL(m,D) of a division algebra D, or an adjoint ramified unitary group of a split hermitian form in 3 variables. We prove that G admits an irreducible admissible supercuspidal (i.e. supersingular) representation over any field of characteristic p.
According to a program of Braverman, Kazhdan and Ngô Bao Châu, for a large class of split unramified reductive groups $G$ and representations $ρ$ of the dual group $\hat{G}$, the unramified local $L$-factor $L(s,π,ρ)$ can be expressed as the trace of $π(f_{ρ,s})$ for a suitable function $f_{ρ,s}$ with non-compact support whenever $\mathrm{Re}(s) \gg 0$. Such functions can be plugged into the trace formula to study certain sums of automorphic $L$-functions. It also fits into the conjectural framework of Schwartz spaces for reductive monoids due to Sakellaridis, who coined the term basic functio…
On local integrability results for $p$-adic reductive groups
Institute of Mathematics, Academia Sinica（中央研究院数学研究所）；Department of Applied Mathematics, National Sun Yat-Sen University（国立中山大学应用数学系）；Department of Mathematics, National Taiwan University（国立台湾大学数学系）
Brylinski and Deligne have provided a framework to study central extensions of reductive groups by K2 over a field F. Such central extensions can be used to construct central extensions of p-adic groups by finite cyclic groups, including the metaplectic groups. Particularly interesting is the observation of Brylinski and Deligne that a central extension of a reductive group by K2, over a p-adic field, yields a family of central extensions of reductive groups by the multiplicative group over the residue field, indexed by the points of the building. These algebraic groups over the residue field …
Let F be a finite extension of Q_p. Using the mod p Satake transform, we define what it means for an irreducible admissible smooth representation of an F-split p-adic reductive group over \bar F_p to be supersingular. We then give the classification of irreducible admissible smooth GL_n(F)-representations over \bar F_p in terms of supersingular representations. As a consequence we deduce that supersingular is the same as supercuspidal. These results generalise the work of Barthel-Livne for n = 2. For general split reductive groups we obtain similar results under stronger hypotheses.
Let K be a maximal unramified extension of a nonarchimedean local field with arbitrary residual characteristic p. Let G be a reductive group over K which splits over a tamely ramified extension of K. We show that the associated Moy-Prasad filtration representations are in a certain sense independent of p. We also establish descriptions of these representations in terms of explicit Weyl modules and as representations occurring in a generalized Vinberg-Levy theory. As an application, we use these results to provide necessary and sufficient conditions for the existence of stable vectors in Moy-Pr…
We generalize the methods of Moy-Prasad, in order to define and study the genuine depth zero representations of some nonlinear covers of reductive groups over $p$-adic local fields. In particular, we construct all depth zero supercuspidal representations of the metaplectic group $Mp_{2n}$ over a $p$-adic field of odd residue characteristic.
For certain quasi-split reductive groups $G$ over a general field $F$, we construct an automorphism $ι_G$ of $G$ over $F$, well-defined as an element of ${\rm Aut}(G)(F)/jG(F)$ where $j:G(F) \rightarrow {\rm Aut}(G)(F)$ is the inner-conjugation action of $G(F)$ on $G$. The automorphism $ι_G$ generalizes (although only for quasi-split groups) an involution due to Moeglin-Vigneras-Waldspurger in [MVW] for classical groups which takes any irreducible admissible representation $π$ of $G(F)$ for $G$ a classical group and $F$ a local field, to its contragredient $π^\vee$. The paper also formulates a…
For a connected quasi-split reductive algebraic group $G$ over a field $k$, which is either a finite field or a non-archimedean local field, $θ$ an involutive automorphism of $G$ over $k$, let $K =G^θ$. Let $K^1=[K^0,K^0]$, the commutator subgroup of $K^0$, the connected component of identity of $K$. In this paper, we provide a simple condition on $(G,θ)$ for there to be an irreducible admissible generic representations $π$ of $G$ with ${\rm Hom}_{K^1}[π,{\mathbb C}] \not = 0$. The condition is most easily stated in terms of a real reductive group $G_θ({\mathbb R})$ associated to the pair $(G,…
In this paper we continue to study the degrees of matrix coefficients of intertwining operators associated to reductive groups over $p$-adic local fields. Together with previous analysis of global normalizing factors we can control the analytic properties of global intertwining operators for a large class of reductive groups over number fields, in particular for inner forms of $GL(n)$ and $SL(n)$ and quasi-split classical groups. This has a direct application to the limit multiplicity problem for these groups.
Let $F$ be a non-Archimedean locally compact field, let $G$ be a split connected reductive group over $F$. For a parabolic subgroup $Q\subset G$ and a ring $L$ we consider the $G$-representation on the $L$-module$$(*)\quad\quad\quad\quad C^{\infty}(G/Q,L)/\sum_{Q'\supsetneq Q}C^{\infty}(G/Q',L).$$Let $I\subset G$ denote an Iwahori subgroup. We define a certain free finite rank $L$-module ${\mathfrak M}$ (depending on $Q$; if $Q$ is a Borel subgroup then $(*)$ is the Steinberg representation and ${\mathfrak M}$ is of rank one) and construct an $I$-equivariant embedding of $(*)$ into $C^{\infty}…
We adapt the conjectural local Langlands parameterization to split metaplectic groups over local fields. When $\tilde G$ is a central extension of a split connected reductive group over a local field (arising from the framework of Brylinski and Deligne), we construct a dual group $\mathbf{\tilde G}^\vee$ and an L-group ${}^L \mathbf{\tilde G}^\vee$ as group schemes over ${\mathbb Z}$. Such a construction leads to a definition of Weil-Deligne parameters (Langlands parameters) with values in this L-group, and to a conjectural parameterization of the irreducible genuine representations of $\tilde…
We transfer Knapp-Stein $R$-groups for unitary weakly unramified characters between a $p$-adic quasi-split group and its non-quasi-split inner forms, and provide the structure of those $R$-groups for a general connected reductive group over a $p$-adic field. This work supports previous studies on the behavior of $R$-groups between inner forms, and extends Keys' classification for unitary unramified cases of simply-connected, almost simple, semi-simple groups.
Let $G$ be a split reductive group with $\dim Z(G) \leq 1$. We show that for any prime $p$ that is large enough relative to $G$, there is a finitely ramified Galois representation $ρ\colon Γ_{\mathbb Q} \to G(\mathbb Z_p)$ with open image. We also show that for any given integer $e$, if the index of irregularity of $p$ is at most $e$ and if $p$ is large enough relative to $G$ and $e$, then there is a Galois representation $Γ_{\mathbb Q} \to G(\mathbb Z_p)$ ramified only at $p$ with open image, generalizing a theorem of A. Ray. The first type of Galois representation is constructed by lifting a…
We construct a derived variant of Emerton's eigenvarieties using the locally analytic representation theory of $p$-adic groups. The main innovations include comparison and exploitation of two homotopy equivalent completed complexes associated to the locally symmetric spaces of a quasi-split reductive group $\mathbb{G}$, comparison to overconvergent cohomology, proving exactness of finite slope part functor, together with some representation-theoretic statements. As a global application, we exhibit an eigenvariety coming from data of $\mathrm{GL}_n$ over a CM field as a subeigenvariety for a qu…
Let $G$ be a reductive group over a number field $F$, which is split at a finite place $\mathfrak{p}$ of $F$, and let $π$ be a cuspidal automorphic representation of $G$, which is cohomological with respect to the trivial coefficient system and Steinberg at $\mathfrak{p}$. We use the cohomology of $\mathfrak{p}$-arithmetic subgroups of $G$ to attach automorphic $\mathcal{L}$-invariants to $π$. This generalizes a construction of Darmon (respectively Spieß), who considered the case $G=GL_2$ over the rationals (respectively over a totally real number field). These $\mathcal{L}$-invariants depend …
Given a reductive group $\boldsymbol{\mathrm{G}}$ over a base scheme $S$, Brylinski and Deligne studied the central extensions of a reductive group $\boldsymbol{\mathrm{G}}$ by $\boldsymbol{\mathrm{K}}_2$, viewing both as sheaves of groups on the big Zariski site over $S$. Their work classified these extensions by three invariants, for $S$ the spectrum of a field. We expand upon their work to study "integral models" of such central extensions, obtaining similar results for $S$ the spectrum of a sufficiently nice ring, e.g., a DVR with finite residue field or a DVR containing a field. Milder re…
We construct the Frobenius structure on a rigid connection $\mathrm{Be}_{\check{G}}$ on $\mathbb{G}_m$ for a split reductive group $\check{G}$ introduced by Frenkel-Gross. These data form a $\check{G}$-valued overconvergent $F$-isocrystal $\mathrm{Be}_{\check{G}}^{\dagger}$ on $\mathbb{G}_{m,\mathbb{F}_p}$, which is the $p$-adic companion of the Kloosterman $\check{G}$-local system $\mathrm{Kl}_{\check{G}}$ constructed by Heinloth-Ngô-Yun. By exploring the structure of the underlying differential equation, we calculate the monodromy group of $\mathrm{Be}_{\check{G}}^{\dagger}$ when $\check{G}$…
The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group scheme $G$ over a regular local ring $R$ is trivial. We settle it in the case when $G$ is quasi-split and $R$ is unramified. Some of the techniques that allow us to overcome obstacles that have so far kept the mixed characteristic case out of reach include a version of Noether normalization over discrete valuation rings, as well as a suitable presentation lemma for smooth relative curves in mixed characteristic that facilitates passage to the relative affine line via excision and patching.
We extend (scheme-theoretic) Bruhat-Tits theory to quasi-reductive groups i.e. with trivial split unipotent radical over discretely valued henselian non-archimedean fields $K$, whose ring of integers is excellent and residue field is perfect, building on Bruhat-Tits I et II and the classification of pseudo-reductive groups by Conrad-Gabber-Prasad. The buildings had been constructed previously by Solleveld in a different manner, but they ultimately coincide with ours. We were motivated by the geometry of affine Grassmannians and give some applications at the end (compare also with previously su…
