A global Torelli theorem for certain Calabi-Yau threefolds

Jinxing Xu; Mao Sheng

arxiv: 1906.12037 · v1 · pith:HD7QAOLXnew · submitted 2019-06-28 · 🧮 math.AG

A global Torelli theorem for certain Calabi-Yau threefolds

Mao Sheng , Jinxing Xu This is my paper

Pith reviewed 2026-05-25 14:08 UTC · model grok-4.3

classification 🧮 math.AG

keywords Calabi-Yau threefoldsglobal Torelli theoremcyclic triple covershyperplane arrangementsperiod mapvariation of Hodge structuremoduli space

0 comments

The pith

The period map is injective for the complete family of Calabi-Yau threefolds from cyclic triple covers of P^3 branched along stable hyperplane arrangements.

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

The authors prove that two such threefolds are isomorphic precisely when their Hodge structures on middle cohomology are isomorphic. The proof applies to the full parameter space of stable hyperplane arrangements, which is shown to give a complete family. A reader cares because this supplies an explicit class of Calabi-Yau threefolds whose moduli space can be recovered from periods alone. The argument combines the completeness of the family with standard infinitesimal Torelli plus global monodromy considerations inside a suitable period domain.

Core claim

We establish a global Torelli theorem for the complete family of Calabi-Yau threefolds arising from cyclic triple covers of P^3 branched along stable hyperplane arrangements.

What carries the argument

The period map of the variation of Hodge structure on the middle cohomology of the family, landing in a suitable period domain.

If this is right

The moduli space of these threefolds is recovered from their periods up to finite ambiguity.
Isomorphism classes inside the family are separated by their Hodge filtrations.
The construction gives an explicit example where global Torelli holds for a complete moduli space of Calabi-Yau threefolds.
Different stable arrangements yield non-isomorphic threefolds whenever their periods differ.

Where Pith is reading between the lines

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

The result may allow explicit computation of the dimension of the moduli space via the period domain.
Similar completeness arguments could be tested on other cyclic cover constructions of Calabi-Yau varieties.

Load-bearing premise

The parameter space of stable hyperplane arrangements produces a complete family of these threefolds.

What would settle it

Two non-isomorphic threefolds in the family whose middle cohomology Hodge structures are isomorphic would disprove the claim.

read the original abstract

We establish a global Torelli theorem for the complete family of Calabi-Yau threefolds arising from cyclic triple covers of $\mathbb P^3$ branched along stable hyperplane arrangements.

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.

Desk Editor's Note private letter to a colleague

This paper proves a global Torelli theorem for the explicit family of Calabi-Yau threefolds from cyclic triple covers of P^3 along stable hyperplane arrangements.

read the letter

The main takeaway is that the authors establish a global Torelli theorem for this one complete family of Calabi-Yau threefolds. They construct the family via cyclic triple covers of P^3 branched along stable hyperplane arrangements and show that the period map is injective, so the Hodge structure determines the isomorphism class within the family. That is the concrete new statement. It organizes the moduli space for this construction using standard Hodge-theoretic tools. The work is useful because it gives an explicit, complete family where the global Torelli property holds, which is not automatic for Calabi-Yau threefolds. The construction appears to satisfy the needed conditions for applying infinitesimal Torelli plus a global argument, and the abstract states the result directly without obvious reductions to prior cases for this exact setup. The scope stays narrow, which is the main limitation. It does not claim a general Torelli theorem or handle broader classes of Calabi-Yau threefolds, so its impact stays inside the subfield of explicit moduli problems. The proof details are not visible from the abstract alone, but the stress-test found no internal inconsistency or failure of a cited standard result, and the claim is a direct injectivity statement rather than a circular or fitted one. No free parameters or invented entities show up. This paper is for algebraic geometers working on Calabi-Yau varieties, Hodge structures, and moduli spaces who want a worked example of a global Torelli result. A reader already familiar with period domains and infinitesimal Torelli will see the value quickly. It is coherent on its own terms and shows clear engagement with the literature on these covers. I would bring it to a reading group for the explicit construction and the statement. I would not cite it in my own work soon because the result is too specialized. It deserves peer review because the claim is precise, the family is concrete, and the topic is standard enough that referees can check the details efficiently.

Referee Report

2 major / 0 minor

Summary. The manuscript claims to establish a global Torelli theorem for the complete family of Calabi-Yau threefolds arising from cyclic triple covers of P^3 branched along stable hyperplane arrangements.

Significance. If correct, the result would supply a new explicit family of Calabi-Yau threefolds for which the period map is injective, adding a concrete case to the short list of known global Torelli theorems in dimension three and potentially informing questions about the image of the period map for such covers.

