Rectifying Partial Algebras Over Operads of Complexes

Let M be a bicomplete, closed symmetric monoidal category. Let P be an operad in M, i.e., a monoid in the category of symmetric sequences of objects in M, with its composition monoidal structure. Let R be a P-co-ring, i.e., a comonoid in the category of P-bimodules. The co-ring R induces a natural ``fattening'' of the category of P-(co)algebras, expanding the morphism sets while leaving the objects fixed. Co-rings over operads are thus ``relative operads,'' parametrizing morp...

The aim of this brief note is mainly to advocate our approach to homotopy algebras based on the minimal model of an operad. Our exposition is motivated by two examples which we discuss very explicitly - the example of strongly homotopy associative algebras and the example of strongly homotopy Lie algebras. We then indicate what must be proved in order to show that these homotopy algebraic structures are really `stable under a homotopy.' The paper is based on a talk given ...

Given a coalgebra C over a cooperad, and an algebra A over an operad, it is often possible to define a natural homotopy Lie algebra structure on hom(C,A), the space of linear maps between them, called the convolution algebra of C and A. In the present article, we use convolution algebras to define the deformation complex for infinity-morphisms of algebras over operads and coalgebras over cooperads. We also complete the study of the compatibility between convolution algebras a...

The goal of this article is to relate recent developments in cyclic homology theory with the theory of operads and homotopical algebra, and hence to provide a general framework to define and study operations in cyclic homology theory.

We extend homological perturbation theory to encompass algebraic structures governed by operads and cooperads. The main difficulty is to find a suitable notion of algebra homotopy that generalizes to algebras over operads O. To solve this problem, we introduce what we call thick maps of O-algebras and special thick maps that we call pseudo-derivations, which serve as appropriate generalizations of algebra homotopies for the purposes of homological perturbation theory. As an...

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...

This paper considers a class of coalgebras over the Barratt-Eccles operad and shows that they classify Z-completions of pointed, reduced simplicial sets. As a consequence, they encapsulate the homotopy types of nilpotent simplicial sets. This result is a direct generalization of Quillen's result characterizing rational homotopy types via cocommutative coalgebras.

We define a chain map of the form $\E(k)\otimes BA^{\otimes k}\longrightarrow BA$, where $\E$ is a combinatorial $E_\infty$-operad called the sequence operad, and $BA$ is the bar complex of an $\E$-algebra $A$. We see that Steenrod-type operations derived from the chain map are equal to the corresponding operations on the cohomology of the based loop space under an isomorphism.

A group completion functor Q is constructed in the category of algebras in simplicial sets over a cofibrant E_n-operad M. It is shown that Q defines a Bousfield-Friedander simplicial model category on M-algebras.

In this paper we establish Koszul duality type results in the setting of chain complexes in exact categories. In particular we prove generalisations of Vallette's cooperadic Koszul duality theorem, and operadic Koszul duality along the lines of Lurie. We also prove a connective version. We conclude with some applications, including our main example, the category of complete bornological spaces over a Banach field.