pith. sign in

arxiv: 2604.02628 · v1 · submitted 2026-04-03 · 🧮 math.AG

Higher Chow cycles, cyclic cubic fourfolds and Lagrangian subvarieties

Shouhei Ma , Ken Sato This is my paper

Pith reviewed 2026-05-13 18:59 UTC · model grok-4.3

classification 🧮 math.AG
keywords higher Chow cyclesholomorphic symplectic manifoldscubic fourfoldsFano varieties of linesLagrangian subvarietiesK3 surfacesHilbert squaresalgebraic cycles
0
0 comments X

The pith

Explicit indecomposable (2,1)- and (4,1)-cycles are constructed on the Fano varieties of lines on cyclic cubic fourfolds.

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

This paper starts the study of higher Chow cycles on holomorphic symplectic manifolds. Its central achievement is the explicit construction of indecomposable (2,1)- and (4,1)-cycles on the Fano variety of lines in a cyclic cubic fourfold. These are the first such explicit examples known on any holomorphic symplectic manifold. Indecomposability is established by degenerating the fourfold to a cuspidal cubic fourfold. The authors also give a method for producing (p,1)-cycles on Hilbert squares of K3 surfaces and show that the (2,1)-cycles restrict to decomposable cycles on Lagrangian subvarieties.

Core claim

The authors construct explicit indecomposable (2,1)- and (4,1)-cycles on the Fano variety of lines on a cyclic cubic fourfold. This supplies the first explicit examples of higher Chow cycles on holomorphic symplectic manifolds. The proof that the cycles remain indecomposable uses degeneration of the cyclic cubic fourfold to a cuspidal one. A general technique is developed for inducing (p,1)-cycles on the Hilbert square of a K3 surface.

What carries the argument

Degeneration of the cyclic cubic fourfold to a cuspidal cubic fourfold, used to prove that the constructed higher Chow cycles remain indecomposable.

If this is right

  • Higher Chow cycles admit explicit constructions on the Fano varieties of lines in cyclic cubic fourfolds.
  • A method exists to induce (p,1)-cycles on the Hilbert square of any K3 surface.
  • Restriction of (2,1)-cycles to Lagrangian subvarieties yields decomposable cycles in these examples.
  • The study of higher Chow groups on holomorphic symplectic manifolds can begin with these concrete cycles.

Where Pith is reading between the lines

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

  • These cycles may generate parts of the Chow ring invisible to cohomology, offering new information on the motives of the Fano variety.
  • The observed decomposability under restriction to Lagrangians may hold more generally for holomorphic symplectic manifolds.
  • Similar degeneration techniques could produce explicit cycles on other hyperkähler fourfolds or moduli spaces of sheaves.

Load-bearing premise

The degeneration from cyclic to cuspidal cubic fourfolds preserves indecomposability of the constructed cycles.

What would settle it

A computation showing that the image of one of the constructed cycles becomes decomposable in the Chow group after degeneration to the cuspidal cubic fourfold would falsify the indecomposability claim.

read the original abstract

In this paper we initiate the study of higher Chow cycles on holomorphic symplectic manifolds. Our concrete central result is construction of explicit indecomposable (2,1)- and (4,1)-cycles on the Fano varieties of lines on cyclic cubic fourfolds. This is the first explicit example of such cycles on holomorphic symplectic manifolds. The proof of indecomposability is done by degeneration to cuspidal cubic fourfolds. Along the way, we develop a method of inducing (p,1)-cycles on Hilbert squares of K3 surfaces. Finally, we study restriction of (2,1)-cycles to Lagrangian subvarieties, and observe the phenomenon that the restricted cycles are always decomposable in the examples in our hand.

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

2 major / 2 minor

Summary. The paper constructs explicit indecomposable (2,1)- and (4,1)-cycles on the Fano variety of lines of cyclic cubic fourfolds, proving indecomposability by degeneration to cuspidal cubic fourfolds. It also develops a method to induce (p,1)-cycles on Hilbert squares of K3 surfaces and studies restrictions of (2,1)-cycles to Lagrangian subvarieties, observing decomposability in the given examples. This is presented as the first explicit such cycles on holomorphic symplectic manifolds.

Significance. If the degeneration argument holds, the explicit constructions supply the first concrete indecomposable higher Chow cycles on holomorphic symplectic manifolds, providing testable examples for the structure of their Chow rings and motives. The induction technique on Hilbert squares and the restriction observations to Lagrangians are potentially reusable tools.

