Pith. sign in

REVIEW 2 major objections 6 minor 22 references

Every smooth cubic fourfold with a cyclic group of symplectic automorphisms of order not a power of 2 is rational, and the paper places each one in the Hassett divisor C14 or C42.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

Cubic fourfolds admitting a cyclic group of symplectic automorphisms of order not a power of 2 are rational and lie in the Hassett divisors C_14 or C_42.

T0 review reviewed 2026-08-04 challenge →

load-bearing objection Useful reductions for orders 6 and 9, but the n=12 and 15 cases are not proven as written and rest on an unjustified classification leap. the 2 major comments →

arxiv 2509.06817 v1 pith:Q36C7HNG submitted 2025-09-08 math.AG

Rational cubic fourfolds with a symplectic group of automorphisms

Claudio Pedrini This is my paper
classification math.AG MSC 14J3514J5014E0814J2814F08
keywords cubic fourfoldssymplectic automorphismsrationalityHassett divisorsK3 surfacesKuznetsov componentsLech pairsderived categories
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The reading

The paper proves that every smooth cubic fourfold admitting a cyclic group of symplectic automorphisms of order not a power of 2 is rational, making the conjectural K3-rationality criterion unconditional in these cases. Rationality is explicit: each such fourfold lies in the Hassett divisor C14 or C42, two loci where birational maps to projective 4-space are already known. For cyclic orders 4 and 8, the whole family is not claimed rational, but the paper exhibits rational subfamilies in C8∩C12. The same normal-form analysis shows that the exceptional cubics with rank-19 or rank-20 coinvariant lattices—the Fermat, Klein, Clebsch, X12, X15, and the two M10-invariant cubics—are all rational and sit in C14 or C42. A final section shows that for certain K3 surfaces with an order-3 symplectic automorphism, the equivariant Kuznetsov component of the associated cubic is equivalent to the Kuznetsov component of another cubic with half the Hassett parameter.

Core claim

The central claim is a containment statement: if a smooth cubic fourfold X has a cyclic group G of symplectic automorphisms of order n, and n is not a power of 2, then X is rational and belongs to the Hassett divisor C_d for d=14 or d=42. The proof is case-by-case over the allowed orders {3,4,5,6,7,8,9,11,12,15} supplied by [LZ]. For order 3, the invariant families V1, V2, V3 are rational and land in C14 or C42; for orders 5, 7, 11 the families F5, F7 and the Klein cubic land in C42; for orders 6, 9, 12, 15 the paper reduces the equations to the same V1, V2, V3 normal forms, giving C14 or C42. For orders 4 and 8, rationality is proved only for a subfamily lying in C8∩C12. Section 3 records t

What carries the argument

The machinery is the reduction of cyclic symplectic actions to explicit normal forms. A symplectic automorphism of a cubic fourfold acts trivially on the unique holomorphic 2-form of the Fano variety of lines, forcing the generator to be a diagonal coordinate action with root-of-unity weights. The paper matches every allowed order to one of the families V1, V2, V3, F5, F7: V1 and V2 contain two disjoint planes (hence rational and in C14), V3 and F7 satisfy the lattice criterion placing them in C42, and F5 contains rational cubics in C42. The Hassett divisors C_d are the coarse moduli loci where the cubic fourfold has an extra algebraic class of square d; membership in C14 or C42 is what make

Load-bearing premise

The paper's argument assumes the classification of cyclic symplectic automorphism groups from [LZ] and [Fu] is complete: every order-6 and order-9 cyclic action is conjugate to one of the listed normal forms (F1/F2 and g1/g2), and that these families are contained in the rational families V1, V2, V3. The paper does not reprove or check this classification; if a case is missing, the main theorem's coverage is incomplete.

What would settle it

