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.
Characteristic numbers of a product of projective planes
Example
Assume AC (The Axiom of Choice), inherited from the projective-space, triangularity and characteristic-number suppliers. For and the degree-eight Pontryagin-number matrix of the two monomials and is with nonzero determinant . Here gives , and , ; and the product formula gives , , so (twice the product of the two summands, the only surviving contribution) and . The example verifies the multiplicativity formula of the A page and exhibits the nonsingularity of the ordinary Pontryagin-number matrix in degree eight; it also shows that the two classes are distinguished by their Pontryagin numbers, matching the general Newton comparison lemma.
Facts & Assumptions
Given: The manifolds and with their complex product orientations, and the tangent Pontryagin classes.
The tangent bundle of complex projective space and its Pontryagin classes: for with , , , and ; Integral cohomology ring of complex projective space supplies the same truncated presentation.
Characteristic numbers of products satisfy the Whitney-sum and Kunneth product formulas: for complex-manifold factors the tangent class is the external product , and the Pontryagin numbers expand over the splittings of the monomial, with the cross-product evaluation of Kronecker evaluation pairing.
Pontryagin numbers of a closed oriented manifold defines the numbers as evaluations and assigns to monomials of the wrong total degree; Cartesian product makes bordism a graded ring records that the products represent classes in the graded oriented bordism ring.
Products of complex projective spaces have an invertible Pontryagin-number matrix proves that the ordinary degree-eight matrix for the products and is invertible over by the Newton comparison, and computes the same two-by-two array.
Verification
On the ring is with by [F1], so and all higher powers vanish. The total Pontryagin class is , which truncates to ; hence , , and all other positive classes vanish. Therefore evaluates to and .
On write for the pullbacks of the generators of the two factors; by [F1] and [F2] the ring is with , and gives Squaring the first, , and the outer terms vanish since , while the middle term survives, so ; similarly .
The resulting matrix with rows and columns is , whose determinant is . This exhibits the nonsingularity of the ordinary degree-eight matrix predicted by the Newton comparison of [F4] and shows that the two classes are separated by their Pontryagin numbers: no nontrivial rational relation between the rows can hold.
Boundary and convention remarks. The monomials and are the two partitions of , and monomials of any other total degree evaluate to zero by the conventions of [F3]; in particular the higher Pontryagin classes of the factors vanish by the truncation. For degree zero the point has matrix and the products considered here have positive dimension. The example uses the draft A-page items and the cited suppliers, which carry their own choice declarations.
Depends on
- Characteristic numbers of products satisfy the Whitney-sum and Kunneth product formulas
- The tangent bundle of complex projective space and its Pontryagin classes
- Products of complex projective spaces have an invertible Pontryagin-number matrix
- Pontryagin numbers of a closed oriented manifold
- Cartesian product makes bordism a graded ring
- Integral cohomology ring of complex projective space
- Kronecker evaluation pairing
- The Axiom of Choice
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
83 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
- Daniel S. Freed, Bordism: Old and New (lecture notes, UT Austin, Fall 2012) (standard reference, not scraped)
- John Milnor and James Stasheff, Characteristic Classes (original pagination; chapters 16-18 of the re-typeset scan) (standard reference, not scraped)