Table of Contents
Fetching ...

On the orbit space of a maximal compact subgroup on a spherical homogeneous variety

Dmitry A. Timashev

TL;DR

The paper addresses the topological structure of the orbit space $X/K$ for a spherical homogeneous variety $X=G/H$ under a maximal compact subgroup $K$, proving the homeomorphism $X/K \cong \mathcal{V}_X$. The authors employ a smooth projective toroidal compactification $\overline{X}$ and its invariant moment polytope $\mathcal{P}_{\overline{X}}$, together with the moment map $\Phi$ and Kirwan-type map $\Psi$, to connect orbit types with the face structure of the polytope via BLV-slices and satellite subgroups. They show that the orbit-type stratification on $X/K$ corresponds to the face stratification of $\mathcal{P}_{\overline{X}}$, while horospherical cases yield the full cone $\mathcal{V}_X$, and in general the stratifications can differ in refinement. The work thus provides a symplectic- and convex-geometry-based framework for understanding degenerations of $H$ and the $K$-orbit structure, with concrete examples illustrating both the reach and the limitations of the correspondence.

Abstract

Let $X=G/H$ be a spherical homogeneous variety for a complex reductive algebraic group $G$. We prove that the orbit space of $X$ under the action of a maximal compact subgroup $K\subset G$ is homeomorphic to the valuation cone of $X$. We also discuss the relation between the orbit type stratification of the orbit space and the face stratification of the valuation cone.

On the orbit space of a maximal compact subgroup on a spherical homogeneous variety

TL;DR

The paper addresses the topological structure of the orbit space for a spherical homogeneous variety under a maximal compact subgroup , proving the homeomorphism . The authors employ a smooth projective toroidal compactification and its invariant moment polytope , together with the moment map and Kirwan-type map , to connect orbit types with the face structure of the polytope via BLV-slices and satellite subgroups. They show that the orbit-type stratification on corresponds to the face stratification of , while horospherical cases yield the full cone , and in general the stratifications can differ in refinement. The work thus provides a symplectic- and convex-geometry-based framework for understanding degenerations of and the -orbit structure, with concrete examples illustrating both the reach and the limitations of the correspondence.

Abstract

Let be a spherical homogeneous variety for a complex reductive algebraic group . We prove that the orbit space of under the action of a maximal compact subgroup is homeomorphic to the valuation cone of . We also discuss the relation between the orbit type stratification of the orbit space and the face stratification of the valuation cone.

Paper Structure

This paper contains 4 sections, 13 theorems, 59 equations.

Key Result

Theorem 1

Suppose that the maximal compact subgroup $K$ is chosen (in its conjugacy class) in such a way that $K\cap H$ is a maximal compact subgroup in $H$. Then there exists a real linear representation $K\cap H\to\mathrm{GL}(E)$ and a $K$-equivariant diffeomorphism where the right-hand side of the formula is an equivariant vector bundle with the typical fiber $E$ over the compact homogeneous variety $K/

Theorems & Definitions (32)

  • Theorem 1: fiber.Klein.I, fiber.hom, fiber.Klein.II
  • Corollary 2
  • Remark 3
  • Remark 4
  • Theorem 5: LV, hom-emb
  • Theorem 6: moment
  • Theorem 7
  • Corollary 8: amoebae
  • Proposition 9
  • proof
  • ...and 22 more