Grothendieck-Witt theory of derived schemes

Marc Hoyois, Markus Land

We construct a non-${\mathbb{A}}^1$-invariant motivic ring spectrum $\mathrm{KO}$ over $\mathrm{Spec}(\mathbb{Z})$, whose associated cohomology theory on qcqs derived schemes is the…