major comments (2)
  1. [§3] §3 (degeneration argument): the claim that indecomposability survives specialization to the cuspidal cubic fourfold requires explicit verification that the specialization map on higher Chow groups has trivial kernel on the constructed cycles and that the limit class remains indecomposable (rather than decomposing in the Beauville-Voisin ring). The manuscript does not appear to compute the flat limit or control the kernel directly.
  2. [§4] §4 (induction on Hilbert squares): the method for producing (p,1)-cycles on Hilb^2 of K3 surfaces is outlined, but it is unclear whether these induced cycles are shown to be indecomposable or merely constructed; if indecomposability is asserted, the proof should be stated separately from the cubic-fourfold case.
minor comments (2)
  1. [Abstract] Abstract: the phrase 'first explicit example' would benefit from a one-sentence comparison to prior constructions of cycles on hyperkähler varieties (e.g., via Beauville-Voisin or other methods) to clarify novelty.
  2. [§2] Notation: the definition of the (2,1)- and (4,1)-cycles in the main construction should include a brief reminder of the grading convention used for higher Chow groups.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address the major points below and indicate the revisions we will make to strengthen the arguments.

read point-by-point responses

  1. Referee: [§3] §3 (degeneration argument): the claim that indecomposability survives specialization to the cuspidal cubic fourfold requires explicit verification that the specialization map on higher Chow groups has trivial kernel on the constructed cycles and that the limit class remains indecomposable (rather than decomposing in the Beauville-Voisin ring). The manuscript does not appear to compute the flat limit or control the kernel directly.

    Authors: We agree that the current exposition of the degeneration argument is too brief and lacks an explicit verification of the specialization map. In the revised manuscript we will add a dedicated subsection computing the flat limit of the constructed cycles, proving that the specialization map is injective on their span, and confirming by direct calculation in the cuspidal case that the limiting class remains indecomposable in the Beauville-Voisin ring. revision: yes

  2. Referee: [§4] §4 (induction on Hilbert squares): the method for producing (p,1)-cycles on Hilb^2 of K3 surfaces is outlined, but it is unclear whether these induced cycles are shown to be indecomposable or merely constructed; if indecomposability is asserted, the proof should be stated separately from the cubic-fourfold case.

    Authors: The induction technique in §4 is presented purely as a construction of (p,1)-cycles; no claim of indecomposability is made for these cycles. The indecomposability statements apply exclusively to the cycles on the Fano varieties of lines. We will revise the text to state this distinction explicitly and to separate the construction from the indecomposability proofs. revision: yes

Circularity Check

0 steps flagged

No significant circularity; explicit construction and degeneration argument are independent of inputs

full rationale

The paper's central result is an explicit construction of indecomposable higher Chow cycles on Fano varieties of lines on cyclic cubic fourfolds, with indecomposability proved via degeneration to cuspidal cubics. This is a standard specialization technique in algebraic geometry and does not reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations. The derivation chain relies on concrete cycle classes and properties of Chow groups rather than renaming or smuggling ansatzes. No equation or step equates a claimed prediction to its own input data. The result is self-contained against external benchmarks in higher Chow theory and holomorphic symplectic geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard properties of higher Chow groups and degeneration techniques in algebraic geometry without introducing new free parameters or invented entities in the abstract.

axioms (1)
  • standard math Higher Chow groups on smooth projective varieties satisfy the expected functoriality and localization properties
    Used throughout the study of cycles on holomorphic symplectic manifolds and their degenerations.

pith-pipeline@v0.9.0 · 5417 in / 1182 out tokens · 37664 ms · 2026-05-13T18:59:30.932042+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

