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.
Chow groups of projective space
Statement
Assume the Axiom of Choice (The Axiom of Choice) inherited from the proper/quasi-finite and scheme base-change suppliers. Let be a field and . Then for every : where is a -dimensional linear subspace and its class (Rational equivalence and the Chow group of cycles, Algebraic cycles and the cycle group of a scheme of finite type over a field). In particular the degree homomorphism is an isomorphism; its inverse sends to for any -rational point, and every -cycle whose support consists of -rational points has class . For this is the classical cellular decomposition. More generally, for and otherwise: homotopy invariance shifts degrees by , and is in degree , so every cycle on affine space of dimension less than is rationally equivalent to zero. For , a closed point of degree greater than one is the principal divisor of its monic irreducible polynomial; linear polynomials suffice for rational points.
Facts & Assumptions
Given: the Axiom of Choice; a field and ; the linear subspaces .
The localization sequence is exact for a closed immersion with open complement , and the projection induces (Localization sequence for Chow groups and homotopy invariance of affine space).
First Chern classes of invertible sheaves define graded cap operations which are additive and commute with proper pushforward and flat pullback; on an integral with a rational section not vanishing identically, (Intersection with an invertible sheaf and the first Chern class).
Proper pushforward of a closed point to is times the fundamental class of the point, by the norm-degree definition (Proper pushforward of cycles and the norm formula, Rational equivalence and the Chow group of cycles).
The standard affine charts of are affine -space, and for a coordinate hyperplane (Relative projective space from standard charts, Projective space is Proj of a polynomial ring, Twisting sheaf on Proj).
Proof
Affine space. Applying homotopy invariance [L1] successively in the coordinates gives , which is for and otherwise; the top class is and for every closed point is the principal divisor of its monic irreducible polynomial in , which is linear precisely for a rational point.
Generation of the Chow groups of projective space. For , projective space is and the assertion is immediate. Assume . Let be a coordinate hyperplane with complement . Localization [L1] gives the exact sequence . For the group vanishes by step 1.1, so is surjective, and induction on proves that is generated by the class of a -dimensional linear subspace: in the hyperplane the class of a -dimensional linear subspace generates by induction, and its pushforward is the class of the corresponding linear subspace of ; the induction starts at , where has no hyperplane below it. For the same exact sequence reads by step 1.1, so is generated by the top class, and the cycle group admits no nonzero rational equivalences because none of its subvarieties has dimension . For or there are no integral closed subschemes of dimension , so .
Independence. Fix with and let ; by [L2] the iterated cap maps to , is additive, and is defined by cutting with coordinate hyperplanes in general position. On the linear subspace , the coordinate hyperplanes cut it in a single -rational point, so , and the degree homomorphism of [L3] sends to ; hence is a homomorphism sending the generator of step 2.1 to . A cyclic group admitting a homomorphism onto with generator mapping to is infinite cyclic, so .
The degree isomorphism and closed points. By steps 2.1 and 3.1, is generated by for a -rational point; for a closed point with residue field , proper pushforward to is multiplication by by [L3], so and is the stated isomorphism; a -cycle supported on -rational points has class . The computation over is the classical cellular decomposition under the same identification.
Depends on
- Algebraic cycles and the cycle group of a scheme of finite type over a field
- Absolute ampleness by affine section opens
- The Axiom of Choice
- Rational equivalence and the Chow group of cycles
- Intersection with an invertible sheaf and the first Chern class
- Relative projective space from standard charts
- Twisting sheaf on Proj
- Localization sequence for Chow groups and homotopy invariance of affine space
- Flat pullback of cycles and of rational equivalence
- Proper pushforward of cycles and the norm formula
- Projective space is Proj of a polynomial ring
Used by
Dependency tree · two levels
61 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
- The Stacks Project, Chow Homology and Chern Classes, Sections 42.19 and 42.32 (localization and homotopy invariance) (standard reference, not scraped)
- Ravi Vakil, Math 245 Topics in Algebraic Geometry: Introduction to Intersection Theory, Class 2 and Class 6 (standard reference, not scraped)