Pith. sign in

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 →

arxiv 1908.05110 v1 pith:XCOKQ5X3 submitted 2019-08-14 math.AG

classification math.AG MSC 14C3014D0714J2814J32
keywords mixedHodgestructureweightfiltrationlogCalabi-YaupairtorusfiberperverseLerayP=WequalitydegenerationK3surface
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 proves that for a simple normal crossings log Calabi-Yau pair, the odd-degree pieces of the weight filtration on the cohomology of the complement are exactly the kernel of restriction to one real torus, whose dimension is the codimension of the deepest stratum of the boundary. The same statement holds for the monodromy weight filtration of a projective Calabi-Yau degeneration, with a torus one dimension lower. The point is not just that one such torus exists but that it is canonical up to homotopy, so a single probe detects the weight filtration at every degree. This makes the weight filtration concretely computable and yields P=W-type equalities: on rational surfaces with nodal anticanonical boundary and on K3 surfaces, the perverse Leray filtration of a torus fibration coincides with the weight filtration.

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.

Watch

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

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

  • 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.
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.

Referee Report

3 major / 5 minor

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)
  1. [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.
  2. [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.
  3. [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)
  1. [Section 2.2, proof of Theorem 2.11] The expression W_{-k}H_k should read W_{-2k}H_k.
  2. [Definition 2.7] The phrase 'p1 and p1' should be 'p1 and p2'.
  3. [Proposition 4.8] The vector η is used in the proof without being defined; one should state that η is a class with ⟨η,β⟩≠0 (or ⟨η,β⟩=1).
  4. [Theorem 3.11] There is a duplicated word in 'contained in in A^{j-1}'.
  5. [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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 6 assumptions · 0 invented entities

No free parameters or invented entities. The central results rest entirely on imported theorems from the algebraic geometry literature, listed above.

assumptions (6)
  • standard math Deligne's mixed Hodge theory and El Zein-Némethi's generalized Leray cycles (paper's Proposition 2.5).
    Provides the fact that W_{-2k}H_k(X\Y;Q) is generated by the tori T_I, the starting point of Theorem 2.11.
  • domain assumption Kollár's Theorem 10 on P^1-connectedness of log canonical centers (paper's Theorem 2.13).
    Load-bearing for showing all profound tori are homotopic; the main theorem fails if minimal strata are not connected by rational curves.
  • domain assumption Clemens' contraction theorem (paper's Theorem 3.5).
    Identifies the image of the k-th power of monodromy logarithm with classes of tori T_I in a semistable degeneration.
  • domain assumption Saito's decomposition theorem and the perverse Leray filtration computation (paper's Proposition 4.4).
    Used to identify P_{k-1}H^k with the kernel of restriction to a smooth fiber for the elliptic fibrations in Section 4.
  • domain assumption Livne-Moishezon classification of elliptic Lefschetz fibrations over P^1.
    Used in Proposition 4.3 to embed the elliptic Lefschetz fibration over a disc into an algebraic elliptic surface.
  • domain assumption Torelli theorem for K3 surfaces and Soldatenkov's construction of a degeneration with monodromy N_{β,ρ} (Theorem 4.10).
    Used to produce the semistable degeneration whose monodromy weight filtration is compared to the perverse Leray filtration for elliptic K3 surfaces.

how reviews work

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. P=W for Lagrangian fibrations and degenerations of hyper-K\"ahler manifolds

    math.AG 2019-08 accept novelty 7.0 of 10

    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

37 extracted references · 35 canonical work pages · cited by 1 Pith paper

  1. [17]

    A. Harder. Cohomology of log symplectic pairs. in preparation, 2019

  2. [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

  3. [2]

    Beauville

    A. Beauville. Variétés Kähleriennes dont la première cl asse de Chern est nulle. J. Differential Geom. , 18(4):755– 782 (1984), 1983

  4. [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

  5. [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

  6. [5]

    Cox and S

    D. Cox and S. Katz. Mirror symmetry and algebraic geometry , volume 68 of Mathematical Surveys and Mono- graphs. American Mathematical Society, Providence, RI, 1999

  7. [6]

    de Cataldo, T

    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

  8. [7]

    de Cataldo and L

    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

Show all 37 references
  1. [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

  2. [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

  3. [10]

    P. Deligne. Théorie de Hodge. III. Inst. Hautes Études Sci. Publ. Math. , ( 44):5–77, 1974

  4. [11]

    I. V. Dolgachev. Mirror symmetry for lattice polarized K3 surfaces. J. Math. Sci. , 81( 3):2599–2630, 1996. Alge- braic geometry, 4

  5. [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

  6. [13]

    Friedman and F

    R. Friedman and F. Scattone. Type III degenerations of K3 surfaces. Invent. Math. , 83( 1):1–39, 1986

  7. [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

  8. [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

  9. [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

  10. [18]

    N. Hitchin. Stable bundles and integrable systems. Duke Math. J. , 54( 1):91–114, 1987

  11. [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

  12. [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

  13. [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

  14. [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

  15. [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

  16. [24]

    M. Saito. Decomposition theorem for proper Kähler morp hisms. Tohoku Math. J. (2) , 42( 2):127–147, 1990

  17. [25]

    W. Schmid. Variation of Hodge structure: the singulari ties of the period mapping. Invent. Math. , 22:211–319, 1973

  18. [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

  19. [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

  20. [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

  21. [29]

    Soldatenkov

    A. Soldatenkov. Limit mixed Hodge structures of hyperk ähler manifolds. preprint arXiv:1807.04030, 2018

  22. [30]

    Steenbrink

    J. Steenbrink. Limits of Hodge structures. Invent. Math. , 31( 3):229–257, 1975/76

  23. [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

  24. [32]

    S. Szabó. Perversity equals weight for PainlevÃľ space s. preprint arXiv:arXiv:1802.03798, 2018

  25. [33]

    S. Szabó. Simpson’s geometric P=W conjecture in the Pai nlevÃľ VI case via abelianization. preprint arXiv:1906.01856, 2019

  26. [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

  27. [35]

    Williamson

    G. Williamson. The Hodge theory of the decomposition th eorem. Astérisque, ( 390):Exp. No. 1115, 335–367,

  28. [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

  29. [2017]

    Séminaire Bourbaki. Vol. 2015/2016. Exposés 1104–11 19

Pith tools

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