Operads, props, and related structures are algebraic objects which encode multilinear structures. Operads arose in algebraic topology in order to address problems of homotopy coherence in the classification of loop spaces, but since the nineties they have found applications throughout mathematics, computer science and other applied sciences. As a general rule, operads classify familiar algebraic structures-associative algebras, commutative algebras, Lie algebras-and variants of these algebraic structures where operations might only hold up to coherent homotopy. A good introduction to operads is this article by Jim Stasheff, in the Notices of the AMS What is… an Operad? or this pair of blog posts by Tai-Danae Bradley: What is an Operad? Part 1 and Part 2.
Props and properads classify more complicated algebraic structures like Lie bialgebras and Hopf algebras. They also arise in topological constructions like Segal's cobordism category and the (wheeled) props (aka circuit algebras) that describe virtual and welded tangles. Infinity, or weak, (pr)operads are (pr)operads up to coherent homotopy-meaning that the algebraic structure of the (pr)operad itself is only weakly associative (eg: infinity properads). These objects arise quite naturally whenever one wants to study topological objects which have an algebraic structure. Examples include configuration spaces, configuration categories, normalized cacti, or operads which have been subjected to completion.
Props and properads classify more complicated algebraic structures like Lie bialgebras and Hopf algebras. They also arise in topological constructions like Segal's cobordism category and the (wheeled) props (aka circuit algebras) that describe virtual and welded tangles. Infinity, or weak, (pr)operads are (pr)operads up to coherent homotopy-meaning that the algebraic structure of the (pr)operad itself is only weakly associative (eg: infinity properads). These objects arise quite naturally whenever one wants to study topological objects which have an algebraic structure. Examples include configuration spaces, configuration categories, normalized cacti, or operads which have been subjected to completion.
Preprints
- Borghi, O. & Robertson, M. (2022). Lecture notes on modular infinity operads and Grothendieck Tiechmüller theory. arXiv version.
- Dancso, Zs., Halacheva, I., Laplante-Anfossi, G., Robertson, & M. Kashiwara-Vergne solutions degree by degree. arXiv version.
Publications
- Dancso, Zs., Hogan, T., & Robertson, M. A knot-theoretic approach to comparing the Grothendieck-Teichmüller and Kashiwara-Vergne groups. To appear in the proceedings of the 60th birthday conference for Ezra Getzler. arXiv version.
- Dancso, Zs., Halacheva, I., & Robertson, M. (2021b). A topological characterisation of the Kashiwara-Vergne groups. Trans. Amer. Math. Soc.376(2023), no.5, 3265–3317. arXiv version.
- Bonatto, L. B., Chettih, S., Linton, A., Raynor, S., Robertson, M., & Wahl, N. (2020). An infinity operad of normalized cacti. Topology and its Applications. Vol.316(2022). arXiv version.
- Dancso, Zs., Halacheva, I., & Robertson, M. (2021). Circuit algebras are wheeled props. J. Pure Appl. Algebra, 225(12), Paper No. 106767, 33. arXiv version.
- Hackney, P., Robertson, M., & Yau, D. (2020b). Modular operads and the nerve theorem. Adv. Math., 370, 107206, 39. arXiv version
- Hackney, P., Robertson, M., & Yau, D. (2020a). A graphical category for higher modular operads. Adv. Math., 365, 107044, 61. arXiv version.
- Hackney, P., Robertson, M., & Yau, D. (2019). Higher cyclic operads. Algebr. Geom. Topol., 19(2), 863–940. arXiv version.
- Boavida de Brito, P., Horel, G., & Robertson, M. (2019). Operads of genus zero curves and the Grothendieck- Teichmüller group. Geom. Topol., 23(1), 299–346. arXiv version.
- Hackney, P., Robertson, M., & Yau, D. (2018). On factorizations of graphical maps. Homology Homotopy Appl., 20(2), 217–238. arXiv version.
- Hackney, P., & Robertson, M. (2018). Lecture notes on infinity-properads. In 2016 MATRIX annals (Vol. 1, pp. 351–374). Springer, Cham. arXiv version.
- Hackney, P., Robertson, M., & Yau, D. (2017b). A simplicial model for infinity properads. High. Struct., 1(1), 1–21. arXiv version.
- Hackney, P., Robertson, M., & Yau, D. (2017a). Shrinkability, relative left properness, and derived base change. New York J. Math., 23, 83–117. arXiv version.
- Hackney, P., & Robertson, M. (2017). The homotopy theory of simplicial props. Israel J. Math., 219(2), 835– 902. arXiv version.
- Hackney, P., Robertson, M., & Yau, D. (2016). Relative left properness of colored operads. Algebr. Geom. Topol., 16(5), 2691–2714. arXiv version.
- Hackney, P., Robertson, M., & Yau, D. (2015). Infinity properads and infinity wheeled properads (Vol. 2147). Springer, Cham. arXiv version.
- Aponte Román, C. I., Livernet, M., Robertson, M., Whitehouse, S., & Ziegenhagen, S. (2015). Representations of derived A-infinity algebras. In Women in topology: collaborations in homotopy theory (Vol. 641, pp. 1–27). Amer. Math. Soc., Providence, RI. arXiv version.
- Bergner, J. E., & Robertson, M. (2015). Cluster categories for topologists. In Stacks and categories in geometry, topology, and algebra (Vol. 643, pp. 25–35). Amer. Math. Soc., Providence, RI. arXiv version.
- Hackney, P., & Robertson, M. (2015). On the category of props. Appl. Categ. Structures, 23(4), 543–573. arXiv version.