A new approach to rational stable parametrized homotopy theory
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866911153917001728 |
|---|---|
| author | Félix, Yves Murillo, Aniceto Saiz, Alejandro |
| author_facet | Félix, Yves Murillo, Aniceto Saiz, Alejandro |
| contents | 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 $\widehat{UL}$ of a Lie model $L$ of the base simplicial set $B$. Explicitly, there is a sequence of Quillen adjunctions $$ \mathbf{Sp}_B \leftrightarrows \mathbf{Sp}_L \leftrightarrows \mathbf{Sp}_{\widehat{UL}}^0 \leftrightarrows
\mathbf{cdgm}_{\widehat{UL}} $$ which induces a natural, strong monoidal equivalence of categories $$
{\rm Ho}\,\mathbf{Sp}_B^{\Bbb Q}\cong {\rm Ho}\, \mathbf{cdgm}_{\widehat{UL}}.
$$ 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 $\widehat{UL}$-modules. Here $\mathbf{Sp}_B$ denotes the stable model category of spectra of retractive simplicial sets over $B$, $\mathbf{Sp}_L$ denotes the stable model category of spectra of retractive complete differential graded Lie algebras over $L$, $\mathbf{Sp}_{\widehat{UL}}^0$ denotes the stable model category of connected $\widehat{UL}$-module spectra, and $\mathbf{cdgm}_{\widehat{UL}}$ denotes the category of complete differential graded $\widehat{UL}$-modules. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_11393 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A new approach to rational stable parametrized homotopy theory Félix, Yves Murillo, Aniceto Saiz, Alejandro Algebraic Topology 55P62, 55P42, 55R70 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 $\widehat{UL}$ of a Lie model $L$ of the base simplicial set $B$. Explicitly, there is a sequence of Quillen adjunctions $$ \mathbf{Sp}_B \leftrightarrows \mathbf{Sp}_L \leftrightarrows \mathbf{Sp}_{\widehat{UL}}^0 \leftrightarrows \mathbf{cdgm}_{\widehat{UL}} $$ which induces a natural, strong monoidal equivalence of categories $$ {\rm Ho}\,\mathbf{Sp}_B^{\Bbb Q}\cong {\rm Ho}\, \mathbf{cdgm}_{\widehat{UL}}. $$ 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 $\widehat{UL}$-modules. Here $\mathbf{Sp}_B$ denotes the stable model category of spectra of retractive simplicial sets over $B$, $\mathbf{Sp}_L$ denotes the stable model category of spectra of retractive complete differential graded Lie algebras over $L$, $\mathbf{Sp}_{\widehat{UL}}^0$ denotes the stable model category of connected $\widehat{UL}$-module spectra, and $\mathbf{cdgm}_{\widehat{UL}}$ denotes the category of complete differential graded $\widehat{UL}$-modules. |
| title | A new approach to rational stable parametrized homotopy theory |
| topic | Algebraic Topology 55P62, 55P42, 55R70 |
| url | https://arxiv.org/abs/2509.11393 |