A Poincaré–Birkhoff–Witt criterion for Koszul operads

The aim of this article is to give a criterion, generalizing the criterion introduced by Priddy for algebras, to prove that an operad is Koszul. We define the notion of Poincaré–Birkhoff–Witt basis in the context of operads. Then we show that an operad having a Poincaré–Birkhoff–Witt basis is Koszul. Besides, we obtain that the Koszul dual operad has also a Poincaré–Birkhoff–Witt basis. We check that the classical examples of Koszul operads (commutative, associative, Lie, Poisson) have a Poincaré–Birkhoff–Witt basis. We also prove by our methods that new operads are Koszul.     

The Category and Operad of Matching Dialgebras

This paper gives a systematic study of matching dialgebras corresponding to the operad As ⁽²⁾ in Zinbiel (2012) as the only Koszul self dual operad there other than the operads of associative algebras and Poisson algebras. The close relationship of matching dialgebras with semi-homomorphisms and matched pairs of associative algebras are established. By anti-symmetrizing, matching dialgerbas are also shown to give compatible Lie algebras, pre-Lie algebras and PostLie algebras. By the rewriting method, the operad of matching dialgebras is shown to be Koszul and the free objects are constructed in terms of tensor algebras. The operadic complex computing the homology of the matching dialgebras is made explicit.     

On the operad of bigraft algebras

In this paper, we study the notion of a bigraft algebra, generalizing the notions of left and right graft algebras. We construct the free bigraft algebra on one generator in terms of certain planar rooted trees with decorated edges, and therefore describe explicitly the bigraft operad. We then compute its Koszul dual and show that the bigraft operad is Koszul. Moreover, we endow the free bigraft algebra on one generator with a universal Hopf algebra structure and a pairing. Finally, we prove an analogue of the Poincaré–Birkhoff–Witt and Cartier–Milnor–Moore theorems. For this, we define the notion of infinitesimal bigraft bialgebras and we prove the existence of a new good triple of operads.     

Pluriassociative algebras I: The pluriassociative operad

Diassociative algebras form a category of algebras recently introduced by Loday. A diassociative algebra is a vector space endowed with two associative binary operations satisfying some very natural relations. Any diassociative algebra is an algebra over the diassociative operad, and, among its most notable properties, this operad is the Koszul dual of the dendriform operad. We introduce here, by adopting the point of view and the tools offered by the theory of operads, a generalization on a nonnegative integer parameter γ of diassociative algebras, called γ-pluriassociative algebras, so that 1-pluriassociative algebras are diassociative algebras. Pluriassociative algebras are vector spaces endowed with 2γ associative binary operations satisfying some relations. We provide a complete study of the γ-pluriassociative operads, the underlying operads of the category of γ-pluriassociative algebras. We exhibit a realization of these operads, establish several presentations by generators and relations, compute their Hilbert series, show that they are Koszul, and construct the free objects in the corresponding categories. We also study several notions of units in γ-pluriassociative algebras and propose a general way to construct such algebras. This paper ends with the introduction of an analogous generalization of the triassociative operad of Loday and Ronco.     

Linear spaces,transversal polymatroids and ASL domains

We study a class of algebras associated with linear spaces and its relations with polymatroids and integral posets, i.e. posets supporting homogeneous ASL. We prove that the base ring of a transversal polymatroid is Koszul and describe a new class of integral posets. As a corollary we obtain that every Veronese subring of a polynomial ring is an ASL.     

Algebras with bracket

An algebra with bracket is an associative algebra A equipped with a bilinear operation [−,−] satisfying [a · b, c] = [a, c]·b+a · [b, c]. Our main result claims that the operad corresponding to algebras with bracket is Koszul.     

Curved Koszul duality of algebras over unital versions of binary operads

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 standard shifted symplectic space. We compute explicit resolutions of these algebras using curved Koszul duality. We use these resolutions to compute derived enveloping algebras and factorization homology on parallelized simply connected closed manifolds with coefficients in these Poisson n-algebras.     

