Pith. sign in

REVIEW 3 major objections 6 minor 1 cited by

Smooth Fano 3-folds satisfying Condition (A)

T0 review · 3 major / 6 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper classifies all 105 deformation families of smooth Fano 3-folds according to Condition (A): every finite abelian subgroup of the automorphism group fixes a point.

desk verdict Likely-correct full classification of Condition (A) for smooth Fano 3-folds, but the lone example for family №1.8 rests on an unproved smoothness claim that a referee should pin down. read the letter →

arxiv 2505.13684 v1 pith:BVDMTI4U submitted 2025-05-19 math.AG

Hamid Abban , Ivan Cheltsov , Takashi Kishimoto , Frederic Mangolte This is my paper · ORCID
classification math.AG MSC 14J4514J5014L3014G05
keywords Fano3-foldsCondition(A)finiteabeliangroupactionsfixedpointsdeformationfamiliesautomorphismgroupsrationalunirationality
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Condition (A) asks whether every finite abelian subgroup of a smooth variety's automorphism group fixes at least one point. The paper aims to answer this question completely for smooth Fano 3-folds over the complex numbers, working family by family through the standard list of 105 deformation families. The Main Theorem splits the list into three parts: families where every member satisfies Condition (A), families where no member satisfies it, and the remaining families, each of which contains a smooth member that fails it. The result matters because fixed-point behaviour of finite abelian groups connects to birational geometry and to arithmetic properties such as $k$-unirationality and the existence of $k$-points, which the paper develops in a corollary and in Proposition B.

What carries the argument

The machine that carries the classification has three parts. First, the standard list of 105 deformation families of smooth Fano 3-folds fixes the vocabulary of the answer. Second, the paper repeatedly uses fixed-point lifting: if $\varphi\colon X\to Y$ is an $A$-equivariant birational morphism and $A$ fixes a point in $Y$, then $A$ fixes a point in $X$ (from [26, Proposition A.4]); together with the curve fixed-point lemma [3, Lemma 2.4], this transfers absence of fixed points along the equivariant birational links used in constructions. Third, the explicit counterexamples are mostly built from coordinate actions — sign changes or root-of-unity multiplications — on hypersurfaces, complete intersections, blow-ups, and double covers, giving abelian groups isomorphic to $(\mathbb{Z}/2\mathbb{Z})^m$ or $(\mathbb{Z}/d\mathbb{Z})^m$ whose fixed-point loci can be computed directly.

What would settle it

Find a smooth Fano 3-fold in any of the 35 families listed in the first part of the Main Theorem (for instance №1.10) that admits a finite abelian subgroup of Aut(X) with empty fixed-point locus; such a member would falsify the positive half of the classification.

Watch

Extended reading notes

Core claim

The central result is a complete family-by-family classification of when smooth Fano 3-folds satisfy Condition (A). For the 35 families listed first in the Main Theorem, every member has the property that every finite abelian subgroup of its automorphism group fixes a point. For the 32 families listed second, every member fails the property. For each of the remaining 38 families, the paper constructs or imports a smooth member together with a fixed-point-free finite abelian group action, so those families are not covered by a universal answer. The proof works case by case through the deformation families, combining results imported from the companion papers [2] and [3] with equivariant birational geometry: blow-ups and double covers are used to move a group action from a simpler variety to the Fano threefold, and fixed points are transferred along equivariant morphisms using [26, Proposition A.4] together with the curve fixed-point lemma [3, Lemma 2.4]. Two consequences round out the paper: Corollary A lists families containing members over some subfield $k\subset\mathbb{C}$ that are not $k$-unirational, and Proposition B gives families where every member over any subfield has a $k$-point, alongside families containing real or rational pointless members. An appendix proves that over any subfield $k$, a smooth member of the degree-14 family №1.7 has a $k$-point if and only if it is $k$-unirational if and only if it is birational to a smooth cubic threefold.

Load-bearing premise

The classification leans on results imported from the companion preprint [3], which account for Condition (A) holding in thirty families and for several families failing it; if any of those imported results is wrong, the lists in the Main Theorem change.

Editorial extensions

If this is right

  • Every member of the 35 first-list families satisfies Condition (A), so no matter which smooth Fano 3-fold is chosen from those families, every finite abelian automorphism group fixes a point.
  • Every smooth member of the 32 second-list families violates Condition (A): each family comes with a finite abelian subgroup that acts without fixed points.
  • The 38 remaining families each contain at least one smooth Fano 3-fold that violates Condition (A), so the property is not automatic in those families.
  • Corollary A follows: the families it lists contain a smooth member over some subfield $k\subset\mathbb{C}$ that is not $k$-unirational, connecting the fixed-point failure to birational non-unirationality.
  • Proposition B follows: the families in its first list always admit $k$-points over every subfield $k$, while the complementary families contain real smooth pointless members and some contain $\mathbb{Q}$-pointless members.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Inference: For the 38 remaining families the theorem only asserts existence of a failing member. A natural refinement, left open by the paper, is whether Condition (A) fails for every smooth member in those families or only for a proper subfamily; most of the constructed examples are special, so the latter seems plausible.
  • Inference: The appendix's equivalence for degree-14 Fano threefolds (having a $k$-point, being birational to a smooth cubic threefold, and being $k$-unirational) may extend to other families where Condition (A) holds, yielding a uniform criterion for $k$-unirationality in those positive families.
  • Inference: The fixed-point-free abelian actions exhibited throughout can be read as statements about the essential dimension of the automorphism groups involved, a consequence the paper does not spell out.
  • Inference: The three-part classification suggests a moduli question the authors do not raise: whether 'every finite abelian subgroup fixes a point' is a deformation-invariant property on each connected component of a deformation family; if it were, the mixed families would decompose into components with different behaviour.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 6 minor

Summary. The paper classifies the 105 deformation families of smooth Fano 3-folds with respect to Condition (A), which requires every finite abelian automorphism subgroup to fix a point. The Main Theorem asserts that 35 families consist entirely of varieties satisfying Condition (A), 32 families have no members satisfying it, and each of the remaining 38 families contains at least one smooth Fano 3-fold that fails Condition (A). The proof combines results imported from the same-authors' preprints [2] and [3] with explicit examples of finite abelian group actions without fixed points. The paper also derives consequences about rational points and unirationality over subfields, and the appendix gives a proof of a unirationality criterion for degree-14 Fano 3-folds.

Significance. If the imported results in [3] are correct, the Main Theorem is a complete, family-by-family answer to a natural fixed-point question for all smooth Fano 3-folds. The explicit examples are concrete and several are accompanied by checkable group actions; the appendix's characterization of k-unirationality for family No.1.7 is a useful self-contained contribution. The main caveat is that a substantial portion of the classification is delegated to the same-authors' preprint [3], and a few examples, most importantly Example 2.9, assert smoothness of a specific variety without a verifiable proof. The paper is therefore not yet self-contained, and the classification is conditional on the validity of external results.

major comments (3)
  1. [Section 2, first paragraph] The Main Theorem's positive direction for 30 of the 35 families is imported from the companion preprint [3], and the non-satisfaction statements for the families listed after Lemma 2.1 (e.g., No.4.13) are also taken from [3]. Since [3] is a same-author preprint, the proof of the classification is not self-contained. Please either include the precise statements from [3] that are used, with proofs or numbered references, or explicitly state that the Main Theorem is conditional on the validity of [3].
  2. [Example 2.9] The 3-fold X cut out in LGr(3,6) by the three displayed linear equations is asserted to be a smooth Fano 3-fold in family No.1.8, but no proof or Jacobian computation is provided. The acknowledgement to Zhijia Zhang for 'checking the smoothness' does not give a verifiable argument. Since Example 2.9 is the sole support for the classification of family No.1.8 in the 'remaining' list, this is load-bearing. Please provide a computational certificate of smoothness (e.g., a Macaulay2 script that checks the Jacobian rank on the variety) or a geometric argument that this linear section is smooth, and confirm explicitly that it lies in family No.1.8.
  3. [Examples 2.15 and 2.18] The phrases 'sufficiently general complex number' and 'general number' are used to guarantee smoothness of the constructed divisor or curve. The proof does not explain why the set of bad parameters is proper in the parameter space. Since these examples are used to establish that a specific deformation family contains a smooth Fano 3-fold failing Condition (A), please add a sentence explaining that the relevant smoothness or nondegeneracy condition is Zariski open and giving a concrete way to choose the parameter.
