Noncommutative mixed (Artin) motives and their motivic Hopf dg algebras

详细信息    查看全文

• 作者：Gonçalo Tabuada
• 关键词：Hopf dg algebra ; Weak Tannakian formalism ; Hochschild homology ; Algebraic K ; theory ; Mixed Artin–Tate motives ; Orbit category ; Noncommutative algebraic geometry
• 刊名：Selecta Mathematica, New Series
• 出版年：2016
• 出版时间：April 2016
• 年：2016
• 卷：22
• 期：2
• 页码：735-764
• 全文大小：674 KB
• 参考文献：1.Adams, J.F.: Stable homotopy and generalised homology. In: Chicago Lectures in Mathematics. University of Chicago Press, Chicago, IL (1974)
  2.Ayoub, J.: Les Six Opérations de Grothendieck et le Formalisme des Cycles évanescents dans le Monde Motivique. II. Astérisque No. 315(2007) (2008)
  3.Ayoub, J.: Les Six Opérations de Grothendieck et le Formalisme des Cycles évanescents dans le Monde Motivique. I. Astérisque No. 314(2007) (2008)
  4.Ayoub, J.: L’algèbre de Hopf et le groupe de Galois motiviques d’un corps de caractéristique nulle, I. J. Reine Angew. Math. 693, 1–149 (2014)MathSciNet CrossRef
  5.Ayoub, J.: L’algèbre de Hopf et le groupe de Galois motiviques d’un corps de caractéristique nulle, II. J. Reine Angew. Math. 693, 151–226 (2014)MathSciNet
  6.Ben-Zvi, D., Francis, J., Nadler, D.: Integral transforms and Drinfeld centers in derived algebraic geometry. J. Am. Math. Soc. 23, 909–966 (2010)MathSciNet CrossRef MATH
  7.Bloch, S.: Algebraic cycles and higher \(K\) -theory. Adv. Math. 61(3), 267–304 (1986)MathSciNet CrossRef MATH
  8.Borel, A.: Stable real cohomology of arithmetic groups. Ann. Scient. Éc. Norm. Sup. \(4^e\) série 7, 235–272 (1974)
  9.Cisinski, D.-C., Tabuada, G.: Symmetric monoidal structure on noncommutative motives. J. K-theory 9(2), 201–268 (2012)MathSciNet CrossRef MATH
  10.Deligne, P., Milne, J.S.: Tannakian Categories. In: Hodge Cycles, Motives, and Shimura Varieties. In: Lecture Notes in Mathematics, vol. 900, pp. 101–228 (1982). J. S. Milne’s webpage http://​www.​jmilne.​org/​math/​xnotes/​tc.​html
  11.Drinfeld, V.: DG quotients of DG categories. J. Algebra 272, 643–691 (2004)MathSciNet CrossRef MATH
  12.Dugger, D., Shipley, B.: K-theory and derived equivalences. Duke Math. J. 124(3), 587–617 (2004)MathSciNet CrossRef MATH
  13.Garkusha, G., Panin, I.: \(K\) -motives of algebraic varieties. Homol. Homot. Appl. 14(2), 211–264 (2012)MathSciNet CrossRef MATH
  14.Gepner, D., Snaith, V.: On the motivic spectra representing algebraic cobordism and algebraic K-theory. Doc. Math. 14, 359–396 (2009)MathSciNet MATH
  15.Gillet, H., Soulé, C.: Motivic weight complexes for arithmetic varieties. J. Algebra 322(9), 3088–3141 (2009)MathSciNet CrossRef MATH
  16.Goerss, P., Jardine, J.: Simplicial homotopy theory. In: Progress in Mathematics, vol. 174. Birkhuser, Basel (1999)
  17.Grothendieck, A.: On the de Rham cohomology of algebraic varieties. Inst. Hautes Études Sci. Publ. Math. 29, 95–103 (1966)MathSciNet CrossRef MATH
  18.Hirschhorn, P.: Model categories and their localizations. In: Mathematical Surveys and Monographs, vol. 99. American Mathematical Society, Providence (2003)
  19.Hovey, M.: Model categories. In: Mathematical Surveys and Monographs, vol. 63. American Mathematical Society, Providence (1999)
  20.Hovey, M., Shipley, B., Smith, J.: Symmetric spectra. J. Am. Math. Soc. 13(1), 149–208 (2000)MathSciNet CrossRef MATH
  21.Keller, B.: On differential graded categories. In: International Congress of Mathematicians (Madrid), vol. II, pp. 151–190. Eur. Math. Soc., Zürich (2006)
  22.Kontsevich, M.: Mixed noncommutative motives. In: Talk at the Workshop on Homological Mirror Symmetry, Miami. http://​www-math.​mit.​edu/​auroux/​frg/​miami10-notes (2010)
  23.Kontsevich, M.: Non-commutative motives. In: Talk at the Institute for Advanced Study. http://​video.​ias.​edu/​Geometry-and-Arithmetic (2005)
  24.Kontsevich, M.: Notes on motives in finite characteristic. In: Algebra, Arithmetic, and Geometry: In Honor of Yu. I. Manin, vol. II, pp. 213–247. Progr. Math., 270, Birkhuser, Boston (2009)
  25.Kontsevich, M.: Triangulated categories and geometry. In: Course at the École Normale Supérieure, Paris. www.​math.​uchicago.​edu/​mitya/​langlands.​html (1998)
  26.Lurie, J.: Higher Algebra. http://​www.​math.​harvard.​edu/​lurie
  27.Lurie, J.: Higher topos theory. In: Annals of Mathematics Studies, vol. 170. Princeton University Press, Princeton (2009)
  28.Marcolli, M., Tabuada, G.: Noncommutative Motives and Their Applications. arXiv:​1311.​2867 (to appear in MSRI publications)
  29.Marcolli, M., Tabuada, G.: Noncommutative Numerical Motives, Tannakian Structures, and Motivic Galois Groups. arXiv:​1110.​2438 (to appear in Journal of the European Math. Soc)
  30.Marcolli, M., Tabuada, G.: Kontsevich’s noncommutative numerical motives. Compos. Math. 148(6), 1811–1820 (2012)MathSciNet CrossRef MATH
  31.Marcolli, M., Tabuada, G.: Noncommutative Artin motives. Sel. Math. 20(1), 315–358 (2014)MathSciNet CrossRef MATH
  32.Marcolli, M., Tabuada, G.: Noncommutative motives, numerical equivalence, and semi-simplicity. Am. J. Math. 136(1), 59–75 (2014)MathSciNet CrossRef MATH
  33.McCarthy, R.: A chain complex for the spectrum homology of the algebraic \(K\) -theory (Toronto, ON, 1996). In: Fields Inst. Comm. 16, pp. 199–220. American Math. Soc., Providence
  34.Neeman, A.: Triangulated categories. In: Annals of Math. Studies, vol. 148, Princeton University Press, Princeton (2001)
  35.Pridham, J.: Tannaka Duality for Enhanced Triangulated Categories. arXiv:​1309.​0637
  36.Quillen, D.: Higher Algebraic \(K\) -Theories. In: Proceedings of Conference, Battelle Memorial Institute, Seattle, Washington, 1972. Lecture Notes in Math., vol. 341, pp. 85–147. Springer, Berlin (1973)
  37.Quillen, D.: Homotopical algebra. In: Lecture Notes in Mathematics, vol. 43. Springer (1967)
  38.Riou, J.: Algebraic K-theory, \(A^1\) -homotopy and Riemann–Roch theorems. J. Topol. 3(2), 229–264 (2010)MathSciNet CrossRef MATH
  39.Röndigs, O., Spitzweck, M., Østvær, P.A.: Motivic strict ring models for \(K\) -theory. Proc. Am. Math. Soc 138(10), 3509–3520 (2010)MathSciNet CrossRef MATH
  40.Röndigs, O., Østvær, P.A.: Modules over motivic cohomology. Adv. Math. 219(2), 689–727 (2008)MathSciNet CrossRef MATH
  41.Schwede, S., Shipley, B.: Stable model categories are categories of modules. Topology 42(1), 103–153 (2003)MathSciNet CrossRef MATH
  42.Shipley, B.: \(H\mathbb{Z}\) -algebra spectra are differential graded algebras. Am. J. Math. 129, 351–379 (2007)MathSciNet CrossRef MATH
  43.Tabuada, G.: \({\mathbb{A}}^1\) -homotopy theory of noncommutative motives. arXiv:​1402.​4432 (to appear in Journal of Noncommutative Geometry)
  44.Tabuada, G.: Invariants additifs de dg-catégories. Int. Math. Res. Not. 53, 3309–3339 (2005)MathSciNet CrossRef MATH
  45.Tabuada, G.: Higher \(K\) -theory via universal invariants. Duke Math. J. 145(1), 121–206 (2008)MathSciNet CrossRef MATH
  46.Tabuada, G.: A guided tour through the garden of noncommutative motives. Clay Math. Proc. 16, 259–276 (2012)MathSciNet MATH
  47.Tabuada, G.: Chow motives versus noncommutative motives. J. Noncommut. Geom. 7(3), 767–786 (2013)MathSciNet CrossRef MATH
  48.Tabuada, G.: Additive invariants of toric and twisted projective homogeneous varieties via noncommutative motives. J. Algebra 417, 15–38 (2014)MathSciNet CrossRef MATH
  49.Tabuada, G.: Voevodsky’s mixed motives versus Kontsevich’s noncommutative mixed motives. Adv. Math. 264, 506–545 (2014)MathSciNet CrossRef MATH
  50.Takeda, Y.: Complexes of exact Hermitian cubes and the Zagier conjecture. Math. Ann. 328(1–2), 87–119 (2004)MathSciNet CrossRef MATH
  51.Toën, B.: Anneaux de définition des dg-algèbres propes et lisses. Bull. Lond. Math. Soc. 40(4), 642–650 (2008)MathSciNet CrossRef
  52.Voevodsky, V.: Triangulated categories of motives over a field. In: Cycles, Transfers, and Motivic Homology Theories, Annals of Mathematics Studies, vol. 143, pp. 188–238. Princeton University Press, Princeton (2000)
  53.Waldhausen, F.: Algebraic K-theory of spaces. In: Algebraic and Geometric Topology (New Brunswick, NJ, 1983). Lecture Notes in Math., vol. 1126, pp. 318–419. Springer, Berlin (1985)
  54.Weibel, C.: The K-book: an introduction to algebraic K-theory. In: Graduate Studies in Mathematics, vol. 145. American Mathematical Society, Providence (2013)
  55.Weibel, C.: The Hodge filtration and cyclic homology. K-theory 12(2), 145–164 (1997)MathSciNet CrossRef MATH
  56.Wildeshaus, J.: Notes on Artin–Tate motives. arXiv:​0811.​4551
  
