Pith. sign in

REVIEW 2 major objections 3 minor 27 references

Rigidity Criterion for Certain Calabi-Yau Families

T0 review · 2 major / 3 minor · reviewed 2026-08-03 · deepseek-v4-flash

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

Pith's one-line read The paper proves that Calabi-Yau families whose boundary fiber has only isolated singularities with a concentrated mixed Hodge spectrum are rigid, meaning they admit no non-trivial deformation over a product base.

desk verdict New rigidity criterion with a genuinely interesting idea, but the main proof assumes a tensor-factor compatibility that isn't proved and collapses as written for ODP. read the letter →

arxiv 2601.17894 v3 pith:BWJAJYNY submitted 2026-01-25 math.AG

Ruiran Sun , Chenglong Yu , Kang Zuo This is my paper · ORCID
classification math.AG MSC 14D2214C30
keywords rigidityCalabi-YaufamiliesmixedHodgespectrumvanishingcyclestensorproductdecompositionordinarydoublepointsvariationsofstructuremodulimanifolds
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

The paper establishes a new rigidity criterion for families of polarized Calabi-Yau manifolds over a curve. If such a family can be completed so that a boundary fiber has only isolated singularities, and those singularities have a concentrated mixed Hodge spectrum — a condition satisfied by ordinary double points and cusps — then the family is rigid. Rigidity here means the family cannot be deformed non-trivially over a base that is a product of curves. The paper views this as evidence for a broader conjecture: any boundary fiber with only isolated singularities should force rigidity. The proof combines local vanishing-cycle analysis with a global tensor-product decomposition of the associated variation of Hodge structures, showing that a non-rigid family would force a spectral spread that isolated singularities cannot support.

What carries the argument

The central mechanism is the vanishing-cycle exact sequence together with the tensor-product decomposition of variations of Hodge structures over a product of curves. The concentrated mixed Hodge spectrum — defined by requiring that for each eigenvalue-and-weight pair there is at most one nonzero Hodge number in the spectrum of the singular fiber — is the property that blocks the decomposition. The paper introduces this concentration condition as the operative obstruction and shows it holds for ODP and cusp singularities by computing their mixed Hodge spectra explicitly.

What would settle it

One concrete disproof would be a Calabi-Yau family over a curve whose boundary fiber has only ordinary double points or cusps and yet is non-rigid, i.e., embeds non-isotrivially into a family over a product of curves. A more local falsifier would be an example of a tensor-product limiting mixed Hodge structure as in equation (11) where the vanishing-cycle image is a single Hodge class rather than a full tensor factor; that would pinpoint the precise step that fails.

Watch

Extended reading notes

Core claim

Theorem 1.3 is the central claim: under Assumption 1.1 — smooth total space near the boundary, trivial relative canonical bundle, and a singular fiber with only isolated singularities — if that fiber has a concentrated mixed Hodge spectrum, then the family is rigid. The proof runs by contradiction. Assuming non-rigidity produces a variation of Hodge structures over a product of curves that decomposes as a tensor product of two nontrivial factors. At the boundary point, this decomposition passes to the limiting mixed Hodge structure and clashes with the vanishing-cycle image: the isolated singularity's spectrum is concentrated (one Hodge filtration per weight), but the tensor product would ge

Load-bearing premise

The proof's final step assumes that the vanishing-cycle map on the decomposed limiting mixed Hodge structure sends the product to the tensor product of a fixed nonzero class with the entire other factor; if it instead projected onto a single Hodge class, the spectrum could remain concentrated and the contradiction would not follow.

Editorial extensions

If this is right

  • Any Calabi-Yau family with a boundary fiber consisting only of ordinary double points or cusps is rigid; this is Corollary 1.4.
  • The criterion gives a purely local, boundary-geometric way to detect rigidity, without computing global monodromy.
  • For Calabi-Yau threefolds with ordinary double points, the same rigidity follows from the incompleteness of the Weil-Petersson metric at such boundary points, as discussed in Section 5.
  • The theorem separates rigid families from known non-rigid examples, which all have positive-dimensional singular loci, supporting the conjecture that isolated singularities are the rigidity boundary condition.