Duality for Koszul homology over Gorenstein rings

We study Koszul homology over local Gorenstein rings. It is well known that if an ideal is strongly Cohen–Macaulay the Koszul homology algebra satisfies Poincaré duality. We prove a version of this duality which holds for all ideals and allows us to give two criteria for an ideal to be strongly Cohen–Macaulay. The first can be compared to a result of Hartshorne and Ogus; the second is a generalization of a result of Herzog, Simis, and Vasconcelos using sliding depth.     

Pointed and multi-pointed partitions of type A and B

The aim of this paper is to define and study pointed and multi-pointed partition posets of type A and B (in the classification of Coxeter groups). We compute their characteristic polynomials, incidence Hopf algebras and homology groups. As a corollary, we show that some operads are Koszul over .     

A proof of the existence of Batanin's initial operad

In this paper we prove the existence of the n-globular operad used in Batanin's definition of weak n-category. This operad is initial in the category of n-globular operads equipped with two extra pieces of structure: a system of compositions and a contraction. Our approach closely follows a proof by Leinster of the existence of a similar n-globular operad used in his definition of weak n-category (itself a variant of Batanin's definition) – we show that there is a functor giving the free operad equipped with a contraction and system of compositions on an n-globular collection, and applying this functor to the initial collection gives the desired initial operad. Since there is no interaction between the contraction and operad structures we are able to treat their free constructions separately. This is not true of the system of compositions structure, which cannot exist separately from the operad structure, so we use an interleaving-style construction to describe the free operad with system of compositions.     

Symmetrisation of n-operads and compactification of real configuration spaces

It is well known that the forgetful functor from symmetric operads to nonsymmetric operads has a left adjoint Sym₁ given by product with the symmetric group operad. It is also well known that this functor does not affect the category of algebras of the operad. From the point of view of the author's theory of higher operads, the nonsymmetric operads are 1-operads and Sym₁ is the first term of the infinite series of left adjoint functors Symn, called symmetrisation functors, from n-operads to symmetric operads with the property that the category of one object, one arrow, …, one (n−1)-arrow algebras of an n-operad A is isomorphic to the category of algebras of Symn(A).In this paper we consider some geometrical and homotopical aspects of the symmetrisation of n-operads. We follow Getzler and Jones and consider their decomposition of the Fulton-Macpherson operad of compactified real configuration spaces. We construct an n-operadic counterpart of this compactification which we call the Getzler-Jones operad. We study the properties of Getzler-Jones operad and find that it is contractible and cofibrant in an appropriate model category. The symmetrisation of the Getzler-Jones operad turns out to be exactly the operad of Fulton and Macpherson. These results should be considered as an extension of Stasheff's theory of 1-fold loop spaces to n-fold loop spaces n?2. We also show that a space X with an action of a contractible n-operad has a natural structure of an algebra over an operad weakly equivalent to the little n-disks operad. A similar result holds for chain operads. These results generalise the classical Eckman-Hilton argument to arbitrary dimension.Finally, we apply the techniques to the Swiss-Cheese type operads introduced by Voronov and prove analogous results in this case.     

Free Monoid in Monoidal Abelian Categories

We give an explicit construction of the free monoid in monoidal abelian categories when the monoidal product does not necessarily preserve coproducts. Then we apply it to several new monoidal categories that appeared recently in the theory of Koszul duality for operads and props. This gives a conceptual explanation of the form of the free operad, free dioperad and free properad.      

The Koszul dual of a weakly Koszul module

We study the so-called weakly Koszul modules and characterise their Koszul duals. We show that the (adjusted) associated graded module of a weakly Koszul module exactly determines the homology modules of the Koszul dual. We give an example of a quasi-Koszul module which is not weakly Koszul.     

Pluriassociative algebras II: The polydendriform operad and related operads

