Let $K := \mathrm{GL}_n(\mathcal{O})$ denote the maximal compact subgroup of $\mathrm{GL}_n(F)$, where $F$ is a nonarchimedean local field with ring of integers $\mathcal{O}$. We study the decomposition of the space of locally constant functions on the unit sphere in $F^n$ into irreducible $K$-modules; for $F = \mathbb{Q}_p$, these are the $p$-adic analogues of spherical harmonics. As an application, we characterise the newform and conductor exponent of a generic irreducible admissible smooth representation of $\mathrm{GL}_n(F)$ in terms of distinguished $K$-types. Finally, we compare our results to analogous results in the archimedean setting.
Let F be a non-archimedean local field of characteristic zero. Jacquet, Piatetski-Shapiro and Shalika introduced the notion of newforms for irreducible generic representations of GL_n(F). In this paper, we give an explicit formula for Whittaker functions associated to newforms on the diagonal matrices in GL_n(F).
Let G be the unramified unitary group in three variables defined over a p-adic field F of odd residual characteristic. In this paper, we investigate local newforms for irreducible admissible representations of G. We introduce a family of open compact subgroups {K_n} of G to define the local newforms for representations of G as the K_n-fixed vectors. We prove the existence of local newforms for generic representations and the multiplicity one property of the local newforms for admissible representations.
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.
In [12], Jacquet--Piatetskii-Shapiro--Shalika defined a family of compact open subgroups of $p$-adic general linear groups indexed by non-negative integers, and established the theory of local newforms for irreducible generic representations. In this paper, we extend their results to all irreducible representations. To do this, we define a new family of compact open subgroups indexed by certain tuples of non-negative integers. For the proof, we introduce the Rankin--Selberg integrals for Speh representations.
Let G be the unramified unitary group in three variables defined over a p-adic field of odd residual characteristic. In this paper, we establish a theory of newforms for the Rankin-Selberg integral for G introduced by Gelbart and Piatetski-Shapiro. We describe L and epsilon-factors defined through zeta integrals in terms of newforms. We show that zeta integrals of newforms for generic representations attain L-factors. As a corollary, we get an explicit formula for epsilon-factors of generic representations.
Let $f$ be an $L^2$-normalized Hecke--Maass cuspidal newform of level $N$, character $χ$ and Laplace eigenvalue $λ$. Let $N_1$ denote the smallest integer such that $N|N_1^2$ and $N_0$ denote the largest integer such that $N_0^2 |N$. Let $M$ denote the conductor of $χ$ and define $M_1= M/\gcd(M,N_1)$. In this paper, we prove the bound $|f|_\infty$ $\ll_ε$ $N_0^{1/6 + ε} N_1^{1/3+ε} M_1^{1/2} λ^{5/24+ε}$, which generalizes and strengthens previously known upper bounds for $|f|_\infty$. This is the first time a hybrid bound (i.e., involving both $N$ and $λ$) has been established for $|f|_\infty$…
Y. Hironaka introduced the spherical functions on the p-adic space of Hermitian matrices. For the space of 2\times2 Hermitian matrices, we complete Hironaka's work by also considering the case of a wildly ramified quadratic extension. We compute the spherical functions explicitly and obtain the functional equations.
This article gives a proof of the Langlands-Shelstad fundamental lemma for the spherical Hecke algebra for every unramified p-adic reductive group G in large positive characteristic. The proof is based on the transfer principle for constructible motivic integration. To carry this out, we introduce a general family of partition functions attached to the complex L-group of the unramified p-adic group G. Our partition functions specialize to Kostant's q-partition function for complex connected groups and also specialize to the Langlands L-function of a spherical representation. These partition fu…
The Manin constant $c$ of an elliptic curve $E$ over $\mathbb{Q}$ is the nonzero integer that scales the differential $ω_f$ determined by the normalized newform $f$ associated to $E$ into the pullback of a Néron differential under a minimal parametrization $ϕ\colon X_0(N)_{\mathbb{Q}} \twoheadrightarrow E$. Manin conjectured that $c = \pm 1$ for optimal parametrizations, and we prove that in general $c \mid \mathrm{deg}(ϕ)$ under a minor assumption at $2$ and $3$ that is not needed for cube-free $N$ or for parametrizations by $X_1(N)_{\mathbb{Q}}$. Since $c$ is supported at the additive reduct…
The description of irreducible representations of a group G can be seen as a question in harmonic analysis; namely, decomposing a suitable space of functions on G into irreducibles for the action of G x G by left and right multiplication. For a split p-adic reductive group G over a local non-archimedean field, unramified irreducible smooth representations are in bijection with semisimple conjugacy classes in the ``Langlands dual'' group. We generalize this description to an arbitrary spherical variety X of G as follows: Irreducible unramified quotients of the space $C_c^\infty(X)$ are in natur…
We prove vanishing of distribution on p-adic spherical spaces that are equivariant with respect to a generic character of the nilradical of a Borel subgroup and satisfy a certain condition on the wave-front set. We deduce from this non-vanishing of spherical Bessel functions for Galois symmetric pairs.
Let S(X) be the Schwartz space of compactly supported smooth functions on the p-adic points of a spherical variety X, and let C(X) be the space of Harish-Chandra Schwartz functions. Under assumptions on the spherical variety, which are satisfied when it is symmetric, we prove Paley-Wiener theorems for the two spaces, characterizing them in terms of their spectral transforms. As a corollary, we get relative analogs of the smooth and tempered Bernstein centers -- rings of multipliers for S(X) and C(X). When X= a reductive group, our theorem for C(X) specializes to the well-known theorem of Haris…
We study homological multiplicities of spherical varieties of reductive group $G$ over a $p$-adic field $F$. Based on Bernstein's decomposition of the category of smooth representations of a $p$-adic group, we introduce a sheaf that measures these multiplicities. We show that these multiplicities are finite whenever the usual mutliplicities are finite, in particular this holds for symmetric varieties, conjectured for all spherical varieties and known for a large class of spherical varieties. Furthermore, we show that the Euler-Poincaré characteristic is constant in families induced from admiss…
Let $G$ be (the rational points of) a connected reductive group over a local non-archimedean field $F$. In this article we formulate and prove a property of an $F$-spherical homogeneous $G$-space (which in addition satisfies the finite multiplicity property, which is expected to hold for all $F$-spherical homogeneous $G$-spaces) which we call the Paley-Wiener property. This is much more elementary, but also contains much less information, than the recent relevant work of Delorme, Harinck and Sakellaridis (however, it holds for a wider class of spaces). The property results from a parallel cate…
Let $\widetilde{G}$ be a split connected reductive group with connected center $Z$ over a local non-Archimedean field $F$ of residue characteristic $p$, let $\widetilde{K}$ be a hyperspecial maximal compact open subgroup in $\widetilde{G}$. Let $R$ be a commutative ring, let $V$ be a finitely generated $R$-free $R[\widetilde{K}]$-module. For an $R$-algebra $B$ and a character $χ:{\mathfrak H}_V(\widetilde{G},\widetilde{K})\to B$ of the spherical Hecke algebra ${\mathfrak H}_V(\widetilde{G},\widetilde{K})={\rm End}_{R[\widetilde{G}]}{\rm ind}_{\widetilde{K}}^{\widetilde{G}}(V)$ we consider the …
This paper is a continuation of a previous paper in which the first two authors have introduced the spherical Hecke algebra and the Satake isomorphism for an untwisted affine Kac-Moody group over a non-archimedian local field. In this paper we develop the theory of the Iwahori-Hecke algebra associated to these same groups. The resulting algebra is shown to be closely related to Cherednik's double affine Hecke algebra. Furthermore, using these results, we give an explicit description of the affine Satake isomorphism, generalizing Macdonald's formula for the spherical function in the finite-dime…
The wavefront set is a fundamental invariant arising from the Harish-Chandra-Howe local character expansion of an admissible representation. We prove a precise formula for the wavefront set of an irreducible Iwahori-spherical representation with `real infinitesimal character' and determine a lower bound for this invariant in terms of the Deligne-Langlands-Lusztig parameters. In particular, for the Iwahori-spherical representations with real infinitesimal character, we deduce that the algebraic wavefront set is a singleton, as conjectured by Moeglin and Waldspurger. As a corollary, we obtain an…
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…
Let L be a finite extension of Qp, and let K be a spherically complete non-archimedean extension field of L. In this paper we introduce a restricted category of continuous representations of locally L-analytic groups G in locally convex K-vector spaces. We call the objects of this category "admissible" representations and we establish some of their basic properties. Most importantly we show that (at least when G is compact) the category of admissible representations in our sense can be algebraized; it is faithfully full (anti)-embedded into the category of modules over the locally analytic dis…
This paper gives a complete classification of the unitary irreducible spherical representations of split real and p-adic groups. The results were obtained around 2000, the changes to the new version are expository.
Let G be a semisimple almost simple algebraic group defined and split over a nonarchimedean local field K and let V be a unipotent representation of G(K) (for example, an Iwahori-spherical representation). We calculate the character of V at compact very regular elements of G(K) at compact very regular elements of G(K).
Let X=H\G be a homogeneous spherical variety for a split reductive group G over the integers o of a p-adic field k, and K=G(o) a hyperspecial maximal compact subgroup of G=G(k). We compute eigenfunctions ("spherical functions") on X=X(k) under the action of the unramified (or spherical) Hecke algebra of G, generalizing many classical results of "Casselman-Shalika" type. Under some additional assumptions on X we also prove a variant of the formula which involves a certain quotient of L-values, and we present several applications such as: (1) a statement on "good test vectors" in the multiplicit…
Let $\mathcal{G}$ be a split reductive $p$-adic group with connected centre. We show that each Bernstein block in the principal series of $\mathcal{G}$ admits a definite geometric structure, namely that of an extended quotient. For the Iwahori-spherical block, this extended quotient has the form $T//W$ where $T$ is a maximal torus in the Langlands dual group of $\mathcal{G}$ and $W$ is the Weyl group of $\mathcal{G}$.
The main question we are going to address in this paper is: How much does the representation theory of the $p$-adic group $\mathrm{GL}_n(\mathcal{D})$ depend on the $p$-adic division algebra $\mathcal{D}$? Let $\mathcal{D}$ be a central division algebra defined over some locally compact non-archimedean local field. Using Bushnell-Kutzko theory of types and Sécherre-Stevens decomposition of spherical Hecke algebras associated to types, we obtain that the cuspidal blocks in the Bernstein decomposition of the category $\mathcal{R} \left( \mathrm{GL}_n(\mathcal{D}) \right)$ of smooth complex repre…
This paper gives the classification of the Whittaker unitary dual for affine graded Hecke algebras of type E. By the Iwahori-Matsumoto involution, this is equivalent also to the classification of the spherical unitary dual for type E. This work completes the classification of the Whittaker Iwahori-spherical unitary dual, or equivalently, the spherical unitary dual, of split linear algebraic p-adic groups.
The wavefront set is a fundamental invariant of an admissible representation arising from the Harish-Chandra-Howe local character expansion. In this paper, we give a precise formula for the wavefront set of an irreducible representation of real infinitesimal character in Lusztig's category of unipotent representations in terms of the Deligne-Langlands-Lusztig correspondence. Our formula generalizes the main result of arXiv:2112.14354, where this formula was obtained in the Iwahori-spherical case. We deduce that for any irreducible unipotent representation with real infinitesimal character, the…
For a real reductive group G, the center $\mathfrak{z}(\mathcal{U}(\mathfrak{g}))$ of the universal enveloping algebra of the Lie algebra $\mathfrak{g}$ of G acts on the space of distributions on G. This action proved to be very useful (see e.g. [HC63, HC65, Sha74, Bar03]). Over non-Archimedean local fields, one can replace this action by the action of the Bernstein center z of G, i.e. the center of the category of smooth representations. However, this action is not well studied. In this paper we provide some tools to work with this action and prove the following results. 1) The wave-front set…
We define exact functors from categories of Harish-Chandra modules for certain real classical groups to finite-dimensional modules over an associated graded affine Hecke algebra with parameters. We then study some of the basic properties of these functors. In particular, we show that they map irreducible spherical representations to irreducible spherical representations and, moreover, that they preserve unitarity. In the case of split classical groups, we thus obtain a functorial inclusion of the real spherical unitary dual (with real infinitesimal character) into the corresponding p-adic sphe…
Let F be a local field. The action of GL(n,F) on the Grassmann variety Gr(m,n,F) induces a continuous representation of the maximal compact subgroup of GL(n,F) on the space of L^2-functions on Gr(m,n,F). The irreducible constituents of this representation are parameterized by the same underlying set both for Archimedean and non-Archimedean fields. This paper connects the Archimedean and non-Archimedean theories using the quantum Grassmannian. In particular, idempotents in the Hecke algebra associated to this representation are the image of the quantum zonal spherical functions after taking app…
We prove the following result in relative representation theory of a reductive p-adic group $G$: Let $U$ be the unipotent radical of a minimal parabolic subgroup of $G$, and let $ψ$ be an arbitrary smooth character of $U$. Let $S \subset Irr(G)$ be a Zariski dense collection of irreducible representations of $G$. Then the span of the Bessel distributions $B_π$ attached to representations $π$ from $S$ is dense in the space $\mathcal S^*(G)^{U\times U,ψ\times ψ}$ of all $(U\times U,ψ\times ψ)$-equivariant distributions on $G.$ We base our proof on the following results: 1. The category of smooth…
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$.
Let $G$ be a profinite group. A strongly admissible smooth representation $ρ$ of $G$ over $\mathbb{C}$ decomposes as a direct sum $ρ\cong \bigoplus_{π\in \mathrm{Irr}(G)} m_π(ρ) \, π$ of irreducible representations with finite multiplicities $m_π(ρ)$ such that for every positive integer $n$ the number $r_n(ρ)$ of irreducible constituents of dimension $n$ is finite. Examples arise naturally in the representation theory of reductive groups over non-archimedean local fields. In this article we initiate an investigation of the Dirichlet generating function \[ ζ_ρ(s) = \sum_{n=1}^\infty r_n(ρ) n^{-…