Reading between the lines

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

  • The concentration condition is likely not essential in full strength; any isolated singularity whose spectrum is sufficiently narrow to prevent a tensor-product splitting should force rigidity by the same argument.
  • Conjecture 1.2, if true, would give a complete geometric characterization of non-rigidity: a Calabi-Yau family over a curve is non-rigid only if a boundary fiber has a positive-dimensional singular locus.
  • The proof's reliance on the tensor-product decomposition theorem, which needs semisimplicity of the local systems, suggests the criterion may be specific to curve bases; for higher-dimensional bases the local system may not decompose in the same way.
  • A testable strengthening is to apply the same vanishing-cycle obstruction to families over bases of higher dimension, where isolated singularities with concentrated spectrum might force rigidity in multiple deformation directions.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 3 minor

Summary. The paper proposes a rigidity criterion for polarized Calabi--Yau families over a quasiprojective curve. Under Assumption 1.1 (a smooth compactification whose boundary fiber has only isolated singularities), Theorem 1.3 asserts that the family is rigid whenever the boundary fiber has concentrated mixed Hodge spectrum; Corollary 1.4 specializes this to ordinary double points and cusps. The proof runs by contradiction: a non-rigid family would yield a tensor-product decomposition of the associated VHS by Deligne's theorem (Proposition 4.1, after [VZ05, Prop. 3.3]), and the paper argues that this decomposition is incompatible with the concentrated mixed Hodge spectrum of the vanishing cohomology of the isolated singularities. Section 3 develops a vanishing-cycle and monodromy analysis, including Proposition 2.4 on the nontrivial monodromy action on the holomorphic volume form; Section 5 gives a Weil--Petersson metric argument in the Calabi--Yau threefold ODP case.

Significance. If the main theorem is correct, it is a substantial new rigidity criterion for Calabi--Yau families, linking local singularity theory (mixed Hodge spectrum) to global VHS decomposition, with concrete classes of singularities (ODP, cusps) covered. The paper also draws an interesting connection to known non-rigid examples and to C.-L. Wang's work on the Weil--Petersson metric. The reliance on Deligne's published tensor decomposition is appropriate and not circular. However, as written the proof has two load-bearing gaps: the final contradiction in Section 4 assumes a strong compatibility of the vanishing-cycle map with the Deligne splitting that is not proved, and the proof of Proposition 2.4 in Section 3.2 uses a lifting step in diagram (9) that is not justified. These gaps affect the central claim, so the paper cannot be accepted in its present form.

major comments (2)
  1. [§4, final paragraph, Eq. (11)] The contradiction rests on the assertion that the nontrivial image of Hlim(V0,(s,b)) in ⊕ H^n(F_{p_i}) 'can be written as the tensor product of some non-trivial element in Hlim(V1,s) with Hodge spectrum [λ,w1] and H(V2,b) with Hodge spectrum [0,w2]'. This assumes the vanishing-cycle map is compatible with the Deligne splitting as v = x ⊗ id_{H(V2,b)}. The paper only establishes that v is T-equivariant and a morphism of MHS. Such a map could factor as v = α ⊗ η, where η is a linear functional on H(V2,b) selecting a single Hodge class. Then the image has one Hodge type per monodromy eigenvalue, so the concentrated-spectrum assumption on ⊕ H^n(F_{p_i}) is not contradicted. In the ODP case H^n(F_{p_i}) is one-dimensional, so if dim H(V2,b)>1 the image cannot contain the full H(V2,b) at all. The proof therefore needs an additional argument excluding rank-one projections or proving the stronge
  2. [§3.2, diagram (9), proof of Proposition 2.4] The proof claims that ξ0 ∈ H^1(Ω^{n-1}_{\tilde X0}(log E)) 'is induced from some element eθ0 ∈ H^n(\tilde X0)' and hence eθ0 can be lifted to H^1(Ω^{n-1}_{\tilde X0}), giving res(ξ0)=0 and δ(ξ0)=0. This lifting step is not justified: the natural map H^1(Ω^{n-1}_{\tilde X0}) → H^1(Ω^{n-1}_{\tilde X0}(log E)) is not shown to be surjective, and the residue map in (9) to ⊕ H^1(E_i, Ω^{n-2}_{E_i}) can be nonzero. The existence of a class in H^n(\tilde X0) mapping to ξ0 does not by itself put ξ0 in the image of the Hodge bundle H^1(Ω^{n-1}_{\tilde X0}). This gap invalidates the proof that δ(ξ0)=0 and hence Proposition 2.4 for the general isolated-singularity case, including cusps, which is needed in the proof of Theorem 1.3.
