pith. sign in

arxiv: 2412.15725 · v2 · submitted 2024-12-20 · 🧮 math.AG

Non-proportional wall crossing for K-stability

Yuchen Liu , Chuyu Zhou This is my paper

Pith reviewed 2026-05-23 07:22 UTC · model grok-4.3

classification 🧮 math.AG
keywords K-stabilitywall crossinglog Fano pairsK-moduliGIT stabilitysemi-algebraic sets
0
0 comments X

The pith

K-stability admits a wall crossing theory when boundary divisors need not be proportional to the anticanonical class.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs a wall crossing framework for K-stability and K-moduli spaces that applies to log Fano pairs even when the boundary divisor has coefficients independent of the anticanonical divisor. It proves that any log bounded family of such pairs produces only finitely many distinct K-semistable domains among its fibers. When the volume is bounded below, these domains become semi-algebraic sets, which in turn yields a finite semi-algebraic chamber decomposition of the parameter space for wall crossing. In the one-boundary case the decomposition reduces to finitely many intervals. The same theory supplies a direct comparison between GIT stability and K-stability once the boundary coefficient is sufficiently small.

Core claim

The authors present a general wall crossing theory for K-stability and K-moduli of log Fano pairs whose boundary divisors can be non-proportional to the anti-canonical divisor. They prove that log bounded families admit only finitely many K-semistable domains, that these domains are semi-algebraic under a volume lower bound, and therefore that the parameter space admits a finite semi-algebraic chamber decomposition. For a single boundary divisor the chambers reduce to intervals, and the theory yields a comparison between GIT and K-stability for small boundary coefficients.

What carries the argument

The general wall crossing theory for K-stability of log Fano pairs with non-proportional boundaries, which partitions the coefficient space into K-semistable domains separated by walls.

If this is right

  • Only finitely many K-semistable domains appear in any log bounded family.
  • K-semistable domains are semi-algebraic sets once volume is bounded from below.
  • Wall crossing of K-moduli spaces admits a finite semi-algebraic chamber decomposition.
  • When there is a single boundary divisor the decomposition consists of finitely many intervals.
  • GIT stability and K-stability coincide for sufficiently small boundary coefficients.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The semi-algebraic description opens the possibility of algorithmic enumeration of stable loci in low-dimensional examples.
  • The comparison result may allow explicit construction of K-moduli spaces by first computing the GIT quotient for small coefficients and then deforming.
  • Similar chamber structures could appear for other stability conditions once a suitable boundedness hypothesis is available.

Load-bearing premise

The family of couples must be log bounded in order to conclude that only finitely many K-semistable domains appear among its fibers.

What would settle it

An explicit log bounded family of log Fano pairs whose fibers realize infinitely many distinct K-semistable domains would refute the finiteness statement.

read the original abstract

In this paper, we present a general wall crossing theory for K-stability and K-moduli of log Fano pairs whose boundary divisors can be non-proportional to the anti-canonical divisor. Along the way, we prove that there are only finitely many K-semistable domains associated to the fibers of a log bounded family of couples. Under the additional assumption of volume bounded from below, we show that K-semistable domains are semi-algebraic sets (although not necessarily polytopes). As a consequence, we obtain a finite semi-algebraic chamber decomposition for wall crossing of K-moduli spaces. In the case of one boundary divisor, this decomposition is an expected finite interval chamber decomposition. As an application of the theory, we prove a comparison theorem between GIT-stability and K-stability in non-proportional setting when the coefficient of the boundary is sufficiently small.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript develops a general wall-crossing theory for K-stability and the associated K-moduli spaces of log Fano pairs in which the boundary divisors need not be proportional to the anti-canonical class. It proves that any log-bounded family of couples admits only finitely many K-semistable domains, and that these domains are semi-algebraic (hence admit a finite semi-algebraic chamber decomposition) once a uniform volume lower bound is imposed. In the special case of a single boundary divisor the decomposition reduces to a finite collection of intervals. An application establishes a comparison between GIT stability and K-stability when the boundary coefficient is sufficiently small.

Significance. If the stated theorems hold, the work supplies the first systematic wall-crossing framework for K-stability outside the proportional-boundary regime. The finiteness theorem for log-bounded families and the semi-algebraic structure under volume bounds are structural results that should be useful for constructing or compactifying K-moduli spaces in greater generality. The GIT comparison furnishes a concrete, checkable consequence.

