lens space

lens space
Name	Lens space
Dimension	3 (primarily)
Fundamental group	cyclic group
First described	1930s

lens space

A lens space is a closed 3-dimensional manifold arising from a quotient of the 3-sphere by a free action of a cyclic group; it appears in the study of 3-manifolds, surgery theory, and geometric topology. Lens spaces played a central role in the development of classification results related to the Poincaré conjecture, Dehn surgery, and the theory of Seifert fibered spaces. They provide basic examples and counterexamples in the work surrounding the names of mathematicians and institutions such as Henri Poincaré, John Milnor, William Thurston, Atiyah–Singer index theorem, and research groups at Institute for Advanced Study.

Definition and basic properties

A lens space is constructed as a quotient of 3-sphere S^3 by a free action of a finite cyclic group generated by a rotation; it is a prime example of a closed 3-manifold in low-dimensional topology, connected to concepts appearing in the work of Élie Cartan, André Weil, Hermann Weyl, and studies at École Normale Supérieure. Standard properties include having finite cyclic fundamental group isomorphic to a group appearing in classifications by Felix Klein and studied in relation to Klein four-group phenomena; lens spaces are orientable, have finite first homology groups, and can be distinguished by torsion invariants linked to theorems by Reidemeister and Raymond Smale. Lens spaces also arise in examples discussed at seminars led by Thurston, William Browder, Dennis Sullivan, and groups at Princeton University.

Construction and classification

Classic construction uses a solid torus pair: glue two solid tori by a homeomorphism of their boundary tori determined by an element of SL(2, Z) or a fraction p/q from continued fraction expansions studied by Carl Friedrich Gauss and Adrien-Marie Legendre. The classification up to homeomorphism was investigated by Heegaard in the context of Heegaard splittings and later refined by Reidemeister, Turaev, and John H. Conway in combinatorial frameworks related to Alexander polynomial methods. Distinguishing nonhomeomorphic lens spaces with identical homology uses invariants developed by Reidemeister torsion, Franz-Reidemeister torsion, and techniques refined by Milnor and Serre. Work by Perelman and communities at Steklov Institute clarified relations between lens spaces and Ricci flow techniques originating from Richard S. Hamilton.

Algebraic topology invariants

Algebraic invariants for lens spaces include fundamental group calculations linking to Cyclic group theory, homology groups computed via Mayer–Vietoris sequences as in works by James W. Alexander and Emil Artin, and cohomology rings explored in contexts with Lefschetz fixed-point theorem analogues studied by Solomon Lefschetz. Reidemeister torsion and analytic torsion invariants connect lens spaces to index theorems by Atiyah and Singer, and to spectral invariants investigated by groups at Max Planck Institute for Mathematics. Other invariants such as the eta invariant from Alain Connes-influenced noncommutative geometry and invariants arising in Floer homology and Heegaard Floer homology by Peter Ozsváth and Zoltán Szabó distinguish families of lens spaces and relate to conjectures advanced by Michael Freedman.

Geometric structures and metrics

Lens spaces carry spherical geometry modeled on Spherical space form structures classified by the work of Wilhelm Killing and Sophus Lie; they admit Riemannian metrics of constant positive curvature as quotients of the round metric on S^3 used in studies by Élie Cartan and Marston Morse. Geometric transitions studied in the program of William Thurston place lens spaces among Seifert fibered spaces and among manifolds appearing in hyperbolic Dehn surgery contexts described in publications from Princeton University Press. Einstein metrics, scalar curvature questions, and metric rigidity on lens spaces have been treated in work by Richard Schoen, Shing-Tung Yau, and in collaboration with analysts from Courant Institute. Spectral geometry investigations comparing Laplace spectra relate to questions posed by Mark Kac and studied in spectral theory groups at ETH Zurich.

Lens spaces in low-dimensional topology

Lens spaces provide central examples and test cases in the study of 3-manifold invariants, appearing in classical presentations by Heegaard, in surgery diagrams used by Rolfsen and in Kirby calculus developed by Robion Kirby. They appear in counterexamples and constructions in the classification program influenced by Poincaré conjecture investigations, the proof by Grigori Perelman, and in examples used by John Milnor to illustrate exotic differentiable structures in higher dimensions analogous to exotic spheres of Michel Kervaire and John Milnor’s joint work. Lens spaces are key in link surgery descriptions involving Alexander polynomial, Jones polynomial, and quantum invariants developed by Vladimir Turaev and Edward Witten.

Applications and examples

Concrete examples include the projective 3-space studied by Ludwig Schlafli and Giuseppe Veronese and families described by pairs (p,q) appearing in catalogs used by researchers at University of Cambridge and Harvard University. Applications occur in topological quantum field theory frameworks developed by Edward Witten and in categorification programs by Mikhail Khovanov; lens spaces are used as testing grounds for invariants from Seiberg–Witten theory and Donaldson theory investigated at Princeton University and Massachusetts Institute of Technology. They also appear in mathematical physics discussions with groups at CERN and in geometric group theory examples from Stony Brook University seminars.

Category:3-manifolds