| Title:
|
The Tor Spectral Sequence and Flat Morphisms in Homotopical $D$-Geometry (English) |
| Author:
|
Govzmann, Alisa |
| Author:
|
Pištalo, Damjan |
| Author:
|
Poncin, Norbert |
| Language:
|
English |
| Journal:
|
Higher Structures |
| ISSN:
|
2209-0606 |
| Volume:
|
8 |
| Issue:
|
2 |
| Year:
|
2024 |
| Pages:
|
210-247 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| Summary:
|
Homotopical algebraic $D$-geometry combines aspects of homotopical algebraic geometry and $D$-geometry. It was introduced in as a suitable framework for a coordinate-free study of the Batalin-Vilkovisky complex and more generally for the study of non-linear partial differential equations and their symmetries. In order to consolidate the foundation of the theory, we have to prove that the standard methods of linear and commutative algebra are available in the context of homotopical algebraic $D$-geometry, and we must show that in this context the eeetale topology is a kind of homotopical Grothendieck topology and that the notion of smooth morphism is, roughly speaking, local for the eeetale topology. The first half of this work was done in. The remaining part covers the study of eeetale and flat morphisms in the category of differential graded $D$-algebras and is based on the Tor spectral sequence which connects the graded Tor functors in homology with the homology of the derived tensor product of two differential graded $D$-modules over a differential graded $D$-algebra. (English) |
| Keyword:
|
model category |
| Keyword:
|
homotopy theory |
| Keyword:
|
derived functor |
| Keyword:
|
$D$-module |
| Keyword:
|
$D$-geometry |
| Keyword:
|
homotopical geometry |
| Keyword:
|
Tor functor |
| Keyword:
|
spectral sequence |
| MSC:
|
14A30 |
| MSC:
|
18E35 |
| MSC:
|
18G15 |
| MSC:
|
18N40 |
| idZBL:
|
Zbl 1558.18008 |
| idMR:
|
MR4835390 |
| DOI:
|
10.21136/HS.2024.11 |
| . |
| Date available:
|
2026-03-13T14:36:04Z |
| Last updated:
|
2026-03-13 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/153476 |
| . |
| Reference:
|
[1] Ardizzoni, A.: The category of modules over a monoidal category: Abelian or not?.Ann. Univ. Ferrara, Vol. 50, 167-185 MR 2159812, 10.1007/BF02825349 |
| Reference:
|
[2] Behrend, K., Liao, H. Y., Xu, P.: Derived Differentiable Manifolds.arXiv:2006.01376 MR 0760450 |
| Reference:
|
[3] Beilinson, A., Drinfeld, V.: Chiral algebras.Colloquium publications, AMS. Zbl 1138.17300, MR 2058353 |
| Reference:
|
[4] Bruce, A., Ibarguengoytia, E., Poncin, N.: Linear $\mathbb{Z.}^2_n$-manifolds and linear actions.SIGMA., Vol. 17, Iss. 060 MR 4272922 |
| Reference:
|
[5] Costello, K., Gwilliam, O.: Factorization algebras in quantum field theory.Cambridge University Press, Volume 1 MR 3586504 |
| Reference:
|
[6] Covolo, T., Grabowski, J., Poncin, N.: The category of $\mathcal{Z}_{2}^{n}$-supermanifolds.J. Math. Phys., Vol. 57, Iss. 7 MR 3522262 |
| Reference:
|
[7] Covolo, T., Kwok, S., Poncin, N.: Local forms of morphisms of colored supermanifolds.J. Geom. Phys., Vol. 168 MR 4273073 |
| Reference:
|
[8] Covolo, T., Ovsienko, V., Poncin, N.: Higher trace and Berezinian of matrices over a Clifford algebra.J. Geom. Phys, Vol. 62, Iss. 12, 2294-2319 MR 2964662, 10.1016/j.geomphys.2012.07.004 |
| Reference:
|
[9] Di Brino, G., Pištalo, D., Poncin, N.: Homotopical algebraic context over differential operators.J. Homotopy Relat. Struct., Vol. 14, Iss. 1, 293-347 MR 3913977, 10.1007/s40062-018-0213-7 |
| Reference:
|
[10] Di Brino, G., Pištalo, D., Poncin, N.: Koszul-Tate resolutions as cofibrant replacements of algebras over differential operators.J. Homotopy Relat. Struct., Vol. 13, Iss. 4, 793-846 MR 3870773, 10.1007/s40062-018-0202-x |
| Reference:
|
[11] Dwyer, W. G., Spaliński, J.: Homotopy theories and model categories.Handbook of algebraic topology, pages 73-126, |
| Reference:
|
[12] Elmendorf, A. D., Křiž, I., Mandell, M. A., May, J. P.: Rings, modules, and algebras in stable homotopy theory.Math. surv. monogr., Vol. 47 MR 1417719 |
| Reference:
|
[13] Gaitsgory, D., Rozenblyum, N.: Crystals and \mathbb{D.}-modules.Pure appl. math., Vol. 10, 57-154 MR 3264953 |
| Reference:
|
[14] Govzmann, A., Pištalo, D., Poncin, N.: A. New approach to model categorical homotopy fiber sequences.Dissert. Math., Vol. 581 MR 4509015 |
| Reference:
|
[15] Govzmann, A., Pištalo, D., Poncin, N.: Comparison theorems for Kan, faintly universal and strongly universal derived functors.Surv. Math. & Appl., Vol. 17, 397-429 MR 4553634 |
| Reference:
|
[16] Govzmann, A., Pištalo, D., Poncin, N.: Indeterminacies and models of homotopy limits.Theory Appl. Categ., Vol. 38 MR 4541946 |
| Reference:
|
[17] Hirschhorn, P. S.: Model categories and their localizations.Mathematical Surveys and Monographs, volume 99, AMS. Zbl 1017.55001, MR 1944041 |
| Reference:
|
[18] Hovey, M.: Model categories.Mathematical Surveys and Monographs, volume 63, AMS. |
| Reference:
|
[19] Joyce, D.: An introduction to d-manifolds and derived differential geometry.Moduli spaces (volume 411 of london math. Soc. Lecture note ser.), pages 230-281, MR 3221297 |
| Reference:
|
[20] Kashiwara, M.: \mathcal{D.}-modules and mircolocal calculus.Transl. Math. Monographs, volume 217, AMS. MR 1943036 |
| Reference:
|
[21] Křiž, I., May, J. P.: Operads, algebras, modules and motives.Astérisque, Vol. 233 |
| Reference:
|
[22] Lurie, J.: Higher topos theory.Annals of mathematics studies, Princeton University Press, Princeton, NJ MR 2522659 |
| Reference:
|
[23] Lurie, J.: Higher algebra.https://www.math.ias.edu/~lurie/papers/HA.pdf, preprint |
| Reference:
|
[24] Mac Lane, S.: Categories for the working mathematician.Graduate Texts in Mathematics, volume 5, Springer-Verlag |
| Reference:
|
[25] Paugam, F.: Histories and observables in covariant field theory.J. Geom. Phys., Vol. 61, Iss. 9, 1675-1702 MR 2813505, 10.1016/j.geomphys.2010.11.002 |
| Reference:
|
[26] Paugam, F.: Towards the mathematics of quantum field theory.A. Series of Modern Surveys in Mathematics, volume 59, Springer MR 3288201 |
| Reference:
|
[27] Pištalo, D., Poncin, N.: Koszul-tate resolutions and Sullivan models.Dissert. Math., Vol. 531 MR 3870713 |
| Reference:
|
[28] Poncin, N.: Towards integration on colored supermanifolds.Banach Center Publ., Vol. 110, 201-217 MR 3642399, 10.4064/bc110-0-14 |
| Reference:
|
[29] Porta, M.: GAGA theorems in derived complex geometry.J. Algebraic Geom., Vol. 28, 519-565 MR 3959070, 10.1090/jag/716 |
| Reference:
|
[30] Quillen, D.: Homotopical algebra.Lecture Notes in Mathematics, volume 43, Springer-Verlag |
| Reference:
|
[31] Spivak, D. I.: Derived smooth manifolds.Duke Math. J., Vol. 153, Iss. 1, 55-128 MR 2641940 |
| Reference:
|
[32] Toën, B., Vezzosi, G.: Homotopical algebraic geometry I, Topos theory.Adv. Math., Vol. 193, Iss. 2, 257-372 MR 2137288, 10.1016/j.aim.2004.05.004 |
| Reference:
|
[33] Toën, B., Vezzosi, G.: Homotopical algebraic geometry II, Geometric stacks and applications.Mem. Amer. Math. Soc, Vol. 193, Iss. 902 MR 2394633 |
| Reference:
|
[34] Nigtevecht, S.: The K-theory cochains of H-spaces and height 1 chromatic homotopy theory.arXiv:2209.07311 MR 5018426 |
| Reference:
|
[35] Vinogradov, A. M.: Cohomological analysis of partial differential equations and secondary calculus.Transl. Math. Monographs, volume 204, AMS. MR 1857908 |
| Reference:
|
[36] Weibel, C. A.: An introduction to homological algebra.Cambridge Studies in Advanced Mathematics, volume 38, Cambridge University Press |
| . |
