Abstract
We identify a class of quasi-compact semi-separated (qcss) twisted presheaves of algebras \(\mathcal {A}\) for which well-behaved Grothendieck abelian categories of quasi-coherent modules \(\mathsf {Qch} (\mathcal {A})\) are defined. This class is stable under algebraic deformation, giving rise to a 1–1 correspondence between algebraic deformations of \(\mathcal {A}\) and abelian deformations of \(\mathsf {Qch} (\mathcal {A})\). For a qcss presheaf \(\mathcal {A}\), we use the Gerstenhaber–Schack (GS) complex to explicitly parameterize the first-order deformations. For a twisted presheaf \(\mathcal {A}\) with central twists, we descibe an alternative category \(\mathsf {QPr} (\mathcal {A})\) of quasi-coherent presheaves which is equivalent to \(\mathsf {Qch} (\mathcal {A})\), leading to an alternative, equivalent association of abelian deformations to GS cocycles of qcss presheaves of commutative algebras. Our construction applies to the restriction \(\mathcal {O}\) of the structure sheaf of a scheme X to a finite semi-separating open affine cover (for which we have \(\mathsf {Qch} (\mathcal {O}) \cong \mathsf {Qch} (X)\)). Under a natural identification of GS cohomology of \(\mathcal {O}\) and Hochschild cohomology of X, our construction is shown to be equivalent to Toda’s construction from Toda (J Differ Geom 81(1):197–224, 2009) in the smooth case.
Similar content being viewed by others
References
Revêtements étales et groupe fondamental (SGA 1), Documents Mathématiques (Paris) [Mathematical Documents (Paris)], 3, Société Mathématique de France, Paris, 2003, Séminaire de géométrie algébrique du Bois Marie 1960–1961. [Geometric Algebra Seminar of Bois Marie 1960–1961], Directed by A. Grothendieck, With two papers by M. Raynaud, Updated and annotated reprint of the 1971 original. Lecture Notes in Mathamatics, 224, Springer, Berlin
Block, J.: Duality and equivalence of module categories in noncommutative geometry. In: A Celebration of the Mathematical Legacy of Raoul Bott, CRM Proceedings of Lecture Notes, vol. 50, pp. 311–339. American Mathematical Society, Providence (2010)
Bressler, P., Gorokhovsky, A., Nest, R., Tsygan, B.: Deformation quantization of gerbes. Adv. Math. 214(1), 230–266 (2007)
Bressler, P., Gorokhovsky, A., Nest, R., Tsygan, B.: Deformations of algebroid stacks. Adv. Math. 226(4), 3018–3087 (2011)
Bressler, P., Gorokhovsky, A., Nest, R., Tsygan, Boris: Formality theorem for gerbes. Adv. Math. 273, 215–241 (2015)
Bueso, J.L., Jara, P., Verschoren, A.: Compatibility, stability, and sheaves. Monographs and Textbooks in Pure and Applied Mathematics, vol. 185. Marcel Dekker Inc., New York (1995)
Calaque, D., Van den Bergh, M.: Global formality at the \(G_\infty \)-level. Mosc. Math. J. 10(1), 31–64, 271 (2010)
Căldăraru, A.: Derived categories of twisted sheaves on elliptic threefolds. J. Reine Angew. Math. 544, 161–179 (2002)
Conrad, B.: Grothendieck Duality and Base Change. Lecture Notes in Mathematics, vol. 1750. Springer, Berlin (2000)
D’Agnolo, A., Polesello, P.: Stacks of twisted modules and integral transforms. In: Adolphson, A., Baldassarri, F., Berthelot, P., Katz, N., Loeser, F. (eds) Geometric Aspects of Dwork theory, vols. I, II, pp. 463–507. Walter de Gruyter GmbH & Co. KG, Berlin (2004)
D’Agnolo, A., Polesello, P.: Morita classes of microdifferential algebroids. Publ. Res. Inst. Math. Sci. 51(2), 373–416 (2015)
De Deken, O., Lowen, W.: Abelian and derived deformations in the presence of \(\mathbb{Z}\)-generating geometric helices. J. Noncommut. Geom. 5(4), 477–505 (2011)
Dinh Van, H., Lowen, W.: The Gerstenhaber–Schack complex for prestacks. preprint arXiv:1508.03792
Enochs, E., Estrada, S.: Relative homological algebra in the category of quasi-coherent sheaves. Adv. Math. 194(2), 284–295 (2005)
Gerstenhaber, M.: On the deformation of rings and algebras. Ann. Math. (2) 79, 59–103 (1964)
Gerstenhaber, M.: On the deformation of rings and algebras. II. Ann. Math. 84, 1–19 (1966)
Gerstenhaber, M., Schack, S.D.: On the deformation of algebra morphisms and diagrams. Trans. Am. Math. Soc. 279(1), 1–50 (1983)
Gerstenhaber, M., Schack, S.D.: A Hodge-type decomposition for commutative algebra cohomology. J. Pure Appl. Algebra 48(3), 229–247 (1987)
Gerstenhaber, M., Schack, S.D.: Algebraic cohomology and deformation theory. In: Hazewinkel, M., Gerstenhaber, M. (eds) Deformation Theory of Algebras and Structures and Applications (Il Ciocco, 1986), NATO Advance Science Institute Series C Mathematical and Physical Sciences, vol. 247, pp. 11–264. Kluwer Academic, Dordrecht (1988)
Gerstenhaber, M., Schack, S.D.: The cohomology of presheaves of algebras. I. Presheaves over a partially ordered set. Trans. Am. Math. Soc. 310(1), 135–165 (1988)
Grothendieck, A., Dieudonné, J.A.: Eléments de géométrie algébrique. I. In: Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 166, Springer, Berlin (1971)
Hinich, V.: Deformations of sheaves of algebras. Adv. Math. 195(1), 102–164 (2005)
Hochschild, G., Kostant, B., Rosenberg, A.: Differential forms on regular affine algebras. Trans. Am. Math. Soc. 102, 383–408 (1962)
Kashiwara, M.: Quantization of contact manifolds. Publ. Res. Inst. Math. Sci. 32(1), 1–7 (1996)
Kashiwara, M., Schapira, P.: Deformation quantization modules. Astérisque (345), xii+147 (2012)
Kontsevich, M.: Homological algebra of mirror symmetry. In: Chatterji, S. D. (ed) Proceedings of the International Congress of Mathematicians, vols. 1, 2 (Zürich, 1994) (Basel), pp. 120–139. Birkhäuser (1995)
Kontsevich, M.: Deformation quantization of algebraic varieties. Lett. Math. Phys. 56(3), 271–294 (2001). EuroConférence Moshé Flato 2000, Part III (Dijon)
Kontsevich, M.: Deformation quantization of Poisson manifolds. Lett. Math. Phys. 66(3), 157–216 (2003)
Krause, H.: Epimorphisms of additive categories up to direct factors. J. Pure Appl. Algebra 203(1–3), 113–118 (2005)
Leinster, T.: Basic bicategories. Preprint arXiv:math/9810017 (1998)
Liu, L., Lowen, W.: Hochschild cohomology of projective hypersurfaces. preprint arXiv:1509.0651
Lowen, W.: Hochschild cohomology of presheaves as map-graded categories. Internat. Math. Res. Notices 2008, ID 118 (2008)
Lowen, W.: A generalization of the Gabriel–Popescu theorem. J. Pure Appl. Algebra 190(1–3), 197–211 (2004)
Lowen, W.: Obstruction theory for objects in abelian and derived categories. Commun. Algebra 33(9), 3195–3223 (2005)
Lowen, W.: Algebroid prestacks and deformations of ringed spaces. Trans. Am. Math. Soc. 360(9), 1631–1660 (2008)
Lowen, W.: Hochschild cohomology of presheaves as map-graded categories. Int. Math. Res. Not. IMRN, Art. ID rnn118, 32 (2008)
Lowen, W.: A sheaf of Hochschild complexes on quasi compact opens. Proc. Am. Math. Soc 136(9), 3045–3050 (2008)
Lowen, W., Van den Bergh, M.: Hochschild cohomology of abelian categories and ringed spaces. Adv. Math. 198(1), 172–221 (2005)
Lowen, W., Van den Bergh, M.: Deformation theory of abelian categories. Trans. Am. Math. Soc. 358(12), 5441–5483 (2006)
Lowen, W., Van den Bergh, M.: A Hochschild cohomology comparison theorem for prestacks. Trans. Am. Math. Soc. 363(2), 969–986 (2011)
Macrì, E., Stellari, P.: Infinitesimal derived Torelli theorem for \(K3\) surfaces. Int. Math. Res. Not. IMRN (17), 3190–3220, With an appendix by Sukhendu Mehrotra (2009)
Mitchell, B.: Rings with several objects. Adv. Math. 8, 1–161 (1972)
Polesello, P.: Classification of deformation quantization algebroids on complex symplectic manifolds. Publ. Res. Inst. Math. Sci. 44(3), 725–748 (2008)
Popescu, N.: Abelian Categories with Applications to Rings and Modules. London Mathematical Society Monographs, vol. 3. Academic Press, London (1973)
Stafford, J.T., Van den Bergh, M.: Noncommutative curves and noncommutative surfaces. Bull. Am. Math. Soc. (N.S.) 38(2), 171–216 (2001) (electronic)
Swan, R.G.: Hochschild cohomology of quasiprojective schemes. J. Pure Appl. Algebra 110(1), 57–80 (1996)
Toda, Y.: Deformations and Fourier–Mukai transforms. J. Differ. Geom. 81(1), 197–224 (2009)
Van den Bergh, M.: On global deformation quantization in the algebraic case. J. Algebra 315(1), 326–395 (2007)
Van den Bergh, M.: Noncommutative quadrics. Int. Math. Res. Not. IMRN 17, 3983–4026 (2011)
Van den Bergh, M.: Non-commutative \(\mathbb{P}^1\)-bundles over commutative schemes. Trans. Am. Math. Soc. 364(12), 6279–6313 (2012)
Weibel, C.A.: An Introduction to Homological Algebra. Cambridge Studies in Advanced Mathematics, vol. 38. Cambridge University Press, Cambridge (1994)
Yekutieli, A.: The continuous Hochschild cochain complex of a scheme. Can. J. Math. 54(6), 1319–1337 (2002)
Yekutieli, A.: Deformation quantization in algebraic geometry. Adv. Math. 198(1), 383–432 (2005)
Yekutieli, A.: Deformations of affine varieties and the Deligne crossed groupoid. J. Algebra 382, 115–143 (2013)
Yekutieli, A.: Twisted deformation quantization of algebraic varieties. Adv. Math. 268, 241–305 (2015)
Acknowledgments
The authors are greatly indebted to Michel Van den Bergh for the idea of using prestacks in order to capture abelian deformations.
Author information
Authors and Affiliations
Corresponding author
Additional information
The authors acknowledge the support of the European Union for the ERC Grant No. 257004-HHNcdMir and the support of the Research Foundation Flanders (FWO) under Grant No. G.0112.13N. L. L. also acknowledges the support of the Natural Science Foundation of China No. 11501492, the Natural Science Foundation of Jiangsu Province No. BK20150435 and the Natural Science Foundation for Universities in Jiangsu Province No. 15KJB110022.
Rights and permissions
About this article
Cite this article
Dinh Van, H., Liu, L. & Lowen, W. Non-commutative deformations and quasi-coherent modules. Sel. Math. New Ser. 23, 1061–1119 (2017). https://doi.org/10.1007/s00029-016-0263-9
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00029-016-0263-9