Pith. sign in

REVIEW 28 references

Cycle class maps and birational invariants

T0 review · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A new invariant from cycle maps on curves shows that a smooth threefold intersection of two quadrics over a subfield of C is rational if and only if it contains a line over that field.

arxiv 1908.00406 v1 pith:F4DD4BZG submitted 2019-08-01 math.AG

Brendan Hassett , Yuri Tschinkel This is my paper · ORCID
classification math.AG
keywords cyclemapsarisingbirationalclasscurvesgeometricallygeometry
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Mathematicians have long asked when an algebraic variety can be parameterized by ordinary projective space. For surfaces, effective criteria were found long ago, but for threefolds the question is mostly open. This paper studies a concrete family: smooth threefolds obtained as the common zero locus of two quadratic equations in five-dimensional projective space. The main theorem says such a variety is rational over the base field exactly when it contains a line defined over that field. The easy direction was known: projecting away from a line gives a rational parameterization. The new content is the converse, that rationality forces a line to exist.

The proof runs through a new birational invariant attached to curves on the variety. A curve of a given degree determines a class in a principal homogeneous space, a torsor over the intermediate Jacobian, an abelian variety built from the cohomology of the threefold. Over non-algebraically-closed fields, these torsors carry arithmetic information. The authors show that if the threefold is rational, the torsor attached to curves in a given homology class must be a component of the Picard scheme of some curve. They package this constraint into a homomorphism into the Weil-Châtelet group of the descended intermediate Jacobian.

For an intersection of two quadrics, previous work of Wang and of Bhargava, Gross, and Wang described the variety of lines as a torsor over the Jacobian of the genus-two curve associated with the pencil of quadrics, tied to the degree-one Picard scheme of that curve. Applying the rationality constraint forces that torsor to be trivial, so the variety of lines has a rational point, which is exactly a line over the ground field.

Extended reading notes

Core claim

Theorem 24: Let X ⊂ P5 be a smooth complete intersection of two quadrics over a field k ⊂ C. Then X is rational over k if and only if X admits a line defined over k. The reverse implication is classical; the new content is the assertion that rationality forces the existence of a k-line. This rests on the claim that the birational invariant tau of Theorem 17, specialized to the line class in H4(XC, Z)Γ, takes values that for rational X factor through the canonical map from the Picard scheme of a curve C with Jacobian J (Theorem 22), and that for the two-quadric family this forces the torsor of lines to be trivial.

Load-bearing premise

The proof of Theorem 24 concludes C ≅ C′ over the base field k from an isomorphism of principally polarized Jacobians, citing the 'Torelli Theorem [Lau01]' (Section 6.3). This is a load-bearing premise: the Weil-Châtelet comparison 2[Pic^e(C)] = [Pic^1(C)] is only valid if C and C′ are the same curve over k, not merely over the algebraic closure. The cited reference is about rational points on curves over finite fields and does not obviously state the required descent form of Torelli for curves over arbitrary subfields of C, so the underlying theorem must be supplied from another source. If this descent statement fails for some field k, the contradiction that produces a rational point on F1(X) breaks down.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper's central theorem rests on standard external theorems in Hodge theory, ℓ-adic cohomology, and descent of intermediate Jacobians, plus a Torelli comparison whose citation is questionable. No ad hoc fitted constants or invented entities appear. The main unverified internal step is the factorization in Theorem 22, asserted in outline rather than fully proven.

assumptions (5)
  • standard math Descent theorem of Achter-Casalaina-Martin-Vial: there exists an abelian variety J over k with J_C ≅ J^p_cyc(X_C), and algebraic Abel-Jacobi maps over k for families of cycles.
    Used as the input for the construction of tau (Section 4.2, Theorem 8); the paper sketches the proof rather than reproving it.
  • standard math Relation 2[F1(X)] = [Pic^1(C)] for the variety of lines of a smooth intersection of two quadrics, from Wang and Bhargava-Gross-Wang.
    Invoked in Section 6.3 to connect the torsor of lines to the degree-one Picard scheme of the genus-two curve C.
  • standard math Torelli theorem over nonclosed fields: for genus-two curves, an isomorphism of principally polarized Jacobians over k implies an isomorphism of curves over k.
    Cited to [Lau01] at the final step of Theorem 24; the citation appears inadequate, and the statement is load-bearing for the conclusion F1(X)(k) is nonempty.
  • standard math Bloch-Srinivas results: a variety admitting a decomposition of the diagonal has ψ^2 an isomorphism and vanishing Griffiths group, so codimension-two cycles are controlled by cohomology.
    Invoked in Section 2.3 (Theorem 3) and Section 5.3 to identify B^2(X) with finite-index subgroups of H^4(X_C, Z)^Γ.
  • standard math Jannsen's continuous etale cohomology provides cycle class maps and a Hochschild-Serre spectral sequence over nonclosed fields.
    Background for Section 4.1 and Remark 18, used to compare ℓ-adic Abel-Jacobi maps and Galois cohomology.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Cycle class maps and birational invariants." pith.science (2026). https://pith.science/paper/F4DD4BZG

