Dirac induction for unimodular Lie groups (Q5961814)

The paper makes steps toward the proof of the following \textit{Conjecture} [see \textit{G. G. Kasparov}, Sov. Math., Dokl. 27, 105-109 (1983); translation from Dokl. Akad. Nauk SSSR 268, 533-537 (1983; Zbl 0526.22007)]. Each irreducible square-integrable representation of a connected unimodular Lie group \(G\) can be realized on the kernel of the closure of the operator NEWLINE\[NEWLINE D_\pi=D_\pi^+\oplus D^-_\pi: L^2(V^+_\pi \oplus V^-_\pi) \rightarrow L^2(V^-_\pi \oplus V^+_\pi), NEWLINE\]NEWLINE where \(\pi\) is an irreducible representation of the group \(G_K\), \(V^{\pm}_\pi\) are the homogeneous vector bundles over \(G/G_K\) associated with the spinor representations \(S^\pm\) and the \(G_K\)-module \(\pi\), and \(D_\pi\) is the Dirac operator associated with \(\pi\). Moreover, either \({\text{ Ker}} D_\pi^-=0\) or \({\text{ Ker}} D^+_\pi=0\). The paper under review argues that ``according to a theorem of \textit{Anh Anh, Nguyen Huu} [Ann. Math., II. Ser. 104, 431-458 (1976; Zbl 0359.22007)], the class of all connected unimodular Lie groups having square-integrable irreducible representations modulo their centers is not much more general than the set of groups \(N \ltimes G\), the semi-direct product of a reductive Lie group \(G\), and a nilpotent Lie group \(N\) having square-integrable representations modulo its center \(Z\), and \(G\) acts on \(Z\) trivially''. Furthermore the author restricts consideration to the case that \(G\) is a semisimple Lie group with a maximal compact subgroup \(K\), with \({\text{ rank}} K= {\text{ rank}} G\), and \(Z\) is central in \(N \ltimes G\). The described semi-direct products are studied by combining results and methods obtained separately for nilpotent and semisimple Lie groups, which are principal components of the mentioned semi-direct products. For semisimple Lie groups this was done by \textit{M. F. Atiyah} and \textit{W. Schmid} in a series of papers [Harmonic analysis and representations of semisimple Lie groups, Lect. NATO Adv. Study Inst., Liege 1977, 317-378, 379-383 (1980; Zbl 0466.22012, 466.22013); Invent. Math. 42, 1-62 (1977; Zbl 0373.22001); 54, 189-192 (1979; Zbl 0413.22009)] and for nilpotent Lie groups by \textit{A. Connes} and \textit{H. Moscovici} [Ann. Math., II. Ser. 115, 291-330 (1982; Zbl 0515.58031)]. The paper under review extends many results from these papers to the case of the above mentioned semi-direct products. Finally the Conjecture is proved for the semi-direct product \({\mathbb{H}}^n \ltimes {\mathbb{S} p}(n, {\mathbb{R}})\) of the Heisenberg group \({\mathbb{H}}^n\) and the symplectic group \({\mathbb{S} p}(n, {\mathbb{R}})\).