Related papers: OCHA and Leibniz Pairs, towards a Koszul duality
In this paper we show that the relation between Kajiura-Stasheff's OCHA and A. Voronov's swiss-cheese operad is analogous to the relation between SH Lie algebras and the little discs operad. More precisely, we show that the OCHA operad is…
We prove that the homology of the Swiss-cheese operad is a Koszul operad. As a consequence, we obtain that the spectral sequence associated to the stratification of the compactification of points on the upper half plane collapses at the…
For an associative algebra A we consider the pair "the Hochschild cochain complex C*(A,A) and the algebra A". There is a natural 2-colored operad which acts on this pair. We show that this operad is quasi-isomorphic to the singular chain…
We prove that if a pair of semi-cosimplicial spaces (X,Y) arise from a coloured operad then the semi-totalization sTot(Y) has the homotopy type of a relative double loop space and the pair (sTot(X),sTot(Y)) is weakly equivalent to an…
We introduce a new operad, which we call the Swiss-cheese operad. It mixes naturally the little disks and the little intervals operads. The Swiss-cheese operad is related to the configuration spaces of points on the upper half-plane and…
This paper proves Koszul duality for coloured operads and uses it to introduce strongly homotopy operads as a suitable homotopy invariant version of operads. It shows that rational chains on configuration spaces of points in the plane form…
We introduce a new type of algebra, which is called a Lie-Leibniz algebra. This concept is an abstraction of derived bracket construction. It will be proved that the operad of Lie-Leibniz algebras is Koszul. The strong homotopy version of…
We define a poset of partitions associated to an operad. We prove that the operad is Koszul if and only if the poset is Cohen-Macaulay. In one hand, this characterisation allows us to compute the homology of the poset. This homology is…
This paper gives a systematic study of matching dialgebras corresponding to the operad $As^{(2)}$ in \cite{Zi} as the only Koszul self dual operad there other than the operads of associative algebras and Poisson algebras. The close…
We prove a conjecture of Kontsevich which states that if $A$ is an $E_{d-1}$ algebra then the Hochschild cohomology object of $A$ is the universal $E_d$ algebra acting on $A$. The notion of an $E_d$ algebra acting on an $E_{d-1}$ algebra…
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…
In this paper we describe operads encoding two different kinds of compatibility of algebraic structures. We show that there exist decompositions of these in terms of black and white products and we prove that they are Koszul for a large…
In this paper, we introduce a new notion of algebra over a linear $\infty$-operad and a corresponding notion of coalgebra over an $\infty$-cooperad. We next extend the Koszul duality between linear $\infty$-operads and linear…
We study the operad structure on the homology of moduli spaces of pointed rooted trees of $d$-dimensional projective spaces, introduced by Chen, Gibney and Krashen a couple of decades ago. We describe this operad by generators and…
The cup product in the cohomology of algebras over quadratic operads has been studied in the general setting of Koszul duality for operads. We study the cup product on the cohomology of n-ary totally associative algebras with an operation…
Koszul duality is a fundamental correspondence between algebras for an operad $\mathcal{O}$ and coalgebras for its dual cooperad $B\mathcal{O}$, built from $\mathcal{O}$ using the bar construction. Francis-Gaitsgory proposed a conjecture…
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…
We construct a set-theoretic coloured operad that may be thought of as a combinatorial model for the Swiss Cheese operad. This is the relative (or Swiss Cheese) version of the lattice path operad constructed by Batanin and Berger. By…
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…
We study algebras with a distributive law and the Koszulness of associated operads. As a corollary of our theory we prove that the homology operad of the little cubes operad is Koszul, the result which was originally proven by E. Getzler…