Abstract
We prove that for every Bushnell–Kutzko type that satisfies a certain rigidity assumption, the equivalence of categories between the corresponding Bernstein component and the category of modules for the Hecke algebra of the type induces a bijection between irreducible unitary representations in the two categories. Moreover, we show that every irreducible smooth G-representation contains a rigid type. This is a generalization of the unitarity criterion of Barbasch and Moy for representations with Iwahori fixed vectors.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let F denote a non-Archimedean local field with finite residue field. Let G be the F-points of a connected reductive algebraic group \({\mathcal G}\) defined over F. Fix a Haar measure \(\mu \) on G. Let \({{\mathcal H}}={{\mathcal H}}(G)\) be the Hecke algebra of G, i.e., \( {{\mathcal H}}(G)\) is the space of locally constant, compactly supported functions \(f:G\rightarrow {\mathbb {C}}\) endowed with the convolution product with respect with \(\mu \). Then \({{\mathcal H}}\) is an associative nonunital algebra. As it is well known \({{\mathcal H}}\) acts on every complex G-representation and this induces an equivalence between the category \({\mathcal C}(G)\) of smooth (complex) G-representations and the category of nondegenerate \({{\mathcal H}}\)-modules.
Let \(e\in {{\mathcal H}}\) be an idempotent. Examples of idempotents include \(e_K=\mu (K)^{-1} \delta _K\), where \(\delta _K\) is the indicator function for a compact open subgroup K in G. Then \(e{{\mathcal H}}e\) is a associative subalgebra of \({{\mathcal H}}\) and \(e{{\mathcal H}}e\) has e as its identity element. Let \(\mathsf {Irr}G\) denote the set of isomorphism classes of irreducible smooth complex G-representations and let \(\mathsf {Irr}_e G\) be the subset of irreducible representations \((\pi , V)\) such that \(eV=\pi (e)V\ne 0\). Let \(\mathsf {Irr}(e{{\mathcal H}}e)\) denote the set of (isomorphism classes of) simple \(e{{\mathcal H}}e\)-modules. We have a canonical bijection
For every \(f\in {{\mathcal H}}\), define \(f^*\in {{\mathcal H}}\) by \(f^*(g)=\overline{f(g^{-1})}\), \(g\in G\). The operation \(*\) is a conjugate-linear anti-involution of \({{\mathcal H}}\). Suppose that e is self-adjoint, i.e., \(e^*=e\). The algebra \(e{{\mathcal H}}e\) inherits the operation \(*\) and has a natural structure of a normalized Hilbert algebra. The results of Bushnell et al. [14] give an identification between the supports of the Plancherel measures under the bijection (1.1). More precisely, let \(\widehat{G}\) denote the unitary dual of G (the topological space of irreducible unitary representations of G on Hilbert spaces) with the Plancherel measure \(\hat{\mu }\) dual to \(\mu \). Let \(\widehat{G}_r\) denote the support of \(\widehat{\mu }\), the space of tempered irreducible G-representations. Denote by \(\widehat{G}_r(e)\) the set of representations \((\pi ,V)\in \widehat{G}_r\) such that \(\pi (e)\ne 0\). On the other hand, \(e{{\mathcal H}}e\) has a \(C^*\)-algebra completion \(C^*_r(e{{\mathcal H}}e)\) whose dual \(\widehat{C^*}_r(e{{\mathcal H}}e)\) carries a Plancherel measure \(\hat{\mu }_{e{{\mathcal H}}e}\). By [14, Theorem A], the bijection (1.1) induces a homeomorphism
such that for every Borel set S of \(\widehat{G}_r(e)\), \(\widehat{\mu }(S)=e(1) \widehat{\mu }_{e{{\mathcal H}}e}(\widehat{m}_e(S))\). In other words, (1.1) induces a natural bijection between irreducible tempered representations.
It is natural to ask if in fact (1.1) induces a bijection of irreducible unitary representations. (We are identifying here preunitary smooth G-representations with unitary G-representations.) In complete generality, this is clearly false, as seen, for example, by taking \(e=e_{K_0}\) where \(K_0\) is a maximal special compact open subgroup. In that case, if V is any irreducible representation with a \(*\)-invariant Hermitian form such that \(V^{K_0}\ne 0\), then \(V^{K_0}\) is automatically a one-dimensional unitary \(e_{K_0}{{\mathcal H}}e_{K_0}\)-module.
For an idempotent e, define \({\mathcal C}_e(G)\) to be the full subcategory of \({\mathcal C}(G)\) consisting of representations \((\pi ,V)\) such that \({{\mathcal H}}eV=V\). Following [12], we say that e is special if \({\mathcal C}_e(G)\) is closed relative to the formation of G-subquotients. This is equivalent [12, 3.12] to the requirement that the functor
is an equivalence of categories.
Let \({\mathcal K}\) be a compact open subgroup and \((\rho ,W)\) a smooth irreducible (finite dimensional) \({\mathcal K}\)-representation. Let \((\rho ^\vee ,W^\vee )\) be the contragredient representation. The pair \(({\mathcal K},\rho )\) is called a type if
is a special idempotent. Our main result is the following
Theorem 1.1
Suppose that \(e\in {{\mathcal H}}\) is a self-adjoint special idempotent such that \(e=e_\rho \) for a type \(({\mathcal K},\rho )\). If \(({\mathcal K},\rho ) \) is rigid (in the sense of Definition 3.9), then \(m_e\) induces a bijection between unitary representations in \({\mathcal C}_e(G)\) and unitary \(e{{\mathcal H}}e\)-modules.
In addition we show
Theorem 1.2
Every irreducible smooth G-representation contains a rigid type.
The rigid type in Theorem 1.2 can be taken to be either a level zero G-type as in [34], or a positive level unrefined minimal K-type, in the sense of [35].
In the particular situation when G is GL(n, F) or one of its inner forms, it is immediate to see that every type is rigid. This has to do with the fact that there is only one conjugacy class of maximal compact open subgroups.
Define the \(\rho \)-spherical Hecke algebra \({{\mathcal H}}(G,\rho )\) to be the convolution algebra of locally constant compactly supported functions \(f:G\rightarrow {\text {End}}_{\mathbb {C}}(W^\vee )\) such that \(f(k_1 x k_2)= \rho ^\vee (k_1) f(x) \rho ^\vee (k_2)\), \(k_1,k_2\in {\mathcal K}\), \(x\in G\). This algebra is a normalized Hilbert algebra and it is Morita equivalent with \(e_\rho {{\mathcal H}}e_\rho \). Set \(V_\rho ={\text {Hom}}_{{\mathcal K}}[\rho ,V]\); this is an \({{\mathcal H}}(G,\rho )\)-module. As a consequence, we obtain the following equivalence.
Corollary 1.3
Suppose \(({\mathcal K},\rho )\) is a rigid type. Then the equivalence of categories
induces a bijection between unitary representations in the two categories.
These results represent a generalization of the Barbasch and Moy preservation of unitarity [4, 5] which is the case \(e=e_I\) where I is an Iwahori subgroup for a split group G. The ideas of [4, 5] were extended further in [3] to situations where \({{\mathcal H}}(G,\rho )\) is known to be isomorphic as a \(*\)-algebra to an affine Hecke algebra with geometric parameters in the sense of Lusztig [31, 32]. The [4, 5] proof in the Iwahori case (and in the generalization [3]) is based on three main ingredients:
-
(a)
Vogan’s signature character [43];
-
(b)
The fact that \(m_e\) maps irreducible tempered representations to irreducible tempered representations;
-
(c)
A certain linear independence result proved using Kazhdan–Lusztig theory [29] and a technical reduction to Lusztig graded affine Hecke algebra [5, 31].
In particular, this approach is dependent on the knowledge that \(e_I{{\mathcal H}}e_I\) is a specialization of the generic affine Hecke algebra (possibly with parameters).
In the present paper, the proof of Theorem 1.1 still relies on Vogan’s signature character, but instead of considering K-signature characters with respect to the maximal special compact open subgroup \(K=K_0\), we consider the signature characters with respect to all conjugacy classes of (maximal) compact open subgroups. The second and essential difference is that the necessary linear independence is obtained as a consequence of the trace Paley–Wiener Theorem proved in [8], see also the work of Henniart and Lemaire [23] and [19] for more recent accounts and generalizations. We also need to make use of the interplay between the rigid cocenter and the rigid representation space, in the sense of [18, 19]. We emphasize that for this argument, we do not need to know the precise structure of the algebra \(e_\rho {{\mathcal H}}e_\rho \) or the statement (b) above, nor do we need the reduction to real infinitesimal character for unitary representations of affine Hecke algebras from [5].
We give a brief outline of the paper. In Sect. 2, we present the definitions and main properties of the K-signature character of a Hermitian G-representation and adapt Vogan’s signature theorem to our setting. The main result of the section is Theorem 2.7. In Sect. 3, we explain the ideas around the cocenter and trace Paley–Wiener theorem that we need for our applications. The main points are the rigid trace Paley–Wiener theorems for Bernstein components, Corollaries 3.7 and 3.8. In Sect. 4, we use these results to give proofs of Theorem 1.1 and of Corollary 1.3. Finally, in Sect. 5, we discuss the notion of rigid type in more detail and prove Theorem 1.2.
2 Vogan’s signature character
In this section, we recall the definition of the multiplicity K-character and signature K-character for an admissible G-representation \((\pi ,V)\) , where K is a compact open subgroup, and explain an analogue of a formula of Vogan for the signature character [2, 43].
2.1 The signed Grothendieck group
We begin by recalling the idea of the Grothendieck group of modules with nondegenerate Hermitian forms from [2]. As in the introduction, \({{\mathcal H}}\) denotes the Hecke algebra of a reductive p-adic group G. A star operation \(\kappa :{{\mathcal H}}\rightarrow {{\mathcal H}}\) is a conjugate linear involutive algebra anti-automorphism. The main example for us in this paper is
Let \((\pi ,V)\) be a smooth \({{\mathcal H}}\)-module. A \(\kappa \)-invariant Hermitian form \(\langle {,}\rangle _V\) is a Hermitian form on V such that
We say that V is Hermitian if it has a nondegenerate \(\kappa \)-invariant Hermitian form.
Suppose K is a compact open subgroup of G. Every smooth irreducible K-representation \((\mu ,E_\mu )\) is finite dimensional, hence unitary, and we fix a positive definite K-invariant form \(\langle {,}\rangle _\mu \) on \(E_\mu \). Let \(\widehat{K}\) denote the set of equivalence classes of such K-representations. If V is admissible, denote by \(V(\mu )=\pi (e_\mu )V\) the isotypic component of \(\mu \) in V, and by
the multiplicity space of \(\mu \). Set \(m_V^K(\mu )=\dim V_\mu <\infty \). Then
If V has an invariant Hermitian form, let \(\langle {,}\rangle _{V(\mu )}\) denote the restriction of the form \(\langle {,}\rangle _V\) to \(V(\mu )\). This induces a Hermitian form \(\langle {,}\rangle ^\mu _V\) on \(V_\mu \) such that
Define \(p_V^K(\mu )\), \(q_V^K(\mu )\), and \(r_V^K(\mu )\) to be the dimension of the positive definite subspace of \((V_\mu ,\langle ,\rangle ^\mu _V)\), the dimension of the negative definite subspace, and the dimension of the radical, respectively:
If V is admissible, let \(V^{h,\kappa }\) denote the Hermitian dual module. This is an admissible module and \(V^{h,\kappa }_{\kappa (\mu )}\cong (V_\mu )^h,\) where \((V_\mu )^h\) is the Hermitian dual of the finite dimensional vector space \(V_\mu \). Notice that when V is irreducible, V has a nondegenerate \(\kappa \)-invariant Hermitian form if and only if \(V\cong V^{h,\kappa }\) as \({{\mathcal H}}\)-modules (see for example [2, Proposition 8.9]).
If U is an \({{\mathcal H}}\)-submodule of \((V,\langle ,\rangle _V)\), denote by \(U^\perp \) the orthogonal complement of U in V with respect to \(\langle {,}\rangle _V\).
If R is any admissible module, define the hyperbolic form on \(R\oplus R^{h,\kappa }\), i.e., the nondegenerate \(\kappa \)-Hermitian form \(\langle ~,\rangle _{hyp}\):
Notice that \(p^K_{R\oplus R^{h,\kappa }}=q^K_{R\oplus R^{h,\kappa }}=m^K_{R}=m^K_{R^{h,\kappa }}.\)
Definition 2.1
[2, Definition 15.5] The Grothendieck group of admissible \(\kappa \)-Hermitian \({{\mathcal H}}\)-modules is the abelian group \(R({{\mathcal H}})^\kappa \) generated by \((V,\langle ,\rangle _V)\), where V is a smooth admissible \({{\mathcal H}}\)-module with the nondegenerate \(\kappa \)-invariant form \(\langle {,}\rangle _V\) subject to the following relations: whenever U is an \({{\mathcal H}}\)-submodule of V and R is the radical of the form \(\langle {,}\rangle _U\) obtained by restricting \(\langle {,}\rangle _V\) to U, we have
For every compact open subgroup K, we have a well defined signature homomorphism
and a multiplicity homomorphism
Here \(R({{\mathcal H}})\) denotes the ordinary Grothendieck group of admissible \({{\mathcal H}}\)-modules, and Fun[ ] denotes the set of functions.
As in [2], a better way to define the signature homomorphism is by introducing the signature Grothendieck ring \({\mathbb {W}}\) of Hermitian finite dimensional \({\mathbb {C}}\)-vector spaces. This is the Hermitian Grothendieck group of finite dimensional \({\mathbb {C}}\)-vector spaces together with the tensor product. The unit is \(1=[{\mathbb {C}},\langle ,\rangle _{std}]\), where \(\langle {,}\rangle _{std}\) is the standard positive definite form, and if we set \(s=[{\mathbb {C}},-\langle ,\rangle _{std}]\), then
Consider the tensor product of \({{\mathcal H}}\)-modules with finite dimensional vector spaces (endowed with the trivial \({{\mathcal H}}\)-action). This can also be extended in the obvious way to define a structure of a \({\mathbb {W}}\)-module on \(R({{\mathcal H}})^\kappa \). It is not hard to see [2, Proposition 15.10] that \(R({{\mathcal H}})^\kappa \) is generated by
-
(1)
\([L,\langle ,\rangle _L]\), where L ranges over the irreducible Hermitian \({{\mathcal H}}\)-modules (\(L\cong L^{h,\kappa }\)) with a fixed choice of nondegenerate invariant form \(\langle ,\rangle _L\);
-
(2)
\([L'\oplus {L'}^{h,\kappa },\langle ,\rangle _{hyp}]\), where \(L'\not \cong {L'}^{h,\kappa }\) range over the unordered pairs of irreducible non-Hermitian modules. Clearly,
$$\begin{aligned}s [L'\oplus {L'}^{h,\kappa },\langle ,\rangle _{hyp}]=[L'\oplus {L'}^{h,\kappa },\langle ,\rangle _{hyp}] \text { in } R({{\mathcal H}})^\kappa . \end{aligned}$$
The following result expresses the Hermitian form of an admissible module in terms of the Hermitian forms of its composition factors.
Proposition 2.2
[2, Proposition 15.10] Every admissible Hermitian module V can be written uniquely in \(R({{\mathcal H}})^\kappa \) as
where
In particular, for every compact open subgroup K, the K-signature character of V is
In this notation, a nondegenerate Hermitian form \(\langle ,\rangle \) on V is positive definite fi the coefficient of s in the signature is zero.
2.2 Langlands data
Fix a minimal parabolic subgroup \({\mathcal P}_0={\mathcal M}_0 {\mathcal N}_0\) defined over F. Let \({\mathcal A}_0\subset {\mathcal M}_0\) be a maximal split torus over F. We will denote by \(P_0\) the F-points of \({\mathcal P}_0\), by \(M_0\) the F-points of \({\mathcal M}_0\) etc. As in [16, §XI.1], a standard pair (P, A) is defined by a standard parabolic \({\mathcal P}\supset {\mathcal P}_0\), \({\mathcal P}={\mathcal M}{\mathcal N}\), and a maximal F-split torus in the center of \({\mathcal M}\) such that \({\mathcal A}\subset {\mathcal A}_0\). Denote \(X({\mathcal A})_F={\text {Hom}}_F[{\mathcal A},\mathbb G_m]\) and set
For a standard pair (P, A), we regard \({\mathfrak a}^*\) as a real subspace of \({\mathfrak a}_0^*\) and similarly \({\mathfrak a}\subset {\mathfrak a}_0\). Let \(H:M\rightarrow {\mathfrak a}\) be the Harish-Chandra map [16, §XI.1.13]. Choose an inner product (, ) on \({\mathfrak a}_0^*\) which is invariant under the action of the Weyl group of \(A_0\) in G. Let \(\Phi ({\mathcal P},{\mathcal A})\) denote the root system of \(({\mathcal P},{\mathcal A})\). Define
Let \(\{\alpha _i\}\) be the set of simple roots in \(\Phi ({\mathcal P},{\mathcal A})\) and let \(\{\omega _i\}\) be a basis ( , )-dual to \(\{\alpha _i\}\) in the span of \(\{\alpha _i\}\). Define a partial order \(\le \) on \({\mathfrak a}^*\), by setting \(\nu \le \lambda \) whenever \((\lambda -\nu ,\omega _i)\ge 0\) for all i.
For a standard parabolic subgroup \(P=MN\) of G, denote by \(i_P^G\) the functor of normalized parabolic induction and by \(r_P^G\) the normalized Jacquet functor (the normalized functor of N-coinvariants). Let \(M^0\) be the subgroup generated by all compact subgroups of M, an open normal subgroup of M. Let \(\delta _P\) be the modulus function. Denote by R(G) the Grothendieck group of admissible G-representations. We may regard \(i_P^G\) as a map \(i_P^G:R(M)\rightarrow R(G)\), independent of \(P\supset M\), and therefore it may be denoted by \(i_M^G\) in this situation.
If \((\sigma ,U_\sigma )\) is an admissible M-representation, and \(\nu \in {\mathfrak a}^*_c\), define the induced representation:
with the G-action given by right translations.
A Langlands datum is a triple \((P,\sigma ,\nu )\), where (P, A) is a standard pair, \(P=MN\), \(\sigma \) is an irreducible tempered representation of \(M^0\), and \(\nu \in {\mathfrak a}^{*,+}\). The following theorem is the Langlands classification in the p-adic case, and summarizes [16, Proposition 2.6, Theorems 2.10 and 2.11, Lemma 2.13] and [38, Theorem 4.1], cf. [4, Theorem 5.1].
Theorem 2.3
Let \((P,\sigma ,\nu )\) be a Langlands datum and \(\bar{P}=M\bar{N}\) the opposite parabolic to P.
-
(1)
The integral operator
$$\begin{aligned} j(\nu ): I(P,\sigma ,\nu )\rightarrow I(\bar{P},\sigma ,\nu ),\quad j(\nu )(f)(g)=\int _{\bar{N}} f(\bar{n} g) ~d\bar{n}, \end{aligned}$$(2.5)converges absolutely and uniformly in g on compacta, and it is an intertwining operator with respect to the G-actions.
-
(2)
\(J(P,\sigma ,\nu )=j(\nu )(I(P,\sigma ,\nu ))=I(P,\sigma ,\nu )/\ker j(\nu )\) is the unique irreducible quotient of \(I(P,\sigma ,\nu )\), called the Langlands quotient.
-
(3)
Let \((P',\sigma ',\nu ')\) be another Langlands datum. If \(J(P,\sigma ,\nu )\cong J(P',\sigma ',\nu ')\), then \(P=P'\), \(\sigma =\sigma '\), and \(\nu =\nu '\).
-
(4)
Let \(\pi \) be an irreducible smooth G-representation. Then there exists a Langlands datum \((P',\sigma ',\nu ')\) such that \(\pi \cong J(P',\sigma ',\nu ')\). The parameter \(\nu '\in {\mathfrak a}^{*,+}\) is called the Langlands parameter of \(\pi \) and it is denoted by \(\lambda _\pi \).
-
(5)
Suppose \(\tau \) is an irreducible composition factor of \(I(P,\sigma ,\nu )\) and \(\pi =J(P,\sigma ,\nu )\). Then \(\lambda _\tau \le \lambda _\pi \), and equality occurs if and only if \(\tau =\pi \).
2.3 An invariant Hermitian form
From now on, we restrict to the case of Hermitian representations with respect to the natural star operation \(\kappa (f)=f^*.\) The classification of \(*\)-Hermitian irreducible smooth G-representations is well known. The p-adic case, see for example [4, §5], is a direct analogue of the results of Knapp and Zuckermann for \((\mathfrak {g},K)\)-modules of real reductive groups [30, Chapter XVI].
Let \((P,\sigma ,\nu )\) be a Langlands datum. The Langlands quotient \(J(P,\sigma ,\nu )\) admits a nondegenerate \(*\)-Hermitian form if and only if there exists \(w\in W(G,A)\), the Weyl group of A in G, such that
Here \(w(M)=\dot{w}^{-1} M \dot{w}\) for some (fixed) lift \(\dot{w}\) of w in the normalizer \(N_G(A)\), and \(^w\sigma (m)=\sigma (\dot{w} m \dot{w}^{-1})\). Suppose this is the case. Fix an isomorphism
which induces an isomorphism, still denoted \(a_{\sigma ,w}\) between \(I(P,\sigma ,-\nu )\) and \(I(\bar{P},\sigma ,\nu )\). We emphasize that \(a_{\sigma ,w}\) does not depend on \(\nu \). Let \(\langle ,\rangle _\sigma \) be a positive definite \(*_M\)-invariant Hermitian form on \(U_\sigma \). Define a possible degenerate \(*\)-invariant Hermitian form on \(I(P,\sigma ,\nu )\) by
The radical of \(\langle ,\rangle _{P,\sigma ,\nu ,w}\) is \(\ker j(\nu )\). Taking the quotient by the radical induces an nondegenerate \(*\)-invariant Hermitian form on \(J(P,\sigma ,\nu )\). Since \(J(P,\sigma ,\nu )\) is irreducible, we know that this form is unique up to scalar multiple.
2.4 The Bernstein center
We recall the definitions of the Bernstein center and the inertial equivalence class. Let M be a Levi subgroup of G with the subgroup \(M^0\) as before. It is known that \(M/M^0\) is a free abelian group of finite rank. A character \(\chi :M\rightarrow {\mathbb {C}}^\times \) is called unramified if \(\chi (M^0)=1\). Write \({{\mathcal X}}(M)\) for the group of unramified characters of M.
Consider the set of pairs \((M,\sigma )\), where M is a Levi subgroup and \(\sigma \) is a supercuspidal representation of M. Define the relation of equivalence such pairs: \((M_1,\sigma _1)\equiv (M_2,\sigma _2)\) if there exists \(x\in G\) such that \(M_2=~^x M_1\) and \(\sigma _2\cong ~^x\sigma _1\). Denote by \(\Theta (G)\) the set of equivalence classes. A point \(\theta \in \Theta (G)\) is called an infinitesimal character of G.
Define the weaker relation of inertial equivalence on the same pairs: \((M_1,\sigma _1)\sim (M_2,\sigma _2)\) if there exists \(x\in G\) such that \(M_2=~^x M_1\) and \(\sigma _2\cong ~^x\sigma _1\otimes \chi \) for some \(\chi \in {{\mathcal X}}(M_2)\). Denote by \({{\mathcal B}}(G)\) the set of inertial equivalence classes \([M,\sigma ]\). Each \({{\mathfrak s}}=[M,\sigma ]\in {{\mathcal B}}(G)\) defines a connected component of \(\Theta (G)\) which will be denoted \(\Theta (G)_{{{\mathfrak s}}}\). It has the structure of a complex affine algebraic variety as the quotient of \({{\mathcal X}}(M)\) by a finite group \(W_{{{\mathfrak s}}}\). The decomposition
makes \(\Theta (G)\) into a complex algebraic variety with infinitely many connected components.
As it is well known, if \((\pi ,V)\in \mathsf {Irr}G\), there exists a unique up to equivalence cuspidal pair \((L,\sigma )\) such that \(\pi \) is a subquotient of \(i_P^G(\sigma ).\) Then \((L,\sigma )\) defines a point \(\theta \in \Theta (G)\), which is called the infinitesimal character of \(\pi \). The infinitesimal character map
is onto and finite to one.
The Bernstein center \(\mathfrak Z(G)\) is the algebra of regular functions on \(\Theta (G)\). From (2.8), one decomposed \(\mathfrak Z(G)=\prod _{{{\mathfrak s}}} \mathfrak Z({{\mathfrak s}})\), where \(\mathfrak Z({{\mathfrak s}})\) is the algebra of regular functions on the Bernstein component \({{\mathfrak s}}\). Let \(\mathfrak Z^0(G)=\bigoplus _{\mathfrak s} \mathfrak Z({{\mathfrak s}})\) be the ideal of \(\mathfrak Z(G)\) of functions supported on a finite number of components. Then each infinitesimal character \(\theta \in \Theta (G)\) can be identified with an algebra homomorphism \(\theta :\mathfrak Z(G)\rightarrow {\mathbb {C}}\) which is nontrivial on \(\mathfrak Z^0(G)\). With this identification, on each irreducible smooth representation \((\pi ,V)\), \(z\in \mathfrak Z(G)\) acts by (see [7, §2.13])
For the Levi subgroup M of a standard parabolic subgroup P, let \(\Theta (M)\) denote the corresponding variety of infinitesimal characters. Let \(i_{M}^G:\Theta (M)\rightarrow \Theta (G)\) denote the corresponding finite morphism on algebraic varieties, see [8, §2.4].
2.5 Inertial support
We call the inertial class \({{\mathfrak s}}=[L,\sigma ]\) the inertial support of \(\pi \). Let \({\mathcal C}^{{{\mathfrak s}}}(G)\) denote the full subcategory of \({\mathcal C}(G)\) consisting of representations \(\pi \) with the property that every subquotient of \(\pi \) has inertial support \(\mathfrak s\). Then
as abelian categories. If \(e\in {{\mathcal H}}\) is a special idempotent, then the results of [12, 3.12] (see also [14, 3.6]) say that there exists a subset \({\mathcal S}(e)\subset {{\mathcal B}}(G)\) such that
Conversely, it is shown in loc. cit. that for every \(\mathfrak s\in {{\mathcal B}}(G)\), there exists a special, self-adjoint idempotent e such that \({\mathcal C}_e(G)={\mathcal C}^{{{\mathfrak s}}}(G)\).
2.6 The K-character
Let K be a compact open subgroup. The goal is to express the K-signature of an irreducible smooth G-representation in terms of that of tempered modules. A first step is the simpler result for K-multiplicity functions.
Lemma 2.4
Let \((\pi ,V)\) be an irreducible smooth G-representation in \({\mathcal C}^{{{\mathfrak s}}}(G)\). There exist irreducible tempered G-representations \(\{V_i\mid 1\le i\le n\}\) in \({\mathcal C}^{{{\mathfrak s}}}(G)\) and integers \(a_i\) such that for every K,
Proof
Set \(\theta =\text {inf-char}(\pi )\in \Theta (G)\). There are finitely many irreducible G-representations, all in \({\mathcal C}^{{{\mathfrak s}}}(G)\), with infinitesimal character \(\theta \). Write them in terms of the Langlands classification as \(J(P,\sigma ,\nu )\) and fix an ordering on this set compatible with \(\le \) on the Langlands parameters \(\nu \).
Suppose \(\pi _1=J(P_1,\sigma _1,\nu _1)\) is a minimal element in this order. By Theorem 2.3(5), we must have \(J(P_1,\sigma _1,\nu _1)=I(P_1,\sigma _1,\nu _1)\), hence \(m_{\pi _1}^K=m_{I(P_1,\sigma _1,\nu _1)}^K=m_{I(P_1,\sigma _1,0)}^K\), and \(I(P_1,\sigma _1,0)\) is tempered and in \({\mathcal C}^{{{\mathfrak s}}}(G)\). If \(I(P_1,\sigma _1,0)\) is reducible then it decomposes into a direct sum of finitely many irreducible tempered representations, hence the claim is proved in the base case of the induction.
Now let \(V=J(P,\sigma ,\nu )\) be arbitrary. If \(J(P,\sigma ,\nu )=I(P,\sigma ,\nu )\), the claim follows in the same way as before. Otherwise, let \(J_i=J(P_i,\sigma _i,\nu _i)\) be the composition factors of \(I(P,\sigma ,\nu )\) other than \(J(P,\sigma ,\nu )\). Then
Since \(m_{I(P,\sigma ,\nu )}^K=m_{I(P,\sigma ,0)}^K\) and \(\lambda _{J_i}<\lambda _V\), the proof is complete by induction. \(\square \)
2.7 The Jantzen filtration
We summarize the necessary results about the Jantzen filtration and the signature character, see [43, §3], [2, §14], also [4, §5] for the p-adic analogue.
Let \((P,\sigma ,\nu )\) be a Langlands datum such that \(J(P,\sigma ,\nu )\) admits a nondegenerate \(*\)-invariant Hermitian form. Regard the standard module \(I(P,\sigma ,\nu )\) as a member of the continuous family \(I_t=I(P,\sigma , t\nu )\), \(t\in {\mathbb {R}}_{\ge 0}\). As it is well known, all of the representations in the family \(I_t\) can be realized on the same space X. Explicitly, let \(K_0\) be a maximal compact open subgroup such that the Iwasawa decomposition holds \(G=PK_0\). Then
It is important to notice that for every compact subgroup K, the restriction of \(I_t\) to K is independent of t.
The Hermitian forms \(\langle ,\rangle _{P,\sigma ,t\nu ,w}\) on \(I_t\) can be regarded as an analytic family of Hermitian forms \(\langle ,\rangle _t\) on X such that
The Jantzen filtration of \(I_1\) (\(t=1\), obviously the same definition applies to an arbitrary point \(t_0>0\)) is:
where \(X^n\) consists of the vectors \(x\in X\) such that there exists a an analytic function
satisfying the conditions:
-
(a)
\(f_x\) takes values in a fixed finite dimensional subspace of X;
-
(b)
\(f_x(1)=x\);
-
(c)
for all \(y\in X\), the function \(t\mapsto \langle f_x(t),y\rangle _t\) vanishes at least to order n at \(t=1\).
Define a Hermitian form \(\langle ,\rangle ^n\) on \(X^n\) by
The main result is the following theorem.
Theorem 2.5
[43, Theorem 3.8]
With the notation as above, the Jantzen filtration \(X=X^0\supset X^1\supset X^2\supset \dots \supset X^N=\{0\}\) is a filtration of G-representations.
-
(a)
\(X^0/X^1\) is the Langlands quotient \(J_1\).
-
(b)
The radical of the form \(\langle ,\rangle ^n\) is \(\langle ,\rangle ^{n+1}\). The nondegenerate form \(\langle ,\rangle ^n\) on \(X^n/X^{n+1}\) is \(*\)-invariant. Write \({\mathsf {sig}}_1^{K,n}=(p_n,q_n): \widehat{K}\rightarrow {\mathbb {N}}\times {\mathbb {N}}\) for its K-signature.
-
(c)
For small \(\epsilon \), the nondegenerate invariant Hermitian form \(\langle ,\rangle _{1+\epsilon }\) on \(I_{1+\epsilon }\) has signature
$$\begin{aligned}\left( \sum _n p_n,\sum _n q_n\right) . \end{aligned}$$ -
(d)
For small \(\epsilon \), the nondegenerate invariant Hermitian form \(\langle ,\rangle _{1-\epsilon }\) on \(I_{1-\epsilon }\) has signature
$$\begin{aligned} \left( \sum _{n \text { even}} p_n+\sum _{n \text { odd}} q_n,\sum _{n \text { odd}} p_n+\sum _{n \text { even}} q_n\right) . \end{aligned}$$
Equivalently,
where \({\mathsf {sig}}_{t}\) denotes the K-signature of \(\langle ,\rangle _t\).
Before we get to the signature theorem, we need a lemma which will insure that the inductive algorithm terminates (see also [40, Lemma 2.12] for similar considerations).
Lemma 2.6
Let \({{\mathfrak s}}\) be a Bernstein component. There exists a positive real number \(d_{{{\mathfrak s}}}\) (depending only on \({{\mathfrak s}}\)) with the following property: if \((P,\sigma ,\nu )\) is a Langlands datum and \(V=J(P,\sigma ,\nu )\) is the Langlands quotient, for every other irreducible composition factor \(V'\ne V\) of \(I(P,\sigma ,\nu )\) we have \(||\lambda _V-\lambda _{V'}||>d_{{{\mathfrak s}}}\). Here the norm || || is taken with respect to (, ), the inner product on \({{\mathfrak a}}_0^*\).
Proof
Suppose \(V'=J(P',\sigma ',\nu ')\) in the Langlands classification. Since V and \(V'\) are both composition factors of \(I(P,\sigma ,\nu )\), we have \(\text {inf-char}\,(V)=\text {inf-char}(V')\). On the other hand, by [39, Theorem 2.8.1], there exists an irreducible discrete series representation \(\sigma _0\) of a Levi subgroup \(S\subset M\) and a unitary unramified character \(\chi _0\) of the center of S such that \(\sigma \) is a direct summand of the unitarily induced representation \(i_S^M(\sigma _0\otimes \chi _0)\). Similarly, we have \(\sigma _0'\), \(\chi _0'\) for \(\sigma \).
This means that
and \(\nu '<\nu \). By [8, Proposition 3.1], in every Bernstein component there are only finitely many discrete infinitesimal characters (modulo the action of the unramified characters). The infinitesimal characters of irreducible discrete series are discrete, hence there are only finitely many orbits of infinitesimal characters
under the action of the unitary unramified characters. Since \(\nu ,\nu '\) are in \({\mathfrak a}_0^*\) (i.e., they are real unramified characters), the claim follows from (2.16). \(\square \)
We can now state the analogue of Vogan’s signature theorem, cf. [43, Theorem 1.5], [4, Theorem 5.2].
Theorem 2.7
(The signature theorem) Let \((\pi ,V)\) be an irreducible smooth G-representation with inertial support \({{\mathfrak s}}\). Suppose that V admits a \(*\)-invariant Hermitian form. Then there exist irreducible tempered representations \(V_1,\dots ,V_n\) in \({\mathcal C}^{{{\mathfrak s}}}(G)\) and \(w_1,\dots ,w_n\in {\mathbb {W}}\) (see (2.2)) such that, for every compact open subgroup K, the K-signature of V is
Proof
The proof is the same as in loc. cit., except that we need to explain in our setting the independence of K, the Bernstein component \({{\mathfrak s}}\), and the fact that the algorithm terminates.
Write V in terms of the Langlands classification as \(V=J(P,\sigma ,\nu )\). As before, consider \(I_t=I(P,\sigma ,t\nu )\), \(t\in [0,1]\). Let \(t_1<\dots <t_{r_1}\) be the points in (0, 1) where \(I_t\) is reducible, and set \(t_0=0\) and \(t_r=1\). For \(1\le j\le r\) define
For \(1\le j\le r\), the induced representation \(I_{t_j}\) has the Jantzen filtration
The subquotient \(X_{t_j}^n/X_{t_j}^{n+1}\) has the nondegenerate form \(\langle ,\rangle _n^j\) with signature \({\mathsf {sig}}^{K,n}_j\). By Theorem 2.5, we have the recursion formulas for \({\mathsf {sig}}^K_j\):
In particular, the signature of V is:
As in [43, 3.38], this leads to
Notice first that in the right hand side of this formula, the signature of \(J_{t_j}\) does not appear for any \(j\ge 1.\) The signature \({\mathsf {sig}}^K_1\) is the same as the signature of \(I(P,\sigma ,0)\), which is a possibly reducible tempered module, and its signature can be written uniquely in terms of the signatures of its irreducible tempered composition factors. For the rest of the terms, we want to proceed by induction on the length of the Langlands parameter \(\nu =\lambda _V\).
One remarks, as in [43, Lemma 3.1] that if the conclusion of Theorem 2.7 holds for all the irreducible Hermitian composition factors of an admissible module Y which have a nondegenerate Hermitian form, then it holds for Y itself. This is because of Proposition 2.2 and Lemma 2.4. In particular, we may apply this observation to our situation, namely to the (possibly reducible) subquotients \(X_{t_j}^n/X_{t_j}^{n+1}\) in the Jantzen filtrations, as long as by induction we may assume that the claim holds for the irreducible composition factors of \(I_{t_j}\), other than \(J_{t_j}\).
Let \(V'\) be an irreducible Hermitian composition factor of \(I(P,\sigma ,t_j\nu )\) for some \(1\le j\le r\), such that \(V'\ne J(P,\sigma ,t_j\nu )\). These are the irreducible representations whose signature contribute in the right hand side of (2.20). By Lemma 2.6, the Langlands parameter of \(V'\) satisfies \(||\lambda _{V'}||<||t\nu _j||-d_{{{\mathfrak s}}}\le ||\lambda _V||-d_{{{\mathfrak s}}}<||\lambda _V||.\) The induction hypothesis applies then and therefore the conclusion of the theorem holds for V as well, by (2.20). Notice that the algorithm terminates since every time the length of the Langlands parameter drops by at least \(d_{{{\mathfrak s}}}>0\). \(\square \)
Corollary 2.8
With the same notation as in Theorem 2.7:
Proof
Since every \(V_i\) is tempered, hence \(*\)-unitary, the signature of \(V_i\) is \({\mathsf {sig}}_{V_i}^K=m_{V_i}^K\). \(\square \)
Remark 2.9
The same formula in Theorem 2.7 holds with respect to different star operations \(\kappa \) as long as for every \(\kappa \)-Hermitian Langlands quotient \(J(P,\sigma ,\nu )\), we can define a natural (degenerate) \(\kappa \)-invariant form on \(I(P,\sigma ,\nu )\) whose radical is \(\ker j(\nu )\). In the setting of \((\mathfrak {g},K)\)-modules, an essential role is played by the signature theorem for the compact star operation [2]. We will explore a p-adic analogue in future work.
3 Rigid tempered representations
In this section, we explain several relevant results from [8, 19,20,21] which will allow us to sharpen the signature theorem 2.7. See also [9, 37, 42] for more details on the relation between the cocenter, \(K_0(G)\), and characters of admissible representations.
If \({\mathcal A}\) is an abelian group and R is a ring, we will denote \({\mathcal A}_R={\mathcal A}\otimes _{\mathbb {Z}}R.\)
3.1 The compact cocenter
Recall that R(G) denotes the \({\mathbb {Z}}\)-span of the set of isomorphism classes of irreducible smooth G-representations.
The cocenter of G (or of \({{\mathcal H}}(G)\)) is the linear space
where \([{{\mathcal H}}(G),{{\mathcal H}}(G)]\) is the linear subspace spanned by all the commutators \(f_1f_2-f_2f_1\). An alternative description of \([{{\mathcal H}}(G),{{\mathcal H}}(G)]\) is that it is the subspace spanned by all \(f-~^xf\), where \(f\in {{\mathcal H}}(G)\) and \(x\in G\), \(^xf(g)=f(x^{-1}g x).\)
A distribution on G is a linear map \(D:{{\mathcal H}}(G)\rightarrow {\mathbb {C}}\). Let \({\mathcal D}(G)\) denote the space of G-distributions. A G-invariant distribution, i.e., an element of \({\mathcal D}(G)^G\), is the same as a linear map \(D:\overline{{{\mathcal H}}}(G)\rightarrow {\mathbb {C}}\).
Let \(G_c^0\) denote the open set of compact elements of G and let \({{\mathcal H}}_c(G)\subset {{\mathcal H}}(G)\) be the subalgebra of functions supported in \(G_c^0\). Define the compact cocenter:
In other words, \(\overline{{{\mathcal H}}}_c(G)\) is the image in \(\overline{{{\mathcal H}}}(G)\) of \(\bigoplus _K {{\mathcal H}}(K)\), where K ranges over the compact open subgroups of G (equivalently, over the G-conjugacy classes of maximal compact open subgroups of G). The Hecke algebra \({{\mathcal H}}(G)\) is the direct limit
of the algebras \({{\mathcal H}}(G,K)\) of K-biinvariant functions, where K ranges over a system of good compact open subgroups (in the sense of [7]). For example, one may take the system \(\{I_m\}\), given by the m-th congruence subgroups \(I_m\) of a fixed Iwahori subgroup I. More precisely, \(I_m=G_{x,m^+}\) are the Moy–Prasad [35] filtration subgroups attached to a generic point x in the Bruhat–Tits building of G.
3.2 The compact representations space
Define \(R_\mathsf {ind}(G)_{\mathbb {Q}}\subset R(G)_{\mathbb {Q}}\) to be the \({\mathbb {Q}}\)-span of all induced modules \(i_P^G(\sigma )\), \(\sigma \in R(L)_{\mathbb {Q}}\), where \(P\ne G\).
Definition 3.1
(cf. [19]) Let \(R_\mathsf {diff}(G)_{\mathbb {Q}}\subset R(G)_{\mathbb {Q}}\) denote the span of all differences \(i_P^G(\sigma )-i_P^G(\sigma \otimes \chi )\), where P ranges over the set of parabolic subgroups, \(\sigma \in R(L)\), and \(\chi \in {{\mathcal X}}(L)\). Define the compact representations space (quotient):
In the case when G is semisimple, this is the same notion as that of the rigid quotient from [19].
Lemma 3.2
The space \(\overline{R}_c(G)_{\mathbb {Q}}\) is spanned by the classes of irreducible tempered G-representations.
Proof
By the Langlands classification, R(G) is spanned by the Langlands standard modules \(I(P,\sigma ,\nu )\), where \((P,\sigma ,\nu )\) are Langlands date. It is clear that in \(\overline{R}_\mathsf {rigid}(G)_{\mathbb {Q}}\), we have \(I(P,\sigma ,\nu )\equiv I(P,\sigma ,0)\), the latter being a tempered representation of G. \(\square \)
The elliptic representation space is
The space \(R_\mathsf {ell}(G)_{\mathbb {Q}}\) is also spanned by the images of the irreducible tempered modules (again by invoking the Langlands classification), and there is a natural surjection \(\overline{R}_\mathsf {rigid}(G)_{\mathbb {Q}}\rightarrow \overline{R}_\mathsf {ell}(G)_{\mathbb {Q}}\). Every irreducible discrete series representation gives a nonzero class in \(R_\mathsf {ell}(G)_{\mathbb {Q}}\), see for example [28].
3.3 The trace map
Let \(K_0(G)\) denote the Grothendieck group of finitely generated projective G-representations. Let
denote the Hattori-Stallings trace map, see for example [21, §2.2].
The following result is essentially the abstract Selberg principle for p-adic groups proved in [10].
Theorem 3.3
(see [20, Theorem 1.6]) The image of \(K_0(G)_{\mathbb {C}}\) under \(\tau \) is \(\overline{{{\mathcal H}}}_c(G)\).
More is known about \(\tau \), for example, it is also proved in the [20] that
-
(a)
The map \(\tau \) is injective, and
-
(b)
The space \(K_0(G)_{\mathbb {Q}}\) is generated over \({\mathbb {Q}}\) by compactly induced modules
$$\begin{aligned}{\text {c-ind}}_K^G(\mu )={{\mathcal H}}(G)\otimes _{{{\mathcal H}}(K)}E_\mu , \end{aligned}$$where K ranges over the compact open subgroups of G and \((\mu ,E_\mu )\) over \(\widehat{K}\).
We will not need these finer results.
3.4 The trace Paley-Wiener theorem
As in [8, §1.2], a linear map \(F:R(G)\rightarrow {\mathbb {C}}\) is called a good form if
-
(i)
For every standard Levi subgroup \(M<G\), and every irreducible smooth M-representation \(\sigma \), the function \(\psi \mapsto i_M^G(\sigma \otimes \psi )\) is a regular function on the complex algebraic variety \({\mathcal X}(M)\).
-
(ii)
There exists a compact open subgroup K such that \(f(V)=0\) for all admissible representations \((\pi ,V)\) such that \(V^K=0\).
Denote by \({\mathcal F}(R(G))\) the space of linear maps \(R(G)\rightarrow {\mathbb {C}}\) and by \({\mathcal F}(R(G))_\mathsf {good}\subset {\mathcal F}(R(G))\) the space of good forms on R(G). The following is the classical trace Paley–Wiener theorem.
Theorem 3.4
([8, Theorem 1.2]) The trace map \({\text {tr}}: \overline{{{\mathcal H}}}(G)\rightarrow {\mathcal F}(R(G))\) given by \(f\mapsto (\pi \mapsto {\text {tr}}\pi (f))\) is surjective onto \({\mathcal F}(G)_\mathsf {good}\).
In fact, Kazhdan’s density theorem says that \({\text {tr}}\) is also injective [27, 28], but we will not use this result.
3.5 The rigid trace Paley-Wiener theorem
We now look at the restriction of \({\text {tr}}\) to \(\overline{{{\mathcal H}}}_c(G)\). If \(\sigma \in \widehat{K}\), K a compact open subgroup, let \(\chi _\sigma :K\rightarrow {\mathbb {C}}\) denote its character. One may extend this by zero to an element of \({{\mathcal H}}(G)\) and regard \(\chi _\sigma \) as an element of \(\overline{{{\mathcal H}}}_c(G).\) In fact, the compact cocenter \(\overline{{{\mathcal H}}}_c(G)\) is spanned by \(\chi _\sigma \) as \(\sigma \) ranges over \(\widehat{K}\) for all compact open subgroups K. If \(\pi \) is an admissible G-representation, then it is well known that
where \(\sigma ^\vee \) is the contragredient representation of \(\sigma \). Therefore, if \(f\in \overline{{{\mathcal H}}}_c(G)\) then \({\text {tr}}(\pi (f))=0\) for all \(\pi \in R_\mathsf {diff}(G)\), since \(i_P^G(\sigma )|_K=i_P^G(\sigma \otimes \chi )|_K\) for all compact K. This means that we naturally have a map
The following result is proved in [19] in the more general setting of mod-l representations. It can also be deduced from [8] in combination with [20, 21].
Theorem 3.5
(The rigid trace Paley–Wiener theorem, [19]) The map \({\text {tr}}_c:\overline{{{\mathcal H}}}_c(G)\rightarrow {\mathcal F}(\overline{R}_c(G))_\mathsf {good}\) is surjective. Moreover, for every Iwahori filtration subgroup \(I_m\), \(m>0\):
-
(1)
\({\text {tr}}_c:\overline{{{\mathcal H}}}_c(G,I_m)\rightarrow {\mathcal F}(\overline{R}_c(G,I_m))\) is surjective.
-
(2)
\(\dim \overline{{{\mathcal H}}}_c(G,I_m)<\infty .\)
3.6 Bernstein components
We need to look at the action of the Bernstein center. Let U(G) denote the inverse limit algebra
where for \(K'\subset K\), the inverse limit system is given by \(p_{K',K}: {{\mathcal H}}(G,K')\rightarrow {{\mathcal H}}(G,K),\) \(p_{K',K}(f)=e_{K}f e_{K}.\) This is a unital associative algebra. As it is known [7], see also the exposition in [36], the algebra U(G) has the equivalent description as the convolution algebra of essentially compact distributions:
The Bernstein center can be identified as
The star operation \(*\) extends to U(G) by setting
The Hecke algebra itself is a \(*\)-subalgebra (in fact, a two-sided ideal) of U(G). The Bernstein center \({{\mathfrak Z}}(G)\) acts on \({{\mathcal H}}(G)\) as the center of U(G). This also gives an action of \({{\mathfrak Z}}(G)\) on \(\overline{{{\mathcal H}}}(G)\). On the other hand, the central algebra \({{\mathfrak Z}}(G)\) acts on R(G) via infinitesimal characters (on each irreducible representation), see Sect. 2.4, and therefore on \({\mathcal F}(G)\). As remarked in [8, §4.1],
The similar refinement for the rigid trace Paley–Wiener theorem is more subtle. Let \(\delta _{G_c^0}\) be the distribution on \({{\mathcal H}}(G)\), \(\delta _{G_c^0}(f)=f|_{G_c^0}\), i.e., the restriction to \(G_c^0\). Notice that \(f\in \overline{{{\mathcal H}}}_c(G)\) if and only if
The nontrivial step is the following:
Proposition 3.6
[21, Proposition 2.8]
For every idempotent element \(e\in {{\mathfrak Z}}(G)\),
Here, we think of \(e\in {\text {End}}(\overline{{{\mathcal H}}}(G))\) via \(e(f)=e\star f\), for \(f\in \overline{{{\mathcal H}}}(G)\). Proposition 3.6 says that for every \(f\in \overline{{{\mathcal H}}}_c(G)\),
which means that \({{\mathcal H}}_c(G)\) is invariant under the actions of Bernstein idempotents.
For every Bernstein component \({{\mathfrak s}}\in {\mathcal B}(G)\), denote by \(e_{{\mathfrak s}}\) the corresponding idempotent. Set
Let \(\overline{R}_c(G,{{\mathfrak s}})\) be the image of \(R(G,{{\mathfrak s}})\) in \(\overline{R}_c(G)\). By the discussion above, we can also define \(\overline{{{\mathcal H}}}_c(G,{{\mathfrak s}})=\overline{{{\mathcal H}}}_c(G)e_{{{\mathfrak s}}}\subset \overline{{{\mathcal H}}}_c(G).\)
Corollary 3.7
The map \({\text {tr}}_c:\overline{{{\mathcal H}}}_c(G)\rightarrow {\mathcal F}(\overline{R}_c(G))_\mathsf {good}\) induces surjective maps
for every Bernstein component \({{\mathfrak s}}\). The spaces \(\overline{{{\mathcal H}}}_c(G,{{\mathfrak s}})\) are finite dimensional.
Proof
The first part is immediate from Theorem 3.5 (1) and Proposition 3.6. For the second part, notice that for each \({{\mathfrak s}}\) there exists a sufficiently small subgroup \(I_m\) such that \({{\mathcal H}}(G,{{\mathfrak s}})\subset {{\mathcal H}}(G,I_m)\). Then \(\overline{{{\mathcal H}}}_c(G,{{\mathfrak s}})\subset \overline{{{\mathcal H}}}_c(G,I_m)\) and the second claim follows from Theorem 3.5 (2). \(\square \)
3.7 Rigid pairs
Now suppose that \(({\mathcal K},\rho )\) is a type with \(e_\rho \in {{\mathcal H}}(G)\) the corresponding idempotent. Let \(R(G,\rho )\) be the subspace of R(G) spanned by the irreducible objects in \(({\mathcal K},\rho )\) and \(\overline{R}_c(G,\rho )\) its image in \(\overline{R}_c(G)\). Since \(e_\rho \) is supported in \(G_c^0\), \(e_\rho {{\mathcal H}}_c(G) e_\rho \subset {{\mathcal H}}_c(G)\). Denote by \(\overline{e_\rho {{\mathcal H}}_c(G) e_\rho }\) the image of \(e_\rho {{\mathcal H}}_c(G) e_\rho \subset {{\mathcal H}}_c(G)\) in \(\overline{{{\mathcal H}}}_c(G)\).
If \(f\in e_\rho {{\mathcal H}}e_\rho \) and \((\pi ,V)\) is an admissible representation, then
and, in particular, \({\text {tr}}(f,V)=0\) for all irreducible V not in \({\mathcal C}_{e_\rho }(G)\). This means that the image of \(e_\rho \overline{{{\mathcal H}}}_c(G) e_\rho \) under \({\text {tr}}_c\) lands in \( \overline{R}_c(G,\rho )\).
Corollary 3.8
The restriction of the trace map \({\text {tr}}_c: \overline{e_\rho {{\mathcal H}}_c(G) e_\rho } \rightarrow {\mathcal F}(\overline{R}_c(G,\rho ))\) is surjective.
Proof
The category \({\mathcal C}_{e_\rho }(G)\) is a direct product of finitely many Bernstein components [12, (3.12)]. Without loss of generality, we may assume that \({\mathcal C}_{e_\rho }(G)={\mathcal C}^{{{\mathfrak s}}}(G)\) for a single Bernstein component \({{\mathfrak s}}\). Then \(\overline{R}_c(G,\rho )=\overline{R}_c(G,{{\mathfrak s}})\).
Let \(I_m\) be sufficiently small such that \(e_\rho {{\mathcal H}}(G) e_\rho \subset {{\mathcal H}}(G,I_m)\). We use the methods from the proofs of [27, Lemmas 3.2, 3.3]. The category \({\mathcal C}_{I_m}(G)\) splits into a finite direct product of subcategories:
for a finite set of Bernstein idempotents \(\{e'\}\). This implies that
in the obvious notation. Applying the Hattori-Stalling map \(\tau \) and using Theorem 3.3:
By Corollary 3.7, \({\text {tr}}_c\) maps \(\overline{{{\mathcal H}}}_c(G,e')\) onto \({\mathcal F}(\overline{R}_c(G,{{\mathfrak s}}'))\), where \({{\mathfrak s}}'\) is the Bernstein component of \(e'\). By Theorem 3.5 (1)
and therefore \({\text {tr}}_c(\overline{e_\rho {\mathcal H}_c(G) e_\rho })={\mathcal F}(\overline{R}_c(G,{{\mathfrak s}}))\). \(\square \)
Definition 3.9
We say that a pair (not necessarily a type) \(({\mathcal K},\rho )\) is rigid if the composition of the natural maps
is surjective.
In Sect. 5, we will discuss important examples of rigid types.
4 The proofs of Theorem 1.1 and Corollary 1.3
We are now in position to prove Theorem 1.1.
4.1 A strong signature theorem
Firstly, we can sharpen Theorem 2.7 using the notion of rigid representations. Let \({{\mathcal B}}_c(G,{{\mathfrak s}})=\{V_1,\dots ,V_n\}\) denote a basis of \(\overline{R}_c(G,{{\mathfrak s}})_{\mathbb {Q}}\) consisting of irreducible tempered representations. From the previous section we know that \(\overline{R}_c(G,{{\mathfrak s}})_{\mathbb {Q}}\) is finite dimensional.
Theorem 4.1
(The signature theorem II) Let \((\pi ,V)\) be an irreducible smooth G-representation with inertial support \({{\mathfrak s}}\). Suppose that V admits a \(*\)-invariant Hermitian form. Then there exist \(w_1,\dots ,w_n\in {\mathbb {W}}\otimes _{\mathbb {Z}}{\mathbb {Q}}\) such that, for every compact open subgroup K, the K-signature of V is
Notice that, in this version, we cannot say that the scalars \(w_i\) are integral, only rational.
Proof
In light of Theorem 2.7, it is sufficient to show that the K-character of every irreducible tempered representation \(V'\) with inertial support \({{\mathfrak s}}\) can be written as a rational combination (independent of K) of \({{\mathcal B}}_c(G,{{\mathfrak s}}).\) But this is equivalent to writing \(V'\) in \(\overline{R}_c(G,{{\mathfrak s}})_{\mathbb {Q}}\) in terms of the basis \({{\mathcal B}}_c(G,{{\mathfrak s}})\). \(\square \)
Remark 4.2
An important question is if there is a natural basis \({\mathcal B}_c(G,{{\mathfrak s}})\) or more generally a basis of all of \(\overline{R}_c(G)\) or \(\overline{R}_c(G)_{\mathbb {Q}}\). The analogy is that for \((\mathfrak {g},K)\)-modules of real reductive groups, a fundamental theorem of Vogan says that the set of irreducible tempered \((\mathfrak {g},K)\)-modules is a basis (over \({\mathbb {Z}}\)!) of the analogous quotient of the Grothendieck group of admissible \((\mathfrak {g},K)\)-modules. In the setting of p-adic groups, we may decompose (see for example [20, Sect. 4] or [18, Proposition 6.5] for the Iwahori case)
where \(\overline{R}_\mathsf {ell}(M)_{{\mathbb {Q}},{\mathcal X}(M)}\) denotes the space of \({\mathcal X}(M)\)-coinvariants of \(\overline{R}_\mathsf {ell}(M)_{\mathbb {Q}}\), the direct sum is over the set of standard Levi subgroups M, and \((M,\sigma )\sim (M',\sigma ')\) if there exists \(w\in W(G,A)\) such that \(M'=w(M)\) and \(\sigma '=w(\sigma )\). However, beyond this point, we do not know how to make canonical choices for the basis of \(\overline{R}_\mathsf {ell}(M)_{{\mathbb {Q}},{\mathcal X}(M)}\). In fact, the example of the two (Iwahori-spherical) tempered direct summands of the minimal principal series representation of \(SL(2,{\mathbb {Q}}_p)\) induced from the unramified quadratic character appears to suggest that a canonical choice for irreducible elliptic representations may not be possible.
4.2 An easy implication
Let e be an idempotent in \({{\mathcal H}}(G)\) and \((\pi ,V)\) an irreducible representation in \({\mathcal C}_e(G)\). Suppose that \((\pi ,V)\) carries a Hermitian \(*\)-invariant form \(\langle ,\rangle _V\). If \(e^*=e\), we may restrict \(\langle ,\rangle _V\) to \(\pi (e)V\) and get an invariant Hermitian form \(\langle ,\rangle _{V,e}\):
Since e is a self-adjoint idempotent
This implies that if \(\langle ,\rangle _V\) is nondegenerate, so is \(\langle ,\rangle _{V,e}\). Of course, if \(\langle ,\rangle _V\) is positive definite, so is \(\langle ,\rangle _{V,e}\), which means that
Conversely, suppose that \((\bar{\pi },U)\) is an \(e{{\mathcal H}}e\)-module with an \(e{{\mathcal H}}e\)-invariant Hermitian form \(\langle ,\rangle _U\). The functor from \(e{{\mathcal H}}e\)-modules to \({{\mathcal H}}\)-modules takes U to \({{\mathcal H}}e\otimes _{e{{\mathcal H}}e}U\). For \(f_1,f_2\in {{\mathcal H}}e\), define
an invariant Hermitian form on \({{\mathcal H}}e\otimes _{e{{\mathcal H}}e}U\).
4.3 The proof of Theorem 1.1
The difficult part of the unitarity equivalence is to show that if \((\pi ,V)\) carries a nondegenerate Hermitian \(*\)-invariant form \(\langle ,\rangle _V\) such that \(\langle ,\rangle _{V,e}\) is positive definite, then \(\langle ,\rangle _V\) is positive definite, i.e., if \(\pi (e)V\) is unitary, then V is unitary.
For this, we need to restrict to the case of types. Let \(({\mathcal K},\rho )\) be a type as before and let \((\pi ,V)\) be an irreducible representation in \({\mathcal C}_{e_\rho }(G)\).
For every compact open subgroup \(K\supseteq {\mathcal K}\), we have defined the notions of K-multiplicity and K-signature of \(V,\langle ,\rangle _V\). Define the notions of \(e_\rho H(K)e_\rho \)-multiplicty and signature of \(\pi (e_\rho )V,\langle ,\rangle _{V,e_\rho }\):
in exactly the same way. Using Theorem 4.1, write
for certain \(a_i,b_i\in {\mathbb {Z}}\), independent of K. The signature \({\mathsf {sig}}_{\pi (e_\rho )V}^{e_\rho H(K)e_\rho }\) is obtained by simply restricting to the K-types \((\mu ,E_\mu )\) such that \(\pi (e_\rho )E_\mu \ne 0\). Hence
If \(\langle ,\rangle _{V,e_\rho }\) is positive definite, it implies that
The condition in (4.7) holds for all \(K\supset {\mathcal K}\), and therefore, when \(({\mathcal K},\rho )\) is rigid, it can be rephrased in terms of the notation in Sect. 3 as saying that
Then Corollary 3.8 implies that
Now since \(\{V_i\}\) is a basis of \(\overline{R}_c(G,\rho )\), we get that
and so \(\langle ,\rangle _V\) is also positive definite.\(\square \)
Remark that the method of proof fails if one only considers the signature characters with respect to a fixed maximal compact open subgroup, for example the maximal special subgroup \(K_0\). The reason is that
does not necessarily imply that \(\sum _{i=1}^n b_i V_i=0\) in \(\overline{R}_c(G,\rho ).\) For example, take \(G=SL(2,{\mathbb {Q}}_p)\), \(K_0=SL(2,{\mathbb {Z}}_p)\), and \(({\mathcal K},\rho )=(I,1_I)\), where \(I\subset K_0\) is an Iwahori subgroup. In that case, \(\overline{R}_c(G,e_I)\) is 3-dimensional, but there are only two irreducible \(K_0\)-types with I-fixed vectors.
4.4 The proof of Corollary 1.3
Corollary 1.3 follows from Theorem 1.1 via a well-known argument, as applied for example in [14, Sect. 4] to deduce the preservation of Plancherel measures. We include it here for completeness. We follow the notation in [14]. Recall that a normalized Hilbert algebra A is an associative unital \({\mathbb {C}}\)-algebra with a star operation \(*\) and an inner product \([~,]_A\) such that \([1_A,1_A]=1\). We do not reproduce the axioms of compatibility between \([~,]_A\) and \(*\), but we refer to [14, Definition 3.1] for the details.
There are three normalized Hilbert algebras that enter in the picture for a type \(({\mathcal K},\rho )\) such that \(e_\rho ^*=e_\rho \). Recall that \((\rho ,W)\) is an irreducible smooth \({\mathcal K}\)-representation with contragredient \((\rho ^\vee ,W^\vee )\). The first algebra is \(e_\rho {{\mathcal H}}e_\rho \) where the Hilbert product is
The second is
We fix a positive definite \({\mathcal K}\)-invariant form \(\langle ,\rangle _{\rho }\) on W and define a star operation \(a\mapsto a^*\) on \({\mathcal E}_\rho \) via
The inner product is \([~,~]_{E_\rho }\):
The same definitions apply to \({\mathcal E}_{\rho ^\vee }={\text {End}}_{\mathbb {C}}[W^\vee ].\) The transpose map \(a\rightarrow a^t\) defines an isomorphism of Hilbert algebras between \({\mathcal E}_\rho \) and \({\mathcal E}_{\rho ^\vee }\).
Finally, \({{\mathcal H}}(G,\rho )\) is also a Hilbert algebra with involution \(h\mapsto h^*\) defined by
and inner product
As in [14, §4.4], define the tensor product
and endow it with a Hilbert algebra structure by using the product star operation and the product inner product. For every pair \((h,a)\in {{\mathcal H}}(G,\rho )\times _{{\mathbb {C}}} {\mathcal E}_\rho \), define the function
Proposition 4.3
[14, Proposition 4.4] The assignment \((h,a)\mapsto f_{(h,a)}\) induces an isomorphism of normalized Hilbert algebras
In particular, we have a natural bijection between the unitary modules for the two algebras. Finally, the correspondence
is an equivalence of categories between \({{\mathcal H}}(G,\rho )\)-modules and \({{\mathcal H}}_W(G,\rho )\)-modules. Since W is a unitary \({\mathcal E}_\rho \)-module, this equivalence restricts to a natural bijection of unitary modules. Thus Proposition 4.3 together with (4.19) imply that the natural equivalence of categories between \(e_\rho {{\mathcal H}}e_\rho \)-modules and \({\mathcal H}(G,\rho )\)-modules induces a bijection of unitary modules. Hence Corollary 1.3 follows from Theorem 1.1.\(\square \)
5 Rigid types
We retain the notation from Sect. 3.
5.1 Higher depth rigid types
Let I be an Iwahori subgroup and \({\mathcal K}\) a compact open subgroup.
Proposition 5.1
If \({\mathcal K}\subset I\) and \(\rho \) is an irreducible representation of \({\mathcal K}\), then \(({\mathcal K},\rho )\) is rigid.
Proof
Let \({\mathcal P}_{\max }\) be the set of maximal compact open subgroups (maximal parahoric subgroups) containing I. Since \({\mathcal P}_{\max }\) provide a complete set of representatives for the G-conjugacy classes of maximal compact open subgroups of G, the natural map
is surjective and therefore
is surjective. Since \({\mathcal K}\subset K\) for every \(K\in {\mathcal P}_{\max }\), this shows that \(({\mathcal K},\rho )\) is rigid in the sense of Definition 3.9. \(\square \)
Corollary 5.2
A Moy–Prasad unrefined minimal K-type of positive level is rigid.
Proof
This is immediate from Proposition 5.1. \(\square \)
By [15, Proposition 5.3], every Moy–Prasad unrefined minimal K-type of positive level is a Bushnell–Kutzko type. This proves Theorem 1.2 for irreducible G-representations which contain a Moy–Prasad type of positive level. By [35, Theorem 5.2], if that is not the case, then the irreducible G-representation contains a level zero type.
5.2 Level zero types
We now look at the case of level zero types [32,33,34]. We refer to the loc. cit. for the necessary structural results from Bruhat–Tits theory, in particular, about parahoric subgroups. Fix an Iwahori subgroup I, and recall the Bruhat decomposition
where W is the Iwahori–Weyl group and \(\dot{w}\) is a representative in G of w. Let \(\Pi \) be the set of affine simple roots defined by I and \(W'\) the affine Weyl group. We have \(W=W'\rtimes \Omega \), where \(\Omega \) can be identified with the subgroup of W of elements of length zero. Let \(P\supseteq I\) be a parahoric subgroup. It corresponds to a subset \(J\subsetneq \Pi \) and we write \(P=P_J\) to emphasize this relation. Let \(W_J\) denote the (finite) subgroup of W generated by the reflections \(s_{\alpha }\), \({\alpha }\in J\). There is a one-to-one correspondence
Define
The set W(J) is a subgroup of W.
Definition 5.3
A level zero type is a pair \((P,\rho )\), where \(P=P_J\) is a parahoric subgroup and \(\rho \) is a representation of \(P_J\) inflated from a cuspidal representation of the finite reductive quotient \(M_J\) of \(P_J\).
The main result of [33] is a description of the \(\rho \)-spherical Hecke algebra \({{\mathcal H}}(G,\rho )\). The starting essential observation [33, Theorem 4.15] is that a coset \(P\dot{w} P\), with w of minimal length in \(W_J w W_J\), supports a nonzero element of \({{\mathcal H}}(G,\rho )\) only if
Set
The element \(\dot{w}\) is compact if and only if w has finite order in W. Therefore the compact cocenter of \({{\mathcal H}}(G,\rho )\) (respectively, of \(e_\rho {{\mathcal H}}(G) e_\rho \)) is generated by elements (respectively, functions) supported on cosets
Suppose \(P_J\dot{w} P_J\) is such a coset. Since \(w\in N_W(W_J)\) and w has finite order, the subgroup \(\langle w, W_J\rangle \) of W is finite. By the Bruhat–Tits fixed point theorem [17, (3.2.4)], there exists a subset \(J'\subsetneq \Pi \) with \(J\subseteq J'\) and \(\Omega '\) a finite subgroup of \(\Omega \) such that \(\langle w, W_J\rangle \subset W_{J'}\rtimes \Omega '\). Set
This is a compact open subgroup of G and \(P_J\subset K_{J'},\ P_J\dot{w} P_J\subset K_{J'}.\) This proves:
Proposition 5.4
Every level zero type \((P,\rho )\) is rigid.
Notice that now the proof of Theorem 1.2 is completed.\(\square \)
As shown in [33, §7.3], the group \(W(\rho )\) can be decomposed canonically as
where \(R(\rho )\) is 1 if \(|\Pi {\setminus } J|=1\), and when \(|\Pi {\setminus } J|\ge 2\), \(R(\rho )\) is an affine Weyl group generated by a certain finite set of simple reflections \(S(\rho )\). Let \(\Delta \) be the set of simple affine roots corresponding to \(S(\rho )\) and denote by \(v_a\in S(\rho )\) the reflection corresponding to \(a\in \Delta \). The only property that we need to record about \(S(\rho )\) is that each element of \(S(\rho )\) lies in a \(W_K\) where \(J\subsetneq K\). Let \(\mu : W(\rho )\times W(\rho )\rightarrow {\mathbb {C}}^\times \) be the 2-cocycle computed in [33, §7.11]. It has the following properties [33, Lemma 6.2, Lemma 7.11]:
Theorem 5.5
The algebra \({{\mathcal H}}(G,\rho )\) has a basis given by elements \(T_w\), \(w\in W(\rho )\), where \(T_w\) is supported on the coset \(P\dot{w} P\), subject to the following relations. Let \(w\in W(\rho )\), \(t\in C(\rho )\), \(v_a\in S(\rho )\), \(a\in \Delta \). Then:
-
(1)
\(T_w T_t=\mu (w,t) T_{wt}\); \(T_t T_w=\mu (t,w) T_{tw}\).
-
(2)
\(T_{v_a}T_w={\left\{ \begin{array}{ll}T_{v_a w},&{}\quad \text {if } w^{-1}(a)>0,\\ p_a T_{v_a w}+(p_a-1)T_w,&{}\quad \text {if }w^{-1}(a)<0.\end{array}\right. }\)
-
(3)
\(T_{w}T_{v_a}={\left\{ \begin{array}{ll}T_{wv_a},&{}\quad \text {if } w(a)>0,\\ p_a T_{wv_a}+(p_a-1)T_w,&{}\quad \text {if }w(a)<0.\end{array}\right. }\)
Here \(p_a\ne 1\) are certain nonnegative powers of the residual characteristic.
In other words, \({{\mathcal H}}(G,\rho )\) is the smash-product of an affine Hecke algebra with a twisted group algebra. This means that classification of unitary representations of level zero of the p-adic group G is equivalent with the classification of the unitary dual of the Hecke algebras in Theorem 5.5. When G is adjoint and \(\rho \) is unipotent, Lusztig [32] gives a complete description of \({{\mathcal H}}(G,\rho )\). In that case, the cocycle \(\mu \) is trivial, and \({{\mathcal H}}(G,\rho )\) is an affine Hecke algebra with unequal parameters.
Remark 5.6
When the cocycle \(\mu \) is trivial, an explicit description of the cocenter and compact cocenter of \({{\mathcal H}}(G,\rho )\) is available by [18, 25].
5.3 Inner forms of GL(n)
Suppose now that \(G=GL(n,F)\) or one of its inner forms and that \(({\mathcal K},\rho )\) is a type of G. In this case, there exists a unique conjugacy class of maximal compact open subgroups. Let \(K_0\) denote a representative of the class. Without loss of generality, we may assume that \({\mathcal K}\subseteq K_0.\) Since every element in \(\overline{{{\mathcal H}}}_c(G)\) is represented by a function supported on \(K_0\), \(({\mathcal K},\rho )\) is trivially rigid.
Example 5.7
If \(G=GL(m,D)\), where D is a \(d^2\)-dimensional central division F-algebra, \(n=md\), we know a complete list of \(\mathfrak s\)-types, \(\mathfrak s\in \mathcal B(G)\), by the work of [13] (for GL(n, F)) and [41] (in general). All of these \(\mathfrak s\)-types are rigid by the previous paragraph.
References
Arthur, J.: On elliptic tempered characters. Acta Math. 171(1), 73–138 (1993)
Adams, J., van Leeuwen, M., Trapa, P., Vogan Jr., D.A.: Unitary representations of real reductive groups. Preprint arXiv:1212.2192v5
Barbasch, D., Ciubotaru, D.: Unitary equivalences for reductive \(p\)-adic groups. Am. J. Math. 135(6), 1633–1674 (2013)
Barbasch, D., Moy, A.: A unitarity criterion for \(p\)-adic groups. Invent. Math. 98(1), 19–37 (1989)
Barbasch, D., Moy, A.: Reduction to real infinitesimal character in affine Hecke algebras. J. Am. Math. Soc. 6(3), 611–635 (1993)
Bernstein, J.: Representations of Reductive \(p\)-Adic Groups. Lectures Notes by K. Harvard University, Rummelhart (1992)
Bernstein, J., Deligne, P.: Le “centre” de Bernstein, in Represéntations des groupes reductifs sur un corps local. Hermann, Paris (1985)
Bernstein, J., Deligne, P., Kazhdan, D.: Trace Paley–Wiener theorem for reductive \(p\)-adic groups. J. d’Analyse Math. 47, 180–192 (1986)
Bezrukavnikov, R.: Homological properties of representations of \(p\)-adic groups related to geometry of the group at infinity. Ph.D. thesis, Tel Aviv University (1998)
Blanc, P., Brylinski, J.-L.: Cyclic homology and the Selberg principle. J. Funct. Anal. 109, 289–330 (1992)
Borel, A.: Admissible representations of a semi-simple group over a local field with vectors fixed under an Iwahori subgroup. Invent. Math. 35, 233–259 (1976)
Bushnell, C., Kutzko, P.: Smooth representations of reductive p-adic groups: structure theory via types. In: Proceedings on London Mathematical Society (3), vol. 77, no. 3, pp. 582–634 (1998)
Bushnell, C., Kutzko, P.: Semisimple types in \(GL_n\). Compos. Math. 119(1), 53–97 (1999)
Bushnell, C., Henniart, G., Kutzko, P.: Types and explicit Plancherel formulae for reductive p-adic groups. On certain L-functions. In: Clay Mathematics Proceedings, vol. 13, pp. 55–80. American Mathematical Society, Providence (2011)
Bestvina, M., Savin, G.: Bounded contractions for affine buildings. Preprint arXiv:1708.03707
Borel, A., Wallach, N.: Continuous Cohomology, Discrete Subgroups, and Representations of Reductive Groups. Mathematical Surveys and Monographs, vol. 67, 2nd edn. American Mathematical Society, Providence (2000)
Bruhat, F., Tits, J.: Groupes réductifs sur un corps local, I, Données radicielles valuées. Publ. Math. Inst. Ht. Études Sci. 41, 5–251 (1972)
Ciubotaru, D., He, X.: Cocenters and representations of affine Hecke algebras. J. Eur. Math. Soc. 19(10), 3143–3177 (2017)
Ciubotaru, D., He, X.: Cocenters of p-adic groups, III: rigid and elliptic cocenters. Preprint, arXiv:1703.00378.v2
Dat, J.-F.: On the \(K_0\) of a \(p\)-adic group. Invent. Math. 140(1), 171–226 (2000)
Dat, J.-F.: Quelques propriétés des idempotents centraux des groupes \(p\)-adiques. J. Reine Angew. Math. 554, 69–103 (2003)
Harish-Chandra, Admissible Invariant Distributions on Reductive p-Adic Groups, Preface and Notes by Stephen DeBacker and Paul J. Sally Jr., University Lecture Series, vol. 16, xiv+97 p. American Mathematical Society, Providence (1999). ISBN:0-8218-2025-7
Henniart, G., Lemaire, B.: La transformée de Fourier pour les espaces tordus sur un groupe réductif p-adique. Astérisque No. 386 (2017)
R. Howe, with the collaboration of A. Moy, Harish-Chandra Homomorphisms for p-Adic Groups. In: CBMS Regional Conference Series in Mathematics, vol. 59. American Mathematical Society, Providence (1985)
He, X., Nie, S.: Minimal length elements of extended affine Weyl groups. Compos. Math. 150(11), 1903–1927 (2014)
Iwahori, N., Matsumoto, H.: On some Bruhat decomposition and the structure of the Hecke rings of p-adic Chevalley groups. Inst. Ht. Études Sci. Publ. Math. 25, 5–48 (1965)
Kazhdan, D.: Representations of groups over close local fields. J. Anal. Math. 47, 175–179 (1986)
Kazhdan, D.: Cuspidal geometry of \(p\)-adic groups. J. Anal. Math. 47, 1–36 (1986)
Kazhdan, D., Lusztig, G.: Proof of the Deligne–Langlands conjecture for Hecke algebras. Invent. Math. 87(1), 153–215 (1987)
Knapp, A.: Representation Theory of Semisimple Groups. An Overview Based on Example. Reprint of the 1986 Original. Princeton Landmarks in Mathematics. Princeton University Press, Princeton (2001)
Lusztig, G.: Affine Hecke algebras and their graded version. J. Am. Math. Soc. 2, 599–635 (1989)
Lusztig, G.: Classification of unipotent representations of simple p-adic groups. Int. Math. Res. Not. 11, 517–589 (1995)
Morris, L.: Tamely ramified intertwining algebras. Invent. Math. 114, 1–54 (1993)
Morris, L.: Level zero \(G\)-types. Compos. Math. 118(2), 135–157 (1999)
Moy, A., Prasad, G.: Jacquet functors and unrefined minimal \(K\)-types. Commun. Math. Helv. 71, 98–121 (1996)
Moy, A., Tadić, M.: Some algebras of essentially compact distributions of a reductive p-adic group. In: Harmonic Analysis, Group Representations, Automorphic Forms and Invariant Theory. Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, vol. 12, pp. 247–275. World Scientific Publishing, Hackensack (2007)
Schneider, P., Stuhler, U.: Representation theory and sheaves on the Bruhat–Tits building. Inst. Ht. Études Sci. Publ. Math. 85, 97–191 (1997)
Silberger, A.: The Langlands quotient theorem for \(p\)-adic groups. Math. Ann. 236(2), 95–104 (1978)
Silberger, A.: Discrete series and classification for \(p\)-adic groups. I. Am. J. Math. 103(6), 1241–1321 (1981)
Solleveld, M.: Periodic cyclic homology of reductive \(p\)-adic groups. J. Noncommut. Geom. 3(4), 501–558 (2009)
Sécherre, V., Stevens, S.: Smooth representations of \(GL_m(D)\) VI: semisimple types. Int. Math. Res. Not. 13, 2994–3039 (2012)
Vigneras, M.-F.: On formal dimensions for reductive p-adic groups. In: Festschrift in Honor of I. I. Piatetski-Shapiro on the Occasion of His Sixtieth Birthday, Part I (Ramat Aviv, 1989), Israel Mathematical Conference Proceedings, vol. 2, pp. 225–266. Weizmann, Jerusalem (1990)
Vogan Jr., D.A.: Unitarizability of certain series of representations. Ann. Math. (2) 120(1), 141–187 (1984)
Acknowledgements
I am grateful to Xuhua He for many discussions about the cocenter and the trace Paley–Wiener Theorem. In fact, some of the ideas in this paper originate with the case of the Iwahori component sketched in [18, Appendix]. I thank Guy Henniart for pointing out a gap in an argument in a previous version of the paper; this motivated the introduction of the notion of rigid type. I also thank the referee for many helpful suggestions which led to the improvement of the paper. The results of this paper were presented during the special program on representation theory of reductive groups at the Weizmann Institute, Israel, in June 2017. I thank the organizers for the invitation to attend this excellent workshop and for the support provided by the Weizmann Institute during my stay. This research was supported in part by the EPSRC Grant EP/N033922/1(2016).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ciubotaru, D. Types and unitary representations of reductive p-adic groups. Invent. math. 213, 237–269 (2018). https://doi.org/10.1007/s00222-018-0790-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-018-0790-4