major comments (2)

[Abstract] The central claim is a theorem whose proof is not supplied in the available abstract; without the derivation steps, major gaps cannot be ruled out and the support for the claim as stated cannot be assessed.
[Abstract] The weakest assumption concerns whether the construction produces a complete family whose period map lands in a period domain where infinitesimal Torelli plus global arguments suffice; this enters when the authors restrict to stable hyperplane arrangements and invoke the completeness of the family.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their report on arXiv:1906.12037. The comments focus on the abstract; the full manuscript contains the detailed arguments establishing the global Torelli theorem. We respond point by point below.

read point-by-point responses

Referee: [Abstract] The central claim is a theorem whose proof is not supplied in the available abstract; without the derivation steps, major gaps cannot be ruled out and the support for the claim as stated cannot be assessed.

Authors: Abstracts are concise statements of results and do not contain proofs; this is standard. The complete proof of the global Torelli theorem, including the construction of the period map and the injectivity argument via infinitesimal Torelli combined with global considerations for the family of cyclic triple covers of P^3 branched along stable hyperplane arrangements, is given in full in the body of the manuscript (Sections 3--5). revision: no
Referee: [Abstract] The weakest assumption concerns whether the construction produces a complete family whose period map lands in a period domain where infinitesimal Torelli plus global arguments suffice; this enters when the authors restrict to stable hyperplane arrangements and invoke the completeness of the family.

Authors: The manuscript establishes that the family parametrized by the moduli space of stable hyperplane arrangements is complete and that the associated period map takes values in the appropriate period domain. The restriction to stable arrangements guarantees the required smoothness and Hodge-theoretic properties, allowing the combination of infinitesimal Torelli with global arguments to yield injectivity; these verifications appear in Sections 2 and 4. revision: no

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper establishes a global Torelli theorem for the specific family of Calabi-Yau threefolds from cyclic triple covers of P^3 along stable hyperplane arrangements. The abstract describes a direct proof that the period map is injective on this complete family, relying on the construction landing in a period domain where standard infinitesimal Torelli plus global arguments suffice. No load-bearing steps reduce by definition, fitted inputs renamed as predictions, or self-citation chains; the derivation is self-contained against external mathematical standards for Torelli theorems.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on the standard axioms of Hodge theory for Calabi-Yau threefolds and the definition of the period map; no free parameters or invented entities are introduced in the abstract.

axioms (2)

domain assumption The period map for Calabi-Yau threefolds is a holomorphic map from the moduli space to a period domain.
Invoked implicitly when stating a global Torelli theorem for the family.
domain assumption Stable hyperplane arrangements yield smooth Calabi-Yau threefolds whose Hodge structures satisfy the usual infinitesimal Torelli property.
Required for the family to be well-defined and for the theorem to apply.

pith-pipeline@v0.9.0 · 5539 in / 1282 out tokens · 25419 ms · 2026-05-25T14:08:09.509660+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We establish a global Torelli theorem for the complete family of Calabi-Yau threefolds arising from cyclic triple covers of P^3 branched along stable hyperplane arrangements. ... period map PX : ˜Ms3,6 ∼→ B3
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The theorem is a direct consequence of Theorems 4.4, 5.3 ... using the variation of Hodge structure attached to a universal family

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

14 extracted references · 14 canonical work pages

[1]

Carlson and D

Allcock, D., J.A. Carlson and D. Toledo: The complex hyperbolic geometry of the moduli space of cubic surfaces , J. Algebraic Geom. 11(4), 659-724 (2002)

work page 2002
[2]

Andreotti, A.: On a theorem of Torelli , Am. J. Math. 80, 801-828 (1958)

work page 1958
[3]

Burns, D. and M. Rapoport: On the Torelli problem for K¨ ahlerian K3 surfaces, Ann. Sc. ENS. 8, 235-274 (1975)

work page 1975
[4]

Deligne, P. and G.D. Mostow: Monodromy of hypergeometric functions and non-lattice int egral monodromy, Publ. Math. Inst. Hautes ´Etudes Sci. 63, 5-89 (1986)

work page 1986
[5]

Dolgachev, I. and D. Ortland, Point sets in projective spaces and theta functions , Ast´ erisque 165 (1988)

work page 1988
[6]

Laza, R.: The moduli space of cubic fourfolds via the period map , Ann. of Math. 172(2), 673-711 (2010)

work page 2010
[7]

Looijenga, E.: The period map for cubic fourfolds , Invent. Math. 177, 213-233 (2009)

work page 2009
[8]

Looijenga, E. and C. Peters: Torelli theorems for K¨ ahler K3-surfaces, Compos. Math. 42, 145-186 (1981)

