Zeta functions associated to admissible representations of compact 𝑝-adic Lie groups

Abstract

Let G G be a profinite group. A strongly admissible smooth representation ϱ \varrho of G G over C {\mathbb {C}} decomposes as a direct sum ϱ ≅ ⨁ π ∈ Irr ( G ) m π ( ϱ ) π \varrho \cong \bigoplus _{\pi \in \text {Irr}(G)} m_\pi (\varrho ) \, \pi of irreducible representations with finite multiplicities m π ( ϱ ) m_\pi (\varrho ) such that, for every positive integer n n , the number r n ( ϱ ) r_n(\varrho ) of irreducible constituents of dimension n n is finite. Examples arise naturally in the representation theory of reductive groups over nonarchimedean local fields. In this article we initiate an investigation of the Dirichlet generating function \[ ζ ϱ ( s ) = ∑ n = 1 ∞ r n ( ϱ ) n − s = ∑ π ∈ Irr ( G ) m π ( ϱ ) ( dim ⁡ π ) s \zeta _\varrho (s) = \sum \nolimits _{n=1}^\infty r_n(\varrho ) n^{-s} = \sum \nolimits _{\pi \in \text {Irr}(G)} \frac {m_\pi (\varrho )}{(\dim \pi )^s} \] associated to such a representation ϱ \varrho . Our primary focus is on representations ϱ = Ind H G ( σ ) \varrho = \text {Ind}_H^G(\sigma ) of compact p p -adic Lie groups G G that arise from finite-dimensional representations σ \sigma of closed subgroups H H via the induction functor. In addition to a series of foundational results—including a description in terms of p p -adic integrals—we establish rationality results and functional equations for zeta functions of globally defined families of induced representations of potent pro- p p groups. A key ingredient of our proof is Hironaka’s resolution of singularities, which yields formulae of Denef type for the relevant zeta functions. In some detail we consider representations of open compact subgroups of reductive p p -adic groups that are induced from parabolic subgroups. Explicit computations are carried out by means of complementing techniques: (i) geometric methods that are applicable via distance-transitive actions on spherically homogeneous rooted trees, and (ii) the p p -adic Kirillov orbit method. Approach (i) is closely related to the notion of Gelfand pairs and works equally well in positive defining characteristic.