Related papers: Curved Koszul duality theory
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…
Algebraic structures with multiple copies of a given type of operations interrelated by various compatibility conditions have long being studied in mathematics and mathematical physics. They are broadly referred as linearly compatible,…
We extend a construction of Hinich to obtain a closed model category structure on all differential graded cocommutative coalgebras over an algebraically closed field of characteristic zero. We further show that the Koszul duality between…
Starting from a biased definition of a properad, we describe explicitly algebras over the cobar construction of a properad. Equivalent description in terms of solutions of generalized master equations, which can be interpreted as…
This paper provides an explicit cofibrant resolution of the operad encoding Batalin-Vilkovisky algebras. Thus it defines the notion of homotopy Batalin-Vilkovisky algebras with the required homotopy properties. To define this resolution we…
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…
For any dg algebra $A$ we construct a closed model category structure on dg $A$-modules such that the corresponding homotopy category is compactly generated by dg $A$-modules that are finitely generated and free over $A$ (disregarding the…
We introduce a generalization of the notion of operad that we call a contractad, whose set of operations is indexed by connected graphs and whose composition rules are numbered by contractions of connected subgraphs. We show that many…
We study the Koszul duality between augmented $E_n$-algebras and augmented $E_n$-coalgebras in a symmetric monoidal stable infinity $1$-category equipped with a filtration in a suitable sense. We obtain that the Koszul duality constructions…
Aguiar and Mahajan introduced a cohomology theory for the twisted coalgebras of Joyal, with particular interest in the computation of their second cohomology group, which gives rise to their deformations. We use the Koszul duality theory…
We consider partitions of a set with $r$ elements ordered by refinement. We consider the simplicial complex $\bar{K}(r)$ formed by chains of partitions which starts at the smallest element and ends at the largest element of the partition…
We study two closely related operads: the Gelfand-Dorfman operad GD and the Conformal Lie Operad CLie. The latter is the operad governing the Lie conformal algebra structure. We prove Koszulity of the Conformal Lie operad using the Groebner…
We study a pair of dual operads which arise in the study of moduli spaces of pointed genus 0 curves (this duality is similar to that between commutative and Lie algebras). These operads are both quadratic, and even Koszul, and arise in the…
An operad describes a category of algebras and a (co)homology theory for these algebras may be formulated using the homological algebra of operads. A morphism of operads $f:\mathcal{O}\rightarrow\mathcal{P}$ describes a functor allowing a…
The notion of a duality between two derived functors as well as an extension theorem for derived functors to larger categories in which they need not be defined is introduced. These ideas are then applied to extend and study the coext…
We develop a theory of "arrowed" (operads and) dioperads, which are to exact triangles as dioperads are to vector spaces. A central example to this paper is the arrowed operad controlling "derived ideals" for any operad. The Koszul duality…
We dualise the classical fact that an operad with multiplication leads to cohomology groups which form a Gerstenhaber algebra to the context of cooperads: as a result, a cooperad with comultiplication induces a homology theory that is…
Let T be a torus. We show that Koszul duality can be used to compute the equivariant cohomology of topological T-spaces as well as the cohomology of pull backs of the universal T-bundle. The new features are that no further assumptions…
In an application of the notion of twisting structures introduced by Hess and Lack, we define twisted composition products of symmetric sequences of chain complexes that are degreewise projective and finitely generated. Let Q be a cooperad…
This paper investigates Rota-Baxter associative algebras of of arbitrary weights, that is, associative algebras endowed with Rota-Baxter operators of arbitrary weights from an operadic viewpoint. Denote by $\RB$ the operad of Rota-Baxter…