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.
Exact holomorphic hyperplane sequences for negative twists
Statement
For , let and let be inclusion. For every integer , the homogeneous coordinate defines an exact sequence of holomorphic sheaves Here assigns to an open set the holomorphic sections of on . Twisting the sequence with by gives, in particular,
Statement references
Facts & Assumptions
Given: The standard projective charts, the coordinate hyperplane , and the transition-defined twisting line bundles.
On the affine chart , the projective coordinates are the holomorphic ratios ; on a chart with , the hyperplane is the local coordinate divisor . Complex projective space and its holomorphic charts
The bundles are locally free line bundles with transition functions , and their restrictions to have the corresponding twisting transitions. Projective twisting line bundles by coordinate transitions
Proof
Given: The projective charts and transition rules in [F1]–[F2].
On a chart with , put . In local frames of and , multiplication by is multiplication by up to the invertible frame factor. The holomorphic local ring has no zero divisors, so this map is injective on stalks. The quotient map is restriction to . If a holomorphic germ restricts to zero there, then and On a sufficiently small polydisc the integrand is holomorphic in ; its locally uniformly convergent power series may be integrated termwise, so is holomorphic and the germ lies in . Thus the kernel of restriction is precisely the image of multiplication. On a chart not meeting , the section is nowhere zero, so multiplication is an isomorphism and the quotient sheaf is zero. These stalk calculations prove exactness of the first sequence for every .
Tensor the exact sequence by the locally free line bundle . Tensoring is exact because on each stalk this bundle is a free rank-one module. By the transition rule in [F2], its restriction to is ; hence on each stalk. The resulting exact sequence is as claimed.