Exhibit a smooth cubic fourfold with a symplectic automorphism of order 6 or 9 whose generator is not conjugate to one of the listed normal forms F1/F2 or g1/g2—for instance by computing the eigenvalue multiplicities of the diagonal action on P^5 and finding a pattern not represented in the paper's spans. A single such invariant cubic outside V1∪V2∪V3∪F5∪F7 would show the main theorem does not cover all cyclic non-2-power cases.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • Every smooth cubic fourfold with a cyclic symplectic automorphism group of order 3, 5, 6, 7, 9, 11, 12, or 15 is rational, without invoking the K3-rationality conjecture.
  • The rational cubics with such symmetries are distributed between exactly two Hassett divisors: each lies in C14 or C42, and no other d occurs.
  • For orders 4 and 8, the cyclic symplectic families contain rational subfamilies in C8∩C12, even though the full families are not covered by the main theorem.
  • The rank-19 and rank-20 cases of the Lech-pair classification are all accounted for by rational cubics with explicit Hassett divisor membership, including the Fermat, Klein, Clebsch, X12, X15, and M10 cubics.
  • Under the numerical condition of Proposition 4.4, an order-3 equivariant Kuznetsov component A^G_X is equivalent to the Kuznetsov component of another cubic fourfold X' whose Hassett parameter is halved (from C_{6d} to C_{2d}).

Where Pith is reading between the lines

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

  • The numerical condition in Proposition 4.4, (n^2+n+1)/3 + 1 = m^2+m+2, is equivalent to the Pell-type equation (2n+1)^2 − 3(2m+1)^2 = 6, which has infinitely many integer solutions. The two examples in the paper, n=4 and n=16, are the first two, so the equivariant-Kuznetsov equivalence likely holds in infinitely many degrees.
  • The order-4 and order-8 subfamilies in C8∩C12 show that the rationality boundary is not simply 'order not a power of 2'; because the normal forms are explicit, one could try to characterize exactly which order-4 or order-8 cubics are rational, a question the paper leaves open.
  • If the classification assumptions in [LZ] and [Fu] are accepted, the paper's normal forms make the birational maps to P^4 constructive: each case reduces to a known two-plane or scroll construction, so the rationality certificates are explicit from the defining equations.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 6 minor

Summary. The note studies smooth cubic fourfolds with cyclic groups of symplectic automorphisms. Building on Ouchi's theorem that a symplectic automorphism group of order different from 2 produces an associated K3 surface, the paper claims that every cubic fourfold with a cyclic symplectic group of order not a power of 2 is rational and belongs to the Hassett divisor C14 or C42. The argument uses normal-form classifications for orders 3, 5, 6, 7, 9, and 11, placing them in the families V1/V2/V3 or F5/F7/F11; for orders 12 and 15 it invokes the isolated cubics X12 and X15 from the rank-20 list of [LZ, Thm.1.8]. A final section discusses Lech pairs of rank 19/20, natural automorphisms, and equivariant Kuznetsov components.

Significance. If the main theorem is correct, it gives a clean and explicit classification consequence: all non-2-power cyclic symplectic automorphism groups force rationality and force the fourfold into one of two well-understood Hassett divisors. The paper's strengths are its explicit equations for the families V_i and F_i, the identification of the order-6 and order-9 normal forms, and the rationality of the isolated cubics X12 and X15 via the V2 family and known plane configurations. The derivations for orders 6 and 9 are concrete and consistent with the stated normal forms. However, the treatment of orders 12 and 15 is not complete as written; the main theorem's coverage of these orders rests on a classification of maximal rank-20 symplectic groups rather than on an exhaustion of all cyclic subgroups, as detailed below. The paper does not contain machine-checked proofs, but it is transparently based on published classifications and provides explicit polynomial normal forms.

major comments (2)
  1. [Section 2.3, equations (2.9)-(2.10)] The main theorem claims rationality and C14/C42 membership for every cubic fourfold with a cyclic symplectic group of order 12 or 15. The proof, however, only considers the two isolated cubics X12 and X15 taken from [LZ, Thm.1.8], which is a list of groups that are the full symplectic automorphism group with coinvariant rank S_G(X)=20. For a cubic fourfold X with a cyclic subgroup <σ> of order 12 or 15, if Aut_s(X) is larger than <σ>, then X need not appear in that rank-20 list, and no argument is given that rank S_<σ>(X)=20. Thus the claimed coverage for n=12 and n=15 is conditional on an unstated exhaustion of all cyclic subgroups of order 12 and 15, not on the cited maximal-group classification. Please either supply a classification/reference for all such cyclic actions, prove that every order-12 or order-15 cyclic symplectic action has coinvariant rank 20, or restrict the main theore
  2. [Section 2.3, sentences after (2.9) and (2.10)] The text asserts 'This is the only cubic fourfold with a symplectic automorphism of order 12' and 'This is the only smooth cubic fourfold with a symplectic automorphism σ of order 15.' These uniqueness assertions are load-bearing because they would close the gap described above, but no proof or precise reference is given. They do not follow from [LZ, Thm.1.8] as stated in the paper, since that theorem concerns rank-20 maximal symplectic automorphism groups. Please cite the exact result (for example a theorem in [LZ] or [YYZ]) that establishes uniqueness among all cubics with an order-12 or order-15 symplectic automorphism, or prove it.
