Operadic bar constructions, cylinder objects, and homotopy morphisms of algebras over operads
Benoit Fresse
备注：
64 pages. Bibliographical updates and minor corrections in the revised version. To appear in the "Alpine perspectives on algebraic topology (Arolla, 2008)"
The purpose of this paper is twofold. First, we review applications of the bar duality of operads to the construction of explicit cofibrant replacements in categories of algebras over an operad. In view toward applications, we check that the constructions of the bar duality work properly for algebras over operads in unbounded differential graded modules over a ring.
In a second part, we use the operadic cobar construction to define explicit cyclinder objects in the category of operads. Then we apply this construction to prove that certain homotopy morphisms of algebras over operads are equivalent to left homotopies in the model category of operads.
We construct a generalization of the operadic nerve, providing a translation between the equivariant simplicially enriched operadic world to the parametrized $\infty$-categorical perspective. This naturally factors through genuine equivariant operads, a model for "equivariant operads with norms up to homotopy". We introduce the notion of an op-fibration of genuine equivariant operads, extending Grothendieck op-fibrations, and characterize fibrant operads as the image of genuine equivariant symmetric monoidal categories. Moreover, we show that under the operadic nerve, this image is sent to $G$…
This is an expository article about operads in homotopy theory written as a chapter for an upcoming book. It concentrates on what the author views as the basic topics in the homotopy theory of operadic algebras: the definition of operads, the definition of algebras over operads, structural aspects of categories of algebras over operads, model structures on algebra categories, and comparison of algebra categories when changing operad or underlying category. In addition, it includes two applications of the theory: The original application to $n$-fold loop spaces, and an application to algebraic …
Derived A-infinity algebras were developed recently by Sagave. Their advantage over classical A-infinity algebras is that no projectivity assumptions are needed to study minimal models of differential graded algebras. We explain how derived A-infinity algebras can be viewed as algebras over an operad. More specifically, we describe how this operad arises as a resolution of the operad dAs encoding bidgas. This generalises the established result describing the operad A-infinity as a resolution of the operad As encoding associative algebras. We further show Sagave's definition of morphisms agrees…
We show that the operadic cohomology for any type of algebras over a non-symmetric operad A can be computed as Ext in the category of operadic A-modules. We use this principle to prove that the Gerstenhaber-Schack diagram cohomology is operadic cohomology.
I describe a generalization of the notion of operadic category due to Batanin and Markl. For each such operadic category I describe a skew monoidal category of collections, such that a monoid in this skew monoidal category is precisely an operad over the operadic category. In fact I describe two skew monoidal categories with this property. The first has the feature that the operadic category can be recovered from the skew monoidal category of collections; the second has the feature that the right unit constraint is invertible. In the case of the operadic category S of finite sets and functions…
We study homotopy-coherent commutative multiplicative structures on equivariant spaces and spectra. We define N-infinity operads, equivariant generalizations of E-infinity operads. Algebras in equivariant spectra over an N-infinity operad model homotopically commutative equivariant ring spectra that only admit certain collections of Hill-Hopkins-Ravenel norms, determined by the operad. Analogously, algebras in equivariant spaces over an N-infinity operad provide explicit constructions of certain transfers. This characterization yields a conceptual explanation of the structure of equivariant in…
Over suitable monoidal model categories, we construct a Dwyer-Kan model category structure on the category of algebras over an augmented operadic collection. As examples we obtain Dwyer-Kan model category structure on the categories of enriched wheeled props, wheeled properads, and wheeled operads, among others. This result extends known model category structure on the categories of operads, properads, and props enriched in simplicial sets and other monoidal model categories. We also show that our Dwyer-Kan model category structure is well behaved with respect to simultaneous changes of the un…
The paper is devoted to explaining the operadic meaning of freehedra, a family of polytopes originally defined to study free loop spaces. We introduce the notion of operadic pairs and algebras over them. Cellular chains on Stasheff associahedra and Stasheff multiplihedra assemble into a two-colored operadic pair that governs $A_\infty$-algebras and $A_\infty$-modules over them, with maps that are $A_\infty$ in both colors. An important quotient of this operadic pair is given by cellular chains on cubes and freehedra.
We prove a stabilization theorem for algebras of n-operads in a monoidal model category. It implies a version of Baez-Dolan stabilization hypothesis for Rezk's weak n-categories and some other stabilization results.
In this paper we study duoidal structures on $\infty$-categories of operadic modules. Let $\mathcal{O}^{\otimes}$ be a small coherent $\infty$-operad and let $\mathcal{P}^{\otimes}$ be an $\infty$-operad. If a $\mathcal{P}\otimes\mathcal{O}$-monoidal $\infty$-category $\mathcal{C}^{\otimes}$ has a sufficient supply of colimits, then we show that the $\infty$-category ${\rm Mod}_A^{\mathcal{O}}(\mathcal{C})$ of $\mathcal{O}$-$A$-modules in $\mathcal{C}^{\otimes}$ has a structure of $(\mathcal{P},\mathcal{O})$-duoidal $\infty$-category for any $\mathcal{P}\otimes\mathcal{O}$-algebra object $A$.
We construct for any algebra over an operad an Hochschild chain complex. In the case of the singular cochain complex of a topological space, considered as a commutative algebra up to homotopy, we show that this complex computes the singular cohomology of the free loop space over this topological space.
The purpose of this paper is two-fold. In Part 1 we introduce a new theory of operadic categories and their operads. This theory is, in our opinion, of an independent value. In Part 2 we use this new theory together with our previous results to prove that multiplicative 1-operads in duoidal categories admit, under some mild conditions on the underlying monoidal category, natural actions of contractible 2-operads. The result of D. Tamarkin on the structure of dg-categories, as well as the classical Deligne conjecture for the Hochschild cohomology, is a particular case of this statement.
We show that a large number of Thom spectra, i.e. colimits of morphisms $BG\to BGL_1(\mathbb{S})$, can be obtained as iterated Thom spectra, i.e. colimits of morphisms $BG\to BGL_1(Mf)$ for some Thom spectrum $Mf$. This leads to a number of new relative Thom isomorphisms, e.g. $MU[6,\infty)\wedge_{MString} MU[6,\infty)\simeq MU[6,\infty)\wedge\mathbb{S}[B^3Spin]$. As an example of interest to chromatic homotopy theorists, we also show that Ravenel's $X(n)$ filtration of $MU$ is a tower of intermediate Thom spectra determined by a natural filtration of $BU$ by sub-bialagebras.
The present article exploits the fact that permutads (aka shuffle algebras) are algebras over a terminal operad in a certain operadic category Per. In the first, classical part we formulate and prove a claim envisaged by Loday and Ronco that the cellular chains of the permutohedra form the minimal model of the terminal permutad which is moreover, in the sense we define, self-dual and Koszul. In the second part we study Koszulity of Per-operads. Among other things we prove that the terminal Per-operad is Koszul self-dual. We then describe strongly homotopy permutads as algebras of its minimal m…
We construct an explicit minimal model for an algebra over the cobar-construction of a differential graded operad. The structure maps of this minimal model are expressed in terms of sums over decorated trees. We introduce the appropriate notion of a homotopy equivalence of operadic algebras and show that our minimal model is homotopy equivalent to the original algebra. All this generalizes and gives a conceptual explanation of well-known results for A-infinity algebras. Further, we show that these results carry over to the case of algebras over modular operads; the sums over trees get replaced…
Laboratoire J.-A. Dieudonné, Université Côte d’Azur（J.-A. 迪永实验室，蔚蓝海岸大学）；Department of Computer Science and Technology, University of Cambridge（剑桥大学计算机科学与技术系）；Department of Mathematics, The University of Manchester（曼彻斯特大学数学系）
We prove that the homotopy theory of $N_\infty$ operads is equivalent to a homotopy theory of discrete operads, and we construct free and associative operadic realizations of every indexing system. This resolves a conjecture of Blumberg and Hill in the affirmative.
We show that the operad Lie is free as a non-symmetric operad. Then we study the generating series counting the operadic generators, finding a recursive formula for its coefficients, and showing that the asymptotic density of the operadic generators is 1/e.
We study some formality criteria for differential graded algebras over differential graded operads. This unifies and generalizes other known approaches like the ones by Manetti and Kaledin. In particular, we construct general operadic Kaledin classes and show that they provide obstructions to formality. Moreover, we show that an algebra A is formal if and only if its operadic cohomology spectral sequence degenerates at $E_2$.
It is well known that under some general conditions right Bousfield localization exists. We provide general conditions under which right Bousfield localization yields a monoidal model category. Then we address the questions of when this monoidal model structure on a right Bousfield localization induces a model structure on the category of algebras over a colored operad and when a right Bousfield localization preserves colored operadic algebras. We give numerous applications, to topological spaces, equivariant spaces, chain complexes, stable module categories, and to the category of small categ…
The homotopy category of $N_\infty$ operads is equivalent to a finite lattice, and as the ambient group varies, there are various image constructions between these lattices. In this paper, we explain how to lift this algebraic structure back to the operad level. We show that lattice joins and meets correspond to derived operadic coproducts and products, and we show that the image constructions correspond to derived operadic induction, restriction, and coinduction, at least when taken along an injective homomorphism. We also prove that a derived variant of the Boardman-Vogt tensor product lifts…
We prove that the operad of framed little 2-discs is formal. Tamarkin and Kontsevich each proved that the unframed 2-discs operad is formal. The unframed 2-discs is an operad in the category of S^1-spaces, and the framed 2-discs operad can be constructed from the unframed 2-discs by forming the operadic semidirect product with the circle group. The idea of our proof is to show that Kontsevich's chain of quasi-isomorphisms is compatible with the circle actions and so one can essentially take the operadic semidirect product with the homology of S^1 everywhere to obtain a chain of quasi-isomorphi…
We define an obstruction to the formality of a differential graded algebra over a graded operad defined over a commutative ground ring. This obstruction lives in the derived operadic cohomology of the algebra. Moreover, it determines all operadic Massey products induced on the homology algebra, hence the name of derived universal Massey product.
Research Institute for Mathematical Sciences, Kyoto University（京都大学数学科学研究所）；Max Planck Institute for Mathematics in the Sciences（德国马克斯·普朗克数理科学研究所）；Utrecht Geometry Center, Utrecht University（乌得勒支大学乌得勒支几何中心）
In this paper, we set up a rational homotopy theory for operads in simplicial sets whose term of arity one is not necessarily reduced to an operadic unit, extending results obtained by the author in the book "Homotopy of operads and Grothendieck-Teichmüller groups". In short, we prove that the rational homotopy type of such an operad is determined by a cooperad in cochain differential graded algebras (a cochain Hopf dg-cooperad for short) as soon as the Sullivan rational homotopy theory works for the spaces underlying our operad (e.g. when these spaces are connected, nilpotent, and have finite…
We introduce an operad which acts on the Gerstenhaber-Schack complex of a prestack as defined by Dinh Van and Lowen, and which in particular allows us to endow this complex with an underlying $L_{\infty}$-structure. We make use of the operad $\operatorname{Quilt}$ which was used by Hawkins in order to solve the presheaf case. Due to the additional difficulty posed by the presence of twists, we have to use $\operatorname{Quilt}$ in a fundamentally different way (even for presheaves) in order to allow for an extension to prestacks. The resulting $L_{\infty}$-algebra governs the deformation theor…
Motivated by calculations of motivic homotopy groups, we give widely attained conditions under which operadic algebras and modules thereof are preserved under (co)localization functors
