Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck passjudge pass (gpt-6-luna)verified 2026-11-04 (gpt-6.1-sol)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

The ddbar lemma implies Frölicher E1 degeneration

Statement

Let X be a compact complex manifold satisfying the ∂∂ˉ lemma: every d-closed, d-exact form of pure type is ∂∂ˉ-exact. Filter the smooth complex de Rham complex by holomorphic degree, so that its Frölicher spectral sequence has E1p,q=Hq(Ap,∙(X),∂ˉ). Then every E1 class has a representative closed under both ∂ and ∂ˉ, and the spectral sequence degenerates at E1.

Statement references

Jean-Pierre Demailly, Complex Analytic and Differential Geometry, Chapter VI, §8.2, Lemma 8.6 and Corollary 8.7, pp. 311–312, and §11, equations (11.1)–(11.3), pp. 322–323. The source supplies the ddbar and Frölicher spectral-sequence conventions and the Kähler case; the implication for any compact complex manifold satisfying the stated ddbar hypothesis is derived locally here.

The ∂∂̄ lemma for compact Kähler manifolds

Complex manifolds, holomorphic vector bundles and Hermitian metrics

Facts & Assumptions

Given: A compact complex manifold X with the ∂∂ˉ lemma.

[F1]

The complex manifold and holomorphic-coordinate conventions are those of Complex manifolds, holomorphic vector bundles and Hermitian metrics. Smooth complex forms decompose by type in holomorphic coordinates, and ∂ and ∂ˉ are the two bidegree components of d (Bigraded complex forms and the Dolbeault operators); their decomposition and identities d=∂+∂ˉ, ∂2=∂ˉ2=0, and ∂∂ˉ+∂ˉ∂=0 are given by The d, partial and dbar identities.

[F2]

The exactness implication used below is the ∂∂ˉ-lemma hypothesis in the Statement. The supplier The ∂∂̄ lemma for compact Kähler manifolds establishes this condition for compact Kähler manifolds; the present Statement assumes it directly for a compact complex manifold and does not infer that X is Kähler.

Proof

technique · direct
1.1F1F2givenalgebra

Let α∈Ap,q(X) satisfy ∂ˉα=0. Then u:=∂α has pure type (p+1,q), is d-exact since u=dα, and is d-closed since du=d∂α=−∂∂ˉα=0. By [F2], u=∂∂ˉβ for β∈Ap,q−1(X); when q=0 or p=n, the required bidegree is absent and [F2] forces u=0. Therefore α′:=α−∂ˉβ (or α′=α at those boundary bidegrees) satisfies ∂ˉα′=0 and ∂α′=u−∂∂ˉβ=0. It differs from α by a ∂ˉ-exact form, so it represents the same Dolbeault class.

2.1step 1.1givenconstruct∎

We prove vanishing of the differentials inductively. At page r=1, every E1p,q class has, by step 1.1, a representative α′ of type (p,q) with dα′=0. Suppose d1,…,dr−1 vanish. The canonical identifications then give Er=E1; in particular every class in every possible source term of dr is represented by such a d-closed α′. The spectral-sequence differential is induced by the first component of dα′ that could survive to page r, and that component is zero because dα′=0. Hence dr=0. This proves the induction for every r, including all possible incoming differentials to each target class. Since 0≤p≤n, the filtration has finitely many steps in each total degree, so it converges and E1=E∞.

Remarks

This lemma supplies only the spectral-sequence consequence of the stated ∂∂ˉ lemma. It makes no claim about relative Artin base change; that is a separate theorem and proof obligation.

Depends on

Dependency tree · 2 levels

Sources