minor comments (3)
  1. [§3.3, Lemma 3.6] The proof uses [CGPY23, Lemma 4.3], which is stated for n=3, and asserts that 'the same argument for the zeroth order estimate can be generalized to arbitrary n'. This is not demonstrated. Please either supply the higher-dimensional argument, give a reference, or state the estimate as an assumption.
  2. [§2.1, Definition 2.1] There are typographical errors: 'strture', 'decompostion', and the notation for the mixed Hodge spectrum is not fully introduced. In Definition 2.2, the phrase 'for each [λ,w] ∈ [0,1)×Z' is confusing; it presumably means for each λ ∈ [0,1) and each weight w.
  3. [General exposition] Several typographical issues should be corrected: title has 'F AMILIES'; §5 has 'unit-potent part' for 'unipotent'; 'C.-L. W ang' has a spacing error; reference [PS08] typo 'Publications Mathmatiques de l'IHS'; the notation \tilde X0 and \tilde f_X0 is used inconsistently in §3.2.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main derivation is self-contained; the noted weakness in §4 is a proof gap, not a circular reduction.

full rationale

The proof of Theorem 1.3 does not derive its conclusion from an input that is defined as the conclusion. The non-rigidity assumption is used only to invoke Deligne's tensor decomposition theorem via the published [VZ05, Prop. 3.3]; the singularity hypothesis enters as the concentrated mixed Hodge spectrum of the vanishing cohomology; the contradiction is that a nontrivial tensor factor V2 would produce more than one Hodge filtration, contrary to concentration. No parameter is fitted and then called a prediction, and no quantity in the conclusion is defined in terms of the hypothesis. The only load-bearing citation to coauthor work, [VZ05, Prop. 3.3], is an independently published proof of a theorem of Deligne, not a uniqueness claim or an unverified self-citation, and by the stated rules this does not raise the circularity score. The other self-citations ([CHSZ24], [SYZ], [VZ06]) are contextual or confined to the alternative metric argument in Section 5. One caveat should be flagged but not scored as circularity: the last paragraph of Section 4 asserts that the nonzero image of Hlim(V0,(s,b)) in ⊕ H^n(F_{p_i}) 'can also be written as the tensor product of some non-trivial element in Hlim(V1,s) with Hodge spectrum [λ,w1] and H(V2,b) with Hodge spectrum [0,w2].' This compatibility of the vanishing-cycle map with the Deligne splitting is not proved, and the proof appears to require the image to be all of x⊗H(V2,b) for a fixed nontrivial x; a rank-one projection onto a single Hodge class of H(V2,b) would preserve concentration and collapse the contradiction. That is a potential gap or missing lemma, not a circular step: the assertion is an unproven intermediate claim, not an input equivalent to the theorem. Section 5's limitation note likewise states only a scoping caveat, not a circularity.

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

No free parameters or invented entities. The result is a structural theorem; the ledger records the external VHS/MHS theorems plus two unproved compatibility assertions that carry the proof. The concentrated-spectrum condition is a hypothesis, not an output.

