Unstable motivic homotopy categories in Nisnevich and cdh-topologies (Q2268584): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 07:31, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Unstable motivic homotopy categories in Nisnevich and cdh-topologies |
scientific article |
Statements
Unstable motivic homotopy categories in Nisnevich and cdh-topologies (English)
0 references
8 March 2010
0 references
Consider the category \(Sch/k\) (resp. \(Sm/k\)) of schemes (resp. smooth schemes) over some field \(k\) admitting resolution of singularities. There is a reasonable continuous map \(\pi:(Sch/k)_{cdh}\to (Sm/k)_{Nis}\) of sites with intervals [cf. Prop. 3.9 in \textit{V. Voevodsky}, J. Pure Appl. Algebra 214, No. 8, 1384--1398 (2010; Zbl 1194.55020)] and a corresponding inverse image functor on the pointed homotopy categories: \[ \mathbf{L}\pi^*_\bullet: H_\bullet((Sm/k)_{Nis},\mathbf{A}^1)\to H_\bullet((Sch/k)_{cdh},\mathbf{A}^1). \] The aim of this note is to prove first that this inverse image functor is a localisation. Then, it is shown that for a morphism \(f\) in the pointed homotopy category such that \(\mathbf{L}\pi^*_\bullet(f)\) is an isomorphism of categories, the first simplicial suspension \(\Sigma^1_s(f)=f\wedge id_{S_s^1}\) is an isomorphism.
0 references
unstable motivic homotopy theory
0 references
Nisnevich topology cdh-topology
0 references