A Global Model Structure for $\mathbb{K}$-Linear $\infty$-Local Systems
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915920434167808 |
|---|---|
| author | Sati, Hisham Schreiber, Urs |
| author_facet | Sati, Hisham Schreiber, Urs |
| contents | Parameterized stable homotopy theory organizes local systems of spectra over homotopy types, governed by a "yoga" of six functors. To provide semantics for the recently developed Linear Homotopy Type Theory (LHoTT), good model categories of these spectra are required, preferably monoidal with respect to the external smash product.
We focus on the case of parameterized $H\mathbb{K}$-module spectra ($\infty$-local systems), motivated by recent applications of parameterized homotopy to topological quantum computing. While traditionally treated via dg-categories, we leverage combinatorial model structures on simplicial chain complexes to construct the first dedicated global model structure for $\mathbb{K}$-linear $\infty$-local systems, which offers better control than existing models for general parameterized spectra. In particular, when restricted to base 1-types, our model structure is monoidal with respect to the external tensor product, making it a candidate target semantics for the multiplicative fragment of LHoTT. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_05671 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | A Global Model Structure for $\mathbb{K}$-Linear $\infty$-Local Systems Sati, Hisham Schreiber, Urs Algebraic Topology Category Theory Quantum Physics Primary: 18N40, 55U35, Secondary: 55P42, 18N60, 03B15, 81P68 Parameterized stable homotopy theory organizes local systems of spectra over homotopy types, governed by a "yoga" of six functors. To provide semantics for the recently developed Linear Homotopy Type Theory (LHoTT), good model categories of these spectra are required, preferably monoidal with respect to the external smash product. We focus on the case of parameterized $H\mathbb{K}$-module spectra ($\infty$-local systems), motivated by recent applications of parameterized homotopy to topological quantum computing. While traditionally treated via dg-categories, we leverage combinatorial model structures on simplicial chain complexes to construct the first dedicated global model structure for $\mathbb{K}$-linear $\infty$-local systems, which offers better control than existing models for general parameterized spectra. In particular, when restricted to base 1-types, our model structure is monoidal with respect to the external tensor product, making it a candidate target semantics for the multiplicative fragment of LHoTT. |
| title | A Global Model Structure for $\mathbb{K}$-Linear $\infty$-Local Systems |
| topic | Algebraic Topology Category Theory Quantum Physics Primary: 18N40, 55U35, Secondary: 55P42, 18N60, 03B15, 81P68 |
| url | https://arxiv.org/abs/2604.05671 |