Motivic twisted K–theory

Spitzweck, Markus¹ ; Østvær, Paul Arne²

¹Fakultät für Mathematik, Universität Regensburg, D-93040 Regensburg, Germany
²Department of Mathematics, University of Oslo, 0316 Oslo, Norway

Algebraic and Geometric Topology, Tome 12 (2012) no. 1, pp. 565-599

Résumé

This paper sets out basic properties of motivic twisted K–theory with respect to degree three motivic cohomology classes of weight one. Motivic twisted K–theory is defined in terms of such motivic cohomology classes by taking pullbacks along the universal principal BGm–bundle for the classifying space of the multiplicative group scheme Gm. We show a Künneth isomorphism for homological motivic twisted K–groups computing the latter as a tensor product of K–groups over the K–theory of BGm. The proof employs an Adams Hopf algebroid and a trigraded Tor-spectral sequence for motivic twisted K–theory. By adapting the notion of an E∞–ring spectrum to the motivic homotopy theoretic setting, we construct spectral sequences relating motivic (co)homology groups to twisted K–groups. It generalizes various spectral sequences computing the algebraic K–groups of schemes over fields. Moreover, we construct a Chern character between motivic twisted K–theory and twisted periodized rational motivic cohomology, and show that it is a rational isomorphism. The paper includes a discussion of some open problems.

Détail

DOI : 10.2140/agt.2012.12.565

Classification : 14F42, 55P43, 19L50, 14F99, 19D99
Keywords: motivic homotopy theory, twisted $K$–theory, motivic cohomology, bundle, Adams Hopf algebroid

Bibliographie

[1] J F Adams, Stable homotopy and generalised homology, , Univ. of Chicago Press (1974)

[2] D W Anderson, L Hodgkin, The K–theory of Eilenberg–Mac Lane complexes, Topology 7 (1968) 317

[3] M Ando, A J Blumberg, D Gepner, Twists of K–theory and TMF, from: "Superstrings, geometry, topology, and C∗–algebras" (editors R S Doran, G Friedman, J Rosenberg), Proc. Sympos. Pure Math. 81, Amer. Math. Soc. (2010) 27

[4] M Atiyah, G Segal, Twisted K–theory, Ukr. Mat. Visn. 1 (2004) 287

[5] M Atiyah, G Segal, Twisted K–theory and cohomology, from: "Inspired by S S Chern" (editor P A Griffiths), Nankai Tracts Math. 11, World Sci. Publ. (2006) 5

[6] S Bloch, Algebraic cycles and higher K–theory, Adv. in Math. 61 (1986) 267

[7] S Bloch, S Lichtenbaum, A spectral sequence for motivic cohomology, K–theory Preprint Archives 0062 (1995)

[8] P Bouwknegt, A L Carey, V Mathai, M K Murray, D Stevenson, Twisted K–theory and K–theory of bundle gerbes, Comm. Math. Phys. 228 (2002) 17

[9] U Bunke, D Freed, T Schick, Editors, Arbeitsgemeinschaft mit aktuellem Thema : twisted K–theory, Oberwolfach Rep. 3 (2006) 2757

[10] D C Cisinski, F Deglise, Triangulated categories of mixed motives

[11] P Donovan, M Karoubi, Graded Brauer groups and K–theory with local coefficients, Inst. Hautes Études Sci. Publ. Math. (1970) 5

[12] D Dugger, D C Isaksen, Motivic cell structures, Algebr. Geom. Topol. 5 (2005) 615

[13] B I Dundas, M Levine, P A Østvær, O Röndigs, V Voevodsky, Motivic homotopy theory, , Springer (2007)

[14] B I Dundas, O Röndigs, P A Østvær, Motivic functors, Doc. Math. 8 (2003) 489

[15] D S Freed, M J Hopkins, T Teleman, Loop groups and twisted K–theory I

[16] E M Friedlander, A Suslin, The spectral sequence relating algebraic K–theory to motivic cohomology, Ann. Sci. École Norm. Sup. 35 (2002) 773

[17] D Gepner, V Snaith, On the motivic spectra representing algebraic cobordism and algebraic K–theory, Doc. Math. 14 (2009) 359

[18] D R Grayson, The motivic spectral sequence, from: "Handbook of K–theory. Vol. 1, 2" (editors E M Friedlander, D R Grayson), Springer (2005) 39

[19] A Grothendieck, Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas IV, Inst. Hautes Études Sci. Publ. Math. (1967) 361

[20] J J Gutiérrez, O Röndigs, M Spitzweck, P A Østvær, Motivic slices and colored operads

[21] J Hornbostel, Preorientations of the derived motivic multiplicative group

[22] M Hovey, Homotopy theory of comodules over a Hopf algebroid, from: "Homotopy theory : relations with algebraic geometry, group cohomology, and algebraic K–theory" (editors P Goerss, S Priddy), Contemp. Math. 346, Amer. Math. Soc. (2004) 261

[23] M Hovey, N Strickland, Comodules and Landweber exact homology theories, Adv. Math. 192 (2005) 427

