Skip to main content
SpringerLink
Log in

K-theory and G-theory of derived algebraic stacks

  • Original Paper
  • Published:
Japanese Journal of Mathematics Aims and scope

Abstract

These are some notes on the basic properties of algebraic K-theory and G-theory of derived algebraic spaces and stacks, and the theory of fundamental classes in this setting.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

We’re sorry, something doesn't seem to be working properly.

Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

References

  1. D. Abramovich, M. Olsson and A. Vistoli, Tame stacks in positive characteristic, Ann. Inst. Fourier (Grenoble), 58 (2008), 1057–1091; corrigendum, Ann. Inst. Fourier (Grenoble), 64 (2014), 945–946.

    Article  MathSciNet  MATH  Google Scholar 

  2. J. Alper, J. Hall and D. Rydh, A Luna étale slice theorem for algebraic stacks, Ann. of Math. (2), 191 (2020), 675–738.

    Article  MathSciNet  MATH  Google Scholar 

  3. J. Alper, J. Hall and D. Rydh, The étale local structure of algebraic stacks, preprint, arXiv:1912.06162.

  4. J. Alper, J. Hall, D. Halpern-Leistner and D. Rydh, Artin algebraization for pairs with applications to the local structure of stacks and Ferrand pushouts, in preparation.

  5. T. Annala, Precobordism and cobordism, preprint, arXiv:2006.11723.

  6. T. Annala, Bivariant derived algebraic cobordism, J. Algebraic Geom., 30 (2021), 205–252.

    Article  MathSciNet  MATH  Google Scholar 

  7. T. Annala and S. Yokura, Bivariant algebraic cobordism with bundles, preprint, arXiv:1911.12484.

  8. B. Antieau, D. Gepner and J. Heller, K-theoretic obstructions to bounded t-structures, Invent. Math., 216 (2019), 241–300.

    Article  MathSciNet  MATH  Google Scholar 

  9. T. Bachmann, A.A. Khan, C. Ravi and V. Sosnilo, Categorical Milnor squares and algebraic K-theory of stacks, preprint, arXiv:2011.04355.

  10. C. Barwick, On exact ∞-categories and the theorem of the heart, Compos. Math., 151 (2015), 2160–2186.

    Article  MathSciNet  MATH  Google Scholar 

  11. C. Barwick, On the algebraic K-theory of higher categories, J. Topol., 9 (2016), 245–347.

    Article  MathSciNet  MATH  Google Scholar 

  12. H. Bass, Algebraic K-theory, W. A. Benjamin, Inc., New York, 1968.

    MATH  Google Scholar 

  13. P. Baum, W. Fulton and R. MacPherson, Riemann-Roch for singular varieties, Inst. Hautes Études Sci. Publ. Math., 45 (1975), 101–145.

    Article  MathSciNet  MATH  Google Scholar 

  14. K. Behrend and B. Fantechi, The intrinsic normal cone, Invent. Math., 128 (1997), 45–88.

    Article  MathSciNet  MATH  Google Scholar 

  15. D. Ben-Zvi, J. Francis and D. Nadler, Integral transforms and Drinfeld centers in derived algebraic geometry, J. Amer. Math. Soc., 23 (2010), 909–966.

    Article  MathSciNet  MATH  Google Scholar 

  16. P. Berthelot, A. Grothendieck and L. Illusie, Théorie des Intersections et Théorème de Riemann-Roch. Séminaire de Géometrie Algébrique du Bois Marie 1966/1967 (SGA 6), Lecture Notes in Math., 225, Springer-Verlag, 1971.

  17. B. Bhatt and P. Scholze, Projectivity of the Witt vector affine Grassmannian, Invent. Math., 209 (2017), 329–423.

    Article  MathSciNet  MATH  Google Scholar 

  18. A.J. Blumberg, D. Gepner and G. Tabuada, A universal characterization of higher algebraic K-theory, Geom. Topol., 17 (2013), 733–838.

    Article  MathSciNet  MATH  Google Scholar 

  19. A. Bondal and M. van den Bergh, Generators and representability of functors in commutative and noncommutative geometry, Mosc. Math. J., 3 (2003), 1–36.

    Article  MathSciNet  MATH  Google Scholar 

  20. I. Ciocan-Fontanine and M. Kapranov, Virtual fundamental classes via dgmanifolds, Geom. Topol., 13 (2009), 1779–1804.

    Article  MathSciNet  MATH  Google Scholar 

  21. D.-C. Cisinski, Descente par éclatements en K-théorie invariante par homotopie, Ann. of Math. (2), 177 (2013), 425–448.

    Article  MathSciNet  MATH  Google Scholar 

  22. D.-C. Cisinski and F. Déglise, Triangulated Categories of Mixed Motives, Springer Monogr. Math., 2019.

  23. D.-C. Cisinski and A.A. Khan, A1-homotopy invariance in spectral algebraic geometry, preprint, arXiv:1705.03340.

  24. D. Clausen, A. Mathew, N. Naumann and J. Noel, Descent in algebraic K-theory and a conjecture of Ausoni-Rognes, J. Eur. Math. Soc. (JEMS), 22 (2020), 1149–1200.

    Article  MathSciNet  MATH  Google Scholar 

  25. A.J. de Jong, The Stacks Project, https://stacks.math.columbia.edu/.

  26. V. Drinfeld and D. Gaitsgory, On some finiteness questions for algebraic stacks, Geom. Funct. Anal., 23 (2013), 149–294.

    Article  MathSciNet  MATH  Google Scholar 

  27. E. Elmanto, M. Hoyois, A.A. Khan, V. Sosnilo and M. Yakerson, Modules over algebraic cobordism, Forum Math. Pi, 8 (2020), e14.

    Article  MathSciNet  MATH  Google Scholar 

  28. G. Faltings, Finiteness of coherent cohomology for proper fppf stacks, J. Algebraic Geom., 12 (2003), 357–366.

    Article  MathSciNet  MATH  Google Scholar 

  29. B. Fantechi and L. Göttsche, Riemann-Roch theorems and elliptic genus for virtually smooth schemes, Geom. Topol., 14 (2010), 83–115.

    Article  MathSciNet  MATH  Google Scholar 

  30. W. Fulton, Rational equivalence on singular varieties, Inst. Hautes Études Sci. Publ. Math., 45 (1975), 147–167.

    Article  MathSciNet  MATH  Google Scholar 

  31. W. Fulton, Intersection Theory. 2nd ed., Ergeb. Math. Grenzgeb. (3), Springer-Verlag, 1998.

  32. D. Gaitsgory and N. Rozenblyum, A Study in Derived Algebraic Geometry. Vol. I. Correspondences and Duality, Math. Surveys Monogr., 221, Amer. Math. Soc., Providence, RI, 2017.

    Book  MATH  Google Scholar 

  33. D. Gepner, M. Groth and T. Nikolaus, Universality of multiplicative infinite loop space machines, Algebr. Geom. Topol., 15 (2015), 3107–3153.

    Article  MathSciNet  MATH  Google Scholar 

  34. P. Gross, Tensor generators on schemes and stacks, Algebr. Geom., 4 (2017), 501–522.

    Article  MathSciNet  MATH  Google Scholar 

  35. A. Grothendieck, Éléments de géométrie algébrique, Inst. Hautes Études Sci. Publ. Math., 4 (Chapter 0, 1–7, and I, 1–10), 8 (II, 1–8), 11 (Chapter 0, 8–13, and III, 1–5), 17 (III, 6–7), 20 (Chapter 0, 14–23, and IV, 1), 24 (IV, 2–7), 28 (IV, 8–15), 32 (IV, 16–21), 1960–1967.

  36. R. Gupta and A. Krishna, K-theory and 0-cycles on schemes, J. Algebraic Geom., 29 (2020), 547–601.

    Article  MathSciNet  MATH  Google Scholar 

  37. J. Hall and D. Rydh, Algebraic groups and compact generation of their derived categories of representations, Indiana Univ. Math. J., 64 (2015), 1903–1923.

    Article  MathSciNet  MATH  Google Scholar 

  38. J. Hall and D. Rydh, Perfect complexes on algebraic stacks, Compos. Math., 153 (2017), 2318–2367.

    Article  MathSciNet  MATH  Google Scholar 

  39. D. Halpern-Leistner and A. Preygel, Mapping stacks and categorical notions of properness, preprint, arXiv:1402.3204.

  40. M. Hoyois, A quadratic refinement of the Grothendieck-Lefschetz-Verdier trace formula, Algebr. Geom. Topol., 14 (2014), 3603–3658.

    Article  MathSciNet  MATH  Google Scholar 

  41. M. Hoyois, The six operations in equivariant motivic homotopy theory, Adv. Math., 305 (2017), 197–279; corrigendum, Adv. Math., 333 (2018), 1293–1296.

    Article  MathSciNet  MATH  Google Scholar 

  42. M. Hoyois, K-theory of dualizable categories (after A. Efimov), http://www.mathematik.ur.de/hoyois/papers/efimov.pdf (2018).

  43. M. Hoyois, Cdh descent in equivariant homotopy K-theory, Doc. Math., 25 (2020), 457–482.

    MathSciNet  MATH  Google Scholar 

  44. M. Hoyois and A. Krishna, Vanishing theorems for the negative K-theory of stacks, Ann. K-Theory, 4 (2019), 439–472.

    Article  MathSciNet  MATH  Google Scholar 

  45. F. Jin, Algebraic G-theory in motivic homotopy categories, preprint, arXiv:1806.03927.

  46. R. Joshua, Riemann-Roch for algebraic stacks. I, Compositio Math., 136 (2003), 117–169.

    Article  MathSciNet  MATH  Google Scholar 

  47. M. Kerz, F. Strunk and G. Tamme, Algebraic K-theory and descent for blow-ups, Invent. Math., 211 (2018), 523–577.

    Article  MathSciNet  MATH  Google Scholar 

  48. A.A. Khan, Pro-systems of K-theory spectra, Lecture notes, https://www.preschema.com/lecture-notes/kdescent/lect8.pdf (2017).

  49. A.A. Khan, The Grothendieck-Riemann-Roch theorem, Lecture notes, https://www.preschema.com/teaching/grr-ss18/lect10.pdf (2018).

  50. A.A. Khan, The Morel-Voevodsky localization theorem in spectral algebraic geometry, Geom. Topol., 23 (2019), 3647–3685.

    Article  MathSciNet  MATH  Google Scholar 

  51. A.A. Khan, Virtual fundamental classes for derived stacks I, preprint, arXiv:1909.01332.

  52. A.A. Khan, The cdh-local motivic homotopy category (after Cisinski), https://www.preschema.com/papers/shcdh.pdf (2019).

  53. A.A. Khan, Algebraic K-theory of quasi-smooth blow-ups and cdh descent, Ann. H. Lebesgue, 3 (2020), 1091–1116.

    Article  MathSciNet  MATH  Google Scholar 

  54. A.A. Khan, Virtual excess intersection theory, Ann. K-Theory, 6 (2021), 559–570.

    Article  MathSciNet  MATH  Google Scholar 

  55. A.A. Khan, M. Porta, C. Ravi and T.Y. Yu, in preparation.

  56. A.A. Khan and C. Ravi, Generalized cohomology theories for algebraic stacks, preprint, arXiv:2106.15001.

  57. A.A. Khan and D. Rydh, Virtual Cartier divisors and blow-ups, preprint, arXiv:1802.05702.

  58. M. Kontsevich, Enumeration of rational curves via torus actions, In: The Moduli Space of Curves, Texel Island, 1994, Progr. Math., 129, Birkhäuser Boston, Boston, MA, 1995, pp. 335–368.

    MathSciNet  MATH  Google Scholar 

  59. A. Krishna and C. Ravi, Algebraic K-theory of quotient stacks, Ann. K-Theory, 3 (2018), 207–233.

    Article  MathSciNet  MATH  Google Scholar 

  60. M. Land and G. Tamme, On the K-theory of pullbacks, Ann. of Math. (2), 190 (2019), 877–930.

    Article  MathSciNet  MATH  Google Scholar 

  61. Y.-P. Lee, Quantum K-theory, I: Foundations, Duke Math. J., 121 (2004), 389–424.

    Article  MathSciNet  MATH  Google Scholar 

  62. M. Levine and C.A. Weibel, Zero cycles and complete intersections on singular varieties, J. Reine Angew. Math., 359 (1985), 106–120.

    MathSciNet  MATH  Google Scholar 

  63. P. Lowrey and T. Schürg, Grothendieck-Riemann-Roch for derived schemes, preprint, arXiv:1208.6325.

  64. J. Lurie, Higher Topos Theory, Ann. of Math. Stud., 170, Princeton Univ. Press, Princeton, NJ, 2009.

  65. J. Lurie, Algebraic K-theory and manifold topology, Lecture notes, https://www.math.ias.edu/~lurie/281.html (2014).

  66. J. Lurie, Higher algebra, https://www.math.ias.edu/~lurie/papers/HA.pdf (2017).

  67. J. Lurie, Spectral algebraic geometry, https://www.math.ias.edu/~lurie/papers/SAG-rootfile.pdf (2018).

  68. J.P. May, E∞ spaces, group completions, and permutative categories, In: New Developments in Topology, Proc. of the Symposium on Algebraic Topology, Oxford, 1972, London Math. Soc. Lecture Note Ser., 11, Cambridge Univ. Press, London, 1974, pp. 61–93.

    Google Scholar 

  69. J.W. Milnor, Introduction to Algebraic K-theory, Ann. of Math. Stud., 72, Princeton Univ. Press, Princeton, NJ, 1971.

    MATH  Google Scholar 

  70. F. Morel and V. Voevodsky, A1-homotopy theory of schemes, Inst. Hautes Études Sci. Publ. Math., 90 (1999), 45–143.

    Article  MATH  Google Scholar 

  71. M.C. Olsson, On proper coverings of Artin stacks, Adv. Math., 198 (2005), 93–106.

    Article  MathSciNet  MATH  Google Scholar 

  72. F. Qu, Virtual pullbacks in K-theory, Ann. Inst. Fourier (Grenoble), 68 (2018), 1609–1641.

    Article  MathSciNet  MATH  Google Scholar 

  73. D. Quillen, On the group completion of a simplicial monoid, MIT preprint, 1971.

  74. D. Quillen, Higher algebraic K-theory: I, In: Cohomology of Groups and Algebraic K-theory, Adv. Lect. Math. (ALM), 12, Int. Press, 2010, pp. 413–478.

  75. C. Ravi and B. Sreedhar, Virtual equivariant Grothendieck-Riemann-Roch formula, preprint, arXiv:2009.09697.

  76. J. Riou, Algebraic K-theory, A1-homotopy and Riemann-Roch theorems, J. Topol., 3 (2010), 229–264.

    Article  MathSciNet  MATH  Google Scholar 

  77. D. Rydh, Submersions and effective descent of étale morphisms, Bull. Soc. Math. France, 138 (2010), 181–230.

    Article  MathSciNet  MATH  Google Scholar 

  78. D. Rydh, Approximation of sheaves on algebraic stacks, Int. Math. Res. Not. IMRN, 2016 (2016), 717–737.

    Article  MathSciNet  MATH  Google Scholar 

  79. V. Sadhu, On the vanishing of relative negative K-theory, J. Algebra Appl., 19 (2020), 2050152.

    Article  MathSciNet  MATH  Google Scholar 

  80. M. Spivakovsky, A new proof of D. Popescu’s theorem on smoothing of ring homomorphisms, J. Amer. Math. Soc., 12 (1999), 381–444.

    Article  MathSciNet  MATH  Google Scholar 

  81. T.A. Springer, Linear Algebraic Groups. 2nd ed., Birkhäuser Boston, Boston, MA, 1998.

    Book  MATH  Google Scholar 

  82. V. Srinivas, Zero cycles on singular varieties, In: The Arithmetic and Geometry of Algebraic Cycles, NATO Sci. Ser. C Math. Phys. Sci., 548, Kluwer Acad. Publ., Dordrecht, 2000, pp. 347–382.

    Chapter  MATH  Google Scholar 

  83. R.G. Swan, Excision in algebraic K-theory, J. Pure Appl. Algebra, 1 (1971), 221–252.

    Article  MathSciNet  MATH  Google Scholar 

  84. G. Tamme, Excision in algebraic K-theory revisited, Compos. Math., 154 (2018), 1801–1814.

    Article  MathSciNet  MATH  Google Scholar 

  85. R.W. Thomason, Algebraic K-theory of group scheme actions, In: Algebraic Topology and Algebraic K-theory, Princeton, 1983, Ann. of Math. Stud., 113, Princeton Univ. Press, Princeton, NJ, 1987, pp. 539–563.

    Google Scholar 

  86. R.W. Thomason, Equivariant resolution, linearization, and Hilbert’s fourteenth problem over arbitrary base schemes, Adv. in Math., 65 (1987), 16–34.

    Article  MathSciNet  MATH  Google Scholar 

  87. R.W. Thomason, Les K-groupes d’un fibré projectif, In: Algebraic K-theory and Algebraic Topology, Lake Louise, 1991, NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci., 407, Kluwer Acad. Publ., Dordrecht, 1993, pp. 243–248.

    Chapter  Google Scholar 

  88. R.W. Thomason, Les K-groupes d’un schéma éclaté et une formule d’intersection excédentaire, Invent. Math., 112 (1993), 195–215.

    Article  MathSciNet  MATH  Google Scholar 

  89. R.W. Thomason and T. Trobaugh, Higher algebraic K-theory of schemes and of derived categories, In: The Grothendieck Festschrift. Vol. III, Progr. Math., 88, Birkhäuser Boston, Boston, MA, 1990, pp. 247–435.

    Chapter  Google Scholar 

  90. B. Toën, Théorèmes de Riemann-Roch pour les champs de Deligne-Mumford, K-Theory, 18 (1999), 33–76.

    Article  MathSciNet  MATH  Google Scholar 

  91. B. Toën, Notes sur la G-théorie rationnelle des champs de Deligne-Mumford, preprint, arXiv:math/9912172.

  92. B. Toën, Higher and derived stacks: a global overview, In: Algebraic Geometry—Seattle 2005. Part 1, Proc. Sympos. Pure Math., 80, Amer. Math. Soc., Providence, RI, 2009, pp. 435–487.

    Google Scholar 

  93. B. Toën, Derived Azumaya algebras and generators for twisted derived categories, Invent. Math., 189 (2012), 581–652.

    Article  MathSciNet  MATH  Google Scholar 

  94. B. Toën, Derived algebraic geometry, EMS Surv. Math. Sci., 1 (2014), 153–240.

    Article  MathSciNet  MATH  Google Scholar 

  95. B. Toën and M. Vaquié, Moduli of objects in dg-categories, Ann. Sci. École Norm. Sup. (4), 40 (2007), 387–444.

    Article  MathSciNet  MATH  Google Scholar 

  96. B. Totaro, The resolution property for schemes and stacks, J. Reine Angew. Math., 577 (2004), 1–22.

    Article  MathSciNet  MATH  Google Scholar 

  97. B. Totaro, Chow groups, Chow cohomology, and linear varieties, Forum Math. Sigma, 2 (2014), e17.

    Article  MathSciNet  MATH  Google Scholar 

  98. V. Voevodsky, Triangulated categories of motives over a field, In: Cycles, Transfers, and Motivic Homology Theories, Ann. of Math. Stud., 143, Princeton Univ. Press, Princeton, NJ, 2000, pp. 188–238.

    MATH  Google Scholar 

  99. C.A. Weibel, K-theory and analytic isomorphisms, Invent. Math., 61 (1980), 177–197.

    Article  MathSciNet  MATH  Google Scholar 

  100. C.A. Weibel, Homotopy algebraic K-theory, In: Algebraic K-theory and Algebraic Number Theory, Honolulu, 1987, Contemp. Math., 83, Amer. Math. Soc., Providence, RI, 1989, pp. 461–488.

    Google Scholar 

Download references

Acknowledgements

Thanks to Mauro Porta and Tony Yue Yu for many questions and suggestions about [Kh5], which eventually led to these notes being written. Thanks to Marc Hoyois, Charanya Ravi, and David Rydh for helpful conversations about stacks over the years. An additional thanks to Charanya for pointing out many typos in a previous draft and for help with the material on perfect stacks.

Author information

Authors and Affiliations

  1. Institute of Mathematics, Academia Sinica, Taipei, 10617, Taiwan

    Adeel A. Khan

Authors
  1. Adeel A. Khan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Adeel A. Khan.

Additional information

Communicated by: Takeshi Saito

Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Khan, A.A. K-theory and G-theory of derived algebraic stacks. Jpn. J. Math. 17, 1–61 (2022). https://doi.org/10.1007/s11537-021-2110-9

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11537-021-2110-9

Keywords and phrases

Mathematics Subject Classification (2020)

Search

Navigation