A generalization of Barannikov-Kontsevich theorem

1. Problem Statement

The paper addresses the $E_1$-degeneration of the Hodge-to-de Rham spectral sequence associated with the twisted de Rham complex on a complex manifold $X$.

• Context: Let $X$ be a complex manifold and $f: X \to \mathbb{C}$ a holomorphic function with a compact critical point set $Cr(f)$.
• The Complex: The twisted de Rham complex is defined as $(\Omega^\bullet_X[[\lambda]], \lambda d + df)$, where $\lambda$ is a formal variable. This complex is filtered by powers of $\lambda$ (denoted $F_\lambda$).
• The Question: Does the spectral sequence associated with this filtered complex degenerate at the $E_1$-level?
  • Degeneration at $E_1$ implies that the cohomology groups $H^*(X, \Omega^\bullet_X[[\lambda]]_f)$ are free $\mathbb{C}[[\lambda]]$-modules of finite rank, and that the dimensions of the cohomology of the associated graded complex $(\Omega^\bullet_X, df)$ match the dimensions of the twisted cohomology for generic $\lambda$.
• Previous Status:
  • Classical Hodge Theory: Proven for projective $X$ with $f=0$ (Deligne).
  • Singularity Theory: Proven for $f$ with a single critical point (Brieskorn lattices).
  • Barannikov-Kontsevich Theorem (1998): Proven for quasi-projective $X$ and $f$ (specifically when $f$ extends to a projective morphism). The proof relied on harmonic analysis and Kähler identities.
  • Gap: The Barannikov-Kontsevich theorem required global assumptions (quasi-projectivity). Mochizuki aims to prove the result under the local assumption that $Cr(f)$ is compact, without requiring $X$ to be projective or quasi-projective, and without assumptions on the behavior of $(X, f)$ at infinity.

2. Methodology

Mochizuki employs the theory of Integrable Mixed Twistor D-modules, a sophisticated framework developed by Mochizuki himself (building on Simpson's work on Hodge modules). The methodology involves several key steps:

1. Translation to Twistor D-modules:

   • The problem is reformulated in the language of mixed twistor D-modules on $X$.
   • The twisted de Rham complex is related to the direct image of a specific mixed twistor D-module under the projection to a point (or to the $\lambda$-line).
   • The author utilizes the category of integrable mixed twistor D-modules ($MTM_{int}^{reg}$), which incorporates the integrability condition ($\partial_\theta$ action) necessary to handle the $\lambda$-dependence and the function $f$.

2. Construction of a Refined Complex:

   • Instead of working directly with the formal twisted de Rham complex, the author constructs a more refined complex $C(M)$ on the space $\mathbb{C}_\lambda \times X \times \mathbb{C}_t \times \mathbb{C}_u$.
   • This involves the graph embedding $\iota_f: X \to X \times \mathbb{C}_t$ and the V-filtration (Kashiwara-Malgrange filtration) along the variable $t$.
   • The complex $C(M)$ is built using the $V$-filtration of the underlying D-module, specifically focusing on the terms $V_{-1}$ and $V_0$.

3. Strictness and Direct Images:

   • The core of the proof relies on the strictness of the direct image functor for mixed twistor D-modules.
   • Theorem 2.4 (Generalized): If $X$ is Kähler and the support of a regular mixed twistor D-module is proper over the target, the direct image preserves the category of regular mixed twistor D-modules.
   • The author proves that the direct images of the filtered complexes involved are locally free over the base ring (specifically over $\mathbb{C}[[\lambda]]$ or related rings).

4. Strictness of Spectral Sequences:

   • The $E_1$-degeneration is equivalent to the strictness of the morphisms in the spectral sequence (specifically, that the maps $H^j(F^p/F^{p+r}) \to H^j(F^p/F^{p+r-1})$ are epimorphisms).
   • Mochizuki establishes this strictness by analyzing the behavior of the cohomology sheaves under the projection $\pi_{03}: \mathbb{C}_\lambda \times X \times \mathbb{C}_t \times \mathbb{C}_u \to \mathbb{C}_\lambda \times \mathbb{C}_u$.
   • He utilizes a $\mathbb{C}^*$-action on the auxiliary space to control the behavior of the cohomology and prove that the cohomology groups are free modules.

5. Specialization Arguments:

   • The proof involves analyzing the specialization of the complex along $u=0$ and $\lambda=0$.
   • By showing that the cohomology groups of the specialized complexes are coherent and that the direct images are locally free, the author deduces the degeneration of the spectral sequence for the original formal twisted de Rham complex.

3. Key Contributions and Results

Main Theorem (Theorem 1.6)

If $X$ is a Kähler manifold and $f$ is a holomorphic function with a compact critical point set $Cr(f)$, then the spectral sequence for the filtered formal twisted de Rham complex $F_\lambda \Omega^\bullet_X[[\lambda]]_f$ degenerates at the $E_1$-level.

• Significance: This removes the global quasi-projectivity assumption required by Barannikov and Kontsevich. The result holds for any Kähler manifold, provided the critical locus is compact. This implies that the local geometry around the critical points dictates the global cohomological structure of the twisted complex.

Refined Theorems

• Theorem 3.6: Establishes $E_1$-degeneration for a broader class of complexes involving integrable mixed twistor D-modules $M$ induced by mixed Hodge modules.
• Theorem 3.7 & Corollary 3.8: Provides dimension equalities:
  $$\dim H^j(X, \iota_\lambda^*(M_f \otimes \tilde{\Omega}^\bullet_{X/\mathbb{C}})) = \dim H^j(X, \phi_f(\Xi_{DR}M) \otimes \Omega^\bullet_X)$$
  This relates the cohomology of the twisted complex to the cohomology of the vanishing cycle sheaf $\phi_f$, confirming that the "twisted" cohomology is controlled by the topology of the critical points.
• Corollary 3.10: Proves that the formal twisted de Rham cohomology groups are free $\mathbb{C}[[\lambda]]$-modules of finite rank.

4. Significance and Impact

1. Local-to-Global Principle: The paper demonstrates that the $E_1$-degeneration, a global property of the cohomology, is entirely determined by the local behavior of the function $f$ near its critical points (specifically, the compactness of $Cr(f)$). This is a profound result in complex geometry and singularity theory.
2. Advancement of Non-Commutative Hodge Theory: The Barannikov-Kontsevich theorem is a cornerstone of the non-commutative Hodge theory and the study of Landau-Ginzburg models in Mirror Symmetry. By generalizing this to Kähler manifolds, Mochizuki extends the applicability of these theories to a much wider class of geometric objects, including non-algebraic Kähler manifolds.
3. Methodological Breakthrough: The use of Integrable Mixed Twistor D-modules provides a robust and flexible framework for handling spectral sequences and degeneration problems. It unifies techniques from Hodge theory, D-module theory, and microlocal analysis.
4. Resolution of a Kontsevich Question: The work directly answers a specific question posed by Maxim Kontsevich regarding the necessity of projective assumptions for the degeneration of the twisted de Rham complex.

In summary, Mochizuki's paper provides a definitive generalization of the Barannikov-Kontsevich theorem, proving that the $E_1$-degeneration holds for twisted de Rham complexes on any Kähler manifold with compact critical points, utilizing the powerful machinery of integrable mixed twistor D-modules to bypass traditional global algebraic constraints.