A note on Gorenstein spaces (Q2001434): Difference between revisions

The authors extend results from [\textit{Y. Félix} et al., Adv. Math. 71, No. 1, 92--112 (1988; Zbl 0659.57011)] to the non-simply connected case. Using Eilenberg-Moore's differential homological algebra adapted to the setting of connected cdgas \(R\) over a field \( \Bbbk\), they define \(\mathcal{G}(R) = \mathrm{Ext}_{R}( \Bbbk, R)\) and \(\mathcal{T}(R) = \mathrm{Tor}^{R}( \Bbbk, R)\). Taking \(R = C^*(X; \Bbbk)\), the commutative cochains of a pointed space \(X,\) gives homotopy invariants written \(\mathcal{G}(X)\) and \(\mathcal{T}(X) \). A space \(X\) is {\em Gorenstein at \( \Bbbk\)} if \(\mathrm{dim} \, \mathcal{G}(X) = 1.\) If \(H^{> N}(X; \Bbbk) = 0\) for some \(N\) then \(X\) is Gorenstein at \( \Bbbk\) if and only if \(H^*(X; \Bbbk)\) is a Poincaré duality algebra. The main result of the paper is for the case \(\Bbbk = \mathbb{Q}\) where the Sullivan model for \(X\) may be used in place of the cochain algebra. Given a fibration \(F \to X \to Y\) of based, connected spaces with \(\mathrm{dim}H^*(F; \mathbb{Q}) < \infty\) and such that \(\pi_1(Y)\) acts nilpotently on \(H^*(F; \mathbb{Q}),\) then \(\mathcal{T}(X) \cong \mathcal{T}(Y) \otimes \mathcal{T}(F).\) If, additionally, either \(H^*(Y; \mathbb{Q})\) has finite type or \(H^*(X; \mathbb{Q})\) has finite type and \(H^1(F; \mathbb{Q}) = 0\) then the corresponding identity holds for \(\mathcal{G}(X).\) Consequently, \(X\) is Gorenstein at \(\mathbb{Q}\) if and only if \(Y\) is Gorenstein at \(\mathbb{Q}\) and \(H^*(F; \mathbb{Q})\) is a Poincaré duality algebra in this case. The latter statement was proved for a fibration of simply connected spaces in [op. cit.]