Alphabeta Math
CounterexampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-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.

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 CP2 with the complex orientation and its orientation reversal −CP2; the Grassmannian Gr⁡1(C3) with its Schubert stratification.

[F1]

Gr⁡(1,V) is the set of 1-dimensional linear subspaces of V, and PC2 is the quotient of C3∖{0} by nonzero scalar multiplication; a point of either is exactly a complex line in C3, so CP2=Gr⁡1(C3) (The Grassmannian of r-dimensional subspaces of a finite-dimensional vector space, projective space points).

[F2]

A Schubert symbol for Gr⁡n(FN) is a strictly increasing sequence 1≤a1<⋯<an≤N, its cell satisfies e(a)≅Fd(a) with d(a)=∑i(ai−i), of real dimension d(a) for F=R and 2d(a) for F=C, and the Schubert strata form a finite CW structure on Gr⁡n(FN) (Schubert cells in real and complex Grassmannians, Schubert cells give the stable Grassmannian CW structure).

[F3]

For a finite CW complex with cn cells in dimension n, the Euler characteristic is χ(X)=∑n(−1)ncn(X) (Euler characteristic of a finite CW complex).

[F4]

σ(CP2)=1 and σ(−CP2)=−1 (The signature and the L-genus agree on complex projective space, the orientation computation in step 1.1).

[F5]

−CP2 is CP2 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

technique · count the Schubert cells of the projective plane in both orientations
1.1givenalgebra

The projective tangent-bundle supplier gives H∗(CP2;Z)=Z[y]/(y3) and ⟨y2,[CP2]⟩=1 (The tangent bundle of complex projective space and its Pontryagin classes). The signature supplier computes the real middle matrix (1) and signature 1 (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 (−1), with signature −1.

1.2givenF1F2

By [F1], CP2=Gr⁡1(C3); by [F2] its Schubert symbols are the integers a1∈{1,2,3}, with d(a1)=a1−1∈{0,1,2}, so the cells have real dimensions 0,2,4 and there are no cells in odd dimensions: c0=c2=c4=1 and c1=c3=0.

1.3givenF4

By [F4], the signatures of the two closed oriented smooth four-manifolds are σ(CP2)=1 and σ(−CP2)=−1.

2.1step 1.2F3

By [F3] applied to this finite CW structure, χ(CP2)=c0−c1+c2−c3+c4=1−0+1−0+1=3.

3.1step 2.1F5

Orientation reversal changes neither the underlying space nor its cells, since −CP2 is CP2 with the reversed orientation by [F5]; hence cn(−CP2)=cn(CP2) for every n and χ(−CP2)=3 as well.

4.1step 3.1step 1.3∎

Thus CP2 and −CP2 have the same Euler characteristic 3 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

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