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.
The orientation-reversed projective plane has signature minus one
Example
Assume AC, inherited from the projective-plane signature example. Let denote with the reversed orientation. Then
Facts & Assumptions
Given: AC; the closed oriented smooth -manifold with the complex orientation and its orientation reversal ; the generator .
For closed oriented smooth -manifolds, , where is with the reversed orientation (The signature is additive under disjoint union and negates under orientation reversal).
The fundamental class of the orientation-reversed manifold is in : the class determined by the reversed orientation is the negative of the class determined by the original orientation (Fundamental class of a compact oriented manifold).
Pontryagin classes are defined from the complexification of the bundle and require no orientation of the base; reversing the orientation of the manifold leaves the tangent bundle and its Pontryagin classes unchanged, and for the supplier gives and (Pontryagin classes by complexification, The tangent bundle of complex projective space and its Pontryagin classes).
The first Pontryagin number is and the Kronecker pairing is additive in its homology variable (Pontryagin numbers of a closed oriented manifold, Kronecker evaluation pairing).
The middle form is and, for every closed oriented -manifold, (The middle-dimensional intersection form of a closed oriented 4k-manifold, The four-dimensional signature formula).
Verification
The projective tangent-bundle supplier gives , , and , so (The tangent bundle of complex projective space and its Pontryagin classes). Also by The signature and the L-genus agree on complex projective space.
The orientation reversal has the same underlying smooth manifold and the same tangent bundle as , and by [F3] the Pontryagin classes do not see the orientation of the manifold, so .
By [F5] and [F2], , so the matrix of the middle form in the basis is with inertia and signature ; this is the same value as [F1] applied to .
By [F2] and [F4] applied to with reversed orientation, , since and by [F3].
By the four-dimensional formula in [F5], , in agreement with step 1.3, so all three displayed values hold.
Depends on
- The signature and the L-genus agree on complex projective space
- The four-dimensional signature formula
- The Axiom of Choice
- Fundamental class of a compact oriented manifold
- Kronecker evaluation pairing
- The middle-dimensional intersection form of a closed oriented 4k-manifold
- Pontryagin classes by complexification
- Pontryagin numbers of a closed oriented manifold
- The signature of a closed oriented manifold of dimension divisible by four
- The signature is additive under disjoint union and negates under orientation reversal
- The tangent bundle of complex projective space and its Pontryagin classes
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
62 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 (re-typeset scan; original pagination) (standard reference, not scraped)
- Tom Weston, An Introduction to Cobordism Theory (lecture notes, Stanford) (standard reference, not scraped)