Related papers: Dualite de Koszul des PROPs
WWe describe the Koszul dual of the operad Quad of quadri-algebras, show the koszularity of Quad and give the formal series of Quad and its dual, which proves a conjecture due to Aguiar and Loday. A notion of quadri-bialgebra is also…
The aim of this paper is to present remarkable classes of Lie-admissible algebras containing in particular the associative algebras, the Vinberg algebras and pre-Lie algebras. We determine the associated quadratic operads and their dual…
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…
Given a simply connected space $X$, there are several, a priori different, algebraic groups whose groups of $\mathbb Q$-points are isomorphic to the group of homotopy classes of homotopy automorphisms of the rationalization of $X$. We will…
A duality transform for the coalgebra of the free difference quotient derivation-multiplication of an operator with respect to a free algebra of scalars is constructed. The dual object is realized in an algebra of matricial analytic…
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…
Various compatibility conditions among replicated copies of operations in a given algebraic structure have appeared in broad contexts in recent years. Taking an uniform approach, this paper gives an operadic study of compatibility…
Since its introduction by Loday in 1995 with motivation from algebraic K-theory, dendriform dialgebras have been studied quite extensively with connections to several areas in mathematics and physics. A few more similar structures have been…
We show that the Koszul calculus of a preprojective algebra, whose graph is distinct from A$\_1$ and A$\_2$, vanishes in any (co)homological degree $p>2$. Moreover, its (higher) cohomological calculus is isomorphic as a bimodule to its…
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…
This paper shows that the operad encoding modular operads is Koszul. Using this result we construct higher composition operations on (hairy) graph homology which characterize its rational homotopy type.
In this paper we introduce novel views of monoids and groups. More specifically, for a given set $S$, let $S^{S\times S}$ be the set of binary operations on $S$. We equip $S^{S\times S}$ with canonical binary operations induced by the…
We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…
I exhibit a pair of non-symmetric operads that, although not themselves isomorphic, induce isomorphic monads. The existence of such a pair implies that if `algebraic theory' is understood as meaning `monad', operads cannot be regarded as…
Given a smooth proper morphism $f\colon X\rightarrow S$, we introduce a certain derived category where morphisms are permitted to be $\mathcal{O}_S$-linear differential operators. We then prove a generalisation of Serre duality that applies…
We study the Andr\'e-Quillen cohomology with coefficients of an algebra over an operad. Using resolutions of algebras coming from Koszul duality theory, we make this cohomology theory explicit and we give a Lie theoretic interpretation. For…
We investigate operads for various n-ary algebras. As a useful tool we introduce galgalim - analogs of the Lie-hedra for n-ary algebras. We then focus to algebras with one anti-associative operation. We describe the relevant part of the…
In this article we give a construction of a polynomial 2-monad from an operad and describe the algebras of the 2-monads which then arise. This construction is different from the standard construction of a monad from an operad in that the…
A PROB is a "product and braid" category. Such categories can be used to encode the structure borne by an object in a braided monoidal category. In this paper we provide PROBs whose categories of algebras in a braided monoidal category are…
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…