Classifying Spaces & Geometric Topology

← Back to Domain-Specific Families

Abstractions about classifying and Eilenberg–MacLane spaces, infinite-genus surfaces, solvmanifolds, and paradoxical geometric decompositions.

5 abstractions in this family — domain-specific abstractions that sit near one another in structural-signature space (k-means over structural-signature embeddings). Each is shown with its short description.

• Cantor tree surface — Form the unique orientable boundaryless surface of genus zero whose end space is a Cantor set and whose every end is planar, equivalently a sphere with a Cantor set removed.
• Classifying space — A space BG representing principal G-bundles up to homotopy, obtained from a contractible free G-space EG and characterized by pullback classification.
• Eilenberg–MacLane space — A connected space K(G,n) with exactly one nontrivial homotopy group, G in degree n, serving as a representing space for cohomology.
• Solvmanifold — A homogeneous manifold of a connected solvable Lie group, with compact lattice quotients forming the special convention central to topology and Lie theory.
• Von Neumann Paradox — A planar paradoxical equidecomposition in which finitely many nonmeasurable pieces are rearranged by area-preserving affine transformations to duplicate a bounded figure or equidecompose bounded sets with nonempty interior.