assumptions (6)
  • domain assumption The vanishing cycle exact sequence (1) is exact, T-equivariant, and compatible with mixed Hodge structures.
    Invoked in Section 2 to relate H^n(X0), H^n_lim, and Milnor fiber cohomology; cited to [KL21].
  • domain assumption sp : H^n(X0) → H^n_lim(X_t)^T is an isomorphism when the total space is smooth.
    Cited to [KL21, Cor 5.7]; used in the proof of Proposition 2.4.
  • domain assumption Deligne's tensor-product decomposition: non-rigidity over S×B gives V0 ≅ p1^*V1 ⊗ p2^*V2.
    Proposition 4.1; proof deferred to [VZ05, Prop 3.3].
  • ad hoc to paper The vanishing cycle map on H^lim(V0) factors as α ⊗ id under the decomposition (10), so the full H(V2,b) appears in the image.
    Unstated and unproved in the final paragraph of the proof of Theorem 1.3; this is the fragile compatibility step.
  • ad hoc to paper A nontrivial VHS V2 over a curve has at least two nonzero Hodge numbers, making the tensor-product spectrum non-concentrated.
    Used in the last sentence of the proof of Theorem 1.3 without proof.
  • standard math Standard mixed Hodge theory facts: Steenbrink spectra, Mayer–Vietoris MHS, and the identification Ext^1(Ω^1_{X0},O) ≅ H^1(U,Ω^{n-1}_U).
    Used throughout; cited to [Ste85], [PS08], [Fri86], [FL25].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Rigidity Criterion for Certain Calabi-Yau Families." pith.science (2026). https://pith.science/paper/BWJAJYNY

@misc{pith2026260117894,
  author       = {Pith},
  title        = {Pith review of: Rigidity Criterion for Certain Calabi-Yau Families},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BWJAJYNY}},
  note         = {Machine review of arXiv:2601.17894}
}
read the original abstract

We prove a new rigidity criterion for families of polarized Calabi--Yau manifolds. Motivated by known non-rigid examples, we conjecture that a family over a quasi-projective curve is rigid if, near a boundary point, the total space is smooth, the relative canonical bundle is trivial, and the boundary fiber contains an isolated singular point. We verify this conjecture when one such isolated singularity has a concentrated mixed Hodge spectrum, a class including ordinary double points and cusps. The proof combines a local vanishing-cycle analysis with a global tensor-product decomposition of the associated variation of Hodge structures.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references

  1. [1]

    S. J. Arakelov, Families of algebraic curves with fixed degeneracies, Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya 35 (1971), 1269--1293

    1971

  2. [2]

    T. C. Collins, S. Gukov, S. Picard, and S.-T. Yau, Special Lagrangian cycles and Calabi -- Yau transitions , Communications in Mathematical Physics 401 (2023), no. 1, 769--802

    2023

  3. [3]

    K. Chen, T. Hu, R. Sun, and K. Zuo, On the distribution of non-rigid families in the moduli spaces, 2024, arXiv:2408.11604

    arXiv 2024

  4. [4]

    Deligne, Un th \'e oreme de finitude pour la monodromie , Discrete groups in geometry and analysis: papers in honor of GD Mostow on his sixtieth birthday, Springer, 1987, pp

    P. Deligne, Un th \'e oreme de finitude pour la monodromie , Discrete groups in geometry and analysis: papers in honor of GD Mostow on his sixtieth birthday, Springer, 1987, pp. 1--19

    1987

  5. [5]

    Faltings, Arakelov's theorem for abelian varieties, Invent

    G. Faltings, Arakelov's theorem for abelian varieties, Invent. Math. 73 (1983), no. 3, 337--347. 718934

    1983

  6. [6]

    Friedman and R

    R. Friedman and R. Laza, Deformations of Calabi -- Yau varieties with k-liminal singularities , Forum of Mathematics, Sigma, vol. 12, Cambridge University Press, 2024, p. e59

    2024

  7. [7]

    1, 65--131

    , Deformations of singular Fano and Calabi--Yau varieties , Journal of Differential Geometry 131 (2025), no. 1, 65--131

    2025

  8. [8]

    Friedman, Simultaneous resolution of threefold double points, Mathematische Annalen 274 (1986), no

    R. Friedman, Simultaneous resolution of threefold double points, Mathematische Annalen 274 (1986), no. 4, 671--689

    1986

