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 be a field, let be a smooth proper geometrically integral curve over , and let be an invertible -module. Let be the constant sheaf of meromorphic sections of and its sheaf of principal parts, with stalks at the closed points . Then there is a canonical -linear isomorphism that is, is the -vector space of finite-support families of local principal parts modulo the principal parts of global meromorphic sections of . Equivalently, it is the cokernel of the map induced by the short exact sequence . 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 , a smooth proper geometrically integral curve over , an invertible -module , the constant sheaf of meromorphic sections, and the principal-parts sheaf .
The sheaf is the constant sheaf with value the one-dimensional -vector space ( the function field), the natural map is injective, and the quotient is a torsion -module with generic stalk and stalks at closed points ; it is the direct sum of the skyscraper sheaves with values , so and the map is the diagonal , 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).
The curve is irreducible, so the constant sheaf is flasque, and every flasque sheaf on has vanishing cohomology in positive degrees (Constant sheaves on irreducible spaces are flasque and acyclic, Flasque abelian sheaves are Γ-acyclic).
Sheaf cohomology 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).
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.
The fundamental sequence is exact. By [F1] the map is injective and is its quotient, so is exact. The stalk at the generic point is , and at each closed point it is . 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.
The middle sheaf is acyclic. Since is irreducible [F2], the constant sheaf is flasque, so by [F2] its cohomology vanishes in positive degrees and is the space of global meromorphic sections; the Axiom of Choice [F4] is inherited through the cited suppliers.
Take the long exact cohomology sequence. By [F3], step 1.1 and the vanishing of step 1.2 give the exact sequence , so is canonically isomorphic to the cokernel of the middle map .
Identify the two terms concretely. By [F1] the sheaf is the direct sum of the skyscraper sheaves with values , so is the space of finite-support families of local principal parts, and the map of step 2.1 becomes the diagonal whose image is the family of principal parts of the global meromorphic sections; the subgroup maps to in because it is the image of the subsheaf inside .
Conclude. Combining steps 2.1 and 3.1, is the cokernel of the diagonal map , i.e. the space of finite-support families of local principal parts modulo the principal parts of global meromorphic sections of . 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 ; this requires no claim that an arbitrary family of germs comes from one global section. This proves the statement for every invertible sheaf on .
Depends on
- The derived long exact sequence
- The Axiom of Choice
- Invertible sheaves
- Principal parts of an invertible sheaf on a curve
- Sheaf cohomology as right derived global sections
- Constant sheaves on irreducible spaces are flasque and acyclic
- A sequence of abelian sheaves is exact exactly when it is exact on every stalk
- Flasque abelian sheaves are Γ-acyclic
Used by
- The residue pairing of a line bundle with the dual canonical twist Definition
- One cocycle carried through the residue realization of Serre duality Example
- Residues on the projective line and the vanishing of their sum Example
- Serre duality on the projective line, twist by twist Example
- A nonzero global dual section detects a cohomology class Lemma
- Functoriality of the residue pairing under line-bundle maps and connecting homomorphisms Lemma
- The residue pairing is well defined on cohomology Lemma
- Normalization of the trace for Serre duality on a curve Remark
- Serre duality for line bundles on a smooth proper curve, and the residue realization Theorem
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
- John Tate, Residues of differentials on curves, Ann. Sci. E.N.S. (4) 1 (1968) 149-159 (standard reference, not scraped)
- Ravi Vakil, The Rising Sea (version of October 21, 2025), Chs. 19 and 21 (standard reference, not scraped)