Convergence of Voevodsky's slice tower (Q374019)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Convergence of Voevodsky's slice tower |
scientific article |
Statements
Convergence of Voevodsky's slice tower (English)
0 references
25 October 2013
0 references
For a perfect field \(k\) let \({\mathcal S\mathcal H}(k)\) be Voevodsky's motivic stable homotopy category of \(T\)-spectra over \(k\) and \({\mathcal S\mathcal H}\) the classical (topological) stable homotopy category of spectra. For a spectrum \(E\in {\mathcal S\mathcal H}\) one has the classical Postnikov tower of \(E\) consisting of the \((n-1)\)-connected covers \(E^{(n)}\rightarrow E\). The spectra \(E^{(n)}\) in the Postnikov tower : \(\dots \rightarrow E^{(n+1)}\rightarrow E^{(n)}\rightarrow\dots\rightarrow E\) have of course the property that the induced mapp \({\pi}_{m}E^{(n)}\rightarrow {\pi}_{m}E\) is an isomorphism for \(m\geq n.\) There is a functor from \({\mathcal S\mathcal H}\) to the full subcategory \({\Sigma}^{n}{\mathcal S\mathcal H}^{eff}\) of \((n-1)\)-connected spectra which sends \(E\) to \(E^{n}.\) Let \({\Sigma}^{n}_{T}{\mathcal S\mathcal H}^{eff}(k)\) be a triangulated subcategory of \({\mathcal S\mathcal H}(k)\) defined by \textit{V. Voevodsky} [Int. Press Lect. Ser. 3, No. I, 3--34 (2002; Zbl 1047.14012); Contemp. Math. 293, 371--379 (2002; Zbl 1009.19003)]. Voevodsky defined a slice tower for an object \({\mathcal E}\in {\mathcal S\mathcal H}(k) :\) \(\dots \rightarrow f_{n+1}{\mathcal E}\rightarrow f_{n} {\mathcal E}\rightarrow\dots\rightarrow {\mathcal E}.\) Let \({\prod}_{a,b}({\mathcal E})\) be the stable homotopy sheaf defined to be the sheafification of the Nisnevich presheaf \( U\in {\mathbf{Sm}}/k \rightarrow [{\Sigma}^{a}_{S^{1}}{\Sigma}^{b}_{{\mathbb G}_{m}}{\Sigma}^{\infty}_{T}U_{+}]_{{\mathcal S\mathcal H}(k)}.\) The slice filtration for \(\mathcal E\) yields the Tate filtration: \({\text{Fil}}^{n}_{\text{Tate}}{\prod}_{a,b}({\mathcal E}):= {\text{im}}({\prod}_{a,b}f_{n}{\mathcal E} \rightarrow {\prod}_{a,b}{\mathcal E}).\) Let \({\mathcal S\mathcal H}_{fin}(k)\subset {\mathcal S\mathcal H}(k)\) be the thick subcategory of \({\mathcal S\mathcal H}(k)\) generated by the objects \({\Sigma}^{n}_{T}{\Sigma}^{\infty}_{T}X_{+},\) where \(X\) is smooth and projective over \(k,\) \(n\in {\mathbb Z}.\) In Zbl 1047.14012, Voevodsky stated the convergence conjecture which asserts that for \(k\) perfect, \({\mathcal E}\in {\mathcal S\mathcal H}_{fin}(k)\) for all \(a,b,m \in {\mathbb Z}\) one has \(\bigcap_nF^n_{\text{Tate}}\prod_{a,b}f_m{\mathcal E}=0.\) In the paper the author partially verifies this conjecture by showing that for \(k\) of finite cohomological dimension the induced filtration on \({\prod}_{a,b}f_{m}{\mathcal E}\) is finite, exhaustive and separated at each stalk after inverting the exponential characteristic of \(k.\)
0 references
motivic stable homotopy theory
0 references
slice filtration
0 references
Morel-Voevodsky stable homotopy category
0 references