2025/09/14 by Félix, Yves, Murillo, Aniceto, Saiz, Alejandro
#55P42 #55P62 #55R70 #Algebraic Topology (math.AT) #FOS: Mathematics
paper · doi:10.48550/arxiv.2509.11393
This work develops a comprehensive algebraic model for rational stable parametrized homotopy theory over arbitrary base spaces. Building on the simplicial analogue of the foundational framework of May-Sigurdsson for parametrized spectra, and the homotopy theory of complete differential graded Lie algebras, we construct an explicit sequence of Quillen equivalences that translate the homotopy theory of rational spectra of retractive simplicial sets into the purely algebraic framework of complete differential graded modules over the completed universal enveloping algebra \widehatUL of a Lie model L of the base simplicial set B. Explicitly, there is a sequence of Quillen adjunctions SpB \leftrightarrows SpL \leftrightarrows Sp_\widehatUL0 \leftrightarrows cdgm_\widehatUL which induces a natural, strong monoidal equivalence of categories \rm Ho SpB\Bbb Q≅ \rm Ho cdgm_\widehatUL. This equivalence is highly effective in practice as it provides direct computational access to invariants of simplicial spectra by translating them into homotopy invariants of \widehatUL-modules. Here SpB denotes the stable model category of spectra of retractive simplicial sets over B, SpL denotes the stable model category of spectra of retractive complete differential graded Lie algebras over L, Sp_\widehatUL0 denotes the stable model category of connected \widehatUL-module spectra, and cdgm_\widehatUL denotes the category of complete differential graded \widehatUL-modules.