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.
Failure of global generation for and top cohomology of
Example
Assume full AC. For each integer , let be the set of complex lines in , equivalently , with standard cover and twisting line bundle defined by . For every nonempty write . For set and put outside this range. Use the increasing-index alternating restriction differential; denotes the cohomology of this complex. For a degree- Laurent mode , write . A mode can represent a global section only if , and it can survive in top Čech degree only if . The degree constraints and therefore give, respectively, For a holomorphic line bundle , let for be the sheaf of smooth sections of , set the terms to zero for , and define coefficientwise in holomorphic local frames. Write for the cohomology of the global complex. The canonical projective Dolbeault comparison identifies the displayed sheaf groups with the corresponding global Dolbeault groups. Every fiber of the line bundle is one-dimensional. A line bundle is globally generated when its global sections evaluate surjectively onto each fiber; since , its evaluation map is zero and is not surjective. These are analytic cohomology calculations by degree-weighted Laurent modes and the ordered-cover Čech comparison; no GAGA identification is used.
Example references
Facts & Assumptions
Given: Full AC; ; the standard ordered projective-coordinate cover; and the twisting line bundles and .
Full AC means every family of nonempty sets has a choice function (The Axiom of Choice).
The standard charts of have coordinates (Complex projective space and its holomorphic charts).
Holomorphic vector bundles are locally trivial with holomorphic transition functions; a line-bundle fiber has complex dimension one (Complex manifolds, holomorphic vector bundles and Hermitian metrics).
The line bundle has frames and is the structure sheaf (Projective twisting line bundles by coordinate transitions).
Under full AC, on the standard cover each section has unique normally convergent degree- Laurent–Taylor modes; the coefficient occurs on exactly when , restrictions preserve it, every nonempty proper negative set contracts with locally uniform convergence, and the fixed-cover Čech cohomology is analytic sheaf cohomology (Laurent–Čech cohomology of the projective coordinate cover).
Under full AC, for every holomorphic vector bundle on with , analytic sheaf cohomology is canonically the cohomology of the global smooth Dolbeault complex (Projective Dolbeault comparison and scalar structure-sheaf cohomology).
Proof
For a degree- mode, cannot be empty because then every and ; it cannot be all of because then . Thus every mode has nonempty proper negative support. If , that mode occurs in no singleton-chart term of . If , it occurs only in the term of , while it occurs on for any ; the -cocycle condition on that overlap forces its coefficient in the term to be zero because the term has no such mode. Hence every degree-zero Čech cocycle has zero coefficient in every mode. The normal-convergence and coefficient-uniqueness clauses of [F4] make this coefficientwise conclusion valid for analytic sections, and the fixed-cover comparison in [F4] gives .
The top Čech cochains have the single index set . Write for the degree- monomial section whose coefficient in frame is . A mode with is absent from every codimension-one face, so it has zero coefficient in every top coboundary. If , the convergent contraction in [F4] supplies a primitive. If , all exponents are nonnegative, so is holomorphic on every chart by [F3]. Set and all other components of to zero; the ordered differential gives . There are only finitely many such nonnegative exponent tuples of any fixed total degree (none for ). Their primitives therefore sum finitely; [F4] handles the normally convergent sums with nonempty proper negative support. Thus top cohomology has exactly the modes with .
For , if every , write with integers . The total-degree equation becomes , so and every . Thus the only surviving mode is , and its coefficient space is . The normal convergence and analytic cochain contraction in [F4] show that this coefficient quotient is the actual analytic Čech quotient. The comparison in [F4] now gives .
Apply [F5] to both holomorphic line bundles and . The canonical isomorphisms identify their global Dolbeault cohomology with the sheaf groups computed in steps 1.1 and 2.1, so the Dolbeault values are zero in degree zero for and in degree for .
By [F2], each fiber is a one-dimensional complex vector space. Evaluation at any is the zero map from to this nonzero fiber, so it is not onto. This violates the defining fiberwise condition for global generation, proving that is not globally generated.
Depends on
The Axiom of Choice
Complex projective space and its holomorphic charts
Complex manifolds, holomorphic vector bundles and Hermitian metrics
Projective twisting line bundles by coordinate transitions
Laurent–Čech cohomology of the projective coordinate cover
Projective Dolbeault comparison and scalar structure-sheaf cohomology
Dependency tree · 2 levels
Sources
- Jiří Lebl, Tasty Bits of Several Complex Variables: A Whirlwind Tour of the Subject, version 4.4
- MIT OpenCourseWare 18.117 Topics in Several Complex Variables, Spring 2005, lecture notes prepared by Jonathan Campbell
- R. Dervan, lectures; Qiangru Kuang, notes, University of Cambridge Mathematics Tripos Part III, Complex Manifolds, Lent 2019
- Jean-Pierre Serre, Géométrie algébrique et géométrie analytique, Annales de l'Institut Fourier 6 (1956), 1–42