Topological Groups & Homotopy Actions

← Back to Domain-Specific Families

Abstractions about continuous group actions, representations, mapping and loop spaces, topological group constructions, transformations, and homotopy-theoretic conjectures.

11 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.

• Baum–Connes Conjecture — An assembly-map conjecture relating a group's geometric equivariant K-homology to the analytic K-theory of its reduced group C-star algebra.
• Borel–de Siebenthal Theory — Classify connected maximal-rank subgroups of a compact connected Lie group by retaining a maximal torus and reading admissible full-rank root subsystems from its extended Dynkin diagram.
• Continuous Group Action — An action of a topological group on a topological space whose joint evaluation map is continuous, organizing the space into compatible orbits, stabilizers, fixed-point sets, and an orbit quotient.
• Direct Sum of Topological Groups — Decompose a topological group into subgroup factors whose multiplication map is simultaneously a group isomorphism and a homeomorphism, preserving both algebraic and topological structure.
• Geometric Transformation — An invertible mapping of a geometric space that preserves the relations declared fundamental by a chosen geometry, thereby organizing transformations and figures by their invariants.
• Induced representation — Extend a subgroup representation to the ambient group through a universal construction on cosets or tensoring over group algebras.
• Loop Group — A group of maps from a circle into a Lie group under pointwise multiplication, often equipped with smoothness, based-loop, and central-extension structure.
• Mapping Space — A topological or enriched space whose points are maps between fixed spaces, with topology chosen so families, homotopies, and evaluation become structural.
• Quasiregular Representation — The unitary representation generated by a group action on an L2 space of a homogeneous or measured space, with a square-root Radon–Nikodym factor correcting any merely quasi-invariant measure.
• Sullivan Conjecture — The proved Miller theorem that, for a finite group and finite-dimensional CW complex, the based mapping space from the group's classifying space is weakly contractible, equivalently constant maps give a weak equivalence from the target to the unbased mapping space.
• Whitehead Theorem — A weak homotopy equivalence between CW complexes is a homotopy equivalence, so component and homotopy-group data detect the full homotopy type inside the CW setting.