minor comments (2)
  1. The abstract states that the semi-algebraic domains are 'not necessarily polytopes'; a brief remark in the introduction or §2 explaining why polytopality fails in the non-proportional setting would help readers compare with the proportional case.
  2. Notation for the parameter space of couples (e.g., the precise definition of the 'couple' and the coefficient vector) should be fixed once in §1 and used consistently; several later statements would be easier to parse with an explicit reference to this definition.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and recommendation of minor revision. No specific major comments were listed in the report, so we have no point-by-point responses to provide. We will incorporate any minor suggestions during revision.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper states two main theorems: finiteness of K-semistable domains for any log-bounded family of couples, and semi-algebraic structure of those domains when volume is bounded below. Both are presented as results proved in the paper under explicitly stated hypotheses (log boundedness for the first, volume bound for the second). No equations, fitted parameters, self-citations, or ansatzes are visible in the abstract or claims that would reduce the central wall-crossing theory to a tautology or input by construction. The log-boundedness assumption is required openly rather than hidden. The derivation chain appears self-contained against external benchmarks in algebraic geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The theory extends the existing K-stability framework; no new free parameters, invented entities, or ad-hoc axioms are introduced in the abstract.

axioms (1)
  • domain assumption Standard properties of log Fano pairs, K-stability, and log boundedness from prior literature
    The statements rely on the pre-existing definition of K-semistable domains and log bounded families.