[24] P Hu, On the Picard group of the stable A1–homotopy category, Topology 44 (2005) 609

[25] J F Jardine, Motivic symmetric spectra, Doc. Math. 5 (2000) 445

[26] M Karoubi, Twisted K–theory—old and new, from: "K–theory and noncommutative geometry" (editors G Cortiñas, J Cuntz, M Karoubi, R Nest, C A Weibel), EMS Ser. Congr. Rep., Eur. Math. Soc. (2008) 117

[27] M Khorami, A universal coefficient theorem for twisted K–theory, J. Topol. 4 (2011) 535

[28] M Levine, The homotopy coniveau tower, J. Topol. 1 (2008) 217

[29] J Lurie, Higher topos theory, 170, Princeton Univ. Press (2009)

[30] J P May, J Sigurdsson, Parametrized homotopy theory, 132, Amer. Math. Soc. (2006)

[31] F Morel, On the motivic π0 of the sphere spectrum, from: "Axiomatic, enriched and motivic homotopy theory" (editor J P C Greenlees), NATO Sci. Ser. II Math. Phys. Chem. 131, Kluwer (2004) 219

[32] N Naumann, M Spitzweck, P A Østvær, Chern classes, K–theory and Landweber exactness over nonregular base schemes, from: "Motives and algebraic cycles" (editors R de Jeu, J D Lewis), Fields Inst. Commun. 56, Amer. Math. Soc. (2009) 307

[33] N Naumann, M Spitzweck, P A Østvær, Motivic Landweber exactness, Doc. Math. 14 (2009) 551

[34] P Pelaez, Multiplicative properties of the slice filtration, 335, Soc. Math. France (2011)

[35] D Quillen, On the cohomology and K–theory of the general linear groups over a finite field, Ann. of Math. 96 (1972) 552

[36] D C Ravenel, Complex cobordism and stable homotopy groups of spheres, 121, Academic Press (1986)

[37] D C Ravenel, W S Wilson, The Hopf ring for complex cobordism, J. Pure Appl. Algebra 9 (1977) 241

[38] O Röndigs, P A Østvær, Motives and modules over motivic cohomology, C. R. Math. Acad. Sci. Paris 342 (2006) 751

[39] O Röndigs, P A Østvær, Modules over motivic cohomology, Adv. Math. 219 (2008) 689

[40] O Röndigs, M Spitzweck, P A Østvær, Motivic strict ring models for K–theory, Proc. Amer. Math. Soc. 138 (2010) 3509

[41] J Rosenberg, Continuous-trace algebras from the bundle theoretic point of view, J. Austral. Math. Soc. Ser. A 47 (1989) 368

[42] S Schwede, B E Shipley, Algebras and modules in monoidal model categories, Proc. London Math. Soc. 80 (2000) 491

[43] M Spitzweck, Relations between slices and quotients of the algebraic cobordism spectrum, Homology, Homotopy Appl. 12 (2010) 335

[44] M Spitzweck, P A Østvær, The Bott inverted infinite projective space is homotopy algebraic K–theory, Bull. Lond. Math. Soc. 41 (2009) 281

[45] A Suslin, On the Grayson spectral sequence, Tr. Mat. Inst. Steklova 241 (2003) 218

[46] A Suslin, V Voevodsky, Bloch–Kato conjecture and motivic cohomology with finite coefficients, from: "The arithmetic and geometry of algebraic cycles (Banff, AB, 1998)" (editors B B Gordon, J D Lewis, S Müller-Stach, S Saito, N Yui), NATO Sci. Ser. C Math. Phys. Sci. 548, Kluwer (2000) 117

[47] J L Tu, P Xu, C Laurent-Gengoux, Twisted K–theory of differentiable stacks, Ann. Sci. École Norm. Sup. 37 (2004) 841

[48] V Voevodsky, A1–homotopy theory, from: "Proceedings of the International Congress of Mathematicians, Vol. I (Berlin, 1998)" (1998) 579

[49] V Voevodsky, Open problems in the motivic stable homotopy theory. I, from: "Motives, polylogarithms and Hodge theory, Part I (Irvine, CA, 1998)", Int. Press Lect. Ser. 3, Int. Press, Somerville, MA (2002) 3

[50] V Voevodsky, A possible new approach to the motivic spectral sequence for algebraic K–theory, from: "Recent progress in homotopy theory (Baltimore, MD, 2000)" (editors D M Davis, J Morava, G Nishida, W S Wilson, N Yagita), Contemp. Math. 293, Amer. Math. Soc. (2002) 371

[51] V Voevodsky, On the zero slice of the sphere spectrum, Tr. Mat. Inst. Steklova 246 (2004) 106

[52] V Voevodsky, O Röndigs, P A Østvær, Voevodsky’s Nordfjordeid lectures : motivic homotopy theory, from: "Motivic homotopy theory", Universitext, Springer (2007) 147

[53] M E Walker, Chern classes for twisted K–theory, J. Pure Appl. Algebra 206 (2006) 153

[54] E Witten, D-branes and K–theory, J. High Energy Phys. (1998)