Finite multiplicity theorems for induced representations of semisimple Lie groups. I (Q810646)

This article, the first one in a series of two (cf. the following review Zbl 0734.22005), is concerned with the problem of estimating multiplicities of irreducible representations of a connected semisimple Lie group with finite center G in certain of its induced representations. The author's aim is to establish such estimates, and especially to prove that certain induced representations contain an arbitrary irreducible representation with finite multiplicity (this is called in the paper the finite multiplicity property of a given representation), in a manner which unifies various preceding results and which is also applicable in a wider context of the representation theory of such groups. In an ample summary of the contents of the paper given in the introduction the author points up to a variety of known results related to finite multiplicity theorems. These begin with the classical results of Harish-Chandra giving estimates for multiplicities of K-irreducible representations in the restrictions to K of irreducible representations of G, where K is the maximal compact subgroup of G, continuing with subsequent generalizations by \textit{E. van den Ban} [Ark. Mat. 25, 175-187 (1987; Zbl 0645.43009)] and finally to the estimates given by \textit{M. Hashizume} [Hiroshima Math. J. 12, 259-293 (1982; Zbl 0524.43005)] of the dimension of spaces of Whittaker functions. We quote one of the main results of the paper. One denotes by \(P_ 1=LN\) a Levi decomposition of a parabolic subgroup \(P_ 1\) of G, by \(\theta\) a Cartan involution of G such that \(L=P_ 1\cap \theta P_ 1\) and by K the fixed point group of \(\theta\). Let \(\sigma\) be an involutive automorphism of L which commutes with \(\theta| L\) and coincides with \(\theta\) on the split component A of L. Let H be a closed subgroup of the fixed point subgroup \(L_{\sigma}\) of \(\sigma\) containing the identity component of \(L_{\sigma}\). Extend the Lie algebra \({\mathfrak a}\) of A to a maximal abelian subspace \({\mathfrak a}_{pq}\) in \({\mathfrak p}\cap {\mathfrak q}\). Finally let \(M_{kh}\) denote the centralizer of \({\mathfrak a}_{pq}\) in \(K\cap H\), let \(\zeta\) be a continuous representation of the semidirect product HN and let \(\pi_{\zeta}\) be the induced representation of G. Then the author proves that \(\pi_{\zeta}\) has the finite multiplicity property if so does the restriction \(\zeta | M_{kh}\) of \(\zeta\) to the compact subgroup \(M_{kh}:\) \(I_{M_{kh}}(\mu,\zeta)=\dim Hom_{M_{kh}}(\mu,\zeta)<\infty\) for any irreducible finite dimensional representation \(\mu\) of \(M_{kh}\).