Effective actions of \(SU_n\) on complex \(n\)-dimensional manifolds (Q1425766): Difference between revisions

Let \(M\) be a complex manifold and Aut(\(M\)) the group of biholomorphic automorphisms of \(M\) equipped with the compact-open topology. An action of a Lie group \(G\) on \(M\) by biholomorphic transformations is a real-analytic map \(\Phi: G\times M\to M\), such that for every \(g\in G\) we have \(\Phi(g, \cdot)\in\) Aut(\(M\)), and the induced mapping \(\Psi: G\to\) Aut(\(M\)), \(g\mapsto\Phi(g,\cdot)\), is a homomorphism. The authors give a complete classification of complex \(n\)-dimensional manifolds that admit effective actions of the group \(SU_n\) by biholomorphic transformations for \(n\geq2\). The effectiveness of an action means that the map \(\Psi\) is injective. For an effective action, Aut(\(M\)) contains a subgroup isomorphic to \(SU_n\). The simplest case is considered when an action has a fixed point. In this case \(M\) is equivalent to either the unit ball \(B^n\subset\mathbb C^n\), or \(\mathbb C^n\), or \(\mathbb C\mathbb P^n\). The rest of the paper deals with actions without fixed points. Orbits of such actions are described. It turns out that every orbit is either a real or a complex hypersurface in \(M\). It is shown how orbits can be glued together. First, it is considered the case when all orbits are real hypersurfaces and shown that for \(n\geq3\) a manifold that admits such an action is equivalent to either a spherical shell in \(\mathbb C^n\), or a Hopf manifold, or the quotient of one of these manifolds by the action of a discrete subgroup of the center of \(U_n\). For \(n=2\), however, the situation is more interesting. Apart from the above manifolds the classification in this case also includes spherical shells in \(\mathbb C^2\) with a non-standard complex structure inherited from the non-standard complex structure on \(\mathbb C\mathbb P^2 \setminus\{0\}\). Next, it is considered the situation when at least one complex hypersurface orbit is present in \(M\) and shown that there can exist at most two such orbits. They are biholomorphically equivalent to \(\mathbb C\mathbb P^{n-1}\) and, for \(n\geq3\), can only arise as a result of either blowing up \(\mathbb C^n\) or a ball in \(\mathbb C^n\) at the origin, or adding the hyperplane \(\infty\in\mathbb C\mathbb P^n\) to the exterior of a ball in \(\mathbb C^n\), or blowing up \(\mathbb C\mathbb P^n\) at one point, or taking the quotient of any of these examples by the action of a discrete subgroup of the center of \(U_n\). For \(n=2\) the classification also includes the exterior of a ball in \(\mathbb C\mathbb P^2\setminus\{0\}\) with non-standard complex structure to which the hyperplane \(\infty\in\mathbb C\mathbb P^2\) is attached.