Dendriform algebras form a category of algebras recently introduced by Loday. A dendriform algebra is a vector space endowed with two nonassociative binary operations satisfying some relations. Any dendriform algebra is an algebra over the dendriform operad, the Koszul dual of the diassociative operad. We introduce here, by adopting the point of view and the tools offered by the theory of operads, a generalization on a nonnegative integer parameter γ of dendriform algebras, called γ-polydendriform algebras, so that 1-polydendriform algebras are dendriform algebras. For that, we consider the operads obtained as the Koszul duals of the γ-pluriassociative operads introduced by the author in a previous work. In the same manner as dendriform algebras are suitable devices to split associative operations into two parts, γ-polydendriform algebras seem adapted structures to split associative operations into 2γ operation so that some partial sums of these operations are associative. We provide a complete study of the γ-polydendriform operads, the underlying operads of the category of γ-polydendriform algebras. We exhibit several presentations by generators and relations, compute their Hilbert series, and construct free objects in the corresponding categories. We also provide consistent generalizations on a nonnegative integer parameter of the duplicial, triassociative and tridendriform operads, and of some operads of the operadic butterfly.     

Embedding of dendriform algebras into Rota-Baxter algebras

Following a recent work [Bai C., Bellier O., Guo L., Ni X., Splitting of operations, Manin products, and Rota-Baxter operators, Int. Math. Res. Not. IMRN (in press), DOI: 10.1093/imrn/rnr266] we define what is a dendriform dior trialgebra corresponding to an arbitrary variety Var of binary algebras (associative, commutative, Poisson, etc.). We call such algebras di- or tri-Var-dendriform algebras, respectively. We prove in general that the operad governing the variety of di- or tri-Var-dendriform algebras is Koszul dual to the operad governing di- or trialgebras corresponding to Var^!. We also prove that every di-Var-dendriform algebra can be embedded into a Rota-Baxter algebra of weight zero in the variety Var, and every tri-Var-dendriform algebra can be embedded into a Rota-Baxter algebra of nonzero weight in Var.     

Koszul duality of En-operads

The goal of this paper is to prove a Koszul duality result for E _n -operads in differential graded modules over a ring. The case of an E ₁-operad, which is equivalent to the associative operad, is classical. For n > 1, the homology of an E _n -operad is identified with the n-Gerstenhaber operad and forms another well-known Koszul operad. Our main theorem asserts that an operadic cobar construction on the dual cooperad of an E _n -operad E_n{\mathtt{E}_n} defines a cofibrant model of E_n{\mathtt{E}_n}. This cofibrant model gives a realization at the chain level of the minimal model of the n-Gerstenhaber operad arising from Koszul duality. Most models of E _n -operads in differential graded modules come in nested sequences E₁ ì E₂ ì ? ì E_￥{\mathtt{E}_1\subset\mathtt{E}_2\subset\cdots\subset\mathtt{E}_{\infty}} homotopically equivalent to the sequence of the chain operads of little cubes. In our main theorem, we also define a model of the operad embeddings E_n-1\hookrightarrowE_n{\mathtt{E}_{n-1}\hookrightarrow\mathtt{E}_n} at the level of cobar constructions.     

Koszul incidence algebras, affine semigroups, and Stanley-Reisner ideals

We prove a theorem unifying three results from combinatorial homological and commutative algebra, characterizing the Koszul property for incidence algebras of posets and affine semigroup rings, and characterizing linear resolutions of squarefree monomial ideals. The characterization in the graded setting is via the Cohen-Macaulay property of certain posets or simplicial complexes, and in the more general nongraded setting, via the sequential Cohen-Macaulay property.     

André–Quillen cohomology of algebras over an operad

We study the André–Quillen cohomology with coefficients of an algebra over an operad. Using resolutions of algebras coming from the Koszul duality theory, we make this cohomology theory explicit and we give a Lie theoretic interpretation. For which operads is the associated André–Quillen cohomology equal to an Ext-functor? We give several criteria, based on the cotangent complex, to characterize this property. We apply it to homotopy algebras, which gives a new homotopy stable property for algebras over cofibrant operads.