A Koszul duality for props

We consider nonsymmetric operads with two binary operations satisfying relations in arity 3; hence these operads are quadratic, and so we can investigate Koszul duality. We first consider operations which are nonassociative (not necessarily associative) and then specialize to the associative case. We obtain a complete classification of self-dual quadratic nonsymmetric operads with two (associative or nonassociative) binary operations. These operads generalize associativity fo...

We define a notion of Koszul dual of a monoid object in a monoidal biclosed model category. Our construction generalizes the classic Yoneda algebra $Ext_A(k,k)$. We apply this general construction to define the Koszul dual of a category enriched over spectra or chain complexes. This example relies on the classical observation that enriched categories are monoid objects in a category of enriched graphs. We observe that the category of enriched graphs is biclosed, meaning that ...

A theorem by Pridham and Lurie provides an equivalence between formal moduli problems and Lie algebras in characteristic zero. In his work, Lurie has distilled the axioms that the algebras appearing in the formal moduli problem need to satisfy, and worked out the case of $\mathbb{E}_\infty$-algebras using an incarnation of the Koszul duality, in the setting of $\infty$-operads. The more recent work of Calaque-Campos-Nuiten extends Lurie's work to obtain an equivalence between...

The paper studies quadratic and Koszul duality for modules over positively graded categories. Typical examples are modules over a path algebra, which is graded by the path length, of a not necessarily finite quiver with relations. We present a very general definition of quadratic and Koszul duality functors backed up by explicit examples. This generalises previous results in two substantial ways: We work in the setup of graded categories, i.e. we allow infinitely many idempot...

The aim of this paper is to establish a contravariant adjunction between the category of quasi-bialgebras and a suitable full subcategory of dual quasi-bialgebras, adapting the notion of finite dual to this framework. Various functorial constructions involving non-associative algebras and non-coassociative coalgebras are then carried out. Several examples illustrating our methods are expounded as well.

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 the pre-Lie and Kontsevich- Willwacher operads. We study one of these operads in more detail. While its structure is too involved to exhibit a description by generators and relations, we show that it has interesting finitely generated sub-o...

This is an overview on derived nonhomogeneous Koszul duality over a field, mostly based on the author's memoir arXiv:0905.2621. The paper is intended to serve as a pedagogical introduction and a summary of the covariant duality between DG-algebras and curved DG-coalgebras, as well as the triality between DG-modules, CDG-comodules, and CDG-contramodules. Some personal reminiscences are included as a part of historical discussion.

This is a report on recent work of Chalupnik and Touze. We explain the Koszul duality for the category of strict polynomial functors and make explicit the underlying monoidal structure which seems to be of independent interest. Then we connect this to Ringel duality for Schur algebras and describe Serre duality for strict polynomial functors.

In this paper we study a category of trees TI and prove that it is a Koszul category. Consequences are the interpretation of the reduced bar construction of operads of Ginzburg and Kapranov as the Koszul complex of this category, and the interpretation of operads up to homotopy as a functor from the minimal resolution of TI to the category of graded vector spaces. We compare also three different bar constructions of operads. Two of them have already been compared by Shnider-V...

We discuss the notion of Poincar\'e duality for graded algebras and its connections with the Koszul duality for quadratic Koszul algebras. The relevance of the Poincar\'e duality is pointed out for the existence of twisted potentials associated to Koszul algebras as well as for the extraction of a good generalization of Lie algebras among the quadratic-linear algebras.