The standard CW complex structure on Real projective space has one cell in each dimension . Its cellular chain complex has and differential
Consequently
After tensoring the cellular complex with , every differential vanishes, so
The involution is free. Taking the first circle modulo the half-turn exhibits the quotient as the mapping torus of a reflection of , hence as the Klein bottle. It has a finite CW structure with one zero-cell, two one-cells, and one two-cell. With suitable generators its integral cellular differential is
Therefore
whereas reduction modulo two kills the only nonzero boundary and gives
The quotient is the mapping torus of
A mapping torus of a cellular map has a finite CW structure. On integral homology, is on and and is on . The Wang sequence therefore gives
Over , the map is the identity. The Wang sequence splits as vector spaces into one copy of and one copy of , yielding

Articles by others on the same topic (0)

There are currently no matching articles.