pith. sign in

arxiv: 2207.01118 · v4 · pith:QCLOK6I3new · submitted 2022-07-03 · 🧮 math.AG

Algebraic cycles on Gushel-Mukai varieties

Lie Fu , Ben Moonen This is my paper

Pith reviewed 2026-05-24 10:41 UTC · model grok-4.3

classification 🧮 math.AG
keywords Gushel-Mukai varietiesalgebraic cyclesChow groupsgeneralised Hodge conjectureMumford-Tate conjectureTate conjectureChow motives
0
0 comments X

The pith

Complex Gushel-Mukai varieties satisfy the generalised Hodge conjecture, the motivated Mumford-Tate conjecture, and the generalised Tate conjecture.

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

The paper establishes these three cycle conjectures for every complex Gushel-Mukai variety. It also determines the integral Chow groups in all cases except the two infinite-dimensional ones and shows that generalised partners or generalised duals have isomorphic rational Chow motives in middle degree. These statements connect algebraic cycles directly to Hodge classes and Galois representations on this explicit family of varieties. Verification for GM varieties supplies concrete cases where the conjectures hold and where the motive structure can be read off from the geometry.

Core claim

We prove the generalised Hodge conjecture, the (motivated) Mumford-Tate conjecture, and the generalised Tate conjecture for all GM varieties. We compute all integral Chow groups of GM varieties, except for the only two infinite-dimensional cases (1-cycles on GM fourfolds and 2-cycles on GM sixfolds). We prove that if two GM varieties are generalised partners or generalised duals, their rational Chow motives in middle degree are isomorphic.

What carries the argument

Algebraic cycles on Gushel-Mukai varieties, studied through their Chow motives and Hodge structures.

If this is right

  • The integral Chow groups are finite-dimensional except in the two noted cases.
  • The cycle-class maps realize the predicted isomorphisms or injections between Chow groups and Hodge or Galois cohomology.
  • Generalised partners and duals share the same middle-degree rational motive.
  • The motive decomposition of GM varieties is determined by their Hodge structures in all but the two infinite-dimensional degrees.

Where Pith is reading between the lines

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

  • The same cycle methods may extend to other classes of Fano varieties with similar Hodge-theoretic descriptions.
  • The two remaining infinite-dimensional Chow groups highlight a possible distinction between even and odd dimensional GM varieties that could be tested by direct computation on explicit examples.
  • Isomorphism of middle motives for partners supplies a geometric reason why certain moduli spaces of GM varieties might share arithmetic properties.

Load-bearing premise

The results rest on the standard definition and classification of Gushel-Mukai varieties over the complex numbers together with the validity of various background results on motives and Hodge structures.

What would settle it

A single Gushel-Mukai fourfold or sixfold in which the cycle-class map fails to be surjective onto the Hodge classes of the expected weight would disprove the generalised Hodge conjecture claim for GM varieties.

read the original abstract

We study algebraic cycles on complex Gushel-Mukai (GM) varieties. We prove the generalised Hodge conjecture, the (motivated) Mumford-Tate conjecture, and the generalised Tate conjecture for all GM varieties. We compute all integral Chow groups of GM varieties, except for the only two infinite-dimensional cases (1-cycles on GM fourfolds and 2-cycles on GM sixfolds). We prove that if two GM varieties are generalised partners or generalised duals, their rational Chow motives in middle degree are isomorphic.

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 studies algebraic cycles on complex Gushel-Mukai varieties. It proves the generalised Hodge conjecture, the motivated Mumford-Tate conjecture, and the generalised Tate conjecture for all GM varieties. It computes all integral Chow groups except the two infinite-dimensional cases (1-cycles on fourfolds and 2-cycles on sixfolds). It also shows that generalised partners or generalised duals have isomorphic rational Chow motives in middle degree.

