Alphabeta Math
ExampleConstruction: AI-generatedVerification: AI-generatedPipeline-generatedprecheck pending
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 O(−1) and top cohomology of O(−r−1)

Example

Assume full AC. For each integer 1≤r≤3, let X be the set of complex lines in Cr+1, equivalently X=Pr(C)=(Cr+1∖{0})/C×, with standard cover Ui={[Z0:⋯:Zr]:Zi≠0} and twisting line bundle O(k) defined by ej(k)=(Zj/Zi)kei(k). For every nonempty I⊆{0,…,r} write UI=⋂i∈IUi. For 0≤p≤r set Cp(k)=∏∣I∣=p+1O(k)(UI) and put Cp(k)=0 outside this range. Use the increasing-index alternating restriction differential; Hˇp(U,O(k)) denotes the cohomology of this complex. For a degree-k Laurent mode m=(m0,…,mr)∈Zr+1, write N(m)={i:mi<0}. A mode can represent a global section only if N(m)=∅, and it can survive in top Čech degree only if N(m)={0,…,r}. The degree constraints ∑imi=−1 and ∑imi=−r−1 therefore give, respectively, H0(X,O(−1))=0,Hr(X,O(−r−1))≅C. For a holomorphic line bundle L, let A0,q(L) for 0≤q≤r be the sheaf of smooth sections of Λ0,qT∗X⊗L, set the terms to zero for q>r, and define ∂ˉL coefficientwise in holomorphic local frames. Write H∂ˉq(X,L) 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 O(−1) is one-dimensional. A line bundle is globally generated when its global sections evaluate surjectively onto each fiber; since H0(X,O(−1))=0, 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.

Facts & Assumptions

Given: Full AC; 1≤r≤3; the standard ordered projective-coordinate cover; and the twisting line bundles O(−1) and O(−r−1).

[A1]

Full AC means every family of nonempty sets has a choice function (The Axiom of Choice).

[F1]

The standard charts of Pr have coordinates Zj/Zi (Complex projective space and its holomorphic charts).

[F2]

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).

[F3]

The line bundle O(k) has frames ej(k)=(Zj/Zi)kei(k) and O(0) is the structure sheaf (Projective twisting line bundles by coordinate transitions).

[F4]

Under full AC, on the standard cover each section has unique normally convergent degree-k Laurent–Taylor modes; the coefficient occurs on UI exactly when N(m)⊆I, 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).

[F5]

Under full AC, for every holomorphic vector bundle on Pr with 0≤r≤3, analytic sheaf cohomology is canonically the cohomology of the global smooth Dolbeault complex (Projective Dolbeault comparison and scalar structure-sheaf cohomology).

Proof

technique · direct
1.1A1F1F3F4givenalgebra

For a degree-−1 mode, N(m) cannot be empty because then every mi≥0 and ∑imi≥0; it cannot be all of J:={0,…,r} because then ∑imi≤−(r+1)≤−2. Thus every mode has nonempty proper negative support. If ∣N(m)∣≥2, that mode occurs in no singleton-chart term of C0. If N(m)={i}, it occurs only in the Ui term of C0, while it occurs on Uij for any j≠i; the 0-cocycle condition on that overlap forces its coefficient in the Ui term to be zero because the Uj 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 H0(X,O(−1))=0.

1.2A1F3F4givenconstructalgebra

The top Čech cochains have the single index set J={0,…,r}. Write Zm for the degree-k monomial section whose coefficient in frame ei(k) is ∏ℓ≠i(Zℓ/Zi)mℓ. A mode with N(m)=J is absent from every codimension-one face, so it has zero coefficient in every top coboundary. If ∅≠N(m)≠J, the convergent contraction in [F4] supplies a primitive. If N(m)=∅, all exponents are nonnegative, so Zm is holomorphic on every chart by [F3]. Set bJ∖{0}=Zm and all other components of b∈Cr−1(k) to zero; the ordered differential gives (δb)J=(−1)0Zm=Zm. There are only finitely many such nonnegative exponent tuples of any fixed total degree k (none for k<0). Their primitives therefore sum finitely; [F4] handles the normally convergent sums with nonempty proper negative support. Thus top cohomology has exactly the modes with N(m)=J.

2.1A1F4step 1.2algebra

For k=−r−1, if every mi<0, write mi=−1−ni with integers ni≥0. The total-degree equation becomes −(r+1)−∑ini=−(r+1), so ∑ini=0 and every ni=0. Thus the only surviving mode is m=(−1,…,−1), and its coefficient space is C. 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 Hr(X,O(−r−1))≅C.

3.1A1F3F5step 1.1step 2.1

Apply [F5] to both holomorphic line bundles O(−1) and O(−r−1). 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 O(−1) and C in degree r for O(−r−1).

4.1F2step 1.1def. global generation∎

By [F2], each fiber O(−1)p is a one-dimensional complex vector space. Evaluation at any p∈X is the zero map from H0(X,O(−1))=0 to this nonzero fiber, so it is not onto. This violates the defining fiberwise condition for global generation, proving that O(−1) is not globally generated.

Depends on

Dependency tree · 2 levels

Sources