Related papers: A Poincar\'e-Birkhoff-Witt criterion for Koszul op…
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,…
A Lie-admissible algebra gives by anticommutativity a Lie algebra. In this work we study remarkable classes of Lie-admissible algebras such as Vinberg, PreLie algebras. We compute the corresponding binary quadratic operads and study their…
We translate the construction of the chiral operad by Beilinson and Drinfeld to the purely algebraic language of vertex algebras. Consequently, the general construction of a cohomology complex associated to a linear operad produces a vertex…
As observed by Joyal, the cohomology groups of the partition posets are naturally identified with the components of the operad encoding Lie algebras. This connection was explained in terms of operadic Koszul duality by Fresse, and later…
We define derived Poincar\'e--Birkhoff--Witt maps of dg operads or derived PBW maps, for short, which extend the definition of PBW maps between operads of V.~Dotsenko and the second author in 1804.06485, with the purpose of studying the…
We develop a curved Koszul duality theory for algebras presented by quadratic-linear-constant relations over unital versions of binary quadratic operads. As an application, we study Poisson $n$-algebras given by polynomial functions on a…
We sample some Poincare-Birkhoff-Witt theorems appearing in mathematics. Along the way, we compare modern techniques used to establish such results, for example, the Composition-Diamond Lemma, Groebner basis theory, and the homological…
We show that over fields of characteristic zero a Hopf algebra with central Hopf algebra coradical has a PBW basis as a module over the coradical.
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 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…
This is a survey on recent progress in algebraic deformation theory and the application of algebraic operads to its study. We review the classical homotopical tools in the theory of algebraic operads, namely Koszul duality. We give concrete…
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).…
A Pre-Lie algebra is a vector space L endowed with a bilinear product * : L \times L to L satisfying the relation (x*y)*z-x*(y*z)= (x*z)*y-x*(z*y), for all x,y,z in L. We give an explicit combinatorial description in terms of rooted trees…
A dual pre-Poisson algebra is an algebraic structure that integrates a permutative algebra and a Leibniz algebra under certain compatibility conditions. As the Koszul dual notion of the pre-Poisson algebra, this structure serves as a…
We define a new monoidal category on collections (shuffle composition). Monoids in this category (shuffle operads) turn out to bring a new insight in the theory of symmetric operads. For this category, we develop the machinery of Gr\"obner…
Let $\alpha$ be a polynomial Poisson bivector on a finite-dimensional vector space $V$ over $\mathbb{C}$. Then Kontsevich [K97] gives a formula for a quantization $f\star g$ of the algebra $S(V)^*$. We give a construction of an algebra with…
We show that modular operads are equivalent to modules over a certain simple properad which we call the Brauer properad. Furthermore, we show that, in this setting, the Feynman transform corresponds to the cobar construction for modules of…
Rota-Baxter associative algebras and Rota-Baxter Lie algebras are both important in mathematics and mathematical physics, with the former a basic structure in quantum field renormalization and the latter a operator form of the classical…
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…
Generalizing a concept of Lipshitz, Ozsv\'ath and Thurs-ton from Bordered Floer homology, we define $D$-structures on algebras of unital operads, which can also be interpreted as a generalization of a seemingly unrelated concept of Getzler…