A Koszul duality for props

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. We prove a Koszul duality theory for PROPs generalizing the one for associative algebras and for operads.

In this thesis, we generalize the Koszul duality for associative algebras and operads to PROPs. The operads are algebraic objects that represent the operations with multiple inputs but only one output acting on a certain type of algebras. A PROP models the operations with multiple inputs and multiple outputs acting on algebraic structures like bialgebras and Lie bialgebras. We also give a construction of the free monoid (for a monoidal product non-necessarily bilinear). We ge...

The aim of this sequel to arXiv:1812.02935 is to set up the cornerstones of Koszul duality and Koszulity in the context of operads over a large class of operadic categories. In particular, for these operadic categories we will study concrete examples of binary quadratic operads, describe their Koszul duals and prove that they are Koszul. This includes operads whose algebras are the most important operad- and PROP-like structures such as the classical operads, their variants s...

This is a copy of the article by the same authors published in Duke Math. J. (1994).

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). We give a criterion to show that a binary quadratic protoperad is Koszul and we apply it successfully to the protoperad DLie. As a corollary, we deduce that the properad DPois which encodes double Poisson algebras is Koszul. This allows us t...

The category of (colored) props is an enhancement of the category of colored operads, and thus of the category of small categories. The titular category has nice formal properties: it is bicomplete and is a symmetric monoidal category, with monoidal product closely related to the Boardman-Vogt tensor product of operads. Tools developed in this article, which is the first part of a larger work, include a generalized version of multilinearity of functors, a free prop constructi...

We introduce the notion of a dioperad to describe certain operations with multiple inputs and multiple outputs. The framework of Koszul duality for operads is generalized to dioperads. We show that the Lie bialgebra dioperad is Koszul.

This is the first paper of a series which aims to set up the cornerstones of Koszul duality for operads over operadic categories. To this end we single out additional properties of operadic categories under which the theory of quadratic operads and their Koszulity can be developped, parallel to the traditional one by Ginzburg and Kapranov. We then investigate how these extra properties interact with discrete operadic (op)fibrations, which we use as a powerful tool to construc...

The purpose of this paper is to show how Positselski's relative nonhomogeneous Koszul duality theory applies when studying the linear category underlying the PROP associated to a (non-augmented) operad of a certain form, in particular assuming that the reduced part of the operad is binary quadratic. In this case, the linear category has both a left augmentation and a right augmentation (corresponding to different units), using Positselski's terminology. The general theory p...

This paper shows that generalizations of operads equipped with their respective bar/cobar dualities are related by a six operations formalism analogous to that of classical contexts in algebraic geometry. As a consequence of our constructions, we prove intertwining theorems which govern derived Koszul duality of push-forwards and pull-backs.