Functors for unitary representations of classical real groups and affine Hecke algebras (Q555600): Difference between revisions

Let \(G_{\mathbb R}\) be one of the real classical groups \(\mathrm{GL}(n,\mathbb R)\), \(\mathrm{U}(p,q)\), \(\mathrm{Sp}(2n,\mathbb R)\), \(\mathrm{O}(p,q)\) \((p\geqslant q)\), let \(\mathfrak g_{\mathbb R} = \mathfrak k_{\mathbb R}\oplus\mathfrak p_{\mathbb R}\) be a Cartan decomposition of the Lie algebra \(\mathfrak g_{\mathbb R}\) of \(G_{\mathbb R}\), where \(\mathfrak k_{\mathbb R}\) is the Lie algebra of a maximal compact subgroup \(K_{\mathbb R}\) of \(G_{\mathbb R}\), and let \(\mathfrak a_{\mathbb R}\) be a maximal abelian subspace of \(\mathfrak p_{\mathbb R}\). The complexifications of \(\mathfrak g_{\mathbb R}\), \(K_{\mathbb R}\), and \(\mathfrak a_{\mathbb R}\) are denoted by \(\mathfrak g\), \(K\), and \(\mathfrak a\), respectively. Suppose that \(k\) is the dimension of \(\mathfrak a_{\mathbb R}\) (i.e., the real rank of \(G_{\mathbb R}\)), fix a choice of simple roots in the reduced part of the system \(\Phi\) of restricted roots of \(\mathfrak a_{\mathbb R}\) in \(\mathfrak g_{\mathbb R}\), let \(M_{\mathbb R}A_{\mathbb R}N_{\mathbb R}\) be the corresponding minimal parabolic subgroup of \(G_{\mathbb R}\) and \(W_{\mathbb R}\) the Weyl group of \(\Phi\). For each \(\nu \in \mathfrak a^*\), dominant with respect to the roots of \(\mathfrak a_{\mathbb R}\) in the Lie algebra \(\mathfrak n_{\mathbb R}\) of \(N_{\mathbb R}\), the \(G_{\mathbb R}\)-module of the spherical minimal principal series representation \({{\text{Ind}^{G_{\mathbb R}}_{M_{\mathbb R}A_{\mathbb R}N_{\mathbb R}}}}({\mathbf 1}\otimes \exp\nu\otimes{\mathbf 1})\) [\textit{A. W. Knapp}, Representation theory of semisimple groups. Princeton Mathematical Series, 36. Princeton, New Jersey: Princeton University Press. (1986; Zbl 0604.22001)] is denoted by \(X^{\mathbb R}_{\mathbf 1}(\nu)\) and, as \(\nu\) ranges over all suitably dominant elements of \(\mathfrak a^{*}\), its subquotients are the objects of the full subcategory \(\mathcal H\mathcal C_{\mathbf 1}(G_{\mathbb R})\) of the category \(\mathcal H\mathcal C(G_{\mathbb R})\) of Harish-Chandra \(G_{\mathbb R}\)-modules. Let \(H(G_{\mathbb R})\) be the graded affine Hecke algebra with parameters associated to \(G_{\mathbb R}\) [\textit{H. Oda}, Adv. Math. 208, No. 2, 549--596 (2007; Zbl 1154.22019)] and let \(H(G_{\mathbb R})\text{-mod}\) be the category of finite-dimensional unital left modules over \(H(G_{\mathbb R})\). With \(\nu\) as before, let \(X_{\mathbf 1}(\nu)\) be the \(H(G_{\mathbb R})\)-module \(H(G_{\mathbb R}){\otimes}_{S({\mathfrak a})}\mathbb C_{\nu}\), where \({\mathbb C}_{\nu}\) is the one-dimensional \(S(\mathfrak a)\)-module defined via \(\nu\). The authors prove the existence of an exact covariant functor \[ F_{\mathbf 1}: \mathcal H\mathcal C_{\mathbf 1}(G_{\mathbb R})\rightarrow H(G_{\mathbb R})\text{-mod} \] defined, on any object \(X\) of \(\mathcal H\mathcal C_{\mathbf 1}(G_{\mathbb R})\), by \(F_{\mathbf 1}(X) = {\text{Hom}}{}_{K}{}_{\mathbb R}(M_{\mu_0},X\otimes V^{\otimes k})\), where \(V\) is the \(G_{\mathbb R}\)-module of the defining representation and \(M_{\mu_0}\) is the \(K_{\mathbb R}\)-module of a character \(\mu_0\) such that \(\text{Hom}{}_{M}{}_{\mathbb R}(M_{\mu_0},V^{\otimes k})\simeq\mathbb C[W_{\mathbb R}]\) as \(W_{\mathbb R}\)-modules. This functor has the following properties:{\parindent 6mm\begin{itemize} \item[(1)] \(F_{\mathbf 1}(X^{\mathbb R}_{\mathbf 1}(\nu)) = X_{\mathbf 1}(\nu)\). \item [(2)] If \(X\) is an irreducible Hermitian spherical \((\mathfrak g,K)\)-module, then \(F_{\mathbf 1}(X)\) is an irreducible Hermitian spherical \(H(G_{\mathbb R})\)-module. \item [(3)] If, in addition to the hypotheses in (2), \(X\) is infinitesimally unitary, then so is \(F_{\mathbf 1}(X)\). \end{itemize}}