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.
Similar content being viewed by others
References
Addington, N., Thomas, R.: Hodge theory and derived categories of cubic fourfolds. Duke Math. J. 163(10), 1885–1927 (2014)
Antieau, B., Vezzosi, G.: A remark on the Hochschild–Kostant–Rosenberg theorem in characteristic \(p\). arXiv:1710.06039 (2017)
Arinkin, D., Căldăraru, A., Hablicsek, M.: Formality of derived intersections and the orbifold HKR isomorphism. J. Algebra 540, 100–120 (2019)
Bayer, A., Lahoz, M., Macrì, E., Nuer, H., Perry, A., Stellari, P.: Stability conditions in families. arXiv:1902.08184 (2019)
Bayer, A., Lahoz, M., Macrì, E., Stellari, P.: Stability conditions on Kuznetsov components. arXiv:1703.10839 (2019)
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)
Bondal, A., Kapranov, M.: Representable functors. Serre functors, and mutations. Math. USSR-Izvestiya 35(3), 519 (1990)
Căldăraru, A.: The Mukai pairing. II. The Hochschild–Kostant–Rosenberg isomorphism. Adv. Math. 194(1), 34–66 (2005)
Cohn, L.: Differential graded categories are k-linear stable infinity categories. arXiv:1308.2587 (2016)
Elagin, A.: On equivariant triangulated categories. arXiv:1403.7027 (2015)
Gaitsgory, D., Rozenblyum, N.: A study in derived algebraic geometry. http://www.math.harvard.edu/gaitsgde/GL/
Ganter, N.: Inner products of 2-representations. Adv. Math. 285, 301–351 (2015)
Huybrechts, D., Rennemo, J.: Hochschild cohomology versus the Jacobian ring and the Torelli theorem for cubic fourfolds. Algebr. Geom. 6(1), 76–99 (2019)
Kuznetsov, A.: Hochschild homology and semiorthogonal decompositions. arXiv:0904.4330 (2009)
Kuznetsov, A.: Derived Categories of Cubic Fourfolds, Cohomological and Geometric Approaches to Rationality Problems, pp. 219–243. Springer, Berlin (2010)
Kuznetsov, A.: Height of exceptional collections and Hochschild cohomology of quasiphantom categories. J. Reine Angew. Math. 708, 213–243 (2015)
Kuznetsov, A.: Calabi–Yau and fractional Calabi–Yau categories. J. Reine Angew. Math. 753, 239–267 (2019)
Kuznetsov, A., Perry, A.: Derived categories of cyclic covers and their branch divisors. Selecta Math. (N.S.) 23(1), 389–423 (2017)
Kuznetsov, A., Perry, A.: Derived categories of Gushel–Mukai varieties. Compos. Math. 154(7), 1362–1406 (2018)
Lurie, J.: Higher algebra. https://www.math.ias.edu/lurie/
Lurie, J.: Spectral algebraic geometry. https://www.math.ias.edu/lurie/
Lurie, J.: Higher Topos Theory, Annals of Mathematics Studies, vol. 170. Princeton University Press, Princeton, NJ (2009)
Mathew, A.: The Galois group of a stable homotopy theory. Adv. Math. 291, 403–541 (2016)
Perry, A.: Noncommutative homological projective duality. Adv. Math. 350, 877–972 (2019)
Sosna, P.: Linearisations of triangulated categories with respect to finite group actions. Math. Res. Lett. 19(5), 1007–1020 (2012)
Yekutieli, A.: The continuous Hochschild cochain complex of a scheme. Can. J. Math. 54(6), 1319–1337 (2002)
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
Corresponding author
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
About this article
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
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-020-02557-x