An operad is an algebraic device which encodes a type of algebras. Instead of studying the properties of a particular algebra, we focus on the universal operations that can be performed on the elements of any algebra of a given type. The information contained in an operad consists in these operations and all the ways of composing them. The classical types of algebras, that is associative algebras, commutative algebras and Lie algebras, give the first examples of algebraic operads. Recently, there has been much interest in other types of algebras, to name a few: Poisson algebras, Gerstenhaber algebras, Jordan algebras, pre-Lie algebras, Batalin-Vilkovisky algebras, Leibniz algebras, dendriform algebras and the various types of algebras up to homotopy. The notion of operad permits us to study them conceptually and to compare them.The operadic point of view has several advantages. First, many results known for classical types of algebras, when written in the operadic language, can be applied to other types of algebras. Second, the operadic language simplifies both the statements and the proofs. So, it clarifies the global understanding and allows one to go further. Third, even for classical algebras, the operad theory provides new results that had not been unraveled before. Operadic theorems have been applied to prove results in other fields, like the deformation-quantization of Poisson manifolds by Maxim Kontsevich and Dmitry Tamarkin for instance. Nowadays
Abstract. The notion of prop models the operations with multiple inputs and multiple outputs, acting on some algebraic structures like the bialgebras or the Lie bialgebras. In this paper, we generalize the Koszul duality theory of associative algebras and operads to props.
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 given by the Koszul dual operad. On the other hand, we
get new methods for proving that an operad is Koszul.Comment: Final version. To appear in JPA
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.