A motivic homotopy theory without \(\mathbb{A}^1 \)-invariance (Q2193054)

The author makes a first pace towards a motivic homotopy theory [\textit{F. Morel} and \textit{V. Voevodsky}, Publ. Math., Inst. Hautes Étud. Sci. 90, 45--143 (1999; Zbl 0983.14007)] for schemes with modulus (i.e., the data of a compactification together with an effective Cartier divisor), in the style of [\textit{B. Kahn} et al., Compos. Math. 152, No. 9, 1851--1898 (2016; Zbl 1419.19001)], in which one may study some non homotopy invariant cohomology theories. For \(k\) a perfect field which satisfies resolution of singularities, the category of modulus data is introduced in Section 2, together with the Nisnevich and Zariski topologies. In Sections 3 and 4 it is proved that there is a well-defined model structure on the category of simplicial presheaves on the category of modulus data (called motivic spaces with modulus), similar to the Morel-Voevodsky construction, where the affine line \(\mathbb{A}^1\) is replaced by the pair \((\mathbb{P}^1,\infty)\). The main result (Corollary 4.52) states that the motivic spaces with modulus which are \((\mathbb{P}^1,\infty)\)-invariant and satisfy Nisnevich excision play the role of fibrant objects in this model category, in the sense that the cohomology theories they represent in the associated homotopy category can be directly computed.