Classification of discretely decomposable \(A_{\mathfrak q}(\lambda)\) with respect to reductive symmetric pairs (Q456791)

Let \(G\) be a connected real reductive Lie group with Lie algebra \(\mathfrak g\) and its complexification \(\mathfrak g_{\mathbb {C}}\). If \(\sigma\) is an involutive automorphism of \(G\) and \(G^\sigma=\{g;\;\sigma\,g = g\}\), then \((G,G^\sigma)\) forms a reductive symmetric pair, and if \(\theta\) is a Cartan involution of \(G\) which commutes with \(\sigma\), then \(K=G^\theta\) and \(K^\sigma= K\cap G^\sigma\) are maximal compact subgroups of \(G\) and \(G^\sigma\), respectively. The Cartan decompositions are denoted by \(\mathfrak g = \mathfrak t + \mathfrak p\) and \(\mathfrak g^\sigma =\mathfrak t^\sigma + \mathfrak p^\sigma\). A \((\mathfrak g, K)\)-module \(V\) is said to be discretely decomposable if there exists an increasing filtration \(\{V_n\}\) such that \(V =\bigcup_{n=0}^\infty V_n\) and each \(V_n\) is of finite length as a \((\mathfrak g, K)\)-module. For a reductive Lie group \(G\), the authors consider branching problems in the category of \((\mathfrak g, K)\)-modules. If the underlying \((\mathfrak g, K)\)-module \(\pi_K\) is discretely decomposable as a \((\mathfrak g',K')\)-module, then the branching laws of the restrictions of the unitary representation \(\pi\) to \(G'\) and the \((\mathfrak g,K)\)-module \(\pi_K\) to \((\mathfrak g',K')\) are essentially the same. In this paper, the authors give a classification of the triples \((\mathfrak g,\mathfrak g^{\prime},\mathfrak q)\) such that Zuckerman's derived functor \((\mathfrak g,K)\)-module \(A_{\mathfrak q}(\lambda )\) for a \(\theta \)-stable parabolic subalgebra \(\mathfrak q\) is discretely decomposable with respect to a reductive symmetric pair \((\mathfrak g,\mathfrak g^{\prime})\). Also, the authors show that there exist irreducible symmetric pairs \((\mathfrak g, \mathfrak g\sigma)\) for which any non-trivial \(A_{\mathfrak q}(\lambda )\) is not discretely decomposable, and give their classification.