A lens space is an example of a topological space, considered in mathematics. The term often refers to a specific class of 3-manifolds, but in general can be defined for higher dimensions. In the 3-manifold case, a lens space can be visualized as the result of gluing two solid tori together by a homeomorphism of their boundaries. Often the 3-sphere and S 2 × S 1 {\displaystyle S^{2}\times S^{1}} , both of which can be obtained as above, are not counted as they are considered trivial special cases. The three-dimensional lens spaces L ( p ; q ) {\displaystyle L(p;q)} were introduced by Heinrich Tietze in 1908. They were the first known examples of 3-manifolds which were not determined by their homology and fundamental group alone, and the simplest examples of closed manifolds whose homeomorphism type is not determined by their homotopy type. J. W. Alexander in 1919 showed that the lens spaces L ( 5 ; 1 ) {\displaystyle L(5;1)} and L ( 5 ; 2 ) {\displaystyle L(5;2)} were not homeomorphic even though they have isomorphic fundamental groups and the same homology, though they do not have the same homotopy type. Other lens spaces (such as L ( 7 ; 1 ) {\displaystyle L(7;1)} and L ( 7 ; 2 ) {\displaystyle L(7;2)} ) have even the same homotopy type (and thus isomorphic fundamental groups and homology), but not the same homeomorphism type; they can thus be seen as the birth of geometric topology of manifolds as distinct from algebraic topology. There is a complete classification of three-dimensional lens spaces, by fundamental group and Reidemeister torsion.
Definition The three-dimensional lens spaces L ( p ; q ) {\displaystyle L(p;q)} are quotients of S 3 {\displaystyle S^{3}} by Z / p {\displaystyle \mathbb {Z} /p} -actions. More precisely, let p {\displaystyle p} and q {\displaystyle q} be coprime integers and consider S 3 {\displaystyle S^{3}} as the unit sphere in C 2 {\displaystyle \mathbb {C} ^{2}} . Then the Z / p {\displaystyle \mathbb {Z} /p} -action on S 3 {\displaystyle S^{3}} generated by the homeomorphism
( z 1 , z 2 ) ↦ ( e 2 π i / p ⋅ z 1 , e 2 π i q / p ⋅ z 2 ) {\displaystyle (z_{1},z_{2})\mapsto (e^{2\pi i/p}\cdot z_{1},e^{2\pi iq/p}\cdot z_{2})}
is free. The resulting quotient space is called the lens space L ( p ; q ) {\displaystyle L(p;q)} . This can be generalized to higher dimensions as follows: Let p , q 1 , … , q n {\displaystyle p,q_{1},\ldots ,q_{n}} be integers such that the q i {\displaystyle q_{i}} are coprime to p {\displaystyle p} and consider S 2 n − 1 {\displaystyle S^{2n-1}} as the unit sphere in C n {\displaystyle \mathbb {C} ^{n}} . The lens space L ( p ; q 1 , … q n ) {\displaystyle L(p;q_{1},\ldots q_{n})} is the quotient of S 2 n − 1 {\displaystyle S^{2n-1}} by the free Z / p {\displaystyle \mathbb {Z} /p} -action generated by
… excerpt ends here. Continue reading the full article.
