A topological model for cellular motivic spectra

TL;DR

This paper establishes a topological model linking cellular motivic spectra over any motivic E-infinity ring spectrum to modules over a graded algebra, enhancing understanding of motivic homotopy theory.

Contribution

It constructs an equivalence between cellular motivic modules and modules over a graded algebra, refining the structure to an E-infinity algebra in specific cases.

Findings

Equivalence between cellular motivic modules and modules over a graded algebra.

Refinement to E-infinity algebra when base is complex or A admits an orientation.

Lifting of the equivalence to symmetric monoidal categories in the general case.

Abstract

For any motivic $\mathbb{E}_\infty$-ring spectrum $A$ we construct an equivalence $\rho$ between the $\infty$-category of cellular motivic $A$-module spectra and modules over an $\mathbb{E}_1$-algebra $\Theta$ in $\mathbb{Z} $-graded spectra, under which the motivic grading corresponds to the $\mathbb{Z}$-grading. If the base is the complex numbers or if $A$ admits an $\mathbb{E}_\infty$-orientation, we refine the $\mathbb{E}_1$-algebra $\Theta$ to an $\mathbb{E}_\infty$-algebra and $\rho$ to a symmetric monoidal equivalence. To capture the symmetric monoidal structure in the general situation, we lift $\rho$ to a symmetric monoidal equivalence to modules over an $\mathbb{E}_\infty$-algebra in $\mathcal{J} $-graded spectra that invert morphisms of $\mathcal{J}$, where $\mathcal{J}$ is the diagram category of Sagave-Schlichtkrull, a model for Quillen's localization of the groupoid of finite sets and bijections.