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.
All characteristic numbers vanish on null-cobordant manifolds
Statement
Assume AC (The Axiom of Choice), inherited from the characteristic-number definitions and the boundary-vanishing propositions, and used only there. Let be a closed smooth -manifold. If is null-cobordant, then every Stiefel-Whitney number (total degree ) vanishes. If is a closed oriented -manifold that is null-cobordant in the oriented theory, then every Pontryagin number vanishes. Equivalently, a nonzero characteristic number is an obstruction to null-cobordism.
Facts & Assumptions
Given: A closed smooth -manifold , either unoriented or oriented with an orientation , together with its characteristic-number data.
Null-cobordant closed manifolds: is null-cobordant if it is cobordant to the empty -manifold, that is, if a bordism from to exists. In the oriented theory the same definition is applied to the oriented bordism relation of Unoriented and oriented bordism groups; the class of the empty manifold is the zero element of and .
Characteristic numbers are cobordism invariants: unoriented-cobordant closed -manifolds have equal Stiefel-Whitney numbers in every total degree , and oriented-cobordant closed oriented -manifolds have equal Pontryagin numbers (and equal Stiefel-Whitney numbers).
Stiefel-Whitney numbers of a closed manifold and Pontryagin numbers of a closed oriented manifold define both families as componentwise sums over the finitely many connected components of the manifold; the empty manifold has no components, so its value is the empty sum in the respective coefficient group.
Boundaries have zero Stiefel-Whitney numbers and Oriented boundaries have zero Pontryagin numbers are the published boundary-vanishing statements: a closed manifold presented as the boundary of a compact manifold has all Stiefel-Whitney, resp. Pontryagin, numbers zero. Zero-dimensional bordism groups identifies the degree-zero invariants: the parity of the cardinality in the unoriented theory and the signed count in the oriented theory.
Proof
Unoriented case. Suppose is null-cobordant, so by [F1] there is a bordism from to the empty -manifold. The empty manifold is a closed smooth -manifold, and by [F3] each of its Stiefel-Whitney numbers is the empty componentwise sum . Applying the invariance theorem [F2] to the pair gives for every monomial of total degree .
Oriented case. Suppose now that is a closed oriented -manifold that is null-cobordant in the oriented theory. By [F1] there is an oriented bordism from to the empty oriented -manifold, whose Pontryagin numbers are the empty sums by [F3]. Applying the oriented half of [F2] gives for every partition of ; the same comparison gives the vanishing of the Stiefel-Whitney numbers of as well.
Equivalence and conventions. Taking contrapositives, a nonzero obstructs unoriented null-cobordism of , and a nonzero obstructs oriented null-cobordism; this is the stated equivalence, since a manifold is null-cobordant precisely when its class is zero in the corresponding bordism group [F1]. If is presented as the boundary of a compact , the collar data of the null-cobordism definition give a bordism from to , so steps 1.1 and 1.2 re-derive the published boundary-vanishing propositions [F4]. In degree zero, a closed -manifold is a finite set of signed points and its only Stiefel-Whitney number is the cardinality mod ; null-cobordism forces an even cardinality by [F4], matching step 1.1, and in the oriented theory the signed count is zero, matching step 1.2. For the oriented case and the empty manifold are both covered by the empty-sum convention; no choice beyond the cited suppliers is used, since only bordism data and the componentwise sums are compared.
Depends on
- Characteristic numbers are cobordism invariants
- Null-cobordant closed manifolds
- Unoriented and oriented bordism groups
- Zero-dimensional bordism groups
- Boundaries have zero Stiefel-Whitney numbers
- Oriented boundaries have zero Pontryagin numbers
- Stiefel-Whitney numbers of a closed manifold
- Pontryagin numbers of a closed oriented manifold
- The Axiom of Choice
Used by
Dependency tree · two levels
56 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)