minor comments (6)
  1. [Example 2.9] The claim that the group A fixes no points in X can be made transparent: A-fixed points in V have X=Y=tI3 and u=v, and the first linear equation then gives 5923t=0, impossible. Adding this one-line argument would strengthen the example.
  2. [Theorem A.1] Condition (2) includes 'X(k)≠∅', which is redundant for the equivalence as proved; the substantive statement is the equivalence between the existence of a k-point and k-unirationality. Consider reformulating condition (2) to avoid the redundancy.
  3. [Example 2.23] The symbol X is used both for the singular double cover and for the smooth Fano 3-fold obtained after resolution. Please distinguish the two varieties with different names to avoid confusion.
  4. [Throughout] There are several typographical issues: the title contains 'F ano', 'c.f.' should be 'cf.' in Corollary A, Example 2.25 contains '[x1 : y1[' instead of '[x1 : y1]', and Example 2.20 has a double plus sign in the displayed equation.
  5. [Section 3, proof of Lemma 3.1] In the first paragraph of the proof, 'which must be defined over k. so, in particular, X(k)≠∅' has a capitalization and punctuation error; it should read 'which must be defined over k, so in particular X(k)≠∅'.
  6. [Section 2, after Lemma 2.1] The references to [3] are given as blanket citations. Please cite specific theorem or lemma numbers so the reader can verify which imported statements are actually being used.

Circularity Check

1 steps flagged · score 4.0 of 10

Positive classification for 30 families is imported from same-authors preprint [3]; explicit examples provide independent content for the rest.

  1. self citation load bearing [Section 2, first paragraph (proof of the Main Theorem)]
    "If X is contained in one of the deformation families №1.10, №1.15, №2.9, №2.11, №2.13, №2.14, №2.17, №2.20, №2.22, №2.26, №2.28, №2.30, №2.31, №2.35, №2.36, №3.8, №3.11, №3.14, №3.16, №3.18, №3.21, №3.22, №3.23, №3.24, №3.26, №3.29, №3.30, №4.5, №4.9, №4.11, then it follows from [3] that X satisfies Condition ( A)."

    This paragraph is the entire proof for 30 of the 35 families asserted to satisfy Condition (A) in the Main Theorem; no derivation is given here, and [3] is the same four authors' companion preprint. The classification for those families therefore rests on a same-author citation rather than on an argument reproduced in this paper. The later sentence 'it has been shown in [3]' similarly imports the negative result for №2.33, №3.31, №4.8, №4.12, №5.2 and the 'contains a non-A member' claim for 16 further families. The remaining explicit examples give independent content, so the circularity is partial, not total.

full rationale

The paper is transparent about being the threequel of [2,3]: it states 'Since this paper is the threequel of [2, 3], we will use many results obtained in these two papers.' The Main Theorem's positive classification for 30 of 35 families is explicitly imported from [3], a preprint by the exact same four authors, and substantial negative/remaining cases are also imported from [3]. This is load-bearing self-citation: for those cases the paper's derivation chain reduces to the same authors' prior claim rather than to a proof reproduced here. However, the paper does contain substantial independent content: Lemma 2.1 proves the positive statement for five further families by explicit equivariant birational arguments, and the many Examples in Section 2 construct explicit smooth Fano 3-folds with explicit abelian automorphism subgroups that fail Condition (A). These examples are self-contained and externally checkable, so the central claim is not merely a renaming or a fitted parameter disguised as a prediction. One concrete non-circular gap should be noted: Example 2.9 asserts smoothness of the family №1.8 example with no Jacobian computation, the acknowledgements saying only that Zhijia Zhang 'helped with checking the smoothness'; this is a missing proof, not a circular step. No equation-level circularity, fitted-input-called-prediction, or imported uniqueness theorem was found. Score 4 reflects the substantial same-author importation without alleging that the whole classification is vacuous.

Assumptions & free parameters 2 free parameters · 4 assumptions · 0 invented entities

The central claim rests on the standard Fano classification, on companion papers by the same authors that carry a large share of the proof, and on unstated smoothness checks in several explicit examples. No new physical or algebraic entities are postulated.

free parameters (2)
  • Ad hoc integer coefficients (1967, 1973, 1983, 2024, 2025) in Example 2.9 and similar examples = various integers
    Chosen by hand to build smooth A-invariant Fano 3-folds with prescribed automorphism actions; they are not fitted to data, but the examples only work for these or sufficiently general choices.
  • General parameters λ, ε, a_i in examples
    The paper invokes 'sufficiently general' complex numbers to ensure smoothness; no explicit values or existence proof is given, so the claims depend on these choices.
