Journal of Topology Advance Access originally published online on October 28, 2007
Journal of Topology 2008 1(1):217-267; doi:10.1112/jtopol/jtm004
© 2007 London Mathematical Society
The homotopy coniveau tower
Department of Mathematics, Northeastern University, Boston, MA 02115, USA marc{at}neu.edu
We examine the homotopy coniveau tower for a general cohomology theory on smooth k-schemes and give a new proof that the layers of this tower for K-theory agree with motivic cohomology. In addition, we show that the homotopy coniveau tower agrees with Voevodsky's slice tower for S1-spectra, giving a proof of a connectedness conjecture of Voevodsky. The homotopy coniveau tower construction extends to a tower of functors on the Morel–Voevodsky stable homotopy category, and we identify this
1-stable homotopy coniveau tower with Voevodsky's slice tower for
1-spectra. We also show that the zeroth layer for the motivic sphere spectrum is the motivic cohomology spectrum, which gives the layers for a general
1-spectrum the structure of a module over motivic cohomology. This recovers and extends results of Voevodsky on the zeroth layer of the slice filtration, and yields a spectral sequence that is reminiscent of the classical Atiyah–Hirzebruch spectral sequence.
Received January 23, 2007.
2000 Mathematics Subject Classification 14C25, 19E15 (primary), 19E08, 14F42, 55P42 (secondary)
The author gratefully acknowledges the support of the Humboldt Foundation through the Wolfgang Paul Program, and support of the NSF via grants DMS 0140445 and DMS-0457195.
References
- Bloch S. Algebraic cycles and higher K-theory. Adv. Math. (1986) 61:267–304.[CrossRef]
- Bloch S., Lichtenbaum S. A spectral sequence for motivic cohomology. (1995) Preprint, http://www.math.uiuc.edu/K-theory/0062/.
- Bousfield A., Kan D. Homotopy limits, completions and localizations (1972) Berlin: Springer. Lecture Notes in Mathematics 304.
- Friedlander E., Suslin A. The spectral sequence relating algebraic K-theory to motivic cohomology. Ann. Sci. École Norm. Sup. (4) (2002) 35(6):773–875.
- Goerss P. G., Jardine J. F. Localization theories for simplicial presheaves. Canad. J. Math. (1998) 50(5):1048–1089.
- Hovey M. Model categories (1999) Providence, RI: American Mathematical Society. Mathematical Surveys and Monographs 63.
- Huber A., Kahn B. The slice filtration and mixed Tate motives. Compos. Math. (2006) 142(4):907–936.[CrossRef]
- Jardine J. F. Stable homotopy theory of simplicial presheaves. Canad. J. Math. (1987) 39:733–747.
- Jardine J. F. Motivic symmetric spectra. Doc. Math. (2000) 5:445–553.
- Kahn B., Sujatha R. Birational motives. (2002) Preprint, http://www.math.uiuc.edu/K-theory/0596/.
- Levine M. Mixed motives (1998) Providence, RI: American Mathematical Society. Mathematical Surveys and Monographs 57.
- Levine M. Techniques of localization in the theory of algebraic cycles. J. Algebraic Geom. (2001) 10:299–363.
- Levine M. Chows moving lemma in A1 homotopy theory. K-Theory (2006) 37:129–209.
- Morel F. A1-homotopy theory. In: Lecture Series (2002) 9. Newton Institute for Mathematics.
- Morel F. An introduction to A1-homotopy theory. In: Contemporary developments in algebraic K-theory (2004) Trieste, Italy: Abdus Salam International Centre for Theoretical Physics. 357–441. ICTP Lecture Notes XV.
- Morel F. Homotopy theory of schemes (2006) Translated from the 1999 French original by James D. Lewis, SMF/AMS Texts and Monographs 12 (American Mathematical Society, Providence, RI; Société Mathématique de France, Paris).
- Morel F., Voevodsky V. A1-homotopy theory of schemes. Publ. Math. Inst. Hautes Études Sci. (1999) 90:45–143.[CrossRef]
- Neeman A. Triangulated categories (2001) Princeton, NJ: Princeton University Press. Annals of Mathematics Studies 148.
- Østvær P. A., Röndigs O. Motives and modules over motivic cohomology. C. R. Math. Acad. Sci. Paris (2006) 342(10):751–754.
- Østvær P. A., Röndigs O. Motives and modules over motivic cohomology. C. R. Acad. Sci. Paris (2006) 342(10):751–754.
- Quillen D. Higher algebraic K-theory I. In: Algebraic K-theory I: Higher K-theories (1973) Berlin: Springer. 85–147. Lecture Notes in Mathematics 341.
- Spitzweck M. Operads, algebras and modules in model categories and motives. In: PhD Thesis (2001) Bonn, Germany: Universität Bonn.
- Suslin A. On the Grayson spectral sequence. Proc. Steklov Inst. Math. (2003) 241(2):202–237.
- Voevodsky V. Motivic cohomology groups are isomorphic to higher Chow groups in any characteristic. Int. Math. Res. Not. (2002) 2002:351–355.[CrossRef]
- Voevodsky V. Open problems in the motivic stable homotopy theory. I. In: Motives, polylogarithms and Hodge theory, Part I, Irvine, CA, 1998 (2002) Somerville, MA: International Press. 3–34. International Press Lecture Series 3, I.
- Voevodsky V. A possible new approach to the motivic spectral sequence for algebraic K-theory. In: Recent progress in homotopy theory, Baltimore, MD, 2000 (2002) Providence, RI: American Mathematical Society. 371–379. Contemporary Mathematics 293.
- Voevodsky V. On the zero slice of the sphere spectrum. Proc. Steklov Inst. Math. (2004) 246(3):93–102.
- Voevodsky V., Suslin A., Friedlander E. Cycles, transfers and motivic homology theories (2000) Princeton, NJ: Princeton University Press. Annals of Mathematics Studies 143.
- Vorst T. Polynomial extensions and excision for K1. Math. Ann. (1979) 244:193–204.[CrossRef]
- Weibel C. A. Homotopy algebraic K-theory. In: Algebraic K-theory and algebraic number theory, Honolulu, HI, 1987 (1989) Providence, RI: American Mathematical Society. 461–488. Contemporary Mathematics 83.
| ||||||||||||||||||||||||||||||||||||||||||||||