pith. sign in

arxiv: 2606.11754 · v1 · pith:YBLUCEWBnew · submitted 2026-06-10 · 🧮 math.AG · math.GR

Non-symplectic Indices of Automorphism Groups of Smooth Cubic Fourfolds

Jie Fu , Shihao Wang , Zhiwei Zheng This is my paper

Pith reviewed 2026-06-27 08:32 UTC · model grok-4.3

classification 🧮 math.AG math.GR
keywords cubic fourfoldsautomorphism groupssymplectic automorphismsnon-symplectic indexcoinvariant latticesalgebraic geometry
0
0 comments X

The pith

For coinvariant lattices of rank 19, every possible pair of symplectic and full automorphism groups of smooth cubic fourfolds is classified, and general restrictions on the non-symplectic index are proved.

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

The paper begins with the existing classification of symplectic automorphism groups of smooth cubic fourfolds. It defines the non-symplectic index as the index of this symplectic subgroup inside the full automorphism group. General restrictions on the possible values of this index are derived. Bounds on the index are obtained by combining group-theoretic and lattice-theoretic arguments. In several cases the index is pinned down completely, and when the coinvariant lattice has rank 19 every admissible pair of groups is listed explicitly.

Core claim

Starting from the classification of symplectic automorphism groups by Laza and Zheng, the authors prove general restrictions on the non-symplectic index, compute bounds by group-theoretic and lattice-theoretic methods, determine all possible indices in several cases, and, for coinvariant lattices of rank 19, classify all possible pairs consisting of the symplectic automorphism group and the full automorphism group.

What carries the argument

The non-symplectic index, defined as the index of the symplectic automorphism group inside the full automorphism group of the cubic fourfold.

If this is right

  • General restrictions on the non-symplectic index hold for every smooth cubic fourfold.
  • Bounds on the index follow from group-theoretic and lattice-theoretic calculations in all cases.
  • The index is completely determined in several explicit cases.
  • When the coinvariant lattice has rank 19, every admissible pair of symplectic and full automorphism groups appears in an explicit list.

Where Pith is reading between the lines

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

  • The rank-19 classification supplies an exhaustive list that can be used to enumerate all possible automorphism groups inside that lattice class.
  • The same lattice-theoretic bounds may constrain possible indices for coinvariant lattices of other ranks once the corresponding symplectic groups are known.
  • The restrictions link the order of the full automorphism group directly to the structure of the coinvariant lattice.

Load-bearing premise

The classification of symplectic automorphism groups of smooth cubic fourfolds due to Laza and Zheng is assumed to be complete and to cover all cases under consideration.

What would settle it

A smooth cubic fourfold whose symplectic automorphism group lies outside the Laza-Zheng list, or whose non-symplectic index violates one of the proved restrictions, would falsify the claims.

read the original abstract

We study the full automorphism groups of smooth cubic fourfolds with prescribed symplectic automorphism group. Our starting point is the classification of symplectic automorphism groups by Laza and Zheng. We focus on the non-symplectic index, namely, the index of the symplectic automorphism group in the full automorphism group. We prove general restrictions on this index. We also compute bounds by group-theoretic and lattice-theoretic methods. In several cases, we determine all possible indices. For coinvariant lattices of rank 19, we classify all possible pairs consisting of the symplectic automorphism group and the full automorphism group.

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

1 major / 1 minor

Summary. The paper studies non-symplectic indices of full automorphism groups of smooth cubic fourfolds, taking as starting point the classification of symplectic automorphism groups due to Laza and Zheng. It proves general restrictions on the index, derives bounds via group- and lattice-theoretic methods, determines the index in several cases, and classifies all pairs (symplectic group, full automorphism group) when the coinvariant lattice has rank 19.

Significance. If the derivations hold, the work supplies explicit index bounds and a complete list of pairs in the rank-19 case, which would be a concrete advance in the lattice-theoretic study of automorphisms of cubic fourfolds and their moduli.

major comments (1)
  1. [Abstract, first paragraph and main classification result] Abstract and the statement of the rank-19 classification: the claim that all possible pairs are classified rests on the assumption that the Laza-Zheng list of symplectic groups is exhaustive for coinvariant lattices of rank 19; the manuscript provides no independent verification or re-enumeration of realizable symplectic groups on these lattices.
minor comments (1)
  1. [Introduction] Clarify the precise statement of the Laza-Zheng theorem being invoked (including any rank or lattice-type restrictions) and add a reference to the specific result used.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. We address the single major comment below.

read point-by-point responses

  1. Referee: [Abstract, first paragraph and main classification result] Abstract and the statement of the rank-19 classification: the claim that all possible pairs are classified rests on the assumption that the Laza-Zheng list of symplectic groups is exhaustive for coinvariant lattices of rank 19; the manuscript provides no independent verification or re-enumeration of realizable symplectic groups on these lattices.

    Authors: The manuscript explicitly takes the classification of symplectic automorphism groups by Laza and Zheng as its starting point, as stated in the abstract and introduction. The rank-19 classification of pairs (symplectic group, full automorphism group) is therefore conditional on the completeness of their list; we do not provide an independent verification or re-enumeration because that would duplicate their prior work. Our contribution is the determination of possible non-symplectic indices and the extensions to full groups. To make the dependence fully explicit, we will revise the abstract and the statement of the main classification theorem to include a qualifying phrase such as "assuming the classification of Laza and Zheng." revision: yes

