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.

One dimensional constant zero mode of dolbeault laplacian

Example

Assume the Axiom of Choice (The Axiom of Choice), inherited through the finite-dimensional-kernel and ellipticity items used below. Let X be a compact Riemann surface, E=X×C the trivial holomorphic line bundle with the constant Hermitian metric h0(1,1)=1, and g any compatible Riemannian metric on X. Then the constant function 1 satisfies Δ′′1=0, and the kernel of the Dolbeault Laplacian on functions is exactly H0,0(E)={u∈L2(X): ∂ˉu=0}=C⋅1. Thus the constant zero mode of the Dolbeault Laplacian is one-dimensional, and H0,0(X,E)=H0(X,O)=C: every holomorphic function on a compact connected Riemann surface is constant. The same conclusion holds for the trivial bundle with any Hermitian metric.

Here H0,q(E) denotes the harmonic space H0,q(E)=ker⁡Δq′′ with its smooth representatives, while H0,q(X,E) denotes smooth Dolbeault cohomology.

Facts & Assumptions

Given: A compact connected Riemann surface, the trivial holomorphic bundle, any supplied positive smooth Hermitian metric and compatible metric, and full AC. The L2 kernel denotes the kernel on the block-composition operator domain, with equality of functions understood almost everywhere.

[F1]

The degree-zero kernel equals ker⁡Dˉ, and its elements are smooth; conversely smooth sections killed by ∂ˉE are harmonic (The maximal Dolbeault operator and its Hilbert adjoint on a compact Riemann surface, Elliptic regularity for Dolbeault harmonic forms).

[F2]

For the trivial holomorphic bundle, ∂ˉEu=0 means that u is a holomorphic function. A Riemann surface is nonempty and connected (Holomorphic line bundles and meromorphic sections on a Riemann surface, Riemann surfaces and holomorphic atlases).

[F3]

A continuous real function on a nonempty compact topological space attains its maximum; a holomorphic function with an interior local maximum of its modulus is constant on a connected plane domain (A continuous image of a compact space is compact; a continuous real-valued map on a nonempty compact space attains a maximum and a minimum; and a continuous bijection from a compact space to a Hausdorff space is a homeomorphism, Local maximum modulus principle).

[F4]

The Dolbeault degree-zero group is the holomorphic-section space, and is identified with the harmonic degree-zero space (Dolbeault cohomology of a compact riemann surface is finite dimensional).

Verification

Given: The data in the Example and Facts.

1.1F1F2F3given

If u∈ker⁡Δ0′′, [F1] supplies a smooth representative with ∂ˉEu=0, so [F2] makes it holomorphic. Its modulus attains a maximum M at a point p by compactness and [F3]. Put c=u(p) and S={x:u(x)=c}. This set is closed by continuity and nonempty. At each x∈S, ∣u(x)∣=M, so a connected coordinate disk about x has an interior maximum of ∣u∣; [F3] makes u=c on that disk. Hence S is open, and connectedness forces S=X. Thus every element of the operator kernel is an almost-everywhere constant.

2.1F1F2F4step 1.1givenalgebra∎

Every constant is smooth, has zero Dolbeault derivative, belongs to the maximal domain, and has zero image in the adjoint domain; therefore it lies in the degree-zero Laplacian domain with Δ0′′u=0. In particular Δ′′1=0 and ker⁡Δ0′′=C⋅1, a one-dimensional space since X is nonempty. By [F4], this is also H0,0(X,E)=H0(X,O). The argument used no value of the Hermitian weight or of the compatible metric, so it proves the final assertion for every supplied smooth positive Hermitian metric. Full AC is inherited through [F1] and [F4].

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

130 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