On reconstructing subvarieties from their periods

Emre Can Sert\"oz; Hossein Movasati

REVIEW 2 major objections 5 minor 10 references

On reconstructing subvarieties from their periods

T0 review · 2 major / 5 minor · 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 Periods of a hypersurface can be used to reconstruct the equations of the subvarieties realizing its Hodge cycles, and the paper carries this out for two quartics, proving Picard numbers 8 and 14.

desk verdict Genuinely useful reconstruction algorithm, but the two Picard number proofs rest on an uncertified numerical lattice step. read the letter →

arxiv 1908.03221 v2 pith:CJADSPHW submitted 2019-08-08 math.AG math.NT

Hossein Movasati , Emre Can Sertöz This is my paper · ORCID

classification math.AGmath.NT MSC 14C3014C2514J28

keywords periodsHodgecyclesPicardnumberquarticsurfacesalgebraicsubvarietyreconstructionGriffithsresiduesperiodideal

topics The Hodge Conjecture

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

This paper claims that the periods of a projective hypersurface can be used to reconstruct, not just compute invariants of, the algebraic subvarieties lying on it. The construction attaches to each Hodge cycle an ideal of homogeneous polynomials defined by period integrals; any subvariety realizing the cycle has its ideal contained in this period ideal, and in useful cases the two agree up to the degree needed to read off equations. The authors implement the procedure numerically, reconstruct the coefficients of the equations as algebraic numbers, and verify them symbolically. As proof of concept, they determine the Picard numbers of two specific quartic surfaces, 8 and 14, by exhibiting the 56 conics or 102 conics plus 4 lines that generate the Picard lattice, with upper bounds coming from zeta functions in finite characteristic. The method matters because it replaces expensive symbolic searches through Hilbert schemes with numerical linear algebra followed by exact verification.

What carries the argument

The central object is the period ideal $\tilde I_{\delta} = \bigoplus_{u\ge 0}\tilde I_{\delta,u}$, where $\tilde I_{\delta,u}$ is the kernel of the map $S_u\to S_v^{\vee}$, $p\mapsto (q\mapsto\int_{\delta}\omega_{pq})$, with $v=N+\frac n2 d-u$ and $\omega_p$ the residue of the rational differential form $p\,\Omega/f^{\ell+1}$ on the ambient projective space. A Hodge cycle $\delta$ is an integral class orthogonal to half of the Hodge filtration, the natural candidate for a class of an algebraic subvariety. The ideal $\tilde I_{\delta}$ contains the ideal $I(Y)$ of every subvariety $Y$ with $[Y]=\delta$; the key structural results used here are the complete-intersection description from [Dan17], which gives agreement up to an explicit degree, and the conic case $\tilde I_{\delta,1}=\langle \text{plane equation}\rangle$ in a quartic. The numerical part computes $\tilde I_{\delta,1}$ by linear algebra on the period matrix; the exactness part reconstructs its coefficients as algebraic numbers and verifies the resulting equations by substitution.

What would settle it

Recompute the period isomorphism for the surface $X=Z(x^4+x^3z-xy^3+y^4+z^4+w^4)$ with interval-arithmetic error bounds; for each of the 56 lattice classes $\delta$ with $\delta^2=-2$ and $h\cdot\delta=2$, the degree-one kernel $\tilde I_{\delta,1}$ must be generated by a single plane $Z(h)$ over the degree-28 field, and the symbolic intersection $X\cap Z(h)$ must be two bitangent conics. If any one of those 56 verifications fails, or if the zeta function of the reduction modulo 101 does not bound the Picard number above by 8, the paper's central claim collapses.

Watch

Extended reading notes

Core claim

