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.
Orientation reversal negates Pontryagin numbers
Example
Assume AC (The Axiom of Choice), inherited from the characteristic-number, Pontryagin-class and boundary-vanishing suppliers. Let denote with the opposite of its complex orientation. The tangent Pontryagin class is unchanged by reversing the orientation, while the fundamental class changes sign, so the only Pontryagin number changes sign: More generally, for a closed oriented -manifold and its orientation reverse , for every partition of , while the Stiefel-Whitney numbers of the underlying unoriented manifold are unchanged. This verifies the sign convention of the Pontryagin-number definition on this four-dimensional test manifold, and it shows that distinguishes the two orientations of .
Facts & Assumptions
Given: A closed oriented smooth -manifold and the same smooth manifold with the opposite orientation, written ; in the numerical case with its complex orientation.
Oriented smooth manifolds and oriented charts: an orientation of a smooth manifold is a smooth choice of a ray in ; reversing the orientation changes only this datum and leaves the underlying smooth manifold and its tangent bundle unchanged.
Pontryagin classes by complexification defines the Pontryagin classes of a real vector bundle by and requires no orientation of ; hence as cohomology classes, since is the same bundle [F1].
Fundamental class of a compact oriented manifold characterizes the fundamental class by its restrictions to the local orientation generators; replacing the orientation by its negative negates every local generator, and by uniqueness the fundamental class is negated: . Pontryagin numbers of a closed oriented manifold records this sign rule and defines , with the componentwise and wrong-degree conventions.
Kronecker evaluation pairing defines the pairing on classes and makes it biadditive, so it is linear in its second variable.
Oriented boundaries have zero Pontryagin numbers: a closed oriented manifold with a nonzero Pontryagin number is not an oriented boundary. Stiefel-Whitney numbers of a closed manifold defines the Stiefel-Whitney numbers through the canonical mod-two fundamental class, which is canonical and therefore independent of the integral orientation. The tangent bundle of complex projective space and its Pontryagin classes gives and for the complex orientation.
Verification
For each partition of , [F2] gives as cohomology classes: reversing the orientation changes only the ray datum of [F1] and leaves the underlying smooth manifold and its tangent bundle unchanged. Consequently, using the definition of the Pontryagin number and the sign rule of [F3], where the middle equality is the linearity of the Kronecker pairing in its second variable [F4].
The Stiefel-Whitney numbers are unchanged: the canonical mod-two fundamental class used in Stiefel-Whitney numbers of a closed manifold depends only on the smooth structure, and the tangent Stiefel-Whitney classes are computed from alone, so replacing by alters neither the classes nor the fundamental class [F2, F5]; equivalently, over the orientation sign equals .
Specialize to with its complex orientation. By the A-page tangent-bundle lemma [F5], and it is the only Pontryagin number in degree four, the partition being ; step 1.1 gives . Both values are nonzero, so neither orientation is an oriented boundary by [F5], and the two orientations are distinguished by even though the underlying unoriented manifold and all its Stiefel-Whitney numbers are the same.
Boundary cases. For the manifold is a finite set of signed points, the only Pontryagin number is , the signed count, and step 1.1 gives the sign reversal of that count; the empty manifold has value . Higher Pontryagin classes of vanish because with in the truncated ring, so there is no second number to test; for a general all partitions of are covered by step 1.1. No choice beyond the cited suppliers is used.
Depends on
- Pontryagin numbers of a closed oriented manifold
- The tangent bundle of complex projective space and its Pontryagin classes
- Fundamental class of a compact oriented manifold
- Oriented smooth manifolds and oriented charts
- Kronecker evaluation pairing
- Oriented boundaries have zero Pontryagin numbers
- Stiefel-Whitney numbers of a closed manifold
- Pontryagin classes by complexification
- The Axiom of Choice
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
55 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)