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.
Signature and first Pontryagin number of the complex projective plane
Example
Assume AC, inherited from the signature and characteristic-class suppliers. Give its complex orientation, let be the tautological complex line, and put . Then with , the middle-dimensional intersection form of is the matrix in the basis , so and , so , the first Pontryagin number is , and
Facts & Assumptions
Given: AC, the tautological complex line , the class , and the complex orientation of .
The in-run supplier gives with , , and in the truncated ring (The tangent bundle of complex projective space and its Pontryagin classes).
The middle-dimensional intersection form is on , and the signature is the difference of the positive and negative inertia indices of the nondegenerate symmetric form (The middle-dimensional intersection form of a closed oriented 4k-manifold, The signature of a closed oriented manifold of dimension divisible by four).
The first Pontryagin number is , the Kronecker evaluation of the Pontryagin class on the fundamental class (Pontryagin numbers of a closed oriented manifold, Kronecker evaluation pairing).
For every closed oriented -manifold , (The four-dimensional signature formula), and on projective spaces the signature and the L-genus agree: for every (The signature and the L-genus agree on complex projective space).
Verification
By [F1] with , and ; hence and, by [F2], the matrix of in the basis is the matrix with entry .
By [F1], , and the terms and vanish because in ; hence .
The matrix has inertia , so [F2] gives , in agreement with [F4].
By [F3], .
By the four-dimensional formula in [F4], , so , as claimed.
Depends on
- The four-dimensional signature formula
- The Axiom of Choice
- Kronecker evaluation pairing
- The middle-dimensional intersection form of a closed oriented 4k-manifold
- Pontryagin numbers of a closed oriented manifold
- The signature of a closed oriented manifold of dimension divisible by four
- The signature and the L-genus agree on complex projective space
- 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
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
- John Milnor and James Stasheff, Characteristic Classes (re-typeset scan; original pagination) (standard reference, not scraped)
- Daniel S. Freed, Bordism: Old and New (lecture notes, UT Austin, Fall 2012) (standard reference, not scraped)
- Tom Weston, An Introduction to Cobordism Theory (lecture notes, Stanford) (standard reference, not scraped)