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.
Dolbeault groups of the negative twistor-fibre twists
Statement
Let and let be the degree- holomorphic line bundle. For the smooth Dolbeault complexes on , the cohomology groups satisfy
The canonical bundle is the holomorphic cotangent line bundle, whose fibre at is the complex-linear dual of , the eigenspace of the complex structure on the complexified tangent space. It satisfies ; the last group is one-dimensional, and the first three vanish.
Statement references
Facts & Assumptions
Given: The two projective charts of , their ordinary holomorphic twisting bundles, and full AC.
The tautological frame satisfies ; hence the degree- coefficient transition is . The canonical transition identifies with , with a harmless constant sign in one local frame. Positive incidence geometry for the coupled Penrose transform
For the standard projective cover and , the actual analytic twisting sheaves have acyclic intersections; their analytic sheaf cohomology is the normally convergent Laurent–Čech complex. For every integer twist, restrictions preserve Laurent coefficients and the stated mode contractions converge on the output charts. Laurent–Čech cohomology of the projective coordinate cover
Under full AC, every finite-rank holomorphic bundle on for has its analytic sheaf cohomology canonically identified with the global smooth Dolbeault quotient. This is a Dolbeault-resolution comparison, not algebraic-to-analytic GAGA. Projective Dolbeault comparison and scalar structure-sheaf cohomology
Full AC is assumed, as required by [F2]–[F3]. The Axiom of Choice
Proof
Given: [F1]–[F3] and [A1].
A global section of , , would have an entire coefficient with . By the normally convergent expansions in [F2], the left side has only powers with , whereas the right side has only powers with . Uniqueness of Laurent coefficients forces every coefficient to vanish. Thus both degree-zero groups vanish.
A one-cochain on the two-chart overlap has a normally convergent Laurent expansion . Coboundaries subtract the entire -series with and the series with . These two tails converge on their respective entire charts by [F2]; the cover is acyclic for both twists because and . For they exhaust every integer exponent, so the analytic first cohomology is zero. For the sole remaining exponent is ; its coefficient cannot be a coboundary, and it identifies the analytic first cohomology with .
Apply [F3] to the two holomorphic line bundles on . Its hypotheses hold for and the full AC assumption [A1]. It converts precisely the analytic sheaf groups computed in steps 1.1–2.1 to the smooth Dolbeault groups in the Statement. The transition calculation in [F1] gives . No scheme cohomology or unproved analytic/algebraic comparison is used.