Zariski-local framed ${\mathbb{A}}^1$-homotopy theory

Andrei Druzhinin, Vladimir Sosnilo

For any (not necessarily perfect) field $k$ we obtain equivalences of $\infty$-categories \[\mathbf{H}^{\mathrm{fr},\mathrm{gp}}(k)\simeq \mathbf{H}^{\mathrm{fr},\mathrm{gp}}_{\mat…