Related papers: Bar-cobar duality for operads in stable homotopy t…
The classical bar-cobar adjunction between dg algebras and dg coalgebras goes back to the origins of differential homological algebra as developed by Cartan, Eilenberg, Moore, and many others, and is part of the broader framework of Koszul…
We study the deformation theory of morphisms of properads and props thereby extending to a non-linear framework Quillen's deformation theory for commutative rings. The associated chain complex is endowed with a Lie algebra up to homotopy…
We extend the Koszul duality theory of associative algebras to algebras over an operad. Recall that in the classical case, this Koszul duality theory relies on an important chain complex: the Koszul complex. We show that the cotangent…
We apply the theory of operadic Koszul duality to provide a cofibrant resolution of the colored operad whose algebras are prefactorization algebras on a fixed space M. his allows us to describe a notion of prefactorization algebra up to…
The search for algebraic foundations of colour-kinematics duality and the double-copy construction has brought into focus a generalization of Batalin--Vilkovisky algebras, referred to here as coexact BV-algebras and as…
The purpose of this paper is to investigate the relationship between hairy graph complexes associated to cyclic operads and their counterparts for operads (and, more generally, dioperads). This is based on the author's interpretation of…
The classical Hochschild--Kostant--Rosenberg (HKR) theorem computes the Hochschild homology and cohomology of smooth commutative algebras. In this paper, we generalise this result to other kinds of algebraic structures. Our main insight is…
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…
We define a notion of homotopy Segal cooperad in the category of $ E_\infty $-algebras. This model of Segal cooperad that we define in the paper, which we call homotopy Segal $ E_\infty $-Hopf cooperad, covers examples given by the cochain…
We generalize Berger and Moerdijk's results on axiomatic homotopy theory for operads to the setting of enriched symmetric monoidal model categories, and show how this theory applies to orthogonal spectra. In particular, we provide a…
We define the $m$th Veronese power of a weight graded operad $\mathcal{P}$ to be its suboperad $\mathcal{P}^{[m]}$ generated by operations of weight $m$. It turns out that, unlike Veronese powers of associative algebras, homological…
In this paper, we revisit the construction of the hairy graph complexes associated to a cyclic operad, by exploiting modules over the appropriate twisted linearization of the downward Brauer category (and working over a field of…
Working in the context of symmetric spectra, we describe and study a homotopy completion tower for algebras and left modules over operads in the category of modules over a commutative ring spectrum (e.g., structured ring spectra). We prove…
We consider the notions of the replicators, including the duplicator and triplicator, of a binary operad. As in the closely related notions of di-Var-algebra and tri-Var-algebra in [14], they provide a general operadic definition for the…
We present a unifying framework for the key concepts and results of higher Koszul duality theory for N-homogeneous algebras: the Koszul complex, the candidate for the space of syzygies, and the higher operations on the Yoneda algebra. We…
In this thesis, we generalize the Koszul duality for associative algebras and operads to PROPs. The operads are algebraic objects that represent the operations with multiple inputs but only one output acting on a certain type of algebras. A…
A differential algebra with weight is an abstraction of both the derivation (weight zero) and the forward and backward difference operators (weight $\pm 1$). In 2010 Loday established the Koszul duality for the operad of differential…
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…
This paper introduces the category of marked curved Lie algebras with curved morphisms, equipping it with a closed model category structure. This model structure is---when working over an algebraically closed field of characteristic…
Let F denote the homotopy fiber of a map f:K-->L of 2-reduced simplicial sets. Using as input data the strongly homotopy coalgebra structure of the chain complexes of K and L, we construct a small, explicit chain algebra, the homology of…