and
rational homotopy theory (equivariant, stable, parametrized, equivariant & stable, parametrized & stable)
Examples of Sullivan models in rational homotopy theory:
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?
What may be called Borel-equivariant rational homotopy theory (this is not an established term, but it fits well) is the rational homotopy theory of G-spaces regarded in Borel equivariant homotopy theory, hence where weak equivalences are simply the underlying (forgetting the group action) weak homotopy equivalences. This is in contrast to the fixed locus-wise weak hom. equivalences, as in proper equivariant homotopy theory, which leads to proper equivariant rational homotopy theory.
Borel-equivariant rational homotopy theory is relevant even and particularly to the study of plain (non-equivariant) homotopy types, as it provides the means to conceptualize their rationalization beyond the constraint of these being nilpotent or even simply connected, hence outside the scope of plain rational homotopy theory:
Namely, given any connected space (but the same discussion applies to each connected component of a non-connected space), without any restriction on its fundamental group, it fits into a homotopy fiber sequence
with
its universal cover , which is simply connected;
the classifying space of its fundamental group .
Now, by the general discussion at -action and at Borel model structure (here) – this means that regarded in the slice over is equivalent to the covering space equipped with its canonical group action by .
This allows to regard the rationalization of non-nilpotent spaces as being the image of the universal covers in -eqjuivariant homotopy theory. (Since the -action on a universal covering space is free, this is necessarily Borel-equivariant.)
This perspective is really due to Brown & Szczarba 95 (based on Brown & Szczarba 90, Brown & Szczarba 93) – to spot it there, look (here) for: 2nd par. on p. 883 (16 of 48) and around Thm. 4.4 on p. 896 (29 of 48).
The notion of fiberwise rationalization is due to
Rational homotopy theory (as well as real homotopy theory) for general connected spaces and regarded as Borel-equivariant rational homotopy theory of their covering spaces is laid out, and the corresponding fundamental theorem of dg-algebraic rational homotopy theory is proven, in:
Edgar Brown, Robert H. Szczarba, Real and Rational Homotopy Theory, Chapter 17 in: Handbook of Algebraic Topology, North Holland (1995) 869-915 (doi:10.1016/B978-044481779-2/50018-3, ZB)
based on
Stephen Halperin, Daniel Tanré, Homotopie filtrée et fibres , Illinois J. Math. 34(2): 284-324 (1990) (doi:10.1215/ijm/1255988268)
Edgar Brown, Robert H. Szczarba, Continuous cohomology and Real homotopy type II Asterisque 191, Societe Mathematique De France (1990) (numdam:AST_1990__191__45_0)
Edgar Brown, Robert H. Szczarba, Real and rational homotopy theory for spaces with arbitrary fundamental group, Duke Mathematical Journal 71. (1993): 229-316 (doi:10.1215/S0012-7094-93-07111-6)
with related discussion in
which is reviewed in:
A textbook account is in:
(While FHT 15 does discuss, mostly in its Section 7, some aspects of non-simply connected spaces via the rational homotopy of their covering spaces with attention to -actions, it does not seem to establish or mention aspects of a systematic generalization of the fundamental theorem of dg-algebraic rational homotopy theory to this situation – nor does it cite any of the above.)
Further discussion of fiberwise rational homotopy theory:
Last revised on July 16, 2022 at 21:29:38. See the history of this page for a list of all contributions to it.