pith-pipeline@v0.9.0 · 5671 in / 1171 out tokens · 27078 ms · 2026-05-23T07:22:15.718445+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

  1. [1]

    [ABHLX20] Jarod Alper, Harold Blum, Daniel Halpern-Leistner, and Chenyang Xu, Reductivity of the automorphism group of K-polystable Fano varieties , Invent. Math. 222 (2020), no. 3, 995–1032. MR4169054 ↑53 [ABIP23] Kenneth Ascher, Dori Bejleri, Giovanni Inchiostro, and Zsolt Patakfalvi, Wall crossing for moduli of stable log pairs , Ann. of Math. (2) 198 ...

    work page 2020

  2. [2]

    Hacon, and James McKernan, Existence of minimal models for varieties of log general type , J

    MR4757702 ↑2, 6, 46, 50, 55, 56 [BCHM10] Caucher Birkar, Paolo Cascini, Christopher D. Hacon, and James McKernan, Existence of minimal models for varieties of log general type , J. Amer. Math. Soc. 23 (2010), no. 2, 405–468. MR2601039 ↑13, 21, 31 58 YUCHEN LIU AND CHUYU ZHOU [BCR98] Jacek Bochnak, Michel Coste, and Marie-Fran¸ coise Roy,Real algebraic geo...

    work page 2010

  3. [3]

    MR1659509 ↑45 [Bir19] Caucher Birkar, Anti-pluricanonical systems on Fano varieties , Ann

    Translated from the 1987 French origi- nal, Revised by the authors. MR1659509 ↑45 [Bir19] Caucher Birkar, Anti-pluricanonical systems on Fano varieties , Ann. of Math. (2) 190 (2019), no. 2, 345–463. MR3997127 ↑11, 21 [Bir21] , Singularities of linear systems and boundedness of Fano varieties , Ann. of Math. (2) 193 (2021), no. 2, 347–405. MR4224714 ↑11, ...

    work page 1987

  4. [4]

    MR4067358 ↑10 [BLX22] Harold Blum, Yuchen Liu, and Chenyang Xu, Openness of K-semistability for Fano va- rieties, Duke Math. J. 171 (2022), no. 13, 2753–2797. MR4505846 ↑21, 22, 25, 40, 56 [BLZ22] Harold Blum, Yuchen Liu, and Chuyu Zhou, Optimal destabilization of K-unstable Fano varieties via stability thresholds , Geom. Topol. 26 (2022), no. 6, 2507–256...

    work page 2022

  5. [5]

    ↑4, 50, 53, 55 [Elk78] Ren´ ee Elkik,Singularit´ es rationnelles et d´ eformations, Invent. Math. 47 (1978), no. 2, 139–147. MR501926 ↑20 [FHS24] Stefano Filipazzi, Christopher D. Hacon, and Roberto Svaldi, Boundedness of elliptic Calabi-Yau threefolds,

    work page 1978

  6. [6]

    ↑14 [FO18] Kento Fujita and Yuji Odaka, On the K-stability of Fano varieties and anticanonical divisors, Tohoku Math. J. (2) 70 (2018), no. 4, 511–521. MR3896135 ↑10 [Fuj19] Kento Fujita, A valuative criterion for uniform K-stability of Q-Fano varieties, J. Reine Angew. Math. 751 (2019), 309–338. ↑9, 10 [Har77] Robin Hartshorne, Algebraic geometry , Sprin...

    work page 2018

  7. [7]

    MR0463157 ↑19, 24, 32, 43 [HK00] Yi Hu and Sean Keel, Mori dream spaces and GIT , Michigan Math. J. 48 (2000), 331–

    work page 2000

  8. [8]

    det” and “Div

    Dedicated to William Fulton on the occasion of his 60th birthday. MR1786494 ↑13 [HMX13] Christopher D. Hacon, James McKernan, and Chenyang Xu, On the birational automor- phisms of varieties of general type , Ann. of Math. (2) 177 (2013), no. 3, 1077–1111. MR3034294 ↑22 [Jia20] Chen Jiang, Boundedness of Q-Fano varieties with degrees and alpha-invariants b...

    work page 2013

  9. [9]

    With the collaboration of C. H. Clemens and A. Corti, Translated from the 1998 Japanese original. MR1658959 ↑9, 33 NON-PROPORTIONAL W ALL CROSSING FOR K-STABILITY 59 [Kol13] J´ anos Koll´ ar,Singularities of the minimal model program , Cambridge Tracts in Mathe- matics, vol. 200, Cambridge University Press, Cambridge,

    work page 1998

  10. [10]

    MR1440180 ↑34 [Li17] Chi Li, K-semistability is equivariant volume minimization , Duke Math. J. 166 (2017), no. 16, 3147–3218. MR3715806 ↑9, 10 [Log23] Konstantin Loginov, K-polystability of 3-dimensional log Fano pairs of Maeda type , In- ternat. J. Math. 34 (2023), no. 1, Paper No. 2250095,

    work page 2017

  11. [11]

    MR4552196 ↑5, 34 [LWX19] Chi Li, Xiaowei Wang, and Chenyang Xu, On the proper moduli spaces of smoothable K¨ ahler-Einstein Fano varieties, Duke Math. J. 168 (2019), no. 8, 1387–1459. MR3959862 ↑42, 43 [LWX21] , Algebraicity of the metric tangent cones and equivariant K-stability , J. Amer. Math. Soc. 34 (2021), no. 4, 1175–1214. MR4301561 ↑11, 47 [LX14] ...

    work page 2019

  12. [12]

    ↑53 [PRS08] D. H. Phong, Julius Ross, and Jacob Sturm, Deligne pairings and the knudsen-mumford expansion, Journal of Differential Geometry 78 (March 2008), no. 3, 475–496 (English (US)). ↑36 [PT08] Sean T. Paul and Gang Tian, CM stability and the generalized Futaki invariant I ,

    work page 2008

  13. [13]

    ↑35 [Xu20] Chenyang Xu, A minimizing valuation is quasi-monomial , Ann. of Math. (2) 191 (2020), no. 3, 1003–1030. MR4088355 ↑40, 56 [Xu21] , K-stability of Fano varieties: an algebro-geometric approach , EMS Surv. Math. Sci. 8 (2021), no. 1-2, 265–354. MR4307210 ↑11, 12, 56, 57 [Xu24] , K-stability of Fano varieties ,

    work page 2020

  14. [14]

    ↑35 [Zha96] Shouwu Zhang, Heights and reductions of semi-stable varieties , Compositio Mathematica 104 (1996), no

    Upcoming. ↑35 [Zha96] Shouwu Zhang, Heights and reductions of semi-stable varieties , Compositio Mathematica 104 (1996), no. 1, 77–105 (eng). ↑36 60 YUCHEN LIU AND CHUYU ZHOU [Zho21] Chuyu Zhou, Log K-stability of GIT-stable divisors on Fano varieties ,

    work page 1996

  15. [15]

    ↑2, 4, 5, 6, 8, 21, 26, 28, 34, 50 [Zho23b] , On wall-crossing for K-stability , Adv. Math. 413 (2023), Paper No. 108857,

    work page 2023

  16. [16]

    MR4533746 ↑2, 6, 46, 47, 50 [Zho24] , On K-semistable domains—more examples , Internat. J. Math. 35 (2024), no. 2, Paper No. 2350103,

    work page 2024

  17. [17]

    MR4712669 ↑34 [Zhu20] Ziquan Zhuang, Product theorem for K-stability , Adv. Math. 371 (2020), 107250,

    work page 2020

  18. [18]

    MR4108221 ↑18, 20, 53 [ZZ21] Chuyu Zhou and Ziquan Zhuang, Some criteria for uniform K-stability , Math. Res. Lett. 28 (2021), no. 5, 1613–1632. MR4471722 ↑21 Department of Mathematics, Northwestern University, Evanston, IL 60208, USA. Email address : yuchenl@northwestern.edu School of Mathematical Sciences, Xiamen University, Siming South Road 422, Xia- ...

    work page 2021