24 extracted references · 24 canonical work pages

  1. [1]

    Algebraic Geom.12(2003), no.2, 201–223

    Allcock, D.The moduli space of cubic threefolds.J. Algebraic Geom.12(2003), no.2, 201–223

    work page 2003

  2. [2]

    Beauville, A.Vari´ et´ es K¨ ahleriennes dont la premi` ere classe de Chern est nulle.J. Diff. Geom.18(1983), no.4, 755–782

    work page 1983

  3. [3]

    Math.61(1986), no.3, 267– 304

    Bloch, S.Algebraic cycles and higher K-theory.Adv. Math.61(1986), no.3, 267– 304

    work page 1986

  4. [4]

    Algebraic Geom.3(1994), no.3, 537–568

    Bloch, S.The moving lemma for higher Chow groups.J. Algebraic Geom.3(1994), no.3, 537–568

    work page 1994

  5. [5]

    Ann.373(2019), no.3-4, 1429– 1455

    Boissi `ere, S.; Camere, C.; Sarti, A.Cubic threefolds and hyperk¨ ahler manifolds uni- formized by the10-dimensional complex ball.Math. Ann.373(2019), no.3-4, 1429– 1455

    work page 2019

  6. [6]

    arXiv:2209.11022

    Boissi `ere, S.; Heckel, T.; Sarti, A.The Fano variety of lines of a cuspidal cyclic cubic fourfold.to appear in Annali Scuola di Pisa. arXiv:2209.11022

    work page arXiv

  7. [7]

    de Cataldo, M. A. A.; Migliorini, L.The hard Lefschetz theorem and the topology of semismall maps.Ann. Sci. ´Ecole Norm. Sup. (4)35(2002), no.5, 759–772

    work page 2002

  8. [8]

    D.Normal functions, Picard-Fuchs equa- tions, and elliptic fibrations on K3surfaces.J

    Chen, X.; Doran, C.; Kerr, M.; Lewis, J. D.Normal functions, Picard-Fuchs equa- tions, and elliptic fibrations on K3surfaces.J. Reine Angew. Math.721(2016), 43– 79

    work page 2016

  9. [9]

    Algebraic K-theory and its applications (Trieste, 1997)

    Collino, A.Indecomposable motivic cohomology classes on quartic surfaces and on cubic fourfolds.in “Algebraic K-theory and its applications (Trieste, 1997)”, 370– 402, World Scientific, 1999

    work page 1997

  10. [10]

    Coskun, I.; Starr, J.Rational curves on smooth cubic hypersurfaces.Int. Math. Res. Notices2009, no.24, 4626–4641

    work page

  11. [11]

    D.Beilinson’s Hodge conjecture for smooth varieties.J

    de Jeu, R.; Lewis, J. D.Beilinson’s Hodge conjecture for smooth varieties.J. K-theory 11(2013), no.2, 243–282

    work page 2013

  12. [12]

    Reine Angew

    Harris, J; Roth, M.; Starr, J.Rational curves on hypersurfaces of low degree.J. Reine Angew. Math.571(2004), 73–106

    work page 2004

  13. [13]

    Hassett, B.Special cubic fourfolds.Compositio Math.120(2000), no.1, 1–23

    work page 2000

  14. [14]

    Press, 2023

    Huybrechts, D.The geometry of cubic hypersurfaces.Cambridge Univ. Press, 2023

    work page 2023

  15. [15]

    D.; M ¨uller-Stach, S.The Abel-Jacobi map for higher Chow groups.Compositio Math.142(2006), no.2, 374–396

    Kerr, M.; Lewis, J. D.; M ¨uller-Stach, S.The Abel-Jacobi map for higher Chow groups.Compositio Math.142(2006), no.2, 374–396. 26

    work page 2006

  16. [16]

    Algebraic geometry (Azumino, 2000)

    Kond ¯o, S.The moduli space of curves of genus4and Deligne-Mostow’s complex reflection groups.in “Algebraic geometry (Azumino, 2000)”, ASPM36, 383–400, 2002

    work page 2000

  17. [17]

    Ma, S.; Sato, K.Higher Chow cycles on some K3surfaces with involution.Int. Math. Res. Not.2025, no.8, rnaf096

    work page 2025

  18. [18]

    The arithmetic and geometry of algebraic cycles (Banff, 1998)

    M ¨uller-Stach, S. J.Algebraic cycle complexes: basic properties.in “The arithmetic and geometry of algebraic cycles (Banff, 1998)”, 285–305, Kluwer, 2000

    work page 1998

  19. [19]

    Ann.319 (2001), no.3, 597–623

    Namikawa, Y .Deformation theory of singular symplectic n-folds.Math. Ann.319 (2001), no.3, 597–623

    work page 2001

  20. [20]

    Sato, K.Higher Chow cycles on Eisenstein K3surfaces.arXiv:2504.09911

    work page arXiv

  21. [21]

    Sigma4(2016), e8

    Totaro, B.The integral cohomology of the Hilbert scheme of two points.Forum Math. Sigma4(2016), e8

    work page 2016

  22. [22]

    Note Ser.179, 294–303, Cambridge Univ

    V oisin, C.Sur la stabilit´ e des sous-vari´ et´ es lagrangiennes des vari´ et´ es symplectiques holomorphes.In ”Complex projective geometry (Trieste/Bergen, 1989)”, LMS Lect. Note Ser.179, 294–303, Cambridge Univ. Press, 1992

    work page 1989

  23. [23]

    Manuscripta Math.152(2017), no.3-4, 281–315

    Weißschuh, T.A commutative regulator map into Deligne-Beilinson cohomology. Manuscripta Math.152(2017), no.3-4, 281–315

    work page 2017

  24. [24]

    Math.25(2002), no.1, 85–105

    Yokoyama, M.Stability of cubic3-folds.Tokyo J. Math.25(2002), no.1, 85–105. Department ofMathematics, TokyoInstitute ofTechnology, Tokyo152-8551, Japan Email address:ma.s.ae@m.titech.ac.jp Email address:sato.k.da@m.titech.ac.jp

    work page 2002