相关论文: Koszul duality for PROPs

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 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…

A Koszul duality-type correspondence between coderived categories of conilpotent differential graded Lie coalgebras and their Chevalley-Eilenberg differential graded algebras is established. This gives an interpretation of Lie coalgebra…

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…

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…

The aim of this article is to give a criterion, generalizing the criterion introduced by Priddy for algebras, to verify that an operad is Koszul. We define the notion of a Poincare-Birkhoff-Witt basis in the context of operads. Then we show…

Starting from a biased definition of a properad, we describe explicitly algebras over the cobar construction of a properad. Equivalent description in terms of solutions of generalized master equations, which can be interpreted as…

We show that certain categories of perverse sheaves on a pair of affine toric varieties defined by dual cones are Koszul dual in the sense of Beilinson, Ginzburg and Soergel. The functor expressing this duality is constructed explicitly…

The overall aim of this paper is to define a structure of graph operads, thus generalizing the celebrated pre-Lie operad on rooted trees. More precisely, we define two operads on multigraphs, and exhibit a non trivial link between them and…

In this article we give a conceptual definition of Manin products in any category endowed with two coherent monoidal products. This construction can be applied to associative algebras, non-symmetric operads, operads, colored operads, and…

We generalize the modular Koszul duality of Achar-Riche to the setting of Soergel bimodules associated to any finite Coxeter system. The key new tools are a functorial monodromy action and wall-crossing functors in the mixed modular derived…

We show that for dually paired bialgebras, every comodule algebra over one of the paired bialgebras gives a comodule algebra over their Drinfeld double via a crossed product construction. These constructions generalize to working with…

Curved algebras are algebras endowed with a predifferential, which is an endomorphism of degree -1 whose square is not necessarily 0. This makes the usual definition of quasi-isomorphism meaningless and therefore the homotopical study of…

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 apply the effective integration theory of Lie-graph algebras, developed recently by the authors, to the deformation and homotopy theories of types of bialgebras, that is structures controlled by a properad, like associative bialgebras,…

A PROP is a symmetric monoidal category whose objects are the nonnegative integers and whose tensor product on objects is addition. A morphism from $m$ to $n$ in a PROP can be visualized as a string diagram with $m$ input wires and $n$…

We describe those binary quadratic operads generated by a two-dimensional space that are isomorphic to their Koszul dual operads.

Using theory of props we prove a formality theorem associated with universal quantizations of (strongly homotopy) Lie bialgebras.

We study diverse parametrized versions of the operad of associative algebra, where the parameter are taken in an associative semigroup $\Omega$ (generalization of matching or family associative algebras) or in its cartesian square…

In a first part of this paper, we introduce a homology theory for infinity-operads and for dendroidal spaces which extends the usual homology of differential graded operads defined in terms of the bar construction, and we prove some of its…