Lens space¶
A closed manifold obtained by a cyclic quotient of an odd-dimensional sphere, or in dimension three by gluing two solid tori with a slope specified by coprime integers p and q.
Core Idea¶
A three-dimensional lens space L(p,q) is formed by gluing two solid tori along their boundaries according to a p/q slope, equivalently as a suitable free cyclic quotient of S³. The gluing map sends a meridian to a primitive boundary curve; van Kampen yields cyclic fundamental group, while torsion linking and Reidemeister torsion distinguish spaces with equal homotopy data. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.
Scope of Application¶
Lens space belongs to geometric topology and is useful where the analyst can specify a sphere or two solid tori, a free cyclic group action or boundary homeomorphism, coprime parameters p,q and orientation conventions, then evaluate p,q satisfy the chosen coprimality and normalization convention and the quotient or gluing action is free and produces the stated closed manifold. The scope is broad within that domain but bounded by the need for p,q satisfy the chosen coprimality and normalization convention and the quotient or gluing action is free and produces the stated closed manifold. The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.
Clarity¶
The abstraction clarifies a crowded vocabulary by making p,q satisfy the chosen coprimality and normalization convention and the quotient or gluing action is free and produces the stated closed manifold the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test. A bare label is insufficient because the name Lens space can be used for a formal identity, an implementation, or a neighboring result unless carrier and convention are stated.
Manages Complexity¶
Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Lens space. Lens space compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.
Abstract Reasoning¶
- Identify the carrier. State what the elements, states, objects, or observations are: a sphere or two solid tori, a free cyclic group action or boundary homeomorphism, coprime parameters p,q and orientation conventions. Reject examples whose alleged carrier belongs to a different problem. 2. Lock the constitutive rule. Express p,q satisfy the chosen coprimality and normalization convention and the quotient or gluing action is free and produces the stated closed manifold independently of one notation or implementation.
Knowledge Transfer¶
Knowledge transfers strongly among subfields of geometric topology because they reuse a sphere or two solid tori, a free cyclic group action or boundary homeomorphism, coprime parameters p,q and orientation conventions, The gluing map sends a meridian to a primitive boundary curve; van Kampen yields cyclic fundamental group, while torsion linking and Reidemeister torsion distinguish spaces with equal homotopy data., and type the carrier, state every parameter and convention in the definition, test that p,q satisfy the chosen coprimality and normalization convention and the quotient or gluing action is free and produces the stated closed manifold, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.
Relationships to Other Abstractions¶
Current abstraction Lens space Domain-specific
Parents (1) — more general patterns this builds on
-
Lens space is a kind of Equivalence Relation Prime
The proposed strict upward parent is
prime:equivalence_relation.
Hierarchy path (1) — routes to 1 parentless root
- Lens space → Equivalence Relation
Neighborhood in Abstraction Space¶
Lens space sits in a crowded region of the domain-specific corpus (34th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.
Family — Group Actions & Quotient Geometry (14 abstractions)
Nearest neighbors
- Dehn surgery — 0.91
- Cyclic surgery theorem — 0.91
- Semi-s-cobordism — 0.90
- Kline sphere characterization — 0.90
- Simply connected at infinity — 0.90
Computed from structural-signature embeddings · 2026-09-08