Theta lifting for unitary representations with nonzero cohomology (Q757613)

Given a dual reductive pair \((G,G')\) inside \(Sp=Sp_{2n}({\mathbb{R}})\) in the sense of Howe the Weil representation provides a certain relation between the representation theory of \(G'\) and the one of G (more precisely, between the ones of the inverse images \(\tilde G'\) resp. \(\tilde G\) inside the metaplectic two-fold cover \(\tilde Sp\) of \(Sp\)). This paper analyses this local theta lifting between discrete series representations of \(\tilde G'\) and unitary representations of \(\tilde G\) with nonvanishing relative Lie algebra cohomology. It is shown in the case of irreducible type I reductive dual pairs that if the ``size'' of \(G'\) is not greater than that of G and \(\pi'\) is a sufficiently regular discrete series representation of \(\tilde G'\) then it has a nonzero theta lifting to \(\tilde G.\) This representation \(\theta(\pi')=\pi\) is a unitary one with nonzero cohomology. Varying \(\tilde G'\) one obtains a large collection of unitary representations of \(\tilde G\) with nonzero cohomology and, for \(G=SO(n,1)\) or \(SU(n,1)\), all of them. This local result can be used to construct global automorphic forms (via global theta lifting) which have cohomological significance, i.e. provide nontrivial cohomology classes for certain arithmetic cocompact subgroups of \(\tilde G.\) This is carried through by the author in a yet unpublished paper [Nonvanishing theorems for the cohomology of certain arithmetic quotients].