pith. sign in

arxiv: 2508.18690 · v3 · submitted 2025-08-26 · 🧮 math.CV · math.AG

A generalization of Barannikov-Kontsevich theorem

Takuro Mochizuki This is my paper

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

classification 🧮 math.CV math.AG
keywords twisted de Rham complexHodge-to-de Rham spectral sequenceE1 degenerationholomorphic functionKähler manifoldBarannikov-Kontsevich theoremcompact critical pointscomplex geometry
0
0 comments X

The pith

The Hodge-to-de Rham spectral sequence degenerates at E1 for twisted de Rham complexes on Kähler manifolds with compact critical point sets.

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

The paper proves the E1-degeneration of the Hodge-to-de Rham spectral sequence for the twisted de Rham complex associated to a holomorphic function on a Kähler manifold whose critical point set is compact. This result generalizes the Barannikov-Kontsevich theorem to a broader setting. A sympathetic reader would care because the degeneration means the hypercohomology of the complex reduces directly to its E1 page, which involves the cohomology of holomorphic forms equipped with the twisted differential. The compactness condition is used to control the global behavior of the complex and establish the degeneration.

Core claim

We study the twisted de Rham complex associated with a holomorphic function on a Kähler manifold whose critical point set is compact. We prove the E1-degeneration of the Hodge-to-de Rham spectral sequence. It is a generalization of Barannikov-Kontsevich Theorem.

What carries the argument

The twisted de Rham complex associated with the holomorphic function, which modifies the exterior derivative by the function's differential and carries the argument for analyzing the spectral sequence under the compactness hypothesis.

Load-bearing premise

The critical point set of the holomorphic function is compact, together with the Kähler condition on the manifold.

What would settle it

An explicit Kähler manifold and holomorphic function with compact critical points where the Hodge-to-de Rham spectral sequence fails to degenerate at E1 would disprove the claim.

read the original abstract

We study the twisted de Rham complex associated with a holomorphic function on a K\"ahler manifold whose critical point set is compact. We prove the $E_1$-degeneration of the Hodge-to-de Rham spectral sequence. It is a generalization of Barannikov-Kontsevich Theorem.

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

0 major / 3 minor

Summary. The manuscript studies the twisted de Rham complex associated to a holomorphic function f on a Kähler manifold X whose critical set Crit(f) is compact. It proves that the Hodge-to-de Rham spectral sequence for the twisted complex (Ω_X^*, df ∧ ·) degenerates at E₁, thereby generalizing the Barannikov–Kontsevich theorem from the isolated-critical-point case to the compact-critical-set setting.

Significance. If correct, the result supplies a natural extension of a standard degeneration theorem in complex Hodge theory to a wider class of holomorphic functions. The compactness hypothesis is used in an essential way to obtain the necessary estimates on the twisted complex, and the argument appears to be self-contained within the stated hypotheses. The paper therefore provides a concrete, falsifiable generalization that could be tested on explicit examples with non-isolated but compact critical loci.

minor comments (3)
  1. §2.3: the definition of the twisted differential d_f is introduced without an explicit sign convention; adding a displayed formula for d_f on a local holomorphic frame would remove ambiguity for readers.
  2. Theorem 1.1: the statement claims degeneration at E₁, but the proof sketch in §4 only verifies that the differential d₁ vanishes on the E₁ page; a one-sentence remark clarifying why higher differentials automatically vanish would strengthen the exposition.
  3. The bibliography omits the original Barannikov–Kontsevich reference (e.g., the 1998 paper); adding it would make the generalization claim easier to locate.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. No specific major comments were provided in the report, so we have no points to address individually at this stage. We will incorporate any minor improvements suggested during the revision process to strengthen the presentation.

Circularity Check

0 steps flagged

No significant circularity; proof is self-contained

full rationale

The paper proves E1-degeneration of the Hodge-to-de Rham spectral sequence for the twisted de Rham complex of a holomorphic function on a Kähler manifold with compact critical set. This is framed as a direct generalization of the Barannikov-Kontsevich theorem using the compactness hypothesis to control the complex. No fitted parameters renamed as predictions, no self-definitional constructs, and no load-bearing self-citations that reduce the central claim to its own inputs appear in the derivation chain. The result stands as an independent mathematical argument under the stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard background from Kähler geometry and de Rham theory; no free parameters or invented entities are indicated in the abstract.

axioms (2)
  • domain assumption The underlying manifold is Kähler
    Required to define the twisted de Rham complex and the Hodge filtration.
  • domain assumption The critical point set of the holomorphic function is compact
    The key hypothesis that enables the generalization beyond the isolated-point case.

pith-pipeline@v0.9.0 · 5558 in / 1257 out tokens · 37371 ms · 2026-05-18T21:36:56.413657+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

