homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
geometric representation theory
representation, 2-representation, ∞-representation
Grothendieck group, lambda-ring, symmetric function, formal group
principal bundle, torsor, vector bundle, Atiyah Lie algebroid
Eilenberg-Moore category, algebra over an operad, actegory, crossed module
Be?linson-Bernstein localization?
Proper -equivariant homotopy theory (DHLPS 19) is the variant of -equivariant homotopy theory where the topological group is allowed to be non-compact (for instance a non-finite discrete group) but whose weak equivalences are still detected only on fixed point spaces of compact subgroups of .
Hence in the presentation by topological G-spaces, proper -equivariant homotopy theory is obtained by localizing at those equivariant continuous functions which induce weak homotopy equivalences for all compact subgroups (DHLPS 19, Def. 1.1.2).
Equivalently, under Elmendorf's theorem (DHLPS 19, p. 87) this is the homotopy theory of (∞,1)-presheaves on the full sub-(∞,1)-category of the -orbit category on those orbits corresponding to compact subgroups (e.g. finite subgroups for discrete, details in DHLPS 19, Remark 3.1.12).
The concept was introduced in
following
Last revised on April 17, 2023 at 09:49:32. See the history of this page for a list of all contributions to it.