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 be a compact Riemann surface, the trivial holomorphic line bundle with the constant Hermitian metric , and any compatible Riemannian metric on . Then the constant function satisfies , and the kernel of the Dolbeault Laplacian on functions is exactly Thus the constant zero mode of the Dolbeault Laplacian is one-dimensional, and : every holomorphic function on a compact connected Riemann surface is constant. The same conclusion holds for the trivial bundle with any Hermitian metric.
Here denotes the harmonic space with its smooth representatives, while 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 kernel denotes the kernel on the block-composition operator domain, with equality of functions understood almost everywhere.
The degree-zero kernel equals , and its elements are smooth; conversely smooth sections killed by are harmonic (The maximal Dolbeault operator and its Hilbert adjoint on a compact Riemann surface, Elliptic regularity for Dolbeault harmonic forms).
For the trivial holomorphic bundle, means that 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).
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).
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.
If , [F1] supplies a smooth representative with , so [F2] makes it holomorphic. Its modulus attains a maximum at a point by compactness and [F3]. Put and . This set is closed by continuity and nonempty. At each , , so a connected coordinate disk about has an interior maximum of ; [F3] makes on that disk. Hence is open, and connectedness forces . Thus every element of the operator kernel is an almost-everywhere constant.
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 . In particular and , a one-dimensional space since is nonempty. By [F4], this is also . 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
- Dolbeault cohomology of a compact riemann surface is finite dimensional
- A real-valued holomorphic function on a domain is constant
- The Axiom of Choice
- Hermitian metric and $L^2$ pairing on a compact Riemann surface
- Holomorphic line bundles and meromorphic sections on a Riemann surface
- The maximal Dolbeault operator and its Hilbert adjoint on a compact Riemann surface
- Riemann surfaces and holomorphic atlases
- The Dolbeault adjoint and Laplacian: local formulas and ellipticity
- The Dolbeault Laplacian has finite-dimensional kernel and closed range
- Elliptic regularity for Dolbeault harmonic forms
- 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
- Hodge decomposition for Dolbeault forms on a compact Riemann surface
- Local maximum modulus principle
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
- Jean-Pierre Demailly, Complex Analytic and Differential Geometry (author manuscript, Universite Grenoble Alpes) (standard reference, not scraped)