24 extracted references · 24 canonical work pages · 1 internal anchor

  1. [1]

    Arinkin, A

    D. Arinkin, A. C˘ ald˘ araru, M. Hablicsek,Derived intersections and the Hodge theorem, Algebr. Geom. 4 (2017), 394–423

    work page 2017

  2. [2]

    Deligne, L

    P. Deligne, L. Illusie, Rel` evements modulop2 et d´ ecomposition du complexe de de Rham, Invent. Math. 89 (1987), no. 2, 247–270

    work page 1987

  3. [3]

    Esnault, C

    H. Esnault, C. Sabbah, J.-D. Yu, (with an appendix by M. Saito), E1-degeneration of the irregular Hodge filtration, J. reine angew. Math. (2015), doi:10.1515/crelle-2014-0118

    work page doi:10.1515/crelle-2014-0118 2015

  4. [4]

    Schr\"odinger equations, deformation theory and $tt^*$-geometry

    H. Fan, Schr¨ odinger equations, deformation theory andtt∗-geometry, arXiv:1107.1290

    work page internal anchor Pith review Pith/arXiv arXiv

  5. [5]

    S. I. Gelfand, Y. I. Manin, Methods of homological algebra, Springer-Verlag, Berlin, 1996, xviii+372 pp

    work page 1996

  6. [6]

    Kashiwara, D-modules and microlocal calculus , Translations of Mathematical Monographs, 217

    M. Kashiwara, D-modules and microlocal calculus , Translations of Mathematical Monographs, 217. Iwanami Series in Modern Mathematics, American Mathematical Society, 2003

    work page 2003

  7. [7]

    Katzarkov, M

    L. Katzarkov, M. Kontsevich, T. Pantev, Bogomolov-Tian-Todorov theorems for Landau-Ginzburg models, J. Differential Geom. 105 (2017), no. 1, 55–117

    work page 2017

  8. [8]

    S. Li, H. Wen, On the L2-Hodge theory of Landau-Ginzburg models, Adv. Math. 396 (2022), Paper No. 108165, 48 pp

    work page 2022

  9. [9]

    B. Malgrange, Ideals of differentiable functions, Tata Institute of Fundamental Research Studies in Mathemat- ics 3, Tata Institute of Fundamental Research, Bombay, Oxford University Press, London, 1967

    work page 1967

  10. [10]

    Mochizuki, Asymptotic behaviour of tame harmonic bundles and an application to pure twistor D-modules I, II, Mem

    T. Mochizuki, Asymptotic behaviour of tame harmonic bundles and an application to pure twistor D-modules I, II, Mem. AMS. 185, (2007)

    work page 2007

  11. [11]

    Mochizuki, Wild harmonic bundles and wild pure twistor D-modules, Ast´ erisque340, (2011)

    T. Mochizuki, Wild harmonic bundles and wild pure twistor D-modules, Ast´ erisque340, (2011)

    work page 2011

  12. [12]

    Mochizuki, Mixed twistor D-modules, Springer, 2015

    T. Mochizuki, Mixed twistor D-modules, Springer, 2015

    work page 2015

  13. [13]

    Mochizuki, A twistor approach to the Kontsevich complexes , Manuscripta Math

    T. Mochizuki, A twistor approach to the Kontsevich complexes , Manuscripta Math. 157 (2018), 193–231

    work page 2018

  14. [14]

    Mochizuki, L2-complexes and twistor complexes of tame harmonic bundles , arXiv:2204.10443

    T. Mochizuki, L2-complexes and twistor complexes of tame harmonic bundles , arXiv:2204.10443

    work page arXiv

  15. [15]

    A. Ogus, V. Vologodsky, Nonabelian Hodge theory in characteristic p. Publ. Math. Inst. Hautes ´Etudes Sci. 106 (2007), 1–138

    work page 2007

  16. [16]

    Sabbah, On a twisted de Rham complex , Tohoku Math

    C. Sabbah, On a twisted de Rham complex , Tohoku Math. J. (2) 51 (1999), 125–140

    work page 1999

  17. [17]

    Sabbah, Polarizable twistor D-modules, Ast´ erisque300 (2005)

    C. Sabbah, Polarizable twistor D-modules, Ast´ erisque300 (2005)

    work page 2005

  18. [18]

    Sabbah, Hypergeometric periods for a tame polynomial , Port

    C. Sabbah, Hypergeometric periods for a tame polynomial , Port. Math. (N.S.) 63 (2006), no. 2, 173–226

    work page 2006

  19. [19]

    Sabbah, Wild twistor D-modules, in Algebraic analysis and around , 293–353, Adv

    C. Sabbah, Wild twistor D-modules, in Algebraic analysis and around , 293–353, Adv. Stud. Pure Math., 54, Math. Soc. Japan, Tokyo, 2009

    work page 2009

  20. [20]

    Sabbah, Some properties and applications of Brieskorn lattices, J

    C. Sabbah, Some properties and applications of Brieskorn lattices, J. Singul. 18 (2018), 238–247

    work page 2018

  21. [21]

    Saito, A

    K. Saito, A. Takahashi, From primitive forms to Frobenius manifolds, Proc. Sympos. Pure Math., 78 American Mathematical Society, Providence, RI, 2008, 31–48

    work page 2008

  22. [22]

    Saito, Modules de Hodge polarisables , Publ

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

    work page 1988

  23. [23]

    Saito, Mixed Hodge modules, Publ

    M. Saito, Mixed Hodge modules, Publ. RIMS., 26, (1990), 221–333

    work page 1990

  24. [24]

    Simpson, Mixed twistor structures, math.AG/9705006

    C. Simpson, Mixed twistor structures, math.AG/9705006. 15

    work page arXiv