Spherical Homogeneous Varieties

• Spherical homogeneous varieties are normal G-homogeneous spaces with an open dense Borel orbit, generalizing toric and symmetric varieties.
• They are characterized by combinatorial invariants such as the weight lattice, valuation cone, and colors that encode their equivariant embeddings.
• Applications include equivariant compactifications, harmonic analysis, and representation theory, demonstrating their pivotal role in modern algebraic geometry.

A spherical homogeneous variety is a normal G-homogeneous space $X = G/H$ for a connected reductive algebraic group $G$ (over an algebraically closed field, or more generally over an arbitrary base), such that a Borel subgroup $B \subseteq G$ possesses an open dense orbit in $X$—that is, $B$ acts on $G/H$ with an open dense orbit. This fundamental class of varieties exhibits rich combinatorial and geometric structures, generalizing both toric and symmetric varieties, and serves as the basic object for the Luna–Vust theory of equivariant embeddings. Spherical homogeneous varieties are central in invariant theory, representation theory, and algebraic geometry.

1. Definition and Main Characterizations

Let $G$ be a connected reductive group, $H \subseteq G$ a closed (possibly non-reduced) subgroup, $B \subseteq G$ a Borel subgroup. The quotient $X^0 = G/H$ is called a spherical homogeneous variety if any of the following equivalent conditions holds:

• $G$0 acts on $G$1 with a dense open orbit ($G$2 is open in $G$3 for $G$4).
• $G$5 contains only finitely many $G$6-orbits.
• The field of rational functions $G$7 contains a free abelian group $G$8 of $G$9-eigenfunctions of full rank (i.e., $B \subseteq G$0 is a multiplicity-free $B \subseteq G$1-module).

Over arbitrary bases, the notion of sphericity extends to so-called spherical spaces: a $B \subseteq G$2-space $B \subseteq G$3 over a base scheme $B \subseteq G$4 is spherical if every geometric fiber $B \subseteq G$5 is a spherical $B \subseteq G$6-variety, i.e., normal, connected, separated, and $B \subseteq G$7-homogeneous with a dense open $B \subseteq G$8-orbit (Wedhorn, 2015).

2. Combinatorial Invariants: Weight Lattice, Valuation Cone, and Colors

The Luna–Vust theory classifies spherical homogeneous varieties and their equivariant embeddings through discrete combinatorial data:

• Weight lattice $B \subseteq G$9: the group of $X$0-weights for nonzero $X$1-eigenfunctions in $X$2, a free abelian group of rank $X$3. Explicitly,

$X$4

• Valuation cone $X$5: the convex rational polyhedral cone in $X$6 spanned by the images of all $X$7-invariant discrete valuations of $X$8. The cone $X$9 is strictly convex and of full rank (Tange, 2016, Knop, 2013, Timashev, 11 Nov 2025).
• Colors $B$0: the finite set of $B$1-stable, non-$B$2-stable prime divisors in $B$3 ("colors"). Each color $B$4 defines a vector $B$5 given by evaluating $B$6-eigenfunctions along $B$7 (Tange, 2016, Wedhorn, 2015, Kaveh et al., 2016).

These invariants fully encode the geometry of spherical homogeneous varieties and control their equivariant completions.

3. Classification of Equivariant Embeddings: Colored Fans

All normal $B$8-varieties $B$9 that contain a fixed spherical homogeneous open orbit $G/H$0 as an open dense $G/H$1-orbit and are themselves spherical are classified by colored fans:

• A colored cone is a pair $G/H$2, where $G/H$3 is a strictly convex rational cone generated by valuations corresponding to closures of $G/H$4-stable divisors and by $G/H$5 for colors $G/H$6 in a subset $G/H$7, subject to compatibility conditions.
• The set $G/H$8 records colors whose closures meet the closed $G/H$9-orbit of the embedding.
• A general $G$0-embedding is classified by a finite collection of compatible colored cones—i.e., a colored fan—covering a subcone of $G$1.

Over arbitrary fields (with Galois group $G$2), spherical embeddings are classified by $G$3-invariant colored fans (Wedhorn, 2015, Tange, 2016, Knop, 2013).

4. Structure Theory: Spherical Roots, Little Weyl Group, and Valuation Polyhedral Geometry

