Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedprecheck passjudge pass (gpt-6.1-sol)audited 2026-10-08
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 h zero one of the riemann sphere vanishes

Example

Assume the Axiom of Choice (The Axiom of Choice), inherited through the harmonic-star duality and finiteness items used below. Let X=C^ be the Riemann sphere with its holomorphic charts (The standard holomorphic charts on the Riemann sphere, with holomorphy and poles at infinity, Stereographic projection identifies the Riemann sphere with the unit two-sphere, The Riemann sphere is the published one-point compactification of the complex plane), let E=X×C be the trivial holomorphic line bundle with the constant Hermitian metric, and let g be any compatible Riemannian metric. Then

H0,0(X,E)=C⋅1,H0,1(X,E)=0, so the Dolbeault group H0,1 of the trivial bundle on the sphere vanishes in every degree q=1; equivalently the space H0(X,K) of holomorphic differentials is zero, so there is no nonzero holomorphic 1-form on the sphere. In particular every ∂ˉ-closed (0,1)-form on the sphere is ∂ˉ-exact.

Facts & Assumptions

Given: The compact Riemann sphere, the trivial holomorphic line bundle with constant positive weight, any compatible metric, and full AC.

[F1]

The sphere has charts z on C and w=1/z about infinity. A holomorphic differential has holomorphic chart coefficients with the differential transition law (The standard holomorphic charts on the Riemann sphere, with holomorphy and poles at infinity, Meromorphic differentials, orders and residues, Holomorphic line bundles and meromorphic sections on a Riemann surface).

[F2]

Every bounded entire function is constant (Liouville's theorem: every bounded entire function is constant).

[F3]

Harmonic-star duality is a conjugate-linear isomorphism H0,1(E)→H0(X,K⊗E∗); Dolbeault cohomology is identified with harmonic representatives, and degree zero is the holomorphic-section space (Harmonic star duality for line bundle valued dolbeault cohomology, Dolbeault cohomology of a compact riemann surface is finite dimensional, Hodge decomposition for Dolbeault forms on a compact Riemann surface).

Verification

Given: The data in the Example and Facts.

1.1F1F2F3given

A holomorphic function on the sphere is entire in the z chart and bounded near infinity, since its w-chart expression is continuous at 0. It is also bounded on each closed disk, so is bounded on all of C. By [F2] it is constant, and all constants are global holomorphic sections of the trivial bundle. Thus [F3] gives H0,0(X,E)=C⋅1.

1.2F1F2givenalgebra

Write a global holomorphic differential as f(z)dz on C, with f entire. In the other chart it is a(w)dw, where a(w)=−w−2f(1/w) for w≠0 by [F1]. Holomorphy at w=0 bounds a on a small closed disk. Consequently ∣f(z)∣≤C∣z∣−2 for sufficiently large ∣z∣. The entire function f is bounded on a closed disk and on its exterior, so [F2] makes it constant; the displayed decay forces that constant to vanish. Therefore H0(X,K)=0.

2.1F1F3step 1.1step 1.2given∎

The trivial dual bundle identifies K⊗E∗ holomorphically with K. By [F3] and step 1.2, the degree-one harmonic space and hence H0,1(X,E) are zero. Every smooth (0,1)-form on a curve is closed because there are no (0,2)-forms; its zero cohomology class says exactly that it is ∂ˉE of a global smooth function. This proves the stated exactness for any supplied compatible metric. Full AC is inherited through duality and the harmonic representative interfaces.

Source notes

Demailly’s Dolbeault results in §7 apply to a holomorphic Hermitian bundle; the flat-connection de Rham decomposition in §3.3 is contextual and is not used for a varying Hermitian weight. The verification above uses proved local operator interfaces and gives the concrete calculation itself.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

107 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources