Realization of representations of completely solvable Lie groups in spaces of \(L^ 2\) harmonic forms (Q2644779)

This is a continuation of the author's research on the cohomological construction of representations for solvable Lie groups [cf. Trans. Am. Math. Soc. 126, 33-51 (1980; Zbl 0464.22005), J. Funct. Anal. 64, 1-18 (1985; Zbl 0581.22011)]. Let G be a connected and simply connected completely solvable Lie group with Lie algebra \({\mathfrak g}\). Let \(\lambda\in {\mathfrak g}^*\) and let P be a totally complex, metric polarization which satisfies the complex Pukanszky condition for \(\lambda\). Then one defines a complex line bundle over the coadjoint G-orbit \(\Omega =G\cdot \lambda \subset {\mathfrak g}^*\). The bundle of (0,p) forms has a G-invariant Hermitian structure, and hence a Hilbert structure. Let \(\partial^ p\) be the usual anti- holomorphic differentiation on the space of (0,p) forms, and let \((\partial^{p+1})^*\) be its formal adjoint. Now we consider the space \({\mathfrak H}^ p\) of harmonic forms, which is defined as the kernel of the closure of \(\square^ p=\partial^{p-1}(\partial^ p)^*+(\partial^{p+1})^*\partial^ p\) in the space of \(L^ 2\)- sections. It turns out that the harmonic spaces can be quite bad for solvable Lie groups [cf. \textit{J. Rosenberg} and \textit{M. Vergne}: J. Funct. Anal. 62, 8-37 (1985; Zbl 0602.22008)]. Thus replacing the invariant measure on the orbit by a semi-invariant measure, the author proves, through elaborate studies and cohomology calculations, the following desirable results. Suppose that G is ad-algebraic over \({\mathbb{R}}\). There is a choice of semi- invariant measure on the orbit for which the space \({\mathfrak H}^ p\) of harmonic forms is nonzero for a unique p. The group G acts irreducibly on \({\mathfrak H}^ p\) and this action gives the irreducible representation of G corresponding to \(\Omega\) under the Kirillov mapping.