| Title:
|
The Rosický Tangent Categories of Algebras over an Operad (English) |
| Author:
|
Ikonicoff, Sacha |
| Author:
|
Lanfranchi, Marcello |
| Author:
|
Lemay, Jean-Simon Pacaud |
| Language:
|
English |
| Journal:
|
Higher Structures |
| ISSN:
|
2209-0606 |
| Volume:
|
8 |
| Issue:
|
2 |
| Year:
|
2024 |
| Pages:
|
332-385 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| 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. (English) |
| Keyword:
|
Operads |
| Keyword:
|
Algebras |
| Keyword:
|
Tangent Categories |
| Keyword:
|
CoCartesian Differential Monads |
| MSC:
|
18F40 |
| MSC:
|
18M70 |
| idZBL:
|
Zbl 08006154 |
| idMR:
|
MR4835392 |
| DOI:
|
10.21136/HS.2024.13 |
| . |
| Date available:
|
2026-03-13T14:38:54Z |
| Last updated:
|
2026-03-13 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/153478 |
| . |
| Reference:
|
[1] Bauer, K., Burke, M., Ching, M.: Tangent infinity-categories and goodwillie calculus.https://arxiv.org/abs/2101.07819, arXiv |
| Reference:
|
[2] Berger, C., Moerdijk, I.: On the derived category of an algebra over an operad.Georgian Math. J., Vol. 16, Iss. 1, 13--28 MR 2527612, 10.1515/GMJ.2009.13 |
| Reference:
|
[3] Blute, R., Cockett, R., Seely, R. A. G.: Cartesian differential categories.Theory and Applications of Categories, Vol. 22, Iss. 23, 622-672 MR 2591951, 10.70930/tac/y9rglypb |
| Reference:
|
[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 |
| Reference:
|
[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 MR 2805991, 10.1112/jtopol/jtq039 |
| Reference:
|
[6] Cockett, R., Cruttwell, G.: Differential structure, tangent structure, and SDG.Applied Categorical Structures, Vol. 22, Iss. 2, 331-417 MR 3192082, 10.1007/s10485-013-9312-0 |
| Reference:
|
[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 |
| Reference:
|
[8] Cockett, R., Cruttwell, G.: Connections in tangent categories.Theory and applications of categories, Vol. 32, Iss. 26, 835-888 MR 3684725 |
| Reference:
|
[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 |
| Reference:
|
[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 |
| Reference:
|
[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 MR 4048216, 10.4230/LIPIcs.CSL.2020.17 |
| Reference:
|
[12] Cruttwell, G., Lemay, J.-S. P.: Differential bundles in commutative algebra and algebraic geometry.arXiv preprint arXiv:2301.05542 MR 4711655 |
| Reference:
|
[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 MR 3870775, 10.1007/s40062-018-0204-8 |
| Reference:
|
[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 10.1007/s00029-011-0065-z |
| Reference:
|
[15] Fresse, B.: Modules over operads and functors.Lecture notes in mathematics 1967, Springer-Verlag Berlin Heidelberg MR 2494775 |
| Reference:
|
[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 10.1016/j.aim.2017.10.039 |
| Reference:
|
[17] Ginzburg, V.: Non-commutative symplectic geometry, quiver varieties, and operads.Mathematical Research Letters, Vol. 8, DOI:10.4310/MRL.2001.v8.n3.a12 10.4310/MRL.2001.v8.n3.a12 |
| Reference:
|
[18] Ginzburg, V.: Lectures on noncommutative geometry.arXiv preprint math/0506603 |
| Reference:
|
[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 10.1007/BF02684343 |
| Reference:
|
[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 MR 4040842, 10.1007/s11856-019-1933-z |
| Reference:
|
[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 |
| Reference:
|
[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 |
| Reference:
|
[23] Johnstone, P. T.: Adjoint lifting theorems for categories of algebras.Bulletin of the London Mathematical Society, Vol. 7, Iss. 3, 294-297 10.1112/blms/7.3.294 |
| Reference:
|
[24] Jubin, Benoit Michel: The Tangent Functor Monad and Foliations.ProQuest LLC, Ann Arbor, MI |
| Reference:
|
[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 |
| Reference:
|
[26] Kriz, I., May, J. P.: Operads, algebras, modules and motives.Société mathématique de France |
| Reference:
|
[27] Lemay, J.-S. P.: Differential algebras in codifferential categories.Journal of Pure and Applied Algebra, Vol. 223, Iss. 10, 4191-4225 MR 3958088, 10.1016/j.jpaa.2019.01.005 |
| Reference:
|
[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 MR 2954392, 10.1007/978-3-642-30362-3 |
| Reference:
|
[29] MacAdam, B.: Vector bundles and differential bundles in the category of smooth manifolds.Applied categorical structures, Vol. 29, Iss. 2, 285-310 MR 4228458, 10.1007/s10485-020-09617-7 |
| Reference:
|
[30] Mandell, M. A.: Operads and operadic algebras in homotopy theory.https://arxiv.org/abs/1912.13047, arXiv MR 4439764 |
| Reference:
|
[31] Manzyuk, O.: Tangent bundles in differential lambda-categories.arXiv preprint arXiv:1202.0411 |
| Reference:
|
[32] May, J. P.: The geometry of iterated loop spaces.Lecture notes in mathematics, vol. 271, Springer-Verlag, Berlin-New York |
| Reference:
|
[33] Rosickỳ, J.: Abstract tangent functors.Diagrammes, Vol. 12, JR1-JR11 |
| Reference:
|
[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 10.1016/j.aim.2004.05.004 |
| Reference:
|
[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 MR 2425689, 10.1090/S0002-9947-08-04518-2 |
| . |
