No label defined (Q4029508)

This paper is devoted to a study of Harish-Chandra modules for a connected non-compact semisimple Lie group \(G\) with one conjugacy class of Cartan subgroups. The authors describe their goal in the paper as consisting in showing ``that the standard principal series modules for \(G\) behave exactly like generalized Verma modules in a category \(O_p\) of highest weight modules associated to a complex Lie algebra \(\mathfrak g\) and a parabolic subalgebra \(\mathfrak p\); moreover this analogous behavior is to be understood as resulting from the existence of Harish-Chandra modules of \(G\) which play the same role as projective modules for \(O_p\). In addition, we will raise some questions and offer some negative answers which show why better results cannot be obtained.'' (From the introduction) The main result of the paper is the following Theorem: Let \(G\) be a connected noncompact semisimple Lie group with one conjugacy class of Cartan subgroups. Assume that all \(\delta \in {\mathcal D}\) are of \(\mathcal O\)-type. (i) For each \(\gamma \in {\mathcal D}\) there exists a pseudo- projective cover \(P(\gamma)\) of \(L(\gamma)\), occurring as a direct summand of \(\theta M (\delta_{\max})\) for a suitable composition \(\theta\) of translation functors, (ii) \(P(\gamma)\) is self-dual if and only if \(\gamma\) is socular, in which case \(P(\gamma)\) has Loewy length \(2llM (\delta_{\max}) - 1\). Here \({\mathcal D}\) is a finite set in one-to-one correspondence with the set of isomorphism classes of irreducible Harish-Chandra modules determined by the generalized infinitesimal character of a fixed finite dimensional representation of \(G\). In the category of Harish-Chandra modules with this generalized infinitesimal character there exists for each \(\delta \in {\mathcal D}\) the standard module \(M(\delta)\) which admits a unique irreducible quotient \(L(\delta)\). The set \(\mathcal D\) has a natural partial order and \(\delta_{\max}\) is its unique maximal element. Analogous results for the category \(O_p\) were established in the papers of the second author in [Trans. Am. Math. Soc. 291, 701-732, 733-754 (1985; Zbl 0594.17005)]. For the entire collection see [Zbl 0784.00017].