Spherical subgroups of Kac-Moody groups and transitive actions on spherical varieties (Q526365)

Given a connected reductive complex algebraic group \(G\), a subgroup \(H\) of \(G\) is called spherical if a Borel subgroup of \(G\) has a dense orbit on \(G/H\), in which case \(G/H\) is called a spherical homogeneous space. The present paper aims at bringing the theory of spherical varieties to the infinite-dimensional setting of Kac-Moody groups. As a first step in this direction, the author introduces and studies spherical subgroups of finite type of a Kac-Moody group \(\mathcal G\): a subgroup \(\mathcal H\) of \(\mathcal G\) is said to be spherical of finite type if is contained in a parabolic subgroup \(\mathcal P \subseteq \mathcal G\) of negative sign such that \(\mathcal P\) has a finite-dimensional Levi subgroup \(L\), the group \(\mathcal P\) acts on \(\mathcal P /\mathcal H\) via a finite-dimensional quotient \(P\), and \(\mathcal P /\mathcal H\) is a (finite-dimensional) spherical variety under the action of \(L\). In this way, the ``symmetries'' of \(\mathcal G /\mathcal H\) given by the action of \(\mathcal G\) are essentially already encoded in the finite-dimensional variety \(\mathcal P/\mathcal H\) viewed as a spherical \(L\)-variety equipped with the additional automorphisms given by the unipotent radical of \(P\). The main results of the paper are the definition of a combinatorial object called the homogeneous spherical datum of \(\mathcal G /\mathcal H\), generalizing the one introduced by \textit{D. Luna} [Publ. Math., Inst. Hautes Étud. Sci. 94, 161--226 (2001; Zbl 1085.14039)] in the finite-dimensional setting in order to classify the spherical homogeneous spaces, and the proof that this datum satisfies the same combinatorial properties as in the finite-dimensional case. The author also shows that the homogeneous spherical datum is independent of the choice of \(\mathcal P\), and invariant under conjugation of \(\mathcal H\) in \(\mathcal G\).