14h-15h : Sergei Merkulov: "On the interrelations between graph complexes"
Résumé : We study Maxim Kontsevich's graph complex as well as its oriented and targeted versions, and show a new proof of the theorems due to Thomas Willwacher and Marko Zivkovic stating isomorphisms of their cohomology groups. Both theorems follow from one and the same surprisingly short argument.
15h30-16h30 : Andy Tonks: "Canonical B∞-algebra structures and a new Milnor-Moore type theorem"
Résumé : The motivating example of a B∞-algebra was given by Baues in his work on iterated loop spaces, when he endowed the bar construction (a free coalgebra) with a compatible differential graded algebra structure. Another famous example is the B∞ structure on the Hochschild cochain complex: the relation of B∞ and G∞ algebras was central in the resolutions of Deligne's Hochschild cohomology conjecture. We present work in progress (joint with M I Gálvez and M O Ronco) investigating the appearance of canonical B∞-algebra structures on any algebra endowed with a not-necessarily compatible dga structure, recovering previous results by Markl on A∞-algebras and by Loday-Ronco on multibrace algebras. Application to a new Milnor-Moore type theorem will then be given, extending the results of Loday-Ronco for non-cocommutative Hopf algebras and their relation to multibrace algebras.
16h30-17h30 : Lander Hermans: "Deforming prestacks: an operadic calculus of rectangles"
Résumé : In his foundational work Gerstenhaber furnishes the guiding example for algebraic deformation theory: for an associative algebra A he defined a dgLie bracket on its Hochschild complex and showed that it controls the deformations of A through the Maurer-Cartan equation. Algebraic geometry motivates the natural question whether a similar story exists for diagrams of associative algebras, e.g. when applied to the structure sheaf of a scheme. In this talk I will explain how the Gerstenhaber-Schack complex fulfils this role, yet also motivates to generalize from diagrams to prestacks (i.e. pseudofunctors) as the most suitable objects to start with. Inspired by the fact that the Lie-structure of the Hochschild complex arises from an underlying operadic calculus, we introduce a new L-infinity structure arising from a rectangular operadic calculus. We show it completes the story: the higher Lie brackets on the GS complex control the deformations of prestacks through the generalized MC equation. Along the way, we introduce a new type of operad which can be seen as an enriched version of Leinster’s fc-multicategories (also called virtual double categories). This is joint work with Hoang Dinh Van and Wendy Lowen.
9h30-10h30 : Clément Dupont: "Operadic posets and their cohomology"
Résumé : We will describe a natural formalism which produces a graded operad from a family of posets equipped with an `operadic structure’. It gives an a priori explanation for the fact that the cohomology of posets of partitions has an operadic structure, in the spirit of work of B. Fresse (generalized by B. Vallette to the case of decorated partitions). Another application of our formalism concerns the family of hypertree posets, whose cohomology has the same underlying S-module as the PreLie operad thanks to a result of B. Delcroix-Oger. We will give a conceptual explanation of this fact, which will shed light on a richer structure and an unexpected character: the PostLie operad introduced by B. Vallette. This is joint work with Bérénice Delcroix-Oger.
11h-12h : Coline Emprin: "Kaledin classes and formality criteria"
Résumé : A differential graded algebraic structure A (e.g. an associative algebra, a Lie algebra, an operad, etc.) is formal if it is related to its homology H(A) by a zig-zag of quasi-isomorphisms preserving the algebraic structure. Kaledin classes were introduced as an obstruction theory fully characterizing the formality of associative algebras over a characteristic zero field. In this talk, I will present a generalization of Kaledin classes to any coefficients ring and to other algebraic structures (encoded by operads, possibly colored, or by properads). I will prove new formality criteria based on these classes and give applications.
14h-15h : Bruno Vallette: "Du calcul opéradique au calcul propéradique"
Résumé : Le calcul opéradique a donné naissance à de nombreux résultats et outils qui se sont montrés utiles dans l’études des algèbres différentielles graduées : théorie de la déformation, algèbre homotopique et formalité. La généralisation au niveau des propérades et de leurs (bi)gèbres différentielles graduées n’est pas automatique. Depuis l’introduction de la notion de propérade (Université de Strasbourg, 2003), très peu de résultats ont été montrés dans cette direction. J’expliquerai néanmoins comment on peut établir le même type de théorèmes à ce niveau : infini-morphismes, description du groupe de jauge, équivalence infini-quasi-isomorphismes/zigzag de quasi-isomorphismes, enrichissement simplicial des (bi)gèbres à homotopie près.
15h30-16h30 : Ricardo Campos: "The embedding of commutative homotopical algebra into non-commutative homotopical algebra"
Résumé : Given a topological space, how much of its homotopy type is captured by its algebra of singular cochains? The experienced rational homotopy theorist will argue that one should consider instead a commutative algebra of forms. This raises the more algebraic question of studying the homotopical properties of the forgetful functor from dg commutative algebras to dg associative algebras. This question turns out to be very subtle. For instance, unlike its classical counterpart, this functor is not full at the homotopical level. In this talk I will show that in characteristic zero this functor deserves to be called an embedding. We will see that this result uses tools very much on the topics of our ANR, namely, it is in its essence a result in derived deformation theory which is naturally addressed with tools from higher (curved) Lie theory. This joint work with Dan Petersen, Daniel Robert-Nicoud and Felix Wierstra; based on arXiv:1904.03585 and 2211.02387.
16h30-17h30 : Joan Bellier-Millès: "On the road to the André—Quillen cohomology of curved algebras"
Résumé : We will begin this talk by presenting two contexts involving curved algebras. The first one concerns symplectic geometry and the second one concerns complex geometry. In these two contexts, we are dealing with homotopy curved algebraic structures and we will present the related operadic calculus. Finally, we will explain the ideas that allow us to define a cohomology in these contexts.
9h30-10h30 : Geoffroy Horel: "Binomial rings and homotopy theory"
Résumé : In a famous paper, Sullivan showed that the rational homotopy theory of finite type nilpotent spaces can be encoded in a fully faithful manner by mapping it to the homotopy category of commutative differential graded algebras over the rational numbers. For integral homotopy theory, a result of Mandell shows that it is faithfully captured by the integral cochain functor equipped with its E-infinity structure. This functor is however not full. I will explain a way of fixing this problem inspired by work of Toën, using cosimplicial binomial rings instead of E-infinity differential graded algebras.
11h-12h : Joana Cirici: "Formality of hypercommutative algebras of Calabi-Yau manifolds"
Résumé : Any Batalin-Vilkovisky algebra with a homotopy trivialization of the BV-operator gives rise to a hypercommutative algebra structure at the cochain level which, in general, contains more homotopical information than the hypercommutative algebra introduced by Barannikov and Kontsevich on cohomology. In this talk, I will explain how to use the purity of mixed Hodge structures to show that the canonical hypercommutative algebra defined on any compact Calabi-Yau manifold is formal. This is joint work with Geoffroy Horel.
14h-15h : Anibal Medina-Mardones: "State sums and higher categories"
Résumé : Topological quantum field theories can be constructed at least in two ways: as higher functors from the bordism category, in line with the cobordism hypothesis, or in terms of fields combined with an action functional, a technique widely used in the physics literature. The goal of this talk is to discuss a bridge between these descriptions using methods from combinatorial topology. This is joint work in progress with Lukas Müller.
9h30-10h30 : Paul Laubie: "Combinatorics of pre-Lie products sharing the Lie bracket"
Résumé :Pre-Lie products sharing the Lie bracket are controlled by the D^nPreLie operad, the coproduct of n copies of PreLie in the category of operads over Lie. From a first inspection on the dimension of D^2PreLie, one may find that it is related to the so called Greg trees. We generalize the Greg trees by labelling their black vertices by a coalgebra, then put an operadic structure on them. Those operads are binary, quadratic, Koszul and have the Nielsen-Schreier property.
11h-12h : Khalef Yaddaden: "Torseur de double mélange de multizêtas cyclotomiques et stabilisateurs de coproduits de Rham et Betti"
Résumé : Racinet décrit les relations de double mélange et régularisation entre valeurs polylogarithmes multiples aux racines de l'unité via un Q-schéma DMRι où ι: G → C× est un plongement de groupe d'un groupe cyclique fini G dans C×. Ensuite, Enriquez et Furusho montrent, dans le cas G={1}, qu'un sous-schéma DMRι× est un torseur d'isomorphismes entre objets Betti et de Rham. Dans cet exposé, on établit une généralisation de ce résultat en version cyclotomique. On commencera par expliciter la structure de torseur de DMRι× puis on introduira dans ce contexte les objets de Rham et Betti adéquats : les premiers sont issus d'une algèbre produit croisé et permettent une reformulation du coproduit harmonique de Racinet plus proche du formalisme introduit par Enriquez et Furusho; quant aux les seconds, ils sont issus d'une algèbre de groupe du groupe fondamental orbifold C×\ μ|G| / μ|G| où μ|G| désigne le groupe des racines |G|-ièmes de l'unité. Enfin, on démontrera, au sein du formalisme Betti, l'existence de deux coproduits de coalgèbre et d'algèbre de Hopf tels que DMRι× est un torseur des isomorphismes reliant ces coproduits Betti aux coproduits de Rham.
14h-15h : Benjamin Enriquez: "Sur les liens entre homologie singulière relative et quotients nilpotents du groupe fondamental des espaces topologiques"
Résumé : Pour X une variété, a,b deux points et n≥0 un entier, on sait, en utilisant des techniques de cohomologie de faisceaux, établir un isomorphisme entre (a) le dual du n+1-ième quotient correspondant à la suite centrale descendante du Q-espace vectoriel construit sur le torseur π1(X;a,b), et (b) le n-ième groupe de cohomologie relative du couple formé par Xn et une sous-variété Y(n)a,b construite à partir de a,b et des diagonales consécutives (Beilinson, rédigé par Deligne et Goncharov, puis avec tous les détails par Burgos Gil et Fresan). Nous montrons comment construire, dans le cas où X est un espace topologique, un morphisme de groupes abéliens entre (a) le n+1-ième quotient du Z-module libre construit sur π1(X;a,b), et (b) le n-ième groupe d'homologie relative du couple (Xn,Y(n)a,b) , morphisme dont le tensorisé par Q est celui décrit ci-dessus. La construction repose sur l'étude combinatoire d'opérations de "division" dans les complexes de chaînes. (Travail commun avec Florence Lecomte.)
14h-15h30 : Christine VESPA "Wheeled PROP structure on stable cohomology"
Abstract : Wheeled PROPs, considered by Markl, Merkulov and Shadrin are PROPs equipped with extra structures which can treat traces. In this talk, after explaining the notion of wheeled PROPs, I will describe a wheeled PROP structure on stable cohomology of automorphism groups of free groups with some particular coefficients. I will explain how cohomology classes constructed previously by Kawazumi can be interpreted using this wheeled PROP structure and I will construct a morphism of wheeled PROPs from a PROP given in terms of functor homology and the wheeled PROP evoked previously. This is joint work with Nariya Kawazumi.
16h-17h30 : Eric HOFFBECK "Homologie d'infini-opérades"
Résumé : Après des rappels sur la catégorie Omega et les infini-opérades dans le contexte dendroidal, je définirai une notion d'homologie pour les infini-opérades et les ensembles dendroidaux. L'homologie ainsi définie généralise celle du cas usuel des opérades algébriques, définie par l'homologie de la construction bar. Notre homologie provient également d'une construction bar, que je détaillerai, ainsi qu'une construction cobar. Celles-ci vérifient un théorème d'adjonction. Ceci est un travail en commun avec Ieke Moerdijk.
9h-10h30 : Guillaume LAPLANTE-ANFOSSI "La diagonale du multiplaèdre et le produit tensoriel de catégories A-infini"
Résumé : La structure d’algèbre associative à homotopie près, ou algèbre A-infini, est encodée par les associaèdres. Les morphismes entre algèbres A-infini sont encodés par une autre famille de polytopes, d’abord introduite par Stasheff : les multiplaèdres. Dans un travail en commun avec Thibaut Mazuir et Naruki Masuda, nous définissons une approximation cellulaire de la diagonale des multiplaèdres, et nous décrivons son image de manière combinatoire. Cela nous permet de définir un produit tensoriel de morphismes A-infini, compatible avec celui des algèbres A-infini, par des formules explicites. Ce résultat ouvre les portes à des calculs explicites en topologie symplectique, notamment l’étude de la catégorie de Fukaya formée par les produits de variétés symplectiques.
11h-12h30 : Bérénice DELCROIX-OGER "Structures tridendriformes sur les faces des associaèdres d'hypergraphes"
Résumé :En 2004, Jean-Louis Loday et Maria Ronco ont introduit la notion d'algèbre tridendriforme et muni l'espace vectoriel des arbres plans d'une structure d'algèbre tridendriforme. Emily Burgunder et Maria Ronco ont ensuite étendu leur définition aux surjections en 2010. Les arbres plans et les surjections forment les faces de deux polytopes bien connus : l'associaèdre et le permutoèdre. Dans un travail récent avec Pierre-Louis Curien et Jovana Obradovic, nous avons étendu ces constructions aux faces de certains associaèdres d'hypergraphes appelés clans associatifs. Après avoir présenté le contexte et les définitions nécessaires, je présenterai cette construction et des exemples de celle-ci.
14h30-16h : Vladimir DOTSENKO "Une trinité des quotients homotopiques"
Résumé : Je parlerai de mon travail en cours avec Sergey Shadrin et Pedro Tamaroff dans lequel on étudie certains algèbres muni d'un opérateur impair d'ordre fini dont le carré est l'endomorphisme nul. La catégorie des algèbres où cet opérateur est trivial à l'homotopie près nous mène aux généralisations de la notion d'une théorie cohomologique des champs.
9h-10h30 : Najib IDRISSI "Curved Koszul duality and factorization homology"
Résumé : Koszul duality is a powerful theory that can be used – among other things – to produce resolutions of algebras. Usual Koszul duality applies to quadratic algebras, i.e., algebras equipped with a presentation where relations are all quadratic. As soon as relations involve linear and especially constant terms, the theory becomes more involved: the Koszul dual of an algebra is not a mere coalgebra anymore, but a curved coalgebra. In this talk, I will explain how curved Koszul duality can be generalized to algebras over unital binary quadratic operads, based on ideas developed by Millès and Hirsh–Millès. I will then apply this theory of n-Poisson algebras in order to compute factorization homology of universal enveloping n-algebras of Lie algebras.
11h-12h30 : Joan BELLIER-MILLES "Contexte homotopique pour les algèbres courbées"
Résumé : Les algèbres courbées ne vérifient pas l’identité fondamentale : d^2 = 0. Parler d’homologie pour ces algèbres n’a donc pas de sens a priori. Elles apparaissent cependant dans des contextes (en géométrie par exemple) où un analogue d’une théorie de l’homotopie est requis. Nous proposerons un contexte homotopique dans lequel il est possible d’étendre la dualité de Koszul aux opérades courbées. Nous pourrons ainsi décrire une théorie de l’homotopie pour des algèbres courbées.
14h30-16h : Victor ROCA i LUCIO "A groupoid-colored approach to curved operadic calculus"
Résumé : Curved algebras appear in many different areas of mathematics. If one wants to encode them using operads, the one needs to introduce a new type of operads, called curved operads. In this talk, I will present how to generalize different standard results concerning operads to curved operads. Then, I will explain how to encode this objects using (curved) groupoid-colored operads. Using the Koszul duality of Hirsh--Millès at the groupoid-colored level, we construct a new Bar-Cobar adjunction involving curved operads and counital cooperads. Finally, we conclude by studying different homotopical properties and establish duality results that relate this adjunction to the adjunction introduced by Le Grignou between operads and curved conilpotent cooperads. Meanwhile, we construct the cofree not necessarily conilpotent cooperad.