Abstracts

• Pedro Boavida
  Cohomological obstructions to isotopy
  
  In the so-called metastable range, Haefliger and Becker showed that the problem of determining whether two smooth embeddings are isotopic is controlled by a single cohomology class. I will explain, with examples, how embedding calculus generalises this by providing not one but a finite list of obstruction classes, which form a complete obstruction to isotopy in codimension at least three. These obstruction classes live in cohomology groups of configuration spaces with coefficients in certain parameterised spectra whose fibres are closely related to the spectral Lie operad. This is joint work with Geoffroy Horel and Michael Weiss.
• Joana Cirici
  Configuration spaces of algebraic varieties
  
  I will use the theory of weights in étale cohomology to give a simple and conceptual proof of a theorem of Kriz stating that a rational model for the ordered configuration space of a smooth complex projective variety is given by the second page of the Leray spectral sequence for the rational constant sheaf relative to the obvious inclusion, along with its only non-trivial differential. Our proof builds on Totaro's study of this spectral sequence, combined with a basic observation related to the formality of filtered dg-algebras. An advantage of this proof is that it allows for a generalization to study the p-adic homotopy type of configuration spaces for certain algebraic varieties defined over finite fields. This is joint work with Geoffroy Horel.
• Domenico Fiorenza
  BV algebras, they do not really exist
  
  Given a differential graded Gerstenhaber algebra (\mathcal{G}, d, \cdot ,\{,\}) and a bigraded homotopy Cartan calculus for it, the choice of a Poincaré duality element enhances the Gerstenhaber algebra structure on H(\mathcal{G}) to a BV algebra structure. Every BV algebra can be realized, essentially in a tautological way, as an instance of homotopy Cartan calculus with Poincaré duality. Possibly more interestingly, homotopy Cartan calculus has a transparent origin in the homotopy theory for differential graded Lie algebras. Also, the dependence of the BV-Laplacian on the choice of the Poincaré duality element provides a justification for the typically observed phenomenon that the BV bracket is "more canonical" than the BV-Laplacian. Classical examples of BV algebras from homotopy Cartan calculus with Poincaré duality include the divergence of multivector fields on Riemannian manifolds and the Ginzburg-Menichi BV algebra structure on Hochschild cohomology. Possibly less known is the fact that Ševera's derivation of the BV algebra structure on the Gerstenhaber algebra of functions on an odd symplectic manifold is an instance of homotopy Cartan calculus. No surprise, Poincaré duality elements in this setting are precisely compatible half-densities. Based on joint works with Eugenia Boffo and Niels Kowalzig.
• Geoffroy Horel
  Equivariant formality of little disks operads
  
  I will explain a proof of the following theorem: the little n-disks operad is equivariantly formal with respect to the action of the group SO(n). As a consequence, the framed little disks operad is also formal. Part of the talk will be devoted to give a precise formulation of the theorem which is a little bit more subtle than one may think. Then I will explain the proof which relies on an action by the Grothendieck-Tiechmüller group and a quite general formality machinery. This is joint work with Pedro Boavida de Brito and Joana Cirici.
• Ulrich Krähmer
  Clones from comonoids
  
  The fact that the cocommutative comonoids in a symmetric monoidal category form the best possible approximation by a cartesian category is revisited when the original category is only braided monoidal. This leads to the question when the endomorphism operad of a comonoid is a clone (a Lawvere theory). By giving an explicit example, we prove that this does not imply that the comonoid is cocommutative (joint with Myriam Mahaman).
• Connor Malin
  Formal geometric Lie algebras: a homotopical perspective on complete Lie algebras
  
  Mandell's Theorem asserts that the category of finite-type nilpotent and p-complete spaces fully faithfully embeds into the category of E_\infty-algebras over an algebraically closed field of characteristic p. There are major obstructions to proving Mandell's theorem using L_\infty-algebras since Koszul duality is very degenerate when restricted to the E_\infty-algebras associated to spaces in characteristic not equal to 0. Roca i Lucio has given an interesting point-set solution to this problem by transferring the model structure on E_\infty-algebras to a certain category of complete L_\infty-algebras. In this talk, I will give a homotopical solution by completing the \infty-category of spectral Lie algebras to a certain category of "Formal Geometric Lie algebras". We will give a construction of a space's "tangent formal geometric Lie algebra" over the sphere spectrum and demonstrate that it agrees with a completion of the cotangent complex of the space's spherical chains.
