Alphabeta Math
CorollaryStatement: Literature-sourcedProof: Literature-sourcedPipeline-generatedprecheck passjudge pass (gpt-6.1-sol)
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 M be a closed smooth n-manifold. If M is null-cobordant, then every Stiefel-Whitney number wI[M] (total degree n) vanishes. If M is a closed oriented 4k-manifold that is null-cobordant in the oriented theory, then every Pontryagin number pJ[M] vanishes. Equivalently, a nonzero characteristic number is an obstruction to null-cobordism.

Facts & Assumptions

Given: A closed smooth n-manifold M, either unoriented or oriented with an orientation o, together with its characteristic-number data.

[F1]

Null-cobordant closed manifolds: M is null-cobordant if it is cobordant to the empty n-manifold, that is, if a bordism from M 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 ΩnO and ΩnSO.

[F2]

Characteristic numbers are cobordism invariants: unoriented-cobordant closed n-manifolds have equal Stiefel-Whitney numbers in every total degree n, and oriented-cobordant closed oriented 4k-manifolds have equal Pontryagin numbers (and equal Stiefel-Whitney numbers).

[F3]

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 0 in the respective coefficient group.

[F4]

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

1.1givenF1F2F3

Unoriented case. Suppose M is null-cobordant, so by [F1] there is a bordism from M to the empty n-manifold. The empty manifold is a closed smooth n-manifold, and by [F3] each of its Stiefel-Whitney numbers is the empty componentwise sum 0. Applying the invariance theorem [F2] to the pair (M,∅) gives wI[M]=wI[∅]=0∈F2 for every monomial wI of total degree n.

1.2givenF1F2F3

Oriented case. Suppose now that (M,o) is a closed oriented 4k-manifold that is null-cobordant in the oriented theory. By [F1] there is an oriented bordism from (M,o) to the empty oriented 4k-manifold, whose Pontryagin numbers are the empty sums 0 by [F3]. Applying the oriented half of [F2] gives pJ[M]=pJ[∅]=0∈Z for every partition J of k; the same comparison gives the vanishing of the Stiefel-Whitney numbers of M as well.

2.1F1F3F4step 1.1step 1.2∎

Equivalence and conventions. Taking contrapositives, a nonzero wI[M] obstructs unoriented null-cobordism of M, and a nonzero pJ[M] 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 M is presented as the boundary of a compact W, the collar data of the null-cobordism definition give a bordism from M to ∅, so steps 1.1 and 1.2 re-derive the published boundary-vanishing propositions [F4]. In degree zero, a closed 0-manifold is a finite set of signed points and its only Stiefel-Whitney number is the cardinality mod 2; 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 n=0 the oriented case k=0 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

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