@misc{pith2026190800406,
  author       = {Pith},
  title        = {Pith review of: Cycle class maps and birational invariants},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/F4DD4BZG}},
  note         = {Machine review of arXiv:1908.00406}
}
read the original abstract

We introduce new obstructions to rationality for geometrically rational threefolds arising from the geometry of curves and their cycle maps.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 25 canonical work pages

  1. [1]

    Normal functions for algebraically trivial cycles are algebraic for arithmetic reasons

    Jeffrey D. Achter, Sebastian Casalaina-Martin, and Charles Vial. Algebraically motivated normal functions are algebraic, 2018. arXiv:1810.07404

    work page Pith review arXiv 2018

  2. [2]

    Achter, Sebastian Casalaina-Martin, and Charles Vial

    Jeffrey D. Achter, Sebastian Casalaina-Martin, and Charles Vial. Distinguished models of intermediate J acobians. J. Inst. Math. Jussieu , 2018

    work page 2018

  3. [3]

    Derived categories of torsors for abelian schemes

    Benjamin Antieau, Daniel Krashen, and Matthew Ward. Derived categories of torsors for abelian schemes. Adv. Math. , 306:1--23, 2017

    work page 2017

  4. [4]

    Gross, and Xiaoheng Wang

    Manjul Bhargava, Benedict H. Gross, and Xiaoheng Wang. A positive proportion of locally soluble hyperelliptic curves over Q have no point over any odd degree extension. J. Amer. Math. Soc. , 30(2):451--493, 2017. With an appendix by Tim Dokchitser and Vladimir Dokchitser

    work page 2017

  5. [5]

    S. Bloch. Torsion algebraic cycles and a theorem of R oitman. Compositio Math. , 39(1):107--127, 1979

    work page 1979

  6. [6]

    Bloch and V

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

    work page 1983

  7. [7]

    The Clemens-Griffiths method over non-closed fields

    Olivier Benoist and Olivier Wittenberg. The C lemens- G riffiths method over non-closed fields, 2019. arXiv:1903.08015

    work page Pith review arXiv 2019

  8. [8]

    James A. Carlson. The geometry of the extension class of a mixed H odge structure. In Algebraic geometry, B owdoin, 1985 ( B runswick, M aine, 1985) , volume 46 of Proc. Sympos. Pure Math. , pages 199--222. Amer. Math. Soc., Providence, RI, 1987

    1985

