Multiplicity-free complex manifolds (Q1812921)

In the theory of Hamiltonian actions of a Lie group on a symplectic manifold, there is a distinguished case, called noncommutative complete integrability by \textit{A. S. Mishchenko} and \textit{A. T. Fomenko} [Funct. Anal. Appl. 12, No. 2, 113-121 (1978; Zbl 0405.58028)], and coisotropic action by the authors: it is the case when the orbits (or at least generic orbits in a certain sense) of the group action are coisotropic submanifolds. \textit{V. Guillemin} and \textit{S. Sternberg} [J. Differ. Geom. 19, No. 1, 31-56 (1984; Zbl 0548.58017)] have stressed the relations of that case with multiplicity-free representations of a Lie group in a Hilbert space. On the other hand, let \(G=K^ C\) be a connected complex linear algebraic reductive group, and \(H\) an algebraic subgroup. In the distinguished case when a Borel subgroup \(B\) of \(G\) has an open orbit in \(\Omega=G/H\), the space \(\Omega\) is said to be a spherical homogeneous space [\textit{M. Brion}, \textit{D. Luna} and \textit{Th. Vust}, Invent. Math. 84, No. 3, 617- 632 (1986; Zbl 0604.14047)]. In such a case, if \(G\) acts on an irreducible algebraic variety by an algebraic action in such a way that \(\Omega\) is an open orbit, \(X\) is called a spherical embedding of \(\Omega\). In this paper the authors consider a Kähler-Poisson action of a connected compact Lie group \(K\) on a connected compact Kähler manifold \(X\). They prove that the two above-mentioned distinguished cases (coisotropic action from the point of view of symplectic geometry, and spherical embedding from the point of view of algebraic geometry) are equivalent: the \(K\)-action on \(X\) is coisotropic if and only if \(X\) is projective algebraic, \(K^ C\)-almost homogeneous and a spherical embedding of the open \(K^ C\)-orbit. The authors also indicate several interesting statements equivalent to the coisotropic action condition of a compact connected Lie group \(K\) on a connected symplectic manifold \((M,\omega)\) (the Lie-Poisson algebra of invariant functions on \(M\) is abelian, \(M\) is a spherical \(K\)-space) or following from that conditions (the momentum map locally separates orbits), and to the spherical embedding condition. In the last section, the authors use their equivalence theorem to obtain conditions under which group representations in spaces of holomorphic functions or in spaces of sections of holomorphic line bundles are multiplicity-free.