Classical symmetries of complex manifolds (Q848496)

The article under review presents a classification of complex manifolds \(X\) which admit an almost effective holomorphic action of a connected simple real Lie group \(G_0\) whose Lie algebra \(\mathfrak{g}_0\) is either a real form of \(\mathfrak{g}\in\{\mathfrak{sl}_k(\mathbb C), \mathfrak{sp}_k(\mathbb C), \mathfrak{so}_k(\mathbb C))\}\) (Type I) or is \(\mathbb R\)-isomorphic to \(\mathfrak{g}\) (Type II). For a reasonable classification, it is necessary to assume \(n:=\dim X \geq 2\), \(k-1\geq n\) for \(\mathfrak{g}\in\{\mathfrak{sl}_k(\mathbb C), \mathfrak{sp}_k(\mathbb C)\}\), \(k-2\geq n\) for \(\mathfrak{g}=\mathfrak{so}_k(\mathbb C)\). This implies already \(k-1=n\), resp., \(k-2=n\). Let \(G\) denote the universal complexification of \(G_0\). The anticanonical fibration \(Y\rightarrow \mathbb P^m\) of a non-trivial \(G_0\)-orbit \(Y\) can be extended to a \(G_0\)-equivariant locally biholomorphic map \(\psi: X\rightarrow \psi(X)=:U\subset\mathbb P^m\) which induces a morphism \(G\rightarrow \text{PSL}_{m+1}(\mathbb C)\). It is shown that \(U\) is a \(G_0\)-invariant open set of a \(G\)-orbit \(G/P\subset\mathbb P^m\) with \(P\) maximal parabolic. This yields \(G/P=\mathbb P^n\) or \(G/P=Q_n\), the hyperquadric in \(\mathbb P^{n+1}\). Studying case by case all possibilities for \(G_0\)-invariant open subsets in \(G/P\), the authors show that \(\psi\) is in fact an embedding. If \(\mathfrak{g}_0\) is of Type II, then \(X=G/P=\mathbb P^n\) for \(\mathfrak{g}_0 \simeq_{\mathbb R}\mathfrak{sl}_{n+1}(\mathbb C)\) or \(\mathfrak{g}_0\simeq_{\mathbb R} \mathfrak{sp}_{n+1}(\mathbb C)\), and \(X=G/P=Q_n\) for \(\mathfrak{g}_0 \simeq_{\mathbb R} \mathfrak{so}_{n+2}(\mathbb C)\) and \(n\geq 5\). For \(n=3\), both possibilities for \(X\in\{\mathbb P^3, Q_{3}\}\) occur. The case \(\mathfrak{g}_0\) of Type I is much more involved and the possible real forms \(\mathfrak{g}_0\) are treated case by case. The result is an explicit description of the finitely many biholomorphic types of \(X\) by \(\mathfrak{g}_0\)-invariant Hermitian forms.