Show all 28 references
  1. [9]

    Deligne- B e linson cohomology

    H\' e l\`ene Esnault and Eckart Viehweg. Deligne- B e linson cohomology. In Be linson's conjectures on special values of L -functions , volume 4 of Perspect. Math. , pages 43--91. Academic Press, Boston, MA, 1988

    1988

  2. [10]

    Intersection theory , volume 2 of Ergebnisse der Mathematik und ihrer Grenzgebiete

    William Fulton. Intersection theory , volume 2 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics . Springer-Verlag, Berlin, second edition, 1998

    1998

  3. [11]

    Griffiths

    Phillip A. Griffiths. On the periods of certain rational integrals. I , II . Ann. of Math. (2) 90 (1969), 460-495; ibid. (2) , 90:496--541, 1969

    1969

  4. [12]

    Griffiths

    Phillip A. Griffiths. Periods of integrals on algebraic manifolds. III . S ome global differential-geometric properties of the period mapping. Inst. Hautes \' E tudes Sci. Publ. Math. , (38):125--180, 1970

    1970

  5. [13]

    Traverso

    Silvio Greco and C. Traverso. On seminormal schemes. Compositio Mathematica , 40(3):325--365, 1980

    1980

  6. [14]

    Cremona transformations and derived equivalences of K 3 surfaces

    Brendan Hassett and Kuan-Wen Lai. Cremona transformations and derived equivalences of K 3 surfaces. Compos. Math. , 154(7):1508--1533, 2018

    2018

  7. [15]

    Rationality of complete intersections of two quadrics, 2019

    Brendan Hassett and Yuri Tschinkel. Rationality of complete intersections of two quadrics, 2019. arXiv:1903.08979 , with an appendix by J .- L . C olliot- T h\'el\`ene

    2019 arXiv

  8. [16]

    V. A. Iskovskikh and Yu. G. Prokhorov. Fano varieties. In Algebraic geometry, V , volume 47 of Encyclopaedia Math. Sci. , pages 1--247. Springer, Berlin, 1999

    1999

  9. [17]

    Continuous \' e tale cohomology

    Uwe Jannsen. Continuous \' e tale cohomology. Math. Ann. , 280(2):207--245, 1988

    1988

  10. [18]

    Mixed motives and algebraic K -theory , volume 1400 of Lecture Notes in Mathematics

    Uwe Jannsen. Mixed motives and algebraic K -theory , volume 1400 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 1990. With appendices by S. Bloch and C. Schoen

    1990

  11. [19]

    Rational curves on algebraic varieties , volume 32 of Ergebnisse der Mathematik und ihrer Grenzgebiete

    J\' a nos Koll\' a r. Rational curves on algebraic varieties , volume 32 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge . Springer-Verlag, Berlin, 1996

    1996

  12. [20]

    Looking for rational curves on cubic hypersurfaces

    J\' a nos Koll\' a r. Looking for rational curves on cubic hypersurfaces. In Higher-dimensional geometry over finite fields , volume 16 of NATO Sci. Peace Secur. Ser. D Inf. Commun. Secur. , pages 92--122. IOS, Amsterdam, 2008. Notes by Ulrich Derenthal

    2008

  13. [21]

    Derived categories view on rationality problems

    Alexander Kuznetsov. Derived categories view on rationality problems. In Rationality problems in algebraic geometry , volume 2172 of Lecture Notes in Math. , pages 67--104. Springer, Cham, 2016

    2016

  14. [22]

    Geometric methods for improving the upper bounds on the number of rational points on algebraic curves over finite fields

    Kristin Lauter. Geometric methods for improving the upper bounds on the number of rational points on algebraic curves over finite fields. J. Algebraic Geom. , 10(1):19--36, 2001. With an appendix in French by J.-P. Serre

    2001

  15. [23]

    Yu. I. Manin. Correspondences, motifs and monoidal transformations. Mat. Sb. (N.S.) , 77 (119):475--507, 1968

    1968

  16. [24]

    Topics in absolute anabelian geometry I : generalities

    Shinichi Mochizuki. Topics in absolute anabelian geometry I : generalities. J. Math. Sci. Univ. Tokyo , 19(2):139--242, 2012

    2012

  17. [25]

    Morphismes universels et vari\'et\'e d' A lbanese

    Jean-Pierre Serre. Morphismes universels et vari\'et\'e d' A lbanese. In S\' e minaire C . C hevalley, 3i\`eme ann\' e e: 1958/59. V ari\' e t\' e s de P icard , pages ii+182. \' E cole Normale Sup\' e rieure, Paris, 1960

    1958

  18. [26]

    Zhiyu Tian and Hong R. Zong. One-cycles on rationally connected varieties. Compos. Math. , 150(3):396--408, 2014

    2014

  19. [27]

    On integral H odge classes on uniruled or C alabi- Y au threefolds

    Claire Voisin. On integral H odge classes on uniruled or C alabi- Y au threefolds. In Moduli spaces and arithmetic geometry , volume 45 of Adv. Stud. Pure Math. , pages 43--73. Math. Soc. Japan, Tokyo, 2006

    2006

  20. [28]

    Maximal linear spaces contained in the base loci of pencils of quadrics

    Xiaoheng Wang. Maximal linear spaces contained in the base loci of pencils of quadrics. Algebr. Geom. , 5(3):359--397, 2018

    2018

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.