REVIEW 1 major objections 7 minor 2 cited by
K-stability of Fano 3-folds in the World of Null-A
T0 review · 1 major / 7 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read A smooth Fano 3-fold whose automorphism group has no fixed-point-free finite abelian subgroup is K-polystable, except for eight explicit families.
desk verdict A real classification result: the main theorem is new, the proofs are careful, and the main risk is the inherited 105-family K-stability partition, not anything the authors do themselves. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing mechanism is the interaction between Condition (A) and the stability threshold $\delta(X)=\inf_E A_X(E)/S_X(E)$, where $A_X(E)$ is the log discrepancy of a prime divisor $E$ over $X$ and $S_X(E)$ is its pseudo-effective volume average; $X$ is K-polystable exactly when $\delta(X)=1$ in the appropriate sense. Lemma 4.1 turns the assumption 'not K-polystable' into the existence of an $A$-invariant divisor $F$ over $X$ with $A_X(F)/S_X(F)=\delta(X)\le 1$, whose center on $X$ must be an irreducible curve as soon as $A$ acts without fixed points. Against this curve the paper uses four tools: equivariant birational invariance of fixed points (Theorem 2.1); a lifting lemma that linearizes finite abelian subgroups of automorphisms of hypersurfaces when degree and ambient dimension are coprime (Lemma 2.4); a cone-of-curves lemma guaranteeing that in many families every extremal ray is $G$-invariant, so blowups and conic bundles are equivariant (Lemma 2.13); and admissible-flag estimates of the local invariant $\delta_p(X)$ (Theorems 2.14 and 2.15) that give lower bounds above 1 and produce contradictions.
What would settle it
Exhibit a smooth Fano 3-fold outside the eight listed families with a fixed-point-free finite abelian automorphism group and $\delta(X)\le 1$; that would refute the Main Theorem. A less expensive check is to recompute $\delta(X)$ for a general member of each of the 53 families declared all K-polystable—if any such member had $\delta<1$, the partition on which the proof rests would collapse.
Extended reading notes
Core claim
Let $X$ be a smooth Fano 3-fold, and say $X$ satisfies Condition (A) if every finite abelian subgroup of $\operatorname{Aut}(X)$ fixes a point of $X$. The Main Theorem asserts: if $X$ does not satisfy Condition (A), then $X$ is K-polystable unless $X$ lies in one of eight exceptional deformation families. The eight are: $\mathbb{P}^1\times\mathbb{F}_1$; $\mathbb{P}^1\times S$ for a smooth del Pezzo surface $S$ of degree 7; the blowup of a smooth quadric in $\mathbb{P}^4$ along a quartic elliptic curve; the blowup of a quadric cone in $\mathbb{P}^4$ at its vertex; the blowup of $\mathbb{P}^1\times\mathbb{P}^1\times\mathbb{P}^1$ along a smooth curve of degree $(0,1,1)$; the blowup of $\mathbb{P}^3$ along a line; and two blowups of $\mathbb{P}^3$ at two points followed by blowups of strict transforms of one or two lines through those points. For each exception the paper constructs an explicit fixed-point-free finite abelian subgroup, confirming failure of Condition (A), and notes these varieties are not K-polystable. The proof partitions the 105 deformation families: 53 families are all K-polystable, 26 families plus one member of Family №2.26 are all non-K-polystable, and the remaining 25 families are treated here—10 are shown to satisfy Condition (A), and in the other 15 any member failing Condition (A) is proven K-polystable.
Load-bearing premise
The proof leans on the completeness and correctness of the cited K-stability classification of all 105 deformation families, especially the partition into 53 all-K-polystable families, 26 all-non-K-polystable families, and the mixed Family №2.26; if any cited classification result is wrong, the list of eight exceptions could change.
Editorial extensions
If this is right
- Every strictly K-semistable smooth Fano 3-fold satisfies Condition (A).
- For the fifteen families treated in Section 4, the paper settles K-polystability for every member that fails Condition (A): no further delta-invariant computation is needed for those members.
- The eight exceptional families are exactly the non-K-polystable smooth Fano 3-folds that admit a fixed-point-free finite abelian automorphism action; each carries an explicit such action.
- Failure of Condition (A) is birational-invariant in the equivariant sense (Theorem 2.1), so an equivariant birational model of one of the eight exceptions again fails Condition (A) and therefore falls under the Main Theorem's dichotomy.
Reading between the lines
- One testable extension: in higher-dimensional Fano manifolds, the same pairing of Condition (A) with equivariant delta-invariant estimates might yield analogous 'few exceptions' theorems, once a deformation classification and automorphism-group tables are available.
- The fixed-point-free finite abelian subgroups appearing in the examples include $\mathbb{Z}/2^k$ and $(\mathbb{Z}/3)^2$; a direct computation across all 105 families would test whether every such subgroup belongs to a short finite list of group types.
- A practical certificate emerges: for a member of any of the 25 remaining families, checking whether its automorphism group contains a fixed-point-free finite abelian subgroup is a finite computation; under the theorem, a negative answer proves K-polystability without computing $\delta(X)$.
- The converse of the theorem is false: Section 5.2 exhibits many K-polystable Fano 3-folds that do fail Condition (A), so Condition (A) is not equivalent to K-instability but only a one-way obstruction.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces Condition (A) for a smooth variety X: every finite abelian subgroup of Aut(X) fixes at least one point. The Main Theorem states that a smooth complex Fano 3-fold that does not satisfy Condition (A) is K-polystable unless it belongs to one of eight explicitly listed exceptional deformation families (seven rigid and one with one-parameter moduli). The proof partitions the 105 Mori–Mukai families into three groups: 53 families known to be entirely K-polystable, 27 families known to have no K-polystable members, and 25 families where only general members are known to be K-polystable. For the 25-family remainder, the paper proves in Section 3 that ten families always satisfy Condition (A), and in Section 4 that the remaining fifteen families are K-polystable whenever they violate Condition (A). Section 5 constructs explicit examples showing that all eight exceptional families indeed fail Condition (A), and that several of the Section 4 families admit K-polystable members failing Condition (A).
Significance. If correct, the Main Theorem provides a clean geometric counterpart to the arithmetic result of Abban–Cheltsov–Kishimoto–Mangolte on pointless Fano 3-folds, replacing rational points by fixed points of finite abelian automorphism groups. The result is a complete classification with a falsifiable statement and a finite exception list. A notable strength is the concreteness of the local stability estimates: for example, Lemma 4.3 computes S_X(E)=3/8 and bounds S(W;Z)≤11/16, and Lemma 4.5 derives δ_p(X)≥176/161. The paper also supplies explicit equations and automorphisms for many of the examples in Section 5. The main limitation is that the boundary of the classification is inherited from a large body of external K-stability results, several of which are recent preprints; this dependence should be made fully transparent.
major comments (1)
- [§1.2 (partition of the 105 families)] The Main Theorem is a statement about all smooth Fano 3-folds, but its 'not K-polystable ⇒ Condition (A) or exception' direction is decided at the level of the partition in §1.2. The paper's own arguments cover only the 25-family remainder in §§3.1 and 4, plus 19 of the 27 non-polystable families in §3.2. The K-polystability of the 53 families in group (i) and the K-instability of the 26 families in group (ii) are imported from [3,4,5,9,10,11,12,25,36,48] and [4,24]. Several of these are recent preprints, e.g., [5], [10], [12], [25], [36], and [48]. A single error in any of these cited classifications would change the eight-exception list or the condition that the listed exceptions are the only ones. Please state explicitly which cited theorem establishes the status of each family, and flag which entries depend on preprints rather than on published treatises. This is not a request to reprove the external classification, but the dependence should be visible to the reader so that the boundary of the theorem can be checked.
minor comments (7)
- [Abstract and §1.1] The phrase 'seven of them consists of one smooth member' should read 'seven of them consist of one smooth member'.
- [§1.2] The text says '26 families' are listed from [24] and then separately discusses Family №2.26, for a total of 27 non-K-polystable families. Make this count explicit so that the subsequent statement '19 of these families' and the remaining eight exceptions are unambiguous.
- [Lemma 4.5] In the sentence 'let S be a general surface in |H−E| that contains F', the symbol F is the divisor over X provided by Lemma 4.1 and is not a curve in X. The intended meaning appears to be 'contains C', where C is the fiber of the conic bundle through p. Please correct this.
- [Example 5.12] There is a parenthesis typo in the displayed transformation: '([y :z :x], [v :w :u)])' should be '([y :z :x], [v :w :u])'.
- [Example 5.17] The planes Π1={x1=x2=0} and Π2={x2=x4=0} intersect, so the conics Q∩Π1 and Q∩Π2 are not disjoint; the blowup described is therefore not a smooth member of Family №3.10, which requires blowing up two disjoint conics. Replacing Π2 by {x3=x4=0} gives disjoint A-invariant conics and repairs the example.
- [Example 5.20] The final sentence says 'S does not fix points in X'; it should say 'A does not fix points in X'.
- [§1.1 vs §§1.2–4] The eight exceptions are stated geometrically in §1.1, while the proof is organized by Mori–Mukai family numbers. Including a table that matches each geometric exception with its Mori–Mukai number (e.g., which of the remaining non-polystable families corresponds to P1×F1, to the blowup of P3 along a line, etc.) would make the boundary of the classification much easier to verify.
Circularity Check
No significant circularity: the main theorem is a new case analysis built on cited prior K-stability classifications, with no step reducing by construction to its inputs.
full rationale
The derivation chain is not circular. The paper partitions the 105 deformation families using external published classifications ([3,4,5,9,10,11,12,24,25,36,48]) and then adds a new Condition (A) analysis. Condition (A) is defined independently in terms of finite abelian automorphism subgroups; no parameter is fitted and no K-stability conclusion is used to define it. The main theorem is a genuine combination: for the 27 families known to be non-K-polystable, Section 3 proves Condition (A) for 19 and Section 5 constructs fixed-point-free abelian actions for the remaining 8; for the 25 families where only general members were known K-polystable, Section 4 proves that any member failing Condition (A) is K-polystable. The self-citations, e.g. to [1] for the arithmetic analogue and to [4,8,13] for individual K-stability facts, are to prior results with independent proofs, not to the present theorem; they are load-bearing but externally checkable, so they do not make the argument circular. The reliance on the cited completeness of the K-stability partition is a limitation (an error there would change the exception list), but it is not a reduction of the conclusion to the hypothesis.
Assumptions & free parameters
assumptions (6)
- standard math The complete classification of smooth Fano 3-folds into 105 deformation families (Iskovskikh, Mori, Mukai).
- domain assumption The K-stability classification of the 53 K-polystable families and of the 26 K-unstable families plus Family №2.26 from [3,4,5,9,10,11,12,24,25,36,48].
- standard math Equivariant birational invariance of fixed points for finite abelian group actions (Kollár-Szabó, Theorem 2.1).
- domain assumption Existence of G-invariant destabilizing divisors for non-K-polystable Fano 3-folds (Lemma 4.1, citing [24,35,37,49]).
- standard math Holomorphic Lefschetz fixed point theorem for rationally connected varieties (Remark 2.3).
- domain assumption Mori cone descriptions from [40, §III.3] for the relevant Fano 3-folds.
Cite this review
Pith. "Pith review of K-stability of Fano 3-folds in the World of Null-A." pith.science (2026). https://pith.science/paper/ZY2VGIZO
@misc{pith2026250504330,
author = {Pith},
title = {Pith review of: K-stability of Fano 3-folds in the World of Null-A},
year = {2026},
howpublished = {\url{https://pith.science/paper/ZY2VGIZO}},
note = {Machine review of arXiv:2505.04330}
}
read the original abstract
A variety is said to satisfy Condition (A) if every finite abelian subgroup of its automorphism group has a fixed point. We show that a smooth Fano 3-fold not satisfying Condition (A) is K-polystable unless it is contained in eight exceptional deformation families (seven of them consists of one smooth member, and one of them has one-parameter moduli).
Forward citations
Cited by 2 Pith papers
-
On K-stability of Fano's last Fanos
A smooth Fano threefold of Family no.2.16 is K-stable if a chosen finite automorphism group fixes no k-rational point of the singular locus of its discriminant quartic.
-
Smooth Fano 3-folds satisfying Condition (A)
Smooth Fano 3-folds are classified by Condition (A): all members of 35 families satisfy it, no members of 32 families satisfy it, and the remaining 38 families contain members that fail it.
Reference graph
Works this paper leans on
- [1]
-
[5]
G. Belousov, K. Loginov, K-stability of Fano 3-folds of rank 4 and degree 24, Eur. J. Math. 9 (2023), Paper No. 80, 20 p
work page 2023
-
[10]
I. Cheltsov, M. Fedorchuk, K. Fujita, A.-S. Kaloghiros , K-moduli of pure states of four qubits , preprint, arXiv:2412.19972, 2024
arXiv 2024
-
[12]
I. Cheltsov, K. Fujita, T. Kishimoto, J. Park, K-stable Fano 3-folds in the families 2.18 and 3.4 , preprint, arXiv:2304.11334, 2023
arXiv 2023
-
[25]
L. Giovenzana, T. Duarte Guerreiro, N. Viswanathan, On K-stability of P3 blown up along a (2,3) complete intersection, Journal of London Math. Society 110 (2024), Paper e12961
work page 2024
-
[36]
Y. Liu, K-stability of Fano 3-folds of rank 2 and degree 14 as double covers , to appear in Mathematische Zeitschrift
-
[48]
J. Zhao, K-stability of Thaddeus’ moduli of stable bundle pairs on ge nus two curves , preprint, arXiv:2412.18064, 2024
-
[2]
Abban, Z
H. Abban, Z. Zhuang, K-stability of Fano varieties via admissible flags , Forum of Mathematics Pi 10 (2022), 1–43
2022
Show all 49 references
-
[3]
Abban, Z
H. Abban, Z. Zhuang, Seshadri constants and K-stability of Fano manifolds , Duke Mathematical Journal 172 (2023) 1109–1144
2023
-
[4]
Araujo, A.-M
C. Araujo, A.-M. Castravet, I. Cheltsov, K. Fujita, A.-S . Kaloghiros, J. Martinez-Garcia, C. Shramov, H. S¨ uß, N. Viswanathan, The Calabi problem for Fano 3-folds , Cambridge University Press, 485 (2023)
2023
-
[6]
Belousov, K
G. Belousov, K. Loginov, K-stability of Fano 3-folds of rank 3 and degree 14, preprint, arXiv:2403.03700 (2024)
2024 arXiv
-
[7]
Cheltsov, Log canonical thresholds of del Pezzo surfaces , Geometric and Functional Analysis 11 (2008), 1118–1144
I. Cheltsov, Log canonical thresholds of del Pezzo surfaces , Geometric and Functional Analysis 11 (2008), 1118–1144
2008
-
[8]
Cheltsov, K-stability of Fano 3-folds of Picard rank 3 and degree 22, Sao Paulo Journal of Mathematical Sciences 18 (2024), 609–638
I. Cheltsov, K-stability of Fano 3-folds of Picard rank 3 and degree 22, Sao Paulo Journal of Mathematical Sciences 18 (2024), 609–638
2024
-
[9]
Cheltsov, E
I. Cheltsov, E. Denisova, K. Fujita, K-stable smooth Fano 3-folds of Picard rank two , Forum Math. Sigma 12 (2024), Paper No. e41, 64 p
2024
-
[11]
Cheltsov, K
I. Cheltsov, K. Fujita, T. Kishimoto, T. Okada, K-stable divisors in P1 × P1 × P2 of degree (1,1,2), Nagoya Mathematical Journal 251 (2023), 686–714
2023
-
[13]
Cheltsov, O
I. Cheltsov, O. Li, S. Ma’u, A. Pinardin, K-stability and space curves of degree 6 and genus 3, preprint, arXiv:2404.07803, 2024
2024 arXiv
-
[14]
Cheltsov, V
I. Cheltsov, V. Przyjalkowski, C. Shramov, Hyperelliptic and trigonal Fano 3-folds , Izv. Math. 69 (2005), 365–421
2005
-
[15]
Cheltsov, V
I. Cheltsov, V. Przyjalkowski, C. Shramov, Fano 3-folds with infinite automorphism groups , Izvestia: Math. 83 (2019), 860–907
2019
-
[16]
Cheltsov, C
I. Cheltsov, C. Shramov, Cremona groups and the icosahedron , CRC press, 2015
2015
-
[17]
Cheltsov, Yu
I. Cheltsov, Yu. Tschinkel, Zh. Zhang, Equivariant geometry of singular cubic threefolds , Forum Math. Sigma, to appear
-
[18]
Cheltsov, Yu
I. Cheltsov, Yu. Tschinkel, Zh. Zhang, Equivariant unirationality of Fano threefolds , preprint, arXiv:2502.19598, 2025
2025 arXiv
-
[19]
Corti, Singularities of linear systems and 3-fold birational geom etry, London Mathematical Society Lecture Note Series 281 (2000), 259–312
A. Corti, Singularities of linear systems and 3-fold birational geom etry, London Mathematical Society Lecture Note Series 281 (2000), 259–312
2000
-
[20]
Denisova, On K-stability of P3 blown up along the disjoint union of a twisted cubic curve and a line , Journal of the London Math
E. Denisova, On K-stability of P3 blown up along the disjoint union of a twisted cubic curve and a line , Journal of the London Math. Society 109 (2024), Paper e12911. 26
2024
-
[21]
Dolgachev, Invariant stable bundles over modular curves X(p), in: Recent Progress in Algebra (Taejon/Seoul, 1997), Contemporary Mathematics 224, Amer
I. Dolgachev, Invariant stable bundles over modular curves X(p), in: Recent Progress in Algebra (Taejon/Seoul, 1997), Contemporary Mathematics 224, Amer. Math. Soc., Providence, RI, 1999, 65–99
1997
-
[22]
Fantechi, R
B. Fantechi, R. Pardini, Automorphisms and moduli spaces of varieties with ample can onical class via deformations of abelian covers, Communications in Algebra 25 (1997), 1413–1441
1997
-
[23]
Fujita, On K-stability and the volume functions of Q-Fano varieties, Proc
K. Fujita, On K-stability and the volume functions of Q-Fano varieties, Proc. Lond. Math. Soc. 113 (2016), 541–582
2016
-
[24]
Fujita, A valuative criterion for uniform K-stability of Q-Fano varieties, J
K. Fujita, A valuative criterion for uniform K-stability of Q-Fano varieties, J. Reine Angew. Math. 751 (2019), 309–338
2019
-
[26]
Gonzalez-Aguilera, A
V. Gonzalez-Aguilera, A. Liendo, P. Montero, On the liftability of the automorphism group of smooth hyper surfaces of the projective space , Isr. J. Math. 255 (2023), 283–310
2023
-
[27]
Iliev, Log-terminal singularities of algebraic surfaces , Mosc
A. Iliev, Log-terminal singularities of algebraic surfaces , Mosc. Univ. Math. Bull. 41 (1986), 46–53
1986
-
[28]
Iskovskikh, Yu
V. Iskovskikh, Yu. Prokhorov, Fano varieties, Encyclopaedia of Mathematical Sciences 47 (1999) Springer, Berlin
1999
-
[29]
Kawamata, Subadjunction of log canonical divisors II , American J
Y. Kawamata, Subadjunction of log canonical divisors II , American J. Math. 120 (1998), 893–899
1998
-
[30]
Knutsen, A note on Seshadri constants on general K3 surfaces , C
A. Knutsen, A note on Seshadri constants on general K3 surfaces , C. R., Math., Acad. Sci. Paris 346, (2008), 1079–1081
2008
-
[31]
Koll´ ar, F.-O
J. Koll´ ar, F.-O. Schreyer, Real Fano 3-folds of type V22, The Fano conference, 515–531, Univ. Torino, Turin, 2004
2004
-
[32]
The LMFDB Collaboration, The L-functions and modular forms database , https://www.lmfdb.org, 2025
2025
-
[33]
Kuznetsov, Yu
A. Kuznetsov, Yu. Prokhorov, C. Shramov, Hilbert schemes of lines and conics and automorphism groups of Fano 3-folds, Japanese Journal of Mathematics 13 (2018), 109–185
2018
-
[34]
Lazarsfeld, Positivity in Algebraic Geometry II , Ergeb
R. Lazarsfeld, Positivity in Algebraic Geometry II , Ergeb. Math. Grenzgeb. 49, Springer, 2004
2004
-
[35]
Li, K-semistability is equivariant volume minimization , Duke Math
C. Li, K-semistability is equivariant volume minimization , Duke Math. J. 166 (2017), 3147–3218
2017
-
[37]
Y. Liu, C. Xu, Z. Zhuang, Finite generation for valuations computing stability thre sholds and applications to K-stability , Ann. of Math. 196 (2022), 507–566
2022
-
[38]
Malbon, Automorphisms of Fano threefolds of rank 2 and degree 28, Annalli dell’Universita di Ferrara 70 (2024), 1083–1092
J. Malbon, Automorphisms of Fano threefolds of rank 2 and degree 28, Annalli dell’Universita di Ferrara 70 (2024), 1083–1092
2024
-
[39]
Malbon, K-stable Fano 3-folds of rank 2 and degree 28, preprint, arXiv:2304.12295, 2023
J. Malbon, K-stable Fano 3-folds of rank 2 and degree 28, preprint, arXiv:2304.12295, 2023
2023 arXiv
-
[40]
Matsuki, Weyl groups and birational transformations among minimal m odels, Mem
K. Matsuki, Weyl groups and birational transformations among minimal m odels, Mem. Am. Math. Soc. 557 (1995), 133 pages
1995
-
[41]
Nadel, Multiplier ideal sheaves and K¨ ahler–Einstein metrics of p ositive scalar curvature , Annals of Mathematics 132 (1990), 549–596
A. Nadel, Multiplier ideal sheaves and K¨ ahler–Einstein metrics of p ositive scalar curvature , Annals of Mathematics 132 (1990), 549–596
1990
-
[42]
Namikawa, Smoothing Fano 3-folds , J
Y. Namikawa, Smoothing Fano 3-folds , J. Algebr. Geom. 6 (1997), 307–324
1997
-
[43]
Prokhorov, G-Fano 3-folds
Yu. Prokhorov, G-Fano 3-folds. II , Adv. Geom. 13 (2013), 419–434
2013
-
[44]
Reichstein, B
Z. Reichstein, B. Youssin, Essential dimensions of algebraic groups and a resolution t heorem for G-varieties, with an appendix by J. Koll´ ar and E. Szabo, Canad. J. Math. 52 (2000), no. 5, 1018–1056
2000
-
[45]
Reid, Chapters on algebraic surfaces , IAS/Park City Math
M. Reid, Chapters on algebraic surfaces , IAS/Park City Math. Ser. 3 (1997), 3–159
1997
-
[46]
Rim, Equivariant G-structure on versal deformations , Transactions of the American Mathematical Society 257 (1980), 217–226
D. Rim, Equivariant G-structure on versal deformations , Transactions of the American Mathematical Society 257 (1980), 217–226
1980
-
[47]
Schreyer, Geometry and algebra of prime Fano 3-folds of genus 12 , Compos
F.-O. Schreyer, Geometry and algebra of prime Fano 3-folds of genus 12 , Compos. Math. 127 (2001), 297–319
2001
-
[49]
Zhuang, Optimal destabilizing centers and equivariant K-stabilit y, Invent
Z. Zhuang, Optimal destabilizing centers and equivariant K-stabilit y, Invent. Math. 226 (2021), 195–223. Hamid Abban University of Nottingham, Nottingham, England hamid.abban@nottingham.ac.uk Ivan Cheltsov University of Edinburgh, Edinburgh, Scotland i.cheltsov@ed.ac.uk Takas...
2021
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.