A valuative criterion of K-polystability

Basic Information

• Paper ID: 2406.06176
• Title: A valuative criterion of K-polystability
• Author: Linsheng Wang
• Classification: math.AG (Algebraic Geometry)
• Publication Date: June 2024, arXiv preprint
• Paper Link: https://arxiv.org/abs/2406.06176

Abstract

For any log Fano pair with torus action, this paper associates a computable invariant such that the pair is (weighted) K-polystable if and only if this invariant is greater than 1. As an application, the paper provides examples of Fano varieties that admit g-solitons for any weight function g.

Research Background and Motivation

Core Problem

K-stability theory is a central research area in modern algebraic geometry, first introduced by Tian and later algebraically reformulated by Donaldson. It serves as an algebraic condition for detecting the existence of Kähler-Einstein metrics on Fano manifolds.

Research Motivation

1. Computational Challenge: Although uniform K-stability is equivalent to K-stability, computing the delta invariant δ(X,Δ) or the reduced delta invariant δ^T_red(X,Δ) is extremely difficult in practice.
2. Theoretical Gap: While the Abban-Zhuang estimate can prove δ(X,Δ) > 1 in many cases, there is a lack of explicit results for computing or estimating the reduced delta invariant.
3. Practical Need: To test K-polystability, computable discriminating criteria are needed, and existing methods using Tian's alpha invariant and equivariant K-stability still have limitations.

Core Contributions

1. Main Theorem: Establishes a valuative criterion for K-polystability (Theorem 1.1), transforming the K-polystability problem into computing the delta invariant of specifically constructed triples (X_r, Δ_r, W^{X_r}_•).
2. Sharpness of Abban-Zhuang Estimate: Proves sharpness results for the Abban-Zhuang estimate (Theorem 3.2), providing theoretical foundations for understanding the precision of the estimate.
3. Equivalence under Almost Completeness: Establishes equivalence between K-polystability of the original pair and K-stability of the constructed pair under almost completeness conditions (Theorem 1.6).
4. Existence of g-solitons: As an application, proves that certain Fano threefolds (such as families №2.28, №3.14, and №2.23(a₀) from the Mori-Mukai list) admit g-solitons for any weight function g.

Detailed Methodology

Problem Setup

Given a log Fano pair (X,Δ) with torus T = ℊ_m^r action, construct a computable invariant to determine its K-polystability.

Core Construction (Construction 4.1)

Input: Log Fano pair (X,Δ) and torus action T ⊆ Aut(X,Δ) Output: Triple (X_r, Δ_r, W^{X_r}_•)

Construction Process:

1. Choose a basis {ξ₁, ⋯, ξᵣ} of N = Hom(ℊ_m, T)
2. For each ξᵢ, construct the corresponding torus divisor E_{ξᵢ}
3. Perform successive adjunction and refinement:
   • Start with (X₀, Δ₀) = (X, Δ)
   • For i = 1, ⋯, r, construct (Xᵢ, Δᵢ) via ⟨ξᵢ⟩-action
   • Each step preserves klt Fano type and equivariance

Technical Innovations

1. Isomorphism of Valuative Spaces: Utilize Lemma 2.17 to establish an isomorphism Val_{Xᵢ} × N(⟨ξᵢ⟩)ℝ → Val^{⟨ξᵢ⟩}{X_} that preserves logarithmic discrepancy properties.
2. Refinement of Multigraded Linear Systems: Through successive refinement of torus divisors, construct N × N^r-graded linear systems W^{X_r}_• that preserve base-type divisor correspondences.
3. Vanishing Condition of Futaki Invariant: The key assumption Fut|N = 0 ensures that A{X,Δ}(Xᵢ)/S(W^{X_}_•; Xᵢ) = 1.

Main Theorems

Theorem 1.1 (Main Result)

If T ⊆ Aut(X,Δ) is a maximal subtorus and Fut|_N = 0, then the log Fano pair (X,Δ) is K-polystable (K-semistable) if and only if $\delta(X_r, \Delta_{X_r}; W^{X_r}_\bullet) > (\geq) 1$

Theorem 3.2 (Sharpness of Abban-Zhuang Estimate)

If ord_F minimizes δ_{Z,T}(X,Δ; V_•), then $\frac{A_{X,\Delta}(F)}{S(V_\bullet; F)} = \delta_{Z,T}(X,\Delta; V_\bullet) \leq \inf_{Z' \to Z} \delta_{Z',T}(F, \Delta_F; W_\bullet)$

