Rational torus-equivariant stable homotopy. III: Comparison of models.
In the first part [J. Pure Appl. Algebra 212, No. 1, 72--98 (2008; Zbl 1128.55011)] of this series, the author introduced an abelian category \({\mathcal A}(G)\) of sheaves on the set \(\Sigma\) of connected subgroups of \(G\) with the intention to construct an algebraic model for rational \(G\)-equivariant cohomology theories, where \(G\) is a torus. Let \(U(K)\) denote the set of subgroups containing \(K\) for each connected subgroup \(K\) of \(G\). Then \(U(K)\) forms a generating set for the topology on \(\Sigma\) when \(K\) runs over all its elements. So the sheaf \(M\) on \(\Sigma\) is specified by its values \(M(U(K))\) and the restriction \(M(U(K)) \to M(U(H))\) induced by the inclusion \(K \subseteq H\). But here we find that this \(M\) can be regarded as a sheaf of modules over a sheaf of rings. In the second part [ibid. 216, No. 10, 2141--2158 (2012; Zbl 1317.55007)] of the series, it has been shown that \({\mathcal A}(G)\) can be realized as a category of modules over a ring with objects in the set of closed subgroups of \(G\). What these two works have in common is that they deal with one or more equivalent formulations of \({\mathcal A}(G)\). The present paper, the third paper in the series, is devoted to a systematic construction of these formulations. According to the author, there are numerous variants of \({\mathcal A}(G)\), but particularly \({\mathcal A}^p_c(G)\) and \({\mathcal A}^f_d(G)\) are essential in comparing them with homotopy where the first one indicates the original category above and the second one denotes an algebraic model defined based on \(\mathrm{flag}(\Sigma)\), the set of decreasing sequences (called flags) of the elements of \(\Sigma\). In fact, we have from Section 10 NEWLINE\[NEWLINE{\mathcal A}^p_c(G) \simeq {\mathcal A}^f_d(G).NEWLINE\]NEWLINE This is obtained as an application of the general theory of modules over diagrams of rings developed therein. Finally, in Section 11 the author discusses again the right adjoint \(\Gamma\) to the inclusion of quasi-coherent extended modules (qce-modules) into all modules defined in the second paper of the series, which leads to the proof of equivalence of the algebraic models of \({\mathcal A}^p_c(G)\) stated above.
- An algebraic model for rational torus-equivariant spectra
- Rational torus-equivariant stable homotopy. II: Algebra of the standard model
- Rational 𝑆¹-equivariant stable homotopy theory
- Rational torus-equivariant stable homotopy. I: Calculating groups of stable maps
- Rational torus-equivariant stable homotopy. V: The torsion Adams spectral sequence
- An algebraic model for free rational G-spectra
- scientific article; zbMATH DE number 1182636 (Why is no real title available?)
- Rational \(\text{SO}(3)\)-equivariant cohomology theories
- Rational \(S^1\)-equivariant elliptic cohomology
- Rational equivariant cohomology theories with toral support
- Rational Mackey functors for compact lie groups I
- Rational torus-equivariant stable homotopy. I: Calculating groups of stable maps
- Rational torus-equivariant stable homotopy. II: Algebra of the standard model
- Rational 𝑆¹-equivariant stable homotopy theory
- Rational torus-equivariant stable homotopy. II: Algebra of the standard model
- Equivariant sheaves for profinite groups
- Rational torus-equivariant stable homotopy. I: Calculating groups of stable maps
- Rational torus-equivariant stable homotopy. V: The torsion Adams spectral sequence
- Algebraic models for equivariant homotopy theory over Abelian compact Lie groups
This page was built for publication: Rational torus-equivariant stable homotopy. III: Comparison of models.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q290763)
