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.
A fixed presentation computes sections after every flat-family pullback
Statement
Assume AC and DC. Let be Noetherian and coherent on , with a presentation by finite sums of twists. Fix a polynomial . There is , depending only on the presentation and , such that for every -algebra for which is base-flat with fibre polynomial , and every , the canonical map is an isomorphism, and both sides are finite locally free over of rank . The target algebra need not be Noetherian. The two successive kernels of are finitely presented and flat over , with fibre polynomials and , respectively.
Facts & Assumptions
Given: The hypotheses in the statement and AC and DC, inherited from the scheme, cohomology, and finite-module suppliers (The Axiom of Choice, The axiom of dependent choice: a relation in which every element is related to something admits an -indexed chain).
Uniform regularity for a subsheaf of a fixed sum of twists is Uniform regularity for all quotients with a fixed Hilbert polynomial. Relative generation, vanishing, and arbitrary base change for flat finitely presented sheaves are Relative regularity, generation, and arbitrary base change.
Every coherent sheaf on projective space over a Noetherian affine base has a presentation by finite sums of twists, and its sufficiently high twists have no higher cohomology (Eventual generation of coherent projective twists, Serre vanishing for coherent sheaves and ample twists). Polynomial additivity is Euler characteristic is a Hilbert polynomial. A finitely presented base-flat sheaf over a filtered colimit descends with flatness to a sufficiently late Noetherian stage (Finite-stage descent of relative flatness for a finitely presented sheaf).
Proof
For a flat-family pullback put and . Right exactness makes onto. Both kernels are base-flat by the Tor argument, since are base-flat. They are finitely presented as follows. Write as the filtered colimit of its finitely generated -subalgebras containing a finitely generated stage over which the presentation of descends (these stages are Noetherian). By the flat descent in [F2], after passing to one stage the given pullback is flat there. At that stage both successive kernels of the pulled-back presentation are coherent and base-flat. Tensoring these two sequences with stays exact because their quotients are base-flat. It identifies the stage kernels' pullbacks with , so these kernels are finitely presented. Their fibre polynomials are respectively and , independent of .
By [F1], one bound depending only on these polynomials and makes every fibre of regular. Increase it to make regular too. The relative result gives , so is the cokernel of , for every beyond this bound. The two twist-section modules themselves commute with all base changes and are finite free in this degree range.
Over the original Noetherian base, put and . Increase further so for , by [F2]. The original is now the same presentation cokernel. Right exactness of tensoring, together with the twist base-change isomorphisms, identifies its tensor with the cokernel in step 2.1. This is the canonical base-change map since all maps came from the given presentation. The relative result makes the target locally free of rank . Thus is independent of the base-change algebra.
Depends on
- Uniform regularity for all quotients with a fixed Hilbert polynomial
- Relative regularity, generation, and arbitrary base change
- Serre vanishing for coherent sheaves and ample twists
- Eventual generation of coherent projective twists
- Euler characteristic is a Hilbert polynomial
- Finite-stage descent of relative flatness for a finitely presented sheaf
- The axiom of dependent choice: a relation in which every element is related to something admits an $\mathbb{N}$-indexed chain
- The Axiom of Choice
Used by
Dependency tree · two levels
87 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
- Nitin Nitsure, Construction of Hilbert and Quot Schemes, Sections 2–5 (standard reference, not scraped)
- Alexander Grothendieck, Les schémas de Hilbert, Bourbaki 221, Sections 2–3 (standard reference, not scraped)