assumptions (4)
  • standard math The Mori-Mukai classification of smooth Fano 3-folds into 105 deformation families is complete and correct.
    Used throughout to index the classification; cited to [6,15,23].
  • domain assumption The results of the companion papers [2] and [3] (Abban-Cheltsov-Kishimoto-Mangolte) are correct.
    Section 2 first paragraph and subsequent passages delegate many family classifications to these same-author preprints; the Main Theorem inherits their correctness.
  • standard math Duncan's lemma and fixed-point lifting through equivariant birational morphisms [3, Lemma 2.4; 26, Proposition A.4].
    Used throughout Lemma 2.1 and examples to transfer fixed points from birational models.
  • ad hoc to paper Smoothness of the specific varieties constructed in Examples 2.2, 2.9, 2.12, 2.15, 2.20, 2.23, and others.
    Asserted in the text; only Example 2.9's smoothness is attributed to a private check, with no certificate or code provided.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Smooth Fano 3-folds satisfying Condition (A)." pith.science (2026). https://pith.science/paper/BVDMTI4U

@misc{pith2026250513684,
  author       = {Pith},
  title        = {Pith review of: Smooth Fano 3-folds satisfying Condition (A)},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BVDMTI4U}},
  note         = {Machine review of arXiv:2505.13684}
}
read the original abstract

A smooth variety is said to satisfy Condition (A) if every finite abelian subgroup of its automorphism group has a fixed point. We classify smooth Fano 3-folds that satisfy Condition (A).

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A rationality criterion for real Fano threefolds

    math.AG 2025-07 conditional novelty 7.0 of 10

    For smooth geometrically rational real Fano threefolds with nonempty real locus, the absence of any deformation-equivalent real form with disconnected real locus forces R-rationality.

Reference graph

Works this paper leans on

