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.
Depends on
Used by
- A degree-d homogeneous equation becomes a hyperplane section under Veronese Corollary
- General hypersurfaces give smooth complete intersections Corollary
- The Segre-Veronese map is a closed embedding Corollary
- The canonical map of a hyperelliptic curve is not an embedding Counterexample
- Hyperelliptic curves and hyperelliptic maps Definition
- Divisors and complete linear systems on the projective line Example
- The quadratic Veronese image of P1 is a plane conic Example
- The canonical map: base-point-freeness and the hyperelliptic exception Theorem
Dependency tree · two levels
11 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
- J. S. Milne, Algebraic Geometry, 6.23 (standard reference, not scraped)