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.
Scalar holomorphic sheaf acyclicity on pseudoconvex domains
Statement
Assume full AC. Let and let be a Hartogs-pseudoconvex domain. Let be its sheaf of holomorphic functions. Then the derived sheaf cohomology satisfies for every integer .
Statement references
Facts & Assumptions
Given: Full AC; an integer ; and a Hartogs-pseudoconvex domain .
Full AC is the set-choice postulate (The Axiom of Choice).
Smooth forms of bidegree form sheaves with differential and (Bigraded complex forms and the Dolbeault operators).
Under full AC, the local Dolbeault lemma makes the smooth -complex exact in positive degrees on polydiscs (The local Dolbeault lemma on nested polydiscs).
A function with all coordinate -derivatives zero is holomorphic (For functions, holomorphy, complex linearity of the real derivative, and the Cauchy–Riemann system agree).
Each sheaf of smooth differential-form modules is acyclic for global sections on every open subset of a smooth manifold (Sheaves of smooth-function modules are cohomologically acyclic).
An exact resolution by global-section-acyclic sheaves computes right-derived global sections (The acyclic-resolution theorem for right derived functors, Sheaf cohomology as right derived global sections).
On a Hartogs-pseudoconvex domain in , every smooth -closed -form is -exact for (Positive-degree Dolbeault vanishing on pseudoconvex domains).
Proof
On each coordinate polydisc in , [F2] says the sequence of sheaves is exact in positive degree. Its degree-zero kernel is exactly : a smooth function in that kernel has all -derivatives zero and is holomorphic by [F3]. Thus it is an exact sheaf resolution on .
Each resolution term is a sheaf of modules over smooth functions and is -acyclic by [F4]. The acyclic-resolution theorem [F5] therefore identifies with the cohomology in degree of the global smooth Dolbeault complex.
For , [F6] makes every closed global smooth -form exact, so the degree- cohomology in step 2.1 is zero. For , the complex has no -forms on an -dimensional complex manifold, so its degree- cohomology is zero as well. Hence for every .
Depends on
The Axiom of Choice
Bigraded complex forms and the Dolbeault operators
Sheaf cohomology as right derived global sections
For functions, holomorphy, complex linearity of the real derivative, and the Cauchy–Riemann system agree
The local Dolbeault lemma on nested polydiscs
Sheaves of smooth-function modules are cohomologically acyclic
The acyclic-resolution theorem for right derived functors
Positive-degree Dolbeault vanishing on pseudoconvex domains