Chow's moving Lemma and the homotopy coniveau tower (Q864987)

Let \(B\) be a Noetherian separated scheme of finite Krull dimension. For a functor \(E: {\mathcal S}m/B^{op} \rightarrow {\mathcal S}pt\) from smooth \(B\)-schemes of finite type to spectra the author constructs the homotopy coniveau tower \[ \cdots \rightarrow E^{(p+1)}(X, -) \rightarrow E^{(p)}(X,-) \rightarrow \cdots \rightarrow E^{(0)}(X, -). \] The \(E^{(p)}(X,-)\) are simplical spectra, whose \(n\)-simplices are limits of spectra with support \(E^W(X\times\Delta^n)\), where \(W\) runs through closed subsets of \(X\times\Delta^n\) with the property that \(\text{codim}_{X\times F} (W\cap(X\times F)) \geq p\) for all faces of \(\Delta^n\). Here \(\Delta^n = \text{Spec}(\mathbb Z[t_0,\cdots,t_n]/(\sum_jt_j-1))\). Let \(E^{(p/p+1)}(X,-)\) denote the homotopy cofiber of the map \(E^{(p+1)}(X, -) \rightarrow E^{(p)}(X,-)\). An immediate consequence of the homotopy coniveau tower is the spectral sequence \[ E_1^{p.q} :=\pi_{-p-q}(E^{(p/p+1)}(X, -)) \Longrightarrow \pi_{-p-q}(E^{(0)}(X,-)),\tag{\(*\)} \] which in case of the \(K\)-theory spectrum yields the Bloch-Lichtenbaum spectral sequence from motivic cohomology to \(K\)-theory [cf. \textit{S. Bloch} and \textit{S. Lichtenbaum}, ``A spectral sequence for motivic cohomology'', preprint (1995); \textit{E. M. Friedlander} and \textit{A. Suslin}, ``The spectral sequence relating algebraic \(K\)-theory to motivic cohomology'', Ann. Sci. Éc. Norm. Supér. (4) 35, 773--875 (2002; Zbl 1047.14011)]. The main result of the paper yields functoriality of the spectral sequence \((*)\) on \({\mathcal S}m/B\). In order to achieve functoriality the author first constructs a functorial model of the presheaf of spectra \(U \mapsto E^{(p)}(U,-)\) on the Nisnevich site \(X_{\text{Nis}}\) of \(X\), which is denoted by \(E^{(p)}(X_{\text{Nis}},-)\). The construction uses a generalization of the classical method used to prove Chow's moving lemma for cycles modulo rational equivalence. This yields functoriality for a similar spectral sequence with \(E^{(p)}(X,-)\) replaced by a fibrant model of \(E^{(p)}(X_{\text{Nis}},-)\). Functoriality of \((*)\) then follows from the localization properties of \(E^{(p)}(X,-)\), which were developed by \textit{M. Levine} [``Techniques of localization in the theory of algebraic cycles'', J. Algebr. Geom. 10, 299--363 (2001; Zbl 1077.14509)].