The central claim, stated in the authors' own terms, is that algebraic cycles on a hypersurface can be recovered from their periods: given a Hodge cycle $\delta$, the kernel $\tilde I_{\delta}$ of the pairings $(p,q)\mapsto\int_{\delta}\omega_{pq}$ is an ideal that contains the ideal $I(Y)$ of any subvariety $Y$ with $[Y]=\delta$, and in the cases treated it can be computed and then identified with $I(Y)$ after symbolic verification. The paper proves this concretely for quartic surfaces: for $X=Z(x^4+x^3z-xy^3+y^4+z^4+w^4)$ it exhibits 56 conics whose classes generate an integral lattice of rank 8, and for $X=Z(5x^4-4x^2zw+8y^4-5z^4+4zw^3)$ it exhibits 102 conics and 4 lines generating rank 14, with matching upper bounds from reduction to characteristic $\mathbb F_{101}$. Because the period computations are numerical, the equations are first obtained approximately and then reconstructed as algebraic numbers; the subsequent symbolic check that each plane indeed cuts $X$ into two conics is what turns the numerical output into a proof. The paper also proposes the notion of a perfect Hodge class to isolate exactly when this reconstruction works, and proves that twisted cubics on quintic and higher-degree surfaces are always reconstructible.

Load-bearing premise

The load-bearing premise is that the numerically computed period data correctly identifies the lattice of Hodge classes: the paper trusts this identification with high confidence but supplies no rigorous error bound for the 5000-digit computations, so an error there would make the 56 or 102 candidate classes untrustworthy even though symbolic checks would likely catch gross mistakes.

Editorial extensions

If this is right

For complete-intersection subvarieties of smooth hypersurfaces, the ideal of the subvariety can be read off from its Hodge class up to an explicit degree, so low-degree cycles such as planes and conics are reconstructible in practice.
The same pair of arguments, reconstructed classes for the lower bound and zeta functions in finite characteristic for the upper bound, can determine Picard numbers exactly for other quartics with moderate rank, not just extremal ones.
Twisted cubics on quartic surfaces are reconstructible from periods exactly when $\tilde I_{[T],1}=0$ and $\dim\tilde I_{[T],2}=3$ (Proposition 2.13), and on surfaces of degree at least five they are always reconstructible (Proposition 2.15).
For divisor classes on varieties with $H^1(X,\mathcal O_X)=0$, Theorem 4.12 bounds the degree of a field over which a basis of the Picard group can be defined by the bound $M(\rho-1)$, turning the search for such a basis into a finite search.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Editorial inference: The same period-ideal pipeline should transfer to higher-dimensional cycles, such as curves on threefolds, provided the residue pairings can be computed and the subvariety is cut out by equations of low known degree; the practical bottleneck is the cost of the numerical period map, not the reconstruction step.
Editorial inference: The gap between the enormous uniform bound $M(\rho-1)$ and the observed degree-28 field in Proposition 3.1 suggests the Galois representation on the period lattice carries much sharper information about fields of definition; tracking that representation could replace uniform bounds with cycle-specific ones.
Editorial inference: If Question 2.12 has a positive answer, the reconstruction method is complete for algebraic classes on hypersurfaces, converting Hodge-conjecture checks in computable cases into a verification problem: recover candidate subvarieties from periods and then verify their equations symbolically.

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.

Desk Editor's Note

read the letter

Kaveh,

This paper has a genuinely new practical algorithm: recover the ideal of a subvariety from the kernel of the period pairing, then reconstruct exact algebraic equations from floating-point data. The method is clearly explained, and the twisted cubic analysis in Section 2 is careful and interesting. The two headline Picard number computations, however, are not as airtight as the abstract suggests. The lower bound that the Picard number is at least 8 depends on a numerically computed lattice Λ taken from [LS19], asserted to contain Pic(X)|_B for huge B. The symbolic verification of the 56 conics shows those conics exist, but it does not by itself prove their classes span a rank-8 sublattice of H^2(X,Z). Without a certified Λ or an explicit intersection matrix of the conic classes, the rank lower bound is conditional, even though the upper bounds from reduction mod 101 are solid.

What deserves credit: Algorithm 3.1 is new and practical. The notion of perfect Hodge classes, the reconstruction of twisted cubics, and the combination of numerical periods with finite-characteristic upper bounds are all good ideas. Section 2's proofs are careful, and the paper is honest about the “high confidence” status of the lattice identification. My main complaint is that this load-bearing numerical step is not accompanied by a reproducible certificate, and the Magma scripts and period data are not shipped. These are fixable.

