Alphabeta Math
TheoremStatement: 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.

Rational oriented bordism is detected by Pontryagin numbers

Statement

Assume AC, inherited from the rational spanning proposition. Let M and N be closed oriented n-manifolds. Then M and N are equal in ΩnSO⊗Q if and only if all of their Pontryagin numbers agree. Equivalently, the map ΩnSO⊗Q⟶∏JQ,[M]⊗1⟼(pJ[M])J, is injective; it is an isomorphism after restricting to the finitely many partitions J of n/4 when 4∣n, and both sides are zero when 4∤n. 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 n-manifolds M,N, with rational coefficients for all tensor products below, and the family of Pontryagin-number functionals indexed by the partitions J of n/4 in the case 4∣n.

[F1]

Products of complex projective spaces span rational oriented bordism: for every k≥0 the products PJ indexed by the partitions J of k form a Q-basis of Ω4kSO⊗Q, and Ω∗SO⊗Q is the polynomial algebra on the classes [CP2j], so in particular ΩnSO⊗Q=0 for 4∤n.

[F2]

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 Ω4kSO⊗Q by [M]⊗q↦q pJ[M]; Unoriented and oriented bordism groups and Cartesian product makes bordism a graded ring give the group and ring structure used to form rational combinations.

[F3]

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 AI,J=⟨pI(TPJ),[PJ]⟩ of the projective-space products is invertible over Q.

[F4]

Rationalization is exact and commutes with singular homology: an element z of an abelian group satisfies z⊗1=0 in A⊗Q, where A is that group if and only if some positive integer kills z; Zero-dimensional bordism groups gives Ω0SO≅Z with the positively oriented point as generator. The Axiom of Choice is assumed exactly as declared by these suppliers.

Proof

1.1F1F2F3

The case 4∣n. Write n=4k and expand a rational bordism class uniquely in the basis of [F1]: z=∑JqJ[PJ] with qJ∈Q. Applying the linear functional pI⊗Q [F2] gives pI[z]=∑JqJAI,J with the invertible matrix A of [F3]; hence the map z↦(pI[z])I is a Q-linear isomorphism from Ω4kSO⊗Q onto ∏IQ (finitely many coordinates). Applying this to [M]−[N]=[M]+[−N] shows that M and N agree in Ω4kSO⊗Q exactly when all their Pontryagin numbers agree, since A is invertible and the vector of differences (pI[M]−pI[N])I vanishes if and only if the differences of coefficients vanish.

1.2F1F4

The case 4∤n. By [F1] the group ΩnSO⊗Q is zero, there is no degree-n 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 n=0 the empty partition gives the single monomial 1, [F4] identifies Ω0SO⊗Q≅Q through the signed count, and the value p∅ of the positively oriented point is 1, so the one-by-one map is the identity.

2.1F2F4step 1.1step 1.2

Multiple of a boundary. Suppose all Pontryagin numbers of a closed oriented n-manifold M vanish. By steps 1.1 and 1.2 the class [M]⊗1 is zero in ΩnSO⊗Q. By the fraction criterion [F4] there is a positive integer s with s[M]=0 in ΩnSO, that is, the sum of s copies of the class is zero. Since the group operation is disjoint union [F2], s[M]=[M⊔⋯⊔M], so some positive multiple of M 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.

3.1F1F2F3step 1.1step 1.2step 2.1∎

Conventions and boundaries. The product on the right of the displayed map runs over the finitely many partitions of n/4 when 4∣n 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

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