Birational motivic homotopy theories and the slice filtration (Q1946062): Difference between revisions

Let \(X\) be a Noetherian separated base scheme of finite Krull dimension, \(Sch_X\) the category of schemes of finite type over \(X\) and \(Sm_X\) the subcategory of smooth schemes over \(X\) regarded as a site with the Nisnevich topology. Let \({\mathcal M}\) be the category of pointed simplicial presheaves in \(Sm_X\) equipped with motivic Quillen model structure. By \(Spt(M)\) we will denote Jardine's category of symmetric \(T\)-spectra on \({\mathcal M}\), equipped with the motivic model structure, and by \(SH\) its homotopy category. \textit{V. Voevodsky} [in: Open problems in the motivic stable homotopy theory. I: Int. Press Lect. Ser. 3, 3--34, Int. Press, Somerville, Ma (2002; Zbl 1047.14012)] has defined a slice filtration on \(SH\) by means of a family of triangulated subcategories \[ \cdots\subseteq \Sigma^{q+1}_T SH^{\text{eff}}\subseteq \Sigma^q_T SH^{\text{eff}}\subseteq\Sigma^{q-1}_T SH^{\text{eff}}\subseteq\cdots . \] Let \(E\in Spt({\mathcal M})\) be a symmetric \(T\)-spectrum. Then \(E\) is said to be \(n\)-orthogonal if, for all \(K\in\Sigma^n_T SH^{\text{eff}}\) \[ \Hom_{SH}(K, E)= 0. \] This paper contains a proof of an equivalence of categories between the orthogonal components of the slice filtration and the birational motivic stable homotopy categories, which are constructed following the work of \textit{B. Kahn} and \textit{R. Sujatha} [in: Birational Motives I. K-theory Preprint Archives, October 2002, \url{http://www.math.uiuc.edu/K-theory/0596/}].