# Lens space
A **lens space** is a closed 3-dimensional manifold, written \( L(p,q) \), obtained either as the quotient of the 3-sphere \( S^3 \) by a free action of the cyclic group of order \( p \), or equivalently by gluing two solid tori along their boundary so that a meridian of one is identified with a curve of slope \( q \) on the other. Its fundamental group is cyclic of order \( p \), and lens spaces are spherical space forms: manifolds modeled on the geometry of the round 3-sphere[1](https://encyclopediaofmath.org/wiki/Lens_space) • [2](https://www.math.csi.cuny.edu/abhijit/gt3m/LensSpaces.pdf). Despite their simple description, they carry a classification subtle enough that \( L(7,1) \) and \( L(7,2) \) have identical homotopy and homology groups yet are not homeomorphic, a distinction detected by finer invariants such as Reidemeister torsion (algebraic invariant distinguishing manifolds that share all other invariants)[3](https://amsdottorato.unibo.it/id/eprint/6265/1/manfredi_enrico_tesi.pdf).
| Key fact | Detail |
|---|---|
| Definition | \( L(p,q) \) = \( S^3 \subset \mathbb{C}^2 \) modulo the cyclic group of order \( p \) generated by \( \gamma(z_1,z_2) = (e^{2\pi i/p}z_1,\ e^{2\pi iq/p}z_2) \)[4](https://ar5iv.labs.arxiv.org/html/math/0005043) |
| Gluing description | Union of two solid tori; equivalently a Dehn filling of a solid torus killing the slope \( qm + pl \), where \( m \) is the meridian and \( l \) the longitude[2](https://www.math.csi.cuny.edu/abhijit/gt3m/LensSpaces.pdf) |
| Surgery description | \( L(p,q) \) arises from \( -p/q \) Dehn surgery on the unknot in \( S^3 \)[3](https://amsdottorato.unibo.it/id/eprint/6265/1/manfredi_enrico_tesi.pdf) |
| Algebraic topology | \( \pi_1 \cong \mathbb{Z}_p \); \( H_0 \cong \mathbb{Z} \), \( H_1 \cong \mathbb{Z}_p \), \( H_2 = 0 \), \( H_3 \cong \mathbb{Z} \)[3](https://amsdottorato.unibo.it/id/eprint/6265/1/manfredi_enrico_tesi.pdf) |
| Diffeomorphism classification | \( L(p,q) \cong L(p',q') \) if and only if \( p = p' \) and \( q' \equiv \pm q^{\pm 1} \pmod p \)[2](https://www.math.csi.cuny.edu/abhijit/gt3m/LensSpaces.pdf) |
| Homotopy classification | \( L(p,q) \simeq L(p,q') \) if and only if \( qq' \equiv x^2 \pmod p \) for some natural number \( x \) (Whitehead, 1941)[5](http://www.boma.mpim-bonn.mpg.de/data/38screen.pdf) |
| Small cases | \( L(1,0) = S^3 \), \( L(2,1) = \mathbb{RP}^3 \), \( L(0,1) = S^2 \times S^1 \)[2](https://www.math.csi.cuny.edu/abhijit/gt3m/LensSpaces.pdf) |
## Construction and equivalent definitions
**Cyclic action on the sphere.** View \( S^3 \) as the unit sphere in \( \mathbb{C}^2 \). The generator \( \gamma \) of a cyclic group of order \( p \) acts by \( \gamma(z_1,z_2) = (e^{2\pi i/p}z_1,\ e^{2\pi iq/p}z_2) \); when \( q \) is coprime to \( p \) this action is free, and the orbit space is \( L(p,q) \)[4](https://ar5iv.labs.arxiv.org/html/math/0005043). More generally, a lens space of odd dimension \( 2n-1 \) is the orbit space of a free isometric action of \( \mathbb{Z}_h \) on \( S^{2n-1} \) in which each complex coordinate \( z_k \) is multiplied by \( \zeta_k = e^{2\pi i m_k/h} \) with each \( m_k \) invertible modulo \( h \)[1](https://encyclopediaofmath.org/wiki/Lens_space). The name comes from geometry: the fundamental domain of the action on \( S^3 \) can be represented as a lens shape, a spherical segment together with its mirror image[1](https://encyclopediaofmath.org/wiki/Lens_space).
**Gluing two solid tori.** A lens space is a closed 3-manifold that decomposes into two solid tori, and the gluing map carries all the data. \( L(p,q) \) is the result of a Dehn filling of the solid torus \( D^2 \times S^1 \) that kills the slope \( qm + pl \), where \( m \) is the meridian and \( l \) the longitude of the boundary torus[2](https://www.math.csi.cuny.edu/abhijit/gt3m/LensSpaces.pdf). Equivalently, \( L(p,q) \) is a solid torus \( D^2 \times S^1 \) with a 2-handle attached along the curve \( p\lambda + q\mu \), plus a 3-handle[4](https://ar5iv.labs.arxiv.org/html/math/0005043).
**Dehn surgery on the unknot.** Removing a solid torus neighborhood of the unknot from \( S^3 \) and regluing it so that the original meridian is identified with the curve \( p\beta + q\alpha \) produces \( L(p,q) \); in standard surgery language, \( L(p,q) \) arises from \( -p/q \) [Dehn surgery](https://www.edgepedia.org/dehn-surgery) on the unknot in \( S^3 \)[3](https://amsdottorato.unibo.it/id/eprint/6265/1/manfredi_enrico_tesi.pdf). Since \( L(p,q) = L(-p,-q) \), one usually supposes \( p > 0 \)[2](https://www.math.csi.cuny.edu/abhijit/gt3m/LensSpaces.pdf).
## Invariants
The fundamental group of \( L(p,q) \) is cyclic of order \( p \), with defining relation \( a^p = 1 \); all lens spaces with the same \( p \) therefore share the same \( \pi_1 \)[3](https://amsdottorato.unibo.it/id/eprint/6265/1/manfredi_enrico_tesi.pdf) • [6](https://www.ams.org/journals/bull/2012-49-04/S0273-0979-2012-01385-X/S0273-0979-2012-01385-X.pdf). The homology groups are \( H_0 \cong \mathbb{Z} \), \( H_1 \cong \mathbb{Z}_p \), \( H_2 = 0 \), and \( H_3 \cong \mathbb{Z} \), so \( L(p,q) \) is orientable[3](https://amsdottorato.unibo.it/id/eprint/6265/1/manfredi_enrico_tesi.pdf). Because \( S^3 \) is the universal cover, a lens space is aspherical up to the top dimension minus one, and in higher odd dimensions its homology is \( \mathbb{Z}_h \) in dimensions 2 through \( 2n-2 \)[1](https://encyclopediaofmath.org/wiki/Lens_space).
**The linking form.** Since \( H_1 \) is torsion, the torsion-linking pairing \( T_1(M) \times T_1(M) \to \mathbb{Q}/\mathbb{Z} \) carries real information. Alexander's argument on lens spaces was formalized into this linking form, and Seifert's work gives local invariants classifying such forms in the odd-order case[7](https://sschleimer.warwick.ac.uk/Teach/2021_3MFDS/References/1999three_dimensional_topology_up_to_1960.pdf). Two lens spaces are homotopy equivalent if and only if their linking coefficients \( l(a^j, a^{n-j}) \in \mathbb{Q}/\mathbb{Z} \) coincide[1](https://encyclopediaofmath.org/wiki/Lens_space).
**Reidemeister torsion.** The invariant that separates lens spaces with identical homotopy groups is the Reidemeister torsion, introduced by [Kurt Reidemeister](https://www.edgepedia.org/kurt-reidemeister) in 1935 and generalized by Werner Franz. For a lens space \( L = S^{2n-1}/\mathbb{Z}_h \), the torsion corresponding to an \( h \)-th root of unity \( \zeta \) is
\[ \pm \zeta^{q} \prod_{k=1}^{n} (\zeta^{l_k} - 1), \]
and the sets \( \{l_k\} \) characterize lens spaces uniquely up to homeomorphism and even isometry[1](https://encyclopediaofmath.org/wiki/Lens_space). In dimensions 5 and above, manifolds whose universal cover is a sphere and whose fundamental group has odd finite cyclic order are classified by two invariants: the Reidemeister torsion \( \rho \), which determines the simple-homotopy type, and the multi-signature \( \Delta \), an \( h \)-cobordism invariant[4](https://ar5iv.labs.arxiv.org/html/math/0005043).
**Heegaard Floer theory.** In modern low-dimensional topology, the Ozsváth–Szabó correction terms (the \( d \)-invariants) of lens spaces have an explicit formula, and the resulting constraints completely determine which knots yield \( L(p,1) \) by positive Dehn surgery[8](https://www.cambridge.org/core/journals/mathematical-proceedings-of-the-cambridge-philosophical-society/article/abs/ozsvath-szabos-correction-term-and-lens-surgery/C8FA79223999523A3A5C4D8E9B849B42).
## Classification
The classification of lens spaces developed in layers, each equivalence relation requiring a finer invariant.
**Homeomorphism.** Threlfall and Seifert proved that \( L(p,q) \) and \( L(p,q_0) \) are not homeomorphic if \( q \cdot q_0 \not\equiv \pm 1 \pmod p \)[5](http://www.boma.mpim-bonn.mpg.de/data/38screen.pdf). Reidemeister completed the classification in 1935, showing their sufficient condition was also necessary, using his torsion invariant; Franz generalized the method into the Reidemeister–Franz torsion[5](http://www.boma.mpim-bonn.mpg.de/data/38screen.pdf). In modern form: \( L(p,q) \) and \( L(p',q') \) are diffeomorphic if and only if \( p = p' \) and \( q' \equiv \pm q^{\pm 1} \pmod p \)[2](https://www.math.csi.cuny.edu/abhijit/gt3m/LensSpaces.pdf). The two signs correspond to whether the homeomorphism preserves or reverses orientation[7](https://sschleimer.warwick.ac.uk/Teach/2021_3MFDS/References/1999three_dimensional_topology_up_to_1960.pdf). Because Reidemeister's was a combinatorial (PL) classification, it became a classification up to genuine homeomorphism only with Moise's 1952 proof of the Hauptvermutung for 3-manifolds[7](https://sschleimer.warwick.ac.uk/Teach/2021_3MFDS/References/1999three_dimensional_topology_up_to_1960.pdf).
**Homotopy equivalence.** This question was resolved by [J. H. C. Whitehead](https://www.edgepedia.org/j-h-c-whitehead) in 1941: the spaces \( L(p,q) \) and \( L(p,q') \) have the same homotopy type precisely when some natural number \( x \) satisfies \( q \cdot q' \equiv x^2 \pmod p \)[5](http://www.boma.mpim-bonn.mpg.de/data/38screen.pdf). Equivalently, \( \pm qq' \) must be a quadratic residue modulo \( p \)[3](https://amsdottorato.unibo.it/id/eprint/6265/1/manfredi_enrico_tesi.pdf). The layers are genuinely distinct: there are pairs of lens spaces that are homotopy equivalent but not homeomorphic[9](http://www.map.mpim-bonn.mpg.de/Lens_spaces). (Homeomorphic lens spaces share Reidemeister torsion and hence homotopy type, so the homotopy-equivalent-but-not-homeomorphic phenomenon is the standard one[5](http://www.boma.mpim-bonn.mpg.de/data/38screen.pdf).)
**Simple homotopy type.** A 3-manifold that is simple-homotopy equivalent to a lens space is in fact \( s \)-cobordant to it, a fact connected to the topological spherical space-form problem[4](https://ar5iv.labs.arxiv.org/html/math/0005043). E. J. Brody's 1960 [Annals of Mathematics](https://www.edgepedia.org/annals-of-mathematics) paper is the classical primary source establishing the topological classification of lens spaces via Reidemeister–Franz torsion[10](https://webhomes.maths.ed.ac.uk/~v1ranick/papers/brody1.pdf).
## By the numbers
The degenerate parameters give familiar manifolds: \( L(1,0) = S^3 \), \( L(2,1) = \mathbb{RP}^3 \), and \( L(0,1) = S^2 \times S^1 \)[2](https://www.math.csi.cuny.edu/abhijit/gt3m/LensSpaces.pdf).
**Worked examples.** \( L(5,1) \) and \( L(5,2) \) have the same homology and the same fundamental group, but \( 1 \cdot 2 = 2 \) is not a quadratic residue modulo 5, so they are neither homeomorphic nor homotopy equivalent; Reidemeister distinguished them in 1935 with his new torsion invariant[3](https://amsdottorato.unibo.it/id/eprint/6265/1/manfredi_enrico_tesi.pdf). By contrast, \( L(7,1) \) and \( L(7,2) \) are not homeomorphic but are homotopy equivalent, since \( 1 \cdot 2 \equiv 3^2 \pmod 7 \)[3](https://amsdottorato.unibo.it/id/eprint/6265/1/manfredi_enrico_tesi.pdf).
## Role in major theorems and counterexamples
Lens spaces first appeared in Heinrich Tietze's 1908 paper, and their classification drove 3-dimensional topology from 1908 through the late 1930s[5](http://www.boma.mpim-bonn.mpg.de/data/38screen.pdf). They also played a role in Milnor's disproof of the Hauptvermutung for polyhedra: lens spaces supplied two polyhedra that are homeomorphic but combinatorially distinct[9](http://www.map.mpim-bonn.mpg.de/Lens_spaces).
A structural fact frames their place among 3-manifolds: every closed 3-manifold with finite cyclic fundamental group is homotopy equivalent to a lens space. Whether every such manifold is in fact homeomorphic to a lens space remained an important unresolved problem as of 2000, complementary to the [Poincaré conjecture](https://www.edgepedia.org/poincare-conjecture)[4](https://ar5iv.labs.arxiv.org/html/math/0005043).
## Lens spaces in recent research
**Surgery restrictions.** A 2026 preprint proves the Bleiler–Litherland conjecture: every lens space obtained by a nontrivial Dehn surgery on a hyperbolic knot in \( S^3 \) has order at least 18[11](https://arxiv.org/html/2609.31757). The same work shows that if a hyperbolic knot of genus \( g \) admits a lens space surgery with slope \( \pm(4g-2) \), then its [Alexander polynomial](https://www.edgepedia.org/alexander-polynomial) has a real root outside the unit circle[11](https://arxiv.org/html/2609.31757).
**Fillings.** A 2026 paper in Geometry & Topology determines which lens spaces \( L(p,q) \), realized as \( p/q \)-surgery on the unknot, bound smooth 4-manifolds with second [Betti number](https://www.edgepedia.org/betti-number) 1, a step in the study of filling questions for 3-manifolds[12](https://msp.org/agt/2026/26-7/agt-v26-n7-p13-p.pdf).
**Quantum analogs.** In operator algebras, a quantum lens space \( C(L_q^{2k+1}(r;\underline{m})) \) is the fixed-point algebra of a Vaksman–Soibelman quantum sphere under a cyclic action. A 2026 paper in Communications in Mathematical Physics gives a complete description of when two 3-dimensional quantum lens spaces are isomorphic by an isomorphism preserving the circle action, and resolves the dimension-5 case when the main parameter \( r \) is prime, using graph [C*-algebra](https://www.edgepedia.org/c-algebra) and K-theoretic invariants[13](https://link.springer.com/article/10.1007/s00220-026-05709-y).
## Geometry and structure
In dimension three, lens spaces coincide with the manifolds admitting a Heegaard diagram of genus 1, and they are Seifert fibered[1](https://encyclopediaofmath.org/wiki/Lens_space). As quotients of \( S^3 \) by a free isometric action of a finite cyclic group, they are spherical space forms: they carry a [Riemannian metric](https://www.edgepedia.org/riemannian-metric) of constant positive curvature inherited from the round sphere[1](https://encyclopediaofmath.org/wiki/Lens_space) • [9](http://www.map.mpim-bonn.mpg.de/Lens_spaces).
## References
1. [Lens space, Encyclopedia of Mathematics](https://encyclopediaofmath.org/wiki/Lens_space)
2. [Seifert manifolds, lecture notes, Geometric Topology in Dimensions 2 and 3 (Abhijit Champanerkar, CUNY)](https://www.math.csi.cuny.edu/abhijit/gt3m/LensSpaces.pdf)
3. [Enrico Manfredi, Knots and links in lens spaces, PhD thesis, University of Bologna](https://amsdottorato.unibo.it/id/eprint/6265/1/manfredi_enrico_tesi.pdf)
4. [Cobordisms and Reidemeister torsion of homotopy lens spaces, arXiv math/0005043](https://ar5iv.labs.arxiv.org/html/math/0005043)
5. [Lens spaces in dimension 3: a history, Bulletin of the Manifold Atlas, MPIM Bonn](http://www.boma.mpim-bonn.mpg.de/data/38screen.pdf)
6. [Poincaré and the early history of 3-manifolds, AMS Bulletin 49(4), 2012](https://www.ams.org/journals/bull/2012-49-04/S0273-0979-2012-01385-X/S0273-0979-2012-01385-X.pdf)
7. [Three-dimensional topology up to 1960, historical survey chapter](https://sschleimer.warwick.ac.uk/Teach/2021_3MFDS/References/1999three_dimensional_topology_up_to_1960.pdf)
8. [Ozsváth–Szabó's correction term and lens surgery, Math. Proc. Camb. Phil. Soc. 146(1), 2009](https://www.cambridge.org/core/journals/mathematical-proceedings-of-the-cambridge-philosophical-society/article/abs/ozsvath-szabos-correction-term-and-lens-surgery/C8FA79223999523A3A5C4D8E9B849B42)
9. [Lens spaces, Manifold Atlas, MPIM Bonn](http://www.map.mpim-bonn.mpg.de/Lens_spaces)
10. [E. J. Brody, The Topological Classification of Lens Spaces, Annals of Mathematics 71(1), 1960, pp. 163–184](https://webhomes.maths.ed.ac.uk/~v1ranick/papers/brody1.pdf)
11. [Lens Space Surgeries and the Bleiler–Litherland Conjecture, arXiv, 2026](https://arxiv.org/html/2609.31757)
12. [On lens spaces bounding smooth 4-manifolds with b2=1, Geometry & Topology 26(7), 2026](https://msp.org/agt/2026/26-7/agt-v26-n7-p13-p.pdf)
13. [Equivariant Isomorphism of Quantum Lens Spaces of Low Dimension, Comm. Math. Phys., 2026](https://link.springer.com/article/10.1007/s00220-026-05709-y)
---
*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Geometry and topology › Geometric topology and low-dimensional topology*
*Initially written Sep 17, 2026 · Reviewed: Sep 30, 2026; Oct 15, 2026 · Edited: Sep 30, 2026; Oct 15, 2026 · Last review: Oct 15, 2026*
*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*
License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license