Strict $\mathbb A^1$-homotopy invariance theorem with integral coefficients over fields (2108.01006v3)

Abstract: We extend the generality of the theory of framed motives by G.~Garkusha and I.~Panin to the case of an arbitrary base field. This theory plays a fundamental role and allows to get explicit computations of stable motivic homotopy types. We prove in the present article the key required result that is the strict homotopy invariance theorem. The result extends the celebrating Voevodsky's strict homotopy invariance theorem on $\mathbb A^1$-homotopy invariant presheaves with transfers to arbitrary fields.