Homogeneous Kähler and Hamiltonian manifolds (Q532543)

The authors consider actions of reductive complex Lie groups \(G=K^{\mathbb C}\) on Kähler manifolds \(X\) such that the \(K\)-action is Hamiltonian and prove that the closures of the \(G\)-orbits are complex-analytic in \(X\). This is used to characterize reductive homogeneous Kähler manifolds in terms of their isotropy subgroups. Further, they show that such manifolds admit \(K\)-moment maps if and only if their isotropy groups are algebraic. In more detail: We say that \(X\) is a Hamiltonian \(G\)-manifold if \(X\) admits a \(K\)-invariant Kähler form such that the \(K\)-action on \(X\) is Hamiltonian with equivariant moment map \(\mu :X\to\mathfrak k^*\). If \(G\) is semisimple, then every Kähler manifold \(X\) on which \(G\) acts holomorphically is a Hamiltonian \(G\)-manifold. The first result of the paper is the following: \noindent Let \(X\) be a \(G\)-connected Hamiltonian \(G\)-manifold, where \(G\) is a complex reductive group. Then: (a) every \(G\)-orbit is locally subanalytic and in particular locally closed in \(X\); (b) the boundary of every \(G\) -orbit contains only \(G\)-orbits of strictly smaller dimension; (c) the closure of every \(G\)-orbit is complex-analytic in \(X\). Next, the authors show that the existence of a \(K\)-equivariant moment map \(\mu :X\to\mathfrak k^*\)implies that \(H\) is an algebraic subgroup of \(G\). The second result of the paper is the following: Let \(G\) be a connected complex reductive group and let \(H\) be a closed complex subgroup. If \(X=G/H\) is a Hamiltonian \(G\)-manifold, then \(H\) is an algebraic subgroup of \(G\). Finally, they characterize those closed complex subgroups \(H\) of \(G\) for which \(X=G/H\) admits a Kähler form. Let \(Z\) be the connected component of the center of \(G\) and \(S=G'\) be the commutator group. Then \(G=SZ\) and \(S\cap Z\) is finite. The result is the following: Let \(G\) be a reductive complex Lie group and \(H\subset G\) a closed complex subgroup. Then the manifold \(X=G/H\) admits a Kähler form if and only if \(S\cap H\subset S\) is algebraic and \(SH\) is closed in \(G\).