minor comments (6)
  1. [Abstract] The phrase '(G, S_G(X), is a Lech pair where th rank' has a typo: it should read '(G, S_G(X)) is a Lech pair where the rank'.
  2. [Section 2.3, paragraph after (2.9)] The sentence 'family V2 in 2.3 of cubics whose equations are of the form f(x0,x1,x2,x3)+g(x3,x4,x5)=0' should presumably be f(x0,x1,x2)+g(x3,x4,x5), since V2 is defined in (2.2) as F(x0,x1,x2,x3,x4,x5)=f(x0,x1,x2)+g(x3,x4,x5)=0.
  3. [Section 2.1, after (2.6)] The sentence 'The algebraic lattice A(X) has order 17' should probably read 'has rank 17' or 'has discriminant 17'; as written 'order' is ambiguous.
  4. [Section 2, equation (2.1)] In the displayed equation for V1, the terms 'x3_4 + x3_5' appear to be a typo for 'x4^3 + x5^3'. Please correct.
  5. [Introduction and References] The introduction cites '[Hass 2]' for a codimension-two locus in C24, but the reference list contains only '[Hass]' and no '[Hass 2]'. Also the reference list duplicates [FFM] and [Fu].
  6. [Section 2.3, equation (2.10)] The description of X15 as a subvariety of P7 is correct only after intersecting with the two hyperplanes H1 and H2; as written it is a bit confusing since a cubic fourfold should live in P5. Please clarify that the cubic is the resulting P5 intersection.

Circularity Check

0 steps flagged

No circularity: claims are assembled from external classifications and geometric checks; the sole self-citation is an independent prior proposition.

full rationale

The derivation chain is not circular. The main theorem for n=3,5,7,11 is quoted from [BGM]; for n=6,9, the normal forms from [LZ] are shown directly to fall into the families V1/V2/V3, and the rationality/C_d statements for those families are proved in this paper (Prop. 2.3 for V2; V1/V3 from explicit disjoint planes and lattice arguments). For n=12, the isolated cubic X12 is shown to lie in V2 by inspection of its equation. For n=15, the rationality conclusion uses [Ped, Prop.3.6], a prior published proposition asserting the existence of two disjoint planes; this is a geometric fact independent of the theorem being proved and is not a fitted parameter or a restatement of the conclusion. The only self-citations in the paper are to [Ped] in the introduction, in Section 2.3, and in Section 4; none defines the target objects in terms of the conclusion. The order-12/15 coverage depends on the completeness of [LZ, Thm.1.8], which is an external classification; the paper does not prove that every cyclic subgroup of order 12 or 15 has coinvariant rank 20, and the skeptic's concern is a genuine correctness risk, but it is not circularity: no equation is being reused as its own input and no prediction is fitted. Section 4's equivariant comparison is a direct application of [GM] and [XH].

Axiom & Free-Parameter Ledger

0 free parameters · 7 axioms · 0 invented entities

The paper introduces no new free parameters or invented entities. It relies on a set of external theorems and classifications from the algebraic geometry literature, including several that are essential to the case analysis. The only self-cited result is [Ped, Prop.3.6] for X_15. No data fitting is involved.

