A motivic homotopy theory without \(\mathbb{A}^1 \)-invariance (Q2193054)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A motivic homotopy theory without \(\mathbb{A}^1 \)-invariance |
scientific article |
Statements
A motivic homotopy theory without \(\mathbb{A}^1 \)-invariance (English)
0 references
24 August 2020
0 references
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.
0 references
schemes with modulus
0 references
motivic homotopy theory
0 references
model category
0 references