• 作者单位：Gonçalo Tabuada (1) (2) (3)
  
  1. Department of Mathematics, MIT, Cambridge, MA, 02139, USA
  2. Departamento de Matemática, FCT, UNL, Almada, Portugal
  3. Centro de Matemática e Aplicações (CMA), FCT, UNL, Almada, Portugal
  
• 刊物类别：Mathematics and Statistics
• 刊物主题：Mathematics
  Mathematics
  
• 出版者：Birkh盲user Basel
• ISSN：1420-9020

文摘

This article is the sequel to (Marcolli and Tabuada in Sel Math 20(1):315–358, 2014). We start by developing a theory of noncommutative (=NC) mixed motives with coefficients in any commutative ring. In particular, we construct a symmetric monoidal triangulated category of NC mixed motives, over a base field k, and a full subcategory of NC mixed Artin motives. Making use of Hochschild homology, we then apply Ayoub’s weak Tannakian formalism to these motivic categories. In the case of NC mixed motives, we obtain a motivic Hopf dg algebra, which we describe explicitly in terms of Hochschild homology and complexes of exact cubes. In the case of NC mixed Artin motives, we compute the associated Hopf dg algebra using solely the classical category of mixed Artin–Tate motives. Finally, we establish a short exact sequence relating the Hopf algebra of continuous functions on the absolute Galois group with the motivic Hopf dg algebras of the base field k and of its algebraic closure. Along the way, we describe the behavior of Ayoub’s weak Tannakian formalism with respect to orbit categories and relate the category of NC mixed motives with Voevodsky’s category of mixed motives.