Recognition: 2 theorem links
· Lean TheoremThe equations of general Hassett maximal cubic fourfolds
Pith reviewed 2026-05-12 04:34 UTC · model grok-4.3
The pith
An explicit irreducible component of dimension sixteen parametrizes Hassett maximal cubic fourfolds.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We construct an explicit irreducible component of maximal dimension sixteen of the locus Z of Hassett maximal cubic fourfolds. We utilize algebraic and arithmetic methods to analyze the associated lattice of these fourfolds. By studying general integral quadratic forms and proving the ADC property for a specific ternary form, we demonstrate that the primitive image of our lattice spans the entire Hassett subset, confirming the Hassett maximality of the cubic fourfolds we describe.
What carries the argument
The lattice associated to the cubic fourfolds, together with the ADC property of the chosen ternary quadratic form that forces the primitive image to span the Hassett subset.
If this is right
- The locus Z of Hassett maximal cubic fourfolds has dimension at least sixteen.
- Explicit equations are available for a general member of this maximal component.
- The maximality condition holds uniformly across this irreducible family.
- The construction gives a concrete algebraic description of a large portion of the Hassett locus.
Where Pith is reading between the lines
- The explicit equations may be used to test further geometric properties such as rationality or Hodge-theoretic invariants of these fourfolds.
- The lattice method could extend to identifying maximal components in related moduli spaces of hypersurfaces or K3 surfaces.
- If the component is dense in some sense, it might help parametrize the full Z and clarify its global structure.
Load-bearing premise
The lattice analysis, including the proof of the ADC property for the ternary form and the spanning of the Hassett subset by the primitive image, suffices to establish Hassett maximality for the constructed fourfolds.
What would settle it
An explicit lattice computation on one of the constructed fourfolds showing that its primitive image fails to span the full Hassett subset, or a dimension count showing the family has dimension strictly less than sixteen.
read the original abstract
In this note, we discuss Hassett maximal cubic fourfolds and construct an explicit irreducible component of maximal dimension sixteen of the locus $\mathcal{Z}$ of Hassett maximal cubic fourfolds. We utilize algebraic and arithmetic methods to analyze the associated lattice of these fourfolds. % By studying general integral quadratic forms and proving the ADC property for a specific ternary form, we demonstrate that the primitive image of our lattice spans the entire Hassett subset, confirming the Hassett maximality of the cubic fourfolds we describe.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript constructs an explicit irreducible component of dimension sixteen in the locus Z of Hassett maximal cubic fourfolds. It provides equations for a general family of such fourfolds and analyzes the associated lattices using algebraic and arithmetic methods, including a proof of the ADC property for a specific ternary quadratic form, to show that the primitive image of the lattice spans the Hassett subset and thereby confirm maximality.
Significance. If the link between the explicit equations and the lattice-theoretic verification holds, the work supplies a concrete, maximal-dimensional family of Hassett maximal cubic fourfolds together with their equations. This is useful for further geometric and arithmetic study of the moduli space of cubic fourfolds, as explicit constructions of this type are rare and can serve as test cases for conjectures on Hodge structures and integral quadratic forms.
major comments (2)
- The central confirmation of Hassett maximality rests on the claim that the primitive image spans the Hassett subset after the ADC property is proved for the ternary quadratic form. The manuscript must explicitly compute or identify the orthogonal complement lattice arising from the given cubic equations and verify that the ternary form used in the ADC proof is precisely the one associated to this complement for general members of the 16-dimensional family; without this identification, generality in the parameters may introduce additional conditions that fall outside the scope of the fixed-form ADC argument.
- The construction of the explicit family (via the provided equations) and the subsequent lattice analysis appear in separate parts of the argument. A direct computation showing how the general member realizes a lattice whose discriminant or orthogonal complement matches the ternary form would close the gap; currently the spanning property is asserted but not tied back to the equations in a parameter-independent way.
minor comments (1)
- The notation for the locus Z and the Hassett subset should include a brief recall of the relevant definitions from the literature on cubic fourfolds to improve readability for readers outside the immediate subfield.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for highlighting the need to strengthen the connection between the explicit family and the lattice-theoretic verification. We address each major comment below and will revise the manuscript accordingly to improve clarity and explicitness.
read point-by-point responses
-
Referee: The central confirmation of Hassett maximality rests on the claim that the primitive image spans the Hassett subset after the ADC property is proved for the ternary quadratic form. The manuscript must explicitly compute or identify the orthogonal complement lattice arising from the given cubic equations and verify that the ternary form used in the ADC proof is precisely the one associated to this complement for general members of the 16-dimensional family; without this identification, generality in the parameters may introduce additional conditions that fall outside the scope of the fixed-form ADC argument.
Authors: We agree that an explicit identification is essential. In Section 2 we introduce the 16-dimensional family via the given cubic equations. In Section 3 we compute the orthogonal complement to the primitive image of the lattice for a general member of this family; the resulting Gram matrix is independent of the parameters and is precisely the ternary quadratic form Q for which the ADC property is established in Section 4. Because the equations are linear in the deformation parameters and the intersection form on the relevant classes is constant on the open set where the fourfold is smooth, no additional conditions arise for general members. We will add a short subsection that records this Gram-matrix computation directly from the equations, making the identification parameter-independent and fully explicit. revision: yes
-
Referee: The construction of the explicit family (via the provided equations) and the subsequent lattice analysis appear in separate parts of the argument. A direct computation showing how the general member realizes a lattice whose discriminant or orthogonal complement matches the ternary form would close the gap; currently the spanning property is asserted but not tied back to the equations in a parameter-independent way.
Authors: We accept that the current organization leaves the link somewhat implicit. While the lattice computation in Section 3 is performed on the general member defined by the equations of Section 2, we will insert a direct, self-contained calculation (new Lemma or Proposition) that starts from the general cubic equation, extracts the orthogonal complement lattice, and verifies that its discriminant form coincides with the fixed ternary form Q used in the ADC argument. This computation will be carried out symbolically in the parameters and will hold on a Zariski-open set, thereby tying the two parts of the argument together in a parameter-independent manner. revision: yes
Circularity Check
No circularity: explicit construction verified via independent lattice analysis
full rationale
The paper constructs an explicit irreducible 16-dimensional component of Hassett maximal cubic fourfolds by providing equations, then separately analyzes the associated lattice using general integral quadratic forms and proves the ADC property for a specific ternary form to show that the primitive image spans the Hassett subset. This verification step relies on standard arithmetic properties of quadratic forms and does not reduce the maximality claim to a definition in terms of the constructed family, a fitted parameter, or a self-citation chain. The derivation is self-contained against external benchmarks in algebraic geometry and integral lattices, with no load-bearing self-referential steps.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclearBy studying general integral quadratic forms and proving the ADC property for a specific ternary form, we demonstrate that the primitive image of our lattice spans the entire Hassett subset
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclearTheorem 3.3. P Im(F) = H
Reference graph
Works this paper leans on
-
[1]
P. L. Clark, Euclidean quadratic forms and ADC forms: I, Acta Arith. 154(2), 137–159 (2012)
work page 2012
-
[2]
P. L. Clark and W. C. Jagy, Euclidean quadratic forms and ADC forms II: integral forms, Acta Arith. 164(3), 265–308 (2014)
work page 2014
-
[3]
A. I. Degtyarev, I. V. Itenberg and J. C. Ottem, Planes in cubic fourfolds, Algebr. Geom. 10(2), 228–258 (2023)
work page 2023
-
[4]
The dimension of the intersection of all Hassett divisors.Mathematische Zeitschrift311, 52 (2025)
Gal, E., Nuer, H. The dimension of the intersection of all Hassett divisors.Mathematische Zeitschrift311, 52 (2025)
work page 2025
-
[5]
Special cubic fourfolds.Compositio Mathematica120(1), 1–23 (2000)
Hassett, B. Special cubic fourfolds.Compositio Mathematica120(1), 1–23 (2000)
work page 2000
-
[6]
A.A note on cubics over finite fields and sums of squares
Leonard, P. A.A note on cubics over finite fields and sums of squares
-
[7]
Marquand, Cubic fourfolds with an involution,Trans
L. Marquand, Cubic fourfolds with an involution,Trans. Amer. Math. Soc.376(2), 1373–1406 (2023)
work page 2023
-
[8]
R. Parimala, Some aspects of the algebraic theory of quadratic forms, Developments in Mathematics35, Springer, New York, 181–205 (2013)
work page 2013
-
[9]
Graduate Texts in Mathematics, Springer
Serre, J.-P.A Course in Arithmetic. Graduate Texts in Mathematics, Springer
-
[10]
Th´ eor` eme de Torelli pour les cubiques deP5.Inventiones mathematicae86(3), 577–601 (1986)
Voisin, C. Th´ eor` eme de Torelli pour les cubiques deP5.Inventiones mathematicae86(3), 577–601 (1986)
work page 1986
-
[11]
On lattice polarizable cubic fourfolds.Research in the Mathematical Sciences10(1), 2–39 (2023)
Yang, S., Yu, X. On lattice polarizable cubic fourfolds.Research in the Mathematical Sciences10(1), 2–39 (2023). F aculty of Mathematics, Technion, Israel Institute of Technology Email address:galelad@campus.technion.ac.il F aculty of Mathematics, Technion, Israel Institute of Technology Email address:hnuer@technion.ac.il
work page 2023
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.