Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck passaudited 2026-10-02
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.

H^1 of a line bundle on a curve as principal parts modulo meromorphic and regular sections

Statement

Assume the Axiom of Choice as inherited from the flasque-acyclicity supplier. Let k be a field, let C be a smooth proper geometrically integral curve over k, and let L be an invertible OC-module. Let Lη be the constant sheaf of meromorphic sections of L and P(L)=Lη/L its sheaf of principal parts, with stalks P(L)p=Lη/Lp at the closed points p. Then there is a canonical k-linear isomorphism H1(C,L)  ≅  coker⁡(Lη⟶⨁pLη/Lp), that is, H1(C,L) is the k-vector space of finite-support families of local principal parts modulo the principal parts of global meromorphic sections of L. Equivalently, it is the cokernel of the map H0(C,Lη)→H0(C,P(L)) induced by the short exact sequence 0→L→Lη→P(L)→0. The classes of global meromorphic sections are the coboundaries. A global regular section has zero principal part at every closed point, so a class is represented by finitely many local principal parts modulo global meromorphic principal parts.

Facts & Assumptions

Given: a field k, a smooth proper geometrically integral curve C over k, an invertible OC-module L, the constant sheaf Lη of meromorphic sections, and the principal-parts sheaf P(L)=Lη/L.

[F1]

The sheaf Lη is the constant sheaf with value the one-dimensional K-vector space Lη (K=k(C) the function field), the natural map L→Lη is injective, and the quotient P(L)=Lη/L is a torsion OC-module with generic stalk 0 and stalks P(L)p=Lη/Lp at closed points p; it is the direct sum of the skyscraper sheaves with values Lη/Lp, so H0(C,P(L))=⨁pLη/Lp and the map Lη→H0(C,P(L)) is the diagonal s↦(s+Lp)p, whose image consists of the finite-support families arising as principal parts of global meromorphic sections (Principal parts of an invertible sheaf on a curve, Invertible sheaves).

[F2]

The curve C is irreducible, so the constant sheaf Lη is flasque, and every flasque sheaf on C has vanishing cohomology in positive degrees (Constant sheaves on irreducible spaces are flasque and acyclic, Flasque abelian sheaves are Γ-acyclic).

[F3]

Sheaf cohomology Hq(C,−) is the right derived functor of the global sections functor on sheaves of abelian groups, and a short exact sequence of sheaves induces a natural long exact sequence of cohomology groups (Sheaf cohomology as right derived global sections, The derived long exact sequence).

[F4]

The Axiom of Choice is The Axiom of Choice.

Proof

Proof technique: direct; take the long exact cohomology sequence of the principal-parts sequence and use that the constant sheaf on an irreducible curve is flasque.

1.1F1given

The fundamental sequence is exact. By [F1] the map L→Lη is injective and P(L) is its quotient, so 0→L→Lη→P(L)→0 is exact. The stalk at the generic point is 0→Lη→idLη→0→0, and at each closed point p it is 0→Lp→Lη→Lη/Lp→0. These are exact; the curve has no other points, so the published stalkwise exactness criterion A sequence of abelian sheaves is exact exactly when it is exact on every stalk gives exactness of the sheaf sequence.

1.2F2F4

The middle sheaf is acyclic. Since C is irreducible [F2], the constant sheaf Lη is flasque, so by [F2] its cohomology vanishes in positive degrees and H0(C,Lη)=Lη is the space of global meromorphic sections; the Axiom of Choice [F4] is inherited through the cited suppliers.

2.1F3step 1.1step 1.2

Take the long exact cohomology sequence. By [F3], step 1.1 and the vanishing of step 1.2 give the exact sequence 0→H0(C,L)→Lη→H0(C,P(L))→H1(C,L)→H1(C,Lη)=0, so H1(C,L) is canonically isomorphic to the cokernel of the middle map Lη→H0(C,P(L)).

3.1F1step 1.1step 2.1

Identify the two terms concretely. By [F1] the sheaf P(L) is the direct sum of the skyscraper sheaves with values Lη/Lp, so H0(C,P(L))=⨁pLη/Lp is the space of finite-support families of local principal parts, and the map of step 2.1 becomes the diagonal s↦(s+Lp)p whose image is the family of principal parts of the global meromorphic sections; the subgroup H0(C,L) maps to 0 in H0(C,P(L)) because it is the image of the subsheaf L inside Lη.

4.1F1F2F3step 2.1step 3.1∎

Conclude. Combining steps 2.1 and 3.1, H1(C,L) is the cokernel of the diagonal map Lη→⨁pLη/Lp, i.e. the space of finite-support families of local principal parts modulo the principal parts of global meromorphic sections of L. The classes of global meromorphic sections are exactly the coboundaries of the long exact sequence. Each family whose entries are regular germs maps componentwise to zero in ⨁pLη/Lp; this requires no claim that an arbitrary family of germs comes from one global section. This proves the statement for every invertible sheaf L on C.

Depends on

Used by

Dependency tree · two levels

68 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