Section 4 is mostly exposition of known results with modest bounds; it doesn’t affect the verdict.

The central claim—that you can find equations of subvarieties from periods—is believable and supported by the twisted cubic examples and by the fact that the reconstructed planes do come from period data. I would send this to a serious referee. The referee should be asked to check whether the lattice step can be made rigorous, or at least whether the authors can provide enough data to verify the rank of the conic classes independently.

I’d bring it to reading group and cite the method if I worked in computational Hodge theory. But I would not quote the Picard numbers as theorems without checking the lattice step.

Referee Report

2 major / 5 minor

Summary. The paper proposes a practical method for reconstructing subvarieties of a projective hypersurface from its periods. For an even-dimensional hypersurface X, the authors attach to each Hodge cycle δ a homogeneous ideal ~I_δ built from the kernels of period pairings; if δ=[Y], then I(Y)⊂~I_δ, and for complete intersections the ideals agree up to a known degree. Using numerical period computations (PeriodSuite), they compute approximate period matrices, extract a Hodge lattice Λ, and then, for δ a conic class, compute the kernel ~I_{δ,1}, reconstruct the plane containing the conic as an algebraic linear form, and symbolically verify the resulting plane equation. This is used to prove that two explicit quartic surfaces have Picard numbers 8 and 14, exhibiting 56 conics (respectively 102 conics and 4 lines) whose classes generate the Picard group. A second contribution is a general section on fields generated by periods, giving bounds on the degree of the field of definition of algebraic cycles.

Significance. If the numerical certification is made fully rigorous, the paper's main contribution is significant: it provides a genuinely practical and partially certified route from period integrals to equations of subvarieties, and it gives nontrivial, non-extremal Picard number computations with both lower and upper bounds. The theoretical part (Section 2) is carefully written and contains useful results such as Proposition 2.15 and the discussion of perfect Hodge classes. I explicitly credit the authors for making code available and for combining symbolic verification (Magma) with modular-characteristic upper bounds. The main blockage is the load-bearing numerical lattice identification, which is currently cited rather than proved in this manuscript.

major comments (2)

[§3.1, proof of Proposition 3.1 (and parallel proof of Proposition 3.2)] The exact lower bound rk Pic(X) ≥ 8 depends on the assertion "The lattice Λ ... contains Pic(X)|_B for some explicit B≫10^1000 [LS19]." In the same paragraph the lattice is described as found "with high confidence [LS19]." The symbolic verification of the 56 reconstructed planes proves that the 56 selected classes are algebraic, but it does not prove that no conic class was missed. If the numerical period computation or the lattice identification were incorrect at the working precision, a genuine conic class could lie outside Λ and the conclusion Λ = Pic(X) would fail. Please state the precise theorem from [LS19] that gives the containment and verify its numerical hypotheses, in particular why 5000-digit periods suffice; alternatively, explicitly label the lower bound as conditional. This is load-bearing for the central claim that the Picard numbers are exactly 8 and 14.
[§3.1, last paragraph and Proposition 3.2] The upper bound rk Pic(X) ≤ 8 (respectively 14) is asserted from "computing the Zeta function of the reduction of X over F101" with citations [AKR10; CHK19; Cos15], but no data from this computation is reported: the zeta function, the resulting bound, or the exact code and log are absent. A reader cannot check this half of the equality without rerunning the computation from scratch. Please include the relevant output or provide scripts and logs as supplementary material.

minor comments (5)

[§2.1, around Eq. (2.4)] The spelling "ˇCeck" should be "Čech", and in §1.5 "de Rahm" should be "de Rham".
[§2.3.2, Proposition 2.15] The phrase "twisted curve" is likely intended to be "twisted cubic"; please clarify the statement and proof.
[§3.1, proof of Proposition 3.1] The minimal polynomial for a1 has degree 28, and the expression for a2 is omitted because it is roughly 4000 characters; even if too long for the main text, please provide it in supplementary data so the symbolic verification is reproducible.
[§3.1, last paragraph] The notation Pic(X)|_B is defined, but the value of B is not given; the phrase "B≫10^1000" is not an explicit bound. Please state an actual bound or give the formula for B from [LS19].
[§3.2.2] The statements about "randomly sample quartics" and "observed" in tens of thousands of examples are empirical; please add an explicit sentence labelling these as experiments rather than proofs.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the conic equations are period-derived and then symbolically verified against the defining equation; the main caveat is a numerical lattice-certification step imported from prior work, which is a rigor concern rather than a circular fit.