Significance. If the proofs hold, the results would represent a substantial advance by resolving these conjectures for an entire class of Fano varieties and by giving explicit Chow group computations. The motivic isomorphism for partners and duals adds a concrete structural result. The explicit computations are a notable strength.

major comments (2)
  1. [Introduction] The abstract asserts proofs of the generalised Hodge, Mumford-Tate, and Tate conjectures for all GM varieties; the manuscript must clearly separate which background results on motives and Hodge structures are invoked as axioms versus derived internally, as this separation is load-bearing for the validity of the claims.
  2. [Chow groups section] The statement that only two cases remain infinite-dimensional requires an explicit argument or reference showing that the remaining Chow groups are finite-dimensional; without this, the completeness claim for the computations is not fully supported.
minor comments (2)
  1. Define or recall the precise notions of 'generalised partners' and 'generalised duals' at the first use, even if standard in the GM literature.
  2. Ensure consistent notation for the dimension and type of GM varieties across statements of theorems and computations.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive assessment and for identifying points where additional clarity will strengthen the manuscript. We address each major comment below and will incorporate the requested clarifications in the revised version.

read point-by-point responses

  1. Referee: [Introduction] The abstract asserts proofs of the generalised Hodge, Mumford-Tate, and Tate conjectures for all GM varieties; the manuscript must clearly separate which background results on motives and Hodge structures are invoked as axioms versus derived internally, as this separation is load-bearing for the validity of the claims.

    Authors: We agree that an explicit separation improves readability and rigor. The proofs rely on a small number of known results (e.g., the existence of the Chow motive of a GM variety as a direct summand of the motive of a quadric or cubic hypersurface, and standard comparison theorems between Hodge and étale cohomology). All other steps, including the construction of the relevant algebraic cycles and the verification of the cycle class maps, are carried out internally. In the revised manuscript we will insert a dedicated paragraph (new subsection 1.3) that lists the invoked background results with precise references and states which statements are proved in the paper. revision: yes

  2. Referee: [Chow groups section] The statement that only two cases remain infinite-dimensional requires an explicit argument or reference showing that the remaining Chow groups are finite-dimensional; without this, the completeness claim for the computations is not fully supported.

    Authors: The manuscript already contains the finite-dimensionality statements for the other groups as consequences of the explicit computations in Sections 4–7 together with the known finite-dimensionality of Chow groups of quadrics and cubic hypersurfaces (via the results of Kimura and of Jannsen). We will add a short paragraph immediately after the statement in question that assembles these references and sketches the reduction, thereby making the completeness claim fully self-contained. revision: yes

Circularity Check

0 steps flagged

No significant circularity; claims rest on external classification and standard results

full rationale

The abstract states that the proofs rely on the standard definition and classification of GM varieties together with background results on motives and Hodge structures. No equations, self-citations, or derivations are provided that reduce a claimed result to a fitted parameter or to a prior result by the same authors by construction. The computations of Chow groups and isomorphisms of motives are presented as derived from these inputs rather than being tautological with them. Since no load-bearing step can be quoted that exhibits self-definition, renaming, or imported uniqueness, the derivation chain is treated as self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract supplies no information on free parameters, axioms, or invented entities; all such items remain unknown.

pith-pipeline@v0.9.0 · 5600 in / 1096 out tokens · 47904 ms · 2026-05-24T10:41:53.878681+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

