Finite Hyperspheres

The three-sphere S^3 is one suspension higher than the ordinary sphere. We cannot picture it directly, but the finite suspension machine keeps working — and it tells us something surprising about the Euler characteristic.

Lesson Goal

Apply the suspension move one more time, to a sphere, and see why the resulting S^3 scaffold has Euler characteristic 0 rather than 2.

The Idea

In the last unit, suspending a circle (χ = 0) gave a sphere (χ = 2). The suspension rule was: χ goes to 2 − χ. Apply it again, to the sphere:

circle  S^1 :  χ = 0
suspend       ->  S^2 :  χ = 2 − 0 = 2
suspend       ->  S^3 :  χ = 2 − 2 = 0

So S^3 lands back at 0. The pattern alternates forever: even-dimensional spheres have χ = 2, odd-dimensional spheres have χ = 0. The finite scaffold reproduces this without any continuous geometry — just the alternating cell count.

This is also why the book builds the finite hypersphere first: it organizes the cells and the dimension bookkeeping cleanly, before the next two chapters add the algebra (quaternions) and the hidden-phase picture (Hopf coils) that make S^3 special.

Worked Example

Take the suspended C_4 sphere from the previous unit: cell counts [6, 12, 8], χ = 6 − 12 + 8 = 2. Suspend it once more and the alternating sum flips:

S^2 cells:  6 − 12 + 8        = 2
suspend     ->  S^3 χ = 2 − 2 = 0

The 2s cancel. Every odd sphere does this, which is why S^3, S^5, and S^7 all read 0 later in the ladder.

Common Mistake

A finite suspended-surface model with the right Euler characteristic is not a completed smooth S^3 theory. What is certified here is the finite cell-count scaffold in the card below; the topology beyond it is future work. See What “Proved” Means Here.

Checkpoint

Without computing any cells, predict the Euler characteristic of S^4 and S^5 from the alternating rule. (Answer: S^4 = 2, S^5 = 0.)

Source Trail

Paper source: S3 Finite Hyperspheres