pith. sign in

arxiv: 2509.03700 · v2 · pith:7HAKE3U2new · submitted 2025-09-03 · 🧮 math.AG

On the Clemens-Schmid exact sequence

R. Virk This is my paper

Pith reviewed 2026-05-18 18:52 UTC · model grok-4.3

classification 🧮 math.AG
keywords Clemens-Schmid exact sequenceweightsalgebraic geometrydegenerationscohomologyexact sequences
0
0 comments X

The pith

The Clemens-Schmid exact sequence arises from the perspective of weights in cohomology.

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

The paper examines generalized Clemens-Schmid exact sequences by organizing them around the role of weights. This weight-based view is used to derive the sequence and to extend it beyond standard cases. A sympathetic reader would care because the approach could clarify how filtrations on cohomology control exactness in degenerations of algebraic varieties. If correct, the treatment would let researchers handle broader families without separate case-by-case arguments.

Core claim

The author claims that a treatment of generalized Clemens-Schmid exact sequences from the perspective of weights yields new insights and a generalized version of the sequence.

What carries the argument

The perspective of weights, which supplies the filtration that makes the exact sequence hold.

If this is right

  • The sequence extends to more general degenerations of algebraic varieties.
  • Weights organize the cohomology data that controls exactness.
  • Proofs of related statements in mixed Hodge theory simplify under this view.

Where Pith is reading between the lines

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

  • The same lens could apply to other exact sequences that arise in degenerations.
  • Concrete computations on low-dimensional examples would check whether the generalized sequence matches known results.

Load-bearing premise

The weight perspective is sufficient to derive or generalize the exact sequence without additional assumptions on the varieties or the degeneration.

What would settle it

A specific degeneration of varieties where the weight filtration produces a sequence that fails to be exact at the expected spot.

read the original abstract

A treatment of (generalized) Clemens-Schmid exact sequences from the perspective of weights.

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.

Referee Report

2 major / 3 minor

Summary. The paper develops a treatment of (generalized) Clemens-Schmid exact sequences in the context of degenerations of algebraic varieties by emphasizing the role of the weight filtration on the cohomology groups, working throughout in the category of mixed Hodge structures.

Significance. If the weight-based rephrasing yields a genuinely simplified or generalized exact sequence that clarifies the compatibility of monodromy, boundary, and weight maps without additional assumptions, the result would be a modest but useful clarification in the literature on limiting mixed Hodge structures and degenerations. The manuscript does not appear to introduce new invariants or falsifiable predictions, but a clean derivation in this language could still be cited for pedagogical or technical convenience.

major comments (2)
  1. [§4, Theorem 4.2] §4, Theorem 4.2: the claimed exactness of the generalized sequence at the level of graded pieces Gr^W_k is asserted after invoking the standard properties of the limiting mixed Hodge structure, but the argument does not explicitly verify that the weight filtration is preserved by the boundary map induced by the normal-crossings divisor; this step is load-bearing for the claim that the sequence is exact in the mixed-Hodge category rather than merely in the underlying abelian category.
  2. [§5.3, Equation (5.7)] §5.3, Equation (5.7): the identification of the weight-graded pieces with the cohomology of the strata appears to reuse the classical Clemens-Schmid sequence without a separate check that the weight filtration on the nearby-cycles sheaf coincides with the one induced by the degeneration; if this identification is only heuristic, the generalization to non-semistable cases rests on an unstated base-change argument.
minor comments (3)
  1. [§2] Notation for the monodromy operator N and the boundary map δ is introduced in §2 but used interchangeably in later diagrams; a single consistent symbol or a short table of maps would improve readability.
  2. [Abstract and §4] The abstract promises a 'generalized' version, yet the main statements in §4 and §5 are stated only for semistable degenerations; a brief remark on the non-semistable case (or an explicit counter-example) would clarify the scope.
  3. [§3] Several diagrams in §3 are drawn with arrows that are not labeled; adding the names of the maps (or at least the degrees) would make the exactness claims easier to follow.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for highlighting these points of presentation. The weight filtration perspective is intended to make the exactness and compatibility properties more transparent in the mixed Hodge category, and we welcome the opportunity to strengthen the explicit verifications as suggested.

read point-by-point responses

  1. Referee: [§4, Theorem 4.2] §4, Theorem 4.2: the claimed exactness of the generalized sequence at the level of graded pieces Gr^W_k is asserted after invoking the standard properties of the limiting mixed Hodge structure, but the argument does not explicitly verify that the weight filtration is preserved by the boundary map induced by the normal-crossings divisor; this step is load-bearing for the claim that the sequence is exact in the mixed-Hodge category rather than merely in the underlying abelian category.

    Authors: We agree that an explicit statement would improve clarity. The boundary map is a morphism of mixed Hodge structures by the standard construction of the limiting mixed Hodge structure (via the nilpotent orbit theorem and the residue map along the normal-crossings divisor). Morphisms in the category of mixed Hodge structures are strictly compatible with the weight filtration, so the induced maps on Gr^W_k are well-defined and the exactness holds in the mixed Hodge category. We will insert a short clarifying sentence in the proof of Theorem 4.2 together with a reference to this standard fact. revision: yes

  2. Referee: [§5.3, Equation (5.7)] §5.3, Equation (5.7): the identification of the weight-graded pieces with the cohomology of the strata appears to reuse the classical Clemens-Schmid sequence without a separate check that the weight filtration on the nearby-cycles sheaf coincides with the one induced by the degeneration; if this identification is only heuristic, the generalization to non-semistable cases rests on an unstated base-change argument.

    Authors: The identification in (5.7) is obtained by applying the classical Clemens-Schmid sequence to the strata after taking graded pieces with respect to the weight filtration on the nearby-cycles sheaf. This filtration coincides with the one induced by the degeneration because the nearby-cycles functor preserves the weight filtration in the semistable case (by the definition of the limiting mixed Hodge structure). For the non-semistable generalization we invoke the base-change isomorphism for nearby cycles, which is compatible with weights under the hypotheses of the paper. To make this fully explicit we will add a brief paragraph in §5.3 recalling the relevant compatibility and citing the base-change result. revision: yes

Circularity Check

0 steps flagged

No circularity detected; derivation self-contained

full rationale

The paper offers a weight-based treatment of generalized Clemens-Schmid exact sequences in the mixed Hodge setting. No equations, self-citations, fitted parameters, or ansatzes are exhibited in the abstract or summary that reduce the central claim to its own inputs by construction. Weights and the limiting mixed Hodge structure are standard external ingredients in the field, and the perspective appears to be a rephrasing rather than a definitional loop. The derivation chain is therefore independent of the result it presents.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract provides no information on any free parameters, axioms, or invented entities used in the treatment.

pith-pipeline@v0.9.0 · 5509 in / 991 out tokens · 54156 ms · 2026-05-18T18:52:31.445182+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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

18 extracted references · 18 canonical work pages

  1. [1]

    Brylinski , Transformations canoniques, dualit\'e projective, th\'eorie de Lefschetz, transformations de Fourier et sommes trigonom\'etriques , Ast\'erisque 140-141(1986)

    J-L. Brylinski , Transformations canoniques, dualit\'e projective, th\'eorie de Lefschetz, transformations de Fourier et sommes trigonom\'etriques , Ast\'erisque 140-141(1986)

    work page 1986

  2. [2]

    Brylinski, B

    J-L. Brylinski, B. Malgrange, J-L. Verdier , Transformation de Fourier g\'eom\'etrique II , C. R. Acad. Sci. Paris 303 (1986)

    work page 1986

  3. [3]

    Bott, L.W

    R. Bott, L.W. Tu , Differential Forms in Algebraic Topology , GTM 82, Springer-Verlag (1982)

    work page 1982

  4. [4]

    Clemens , Degeneration of K\"ahler manifolds , Duke Math

    C.H. Clemens , Degeneration of K\"ahler manifolds , Duke Math. J. 44 (1977)

    work page 1977

  5. [5]

    Deligne , Th\'eorie de Hodge III , Publ

    P. Deligne , Th\'eorie de Hodge III , Publ. I.H.\'E.S 44 (1974), 5-77

    work page 1974

  6. [6]

    Deligne , La conjecture de Weil: II , Publ

    P. Deligne , La conjecture de Weil: II , Publ. I.H.\'E.S 52 (1980)

    work page 1980

  7. [7]

    Bernstein, V

    J. Bernstein, V. Lunts , Equivariant sheaves and functors , Springer-Verlag, Berlin (1994)

    work page 1994

  8. [8]

    Bernstein, V

    J. Bernstein, V. Lunts , Equivariant sheaves and functors , Lecture Notes in Math. 1578, Springer-Verlag, Berlin (1994)

    work page 1994

  9. [9]

    Kashiwara, P

    M. Kashiwara, P. Schapira , Categories and Sheaves , Springer-Verlag, Berlin (1990)

    work page 1990

  10. [10]

    Langlands , On the Classification of Irreducible Representations of Real Algebraic Groups , preprint I.A.S

    R.P. Langlands , On the Classification of Irreducible Representations of Real Algebraic Groups , preprint I.A.S. (1973), appeared in Math. Surveys and Monographs 31, AMS (1988)

    work page 1973

  11. [11]

    Serre , Espaces fibr\'es alg\'ebriques , Anneaux de Chow et Applications, Se\'eminaire C

    J.-P. Serre , Espaces fibr\'es alg\'ebriques , Anneaux de Chow et Applications, Se\'eminaire C. Chevalley, E.N.S., Paris (1958)

    work page 1958

  12. [12]

    SGA 7, volume II, Expos\'e XIII

    work page

  13. [13]

    Saito , Modules de Hodge polarisables , Publ

    M. Saito , Modules de Hodge polarisables , Publ. RIMS 24 (1988)

    work page 1988

  14. [14]

    Saito , Introduction to mixed Hodge modules , Ast\'erisque 179-180 (1989)

    M. Saito , Introduction to mixed Hodge modules , Ast\'erisque 179-180 (1989)

    work page 1989

  15. [15]

    Saito , Mixed Hodge modules , Publ

    M. Saito , Mixed Hodge modules , Publ. RIMS, Kyoto Univ. 26 (1990)

    work page 1990

  16. [16]

    Soergel , -cohomology of simple highest weight modules on walls and purity , Invent

    W. Soergel , -cohomology of simple highest weight modules on walls and purity , Invent. Math. 98 (1989)

    work page 1989

  17. [17]

    Springer , A purity result for fixed point varieties in flag manifolds , J

    T.A. Springer , A purity result for fixed point varieties in flag manifolds , J. Fac. Sci. Univ. Tokyo Sect. IA Math. 31 (1984)

    work page 1984

  18. [18]

    Verdier Sp\'ecialisation de faisceaux et monodromie mod\'er\'ee , Ast\'erisque 101 (1983)

    J.L. Verdier Sp\'ecialisation de faisceaux et monodromie mod\'er\'ee , Ast\'erisque 101 (1983)

    work page 1983