45 extracted references · 45 canonical work pages · 1 internal anchor

  1. [1]

    Andr\'e, Pour une th\'eorie inconditionnelle des motifs

    Y. Andr\'e, Pour une th\'eorie inconditionnelle des motifs. Inst.\ Hautes \'Etudes Sci.\ Publ.\ Math.\ No. 83 (1996), 5--49

    work page 1996

  2. [2]

    Andr\'e, On the Shafarevich and Tate conjectures for hyper-K\"ahler varieties

    Y. Andr\'e, On the Shafarevich and Tate conjectures for hyper-K\"ahler varieties. Math.\ Ann.\ 305 (1996), 205--248

    work page 1996

  3. [3]

    Andr\'e, Motifs de dimension finie (d'apr\`es S.-I

    Y. Andr\'e, Motifs de dimension finie (d'apr\`es S.-I. Kimura, P. O'Sullivan, ...). S\'em.\ Bourbaki 2003--2004, Expos\'e No. 929. In: Ast\'erisque 299 (2005), pp. 115--145

    work page 2003

  4. [4]

    Blanc, Topological K-theory of complex noncommutative spaces, Compos.\ Math.\ 152 (2016), no

    A. Blanc, Topological K-theory of complex noncommutative spaces, Compos.\ Math.\ 152 (2016), no. 3, 489--555

    work page 2016

  5. [5]

    Bloch, A

    S. Bloch, A. Ogus, Gersten's conjecture and the homology of schemes. Ann.\ Sci.\ \'Ecole Norm.\ Sup.\ (4) 7 (1974), 181--201

    work page 1974

  6. [6]

    Bloch, V

    S. Bloch, V. Srinivas, Remarks on correspondences and algebraic cycles. Amer.\ J.\ Math.\ 105 (1983), no. 5, 1235--1253

    work page 1983

  7. [7]

    Bolognesi, R

    M. Bolognesi, R. Laterveer, Some motivic properties of Gushel--Mukai sixfolds. Preprint, 2022. https://arxiv.org/abs/2201.11175

    work page arXiv 2022

  8. [8]

    Campana, Connexit\'e rationnelle des vari\'et\'es de Fano

    F. Campana, Connexit\'e rationnelle des vari\'et\'es de Fano. Ann.\ Sci.\ \'Ecole Norm.\ Sup.\ (4) 25 (1992), no. 5, 539--545

    work page 1992

  9. [9]

    Colliot-Th\'el\`ene, C

    J.-L. Colliot-Th\'el\`ene, C. Voisin, Cohomologie non ramifi\'ee et conjecture de Hodge enti\`ere. Duke Math.\ J.\ 161 (2012), no. 5, 735--801

    work page 2012

  10. [10]

    Debarre, Gushel--Mukai varieties

    O. Debarre, Gushel--Mukai varieties. Preprint, 2020. https://arxiv.org/abs/2001.03485

    work page arXiv 2020

  11. [11]

    Debarre, A

    O. Debarre, A. Kuznetsov, Gushel--Mukai varieties: classification and birationalities. Alg.\ Geom.\ 5 (2018), no. 1, 15--76

    work page 2018

  12. [12]

    Debarre, A

    O. Debarre, A. Kuznetsov, Gushel--Mukai varieties: linear spaces and periods. Kyoto J.\ Math.\ 59 (2019), no. 4, 897--953

    work page 2019

  13. [13]

    Debarre, A

    O. Debarre, A. Kuznetsov, Double covers of quadratic degeneracy and Lagrangian intersection loci. Math.\ Ann.\ 378 (2020), no. 3--4, 1435--1469

    work page 2020

  14. [14]

    Debarre, A

    O. Debarre, A. Kuznetsov, Gushel--Mukai varieties: intermediate Jacobians. \'Epijournal de G\'eom. Alg.\ 4 (2020), Article 19, 45 pp

    work page 2020

  15. [15]

    Deninger, J

    C. Deninger, J. Murre, Motivic decomposition of abelian schemes and the Fourier transform. J.\ reine angew.\ Math.\ 422 (1991), 201--219

    work page 1991

  16. [16]

    Fomenko, D

    A. Fomenko, D. Fuchs, Homotopical topology (Second edition). Graduate Texts in Mathematics 273. Springer, 2016

    work page 2016

  17. [17]

    L. Fu, R. Laterveer, C. Vial, Multiplicative Chow--K\"unneth decompositions and varieties of cohomological K3 type. Ann.\ Mat.\ Pura ed Appl.\ (4) 200 (2021), no. 5, 2085--2126

    work page 2021

  18. [18]

    L. Fu, B. Moonen, The Tate Conjecture for even dimensional Gushel--Mikai varieties in characteristic p 5 . Preprint, https://arxiv.org/abs/2207.01122

    work page arXiv

  19. [19]

    L. Fu, Z. Tian, 2 -Cycles sur les hypersurfaces cubiques de dimension 5 . Math.\ Z.\ 293 (2019), no. 1--2, 661--676

    work page 2019

  20. [20]

    L. Fu, C. Vial, A motivic global Torelli theorem for isogenous K3 surfaces. Adv.\ Math.\ 383 (2021), Paper No. 107674

    work page 2021

  21. [21]

    L. Fu, C. Vial, Cubic fourfolds, Kuznetsov components and Chow motives. Preprint, 2020. https://arxiv.org/abs/2009.13173

    work page arXiv 2020

  22. [22]

    Graber, J

    T. Graber, J. Harris, J. Starr, Families of rationally connected varieties. J.\ Amer.\ Math.\ Soc.\ 16 (2003), no. 1, 57--67

    work page 2003

  23. [23]

    Grothendieck, Le groupe de Brauer

    A. Grothendieck, Le groupe de Brauer. III. Exemples et compl\'ements. In: Dix expos\'es sur la cohomologie des sch\'emas, Adv.\ Stud.\ Pure Math.\ 3, North-Holland, 1968; pp. 88--188

    work page 1968

  24. [24]

    Huybrechts, Motives of derived equivalent K3 surfaces

    D. Huybrechts, Motives of derived equivalent K3 surfaces. Abh.\ Math.\ Semin.\ Univ.\ Hambg.\ 88 (2018), no. 1, 201--207

    work page 2018

  25. [25]

    Jannsen, Motives, numerical equivalence, and semi-simplicity

    U. Jannsen, Motives, numerical equivalence, and semi-simplicity. Invent.\ Math.\ 107 (1992), no. 3, 447--452

    work page 1992

  26. [26]

    B. Kahn, J. Murre, C. Pedrini, On the transcendental part of the motive of a surface. In: Algebraic cycles and motives. Vol. 2, London Math.\ Soc.\ Lecture Note Ser.\ 344, Cambridge Univ. Press, 2007; pp. 143--202

    work page 2007

  27. [27]

    Kimura, Chow groups are finite dimensional, in some sense

    S.-I. Kimura, Chow groups are finite dimensional, in some sense. Math.\ Ann.\ 331 (2005), no. 1, 173--201

    work page 2005

  28. [28]

    Koll\'ar, Y

    J. Koll\'ar, Y. Miyaoka, S. Mori, Rational connectedness and boundedness of Fano manifolds. J.\ Differential Geom.\ 36 (1992), no. 3, 765--779

    work page 1992

  29. [29]

    Kuznetsov, A

    A. Kuznetsov, A. Perry, Derived categories of Gushel-Mukai varieties. Compos.\ Math.\ 154 (2018), no. 7, 1362--1406

    work page 2018

  30. [30]

    Categorical cones and quadratic homological projective duality

    A. Kuznetsov, A. Perry, Categorical cones and quadratic homological projective duality. Preprint, 2019. To appear in Ann.\ Sci.\ \'Ecole Norm.\ Sup. https://arxiv.org/abs/1902.09824

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  31. [31]

    Laterveer, Algebraic varieties with small Chow groups

    R. Laterveer, Algebraic varieties with small Chow groups. J.\ Math.\ Kyoto Univ.\ 38 (1998), no. 4, 673--694

    work page 1998

  32. [32]

    Laterveer, Algebraic cycles and Gushel--Mukai fivefolds

    R. Laterveer, Algebraic cycles and Gushel--Mukai fivefolds. J.\ Pure Appl.\ Algebra 225 (2021), no. 5, Paper no. 106582, 18 pp

    work page 2021

  33. [33]

    C. Li, L. Pertusi, X. Zhao, Derived categories of hearts on Kuznetsov components. Preprint, 2022. https://arxiv.org/abs/2203.13864

    work page arXiv 2022

  34. [34]

    Moonen, On the Tate and Mumford--Tate conjectures in codimension 1 for varieties with h^ 2,0 =1

    B. Moonen, On the Tate and Mumford--Tate conjectures in codimension 1 for varieties with h^ 2,0 =1 . Duke Math J.\ 166 (2017), no. 4, 739--799

    work page 2017

  35. [35]

    Murre, Applications of algebraic K -theory to the theory of algebraic cycles

    J. Murre, Applications of algebraic K -theory to the theory of algebraic cycles. In: Algebraic geometry (Sitges, 1983); Lecture Notes in Math.\ 1124, Springer, 1985, pp. 216--261

    work page 1983

  36. [36]

    Nagel, The generalised Hodge conjecture for the quadratic complex of lines in projective four-space

    J. Nagel, The generalised Hodge conjecture for the quadratic complex of lines in projective four-space. Math.\ Ann.\ 312 (1998), no. 2, 387--401

    work page 1998

  37. [37]

    Perry, The integral Hodge conjecture for two-dimensional Calabi--Yau categories

    A. Perry, The integral Hodge conjecture for two-dimensional Calabi--Yau categories. Compos.\ Math.\ 158 (2022), no. 2, 287--333

    work page 2022

  38. [38]

    Z. Tian, H. Zong, One-cycles on rationally connected varieties. Compos.\ Math.\ 150, no. 3, 396--408

    work page

  39. [39]

    Vial, Projectors on the intermediate algebraic Jacobians

    C. Vial, Projectors on the intermediate algebraic Jacobians. New York J.\ Math.\ 19 (2013), 793--822

    work page 2013

  40. [40]

    Vial, Remarks on motives of abelian type

    C. Vial, Remarks on motives of abelian type. Tohoku Math.\ J.\ (2) 69 (2017), no. 2, 195--220

    work page 2017

  41. [41]

    Voevodsky, Motivic cohomology with Z /2 -coefficients, Publ.\ Math.\ Inst.\ Hautes \'Etudes Sci.\ 98 (2003), 59--104

    V. Voevodsky, Motivic cohomology with Z /2 -coefficients, Publ.\ Math.\ Inst.\ Hautes \'Etudes Sci.\ 98 (2003), 59--104

    work page 2003

  42. [42]

    Voevodsky, Motivic cohomology with Z /l -coefficients, Ann.\ of Math.\ (2) 174 (2011), no

    V. Voevodsky, Motivic cohomology with Z /l -coefficients, Ann.\ of Math.\ (2) 174 (2011), no. 1, 401--438

    work page 2011

  43. [43]

    Voisin, Hodge theory and complex algebraic geometry, Vol

    C. Voisin, Hodge theory and complex algebraic geometry, Vol. I. Cambridge Studies in Adv.\ Math.\ 76. Cambridge Univ.\ Press, 2002

    work page 2002

  44. [44]

    Voisin, Degree 4 unramified cohomology with finite coefficients and torsion codimension 3 cycles, In: Geometry and Arithmetic; EMS Ser.\ Congr

    C. Voisin, Degree 4 unramified cohomology with finite coefficients and torsion codimension 3 cycles, In: Geometry and Arithmetic; EMS Ser.\ Congr. Rep., European Math.\ Soc., 2012, pp. 347--368

    work page 2012

  45. [45]

    Zhou, Chow groups of Gushel--Mukai fivefolds

    L. Zhou, Chow groups of Gushel--Mukai fivefolds. Preprint, 2021. https://arxiv.org/abs/2101.05576

    work page arXiv 2021