Theorem 1.6 (Almost Completeness Condition)

Assume Fut|N = 0 and the multigraded linear system W^{X_r}• is almost complete with respect to some ample divisor L. Then there exists an effective ℝ-divisor F such that (X,Δ) is K-polystable if and only if (X_r, Δ_r + F) is K-stable or K-polystable.

Application Examples

Existence of g-solitons on Fano Threefolds

Theorem 1.8: Let X be a Fano threefold from family №2.28 or №3.14 in the Mori-Mukai list, or X = X₀ be an optimal degeneration of a Fano threefold from family №2.23(a). Then X is g-weighted K-polystable for any weight function g: P → ℝ_{>0}.

Concrete Examples

1. Plane Conic (Example 4.6): For (ℙ², cQ) where Q is a smooth conic, K-polystability is equivalent to 0 ≤ c < 3/4.
2. Fano Threefolds №2.28 and №3.14 (Example 5.5): By constructing a cubic curve C on H ⊆ ℙ³, establish equivalence between g-weighted K-polystability and GIT-stability of C.

Technical Tools

Construction of Torus Divisors

For ξ ∈ N, construct the product test configuration: $(X_\xi, \Delta_{X_\xi}, L_\xi, \eta) = (X, \Delta, -(K_X + \Delta), (\xi, 1)) \times \mathbb{A}^1$

This induces special divisor values wt_ξ = c_ξ · ord_{E_ξ}, where E_ξ is the torus divisor with respect to T-action.

ξ-twisted Valuations

For T-invariant valuation v = v_{μ,ξ₀} and ξ ∈ N_ℝ, define the ξ-twist as v_ξ := v_{μ,ξ₀+ξ}.

Key property: If Fut|N = 0, then $S(v_\xi) = S(v) + \theta_\xi(v)$ where θ_ξ(v) = A{X,Δ}(v_ξ) - A_{X,Δ}(v).

Theoretical Significance and Impact

Computational Advantages

The advantage of Theorem 1.1 is that testing K-polystability only requires computing local delta invariants at points on a subvariety C_X(X_r) ⊆ X, without considering other T-invariant points.

Weight Insensitivity

Introduces the concept of "T-equivariant weight-insensitive K-polystability": a log Fano pair (X,Δ) is called T-equivariantly weight-insensitive K-polystable if for any weight function g on P(T), (X,Δ) is T-equivariantly g-weighted K-polystable.

Moduli Space Theory

These results provide examples for constructing non-trivial g-weighted K-moduli spaces, which are isomorphic to GIT-moduli spaces of plane cubics or biquadratic curves in ℙ¹ × ℙ¹.

Limitations and Future Directions

Main Restrictions

1. Futaki Invariant Vanishing Condition: The assumption Fut|_N = 0 may not hold in general cases, limiting the applicability of the method.
2. Torus Action Requirement: The method is specifically designed for cases with torus action and does not directly apply to general Fano varieties.

Future Research Directions

1. Generalization to Broader Cases: Investigate how to handle the case where Fut|_N ≠ 0.
2. Computational Algorithms: Develop effective algorithms for computing δ(X_r, Δ_r; W^{X_r}_•).
3. Further Applications: Find more examples of weight-insensitive K-polystable Fano varieties.

In-Depth Evaluation

Strengths

1. Theoretical Breakthrough: First provides a computable discriminating criterion for K-polystability, filling a theoretical gap.
2. Technical Innovation: Cleverly combines valuative theory, torus geometry, and K-stability theory.
3. Practical Applications: Provides concrete examples of Fano threefolds, demonstrating the practical utility of the theory.
4. Completeness: Forms a complete research chain from theoretical establishment to concrete applications.

Technical Contributions

1. Sharpness of Abban-Zhuang Estimate: Deepens understanding of the precision of existing estimates.
2. Construction Methods: Provides two methods for constructing (X_r, Δ_r, W^{X_r}_•).
3. Equivariant Theory: Develops valuative methods for equivariant K-stability.

Impact Assessment

This paper holds an important position in K-stability theory, providing new computational tools and theoretical frameworks for the field, and is expected to advance related research.

References

The paper cites important literature in the field, including:

• Tian's original work on K-stability
• Donaldson's algebraic reformulation
• Liu-Xu-Zhuang's finite generation theory
• Related work on Abban-Zhuang estimates
• Recent research on g-soliton existence