Abstract:We formulate and prove a Conner-Floyd isomorphism for the algebraic K-theory of arbitrary qcqs derived schemes. To that end, we study a stable $\infty$-category of non-$\mathbb A^1$-invariant motivic spectra, which turns out to be equivalent to the $\infty$-category of fundamental motivic spectra satisfying elementary blowup excision, previously introduced by the first and third authors. We prove that this $\infty$-category satisfies $\mathbb P^1$-homotopy invariance and weighted $\mathbb A^1$-homotopy invariance, which we use in place of $\mathbb A^1$-homotopy invariance to obtain analogues of several key results from $\mathbb A^1$-homotopy theory. These allow us in particular to define a universal oriented motivic $\mathbb E_\infty$-ring spectrum $\mathrm{MGL}$. We then prove that the algebraic K-theory of a qcqs derived scheme $X$ can be recovered from its $\mathrm{MGL}$-cohomology via a Conner-Floyd isomorphism \[\mathrm{MGL}^{**}(X)\otimes_{\mathrm L}\mathbb Z[\beta^{\pm 1}]\simeq \mathrm K^{**}(X),\] where $\mathrm L$ is the Lazard ring and $\mathrm K^{p,q}(X)=\mathrm K_{2q-p}(X)$. Finally, we prove a Snaith theorem for the periodized version of $\mathrm{MGL}$.

Non-connective K- and Nil-spectra of additive categorie

A twisted Bass-Heller-Swan decomposition for the algebraic K-theory of additive categories

Every spectrum is the K-theory of a stable $\infty$-category

$K$-theory as an Eilenberg-Maclane spectrum

Multifunctorial Inverse $K$-Theory

Vanishing of Nil-terms and negative K -theory for additi ve categories

Equivariant algebraic $K$-theory of symmetric monoidal Mackey functors

Topological Koszulity for Category Algebras

On multiplicative spectral sequences for nerves and the free loop spaces

Constructing spectra using cone injectivity

Skeleta and categories of algebras

A linearization map for genuine equivariant algebraic $K$-theory

On the K-theory of $\mathbb{Z}$-categories

Hermitian K-theory for stable $\infty$-categories II: Cobordism categories and additivity

Algebraic K$_0$ for unpointed Categories

Towards practical meta-querying

Categorical spectra as pointed $(\infty,\mathbb{Z})$-categories

Algebraic Kasparov K-theory. II

A multiplicative comparison of Waldhausen and Segal K-theory

Multicategories Model All Connective Spectra

Algebraic cobordism and a Conner-Floyd isomorphism for algebraic K-theory