Compression semigroups of open orbits in complex manifolds (Q1915862)

Let \(G\subseteq G_\mathbb{C}\) be a real form of a complex group, let \(M= G_\mathbb{C}/ P\) be a complex homogeneous space, and suppose that the \(G\)-orbit \({\mathcal O}\) of the base point is open. The compression semigroup of \({\mathcal O}\) is defined by \[ S(P):= \{g\in G_\mathbb{C}: gGP \subseteq GP\}= \{g\in G_\mathbb{C}: g.{\mathcal O} \subseteq {\mathcal O}\}. \] The interesting non-trivial case that \(S(P)\neq G_\mathbb{C}\) and \(S(P)\) has non-empty interior occurs precisely when \(P\cap P_k\) or \(P\cap \overline {P}_k\) contains a Borel subgroup, where \(P_k\) denotes one of the two maximal parabolic subgroups containing the complexification \(K_\mathbb{C}\), where \(K\) is the maximal compact subgroup of \(G\). In this case \(S(P)= S(P_k)\) or \(S(P)= S(\overline {P}_k )^{-1}\) respectively. In addition to this description of the non-trivial compression semigroups of open \(G\)-orbits, the authors also characterize the existence of non-trivial compression semigroups in terms of the projective realizations of the flag manifolds. Extensions of these results to more general groups which are not assumed to be semisimple are also given.