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
Purely mathematical cohomology vanishing conditional on exact SU(3) holonomy; no holonomy or metric existence is asserted.
Statement
Assume the Axiom of Choice. Let be a smooth projective Calabi–Yau threefold over equipped with a Kähler metric whose Levi-Civita holonomy is exactly . Then the coherent cohomology of its holomorphic tangent bundle satisfies and .
Statement references
Facts & Assumptions
Given: A smooth projective threefold , a nowhere-zero holomorphic volume form , a Kähler metric with exact holonomy, and the Axiom of Choice.
Hodge-number and Betti-number counts under exact SU(3) holonomy gives for a connected compact Kähler threefold with zero Ricci form and exact holonomy.
Compact Kähler Hodge decomposition from elliptic harmonic forms identifies analytic sheaf cohomology with harmonic -forms. Here the star is the complex-linear extension of the real Riemannian Hodge star, characterized by for forms of equal degree.
Compact Calabi–Yau manifold conventions supplies the chosen trivialization of ; the displayed is its nowhere-zero section.
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.
The cohomology convention is , as in [F1].
Proof
Given: The data in the Statement and [F1]–[F4].
Parallel transport on acts by the inverse determinant of tangent parallel transport. Every holonomy element lies in , 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 , up to an overall curvature sign, by tracing the tangent Chern connection matrix and passing to the dual determinant line. Consequently . All the hypotheses of [F1] are now checked, giving .
Contraction with the nowhere-zero three-form defines a holomorphic bundle map , . In a basis with , it sends each basis vector to a nonzero multiple of the complementary basis two-form, so it is an isomorphism. Hence by step 1.1.
The same holomorphic bundle isomorphism gives . By [F2], the latter is represented by harmonic -forms. In complex dimension three, the Hodge star sends type to , as follows on wedge monomials in a unitary coframe. It is invertible and commutes with the Hodge Laplacian by [F4], so it identifies harmonic -forms with harmonic -forms. Complex conjugation identifies the latter with harmonic -forms, whose dimension is by step 1.1. Thus , with analytic sheaf cohomology used throughout.