31 extracted references · 27 canonical work pages · cited by 1 Pith paper

  1. [3]

    Abban, I

    H. Abban, I. Cheltsov, T. Kishimoto, F. Mangolte, K-stability of Fano 3-folds in the World of Null-A , preprint, arXiv:2505.04330, 2025. 15

    arXiv 2025

  2. [2]

    Abban, I

    H. Abban, I. Cheltsov, T. Kishimoto, F. Mangolte, K-stability of pointless del Pezzo surfaces and Fano 3-folds , preprint, arXiv:2411.00767, 2024

    arXiv 2024

  3. [1]

    Abban, I

    H. Abban, I. Cheltsov, E. Denisova, E. Etxabarri-Alberdi, A.-S. Kaloghiros, D. Jiao, J. Martinez-Garcia, T. Papazachar- iou, One-dimensional components in the K-moduli of smooth Fano 3-folds , J. Algebraic Geom. 34 (2025), 489–534

    work page 2025

  4. [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 threefolds , Cambridge University Press, 485 (2023)

    work page 2023

  5. [5]

    Beauville, Finite simple groups of small essential dimension , Springer INdAM Series 8 (2014), 221–228

    A. Beauville, Finite simple groups of small essential dimension , Springer INdAM Series 8 (2014), 221–228

    work page 2014

  6. [6]

    Belmans, Fanography, https://fanography.info, 2025

    P. Belmans, Fanography, https://fanography.info, 2025

    work page 2025

  7. [7]

    Cheltsov, T

    I. Cheltsov, T. Duarte Guerreiro, K. Fujita, I. Krylov, J. Martinez-Garcia, K-stability of Casagrande-Druel varieties , to appear in Journal fur die Reine und Angewandte Mathematik

    work page

  8. [8]

    K-moduli of pure states of four qubits

    I. Cheltsov, M. Fedorchuk, K. Fujita, A.-S. Kaloghiros,K-moduli of pure states of four qubits, preprint, arXiv:2412.19972, 2024

    work page Pith review arXiv 2024

Show all 31 references
  1. [9]

    Cheltsov, V

    I. Cheltsov, V. Przyjalkowski, C. Shramov, Hyperelliptic and trigonal Fano threefolds , Izv. Math. 69 (2005), 365–421

    2005

  2. [10]

    Cheltsov, C

    I. Cheltsov, C. Shramov, Cremona groups and the icosahedron , CRC Press, Boca Raton, FL, 2016

    2016

  3. [11]

    Cheltsov, Yu

    I. Cheltsov, Yu. Tschinkel, Zh. Zhang, Equivariant unirationality of Fano threefolds , preprint, arXiv:2502.19598, 2025

    2025 arXiv

  4. [12]

    H. Dai, B. Xue, Rational points on cubic hypersurfaces that split off two forms, Bull ˙Lond. Math. Soc. 46 (2014), 169–184

    2014

  5. [13]

    Duncan, Z

    A. Duncan, Z. Reichstein, Versality of algebraic group actions and rational points on twisted varieties , J. Algebraic Geom. 24 (2015), 499–530

    2015

  6. [14]

    Iliev, K

    A. Iliev, K. Ranestad, Geometry of the Lagrangian Grassmannian LG(3, 6) with applications to Brill-Noether loci , Mich. Math. J. 53 (2005), 383–417

    2005

  7. [15]

    Iskovskikh, Yu

    V. Iskovskikh, Yu. Prokhorov, Fano varieties, Encyclopaedia of Mathematical Sciences 47 (1999) Springer, Berlin

    1999

  8. [16]

    Jahnke, T

    P. Jahnke, T. Peternell, I. Radloff, Threefolds with big and nef anticanonical bundles. I, Math. Ann. 333 (2005), 569–631

    2005

  9. [17]

    Koll´ ar,Unirationality of cubic hypersurfaces , J

    J. Koll´ ar,Unirationality of cubic hypersurfaces , J. Inst. Math. Jussieu 1 (2002), 467–476

    2002

  10. [18]

    Koll´ ar,Severi-Brauer varieties; a geometric treatment , preprint, arXiv:1606.04368, 2016

    J. Koll´ ar,Severi-Brauer varieties; a geometric treatment , preprint, arXiv:1606.04368, 2016

    2016 arXiv

  11. [19]

    Kuznetsov, Yu

    A. Kuznetsov, Yu. Prokhorov, Rationality of Fano threefolds over non-closed fields , Am. J. Math. 145 (2023), 335–411

    2023

  12. [20]

    Kuznetsov, Yu

    A. Kuznetsov, Yu. Prokhorov, Rationality over nonclosed fields of Fano threefolds with higher geometric Picard rank , J. Inst. Math. Jussieu 23 (2024), 207–247

    2024

  13. [21]

    The LMFDB Collaboration, The L-functions and modular forms database , https://www.lmfdb.org, 2025

    2025

  14. [22]

    Matsuki, Weyl groups and birational transformations among minimal models , Mem

    K. Matsuki, Weyl groups and birational transformations among minimal models , Mem. Am. Math. Soc. 557 (1995), 133 pages

    1995

  15. [23]

    S. Mori, S. Mukai, Classification of Fano threefolds with B2⩾ 2, Manuscr. Math. 36 (1981), 147–162; Erratum, Manuscr. Math. 110 (2003), 407

    1981

  16. [24]

    Poonen, Rational points on varieties , Graduate Studies in Mathematics 186, American Mathematical Society, 2017

    B. Poonen, Rational points on varieties , Graduate Studies in Mathematics 186, American Mathematical Society, 2017

    2017

  17. [25]

    Prokhorov, Simple finite subgroups of the Cremona group of rank 3, J

    Yu. Prokhorov, Simple finite subgroups of the Cremona group of rank 3, J. Algebr. Geom. 21 (2012), 563–600

    2012

  18. [26]

    Reichstein, B

    Z. Reichstein, B. Youssin, Essential dimensions of algebraic groups and a resolution theorem for G-varieties, with an appendix by J. Koll´ ar and E. Szabo, Canad. J. Math. 52 (2000), no. 5, 1018–1056

    2000

  19. [27]

    Reid, The complete intersection of two or more quadrics , Ph.D

    M. Reid, The complete intersection of two or more quadrics , Ph.D. Thesis, Trinity College, Cambridge, 1972

    1972

  20. [28]

    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

  21. [29]

    Springer, Sur les formes quadratiques d’indice zero , C

    T. Springer, Sur les formes quadratiques d’indice zero , C. R. Acad. Sci. Paris 234 (1952), 1517–1519

    1952

  22. [30]

    Takeuchi, Some birational maps of Fano 3-folds , Compos

    K. Takeuchi, Some birational maps of Fano 3-folds , Compos. Math. 71 (1989), 265–283

    1989

  23. [31]

    Tschinkel, Z

    Yu. Tschinkel, Z. Zhang, Stable equivariant birationalities of cubic and degree 14 Fano threefolds , preprint, arXiv:2409.08392, 2024. Hamid Abban University of Nottingham, Nottingham, England hamid.abban@nottingham.ac.uk Ivan Cheltsov University of Edinburgh, Edinburgh, Scotl...

    2024 arXiv

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.