axioms (7)
  • domain assumption Hassett divisor theory: for d satisfying the (corrected) numerical condition, C_d parametrizes cubic fourfolds with an associated K3 surface; cubics in C_14, C_26, C_38, C_42 are rational.
    Invoked in the Introduction and throughout to place cubics in C_14 or C_42; the paper's own statement of condition (*) appears misprinted, and rationality of those divisors is cited to [RS] and [Hass].
  • domain assumption A cubic fourfold containing two disjoint planes is rational (Colliot-Thelene [CT]).
    Used repeatedly in Sections 2 and 3, e.g., for V1, V2, X_15, the Clebsch cubic, to conclude rationality from the presence of two disjoint planes.
  • domain assumption Ouchi's theorem [Ou, Thm.8.1] and [BLMNPS, Cor.29.7]: a finite symplectic automorphism group of order not 2 yields A_X ≅ D^b(S) for a K3 surface S, and this is equivalent to a cohomologically associated K3 surface.
    Stated as Theorem 1.1 and used in the Introduction and Section 4 to reduce rationality to the existence of an associated K3.
  • domain assumption Classification of cyclic symplectic automorphism groups and their normal forms from [LZ], [Fu], [GAL].
    The entire case analysis in Section 2 depends on the completeness of this classification, e.g., the lists in [LZ, Lemma 4.22], [LZ, Thm.4.15], [LZ, Thm.1.8].
  • domain assumption Rationality and divisor membership of the families V1, V2, V3, F5, F7 from [BGM].
    The reductions for orders 6, 9, 12, 15 all rely on the fact that these families are rational and belong to C_14 or C_42, as proved in [BGM] and cited in Section 2.
  • domain assumption The assertion that X_15 contains two disjoint planes and is rational, cited to [Ped, Prop.3.6].
    Used in Section 2.3 to establish rationality of the unique order-15 cubic; the proposition is not proved in this note and is a self-citation.
  • domain assumption Rationality criterion from [BBH, 3.1.3] for cubics in C_8 ∩ C_12 with a cubic scroll S and planes Π_i satisfying S·Π_i = 0.
    Used in Section 2.4 to conclude rationality of the special subfamilies for orders 4 and 8.

reviewed 2026-08-04 · how reviews work

0 comments
Cite this review

Pith. "Pith review of Rational cubic fourfolds with a symplectic group of automorphisms." pith.science (2026). https://pith.science/paper/Q36C7HNG

@misc{pith2026250906817,
  author       = {Pith},
  title        = {Pith review of: Rational cubic fourfolds with a symplectic group of automorphisms},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Q36C7HNG}},
  note         = {Machine review of arXiv:2509.06817}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

