topology (point-set topology, point-free topology)
see also differential topology, algebraic topology, functional analysis and topological homotopy theory
Basic concepts
fiber space, space attachment
Extra stuff, structure, properties
Kolmogorov space, Hausdorff space, regular space, normal space
sequentially compact, countably compact, locally compact, sigma-compact, paracompact, countably paracompact, strongly compact
Examples
Basic statements
closed subspaces of compact Hausdorff spaces are equivalently compact subspaces
open subspaces of compact Hausdorff spaces are locally compact
compact spaces equivalently have converging subnet of every net
continuous metric space valued function on compact metric space is uniformly continuous
paracompact Hausdorff spaces equivalently admit subordinate partitions of unity
injective proper maps to locally compact spaces are equivalently the closed embeddings
locally compact and second-countable spaces are sigma-compact
Theorems
Analysis 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?
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
For a topological group acting on a topological space , its Borel construction or Borel space is another topological space , also known as the homotopy quotient. In many cases, its ordinary cohomology is the -equivariant cohomology of .
For a topological space, a topological group and a continuous -action, the Borel construction of is the topological space , hence quotient of the product of with the total space of the -universal principal bundle by the diagonal action of on both.
This Borel construction is naturally understood as being the geometric realization of the topological action groupoid of the action of on :
the nerve of this topological groupoid is the simplicial topological space
Observing that itself as a groupoid has the nerve
(where “” denotes the multiplication action of on itself) and regarding and as topological 0-groupoids ( as a group object in topological 0-groupoids), hence with simplicially constant nerves, we have an isomorphism of simplicial topological spaces
If this is set up in a sufficiently nice category of topological spaces, then, by the discussion at geometric realization of simplicial topological spaces, the geometric realization manifestly takes this to the Borel construction (since, by the discussion there, it preserves the product and the quotient).
If is the topological category associated to the group , then a -space is precisely a Top-enriched functor in a similar fashion to the fact that an R-module is an Ab-enriched functor. If is a -space, the ordinary quotient is the colimit of the diagram associated to and the Borel construction is (a model of) the homotopy colimit of that diagram. This is a reason for calling the Borel construction homotopy quotient in some contexts.
The image of the Borel construction in rational homotopy theory is the Weil model for equivariant de Rham cohomology. See there for more.
Lecture notes in classical topology:
General statement in simplicial homotopy theory of simplicial presheaves:
J. F. Jardine, Stacks and the homotopy theory of simplicial sheaves (pdf)
Thomas Nikolaus, Urs Schreiber, Danny Stevenson, Prop. 3.73 in: Principal -bundles – Presentations, Journal of Homotopy and Related Structures, Volume 10, Issue 3 (2015), pages 565-622 (arXiv:1207.0249, doi:10.1007/s40062-014-0077-4)
The nature of the Borel construction as the geometric realization of the action groupoid is mentioned for instance in
Last revised on October 21, 2020 at 15:22:11. See the history of this page for a list of all contributions to it.