Strict algebraic models for rational parametrised spectra. I (Q2035048)

This paper develops a theory of algebraic models for the rational homotopy theory of parametrized spectra using Quillen's classical point of view for rational homotopy theory. \textit{D. Quillen} [Ann. Math. (2), 90, 205--295 (1969; Zbl 0191.53702)] introduced the functors \[\lambda: \mathsf{Top_{1}} \to \mathsf{DGL_{\geq 1}} \quad \textrm{ and} \quad \mathcal C : \mathsf{Top_{1}}\to \mathsf{CDGC_{\geq 2}}\] from the category \(\mathsf{Top_{1}}\) of simply-connected spaces to the categories \(\mathsf{DGL_{\geq 1}}\) of positively graded dg Lie algebras, and \(\mathsf{CDGC_{\geq 2}}\) of 2-connected cocommutative dg coalgebras, respectively. Let \(X\) be a simply-connected space. Denote by \begin{itemize} \item \(\mathsf{Mod}\left(\lambda(X)\right)\) the category of dg Lie modules over \(\lambda(X)\), \item \(\mathsf{Mod}(\mathcal C(X))\) the category of dg comodules over \(\mathcal C(X)\), and \item \(\mathsf{Spec}_X\) the stable \(\infty\)-category of \(X\)-parametrized spectra. \end{itemize} Each of the categories above carries a certain model category structure (remark that in this work, the weak equivalences in \(\mathsf{Mod}(\mathcal C(X))\) are those maps that become a quasi-isomorphism after applying the cobar construction, i.e., the \(\Omega\)-quasi-isomorphisms). The main result of this paper asserts that there are equivalences of homotopy categories \[Ho\left(\mathsf{Spec}_X\right)_{\mathbb{Q}} \simeq Ho\left(\mathsf{Mod}\left(\lambda(X)\right)\right) \simeq Ho\left(\mathsf{Mod}(\mathcal C(X))\right).\] Furthermore, the equivalences above are pseudonatural strongly symmetric monoidal with respect to the fiberwise smash product, the derived tensor product, and the derived cotensor product, respectively. As an application of the main result, the author classifies the rational homotopy classes of fiberwise stable maps in terms of \(\operatorname{Ext}\) and \(\operatorname{coExt}\) groups as follows. For \(X\)-parametrized spectra \(P\) and \(Q\), denote by \(\{P,Q\}_X^*\) the \(\mathbb{Z}\)-graded abelian group of homotopy classes of fiberwise stable maps \(P\to Q.\) If \(X\) is simply-connected, the author proves that: \begin{itemize} \item[1.] If \(M,N\in \mathsf{Mod}(\lambda(X))\) correspond to the \(X\)-parametrized spectra \(P\) and \(Q\), respectively, then under the main equivalence of categories proven in the paper, there is an isomorphism of rational graded vector spaces \[ \{P,Q\}_X^*\otimes \mathbb{Q} \cong \operatorname{Ext}_{U\lambda(X)}^*(M,N) .\] Here, \(U\) is the universal enveloping algebra functor. \item[2.] If \(M,N\in \mathsf{Mod}(\mathcal C(X))\) correspond to the \(X\)-parametrized spectra \(P\) and \(Q\), respectively, then under the main equivalence of categories proven in the paper, there is an isomorphism of rational graded vector spaces \[ \{P,Q\}_X^*\otimes \mathbb{Q} \cong \operatorname{coExt}_{\mathcal C(X)}^*(M,N) .\] \end{itemize} The paper is very well-written and detailed. Similar results involving the category \(\mathsf{Mod}\left(C^*(X;\mathbb{Q})\right)\) of dg modules over the associative dg algebra of cochains, with connections to Sullivan's models, can be found in [\textit{Y. Félix} et al., J. Topol., 3, 743--758 (2010; Zbl 1221.55012)]. In relation to Sullivan's perspective of rational homotopy theory (using commutative dg algebras), this has been studied in a preprint by the author, [\textit{V. Braunack-Mayer}, ``Strict algebraic models for rational parametrised spectra II'', Preprint, \url{arXiv:2011.06307}]. There, under the usual finite \(\mathbb{Q}\)-type and nilpotency assumptions, the category of dg modules \(\mathsf{Mod}\left(A\right)\) over a Sullivan cdga model \(A = (\Lambda V,d)\) of a space \(X\), there is a corresponding equivalence of homotopy categories with a sufficiently restricted category of \(X\)-parametrized spectra.