Alphabeta Math
LemmaStatement: AI-adaptedProof: AI-generatedPipeline-generatedprecheck passverified 2026-11-05 (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.

Tangent-bundle end cohomology vanishing under exact SU(3) holonomy

Physical scope

Purely mathematical cohomology vanishing conditional on exact SU(3) holonomy; no holonomy or metric existence is asserted.

Statement

Assume the Axiom of Choice. Let X be a smooth projective Calabi–Yau threefold over C equipped with a Kähler metric whose Levi-Civita holonomy is exactly SU(3). Then the coherent cohomology of its holomorphic tangent bundle satisfies H0(X,TX)=0 and H3(X,TX)=0.

Facts & Assumptions

Given: A smooth projective threefold X, a nowhere-zero holomorphic volume form Ω∈H0(X,KX), a Kähler metric with exact SU(3) holonomy, and the Axiom of Choice.

[F1]

Hodge-number and Betti-number counts under exact SU(3) holonomy gives h1,0(X)=h2,0(X)=0 for a connected compact Kähler threefold with zero Ricci form and exact SU(3) holonomy.

[F2]

Compact Kähler Hodge decomposition from elliptic harmonic forms identifies analytic sheaf cohomology Hq(X,ΩXp) with harmonic (p,q)-forms. Here the star is the complex-linear extension of the real Riemannian Hodge star, characterized by α∧∗β‾=⟨α,β⟩dV for forms of equal degree.

[F3]

Compact Calabi–Yau manifold conventions supplies the chosen trivialization of KX; the displayed Ω is its nowhere-zero section.

[F4]

Kähler commutators and preservation of harmonic types states that the Hodge Laplacian commutes with the Hodge star and preserves bidegree on a compact Kähler manifold under AC.

[A1]

The cohomology convention is hp,q=dimHq(X,ΩXp), as in [F1].

Proof

Given: The data in the Statement and [F1]–[F4].

1.1givenF1F3algebraconstruct

Parallel transport on KX=Λ3(TX1,0)∗ acts by the inverse determinant of tangent parallel transport. Every holonomy element lies in SU(3), so this action is trivial. Transporting one nonzero canonical covector from a fixed point gives a path-independent global parallel section: two paths differ by a holonomy element acting trivially. The canonical connection is therefore flat. In holomorphic coordinates its curvature is ∂∂ˉlog⁡det⁡(gijˉ), up to an overall curvature sign, by tracing the tangent Chern connection matrix g−1∂g and passing to the dual determinant line. Consequently ρ=−i∂∂ˉlog⁡det⁡(gijˉ)=0. All the hypotheses of [F1] are now checked, giving h1,0=h2,0=0.

2.1givenF3A1step 1.1construct

Contraction with the nowhere-zero three-form defines a holomorphic bundle map TX→ΩX2, v↦ιvΩ. In a basis e1,e2,e3 with Ω(e1,e2,e3)≠0, it sends each basis vector to a nonzero multiple of the complementary basis two-form, so it is an isomorphism. Hence H0(X,TX)≅H0(X,ΩX2)=0 by step 1.1.

3.1givenF2F4step 1.1step 2.1algebra∎

The same holomorphic bundle isomorphism gives H3(X,TX)≅H3(X,ΩX2). By [F2], the latter is represented by harmonic (2,3)-forms. In complex dimension three, the Hodge star sends type (p,q) to (3−q,3−p), as follows on wedge monomials in a unitary coframe. It is invertible and commutes with the Hodge Laplacian by [F4], so it identifies harmonic (2,3)-forms with harmonic (0,1)-forms. Complex conjugation identifies the latter with harmonic (1,0)-forms, whose dimension is h1,0=0 by step 1.1. Thus H3(X,TX)=0, with analytic sheaf cohomology used throughout.

Depends on

Dependency tree · 2 levels

Sources