The spherical roots $G$4 are the primitive elements corresponding to codimension-one faces ("walls") of the valuation cone $G$5. These determine the combinatorial structure of $G$6:

• The little Weyl group $G$7 is the finite reflection group generated by orthogonal reflections $G$8 associated to each $G$9 (Knop, 2013).
• The valuation cone is a fundamental domain for this Weyl group: for $H \subseteq G$0, $H \subseteq G$1 is a single Weyl chamber for $H \subseteq G$2 (Knop, 2013).
• The root system $H \subseteq G$3 governs the distinguishing features of the G-orbit structure and its embeddings.

Dihedral angle constraints and localizations at colors and valuations further refine the structure, including a color-root compatibility dictated by the behavior of simple roots moving colors (Knop, 2013).

5. Geometric, Topological, and Cohomological Properties

Spherical homogeneous varieties and their embeddings manifest strong geometric and cohomological features:

• Frobenius Splittings: Every smooth toroidal embedding under mild conditions admits a Frobenius splitting compatible with all $H \subseteq G$4-stable subvarieties and, under further hypotheses, a $H \subseteq G$5-canonical splitting (Tange, 2016).
• Cohomology Vanishing: For projective spherical varieties and semi-ample line bundles, higher cohomology vanishes ($H \subseteq G$6 for $H \subseteq G$7), and restriction maps $H \subseteq G$8 are surjective if $H \subseteq G$9 is simple or $B \subseteq G$0 is irreducible (Tange, 2016).
• Resolutions: Any normal $B \subseteq G$1-embedding admits a $B \subseteq G$2-equivariant rational resolution by a smooth quasi-projective toroidal embedding (Tange, 2016).

Topologically, the orbit space $B \subseteq G$3 by a maximal compact $B \subseteq G$4 is canonically homeomorphic to the valuation cone $B \subseteq G$5, with the natural orbit-type stratification corresponding to the face stratification of $B \subseteq G$6 (Timashev, 11 Nov 2025).

6. Examples, Closure Properties, and Applications

Examples:

• Toric varieties ($B \subseteq G$7, $B \subseteq G$8) are spherical with $B \subseteq G$9 and colors trivial.
• Flag varieties ($X^0 = G/H$0) are spherical; $X^0 = G/H$1 is a point, and the Borel acts transitively on the dense Bruhat cell (Achinger et al., 2013).
• Reductive group embeddings, symmetric spaces $X^0 = G/H$2, and various products of flag varieties are all spherical in appropriate settings (Tange, 2016, Achinger et al., 2013).

Closure properties:

• The class of spherical homogeneous varieties is stable under parabolic induction and includes symmetric spaces for $X^0 = G/H$3 (Tange, 2016).
• Products such as $X^0 = G/H$4 are spherical in precisely determined cases (minuscule flag varieties, Stembridge classification) and have well-controlled Borel orbit closure properties, including normality and Cohen–Macaulayness for simply-laced groups (Achinger et al., 2013).

Applications extend to harmonic analysis on homogeneous spaces, equivariant compactifications, tropical and moment geometry, and multiplicity-free representation theory (Knop et al., 2013, Kaveh et al., 2016, Kaveh et al., 2015).

7. Real, Relative, and Arithmetic Aspects

In the real algebraic setting, a real spherical variety is a normal real $X^0 = G/H$5-variety on which a minimal parabolic subgroup $X^0 = G/H$6 has an open orbit. The local structure theorem establishes a canonical isomorphism for the open $X^0 = G/H$7-orbit as a fiber bundle $X^0 = G/H$8, factoring the geometry into parabolic, Levi, and "elementary spherical" components. This enables explicit classification of real orbits and their combinatorial invariants (Knop et al., 2013, Cupit-Foutou et al., 2019).

Under field extensions, sphericity is an open and closed condition in algebraic families; the set of points where the fiber is a spherical homogeneous space is both open and closed in the base (Wedhorn, 2015). Galois descent and classification over arbitrary fields is governed by colored fans invariant under the Galois group, with subtle examples even in the presence of inseparable subgroups (Wedhorn, 2015).

In summary, spherical homogeneous varieties comprise a robust class with a rich combinatorial, geometric, and arithmetic framework, underpinning much of the structure theory for reductive group actions on algebraic and analytic varieties.