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.
Institute for Mathematics, Astrophysics and Particle Physics, Radboud Universiteit Nijmegen(拉多堡大学数学、天体物理和粒子物理研究所);Department of Mathematics, Columbia University(哥伦比亚大学数学系)
We classify the irreducible, admissible, smooth, genuine mod p representations of the metaplectic double cover of SL(2,F), where F is a p-adic field and p is odd. We show, using a generalized Satake transform, that each such representation is isomorphic to a certain explicit quotient of a compact induction from a maximal compact subgroup by an action of a spherical Hecke operator, and we define a parameter for the representation in terms of this data. We show that our parameters distinguish genuine nonsupercuspidal representations from genuine supercuspidals, and that every irreducible genuine…
Cocenters of Hecke algebras $\mathcal H$ play an important role in studying mod $\ell$ or $\mathbb C$ harmonic analysis on connected $p$-adic reductive groups. On the other hand, the depth $r$ Hecke algebra $\mathcal H_{r^+}$ is well suited to study depth $r$ smooth representations. In this paper, we study depth $r$ rigid cocenters $\overline{\mathcal H}^{\mathrm{rig}}_{r^+}$ of a connected reductive $p$-adic group over rings of characteristic zero or $\ell\neq p$. More precisely, under some mild hypotheses, we establish a Jordan decomposition of the depth $r$ rigid cocenter, hence find an exp…
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 …
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.
We describe the structure of the Whittaker or Gelfand-Graev module on a $n$-fold metaplectic cover of a $p$-adic group $G$ at both the Iwahori and spherical level. We express our answer in terms of the representation theory of a quantum group at a root of unity attached to the Langlands dual group of $G$. To do so, we introduce an algebro-combinatorial model for these modules and develop for them a Kazhdan-Lusztig theory involving new generic parameters. These parameters can either be specialized to Gauss sums to recover the $p$-adic theory or to the natural grading parameter in the representa…
We study a problem concerning parabolic induction in certain p-adic unitary groups. More precisely, for $E/F$ a quadratic extension of p-adic fields the associated unitary group $G=\mathrm{U}(n,n)$ contains a parabolic subgroup $P$ with Levi component $L$ isomorphic to $\mathrm{GL}_n(E)$. Let $π$ be an irreducible supercuspidal representation of $L$ of depth zero. We use Hecke algebra methods to determine when the parabolically induced representation $ι_P^G π$ is reducible.
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 $G$ be an unramified group over a $p$-adic field. This article introduces a base change homomorphism for Bernstein centers of depth-zero principal series blocks for $G$ and proves the corresponding base change fundamental lemma. This result is used in the approach to Shimura varieties with $Γ_1(p)$-level structure initiated by M. Rapoport and the author in [HR2].
We construct, for any symplectic, unitary or special orthogonal group over a locally compact nonarchimedean local field of odd residual characteristic, a type for each Bernstein component of the category of smooth representations, using Bushnell--Kutzko's theory of covers. Moreover, for a component corresponding to a cuspidal representation of a maximal Levi subgroup, we prove that the Hecke algebra is either abelian, or a generic Hecke algebra on an infinite dihedral group, with parameters which are, at least in principle, computable via results of Lusztig.
For a quasi-split classical group over a p-adic field with sufficiently large residual characteristic, we prove that the maximum of depth of representations in each L-packet equals the depth of the corresponding L-parameter. Furthermore, for quasi-split unitary groups, we show that the depth is constant in each L-packet. The key is an analysis of the endoscopic character relation via harmonic analysis based on the Bruhat--Tits theory. These results are slight generalizations of a result of Ganapathy and Varma.
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(国立台湾大学数学系)
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.
We define the $p$-adic trace of certain rank-one local systems on the multiplicative group over $p$-adic numbers, using Sekiguchi and Suwa's unification of Kummer and Artin-Schrier-Witt theories. Our main observation is that, for every non-negative integer $n$, the $p$-adic trace defines an isomorphism of abelian groups between local systems whose order divides $(p-1)p^n$ and $\ell$-adic characters of the multiplicative group of $p$-adic integers of depth less than or equal to $n$.
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.
In this largely expository paper we extend properties of the homological duality functor $RHom_{\mathcal H}(-,{\mathcal H})$ where ${\mathcal H}$ is the Hecke algebra of a reductive $p$-adic group, to the case where it is the Hecke algebra of a finite central extension of a reductive $p$-adic group. The most important properties being that $RHom_{\mathcal H}(-,{\mathcal H})$ is concentrated in a single degree for irreducible representations and that it gives rise to Schneider--Stuhler duality for Ext groups (a Serre functor like property). Along the way we also study Grothendieck--Serre dualit…
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…
We present a new framework for a broad class of affine Hecke algebra modules, and show that such modules arise in a number of settings involving representations of $p$-adic groups and $R$-matrices for quantum groups. Instances of such modules arise from (possibly non-unique) functionals on $p$-adic groups and their metaplectic covers, such as the Whittaker functionals. As a byproduct, we obtain new, algebraic proofs of a number of results concerning metaplectic Whittaker functions. These are thus expressed in terms of metaplectic versions of Demazure operators, which are built out of $R$-matri…
We study the dimension of the space of Whittaker functionals for depth zero representations of covering groups. In particular, we determine such dimensions for arbitrary Brylinski-Deligne coverings of the general linear group. The results in the paper are motivated by and compatible with the work of Howard and the second author, and earlier work by Blondel.
We study a conjectural formula for the maximal elements in the wavefront set associated with a theta representation of a covering group over $p$-adic fields. In particular, it is shown that the formula agrees with the existing work in the literature for various families of groups. We also recapitulate the results of an analogous formula in the archimedean case, which motivated the conjectural formula in the $p$-adic setting.
It is shown that the values of Harish-Chandra distribution characters on definable compact subsets of the set of topologically unipotent elements of symplectic or special orthogonal p-adic groups can be expressed as the trace of Frobenius action on virtual Chow motives. The result is restricted to a class of depth-zero representations that can be obtained by inflation from Deligne-Lusztig representations. The proof relies on arithmetic motivic integration.
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.
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 study the geometry and the cohomology of the tamely ramified cover of Drinfeld's $p$-adic symmetric space. For this tame level, we prove, in a purely local way, most of a conjecture of Harris on the form of the $\ell$-adic cohomologies, as well as the torsion freeness of the integral cohomology. During the study, we obtain some results of independent interest on the coefficient systems over the Bruhat-Tits building associated to $GL_d(K).$
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.
Let F be a p-adic field and n a positive integer. The local Langlands conjecture asserts the existence of a bijection between irreducible admissible representations of GL(n,F) and n-dimensional admissible representations of the Weil-Deligne group of F. This bijection is required to satisfy certain natural compatibilities, of which the most important is compatibility with local functional equations (preservation of L and epsilon factors of pairs). It is enough to construct a bijection with these properties between supercuspidal representations of GL(n,F) and n-dimensional irreducible representa…
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 $π$.
Using Bruhat-Tits theory, we analyse the restriction of depth-zero representations of a semisimple simply connected $p$-adic group $G$ to a maximal compact subgroup $K$. We prove the coincidence of branching rules within classes of Deligne-Lusztig supercuspidal representations. Furthermore, we show that under obvious compatibility conditions, the restriction to $K$ of a Deligne-Lusztig supercuspidal representation of $G$ intertwines with the restriction of a depth-zero principal series representation in infinitely many distinct components of arbitrarily large depth. Several qualitative and qua…
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 prove that the perfect loop functor $LX$ of a quasi-projective scheme $X$ over a local non-archimedean field $k$ satisfies arc-descent, strengthening a result of Drinfeld. Then we prove that for an unramified reductive group $G$, the map $LG \rightarrow L(G/B)$ is a $v$-surjection. This gives a mixed characteristic version (for $v$-topology) of an equal characteristic result (in étale topology) of Bouthier--Česnavičius. In the second part of the article, we use the above results to introduce a well-behaved notion of Deligne--Lusztig spaces $X_w(b)$ attached to unramified $p$-adic reductive …
The stable center conjecture asserts that the space of stable distributions in the Bernstein center of a reductive p-adic is closed under convolution. It is closely related to the notion of an L-packet and endoscopy theory. We describe a categorical approach to the depth zero part of the conjecture. As an illustration of our method, we show that the Bernstein projector to the depth zero spectrum is stable.
In this paper we provide a geometric framework for the study of characters of depth-zero representations of unramified groups over local fields with finite residue fields which is built directly on Lusztig's theory of character sheaves for groups over finite fields and uses ideas due to Schneider-Stuhler. Specifically, we introduce a class of coefficient systems on Bruhat-Tits buildings of perverse sheaves sheaves on affine algebraic groups over an algebraic closure of a finite field and to each supercuspidal depth-zero representation of an unramified $p$-adic group we associate a formal sum o…
This paper is concerned with the values of Harish-Chandra characters of a class of positive-depth, toral, very supercuspidal representations of $p$-adic symplectic and special orthogonal groups, near the identity element. We declare two representations equivalent if their characters coincide on a specific neighbourhood of the identity (which is larger than the neighbourhood on which Harish-Chandra local character expansion holds). We construct a parameter space $B$ (that depends on the group and a real number $r>0$) for the set of equivalence classes of the representations of minimal depth $r$…