Circularity Check

0 steps flagged

Minor self-citation to overlapping author's prior classification; new index and pair results derived independently via lattice methods

full rationale

The paper takes the Laza-Zheng classification of symplectic automorphism groups as an explicit starting point and then performs independent group- and lattice-theoretic computations to obtain restrictions on the non-symplectic index, bounds, and (for rank-19 coinvariant lattices) the full list of possible pairs. No derivation reduces by construction to fitted parameters, self-definitions, or a self-citation chain; the cited classification functions as an external input whose completeness is assumed rather than re-derived here. The author overlap on the cited work is noted but does not make the central claims equivalent to that input.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on one external domain classification and on standard facts from finite group theory and integral lattices; no free parameters or new entities are introduced in the abstract.

axioms (1)
  • domain assumption The classification of symplectic automorphism groups of smooth cubic fourfolds by Laza and Zheng is complete.
    Explicitly identified as the starting point in the abstract.

pith-pipeline@v0.9.1-grok · 5619 in / 1201 out tokens · 28016 ms · 2026-06-27T08:32:08.910776+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

20 extracted references · 4 canonical work pages · 1 internal anchor

  1. [1]

    Gonz \'a lez-Aguilera and A

    V. Gonz \'a lez-Aguilera and A. Liendo, Automorphisms of prime order of smooth cubic n-folds, Archiv der Mathematik 97 (2011), no. 1, 25--37

    2011

  2. [2]

    The GAP Group, GAP -- Groups, Algorithms, and Programming, Version 4.15.1 , 2025

    2025

  3. [3]

    X. He, Y. Li, S. Wang, and Z. Zheng, Cubic fourfolds with an order- 7 automorphism, arXiv preprint arXiv:2509.26359 (2025)

    work page arXiv 2025

  4. [4]

    H \"o hn and G

    G. H \"o hn and G. Mason, The 290 fixed-point sublattices of the leech lattice, Journal of algebra 448 (2016), 618--637

    2016

  5. [5]

    Koike, Cubic fourfolds with symplectic automorphisms, Journal of Algebra 680 (2025), 12--57

    K. Koike, Cubic fourfolds with symplectic automorphisms, Journal of Algebra 680 (2025), 12--57

    2025

  6. [6]

    cubic fourfolds with symplectic automorphisms

    Kenji Koike, Corrigendum to “cubic fourfolds with symplectic automorphisms” [j. algebra 680 (2025) 12–57], Journal of Algebra (2026)

    2025

  7. [7]

    Looijenga, The period map for cubic fourfolds, Invent

    E. Looijenga, The period map for cubic fourfolds, Invent. Math. 177 (2009), no. 1, 213--233

    2009

  8. [8]

    Laza and Z

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

    2022

  9. [9]

    Abelian automorphism groups of cubic fourfolds

    E. Mayanskiy, Abelian automorphism groups of cubic fourfolds, arXiv preprint arXiv:1308.5150 (2013)

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  10. [10]

    Matsumura and P

    H. Matsumura and P. Monsky, On the automorphisms of hypersurfaces, Journal of Mathematics of Kyoto University 3 (1963), 347--361

    1963

  11. [11]

    V. V. Nikulin, Integral symmetric bilinear forms and some of their applications, Mathematics of the USSR-Izvestiya 14 (1980), no. 1, 103

    1980

  12. [12]

    Sage Developers , S agemath, the S age M athematics S oftware S ystem ( V ersion 10.8) , 2026, https://www.sagemath.org

    2026

  13. [13]

    Voisin, Th\'eor\`eme de T orelli pour les cubiques de P ^5 , Invent

    C. Voisin, Th\'eor\`eme de T orelli pour les cubiques de P ^5 , Invent. Math. 86 (1986), no. 3, 577--601

    1986

  14. [14]

    , Erratum: `` A T orelli theorem for cubics in P ^5 '' ( F rench) [ I nvent. M ath. 86 (1986), no. 3, 577--601; mr0860684] , Invent. Math. 172 (2008), no. 2, 455--458

    1986

  15. [15]

    S. Yang, X. Yu, and Z. Zhu, Automorphism groups of cubic fivefolds and fourfolds, Journal of the London Mathematical Society 110 (2024), no. 4, Paper No. e12997, 35

    2024

  16. [16]

    Yu and Z

    C. Yu and Z. Zheng, Moduli spaces of symmetric cubic fourfolds and locally symmetric varieties, Algebra & Number Theory 14 (2020), no. 10, 2647--2683

    2020

  17. [17]

    Zheng, On abelian automorphism groups of hypersurfaces, Israel Journal of Mathematics 247 (2020), 479 -- 498

    Z. Zheng, On abelian automorphism groups of hypersurfaces, Israel Journal of Mathematics 247 (2020), 479 -- 498

    2020

  18. [18]

    , Orbifold aspects of certain occult period maps, Nagoya Mathematical Journal 243 (2021), 137--156

    2021

  19. [19]

    , A Lemma on Leech-like Lattices , arXiv preprint arXiv:2507.10414 (2025)

    work page arXiv 2025

  20. [20]

    Zheng and T

    Z. Zheng and T. Peng, Abelian Automorphism Groups of Quartic Surfaces and Cubic Fourfolds , arXiv preprint arXiv:2106.14214 (2021)

    work page arXiv 2021