A well known conjecture asserts that a cubic fourfold X is rational if it has a cohomologically associated K3 surface. G.Ouchi proved that if X admits a finite group G of symplectic automorphisms, whose order is different from 2, then X has an associated K3 surface S in the derived sense.This is equivalent to have a cohomologically associated K3 surface and therefore X is conjecturally rational. In this note we prove that cubic fourfolds with a cyclic group of symplectic automorphisms whose order is not a power of 2, are rational and belong to the Hassett divisor C_d, with d = 14, 42. We also describe rational cubic fourfolds X with a symplectic group of automorphisms G, such that (G, S_G(X), is a Lech pair where th rank of S_G equals 19 or 20.

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

22 extracted references · 14 canonical work pages · 3 internal anchors

  1. [1]

    M.Bolognesi,Z.Brahimi and H.Awadi Moduli of cubic fourfolds and reducible OADP surfaces arXiv:2409.12032v1 [math.AG] 18 Sep 2024

    Pith/arXiv arXiv 2024

  2. [2]

    S.Billi,A.Grossi and L.Marquand, Cubic fourfolds with a symplectic automorphism of prime order ,arXiv:2501.03869v3 [math.AG] 23 Jan. 2025

    arXiv 2025

  3. [3]

    Bayer, Lahoz, Macri, Nuer and Stellari, Stability conditions in families , Publ. Math. IHES 133, 157-325 (2021)

    2021

  4. [4]

    Colliot-Th\'elene, _0 -trivialite' universelle d' hypersurfaces cubiques presque diagonales , Algebraic Geometry 4 (5) (2017)

    J.L. Colliot-Th\'elene, _0 -trivialite' universelle d' hypersurfaces cubiques presque diagonales , Algebraic Geometry 4 (5) (2017)

    2017

  5. [5]

    Planes in cubic fourfolds

    A.Degtyarev,I.Itenberg and J.C. Ottem, Planes in cubic fourfolds ,arXiv:2105.13951v2 [math.AG] 30 Aug 2022

    work page internal anchor Pith review Pith/arXiv arXiv 2022

  6. [6]

    arXiv:2502.1929v1 [mat.AG] 26 Fe.2025

    L.Flapan,S.Frei, L.Marquand, Equivariant Kuznetsov components for cubic fourfolds with a symplectic involution . arXiv:2502.1929v1 [mat.AG] 26 Fe.2025

    work page arXiv 2025

  7. [7]

    G.Farkas and A.Verra, The moduli space of K3 surfacea of genus 22 , Mathematische Annalen, https://doi.org/10.1007/s00208-020-02036-y (2020)

    work page doi:10.1007/s00208-020-02036-y 2020

  8. [8]

    Fu, Classification of polarized symplectic autormorphisms of Fano varieties of cubic fourfolds , Glasgow Mathematical Journal, Vol

    L. Fu, Classification of polarized symplectic autormorphisms of Fano varieties of cubic fourfolds , Glasgow Mathematical Journal, Vol. 58 (2016) 17-37

    work page 2016

  9. [9]

    Montaniz, Order 3 symplectic automorphism on K3 surfaces ,arXiv:2102.01207v2 [math.AG] 22 Sep 2022

    A.Garbagnati and Y.P. Montaniz, Order 3 symplectic automorphism on K3 surfaces ,arXiv:2102.01207v2 [math.AG] 22 Sep 2022

    Pith/arXiv arXiv 2022

  10. [10]

    A.Garbagnati and A.Sarti , Symplectic automorphisms of prime order on K3 surfaces , J.of Algebra (2007)

    work page 2007

  11. [11]

    V.Gonzales-Aguillera and A.Liendo, Automorphisms of prime order of smooth cubic n-folds , Arch.Math.(Basel) 97(2011) no.1 ,25-37

    work page 2011

  12. [12]

    Pardini and G.P

    B.Hassett , Cubic fourfolds, K3 surfaces, and rationality questions ,Rationality Problems in Algebraic Geometry, R. Pardini and G.P. Pirola, eds., 26-66, CIME Foundation Subseries, Lecture Notes in Mathematics 2172, Springer 2016

    work page 2016

  13. [13]

    K.Koike, Cubic fourfolds with symplectic automorphisms , arXiv:2409.08448v1 [math.AG] 13 Sep 2024

    work page arXiv 2024

  14. [14]

    K.Kawatani, On the birational geometry for irreducible symplectic 4-folds related to the Fano schemes of lines arXiv:0906.0654v1 [math.AG] Jun 2009

    Pith/arXiv arXiv 2009

  15. [15]

    300 (2) 1455-1507 (2022)

    R.Laza and Z.Zheng, Automorphisms and periods of cubic fourfolds , Math.Z. 300 (2) 1455-1507 (2022)

    work page 2022

  16. [16]

    75, 105-121 (1984)

    D.Morrison, On K3 surfaces with large Picard number , Invent.Math. 75, 105-121 (1984)

    work page 1984

  17. [17]

    8 ( 2 ) 171 - 195 (2021)

    G.Ouchi, Automorphism groups of cubic fourfolds and K3 categories , Algebraic Geometry Vol. 8 ( 2 ) 171 - 195 (2021)

    work page 2021

  18. [18]

    C.Pedrini, K3 surfaces associated to a cubic fourfold , Indagationes Mathematicae (2024), https://doi.org/10.1016/indag.2024.08003

    arXiv 2024

  19. [19]

    F.Russo and G.Stagliano', Trisecant flops, their associated K3 surfaces and the rationality of some cubic fourfolds ,journal of ther European Mathematical Society,25 (6):2435-2482 (2022)

    work page 2022

  20. [20]

    Equivariant Kuznetsov Components of Certain Cubic Fourfolds

    Xianyu Hu Equivariant Kuznetsov components of certain cubic fourfolds . arXiv:2312.17392v1 [math.AG] 28 Dec 2023

    work page internal anchor Pith review Pith/arXiv arXiv 2023

  21. [21]

    Yang and X.Yu, On Lattice polarizable cubic fourfolds , arXiv:2103.09132v1 [math.AG] 16 mar 2021

    S. Yang and X.Yu, On Lattice polarizable cubic fourfolds , arXiv:2103.09132v1 [math.AG] 16 mar 2021

    Pith/arXiv arXiv 2021

  22. [22]

    S.Yang, X.Yu and Z.Zhu, Automorphism group of cubic fivefolds and fourfolds arXiv:2308.07186v2 [math.AG] 14 Aug 2024

    work page internal anchor Pith review Pith/arXiv arXiv 2024

This paper was first reviewed by deepseek-v4-flash on August 4, 2026.