pith. sign in

arxiv: 2303.05030 · v5 · pith:UX55NSNNnew · submitted 2023-03-09 · 🧮 math.AG

Grothendieck's period conjecture for Kummer surfaces of self-product CM type

Daiki Kawabe This is my paper

Pith reviewed 2026-05-24 09:32 UTC · model grok-4.3

classification 🧮 math.AG
keywords Grothendieck period conjectureKummer surfaceCM elliptic curvemotivic periodsTannakian categorymotivated cyclesalgebraic cycles
0
0 comments X

The pith

The Grothendieck period conjecture holds for the Kummer surface of a square of a CM elliptic curve.

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

The paper establishes that for this particular Kummer surface the period isomorphism is dense inside the torsor of motivic periods. It also shows that every motivated cohomology class on any power of the surface is algebraic. The argument works even though the motive carries a nontrivial transcendental part, because that motive still sits inside the Tannakian category generated by the motive of the underlying CM elliptic curve. A reader cares because the result supplies an explicit geometric case in which a long-standing conjecture on periods and algebraic cycles is verified.

Core claim

The Grothendieck period conjecture holds for the Kummer surface associated with the square of a CM elliptic curve. This means that the period isomorphism is dense in the torsor of motivic periods. In other words, the isomorphism is dense in the torsor of motivated periods, and motivated classes on powers of the surface are algebraic. The point is that the motive has a non-trivial transcendental part, but belongs to the Tannakian category generated by the motive of a CM elliptic curve.

What carries the argument

The Tannakian category generated by the motive of a CM elliptic curve, which contains the motive of the Kummer surface and thereby forces motivated classes to be algebraic.

If this is right

  • Motivated classes on all powers of the surface are algebraic.
  • The period map realizes a dense subset of the motivic period torsor.
  • The result extends the known cases of the conjecture to surfaces whose motives are transcendental yet CM-generated.

Where Pith is reading between the lines

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

  • Similar density statements might hold for other Kummer surfaces whose motives are built from CM abelian varieties of higher dimension.
  • The same Tannakian containment could be used to study the Hodge conjecture for these surfaces.
  • One could test whether the density persists after base change to fields where the CM elliptic curve acquires extra endomorphisms.

Load-bearing premise

The motive of the Kummer surface lies inside the Tannakian category generated by the motive of the CM elliptic curve.

What would settle it

Exhibiting a motivated but non-algebraic cohomology class on some power of the Kummer surface would show the claim is false.

read the original abstract

We show that the Grothendieck period conjecture holds for the Kummer surface associated with the square of a CM elliptic curve. This means that the period isomorphism is dense in the torsor of motivic periods. In other words, the isomorphism is dense in the torsor of motivated periods, and motivated classes on powers of the surface are algebraic. The point is that the motive has a non-trivial transcendental part, but belongs to the Tannakian category generated by the motive of a CM elliptic curve.

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

0 major / 0 minor

Summary. The manuscript proves that Grothendieck's period conjecture holds for the Kummer surface associated to the square of a CM elliptic curve. It establishes that the period isomorphism is dense in the torsor of motivic periods (equivalently, in the torsor of motivated periods), so that motivated classes on powers of the surface are algebraic. The key reduction is that the motive of the surface, although possessing a non-trivial transcendental part, lies in the Tannakian category generated by the motive of the CM elliptic curve.

Significance. If the central reduction is correct, the result supplies a concrete higher-dimensional example in which the period conjecture holds for a motive with transcendental components that nevertheless belongs to a Tannakian category generated by an elliptic curve. This strengthens the body of verified cases and illustrates how the conjecture can be approached via Tannakian generation even when the motive is not purely of CM elliptic type.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The provided abstract and context present the central reduction—that the Kummer surface motive belongs to the Tannakian category generated by a CM elliptic curve motive—as an enabling mathematical fact used to deduce density of the period isomorphism and algebraicity of motivated classes. No self-definitional steps, fitted inputs renamed as predictions, load-bearing self-citations, or ansatz smuggling are exhibited in the given text; the derivation chain appears self-contained against external motivic and period conjectures rather than reducing to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on the assumption that the motive lies in the Tannakian category of a CM elliptic curve motive; no free parameters or invented entities are mentioned.

axioms (1)
  • domain assumption The motive of the Kummer surface belongs to the Tannakian category generated by the motive of a CM elliptic curve.
    Explicitly identified in the abstract as the enabling point that allows reduction despite the presence of a transcendental part.

