Wall-crossing for K-moduli spaces of certain families of weighted projective hypersurfaces
Pith reviewed 2026-05-23 23:53 UTC · model grok-4.3
The pith
K-polystable limits of weighted hypersurfaces of degree 2(n+3) in P(1,2,n+2,n+3) remain hypersurfaces of the same degree and space.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We describe the K-moduli spaces of weighted hypersurfaces of degree 2(n+3) in P(1,2,n+2,n+3). We show that the K-polystable limits of these weighted hypersurfaces are also weighted hypersurfaces of the same degree in the same weighted projective space. This is achieved by an explicit study of the wall crossing for K-moduli spaces M_w of certain log Fano pairs with coefficient w whose double cover gives the weighted hypersurface. Moreover, we show that the wall crossing of M_w coincides with variation of GIT except at the last K-moduli wall which gives a divisorial contraction. Our K-moduli spaces provide new birational models for some natural loci in the moduli space of marked hyperelliptic
What carries the argument
Wall crossing in the K-moduli spaces M_w of log Fano pairs with coefficient w, linked to the hypersurfaces by double covers.
If this is right
- K-polystable limits remain inside the original family of weighted hypersurfaces.
- The wall crossing in M_w agrees with variation of GIT except at the final wall.
- The final wall produces a divisorial contraction of the moduli space.
- The resulting K-moduli spaces supply new birational models for loci in the moduli space of marked hyperelliptic curves.
Where Pith is reading between the lines
- The double-cover reduction to log Fano pairs may let the same wall-crossing method determine K-moduli for other hypersurface families.
- Close agreement between K-stability and GIT in this case suggests the two notions often coincide for hypersurfaces of this type.
- The final divisorial contraction may correspond to a concrete geometric operation visible in the hyperelliptic curve moduli.
Load-bearing premise
That an explicit wall-crossing analysis on the auxiliary moduli space of log Fano pairs is sufficient to identify the K-polystable limits and that the double-cover relation preserves the necessary stability properties.
What would settle it
Discovery of a K-polystable limit of one of these hypersurfaces that is not itself a weighted hypersurface of degree 2(n+3) in P(1,2,n+2,n+3).
Figures
read the original abstract
We describe the K-moduli spaces of weighted hypersurfaces of degree $2(n+3)$ in $\mathbb{P}(1,2,n+2,n+3)$. We show that the K-polystable limits of these weighted hypersurfaces are also weighted hypersurfaces of the same degree in the same weighted projective space. This is achieved by an explicit study of the wall crossing for K-moduli spaces $M_w$ of certain log Fano pairs with coefficient $w$ whose double cover gives the weighted hypersurface. Moreover, we show that the wall crossing of $M_w$ coincides with variation of GIT except at the last K-moduli wall which gives a divisorial contraction. Our K-moduli spaces provide new birational models for some natural loci in the moduli space of marked hyperelliptic curves.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript describes the K-moduli spaces of weighted hypersurfaces of degree 2(n+3) in the weighted projective space P(1,2,n+2,n+3). It proves that the K-polystable limits of these hypersurfaces remain weighted hypersurfaces of the same degree in the same space. This is achieved via an explicit wall-crossing analysis of the auxiliary K-moduli spaces M_w of log Fano pairs (with coefficient w) whose double covers recover the hypersurfaces, together with a comparison showing that the wall-crossing in M_w coincides with variation of GIT except at the final K-moduli wall, which induces a divisorial contraction. The resulting spaces are shown to provide new birational models for certain loci in the moduli space of marked hyperelliptic curves.
Significance. If the explicit computations hold, the work supplies concrete, computable examples of wall-crossing in K-moduli spaces and a precise VGIT comparison (with one explicit exception), while furnishing new birational models for loci in hyperelliptic curve moduli. The double-cover reduction and the identification of the final divisorial contraction are potentially useful for further study of K-stability for hypersurfaces.
minor comments (2)
- The introduction would benefit from a short paragraph clarifying the range of n for which the statements hold and any dimension restrictions on the weighted projective space.
- Notation for the log Fano pairs and the coefficient w could be made more uniform between the abstract, introduction, and the sections defining M_w.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of our work and the recommendation for minor revision. No specific major comments appear in the report.
Circularity Check
No circularity: derivation is self-contained via explicit wall-crossing computations
full rationale
The paper's central claim—that K-polystable limits remain within the same family of weighted hypersurfaces—is obtained by direct, explicit computation of wall-crossing on the auxiliary moduli spaces M_w of log Fano pairs (linked by double cover) and by comparing those walls to VGIT. No step reduces a result to a fitted parameter, a self-citation chain, or a definitional identity; the argument is internally generated from the geometry of the pairs and the double-cover correspondence without importing load-bearing uniqueness theorems or ansatzes from prior self-work. The structure is therefore non-circular.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the wall crossing of M_w coincides with variation of GIT except at the last K-moduli wall which gives a divisorial contraction
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Reductivity of the automorphism group of K -polystable F ano varieties
Jarod Alper, Harold Blum, Daniel Halpern-Leistner, and Chenyang Xu. Reductivity of the automorphism group of K -polystable F ano varieties. Invent. Math. , 222(3):995--1032, 2020
work page 2020
-
[2]
Carolina Araujo, Ana-Maria Castravet, Ivan Cheltsov, Kento Fujita, Anne-Sophie Kaloghiros, Jesus Martinez-Garcia, Constantin Shramov, Hendrik S \"u , and Nivedita Viswanathan. The Calabi problem for Fano threefolds , volume 485 of London Mathematical Society Lecture Note Series . Cambridge University Press, Cambridge, 2023
work page 2023
-
[3]
One-dimensional components in the K-moduli of smooth Fano 3-folds
Hamid Abban, Ivan Cheltsov, Elena Denisova, Erroxe Etxabarri-Alberdi, Anne-Sophie Kaloghiros, Dongchen Jiao, Jesus Martinez-Garcia, and Theodoros Papazachariou. One-dimensional components in the K-moduli of smooth Fano 3-folds . 2023. https://arxiv.org/abs/2309.12518 arXiv:2309.12518
-
[4]
On K-moduli of quartic threefolds
Hamid Abban, Ivan Cheltsov, Alexander Kasprzyk, Yuchen Liu, and Andrea Petracci. On K-moduli of quartic threefolds . Algebr. Geom., to appear , 2023. https://arxiv.org/abs/2210.14781 arXiv:2210.14781
-
[5]
K-moduli of curves on a quadric surface and K 3 surfaces
Kenneth Ascher, Kristin DeVleming, and Yuchen Liu. K-moduli of curves on a quadric surface and K 3 surfaces. J. Inst. Math. Jussieu , 22(3):1251--1291, 2023
work page 2023
-
[6]
K-stability and birational models of moduli of quartic K 3 surfaces
Kenneth Ascher, Kristin DeVleming, and Yuchen Liu. K-stability and birational models of moduli of quartic K 3 surfaces. Invent. Math. , 232(2):471--552, 2023
work page 2023
-
[7]
Wall crossing for K-moduli spaces of plane curves
Kenneth Ascher, Kristin DeVleming, and Yuchen Liu. Wall crossing for K-moduli spaces of plane curves . Proc. Lond. Math. Soc. (3) , 128(6):Paper No. e12615, 113, 2024
work page 2024
-
[8]
Mohammad E. Akhtar and Alexander M. Kasprzyk. Mutations of fake weighted projective planes. Proc. Edinb. Math. Soc. (2) , 59(2):271--285, 2016
work page 2016
-
[9]
K-stability of F ano varieties via admissible flags
Hamid Abban and Ziquan Zhuang. K-stability of F ano varieties via admissible flags. Forum Math. Pi , 10:Paper No. e15, 43, 2022
work page 2022
-
[10]
Projective completions of graded unipotent quotients
Gergely B\' e rczi, Brent Doran, Thomas Hawes, and Frances Kirwan. Projective completions of graded unipotent quotients . 2016. https://arxiv.org/abs/1607.04181 arXiv:1607.04181
-
[11]
Constructing quotients of algebraic varieties by linear algebraic group actions
Gergely B\' e rczi, Brent Doran, Thomas Hawes, and Frances Kirwan. Constructing quotients of algebraic varieties by linear algebraic group actions. In Handbook of group actions. V ol. IV , volume 41 of Adv. Lect. Math. (ALM) , pages 341--446. Int. Press, Somerville, MA, 2018
work page 2018
-
[12]
Uniform K -stability, D uistermaat- H eckman measures and singularities of pairs
S\' e bastien Boucksom, Tomoyuki Hisamoto, and Mattias Jonsson. Uniform K -stability, D uistermaat- H eckman measures and singularities of pairs. Ann. Inst. Fourier (Grenoble) , 67(2):743--841, 2017
work page 2017
-
[13]
On properness of K -moduli spaces and optimal degenerations of F ano varieties
Harold Blum, Daniel Halpern-Leistner, Yuchen Liu, and Chenyang Xu. On properness of K -moduli spaces and optimal degenerations of F ano varieties. Selecta Math. (N.S.) , 27(4):Paper No. 73, 39, 2021
work page 2021
-
[14]
Thresholds, valuations, and K -stability
Harold Blum and Mattias Jonsson. Thresholds, valuations, and K -stability. Adv. Math. , 365:107062, 57, 2020
work page 2020
-
[15]
Variation of non-reductive geometric invariant theory
Gergely B\' e rczi, Joshua Jackson, and Frances Kirwan. Variation of non-reductive geometric invariant theory. In Surveys in differential geometry 2017. C elebrating the 50th anniversary of the J ournal of D ifferential G eometry , volume 22 of Surv. Differ. Geom. , pages 49--69. Int. Press, Somerville, MA, 2018
work page 2017
-
[16]
Openness of K -semistability for F ano varieties
Harold Blum, Yuchen Liu, and Chenyang Xu. Openness of K -semistability for F ano varieties. Duke Math. J. , 171(13):2753--2797, 2022
work page 2022
-
[17]
On the moduli of hypersurfaces in toric orbifolds
Dominic Bunnett. On the moduli of hypersurfaces in toric orbifolds. Proc. Edinb. Math. Soc. (2) , 67(2):577--616, 2024
work page 2024
-
[18]
Uniqueness of K -polystable degenerations of F ano varieties
Harold Blum and Chenyang Xu. Uniqueness of K -polystable degenerations of F ano varieties. Ann. of Math. (2) , 190(2):609--656, 2019
work page 2019
-
[19]
K-stability of Casagrande-Druel varieties
Ivan Cheltsov, Tiago Duarte Guerreiro, Kento Fujita, Igor Krylov, and Jesus Martinez-Garcia. K-stability of Casagrande-Druel varieties . 2023. https://arxiv.org/abs/2309.12522 arXiv:2309.12522
-
[20]
K\" a hler- E instein metrics on F ano manifolds
Xiuxiong Chen, Simon Donaldson, and Song Sun. K\" a hler- E instein metrics on F ano manifolds. I : A pproximation of metrics with cone singularities, II : L imits with cone angle less than 2 , III : L imits as cone angle approaches 2 and completion of the main proof. J. Amer. Math. Soc. , 28(1):183--197, 199--234, 235--278, 2015
work page 2015
-
[21]
Positivity of the CM line bundle for families of K -stable klt F ano varieties
Giulio Codogni and Zsolt Patakfalvi. Positivity of the CM line bundle for families of K -stable klt F ano varieties. Invent. Math. , 223(3):811--894, 2021
work page 2021
-
[22]
Exceptional del P ezzo hypersurfaces
Ivan Cheltsov, Jihun Park, and Constantin Shramov. Exceptional del P ezzo hypersurfaces. J. Geom. Anal. , 20(4):787--816, 2010
work page 2010
-
[23]
On K -stability of finite covers
Ruadha\' Dervan. On K -stability of finite covers. Bull. Lond. Math. Soc. , 48(4):717--728, 2016
work page 2016
-
[24]
The K-moduli space of a family of conic bundles threefolds
Kristin DeVleming, Lena Ji, Patrick Kennedy-Hunt, and Ming Hao Quek. The K-moduli space of a family of conic bundles threefolds . 2024. https://arxiv.org/abs/2403.09557 arXiv:2403.09557
-
[25]
S. K. Donaldson. Scalar curvature and stability of toric varieties. J. Differential Geom. , 62(2):289--349, 2002
work page 2002
-
[26]
On the K -stability of F ano varieties and anticanonical divisors
Kento Fujita and Yuji Odaka. On the K -stability of F ano varieties and anticanonical divisors. Tohoku Math. J. (2) , 70(4):511--521, 2018
work page 2018
-
[27]
A valuative criterion for uniform K -stability of Q - F ano varieties
Kento Fujita. A valuative criterion for uniform K -stability of Q - F ano varieties. J. Reine Angew. Math. , 751:309--338, 2019
work page 2019
-
[28]
K-stability of log F ano hyperplane arrangements
Kento Fujita. K-stability of log F ano hyperplane arrangements. J. Algebraic Geom. , 30(4):603--630, 2021
work page 2021
-
[29]
On K -stability for F ano threefolds of rank 3 and degree 28
Kento Fujita. On K -stability for F ano threefolds of rank 3 and degree 28. Int. Math. Res. Not. IMRN , (15):12601--12784, 2023
work page 2023
-
[30]
Applications of the moduli continuity method to log K -stable pairs
Patricio Gallardo, Jesus Martinez-Garcia, and Cristiano Spotti. Applications of the moduli continuity method to log K -stable pairs. J. Lond. Math. Soc. (2) , 103(2):729--759, 2021
work page 2021
-
[31]
K-stability for F ano manifolds with torus action of complexity 1
Nathan Ilten and Hendrik S\" u ss. K-stability for F ano manifolds with torus action of complexity 1. Duke Math. J. , 166(1):177--204, 2017
work page 2017
-
[32]
Boundedness of Q - F ano varieties with degrees and alpha-invariants bounded from below
Chen Jiang. Boundedness of Q - F ano varieties with degrees and alpha-invariants bounded from below. Ann. Sci. \' E c. Norm. Sup\' e r. (4) , 53(5):1235--1248, 2020
work page 2020
-
[33]
J\' a nos Koll\' a r. Singularities of pairs. In Algebraic geometry--- S anta C ruz 1995 , volume 62, Part 1 of Proc. Sympos. Pure Math. , pages 221--287. Amer. Math. Soc., Providence, RI, 1997
work page 1995
-
[34]
K-stability of log del P ezzo hypersurfaces with index 2
In-Kyun Kim, Nivedita Viswanathan, and Joonyeong Won. K-stability of log del P ezzo hypersurfaces with index 2. Internat. J. Math. , 33(14):Paper No. 2250070, 46, 2022
work page 2022
-
[35]
Positivity in algebraic geometry
Robert Lazarsfeld. Positivity in algebraic geometry. II , volume 49 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics] . Springer-Verlag, Berlin, 2004. Positivity for vector bundles, and multiplier ideals
work page 2004
-
[36]
K-semistability is equivariant volume minimization
Chi Li. K-semistability is equivariant volume minimization. Duke Math. J. , 166(16):3147--3218, 2017
work page 2017
-
[37]
K-stability of cubic fourfolds
Yuchen Liu. K-stability of cubic fourfolds. J. Reine Angew. Math. , 786:55--77, 2022
work page 2022
-
[38]
K-stability of F ano threefolds of rank 2 and degree 14 as double covers
Yuchen Liu. K-stability of F ano threefolds of rank 2 and degree 14 as double covers. Math. Z. , 303(2):Paper No. 38, 9, 2023
work page 2023
-
[39]
On K -stability of some del P ezzo surfaces of F ano index 2
Yuchen Liu and Andrea Petracci. On K -stability of some del P ezzo surfaces of F ano index 2. Bull. Lond. Math. Soc. , 54(2):517--525, 2022
work page 2022
-
[40]
On the proper moduli spaces of smoothable K \" a hler- E instein F ano varieties
Chi Li, Xiaowei Wang, and Chenyang Xu. On the proper moduli spaces of smoothable K \" a hler- E instein F ano varieties. Duke Math. J. , 168(8):1387--1459, 2019
work page 2019
-
[41]
Algebraicity of the metric tangent cones and equivariant K -stability
Chi Li, Xiaowei Wang, and Chenyang Xu. Algebraicity of the metric tangent cones and equivariant K -stability. J. Amer. Math. Soc. , 34(4):1175--1214, 2021
work page 2021
-
[42]
K-stability of cubic threefolds
Yuchen Liu and Chenyang Xu. K-stability of cubic threefolds. Duke Math. J. , 168(11):2029--2073, 2019
work page 2029
-
[43]
Finite generation for valuations computing stability thresholds and applications to K -stability
Yuchen Liu, Chenyang Xu, and Ziquan Zhuang. Finite generation for valuations computing stability thresholds and applications to K -stability. Ann. of Math. (2) , 196(2):507--566, 2022
work page 2022
-
[44]
Equivariant K -stability under finite group action
Yuchen Liu and Ziwen Zhu. Equivariant K -stability under finite group action. Internat. J. Math. , 33(1):Paper No. 2250007, 21, 2022
work page 2022
-
[45]
Boundedness of log Fano pairs with certain K-stability
Konstantin Loginov and Chuyu Zhou. Boundedness of log Fano pairs with certain K-stability . 2023. https://arxiv.org/abs/2302.06558 arXiv:2302.06558
-
[46]
K-moduli of Fano threefolds and genus four curves
Yuchen Liu and Junyan Zhao. K-moduli of Fano threefolds and genus four curves . 2024. https://arxiv.org/abs/2403.16747 arXiv:2403.16747
-
[47]
Stability and E instein- K \" a hler metric of a quartic del P ezzo surface
Toshiki Mabuchi and Shigeru Mukai. Stability and E instein- K \" a hler metric of a quartic del P ezzo surface. In Einstein metrics and Y ang- M ills connections ( S anda, 1990) , volume 145 of Lecture Notes in Pure and Appl. Math. , pages 133--160. Dekker, New York, 1993
work page 1990
-
[48]
The calabi conjecture and k-stability
Yuji Odaka. The calabi conjecture and k-stability. Int. Math. Res. Not , 10(10):2272--2288, 2012
work page 2012
-
[49]
The GIT stability of polarized varieties via discrepancy
Yuji Odaka. The GIT stability of polarized varieties via discrepancy. Ann. of Math. (2) , 177(2):645--661, 2013
work page 2013
-
[50]
Compact moduli spaces of del P ezzo surfaces and K \" a hler- E instein metrics
Yuji Odaka, Cristiano Spotti, and Song Sun. Compact moduli spaces of del P ezzo surfaces and K \" a hler- E instein metrics. J. Differential Geom. , 102(1):127--172, 2016
work page 2016
-
[51]
K-moduli of log Fano complete intersections
Theodoros Stylianos Papazachariou. K-moduli of log Fano complete intersections . 2022. https://arxiv.org/abs/2212.09332 arXiv:2212.09332
-
[52]
A note on deformations and mutations of fake weighted projective planes
Irem Portakal. A note on deformations and mutations of fake weighted projective planes. In Algebraic and geometric combinatorics on lattice polytopes , pages 354--366. World Sci. Publ., Hackensack, NJ, 2019
work page 2019
-
[53]
K moduli of log del Pezzo pairs
Long Pan, Fei Si, and Haoyu Wu. K moduli of log del Pezzo pairs . 2023. https://arxiv.org/abs/2303.05651 arXiv:2303.05651
-
[54]
CM Stability and the Generalized Futaki Invariant I
Sean Timothy Paul and Gang Tian. C M stability and the generalized F utaki invariant I . 2006. https://arxiv.org/abs/math/0605278 arXiv:math/0605278
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[55]
Cristiano Spotti and Song Sun. Explicit G romov- H ausdorff compactifications of moduli spaces of K \" a hler- E instein F ano manifolds. Pure Appl. Math. Q. , 13(3):477--515, 2017
work page 2017
-
[56]
K\" a hler- E instein metrics with positive scalar curvature
Gang Tian. K\" a hler- E instein metrics with positive scalar curvature. Invent. Math. , 130(1):1--37, 1997
work page 1997
-
[57]
K-stability and K \" a hler- E instein metrics
Gang Tian. K-stability and K \" a hler- E instein metrics. Comm. Pure Appl. Math. , 68(7):1085--1156, 2015
work page 2015
-
[58]
A minimizing valuation is quasi-monomial
Chenyang Xu. A minimizing valuation is quasi-monomial. Ann. of Math. (2) , 191(3):1003--1030, 2020
work page 2020
-
[59]
K-stability of F ano varieties: an algebro-geometric approach
Chenyang Xu. K-stability of F ano varieties: an algebro-geometric approach. EMS Surv. Math. Sci. , 8(1-2):265--354, 2021
work page 2021
-
[60]
On positivity of the CM line bundle on K -moduli spaces
Chenyang Xu and Ziquan Zhuang. On positivity of the CM line bundle on K -moduli spaces. Ann. of Math. (2) , 192(3):1005--1068, 2020
work page 2020
-
[61]
Uniqueness of the minimizer of the normalized volume function
Chenyang Xu and Ziquan Zhuang. Uniqueness of the minimizer of the normalized volume function. Camb. J. Math. , 9(1):149--176, 2021
work page 2021
-
[62]
Moduli of genus six curves and K -stability
Junyan Zhao. Moduli of genus six curves and K -stability. Trans. Amer. Math. Soc. Ser. B , 11:863--900, 2024
work page 2024
-
[63]
On the shape of K-semistable domain and wall crossing for K-stability
Chuyu Zhou. On the shape of K-semistable domain and wall crossing for K-stability . 2023. https://arxiv.org/abs/2302.13503 arXiv:2302.13503
work page internal anchor Pith review arXiv 2023
-
[64]
On wall-crossing for K -stability
Chuyu Zhou. On wall-crossing for K -stability. Adv. Math. , 413:Paper No. 108857, 26, 2023
work page 2023
-
[65]
On K -semistable domains---more examples
Chuyu Zhou. On K -semistable domains---more examples. Internat. J. Math. , 35(2):Paper No. 2350103, 30, 2024
work page 2024
-
[66]
Optimal destabilizing centers and equivariant K -stability
Ziquan Zhuang. Optimal destabilizing centers and equivariant K -stability. Invent. Math. , 226(1):195--223, 2021
work page 2021
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.