full rationale

The claimed derivation chain is not circular. In Algorithm 3.1 and Propositions 3.1–3.2, the ideal Iδ,u is computed from period integrals of the hypersurface via linear algebra, and the reconstructed plane h is then verified geometrically: working over the abstract field K, Magma proves that X ∩ Z(h) has a reduced singular locus of degree 2 with multiplicity three, forcing X ∩ Z(h) to be a pair of bitangent conics. This verification is against the defining polynomial f, not against the period data, so the claimed algebraic cycles are grounded independently of the numerical input. The upper bounds on the Picard numbers come from zeta functions over F101, an independent external computation. The only load-bearing imported object is the lattice Λ and the containment Pic(X)|B ⊂ Λ, attributed to [LS19], whose second author is also an author here. The paper states this with a high-confidence qualifier in the proof of Proposition 3.1 and does not reproduce the asserted B bound, so the exact lower bound inherits a numerical-certification caveat. That is a correctness or reproducibility risk, not circularity: the lattice result is an external computational method applied to f, not a fit to the target conic classes, and the symbolic verification would expose gross errors in the reconstructed equations.

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

The central claim rests on standard Hodge theory (Griffiths residues, Poincaré duality), on published numerical period algorithms by the same group, and on the modular reduction method. No free parameters are fitted; the numerical precision is a practical choice, not a model parameter. The invented-entity ledger is empty because the paper introduces no new postulated objects; 'perfect Hodge classes' is a definitional notion, not an entity.

assumptions (5)

standard math Griffiths residue maps give an identification between homogeneous polynomials and cohomology classes (Griffiths [Gri69])
Used throughout Section 2 to define the pairing and the ideal; cited as known.
domain assumption The period matrix of a hypersurface can be computed numerically to arbitrary precision by the algorithm in [Ser19]
The practical method depends on the availability and correctness of the PeriodSuite implementation; no proof of convergence or certified error bound is given in this paper.
domain assumption The lattice of Hodge classes can be identified from approximate periods with sufficient precision (Lairez-Sertöz [LS19])
Section 3.1: 'this lattice is the Picard group of X with high confidence [LS19]'; this step is the weakest link in the computational proofs.
domain assumption The upper bound on the Picard number from reduction modulo p is valid for these quartics (Abbott-Kedlaya-Roe [AKR10], Costa-Harvey-Kedlaya [CHK19], Costa-Sertöz [CS20])
Used in Propositions 3.1 and 3.2 to show rk Pic(X) <= 8 and <= 14; relies on the theory of p-adic cohomology and the Tate conjecture for K3 surfaces.
standard math R/\tilde I_δ is an Artinian-Gorenstein quotient with socle degree 2d-4 when δ is the class of a twisted cubic in a surface of degree d (Villaflor [Vil, Remark 4])
Used in Proposition 2.15 to derive a contradiction via Gieseker's lemma; cited as a known result.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On reconstructing subvarieties from their periods." pith.science (2026). https://pith.science/paper/CJADSPHW

@misc{pith2026190803221,
  author       = {Pith},
  title        = {Pith review of: On reconstructing subvarieties from their periods},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CJADSPHW}},
  note         = {Machine review of arXiv:1908.03221}
}

read the original abstract

We give a new practical method for computing subvarieties of projective hypersurfaces. By computing the periods of a given hypersurface X, we find algebraic cohomology cycles on X. On well picked algebraic cycles, we can then recover the equations of subvarieties of X that realize these cycles. In practice, a bulk of the computations involve transcendental numbers and have to be carried out with floating point numbers. However, if X is defined over algebraic numbers then the coefficients of the equations of subvarieties can be reconstructed as algebraic numbers. A symbolic computation then verifies the results. As an illustration of the method, we compute generators of the Picard groups of some quartic surfaces. A highlight of the method is that the Picard group computations are proved to be correct despite the fact that the Picard numbers of our examples are not extremal.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

