Related papers: The alternative operad is not Koszul
The main result of this paper is to establish precisely which blocks in the Category $\mathcal{O}$ of the periplectic Lie superalgebra $\mathfrak{pe}(2)$ are Koszul. It is known that $\mathcal{O}(\mathfrak{pe}(2))$ has three blocks up to…
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…
We give a new proof of the non-triviality of wheel graph homology classes using higher operations on Lie graph homology and a derived version of Koszul duality for modular operads.
We introduce $k$-signaletic operads and their Koszul duals, generalizing the dendriform, diassociative and duplicial operads (which correspond to the $k=1$ case). We show that the Koszul duals of the $k$-signaletic operads act on…
A new hierarchy of combinatorial operads is introduced, involving families of regular polygons with configurations of arcs, called decorated cliques. This hierarchy contains, among others, operads on noncrossing configurations, Motzkin…
This paper proves a Koszul duality result between weighted $\mathcal{A}_{\infty}$-algebras constructed in the author's previous work. In the process, we construct a new box tensor product for weighted $\mathcal{A}_{\infty}$ bimodules, and…
In this paper, we construct a bar-cobar adjunction and a Koszul duality theory for protoperads, which are an operadic type notion encoding faithfully some categories of bialgebras with diagonal symmetries, like double Lie algebras (DLie).…
From a coloured operad $\mathcal{P}$ and a $\mathcal{P}$-algebra $A$, we construct a new operad $\mathrm{SC}(\mathcal{P})$ and a Hochschild object $\mathrm{Hoch}(A)$ together with an $\mathrm{SC}(\mathcal{P})$-action on the pair…
Motivated by the second author's construction of a classifying space for the group of pure symmetric automorphisms of a free product, we introduce and study a family of topological operads, the operads of based cacti, defined for every…
In this paper we study the homology of 2 versions of the swiss-cheese operad. We prove that the zeroth homology of these two versions are Koszul operads and relate this to strong homotopy Lebiniz pairs and OCHA, defined by Kajiura and…
We extend bar-cobar duality, defined for operads of chain complexes by Getzler and Jones, to operads of spectra in the sense of stable homotopy theory. Our main result is the existence of a Quillen equivalence between the category of…
This paper shows that generalizations of operads equipped with their respective bar/cobar dualities are related by a six operations formalism analogous to that of classical contexts in algebraic geometry. As a consequence of our…
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…
For operads with a map from the curved homotopy Lie operad, we introduce a corresponding curved variant `cTw' of Willwacher's operadic twisting comonad `Tw'. We show that cTw-coalgebra structures on such an operad are in bijection with…
An associative algebra with a generalized derivation is called an AsGDer triple. We introduce the operad that encodes AsGDer triples, and prove it is a Koszul operad. Using its Koszul dual cooperad, we introduce the homotopy version of…
For a directed polytope, we construct a colored operad whose Poincare-Hilbert series encodes certain operations on the cellular complex of the polytope. We conjecture that for a class of short polytopes the constructed operads are Koszul…
In this corrigendum, we explain and correct a mistake in our article ''Curved Koszul duality theory''. Our definitions of morphisms between semi-augmented properads and between curved coproperads have to be modified.
Proving Koszulness of a properad can be very hard, but sometimes one can look at its Koszul complex to look for obstructions for Koszulness. In this paper, we present a method and tools to prove non-Koszulness of many properads in a family…
In this note, we prove the Koszulity of the tensor product algebra defined in the author's previous work for sl(n) and a list of fundamental weights. This is achieved by constructing a graded Morita equivalence between the modules over this…
We show that Koszul duality for operads in $(\mathrm{Top},\times)$ can be expressed via generalized Thom complexes. As an application, we prove the Koszul self duality of the little disk modules $E_M$. We discuss implications for…