pith-pipeline@v0.9.0 · 5601 in / 1203 out tokens · 25086 ms · 2026-05-24T09:32:26.233018+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

37 extracted references · 37 canonical work pages

  1. [1]

    Andr\'e, G-functions and geometry, volume E13 of Aspects Math

    Y. Andr\'e, G-functions and geometry, volume E13 of Aspects Math. Wiesbaden etc.: Friedr. Vieweg & Sohn, 1989

    work page 1989

  2. [2]

    Trento 1989, Springer LN

    , p -adic Betti lattices, in Proc. Trento 1989, Springer LN. 1454, (1990), 23-63

    work page 1989

  3. [3]

    Hautes \' E tudes Sci

    , Pour une th\' e orie inconditionnelle des motifs , Inst. Hautes \' E tudes Sci. Publ. Math. (1996), no. 83, 5--49

    work page 1996

  4. [4]

    17, Soci\' e t\' e Math\' e matique de France, Paris, 2004

    , Une introduction aux motifs (motifs purs, motifs mixtes, p\' e riodes) , Panoramas et Synth\`eses [Panoramas and Syntheses], vol. 17, Soci\' e t\' e Math\' e matique de France, Paris, 2004

    work page 2004

  5. [5]

    , Galois theory, motives and transcendental numbers, In Renormalization and Galois theories, volume 15 of IRMA Lect. Math. Theor. Phys., Eur. Math. Soc., Z\"urich (2009) 165–177

    work page 2009

  6. [6]

    2021, No

    , A note on 1-motives, International Mathematics Research Notices, Vol. 2021, No. 3 (2021) 2074–2080

    work page 2021

  7. [7]

    Number Theory, arXiv:2303.06549 (2023)

    , On the observability of Galois representations and the Tate conjecture, J. Number Theory, arXiv:2303.06549 (2023)

    work page arXiv 2023

  8. [8]

    Ayoub, L'alg\`ebre de Hopf et le groupe de Galois motiviques d'un corps de caract\'eristique nulle , J

    J. Ayoub, L'alg\`ebre de Hopf et le groupe de Galois motiviques d'un corps de caract\'eristique nulle , J. Reine Angew. Math. 693 (2014), partie I: 1-149 ; partie II: 151-226

    work page 2014

  9. [9]

    , Periods and the conjectures of Grothendieck and Kontsevich-Zagier, EMS Newsletter 91 mars 2014, 12-18

    work page 2014

  10. [10]

    , Une version relative de la conjecture des p\'eriodes de Kontsevich-Zagier, Ann. of Math. (2), 181(3): 905–992 (2015)

    work page 2015

  11. [11]

    Bertolin, P\'eriodes de 1-motifs et transcendance, J

    C. Bertolin, P\'eriodes de 1-motifs et transcendance, J. Number Theory, 97(2), (2002) 204–221

    work page 2002

  12. [12]

    Pure Appl

    , Third kind elliptic integrals and 1-motives, J. Pure Appl. Algebra, 224 (10):106396, 28 (2020). With a letter of Y. Andr\'e and an appendix by M. Waldschmidt

    work page 2020

  13. [13]

    Bloch, K2 of Artinian Q-algebras, with application to algebraic cycles, Comm

    S. Bloch, K2 of Artinian Q-algebras, with application to algebraic cycles, Comm. Algebra 3 (1975), 405–428

    work page 1975

  14. [14]

    Bloch, A

    S. Bloch, A. Kas, and D. Lieberman, Zero cycles on surfaces with p_ g = 0 , Compositio Math. 33 (1976), 135-145

    work page 1976

  15. [15]

    Reine Angew

    Jean-Beno\^ t Bost and Fran c ois Charles, Some remarks concerning the G rothendieck period conjecture , J. Reine Angew. Math. 714 (2016), 175--208

    work page 2016

  16. [16]

    G. V. Chudnovsky, Algebraic independence of values of exponential and elliptic functions, Proceedings of the I nternational C ongress of M athematicians ( H elsinki, 1978), Acad. Sci. Fennica, Helsinki, (1980) 339--350

    work page 1978

  17. [17]

    Deligne, Hodge cycles on abelian varieties, in Hodge cycles, motives, and S himura varieties , Lecture Notes in Mathematics, vol

    P. Deligne, Hodge cycles on abelian varieties, in Hodge cycles, motives, and S himura varieties , Lecture Notes in Mathematics, vol. 900, Springer-Verlag, Berlin-New York, 1982

    work page 1982

  18. [18]

    Deligne and J

    P. Deligne and J. Milne, Tannakian categories, in Hodge cycles, motives, and S himura varieties , Lecture Notes in Mathematics, vol. 900, Springer-Verlag, Berlin-New York, 1982

    work page 1982

  19. [19]

    Deninger and J

    C. Deninger and J. P. Murre, Motivic decomposition of abelian schemes and the Fourier transform , J. Reine Angew. Math. 422 (1991), 201--219

    work page 1991

  20. [20]

    Grothendieck, On the de R ham cohomology of algebraic varieties , Inst

    A. Grothendieck, On the de R ham cohomology of algebraic varieties , Inst. Hautes \' E tudes Sci. Publ. Math. (1966), no. 29, 95--103

    work page 1966

  21. [21]

    Huber, Galois theory of periods, M\"unster J

    A. Huber, Galois theory of periods, M\"unster J. Math., 13 (2), (2020), 573–596

    work page 2020

  22. [22]

    Huber and S

    A. Huber and S. M\"uller-Stach, Periods and Nori motives (with contributions of B. Friedrich and J. von Wangenheim), Springer Ergebnisse 65 , 2017

    work page 2017

  23. [23]

    Huber and G

    A. Huber and G. W\"ustholz, Transcendence and linear relations of 1-periods, Cambridge Tracts in Mathematics, Cambridge University Press, 2022

    work page 2022

  24. [24]

    Huybrechts, Lectures on K3 surfaces, Cambridge studies in advanced mathematics, vol

    D. Huybrechts, Lectures on K3 surfaces, Cambridge studies in advanced mathematics, vol. 158, Cambridge University Press, 2016

    work page 2016

  25. [25]

    Kahn, The fullness conjectures for products of elliptic curves, (2023) arXiv:2303.06690v2

    B. Kahn, The fullness conjectures for products of elliptic curves, (2023) arXiv:2303.06690v2

    work page arXiv 2023

  26. [26]

    B. Kahn, J. P. Murre, and C. Pedrini, On the transcendental part of the motive of a surface, in Algebraic cycles and Motives Vol II, London Mathematical Society Lectures Notes Series, vol. 344 Cambridge University Press, Cambridge (2008) 143-202

    work page 2008

  27. [27]

    Katsura, On the structure of singular abelian varieties, Proc

    T. Katsura, On the structure of singular abelian varieties, Proc. Japan Acad. 51, No. 4 (1975) 224–228

    work page 1975

  28. [28]

    Kontsevich and D

    M. Kontsevich and D. Zagier, Periods, In Mathematics unlimited—2001 and beyond, Springer, Berlin (2001) 771–808

    work page 2001

  29. [30]

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

    work page 1984

  30. [31]

    Murasaki, On rational cohomology classes of type (p, p) on an Abelian variety, Sci

    T. Murasaki, On rational cohomology classes of type (p, p) on an Abelian variety, Sci. Rep. Tokyo Kyoiku Daigaku, Sect. A, 10 (1969) 66-74

    work page 1969

  31. [32]

    J. P. Murre, On the motive of an algebraic surface, J. Reine Angew. Math. 409 (1990), 190–204

    work page 1990

  32. [33]

    Nori, Course at Tata Inst

    M. Nori, Course at Tata Inst. Fund. Res., notes by N. Fakhruddin, Mumbai (2000)

    work page 2000

  33. [34]

    Oguiso, On Jacobian fibrations on Kummer surfaces of the product of non-isogenous elliptic curves, J

    K. Oguiso, On Jacobian fibrations on Kummer surfaces of the product of non-isogenous elliptic curves, J. Math. Soc. Jpn. 41 (4) (1989), 651-680

    work page 1989

  34. [35]

    Pedrini, On the finite dimensionality of a K3 surface, Manuscripta math

    C. Pedrini, On the finite dimensionality of a K3 surface, Manuscripta math. 138, 59-72 (2012)

    work page 2012

  35. [36]

    Sch\"utt and T

    M. Sch\"utt and T. Shioda, Mordell-Weil Lattices, Springer (2019)

    work page 2019

  36. [37]

    Shen and C

    M. Shen and C. Vial, DeRham-Betti classes on products of elliptic curves over a number field are algebraic, arXiv:2206.08618v1 (2022)

    work page arXiv 2022

  37. [38]

    Tate, Algebraic cycles and poles of zeta functions, Arithmetical Algebraic Geometry, Harper & Row, 93-110 (1965)

    J. Tate, Algebraic cycles and poles of zeta functions, Arithmetical Algebraic Geometry, Harper & Row, 93-110 (1965)

    work page 1965