Abstract.
We establish the existence of an “Atiyah-Hirzebruch-like” spectral sequence relating the morphic cohomology groups of a smooth, quasi-projective complex variety to its semi-topological K-groups. This spectral sequence is compatible with (and, indeed, is built from) the motivic spectral sequence that relates the motivic cohomology and algebraic K-theory of varieties, and it is also compatible with the classical Atiyah-Hirzebruch spectral sequence in algebraic topology. In the second part of this paper, we use this spectral sequence in conjunction with another computational tool that we introduce — namely, a variation on the integral weight filtration of the Borel-Moore (singular) homology of complex varieties introduced by H. Gillet and C. Soulé – to compute the semi-topological K-theory of a large class of varieties. In particular, we prove that for curves, surfaces, toric varieties, projective rational three-folds, and related varieties, the semi-topological K-groups and topological K-groups are isomorphic in all degrees permitted by cohomological considerations. We also formulate integral conjectures relating semi-topological K-theory to topological K-theory analogous to more familiar conjectures (namely, the Quillen-Lichtenbaum and Beilinson-Lichtenbaum Conjectures) concerning mod-n algebraic K-theory and motivic cohomology. In particular, we prove a local vanishing result for morphic cohomology which enables us to formulate precisely a conjectural identification of morphic cohomology by A. Suslin. Our computations verify that these conjectures hold for the list of varieties above.
References
Abramovich, D., Karu, K., Matsuki, K., Włodarczyk, J.: Torification and factorization of birational maps. J. Am. Math. Soc. 15(3), 531–572 (electronic), 2002
Andreotti, A., Frankel, T.: The Lefschetz theorem on hyperplane sections. Ann. Math. (2)69, 713–717 (1959)
Atiyah, M.F., Hirzebruch, F.: Vector bundles and homogeneous spaces. In: Proc. Sympos. Pure Math., Vol. III, American Mathematical Society, Providence, R.I., 1961, pp. 7–38
Bănică, C., Putinar., M.: On complex vector bundles on projective threefolds. Invent. Math. 88(2), 427–438 (1987)
Beilinson., A.A.: Higher regulators and values of L-functions. Current Problems in Math. 24, 191–238 (1984)
Bloch, S., Lichtenbaum, S.: A spectral sequence for motivic cohomology. Preprint. Available at http://www.math.uiuc.edu/K-theory/0062/
Bousfield, A.K., Friedlander, E.M.: Homotopy theory of Γ-spaces, spectra, and bisimplicial sets. In: Geometric applications of homotopy theory (Proc. Conf., Evanston, Ill., 1977), II, volume 658 of Lecture Notes in Math., Springer, Berlin, 1978, pp. 80–130
Deligne., P.: Théorie de Hodge. III. Inst. Hautes Études Sci. Publ. Math. 44, 5–77 (1974)
Friedlander., E.M.: Bloch-Ogus properties for topological cycle theory. Ann. Sci. École Norm. Sup. (4) 33(1), 57–79 (2000)
Friedlander, E.M., Gabber, O.: Cycle spaces and intersection theory. In: Topological methods in modern mathematics (Stony Brook, NY, 1991), Publish or Perish, Houston, TX, 1993, pp. 325–370
Friedlander, E.M., Lawson., H.B.: Duality relating spaces of algebraic cocycles and cycles. Topology 36(2), 533–565 (1997)
Friedlander, E.M., Lawson, Jr., H.B.: A theory of algebraic cocycles. Ann. Math. (2) 136(2), 361–428 (1992)
Friedlander, E.M., Mazur, B.: Filtrations on the homology of algebraic varieties. Mem. Amer. Math. Soc., 110(529), x+110, (1994); With an appendix by Daniel Quillen
Friedlander, E.M., Suslin., A.: The spectral sequence relating algebraic K-theory to motivic cohomology. Ann. Ec. Norm. Sup. 35, 773–875 (2002)
Friedlander, E.M., Voevodsky, V.: Bivariant cycle cohomology. In: Cycles, transfers, and motivic homology theories, volume 143 of Ann. of Math. Stud., Princeton Univ. Press, Princeton, NJ, 2000, pp. 138–187
Friedlander, E.M., Walker, M.E.: Rational isomorphisms between K-theories and cohomology theories. Invent. Math. 154(1), 1–61 (2003)
Friedlander, E.M., Walker., M.E.: Comparing K-theories for complex varieties. Am. J. Math. 123(5), 779–810 (2001)
Friedlander, E.M., Walker, M.E.: Semi-topological K-theory of real varieties. In: Proceedings of the International Colloquium on Algebra, Arithmetic and Geometry, Mumbai 2000, volume I, 2002, pp. 219–326
Friedlander, E.M., Walker., M.E.: Semi-topological K-theory using function complexes. Topology 41(3), 591–644 (2002)
Fulton, W.: Introduction to toric varieties, volume 131 of Ann. of Math. Stud., Princeton University Press, Princeton, NJ, 1993; The William H. Roever Lectures in Geometry
Gillet, H., Soulé., C.: Descent, motives and K-theory. J. Reine Angew. Math. 478, 127–176 (1996)
Grayson., D.R.: Weight filtrations via commuting automorphisms. K-theory 9, 139–172 (1995)
Grayson, D.R., Walker., M.E.: Geometric models for algebraic K-theory. K-theory 20(4), 311–330 (2000)
Jannsen, U.: Mixed motives and algebraic K-theory, volume 1400 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, 1990; With appendices by S. Bloch and C. Schoen
Joshua., R.: Algebraic K-theory and higher Chow groups of linear varieties. Math. Proc. Cambridge Philos. Soc. 130(1), 37–60 (2001)
Levine, M.: K-theory and motivic cohomology of schemes. Preprint. Available at http://www.math.uiuc.edu/K-theory/0336/, February 1999
Lima-Filho., P.: Lawson homology for quasiprojective varieties. Compositio Math. 84(1), 1–23 (1992)
Lima-Filho., P.: On the generalized cycle map. J. Diff. Geom. 38(1), 105–129 (1993)
May, J.P., Quinn, F., Ray, N., Tornehave, J.: E∞ Ring Spaces and E∞ Ring Spectra, volume 577 of Lecture Notes in Math. Springer-Verlag, 1977
Morel, F., Voevodsky., V.: A1-homotopy theory of schemes. Inst. Hautes Études Sci. Publ. Math. 90(2001), 45–143 (1999)
Raynaud, M., Gruson., L.: Critères de platitude et de projectivité. Techniques de “platification” d’un module. Invent. Math. 13, 1–89 (1971)
Sankaran, P., Uma., V.: Cohomology of toric bundles. Comment. Math. Helv. 78(3), 540–554 (2003)
Suslin., A.: On the Grayson Spectral Sequence. Tr. Mat. Inst. Steklova 241, 218– 253 (2003)
Suslin, A., Voevodsky., V.: Singular homology of abstract algebraic varieties. Invent. Math. 123, 61–94 (1996)
Suslin, A., Voevodsky, V.: Bloch-Kato conjecture and motivic cohomology with finite coefficients. In: The arithmetic and geometry of algebraic cycles, volume 548 of NATO Sci. Ser. c Math. Phys. Sci., 2000, pp. 117–189
Thomason., R.W.: Les K-groupes d’un schéma éclaté et une formule d’intersection excédentaire. Invent. Math. 112(1), 195–215 (1993)
Thomason, R.W., Trobaugh, T.: Higher algebraic K-theory of schemes and of derived categories. In: The Grothendieck Festschrift, Volume III, volume 88 of Progress in Math., Birkhäuser, Boston, Basél, Berlin, 1990, pp. 247–436
Totaro, B.: Chow groups, Chow cohomology, and linear varieties To appear in Journal of Algebraic Geometry
Voevodsky, V.: Cohomological theory of presheaves with transfers. In: Cycles, transfers, and motivic homology theories, volume 143 of Ann. of Math. Stud., Princeton Univ. Press, Princeton, NJ, 2000, pp. 87–137
Voevodsky, V.: Homotopy theory of simplicial sheaves in completely decomposable topologies. Preprint. Available at http://www.math.uiuc.edu/K-theory/0443/, 2000
Voevodsky, V.: Unstable motivic homotopy categories in Nisnevich and cdh-topologies. Preprint. Available at http://www.math.uiuc.edu/K-theory/0444/, 2000
Author information
Authors and Affiliations
Corresponding author
Additional information
Mathematics Subject Classification (2000): 19E20, 19E15, 14F43
The first author was partially supported by the NSF and the NSA
The second author was supported by the Helen M. Galvin Fellowship of Northwestern University
The third author was partially supported by the NSF and the NSA
Rights and permissions
About this article
Cite this article
Friedlander, E., Haesemeyer, C. & Walker, M. Techniques, computations, and conjectures for semi-topological K-theory. Math. Ann. 330, 759–807 (2004). https://doi.org/10.1007/s00208-004-0569-3
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-004-0569-3