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.
Rational oriented bordism is detected by Pontryagin numbers
Statement
Assume AC, inherited from the rational spanning proposition. Let and be closed oriented -manifolds. Then and are equal in if and only if all of their Pontryagin numbers agree. Equivalently, the map is injective; it is an isomorphism after restricting to the finitely many partitions of when , and both sides are zero when . In particular, if all Pontryagin numbers of a closed oriented manifold vanish, then some positive multiple of it is an oriented boundary. The statement is rational only; the integral refinement with Stiefel-Whitney numbers is Wall's theorem, recorded separately.
Facts & Assumptions
Given: Closed oriented -manifolds , with rational coefficients for all tensor products below, and the family of Pontryagin-number functionals indexed by the partitions of in the case .
Products of complex projective spaces span rational oriented bordism: for every the products indexed by the partitions of form a -basis of , and is the polynomial algebra on the classes , so in particular for .
Characteristic numbers are cobordism invariants and Pontryagin numbers of a closed oriented manifold: each Pontryagin number is constant on oriented cobordism classes and additive over disjoint unions, hence a well-defined linear functional on by ; Unoriented and oriented bordism groups and Cartesian product makes bordism a graded ring give the group and ring structure used to form rational combinations.
Products of complex projective spaces have an invertible Pontryagin-number matrix and Characteristic numbers of products satisfy the Whitney-sum and Kunneth product formulas: the Pontryagin-number matrix of the projective-space products is invertible over .
Rationalization is exact and commutes with singular homology: an element of an abelian group satisfies in , where is that group if and only if some positive integer kills ; Zero-dimensional bordism groups gives with the positively oriented point as generator. The Axiom of Choice is assumed exactly as declared by these suppliers.
Proof
The case . Write and expand a rational bordism class uniquely in the basis of [F1]: with . Applying the linear functional [F2] gives with the invertible matrix of [F3]; hence the map is a -linear isomorphism from onto (finitely many coordinates). Applying this to shows that and agree in exactly when all their Pontryagin numbers agree, since is invertible and the vector of differences vanishes if and only if the differences of coefficients vanish.
The case . By [F1] the group is zero, there is no degree- monomial in the Pontryagin classes, and the product over the empty index set is the zero vector space; the asserted equivalence and isomorphism hold vacuously. For the empty partition gives the single monomial , [F4] identifies through the signed count, and the value of the positively oriented point is , so the one-by-one map is the identity.
Multiple of a boundary. Suppose all Pontryagin numbers of a closed oriented -manifold vanish. By steps 1.1 and 1.2 the class is zero in . By the fraction criterion [F4] there is a positive integer with in , that is, the sum of copies of the class is zero. Since the group operation is disjoint union [F2], , so some positive multiple of is null-cobordant, i.e. an oriented boundary. This is the rational multiple-boundary consequence; the theorem makes no integral single-copy assertion, and the integral refinement is recorded separately.
Conventions and boundaries. The product on the right of the displayed map runs over the finitely many partitions of when and is the empty product otherwise; the target is a finite-dimensional rational vector space and no completion occurs. For the empty manifold all numbers are zero and its class is zero. The statement uses only rational coefficients, and the cited suppliers carry their own choice declarations, so no further choice is made.
Depends on
- The Axiom of Choice
- Products of complex projective spaces span rational oriented bordism
- Products of complex projective spaces have an invertible Pontryagin-number matrix
- Characteristic numbers are cobordism invariants
- Characteristic numbers of products satisfy the Whitney-sum and Kunneth product formulas
- Pontryagin numbers of a closed oriented manifold
- Unoriented and oriented bordism groups
- Cartesian product makes bordism a graded ring
- Rationalization is exact and commutes with singular homology
- Zero-dimensional bordism groups
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
96 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
- John Milnor and James Stasheff, Characteristic Classes (original pagination; chapters 16-18 of the re-typeset scan) (standard reference, not scraped)
- Daniel S. Freed, Bordism: Old and New (lecture notes, UT Austin, Fall 2012) (standard reference, not scraped)
- Tom Weston, An Introduction to Cobordism Theory (standard reference, not scraped)