Lattice (discrete subgroup)¶
A lattice in a locally compact topological group is a discrete subgroup whose quotient has finite invariant measure, with uniform lattices distinguished by compact quotient.
Core Idea¶
A lattice in a locally compact topological group G is a discrete subgroup Γ for which the homogeneous quotient G/Γ carries a finite G-invariant measure. Discreteness means the identity has a neighborhood containing no other element of Γ; finite covolume means translated copies of a measurable fundamental region fill the ambient group with finite total quotient measure. This generalizes the integer lattice Zⁿ inside Rⁿ without requiring the quotient to be compact. A lattice is uniform, or cocompact, when G/Γ is compact; otherwise it is nonuniform and the finite-volume quotient has noncompact ends.
Scope of Application¶
-
Locally homogeneous geometry. Quotients by lattices produce finite-volume spaces whose local model is the ambient group or associated symmetric space.
-
Ergodic theory. Group actions on finite-covolume quotients support recurrence, mixing, and measure-rigidity questions.
-
Representation theory. L2 spaces on quotients connect automorphic, harmonic, and spectral phenomena to the ambient group.
-
Arithmetic groups. Number-theoretic constructions supply important lattices under theorem-specific hypotheses.
-
Rigidity. Superrigidity, arithmeticity, and deformation results apply only in particular ranks and groups.
Clarity¶
A lattice in a locally compact group is a discrete subgroup whose quotient carries finite invariant volume. This separates discreteness from finite covolume and finite covolume from cocompactness: nonuniform lattices can have finite-volume quotients with cusps. The ambient group, Haar measure convention, and left or right quotient must be clear.
Manages Complexity¶
A lattice compresses a discrete subgroup's global placement in a locally compact group to discreteness, invariant quotient volume, covolume, and compactness of the quotient. Uniform and nonuniform branches distinguish compact quotients from finite-volume spaces with cusps. The analyst can use a fundamental region and Haar measure rather than enumerate every subgroup translate. Arithmetic origin, rank, and ambient-group structure then support rigidity and classification results.
Abstract Reasoning¶
Discreteness move. Given a subgroup of a locally compact group, test whether the identity has an isolated neighborhood in the subgroup. Covolume move. Determine whether the quotient carries finite invariant measure, thereby distinguishing a lattice from an arbitrary discrete subgroup. Fundamental-domain move. Replace infinitely repeated group action with a finite-volume quotient or domain for geometric and analytic reasoning. Comparison move. Distinguish uniform from nonuniform lattices through compactness and cusp behavior. Boundary move.
Knowledge Transfer¶
Within the home domain. Lattices as discrete subgroups transfer across Lie groups, hyperbolic geometry, arithmetic groups, ergodic theory, and homogeneous spaces where discreteness and finite covolume define the object. Quotient measure, fundamental domain, compactness, cusps, and group action retain formal roles. Beyond the home domain (C — formal construct). The definition applies literally in any locally compact group with the needed measure structure. Crystal lattices and order-theoretic lattices are related only by separate specialized meanings. Periodicity or discreteness alone is insufficient; finite covolume, group operation, and the ambient topology must be established.
Relationships to Other Abstractions¶
Current abstraction Lattice (discrete subgroup) Domain-specific
Parents (1) — more general patterns this builds on
-
Lattice (discrete subgroup) presupposes Periodicity Prime
Lattice (discrete subgroup) structurally presupposes Periodicity rather than being a subtype of it.
Hierarchy path (1) — routes to 1 parentless root
- Lattice (discrete subgroup) → Periodicity → Invariance
Neighborhood in Abstraction Space¶
Lattice (discrete subgroup) sits in a sparse region of the domain-specific corpus (71st percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Point-Set Topology & Measure Structures (14 abstractions)
Nearest neighbors
- Quasiregular Representation — 0.85
- Sierpiński Set — 0.83
- Collectionwise Normal Space — 0.83
- Simple homotopy theory — 0.83
- Borel–de Siebenthal Theory — 0.83
Computed from structural-signature embeddings · 2026-10-08