[6]

Translated from the French by Reinie Ern´ e, Oxford Science Publi- cations

Oxford Graduate Texts in Mathematics. Translated from the French by Reinie Ern´ e, Oxford Science Publi- cations. Oxford University Press, Oxford, 2002, pp. xvi+57

work page 2002
[9]

Periods of Complete Intersection Algebraic Cycles

isbn: 0-19-850284-2. [LS19] Pierre Lairez and Emre Can Sert¨ oz. “A numerical tran scendental method in algebraic geometry: computation of Picard groups and related invaria nts.” English. In: SIAM J. Appl. Algebra Geom. 3.4 (2019), pp. 559–584. issn: 2470-6566/e. 15 [Min87] Hermann Minkowski. “Zur Theorie der positiven quad ratischen Formen.” In: J. Reine...

work page Pith review arXiv 2019
[20]

Inﬁnitesimal varia tions of Hodge structure. II: An inﬁnitesimal invariant of Hodge classes

Berlin: Springer-Verlag, 1982, pp. ii+414. isbn: 3-540-11174-3. [Dol12] Igor V. Dolgachev. Classical algebraic geometry . A modern view. Cambridge Univer- sity Press, Cambridge, 2012, pp. xii+639. [GH83] Phillip Griﬃths and Joe Harris. “Inﬁnitesimal varia tions of Hodge structure. II: An inﬁnitesimal invariant of Hodge classes.” English. In: Compos. Math....

work page 1983
[21]

T he Magma algebra system. I. The user language

S´ emin. Congr. Soc. Math. France, Paris, 2010, pp. 125–159. [BCP97] Wieb Bosma, John Cannon, and Catherine Playoust. “T he Magma algebra system. I. The user language.” In: J. Symbolic Comput. 24.3-4 (1997). Computational algebra and number theory (London, 1993), pp. 235–265. issn: 0747-7171. [BF04] N. Bruin and E. V. Flynn. “Rational divisors in ration a...

work page 1997
[52]

The genus of space curves

Springer-Verlag, New York-Heidelberg, 1977, pp. xvi+496. [Har80] Joe Harris. “The genus of space curves.” English. In : Math. Ann. 249 (1980), pp. 191–

work page 1980
[77]

Translated fro m the French by Leila Schneps

Cambridge Studies in Advanced Mathematics. Translated fro m the French by Leila Schneps. Cambridge University Press, Cambridge, 2007, pp. x+351. isbn: 978-0-521- 71802-8. 16

work page 2007
[101]

Cambr idge University Press, Cambridge, 2006, pp

Cambridge Studies in Advanced Mathematics. Cambr idge University Press, Cambridge, 2006, pp. xii+343. isbn: 978-0-521-86103-8; 0-521-86103-9. [Har77] Robin Hartshorne. Algebraic geometry . Graduate Texts in Mathematics, No

work page 2006
[420]

On the periods of certain ratio nal integrals. I, II

Contemp. Math. Amer. Math. Soc., Providence, RI, 2006, pp. 141–161. [Gri69] Phillip A. Griﬃths. “On the periods of certain ratio nal integrals. I, II.” In: Ann. of Math. (2) 90 (1969), 460-495; ibid. (2) 90 (1969), pp. 496–541. [Gro66] Alexander Grothendieck. “On the de Rham cohomology of algebraic varieties.” In: Inst. Hautes ´Etudes Sci. Publ. Math. 29 ...

work page 1969

Show all 10 references

[2004]

Inﬁnitesim al variations of Hodge structure and the global Torelli problem

Proceedings. Berlin: Springer, 2004, pp. 132–139. isbn: 3-540-22156-5/pbk. [CG80] James A. Carlson and Phillip A. Griﬃths. “Inﬁnitesim al variations of Hodge structure and the global Torelli problem.” In: Journ´ ees de G´ eometrie Alg´ ebrique d’Angers, Juillet 1979/Algebraic ...

