×

Homotopical algebraic context over differential operators. (English) Zbl 1499.14034

Summary: Building on our previous work, we show that the category of non-negatively graded chain complexes of \(\mathcal {D}_X\)-modules – where \(X\) is a smooth affine algebraic variety over an algebraically closed field of characteristic zero – fits into a homotopical algebraic context in the sense of B. Toën and G. Vezzosi [Adv. Math. 193, No. 2, 257–372 (2005; Zbl 1120.14012); Homotopical algebraic geometry. II: Geometric stacks and applications. Providence, RI: American Mathematical Society (AMS) (2008; Zbl 1145.14003)].

MSC:

14F10 Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials
14F08 Derived categories of sheaves, dg categories, and related constructions in algebraic geometry
14D23 Stacks and moduli problems
16E35 Derived categories and associative algebras
18N40 Homotopical algebra, Quillen model categories, derivators
18M05 Monoidal categories, symmetric monoidal categories

References:

[1] Adámek, J., Rosický, J.: Locally presentable and accessible categories, London Mathematical Society Lecture Note Series, vol. 189, CUP, Cambridge, 1994, pp. xiv+316 (1994) · Zbl 0795.18007
[2] Artin, M., Grothendieck, A., Verdier, J.-L.: Théorie des topos et cohomologie étale des schémas, tome 1, théorie des topos.http://www.cmls.polytechnique.fr/perso/laszlo/sga4/SGA4-1/sga41.pdf · Zbl 0234.00007
[3] Barr, M., Wells, C.: Toposes, triples and theories, Grundlehren der Mathematischen Wissenschaften, vol. 278. Springer, New York, pp. xiii+345 (1985) · Zbl 0567.18001
[4] Beilinson, A., Drinfeld, V.: Chiral algebras, American Mathematical Society Colloquium Publications, vol. 51. American Mathematical Society, Providence, pp. vi+375 (2004) · Zbl 1138.17300
[5] Costello, K., Gwilliam, O.: Factorization Algebras in Quantum Field Theory, vol. 1( to be published by Cambridge University Press). http://math.northwestern.edu/ costello/factorization.pdf · Zbl 1377.81004
[6] Di Brino, G., Pištalo, D., Poncin, N.: Model structure on differential graded commutative algebras over the ring of differential operators. arXiv:1505.07720 [math.AT] (2015) · Zbl 1423.18056
[7] Di Brino, G., Pištalo, D., Poncin, N.: Model categorical Koszul-Tate resolution for algebras over differential operators. arXiv:1505.07964 [math.AT] (2015) · Zbl 1423.18056
[8] Dugger, D.: Combinatorial model categories have presentations. Adv. Math. 164(1), 177-201 (2001) · Zbl 1001.18001 · doi:10.1006/aima.2001.2015
[9] Dwyer, W.G., Spaliński, J.: Homotopy theories and model categories. In: Handbook of Algebraic Topology, pp. 73-126 North-Holland, Amsterdam (1995) · Zbl 0869.55018
[10] Felder, G., Kazhdan, D.: The classical master equation, Perspectives in representation theory, Contemp. Math., vol. 610, pp. 79-137, With an appendix by Tomer M. Schlank, Amer. Math. Soc., Providence (2014) · Zbl 1304.81144
[11] Gillespie, J.: The flat model structure on complexes of sheaves. Trans. Amer. Math. Soc. 358(7), 2855-2874 (2006) · Zbl 1094.55016 · doi:10.1090/S0002-9947-06-04157-2
[12] Grothendieck, A.: Éléments de géométrie algébrique. II. Étude globale élémentaire de quelques classes de morphismes. Inst. Hautes Études Sci. Publ. Math. 8, 222 (1961)
[13] Hartshorne, R.: Algebraic Geometry, Graduate Texts in Mathematics, No. 52. Springer, New York, pp. xvi+496 (1977) · Zbl 0367.14001
[14] Hirschhorn, P.S.: Model Categories and their Localizations, Mathematical Surveys and Monographs, vol. 99. American Mathematical Society, Providence, pp. xvi+457 (2003) · Zbl 1017.55001
[15] Hirschhorn, P.S.: Overcategories and undercategories of model categories. arXiv:1507.01624 [math.AT] (2015) · Zbl 1484.55023
[16] Hotta, R., Takeuchi, K., Tanisaki, T.: \[{\cal{D}}\] D-Modules, Perverse Sheaves, and Representation Theory, Progress in Mathematics, vol. 236. Birkhäuser, Boston (2008) · Zbl 1136.14009
[17] Hovey, M.: Model Categories, Mathematical Surveys and Monographs, vol. 63. American Mathematical Society, Providence, pp. xii+209 (1999) · Zbl 0909.55001
[18] Hovey, M.: Model category structures on chain complexes of sheaves. Trans. Amer. Math. Soc. 353(6), 2441-2457 (2001) · Zbl 0969.18010 · doi:10.1090/S0002-9947-01-02721-0
[19] Joyal, A.: Letter to A. Grothendieck (1984)
[20] Kashiwara, M., Schapira, P.: Sheaves on Manifolds, Grundlehren der mathematischen Wissenschaften, vol. 292. Springer, Berlin (1990) · Zbl 0709.18001
[21] Lang, S.: Algebra, Graduate Texts in Mathematics, vol. 211, 3rd edn. Springer, New York, pp. xvi+914 (2002) · Zbl 0984.00001
[22] Lipman, J., Hashimoto, M.: Foundations of Grothendieck Duality for Diagrams of Schemes. Springer, Berlin (2009) · Zbl 1163.14001
[23] Mac Lane, S.: Categories for the Working Mathematician, Graduate Texts in Mathematics 5, 2nd edn. Springer, New York, pp. xii+314 (1998) · Zbl 0906.18001
[24] Matsumura, H.: Commutative Ring Theory, Cambridge Studies in Advanced Mathematics, vol. 8, 2nd edn. Cambridge University Press, Cambridge, pp. xiv+320 (1989) (Translated from the Japanese by M. Reid) · Zbl 0666.13002
[25] Milic̆ić, D.: Lectures on Algebraic Theory of \[{\cal{D}}\] D-Modules, Department of Mathematics, University of Utah, Salt Lake City. https://www.math.utah.edu/ milicic/Eprints/dmodules.pdf
[26] Milic̆ić, D.: Lectures on Derived Categories, Department of Mathematics, University of Utah, Salt Lake City
[27] Paugam, F.: Histories and observables in covariant field theory. J. Geom. Phys. 61(9), 1675-1702 (2011) · Zbl 1222.83160 · doi:10.1016/j.geomphys.2010.11.002
[28] Paugam, F.: Towards the Mathematics of Quantum Field Theory. Jussieu, France (2012) · Zbl 1287.81002
[29] Pištalo, D., Poncin, N.: On four Koszul-Tate resolutions. ORBilu:http://hdl.handle.net/10993/22858 (2015) · Zbl 1474.18037
[30] Pištalo, D., Poncin, N.: Homotopical Algebraic Geometry over Differential Operators and Applications (to appear) · Zbl 1499.14034
[31] Porst, H.-E.: On categories of monoids. Comonoids, and Bimonoids, Quaest. Math. 31(2), 127-139 (2008) · Zbl 1154.18005 · doi:10.2989/QM.2008.31.2.2.474
[32] Rosický, J.: Accessible categories and homotopy theory. Lectrure notes for summer school in Contemporary Categorical Methods in Algebra and Topology (2007). http://www.math.muni.cz/ rosicky/papers/homacc3.pdf
[33] Schapira, P.: Algebra and Topology, lecture notes. https://webusers.imj-prg.fr/ pierre.schapira/lectnotes/AlTo.pdf
[34] Schapira, P.: D-modules, lecture notes. http://www.math.jussieu.fr/ schapira/lectnotes/Dmod.pdf · Zbl 1413.35030
[35] Schneiders, J.-P.: An introduction to \[{\cal{D}}\] D-modules. Bulletin de la Société Royale des Sciences de Liège (1994)
[36] Schwede, S., Shipley, B.E.: Algebras and modules in monoidal model categories. Proc. Lond. Math. Soc. 80(2), 491-511 (2000) · Zbl 1026.18004 · doi:10.1112/S002461150001220X
[37] Toën, B., Vezzosi, G.: Homotopical algebraic geometry. I. Topos theory. Adv. Math. 193(2), 257-372 (2005) · Zbl 1120.14012 · doi:10.1016/j.aim.2004.05.004
[38] Toën, B., Vezzosi, G.: Homotopical algebraic geometry. II. Geometric stacks and applications. Mem. Amer. Math. Soc. 193(902), x+224 (2008) · Zbl 1145.14003
[39] Ueno, K.: Algebraic Geometry 1. From Algebraic Varieties to Schemes. Transl. Math. Monographs, vol. 185. AMS, Providence (1999) · Zbl 0937.14001
[40] Vinogradov, A.M.: Cohomological analysis of Partial Differential Equations and Secondary Calculus, Transl. Math. Monographs, vol. 204. AMS, Providence (2001) · Zbl 1152.58308
[41] Webb, P.: Triangulated and derived categories, lecture notes. https://www.math.umn.edu/ webb/oldteaching/Year12-13/TriangDerivedCatNotes.pdf
[42] Weibel, C.A.: An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, vol. 38. Cambridge University Press, Cambridge, pp. xiv+450 (1994) · Zbl 0797.18001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.