Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck passjudge pass (gpt-6-luna)
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 L=CP1 and let OL(k) be the degree-k holomorphic line bundle. For the smooth Dolbeault complexes on L, the cohomology groups satisfy

H∂ˉ0,0(L,OL(−1))=H∂ˉ0,1(L,OL(−1))=H∂ˉ0,0(L,OL(−2))=0,H∂ˉ0,1(L,OL(−2))≅C.

The canonical bundle KL:=Λ1,0T∗L is the holomorphic cotangent line bundle, whose fibre at p∈L is the complex-linear dual of Tp1,0L, the +i eigenspace of the complex structure on the complexified tangent space. It satisfies KL≅OL(−2); the last group is one-dimensional, and the first three vanish.

Facts & Assumptions

Given: The two projective charts of L=CP1, their ordinary holomorphic twisting bundles, and full AC.

[F1]

The tautological frame satisfies e∞=t−1e0; hence the degree-−k coefficient transition is f0(t)=t−kf∞(1/t). The canonical transition d(1/t)=−t−2dt identifies KL with OL(−2), with a harmless constant sign in one local frame. Positive incidence geometry for the coupled Penrose transform

[F2]

For the standard projective cover and k=0,−1,−r−1, 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

[F3]

Under full AC, every finite-rank holomorphic bundle on Pr(C) for 0≤r≤3 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

[A1]

Full AC is assumed, as required by [F2]–[F3]. The Axiom of Choice

Proof

Given: [F1]–[F3] and [A1].

1.1F1F2A1givenalgebra

A global section of O(−k), k=1,2, would have an entire coefficient f0(t) with f0(t)=t−kf∞(1/t). By the normally convergent expansions in [F2], the left side has only powers tn with n≥0, whereas the right side has only powers tn with n≤−k. Uniqueness of Laurent coefficients forces every coefficient to vanish. Thus both degree-zero groups vanish.

2.1F1F2A1step 1.1algebra

A one-cochain on the two-chart overlap has a normally convergent Laurent expansion g(t)=∑n∈Zantn. Coboundaries subtract the entire t-series with n≥0 and the series t−kf∞(1/t) with n≤−k. These two tails converge on their respective entire charts by [F2]; the cover is acyclic for both twists because r=1 and k=1,2. For k=1 they exhaust every integer exponent, so the analytic first cohomology is zero. For k=2 the sole remaining exponent is n=−1; its coefficient cannot be a coboundary, and it identifies the analytic first cohomology with C.

3.1F1F3A1step 1.1step 2.1algebra∎

Apply [F3] to the two holomorphic line bundles on L. Its hypotheses hold for r=1 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 KL≅O(−2). No scheme cohomology or unproved analytic/algebraic comparison is used.

Depends on

Dependency tree · 2 levels

Sources