Article
Full entry |
PDF
(0.9 MB)
Feedback
PDF
(0.9 MB)
Feedback
Keywords:
Operads; Algebras; Tangent Categories; CoCartesian Differential Monads
Operads; Algebras; Tangent Categories; CoCartesian Differential Monads
Summary:
Tangent categories provide a categorical axiomatization of the tangent bundle. There are many interesting examples and applications of tangent categories in a variety of areas such as differential geometry, algebraic geometry, algebra, and even computer science. The purpose of this paper is to expand the theory of tangent categories in a new direction: the theory of operads. The main result of this paper is that both the category of algebras of an operad and its opposite category are tangent categories. The tangent bundle for the category of algebras is given by the semi-direct product, while the tangent bundle for the opposite category of algebras is constructed using the module of Kähler differentials, and these tangent bundles are in fact adjoints of one another. To prove these results, we first prove that the category of algebras of a coCartesian differential monad is a tangent category. We then show that the monad associated to any operad is a coCartesian differential monad. This also implies that we can construct Cartesian differential categories from operads. Therefore, operads provide a bountiful source of examples of tangent categories and Cartesian differential categories, which both recaptures previously known examples and also yield new interesting examples. We also discuss how certain basic tangent category notions recapture well-known concepts in the theory of operads.
References:
[1] Bauer, K., Burke, M., Ching, M.: Tangent infinity-categories and goodwillie calculus. https://arxiv.org/abs/2101.07819, arXiv
[2] Berger, C., Moerdijk, I.: On the derived category of an algebra over an operad. Georgian Math. J., Vol. 16, Iss. 1, 13--28 DOI 10.1515/GMJ.2009.13 | MR 2527612
[3] Blute, R., Cockett, R., Seely, R. A. G.: Cartesian differential categories. Theory and Applications of Categories, Vol. 22, Iss. 23, 622-672 DOI 10.70930/tac/y9rglypb | MR 2591951
[4] Blute, R., Cruttwell, G., Lucyshyn-Wright, R.: Affine geometric spaces in tangent categories. Theory and applications of categories, Vol. 34, Iss. 15, 405-437 MR 3948478
[5] Cisinski, D.-C., Moerdijk, I.: Dendroidal sets as models for homotopy operads. J. Topol., Vol. 4, Iss. 2, 257-299, https://doi-org.ezproxy.lib.ucalgary.ca/10.1112/jtopol/jtq039, DOI:10.1112/jtopol/jtq039 DOI 10.1112/jtopol/jtq039 | MR 2805991
[6] Cockett, R., Cruttwell, G.: Differential structure, tangent structure, and SDG. Applied Categorical Structures, Vol. 22, Iss. 2, 331-417 DOI 10.1007/s10485-013-9312-0 | MR 3192082
[7] Cockett, R., Cruttwell, G.: The Jacobi identity for tangent categories. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Vol. 56, 301-316 MR 3445914
[8] Cockett, R., Cruttwell, G.: Connections in tangent categories. Theory and applications of categories, Vol. 32, Iss. 26, 835-888 MR 3684725
[9] Cockett, R., Cruttwell, G.: Differential bundles and fibrations for tangent categories. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Vol. LIX, 10-92 MR 3792842
[10] Cockett, R., Cruttwell, G., Lemay, J.-S. P.: Differential equations in a tangent category i: Complete vector fields, flows, and exponentials. Applied Categorical Structures, 1-53 MR 4299886
[11] Cockett, R., Lemay, J.-S. P., Lucyshyn-Wright, R.: Tangent categories from the coalgebras of differential categories. 28th EACSL annual conference on computer science logic (CSL 2020), pp 17:1-17:17, DOI:10.4230/LIPIcs.CSL.2020.17 DOI 10.4230/LIPIcs.CSL.2020.17 | MR 4048216
[12] Cruttwell, G., Lemay, J.-S. P.: Differential bundles in commutative algebra and algebraic geometry. arXiv preprint arXiv:2301.05542 MR 4711655
[13] Cruttwell, G., Lucyshyn-Wright, R.: A simplicial foundation for differential and sector forms in tangent categories. Journal of Homotopy and Related Structures volume, Vol. 13, 867-925 DOI 10.1007/s40062-018-0204-8 | MR 3870775
[14] Francis, J., Gaitsgory, D.: Chiral Koszul duality. Selecta Math. (N.S.), Vol. 18, Iss. 1, 27-87, https://doi-org.ezproxy.lib.ucalgary.ca/10.1007/s00029-011-0065-z, DOI:10.1007/s00029-011-0065-z DOI 10.1007/s00029-011-0065-z
[15] Fresse, B.: Modules over operads and functors. Lecture notes in mathematics 1967, Springer-Verlag Berlin Heidelberg MR 2494775
[16] Garner, R.: An embedding theorem for tangent categories. Advances in Mathematics, Vol. 323, 668-687, https://www.sciencedirect.com/science/article/pii/S0001870817303122, DOI: https://doi.org/10.1016/j.aim.2017.10.039 DOI 10.1016/j.aim.2017.10.039
[17] Ginzburg, V.: Non-commutative symplectic geometry, quiver varieties, and operads. Mathematical Research Letters, Vol. 8, DOI:10.4310/MRL.2001.v8.n3.a12 DOI 10.4310/MRL.2001.v8.n3.a12
[18] Ginzburg, V.: Lectures on noncommutative geometry. arXiv preprint math/0506603
[19] Grothendieck, A.: Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, troisième partie. Publications Mathématiques de l’IHÉS, Vol. 28, 5-255 DOI 10.1007/BF02684343
[20] Harpaz, Yonatan, Nuiten, Joost, Prasma, Matan: Tangent categories of algebras over operads. Israel J. Math., Vol. 234, Iss. 2, 691-742, https://doi.org/10.1007/s11856-019-1933-z, DOI:10.1007/s11856-019-1933-z DOI 10.1007/s11856-019-1933-z | MR 4040842
[21] Harpaz, Y., Nuiten, J., Prasma, M.: The tangent bundle of a model category. Theory Appl. Categ., Vol. 34, Paper No. 33, 1039-1072 MR 4020832
[22] Ikonicoff, S., Lemay, J.-S. P.: Cartesian differential comonads and new models of cartesian differential categories. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Vol. LXIV-2, 198-239 MR 4605864
[23] Johnstone, P. T.: Adjoint lifting theorems for categories of algebras. Bulletin of the London Mathematical Society, Vol. 7, Iss. 3, 294-297 DOI 10.1112/blms/7.3.294
[24] Jubin, Benoit Michel: The Tangent Functor Monad and Foliations. ProQuest LLC, Ann Arbor, MI
[25] Kontsevich, M., Soibelman, Y.: Notes on A_\infty-algebras, A_\infty-categories and non-commutative geometry. Homological mirror symmetry, pages 153-219, Lecture notes in phys. 757 MR 2596638
[26] Kriz, I., May, J. P.: Operads, algebras, modules and motives. Société mathématique de France
[27] Lemay, J.-S. P.: Differential algebras in codifferential categories. Journal of Pure and Applied Algebra, Vol. 223, Iss. 10, 4191-4225 DOI 10.1016/j.jpaa.2019.01.005 | MR 3958088
[28] Loday, J., Vallette, B.: Algebraic operads. Grundlehren der mathematischen wissenschaften [fundamental principles of mathematical sciences], Springer, Heidelberg, https://doi.org/10.1007/978-3-642-30362-3, ISBN:978-3-642-30361-6, DOI:10.1007/978-3-642-30362-3 DOI 10.1007/978-3-642-30362-3 | MR 2954392
[29] MacAdam, B.: Vector bundles and differential bundles in the category of smooth manifolds. Applied categorical structures, Vol. 29, Iss. 2, 285-310 DOI 10.1007/s10485-020-09617-7 | MR 4228458
[30] Mandell, M. A.: Operads and operadic algebras in homotopy theory. https://arxiv.org/abs/1912.13047, arXiv MR 4439764
[31] Manzyuk, O.: Tangent bundles in differential lambda-categories. arXiv preprint arXiv:1202.0411
[32] May, J. P.: The geometry of iterated loop spaces. Lecture notes in mathematics, vol. 271, Springer-Verlag, Berlin-New York
[33] Rosickỳ, J.: Abstract tangent functors. Diagrammes, Vol. 12, JR1-JR11
[34] Toën, B., Vezzosi, G.: Homotopical algebraic geometry. I. Topos theory. Adv. Math., Vol. 193, Iss. 2, 257-372, https://doi-org.proxy.bib.uottawa.ca/10.1016/j.aim.2004.05.004, DOI:10.1016/j.aim.2004.05.004 DOI 10.1016/j.aim.2004.05.004
[35] Van den Bergh, M.: Double Poisson algebras. Trans. Amer. Math. Soc., Vol. 360, Iss. 11, 5711-5769, DOI:10.1090/S0002-9947-08-04518-2 DOI 10.1090/S0002-9947-08-04518-2 | MR 2425689
Search
Partner of
