Algebraic models for equivariant homotopy theory over Abelian compact Lie groups (Q697328): Difference between revisions

This work lays the foundations for rational and \(p\)-adic \(G\) homotopy theory, where \(G\) is a compact abelian Lie group. An equivariant map of \(G\)-spaces \(f:X\to Y\) is called an equivariant rational or \(p\)-adic equivalence if the induced map on the \(H\)-fixed spaces \(f^H:X^H\to Y^H\) induces a homology isomorphism with rational or \(\mathbb{Z}/p\mathbb{Z}\) coefficients for any closed subgroup \(H\subset G\). The equivariant rational or \(p\)-adic homotopy category is then defined as a category obtained from \(G\)-spaces by formally adding inverses of these equivariant rational or \(p\)-adic equivalences. The purpose of this paper is to produce algebraic models of these equivariant categories. The key technique is to use the algebraic models due to \textit{D. Sullivan} and the first author \([E_\infty\) algebras and \(p\)-adic homotopy theory, Topology, to appear]. Let \({\mathcal O}_G\) denote the category of consisting of the orbits \(G/H\) and the \(G\)-maps between them. Then the morphisms are given by \(\text{Hom}_G (G/H,G/K) \cong(G/K)^H\) and so \({\mathcal O}_G\) is topologized via these isomorphisms. But the algebraic models mentioned above cannot be applied directly to \({\mathcal O}_B\) since it is not discrete in general. The effect of the condition such that \(G\) is abelian consists in converting \({\mathcal O}_B\) into a certain discrete category. The procedure described here is fairly intricate, but the exposition is well organized. Let \(EG\to BG\) denote the universal principal \(G\)-bundle and \(G_e\) the identity component of \(G\). Let \(G/K[H]\) denote the orbit \(G/K\) on which \(G/H\) can act. One of the steps to the authors' approach is then to consider a diagram of bundles of the form \(E(G/H)\times_{(G/H)_e}G/K[H]\to E(G/H) \times_{ (G/H)_e}*\) where \(*\) denotes the one-point space. Such diagrams together with the maps between them which commute form a discrete category. Then the main result (Theorems A and B) is outlined as follows: There is a functor from the equivariant rational or \(p\)-adic homotopy category to the homotopy category consisting of commutative differential graded \(\mathbb{Q}\)- or \(E_\infty \overline \mathbb{F}_p\)-algebras indexed over this category. On the full subcategory of \(G\)-simply connected \(G\)-finite \(\mathbb{Q}\)- or \(p\)-type \(G\)-spaces, this functor becomes full and faithful.