REVIEW 3 major objections 5 minor 1 cited by
Torus fibers and the weight filtration
T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read For simple normal crossings log Calabi-Yau pairs and projective Calabi-Yau degenerations, a single real torus computes every odd-degree weight filtration of cohomology.
desk verdict A clean, genuinely new single-torus theorem for log Calabi-Yau pairs and Calabi-Yau degenerations; the main idea holds up and the flaws are presentation-level, not load-bearing. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The mechanism is the profound torus: for each minimal stratum $Y_J$ of the boundary, take a point and loop around each of the $j$ components meeting there. The load-bearing step is Lemma 2.12: a rational curve contained in the $(j-1)$-stratum and meeting the $j$-strata transversally in exactly two points produces a homotopy between the two associated profound tori. A cited theorem on log Calabi-Yau pairs guarantees chains of such rational curves between every pair of minimal strata, so all profound tori are homotopic; together with the generalized Leray cycles this turns the direct sum of tori in Theorem 2.11 into a single torus. For degenerations, the same picture is built from the contraction map, whose preimage of a point in a deep stratum is a torus of dimension $\delta-1$, and the same curve-chain argument identifies all of those tori.
What would settle it
Exhibit an snc log Calabi-Yau pair whose boundary has two minimal strata of different cardinalities; then the attached profound tori have different dimensions, so the kernel to any single torus cannot equal $W_{2k-1}H^k(X\setminus Y;\mathbb{Q})$ for all $k$, and the theorem's conclusion fails.
Extended reading notes
Core claim
The central claim is Theorem 1.1: if $(X,Y)$ is an snc log Calabi-Yau pair and $\delta$ is the maximal number of components of $Y$ meeting nontrivially, then there is a real torus $T\subset X\setminus Y$ such that $W_{2k-1}H^k(X\setminus Y;\mathbb{Q})=\ker(H^k(X\setminus Y;\mathbb{Q})\to H^k(T;\mathbb{Q}))$ for all $k$; locally $T$ is $\{(\varepsilon e^{i\theta_1},\ldots,\varepsilon e^{i\theta_\delta},0,\ldots,0)\}$. For a projective Calabi-Yau degeneration, the analogous torus has dimension $\delta-1$ and computes the monodromy weight filtration $M_{2k-1}H^k(X_1;\mathbb{Q})$ in the same way. The proof shows that every torus attached to a stratum of the boundary can be deformed into a torus attached to a minimal stratum, and that in the Calabi-Yau case all these minimal-stratum tori are homotopic, because chains of rational curves connecting the minimal strata induce homotopies of the corresponding tori. Thus the a priori large collection of tori collapses to a single torus, and the weight filtration is visible as a single kernel.
Load-bearing premise
The construction rests on a theorem that every two minimal strata of an snc log Calabi-Yau boundary have the same number of components and are connected by chains of rational curves meeting the deepest strata transversally; if that is false, the profound tori are not necessarily homotopic and one torus would not compute the weight filtration.
Editorial extensions
If this is right
- For any log Calabi-Yau pair, the dimension of each odd-weight graded piece is bounded by $\binom{\delta}{k}$, and the single torus controls the equality cases.
- On a rational surface with a reduced nodal anticanonical divisor, the Lagrangian torus fibration satisfies $P_i = W_{2i} = W_{2i+1}$ for its perverse Leray and weight filtrations, giving a P=W-type equality.
- On a K3 surface with an elliptic fibration, there is a semistable degeneration whose monodromy weight filtration matches the perverse Leray filtration of the fibration.
- If a Betti moduli space admits a log Calabi-Yau compactification with $\delta = \dim$, Theorem 1.1(1) produces a real torus of the expected dimension computing the odd weight filtration, exactly the kind of object the P=W conjecture predicts at highest weight.
Reading between the lines
- The collapse to one torus is essentially a property of the dual complex of the boundary being connected by rational curves; one could test the same rational-curve-chain condition on other families of log Calabi-Yau pairs to predict where a single torus should exist.
- For compact holomorphic symplectic manifolds with Lagrangian torus fibrations, the K3 argument suggests that the monodromy operator built from an isotropic fiber class and a transverse class should reproduce the perverse Leray filtration; a numerical check on known examples would separate the cases where this holds from those where it fails.
- The surface theorem suggests a two-dimensional converse: if a log Calabi-Yau surface admits a Lagrangian torus fibration whose general fiber is homotopic to the profound torus, then perverse Leray equals weight, so constructing such fibrations on other rational surfaces would extend the result.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a torus-fiber description of the odd part of the weight filtration. Theorem 1.1 asserts that for a simple normal crossings log Calabi-Yau pair (X,Y), if δ is the maximal number of components of Y meeting at a point, there is a real torus T of dimension δ embedded in X\Y such that W_{2k-1}H^k(X\Y;Q) equals the kernel of the restriction map H^k(X\Y;Q) -> H^k(T;Q), and that an analogous statement holds for semistable Calabi-Yau degenerations with a torus of dimension δ-1 in the smooth fiber. The proof identifies the lowest weight homology classes with classes of tori obtained by generalized Leray cycles (El Zein-Némethi) or by Clemens contraction, then uses Kollár's connectedness theorem to show all tori attached to minimal strata are homotopic. The paper then proves P=W-type identifications for rational surfaces with nodal anticanonical divisor and for K3 surfaces, and formulates a conjecture for compact hyperkähler manifolds.
Significance. If the main theorem is correct, it provides a very concrete geometric description of the odd weight filtration in terms of a single embedded torus, with immediate dimension bounds and a bridge to the P=W conjecture via Simpson's and Auroux's conjectures. The surface and K3 applications are genuinely interesting and go beyond previously known cases (Zhang, Gross). The proof is mostly transparent and relies on classical external results; the paper also honestly identifies the special chain condition (*) that is needed. However, the correctness of the central reduction currently depends on a misstated version of Kollár's theorem and on an invalid proof of a duality statement, so the significance will be realized only after those points are repaired.
major comments (3)
- [Theorem 2.13 and Theorem 2.14] Theorem 2.13 is false as stated. Taking X=P^2 and Y a smooth cubic gives an snc log CY pair with δ=1, and for J1=J2={1} and distinct points p1,p2 the asserted rational curve C⊂P^2 would have to meet the cubic transversely in exactly two points; Bezout's theorem forces deg(C)·3 = 2, impossible. Since the proof of Theorem 2.14 uses Theorem 2.13 to conclude that all profound tori are homotopic, the statement must be corrected (for instance, by requiring J1 and J2 to index distinct minimal strata, and by checking the curve-chain assertion against Kollár's original theorem), or Lemma 2.12 should be generalized so that subarcs of a rational curve with finitely many intersection points with Y^j give the required homotopies.
- [Proposition 3.3] Proposition 3.3 has a proof that is inconsistent with formula (4). With ℓ=k, formula (4) gives M_{2k-1}H^k(X1;Q)=ker(N^k_k), not im(N^k_k), and for H^{2d-k} it gives M_{2d-1}H^{2d-k}=ker(N^k_{2d-k}), not M_{2d-2k-1}. The statement of Proposition 3.3 is in fact true by Poincaré duality, and Corollary 3.4 can be proved directly from formula (4) and duality, but the proof as written does not establish it; this needs to be rewritten before the Clemens-torus computation can be used.
- [Theorem 4.5] Theorem 4.5 applies Theorem 1.1(1) to a pair (X,Y) in which Y is only assumed to be reduced and nodal, not necessarily snc, and its proof uses the weight spectral sequence with E1-term H^{2p+q}(Y^{-p}) as though Y were snc. Since Theorem 1.1 was proved only for snc divisors, this application needs an explicit reduction, e.g. by passing to an snc model of the same complement via the Gross-Hacking-Keel toric model invoked in Theorem 4.1, and by checking that the torus fiber of the Lagrangian fibration is homotopic to the profound torus in that model. As written, the P=W-type conclusion for nodal anticanonical surfaces is not rigorously derived.
minor comments (5)
- [Section 2.2, proof of Theorem 2.11] The expression W_{-k}H_k should read W_{-2k}H_k.
- [Definition 2.7] The phrase 'p1 and p1' should be 'p1 and p2'.
- [Proposition 4.8] The vector η is used in the proof without being defined; one should state that η is a class with ⟨η,β⟩≠0 (or ⟨η,β⟩=1).
- [Theorem 3.11] There is a duplicated word in 'contained in in A^{j-1}'.
- [Remark 4.13] Remark 4.13 promises a proof in [17], which is listed as 'in preparation'; this should be marked as forthcoming work or removed if it is not needed for the current argument.
Circularity Check
No circularity: the main torus theorem is derived from external results of El Zein–Némethi, Clemens, and Kollár, and the sole self-citation is not load-bearing.
full rationale
The derivation chain is self-contained in the relevant sense. Section 2 imports El Zein–Némethi's description of the lowest weight piece as generated by tori T_I (Propositions 2.5 and 2.8), consolidates those tori through an explicit local-coordinate homotopy argument (Proposition 2.9), and obtains the direct-sum kernel statement (Theorem 2.11) without any fitted parameter or self-referential definition. The passage to a single torus in Theorem 2.14 is explicitly conditional on the external Kollár result quoted as Theorem 2.13, citing [21, Theorem 10]; the paper does not derive that condition from its own conclusions. The degeneration case follows the same structure, using Clemens' contraction-map tori (Theorem 3.5) and Kawamata–Namikawa for the relevant homotopy lemma (Lemma 3.10), with Kollár's theorem imported externally once more. The P=W-type results in Section 4 rely on Symington, Gross–Hacking–Keel, Saito, and Soldatenkov; the equality of perverse Leray and weight filtrations is obtained by identifying a smooth fiber of the constructed fibration with a profound torus (Theorem 4.1) and then applying Theorem 1.1, rather than assuming the desired equality. The only self-citation, [17] (Harder, in preparation), appears in Remark 4.13 as a pointer to future work on a consequence and is not used in any proof, so it is not load-bearing. Whether Kollár's theorem is paraphrased accurately is a correctness question about an external result, not a circularity in the paper's reduction.
Assumptions & free parameters
assumptions (6)
- standard math Deligne's mixed Hodge theory and El Zein-Némethi's generalized Leray cycles (paper's Proposition 2.5).
- domain assumption Kollár's Theorem 10 on P^1-connectedness of log canonical centers (paper's Theorem 2.13).
- domain assumption Clemens' contraction theorem (paper's Theorem 3.5).
- domain assumption Saito's decomposition theorem and the perverse Leray filtration computation (paper's Proposition 4.4).
- domain assumption Livne-Moishezon classification of elliptic Lefschetz fibrations over P^1.
- domain assumption Torelli theorem for K3 surfaces and Soldatenkov's construction of a degeneration with monodromy N_{β,ρ} (Theorem 4.10).
Cite this review
Pith. "Pith review of Torus fibers and the weight filtration." pith.science (2026). https://pith.science/paper/XCOKQ5X3
@misc{pith2026190805110,
author = {Pith},
title = {Pith review of: Torus fibers and the weight filtration},
year = {2026},
howpublished = {\url{https://pith.science/paper/XCOKQ5X3}},
note = {Machine review of arXiv:1908.05110}
}
abstract
We show that if $(X,Y)$ is a simple normal crossings log Calabi--Yau pair, then there is a real torus of dimension equal to the codimension of the smallest stratum of $Y$ which can be used to construct $W_{2k-1}H^k(X \setminus Y;\mathbb{Q})$ for all $k$. We show that an analogous result holds for degenerations of Calabi--Yau varieties. We use this to show that P=W type results hold for pairs $(X,Y)$ consisting of a rational surface $X$ and a nodal anticanonical divisor $Y$, and for K3 surfaces.
Forward citations
Cited by 1 Pith paper
-
P=W for Lagrangian fibrations and degenerations of hyper-K\"ahler manifolds
For every Lagrangian fibration of a projective hyper-Kähler manifold, the perverse filtration equals the monodromy weight filtration of an associated type III degeneration.
Reference graph
Works this paper leans on
-
[17]
A. Harder. Cohomology of log symplectic pairs. in preparation, 2019
work page 2019
-
[1]
D. Auroux. Mirror symmetry and T -duality in the complement of an anticanonical divisor. J. Gökova Geom. Topol. GGT, 1:51–91, 2007
work page 2007
- [2]
-
[3]
P. Boalch. Wild character varieties, meromorphic Hitch in systems and Dynkin diagrams. In Geometry and Physics: Volume II: A Festschrift in honour of Nigel Hitchin , pages 433–454. Oxford University Press, 2018
work page 2018
-
[4]
C.H. Clemens. Picard-Lefschetz theorem for families of nonsingular algebraic varieties acquiring ordinary singu - larities. Trans. Amer. Math. Soc. , 136:93–108, 1969
work page 1969
- [5]
-
[6]
M. de Cataldo, T. Hausel, and L. Migliorini. Topology of H itchin systems and Hodge theory of character varieties: the case A1. Ann. of Math. (2) , 175( 3):1329–1407, 2012
work page 2012
-
[7]
M. de Cataldo and L. Migliorini. The decomposition theor em, perverse sheaves and the topology of algebraic maps. Bull. Amer. Math. Soc. (N.S.) , 46( 4):535–633, 2009
work page 2009
Show all 37 references
-
[8]
de Cataldo and L
M. de Cataldo and L. Migliorini. The perverse filtration a nd the Lefschetz hyperplane theorem. Ann. of Math. (2), 171( 3):2089–2113, 2010
2010
-
[9]
P. Deligne. Théorie de Hodge. II. Inst. Hautes Études Sci. Publ. Math. , ( 40):5–57, 1971. TORUS FIBERS AND THE WEIGHT FILTRATION 19
1971
-
[10]
P. Deligne. Théorie de Hodge. III. Inst. Hautes Études Sci. Publ. Math. , ( 44):5–77, 1974
1974
-
[11]
I. V. Dolgachev. Mirror symmetry for lattice polarized K3 surfaces. J. Math. Sci. , 81( 3):2599–2630, 1996. Alge- braic geometry, 4
1996
-
[12]
Elzein and A
F. Elzein and A. Némethi. On the weight filtration of the h omology of algebraic varieties: the generalized Leray cycles. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) , 1( 4):869–903, 2002
2002
-
[13]
Friedman and F
R. Friedman and F. Scattone. Type III degenerations of K3 surfaces. Invent. Math. , 83( 1):1–39, 1986
1986
-
[14]
Gompf and A
R. Gompf and A. Stipsicz. 4 -manifolds and Kirby calculus , volume 20 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 1999
1999
-
[15]
M. Gross. Special Lagrangian fibrations. I. Topology. I n Integrable systems and algebraic geometry (Kobe/Kyoto, 1997), pages 156–193. World Sci. Publ., River Edge, NJ, 1998
1997
-
[16]
Gross, P
M. Gross, P. Hacking, and S. Keel. Mirror symmetry for lo g Calabi-Yau surfaces I. Publ. Math. Inst. Hautes Études Sci. , 122:65–168, 2015
2015
-
[18]
N. Hitchin. Stable bundles and integrable systems. Duke Math. J. , 54( 1):91–114, 1987
1987
-
[19]
Katzarkov, A
L. Katzarkov, A. Noll, P. Pandit, and C. Simpson. Harmon ic maps to buildings and singular perturbation theory. Comm. Math. Phys. , 336( 2):853–903, 2015
2015
-
[20]
Kawamata and Y
Y. Kawamata and Y. Namikawa. Logarithmic deformations of normal crossing varieties and smoothing of de- generate Calabi-Yau varieties. Invent. Math. , 118( 3):395–409, 1994
1994
-
[21]
J. Kollár. Sources of log canonical centers. In Minimal models and extremal rays (Kyoto, 2011) , volume 70 of Adv. Stud. Pure Math. , pages 29–48. Math. Soc. Japan, [Tokyo], 2016
2011
-
[22]
Moishezon
B. Moishezon. Complex surfaces and connected sums of complex projective p lanes. Lecture Notes in Mathematics, Vol. 603. Springer-Verlag, Berlin-New York, 1977. With an a ppendix by R. Livne
1977
-
[23]
Peters and J
C. Peters and J. Steenbrink. Mixed Hodge structures , volume 52 of Ergebnisse der Mathematik und ihrer Gren- zgebiete. 3. Folge. Springer-Verlag, Berlin, 2008
2008
-
[24]
M. Saito. Decomposition theorem for proper Kähler morp hisms. Tohoku Math. J. (2) , 42( 2):127–147, 1990
1990
-
[25]
W. Schmid. Variation of Hodge structure: the singulari ties of the period mapping. Invent. Math. , 22:211–319, 1973
1973
-
[26]
Shen and Q
J. Shen and Q. Yin. Topology of Lagrangian fibrations and Hodge theory of hyper-Kähler manifolds. preprint arXiv:1812.10673, 2018
2018 arXiv
-
[27]
C. Simpson. The dual boundary complex of the SL2 character variety of a punctured sphere. Ann. Fac. Sci. Toulouse Math. (6) , 25( 2-3):317–361, 2016
2016
-
[28]
C. Simpson. An explicit view of the hitchin fibration on t he Betti side for P1 minus 5 points. preprint hal-01473602, v.2, 2018
2018
-
[29]
Soldatenkov
A. Soldatenkov. Limit mixed Hodge structures of hyperk ähler manifolds. preprint arXiv:1807.04030, 2018
2018 arXiv
-
[30]
Steenbrink
J. Steenbrink. Limits of Hodge structures. Invent. Math. , 31( 3):229–257, 1975/76
1975
-
[31]
Symington
M. Symington. Four dimensions from two in symplectic to pology. In Topology and geometry of manifolds (Athens, GA, 2001) , volume 71 of Proc. Sympos. Pure Math. , pages 153–208. Amer. Math. Soc., Providence, RI, 2003
2001
-
[32]
S. Szabó. Perversity equals weight for PainlevÃľ space s. preprint arXiv:arXiv:1802.03798, 2018
2018 arXiv
-
[33]
S. Szabó. Simpson’s geometric P=W conjecture in the Pai nlevÃľ VI case via abelianization. preprint arXiv:1906.01856, 2019
1906 arXiv
-
[34]
C. Voisin. Hodge theory and complex algebraic geometry. I , volume 76 of Cambridge Studies in Advanced Math- ematics. Cambridge University Press, Cambridge, English edition, 2007. Translated from the French by Leila Schneps
2007
-
[35]
Williamson
G. Williamson. The Hodge theory of the decomposition th eorem. Astérisque, ( 390):Exp. No. 1115, 335–367,
-
[36]
Z. Zhang. The P = W identity for cluster varieties. preprint arXiv:1903.07014, 2019. Andrew Harder, Department of Mathematics, Lehigh University, Christmas- Saucon Hall, 14 E. Packer A ve., Bethlehem, PA, USA, 18015. anh318@lehigh.edu
1903 arXiv
-
[2017]
Séminaire Bourbaki. Vol. 2015/2016. Exposés 1104–11 19
2015
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.