• Fernando Muro
  Kadeishvili's formality theorem and universal Massey products
  
  In the 1980s, Kadeishvili proved two by now classical theorems. The first one says that a differential graded algebra is, up to quasi-isomorphism, determined by the transferred minimal A-infinity structure carried by its cohomology. The second one establishes that, under suitable Hochschild-cohomological vanishing conditions, the minimal A-infinity structure is necessarily trivial, and hence unique: this is Kadeishvili’s intrinsic formality theorem. In this talk, I will present a generalization of Kadeishvili's intrinsic formality theorem, obtained jointly with Gustavo Jasso (Cologne). This generalization is suitable for non-formal differential graded algebras. It brings into play, as part of the input, the first obstruction to formality, the universal Massey product, which lives in Hochschild cohomology. This Hochschild cohomology class has previously been considered by Baues-Dreckmann, Benson-Krause-Schwede, and Kaledin, among others. In addition, we show how to leverage the full power of the Gerstenhaber algebra structure on Hochschild cohomology to classify differential graded algebras for which the universal Massey product is unit-like. Moreover, when the cohomology algebra is shifted self-dual as a bimodule, we show that these differential graded algebras satisfy the Calabi-Yau property if and only if the Batalin-Vilkovisky operator associated with the duality kills the universal Massey product. These conditions arise naturally in representation theory. The results were developed in this setting in order to prove the derived Auslander-Iyama correspondence, a joint work with Jasso which classifies differential graded algebras whose regular representation has a cluster-tilting property. The Calabi-Yau refinement uses the corresponding Batalin-Vilkovisky structure and leads, in particular, to examples of Calabi-Yau triangulated categories which cannot be lifted to the differential graded level.
• Francesca Pratali
  Localizing \infty-Operads
  
  In homotopy theory, localization is the process of freely inverting a class of morphisms in the object under study. A central theme in higher category theory is that many interesting \infty-categories can be realized as localizations of more tractable ones, unlocking powerful universal properties. A similar phenomenon appears in the theory of \infty-operads: a fundamental example is provided by Lurie's pioneering work, which realizes the little n-disks operad as an operadic localization. In this talk, I will present a general framework for operadic localization based on the dendroidal formalism. By extending a theorem of Rezk and Mazel-Gee to the setting of \infty-operads, we obtain a remarkably effective method for establishing localization results in operadic contexts, with a wide range of potential applications. I will then discuss two of these: a generalization of Willwacher's recent result on cyclic operads and operadic modules, and a description of locally constant factorization algebras on spheres in terms of discrete geometry. This is joint work with K. Arakawa and V. Carmona.
• Tommaso Rossi
  Koszul duality: old and new results
  
  Koszul duality can be seen as a bridge connecting two seemingly unrelated objects, and has various manifestations in algebra and topology. An important example of this is the duality between commutative and Lie algebras, which is crucial to connect Sullivan's and Quillen's approach to rational homotopy theory. In this talk we will review the basics of the theory and its main applications. Then we will focus on the duality between the hypercommutative and gravity operad, two operads related to the moduli spaces of genus zero curves. At the homological level, this duality was proved by Getzler. At the chain level, this is part of a joint work with Paolo Salvatore.
• Mathieu Stiénon
  A Duflo-Kontsevich-type theorem for differential graded manifolds
  
  Differential graded (dg) manifolds provide a powerful framework unifying diverse algebraic and geometric structures including homotopy Lie algebras, foliations, complex manifolds, and spaces with singularities. For any dg algebra, the pair consisting of its Hochschild cohomology and homology carries a rich algebraic structure reminiscent of the classical Cartan calculus and known as the Tamarkin-Tsygan calculus. I will present a Duflo-Kontsevich-type theorem in the setup of the Tamarkin-Tsygan calculus associated with the dg algebra of functions on a dg manifold. Specializing this general result to two important classes of dg manifolds, one recovers both Duflo's classical theorem on the center of the universal enveloping algebra of a Lie algebra and Kontsevich's theorem on the Hochschild cohomology of complex manifolds. This is joint work with Hsuan-Yi Liao and Ping Xu.
• Bruno Vallette
  Explicit formulas for the noncommutative Cartan calculus
  
  The commutative/classical Cartan calculus amounts to a Lie type double action of vector fields of a smooth manifold on its de Rham complex of differential forms. Its noncommutative analogue is expected to take the form of a homotopy Lie type double action of the Hochschild cochain complex of a (homotopy) associative algebra on its the Hochschild chain complex compatible with Connes' boundary map. Such a structure implies a noncommutative chain-level version of the Gauss-Manin connection. In this talk, I will explain how the operadic calculus allows one to solve this problem and I will provide fully explicit formulas in terms of an operad introduced by Kontsevich-Soibelman.
• Ping Xu
  Kapranov L-infinity algebras
  
  In his study of Rozansky–Witten invariants, Kapranov discovered a natural L_\infty[1]-algebra structure on the Dolbeault complex \Omega^{0, \bullet}(T_X^{1, 0}) of an arbitrary Kähler manifold X, where all multibrackets are \Omega^{0, \bullet}(X)-multilinear except for the unary bracket. Motivated by this example, we introduce an abstract notion of Kapranov L-infinity algebras, and prove that associated to any dg Lie algebroid, there is a natural Kapranov L-infinity algebra. We also discuss the linearization problem. This is a joint work with Ruggero Bandiera, Seokbong Seol, and Mathieu Stiénon.