Suspension Euler Parity

Once you have the suspension move, you do not have to stop at S^3. Keep suspending and the Euler characteristic settles into a simple, eternal rhythm: 2, 0, 2, 0, …. This page reads that rhythm off the finite cell counts for S^4, S^5, and S^6.

Lesson Goal

Use the single suspension rule χ → 2 − χ to predict the Euler characteristic of every sphere on the S^4–S^6 stretch, and understand why one lemma covers all of them.

The Idea

Each suspension replaces the old Euler characteristic χ with 2 − χ. Starting from the circle and turning the crank:

S^1 :  0
S^2 :  2 − 0 = 2
S^3 :  2 − 2 = 0
S^4 :  2 − 0 = 2
S^5 :  2 − 2 = 0
S^6 :  2 − 0 = 2

The values just alternate. Even-dimensional spheres are 2; odd-dimensional spheres are 0. This is parity — whether the dimension is even or odd is the only thing that matters. And because it is one rule applied over and over, a single finite suspension lemma certifies the whole stretch at once; each dimension page is one application of the same fact.

Worked Example

Suppose you already know S^3 has χ = 0 (from the previous unit). Predict the next three without counting a single cell:

S^4 = 2 − χ(S^3) = 2 − 0 = 2
S^5 = 2 − χ(S^4) = 2 − 2 = 0
S^6 = 2 − χ(S^5) = 2 − 0 = 2

Done — 2, 0, 2. The finite cell counts grow large and ugly as the dimension climbs, but the alternating sum keeps collapsing them back to just 2 or 0.

Common Mistake

Sharing one lemma across S^4, S^5, and S^6 certifies their Euler-parity bookkeeping, not their full continuous geometry, which is future work. Each dimension still has its own future role (the next chapters note where the algebra stops being safe). See What “Proved” Means Here.

Checkpoint

S^10 and S^11 are far off the ladder. Using parity alone, what are their Euler characteristics? (Answer: S^10 = 2 even, S^11 = 0 odd.)

Source Trail

Common paper: General Suspension Euler Parity