work page 1981
[9]

Piateˇ ckii-Shapiro, I. I. and I. R. ˇSafareviˇ c:A Torelli theorem for algebraic surfaces of type K3 , Math. USSR, Izv. 5, 547-588 (1971)

work page 1971
[10]

1975, Springer, Berlin (2009)

Rohde, J.: Cyclic coverings, Calabi-Yau manifolds and complex multip lication, Lecture Notes in Math., vol. 1975, Springer, Berlin (2009)

work page 1975
[11]

Xu and K

Sheng, M., J. Xu and K. Zuo: Maximal families of Calabi-Yau manifolds with minimal leng th Yukawa coupling, Comm. Math. Statist. 1(1), 73-92 (2013). GLOBAL TORELLI THEOREM 21

work page 2013
[12]

Xu and K

Sheng, M., J. Xu and K. Zuo: The monodromy groups of Dolgachev’s CY moduli spaces are Zariski dense , Adv. Math. 272, 699-742 (2015)

work page 2015
[13]

Verbitsky, M.: A global Torelli theorem for hyperkahler manifolds , Duke Math. J. 162, 2929- 2986 (2013)

work page 2013
[14]

Voisin, C.: Th´ eor` eme de Torelli pour les cubiques de P5, Invent. Math. 86, 577-601 (1986). Erratum in Invent. Math. 172, 455-458 (2008). E-mail address : msheng@ustc.edu.cn E-mail address : xujx02@ustc.edu.cn School of Mathematical Sciences, University of Science and Technology of China, Hefei, 230026, China

work page 1986

[1] [1]

Carlson and D

Allcock, D., J.A. Carlson and D. Toledo: The complex hyperbolic geometry of the moduli space of cubic surfaces , J. Algebraic Geom. 11(4), 659-724 (2002)

work page 2002

[2] [2]

Andreotti, A.: On a theorem of Torelli , Am. J. Math. 80, 801-828 (1958)

work page 1958

[3] [3]

Burns, D. and M. Rapoport: On the Torelli problem for K¨ ahlerian K3 surfaces, Ann. Sc. ENS. 8, 235-274 (1975)

work page 1975

[4] [4]

Deligne, P. and G.D. Mostow: Monodromy of hypergeometric functions and non-lattice int egral monodromy, Publ. Math. Inst. Hautes ´Etudes Sci. 63, 5-89 (1986)

work page 1986

[5] [5]

Dolgachev, I. and D. Ortland, Point sets in projective spaces and theta functions , Ast´ erisque 165 (1988)

work page 1988

[6] [6]

Laza, R.: The moduli space of cubic fourfolds via the period map , Ann. of Math. 172(2), 673-711 (2010)

work page 2010

[7] [7]

Looijenga, E.: The period map for cubic fourfolds , Invent. Math. 177, 213-233 (2009)

work page 2009

[8] [8]

Looijenga, E. and C. Peters: Torelli theorems for K¨ ahler K3-surfaces, Compos. Math. 42, 145-186 (1981)

work page 1981

[9] [9]

Piateˇ ckii-Shapiro, I. I. and I. R. ˇSafareviˇ c:A Torelli theorem for algebraic surfaces of type K3 , Math. USSR, Izv. 5, 547-588 (1971)

work page 1971

[10] [10]

1975, Springer, Berlin (2009)

Rohde, J.: Cyclic coverings, Calabi-Yau manifolds and complex multip lication, Lecture Notes in Math., vol. 1975, Springer, Berlin (2009)

work page 1975

[11] [11]

Xu and K

Sheng, M., J. Xu and K. Zuo: Maximal families of Calabi-Yau manifolds with minimal leng th Yukawa coupling, Comm. Math. Statist. 1(1), 73-92 (2013). GLOBAL TORELLI THEOREM 21

work page 2013

[12] [12]

Xu and K

Sheng, M., J. Xu and K. Zuo: The monodromy groups of Dolgachev’s CY moduli spaces are Zariski dense , Adv. Math. 272, 699-742 (2015)

work page 2015

[13] [13]

Verbitsky, M.: A global Torelli theorem for hyperkahler manifolds , Duke Math. J. 162, 2929- 2986 (2013)

work page 2013

[14] [14]

Voisin, C.: Th´ eor` eme de Torelli pour les cubiques de P5, Invent. Math. 86, 577-601 (1986). Erratum in Invent. Math. 172, 455-458 (2008). E-mail address : msheng@ustc.edu.cn E-mail address : xujx02@ustc.edu.cn School of Mathematical Sciences, University of Science and Technology of China, Hefei, 230026, China

work page 1986