The standard CW complex structure on Real projective space has one cell in each dimension . Its cellular chain complex has and differentialConsequentlyAfter 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 isThereforewhereas reduction modulo two kills the only nonzero boundary and gives
The quotient is the mapping torus ofA mapping torus of a cellular map has a finite CW structure. On integral homology, is on and and is on . The Wang sequence therefore givesOver , 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
There are currently no matching articles.