Rational torus-equivariant stable homotopy. III: Comparison of models. (Q290763)

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 \[ {\mathcal A}^p_c(G) \simeq {\mathcal A}^f_d(G). \] 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.