1996
[2020]

Noether-Lefschetz locus and a special case of the variational Hodge conjecture: using elementary techniques

arXiv: 2003.11037. [Dan17] Ananyo Dan. “Noether-Lefschetz locus and a special case of the variational Hodge conjecture: using elementary techniques.” In: Analytic and algebraic geometry . Hin- dustan Book Agency, New Delhi, 2017, pp. 107–115. [Del06] P. Deligne. “The Hodge con...

2003 arXiv

Pith tools

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

[1] [6]

Translated from the French by Reinie Ern´ e, Oxford Science Publi- cations

Oxford Graduate Texts in Mathematics. Translated from the French by Reinie Ern´ e, Oxford Science Publi- cations. Oxford University Press, Oxford, 2002, pp. xvi+57

work page 2002

[2] [9]

Periods of Complete Intersection Algebraic Cycles

isbn: 0-19-850284-2. [LS19] Pierre Lairez and Emre Can Sert¨ oz. “A numerical tran scendental method in algebraic geometry: computation of Picard groups and related invaria nts.” English. In: SIAM J. Appl. Algebra Geom. 3.4 (2019), pp. 559–584. issn: 2470-6566/e. 15 [Min87] Hermann Minkowski. “Zur Theorie der positiven quad ratischen Formen.” In: J. Reine...

work page Pith review arXiv 2019

[3] [20]

Inﬁnitesimal varia tions of Hodge structure. II: An inﬁnitesimal invariant of Hodge classes

Berlin: Springer-Verlag, 1982, pp. ii+414. isbn: 3-540-11174-3. [Dol12] Igor V. Dolgachev. Classical algebraic geometry . A modern view. Cambridge Univer- sity Press, Cambridge, 2012, pp. xii+639. [GH83] Phillip Griﬃths and Joe Harris. “Inﬁnitesimal varia tions of Hodge structure. II: An inﬁnitesimal invariant of Hodge classes.” English. In: Compos. Math....

work page 1983

[4] [21]

T he Magma algebra system. I. The user language

S´ emin. Congr. Soc. Math. France, Paris, 2010, pp. 125–159. [BCP97] Wieb Bosma, John Cannon, and Catherine Playoust. “T he Magma algebra system. I. The user language.” In: J. Symbolic Comput. 24.3-4 (1997). Computational algebra and number theory (London, 1993), pp. 235–265. issn: 0747-7171. [BF04] N. Bruin and E. V. Flynn. “Rational divisors in ration a...

work page 1997

[5] [52]

The genus of space curves

Springer-Verlag, New York-Heidelberg, 1977, pp. xvi+496. [Har80] Joe Harris. “The genus of space curves.” English. In : Math. Ann. 249 (1980), pp. 191–

work page 1980

[6] [77]

Translated fro m the French by Leila Schneps

Cambridge Studies in Advanced Mathematics. Translated fro m the French by Leila Schneps. Cambridge University Press, Cambridge, 2007, pp. x+351. isbn: 978-0-521- 71802-8. 16

work page 2007

[7] [101]

Cambr idge University Press, Cambridge, 2006, pp

Cambridge Studies in Advanced Mathematics. Cambr idge University Press, Cambridge, 2006, pp. xii+343. isbn: 978-0-521-86103-8; 0-521-86103-9. [Har77] Robin Hartshorne. Algebraic geometry . Graduate Texts in Mathematics, No

work page 2006

[8] [420]

On the periods of certain ratio nal integrals. I, II

Contemp. Math. Amer. Math. Soc., Providence, RI, 2006, pp. 141–161. [Gri69] Phillip A. Griﬃths. “On the periods of certain ratio nal integrals. I, II.” In: Ann. of Math. (2) 90 (1969), 460-495; ibid. (2) 90 (1969), pp. 496–541. [Gro66] Alexander Grothendieck. “On the de Rham cohomology of algebraic varieties.” In: Inst. Hautes ´Etudes Sci. Publ. Math. 29 ...

work page 1969