Skip to main content
Log in

Hochschild cohomology and group actions

  • Published:
Mathematische Zeitschrift Aims and scope Submit manuscript

Abstract

Given a finite group action on a (suitably enhanced) triangulated category linear over a field, we establish a formula for the Hochschild cohomology of the category of invariants, assuming the order of the group is coprime to the characteristic of the base field. The formula shows that the cohomology splits canonically with one summand given by the invariant subspace of the Hochschild cohomology of the original category. We also prove that Serre functors act trivially on Hochschild cohomology, and combine this with our formula to give a useful mechanism for computing the Hochschild cohomology of fractional Calabi–Yau categories.

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

Access this article

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

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Addington, N., Thomas, R.: Hodge theory and derived categories of cubic fourfolds. Duke Math. J. 163(10), 1885–1927 (2014)

    Article  MathSciNet  Google Scholar 

  2. Antieau, B., Vezzosi, G.: A remark on the Hochschild–Kostant–Rosenberg theorem in characteristic \(p\). arXiv:1710.06039 (2017)

  3. Arinkin, D., Căldăraru, A., Hablicsek, M.: Formality of derived intersections and the orbifold HKR isomorphism. J. Algebra 540, 100–120 (2019)

    Article  MathSciNet  Google Scholar 

  4. Bayer, A., Lahoz, M., Macrì, E., Nuer, H., Perry, A., Stellari, P.: Stability conditions in families. arXiv:1902.08184 (2019)

  5. Bayer, A., Lahoz, M., Macrì, E., Stellari, P.: Stability conditions on Kuznetsov components. arXiv:1703.10839 (2019)

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

    Article  MathSciNet  Google Scholar 

  7. Bondal, A., Kapranov, M.: Representable functors. Serre functors, and mutations. Math. USSR-Izvestiya 35(3), 519 (1990)

    Article  MathSciNet  Google Scholar 

  8. Căldăraru, A.: The Mukai pairing. II. The Hochschild–Kostant–Rosenberg isomorphism. Adv. Math. 194(1), 34–66 (2005)

    Article  MathSciNet  Google Scholar 

  9. Cohn, L.: Differential graded categories are k-linear stable infinity categories. arXiv:1308.2587 (2016)

  10. Elagin, A.: On equivariant triangulated categories. arXiv:1403.7027 (2015)

  11. Gaitsgory, D., Rozenblyum, N.: A study in derived algebraic geometry. http://www.math.harvard.edu/gaitsgde/GL/

  12. Ganter, N.: Inner products of 2-representations. Adv. Math. 285, 301–351 (2015)

    Article  MathSciNet  Google Scholar 

  13. Huybrechts, D., Rennemo, J.: Hochschild cohomology versus the Jacobian ring and the Torelli theorem for cubic fourfolds. Algebr. Geom. 6(1), 76–99 (2019)

    Article  MathSciNet  Google Scholar 

  14. Kuznetsov, A.: Hochschild homology and semiorthogonal decompositions. arXiv:0904.4330 (2009)

  15. Kuznetsov, A.: Derived Categories of Cubic Fourfolds, Cohomological and Geometric Approaches to Rationality Problems, pp. 219–243. Springer, Berlin (2010)

    Book  Google Scholar 

  16. Kuznetsov, A.: Height of exceptional collections and Hochschild cohomology of quasiphantom categories. J. Reine Angew. Math. 708, 213–243 (2015)

    MathSciNet  MATH  Google Scholar 

  17. Kuznetsov, A.: Calabi–Yau and fractional Calabi–Yau categories. J. Reine Angew. Math. 753, 239–267 (2019)

    Article  MathSciNet  Google Scholar 

  18. Kuznetsov, A., Perry, A.: Derived categories of cyclic covers and their branch divisors. Selecta Math. (N.S.) 23(1), 389–423 (2017)

    Article  MathSciNet  Google Scholar 

  19. Kuznetsov, A., Perry, A.: Derived categories of Gushel–Mukai varieties. Compos. Math. 154(7), 1362–1406 (2018)

    Article  MathSciNet  Google Scholar 

  20. Lurie, J.: Higher algebra. https://www.math.ias.edu/lurie/

  21. Lurie, J.: Spectral algebraic geometry. https://www.math.ias.edu/lurie/

  22. Lurie, J.: Higher Topos Theory, Annals of Mathematics Studies, vol. 170. Princeton University Press, Princeton, NJ (2009)

    Google Scholar 

  23. Mathew, A.: The Galois group of a stable homotopy theory. Adv. Math. 291, 403–541 (2016)

    Article  MathSciNet  Google Scholar 

  24. Perry, A.: Noncommutative homological projective duality. Adv. Math. 350, 877–972 (2019)

    Article  MathSciNet  Google Scholar 

  25. Sosna, P.: Linearisations of triangulated categories with respect to finite group actions. Math. Res. Lett. 19(5), 1007–1020 (2012)

    Article  MathSciNet  Google Scholar 

  26. Yekutieli, A.: The continuous Hochschild cochain complex of a scheme. Can. J. Math. 54(6), 1319–1337 (2002)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

This paper greatly benefitted from discussions with Alexander Efimov, Valery Lunts, Jacob Lurie, and especially Akhil Mathew. I would also like to heartily thank Sasha Kuznetsov, for inspiring conversations during which many of the ideas in this paper were discovered. The original impetus for this paper was the application to GM varieties in our joint work [19]. Finally, I thank the referee for several useful comments.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Alexander Perry.

Additional information

Publisher's Note

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

This work was partially supported by NSF postdoctoral fellowship DMS-1606460, NSF Grant DMS-1902060, and the Institute for Advanced Study.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Perry, A. Hochschild cohomology and group actions. Math. Z. 297, 1273–1292 (2021). https://doi.org/10.1007/s00209-020-02557-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00209-020-02557-x

Navigation