Show all 27 references
  1. [9]

    Hein and S

    H. Hein and S. Sun, Calabi -- Yau manifolds with isolated conical singularities , Publications Math茅matiques de l'IH脡S 126 (2017), 73--130

    2017

  2. [10]

    Kerr and R

    M. Kerr and R. Laza, Hodge theory of degenerations, II : vanishing cohomology and geometric applications , IMSA Hodge theory proceedings, to appear

  3. [11]

    4, Paper No

    , Hodge theory of degenerations, (i): consequences of the decomposition theorem, Selecta Mathematica (New Series) 27 (2021), no. 4, Paper No. 71, 48, With an appendix by M. Saito

    2021

  4. [12]

    K. Liu, A. Todorov, S.-T. Yau, and K. Zuo, Shafarevich's conjecture for CY manifolds. I , Q. J. Pure Appl. Math. 1 (2005), no. 1, 28--67. 2155142

    2005

  5. [13]

    J. W. Milnor, Singular points of complex hypersurfaces, no. 61, Princeton University Press, 1968

    1968

  6. [14]

    A. N. Parshin, Algebraic curves over function fields. I , Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya 32 (1968), 1191--1219

    1968

  7. [15]

    C. A. M. Peters, Rigidity for variations of H odge structure and A rakelov-type finiteness theorems , Compositio Math. 75 (1990), no. 1, 113--126. 1059957

    1990

  8. [16]

    Peters and J

    C. Peters and J. Steenbrink, Mixed Hodge structures , Springer, 2008

    2008

  9. [17]

    Rollenske and R

    S. Rollenske and R. Thomas, Smoothing nodal Calabi -- Yau n-folds , Journal of Topology 2 (2009), no. 2, 405--421

    2009

  10. [18]

    Sait o , Classification of nonrigid families of abelian varieties, Tohoku Math

    M.-H. Sait o , Classification of nonrigid families of abelian varieties, Tohoku Math. J. (2) 45 (1993), no. 2, 159--189. 1215923

    1993

  11. [19]

    Steenbrink, Intersection form for quasi-homogeneous singularities, Compositio Mathematica 34 (1977), no

    J. Steenbrink, Intersection form for quasi-homogeneous singularities, Compositio Mathematica 34 (1977), no. 2, 211--223

    1977

  12. [20]

    , Mixed H odge structures and vanishing cohomology , Compositio Mathematica 57 (1985), 321--344

    1985

  13. [21]

    R. Sun, C. Yu, and K. Zuo, Nonrigid family of Calabi -- Yau manifolds and their moduli

  14. [22]

    Sait o and S

    M.-H. Sait o and S. Zucker, Classification of nonrigid families of K3 surfaces and a finiteness theorem of A rakelov type , Math. Ann. 289 (1991), no. 1, 1--31. 1087233

    1991

  15. [23]

    Differential Geom

    E Viehweg and K Zuo, A characterization of certain S himura curves in the moduli stack of abelian varieties , J. Differential Geom. 66 (2004), no. 2, 233--287. 2106125

    2004

  16. [24]

    Viehweg and K

    E. Viehweg and K. Zuo, Complex multiplication, Griffiths -- Yukawa couplings, and rigidity for families of hypersurfaces , Journal of Algebraic Geometry 14 (2005), no. 3, 481--528

    2005

  17. [25]

    V , AMS/IP Stud

    , Geometry and arithmetic of non-rigid families of C alabi- Y au 3-folds; questions and examples , Mirror symmetry. V , AMS/IP Stud. Adv. Math., vol. 38, Amer. Math. Soc., Providence, RI, 2006, pp. 351--360. 2282966

    2006

  18. [26]

    Wang, On the incompleteness of the Weil--Petersson metric along degenerations of Calabi--Yau manifolds , Mathematical Research Letters 4 (1997), no

    C.-L. Wang, On the incompleteness of the Weil--Petersson metric along degenerations of Calabi--Yau manifolds , Mathematical Research Letters 4 (1997), no. 1, 157--171

    1997

  19. [27]

    Zhang, Rigidity for families of polarized C alabi- Y au varieties , J

    Y. Zhang, Rigidity for families of polarized C alabi- Y au varieties , J. Differential Geom. 68 (2004), no. 2, 185--222. 2144247

    2004

Pith tools

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