A Koszul duality for props

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 give a universal description of the Koszul dual algebra under a new algebraic structure. For that we introduce a general notion: Gr\"obner bases for algebras over non-symmetric operads.

We review definitions and basic properties of operads, PROPs and algebras over these structures.

We extend the Koszul duality theory of associative algebras to algebras over an operad. Recall that in the classical case, this Koszul duality theory relies on an important chain complex: the Koszul complex. We show that the cotangent complex, involved in the cohomology theory of algebras over an operad, generalizes the Koszul complex.

We consider partitions of a set with $r$ elements ordered by refinement. We consider the simplicial complex $\bar{K}(r)$ formed by chains of partitions which starts at the smallest element and ends at the largest element of the partition poset. A classical theorem asserts that $\bar{K}(r)$ is equivalent to a wedge of $r-1$-dimensional spheres. In addition, the poset of partitions is equipped with a natural action of the symmetric group in $r$ letters. Consequently, the associ...

The transfer of the generating operations of an algebra to a homotopy equivalent chain complex produces higher operations. The first goal of this paper is to describe precisely the higher structure obtained when the unary operations commute with the contracting homotopy. To solve this problem, we develop the Koszul duality theory of operads in the category of modules over a cocommutative Hopf algebra. This gives rise to a simpler category of homotopy algebras and infinity-mor...

In this paper, we construct groupoid coloured operads governing props and wheeled props, and show they are Koszul. This is accomplished by new biased definitions for (wheeled) props, and an extension of the theory of Groebner bases for operads to apply to groupoid coloured operads. Using the Koszul machine, we define homotopy (wheeled) props, and show they are not formed by polytope based models. Finally, using homotopy transfer theory, we construct Massey products for (wheel...

We study the deformation theory of morphisms of properads and props thereby extending to a non-linear framework Quillen's deformation theory for commutative rings. The associated chain complex is endowed with a Lie algebra up to homotopy structure. Its Maurer-Cartan elements correspond to deformed structures, which allows us to give a geometric interpretation of these results. To do so, we endow the category of prop(erad)s with a model category structure. We provide a compl...

We present a study of quadratic operads for n-ary algebras and their dual for n odd. We will focus on the ternary case (i.e n=3). The aim is to underline the problem of computing the dual operad and the fact that this last is in general defined in the graded differential operad framework. We prove that the operad associated to 3-ary partially associative algebra is not Koszul. Recall that, if n is even, the operad of n-ary partially associative algebras is Koszul.

We define, for a somewhat standard forgetful functor from nonsymmetric operads to weight graded associative algebras, two functorial "enveloping operad" functors, the right inverse and the left adjoint of the forgetful functor. Those functors turn out to be related by operadic Koszul duality, and that relationship can be utilised to provide examples showing limitations of two standard tools of the Koszul duality theory. We also apply these functors to get a homotopical algebr...

Operads and PROPs are presented, together with examples and applications to quantum physics suggesting the structure of Feynman categories/PROPs and the corresponding algebras.