No label defined (Q4656998)

For a given group \(G\), let us denote by \(\mathcal{O}_{G}\) the category of the orbit \(G\)-spaces \(G/H\) and equivariant \(G\)-maps and by \(h\mathcal{O}_{G}\) the category with the same objects where the morphisms are the homotopy classes of equivariant \(G\)-maps. The algebraic invariants that determine the rational homotopy type are certain algebras that we call CDGA's. By definition, a CDGA is a graded, commutative, associative algebra with unit over \(\mathbb{Q}\) with differential \(d:A^{k}\rightarrow A^{k+1}\) for \(k\geq 0\). As usual, \(A\) is connected if \(H^{0}\left( A\right) =\mathbb{Q}\) and it is simply connected if \(H^{1}\left( A\right) =0\). A map of CDGA's is said to be a \textit{quasi-isomorphism} if it induces an isomorphism in cohomology. A CDGA \( \mathcal{M}\) is said to be minimal if it is free and its differential is decomposable. Freeness means that \(\mathcal{M}\) is the tensor product of a polynomial algebra generated by elements of even degree and an exterior algebra generated by elements of odd degree. Decomposability \ of the differential means that \(d\left( \mathcal{M}\right) \subseteq \mathcal{M} ^{+}\wedge \mathcal{M}^{+}\), where \(\mathcal{M}^{+}\) is the set of positive degree elements of \(\mathcal{M}\). A commutative differential graded algebra is formal if it is quasi-isomorphic to its cohomology. For minimal algebras this is equivalent to a single quasi-isomorphism \(A\rightarrow H^{\ast }\left( A\right) \), and a space \(X\) is said to be formal if its minimal model is formal; it is known that for a formal space \(X\) one has a quasi-isomorphism \(\mathcal{M} _{X}\rightarrow H^{\ast }\left( \mathcal{M}_{X}\right) =H^{\ast }\left( X; \mathbb{Q}\right) \). Although the space \(X\) has a minimal model its cohomology ring may not. This paper is devoted to producing injective envelopes and to using them in the definition of \(\mathbb{T}\)-equivariant formality. It is assumed that the \(\mathbb{T}\)-spaces have finite orbit types and that the rational cohomology of the fixed point subspace \(X^{H}\) is of finite type. \textbf{Theorem.} If \(K=K\left(\underline{\pi},n\right)\) is a \(\mathbb{T}\)-equivariant Eilenberg-Mac-Lane space, then \(K\) is formal. For the entire collection see [Zbl 1052.55001].