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 Euler characteristic does not determine the signature
Statement refuted
The Euler characteristic of a closed oriented four-manifold determines its signature.
Facts & Assumptions
Given: AC; the complex projective plane with the complex orientation and its orientation reversal ; the Grassmannian with its Schubert stratification.
is the set of -dimensional linear subspaces of , and is the quotient of by nonzero scalar multiplication; a point of either is exactly a complex line in , so (The Grassmannian of r-dimensional subspaces of a finite-dimensional vector space, projective space points).
A Schubert symbol for is a strictly increasing sequence , its cell satisfies with , of real dimension for and for , and the Schubert strata form a finite CW structure on (Schubert cells in real and complex Grassmannians, Schubert cells give the stable Grassmannian CW structure).
For a finite CW complex with cells in dimension , the Euler characteristic is (Euler characteristic of a finite CW complex).
and (The signature and the L-genus agree on complex projective space, the orientation computation in step 1.1).
is with the reversed orientation, so the two have the same underlying space and the same finite CW structures (Fundamental class of a compact oriented manifold).
Counterexample
The projective tangent-bundle supplier gives and (The tangent bundle of complex projective space and its Pontryagin classes). The signature supplier computes the real middle matrix and signature (The signature and the L-genus agree on complex projective space). Reversing orientation negates the fundamental class (Fundamental class of a compact oriented manifold), hence the middle form (The middle-dimensional intersection form of a closed oriented 4k-manifold); its matrix is , with signature .
By [F1], ; by [F2] its Schubert symbols are the integers , with , so the cells have real dimensions and there are no cells in odd dimensions: and .
By [F4], the signatures of the two closed oriented smooth four-manifolds are and .
By [F3] applied to this finite CW structure, .
Orientation reversal changes neither the underlying space nor its cells, since is with the reversed orientation by [F5]; hence for every and as well.
Thus and have the same Euler characteristic but different signatures, so the Euler characteristic of a closed oriented four-manifold does not determine its signature, and the intersection form carries information beyond the alternating Betti-number count.
Depends on
- The signature and the L-genus agree on complex projective space
- The Axiom of Choice
- Euler characteristic of a finite CW complex
- Fundamental class of a compact oriented manifold
- The Grassmannian of r-dimensional subspaces of a finite-dimensional vector space
- The middle-dimensional intersection form of a closed oriented 4k-manifold
- projective space points
- Schubert cells in real and complex Grassmannians
- The signature of a closed oriented manifold of dimension divisible by four
- The tangent bundle of complex projective space and its Pontryagin classes
- Schubert cells give the stable Grassmannian CW structure
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
52 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)