Table of Contents
Fetching ...

K-stability of Q-Fano Spherical Varieties via Compatible Divisors

Renpeng Zheng

TL;DR

The paper develops a framework to compute the $G$-equivariant stability threshold for $\mathbb{Q}$-Fano spherical varieties using compatible divisors. By translating valuations into polytopal data through moment polytopes and Duistermaat–Heckman measures, it identifies a unique $G$-invariant anticanonical divisor $D^B_L$ that computes $\delta_G(L)$. The approach generalizes the toric case via compatible divisors and reduces K-stability questions to log canonical thresholds with respect to $D^B_L$. The results unify toric and spherical cases under the Abban–Zhuang philosophy and provide a practical criterion for K-(semi)stability in the spherical setting, independent of a priori linearization choices.

Abstract

We study the K-stability of $\mathbb{Q}$-Fano spherical varieties using compatible divisors. More precisely, if the $\mathbb{Q}$-Fano variety, with a reductive group action, has an open Borel subgroup orbit, then there is a unique anticanonical $\mathbb{Q}$-divisor computing the equivariant stability threshold. This $\mathbb{Q}$-divisor is invariant under the Borel subgroup action, and it characterizes the K-stability of a $\mathbb{Q}$-Fano spherical variety.

K-stability of Q-Fano Spherical Varieties via Compatible Divisors

TL;DR

The paper develops a framework to compute the -equivariant stability threshold for -Fano spherical varieties using compatible divisors. By translating valuations into polytopal data through moment polytopes and Duistermaat–Heckman measures, it identifies a unique -invariant anticanonical divisor that computes . The approach generalizes the toric case via compatible divisors and reduces K-stability questions to log canonical thresholds with respect to . The results unify toric and spherical cases under the Abban–Zhuang philosophy and provide a practical criterion for K-(semi)stability in the spherical setting, independent of a priori linearization choices.

Abstract

We study the K-stability of -Fano spherical varieties using compatible divisors. More precisely, if the -Fano variety, with a reductive group action, has an open Borel subgroup orbit, then there is a unique anticanonical -divisor computing the equivariant stability threshold. This -divisor is invariant under the Borel subgroup action, and it characterizes the K-stability of a -Fano spherical variety.
Paper Structure (15 sections, 19 theorems, 53 equations)

This paper contains 15 sections, 19 theorems, 53 equations.

Key Result

Corollary (A)

$X$ is K-semistable iff $D^T_X = D_1 + \dots + D_k$, where $D_1, \dots, D_k$ are the $T$-invariant prime divisors on $X$. That is, $D^T_X$ is identical to the standard choice of the anticanonical divisor for a toric variety.

Theorems & Definitions (60)

  • Corollary (A): c.f., \ref{['cor:tor:Kss']}
  • Theorem (B): c.f., \ref{['thm:sph']}
  • Remark
  • Remark (A)
  • Definition (B)
  • Definition (C)
  • Proposition (F): c.f., BJ_thre_val_kst
  • Remark
  • Remark
  • Definition (H)
  • ...and 50 more