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.
The Veronese map is a well-defined closed immersion
Statement
For , is a well-defined closed immersion of projective varieties.
Proof
Given: and homogeneous coordinates .
Scaling by scales every degree- monomial by ; not all monomials vanish because some . Thus the homogeneous-coordinate criterion makes a morphism.
On the open where , the ratios recover the usual affine coordinates. These chart inverses show injectivity and regular local inverse maps.
The relations whenever vanish on monomial coordinates. Repeatedly exchanging one variable between two degree- multi-indices gives . Thus every point satisfying the relations has some : otherwise every would vanish. On this chart the same exchanges give . The chart is therefore precisely the image of the affine chart , with inverse coordinates . The common zero locus of the homogeneous relations is exactly the image, so the image is closed and these chart inverses make the map a closed immersion.