Related papers: A Koszul duality for props
The paper presents a detailed description of duality for braided algebras, coalgebras, bialgebras, Hopf algebras and their modules and comodules in the infinite setting. Assuming that the dual objects exist, it is shown how a given braiding…
Koszul duality is a fundamental correspondence between algebras for an operad $\mathcal{O}$ and coalgebras for its dual cooperad $B\mathcal{O}$, built from $\mathcal{O}$ using the bar construction. Francis-Gaitsgory proposed a conjecture…
In this paper we describe operads encoding two different kinds of compatibility of algebraic structures. We show that there exist decompositions of these in terms of black and white products and we prove that they are Koszul for a large…
We study a categorified generalization of Koszul duality that treats duality phenomena among monoidal categories. We establish Koszul duality results for stable monoidal infinity-categories associated with Artin algebras and related…
Generalizing a concept of Lipshitz, Ozsv\'ath and Thurs-ton from Bordered Floer homology, we define $D$-structures on algebras of unital operads, which can also be interpreted as a generalization of a seemingly unrelated concept of Getzler…
We study a pair of dual operads which arise in the study of moduli spaces of pointed genus 0 curves (this duality is similar to that between commutative and Lie algebras). These operads are both quadratic, and even Koszul, and arise in the…
An associative algebra with a generalized derivation is called an AsGDer triple. We introduce the operad that encodes AsGDer triples, and prove it is a Koszul operad. Using its Koszul dual cooperad, we introduce the homotopy version of…
We apply the theory of operadic Koszul duality to provide a cofibrant resolution of the colored operad whose algebras are prefactorization algebras on a fixed space M. his allows us to describe a notion of prefactorization algebra up to…
This paper deals with the homotopy theory of differential graded operads. We endow the Koszul dual category of curved conilpotent cooperads, where the notion of quasi-isomorphism barely makes sense, with a model category structure Quillen…
WWe describe the Koszul dual of the operad Quad of quadri-algebras, show the koszularity of Quad and give the formal series of Quad and its dual, which proves a conjecture due to Aguiar and Loday. A notion of quadri-bialgebra is also…
Given an affine hyperplane arrangement with some additional structure, we define two finite-dimensional, noncommutative algebras, both of which are motivated by the geometry of hypertoric varieties. We show that these algebras are Koszul…
This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…
In previous work, the authors introduced the notion of Q-Koszul algebras, as a tool to "model" module categories for semisimple algebraic groups over fields of large characteristics. Here we suggest the model extends to small…
A theorem of Pridham and Lurie provides an equivalence between formal moduli problems and Lie algebras in characteristic zero. We prove a generalization of this correspondence, relating formal moduli problems parametrized by algebras over a…
For a couple of associative algebras we define the notion of their double and give a set of examples. Also, we discuss applications of such doubles to representation theory of certain quantum algebras and to a new type of Noncommutative…
This is a copy of the article by the same authors published in Duke Math. J. (1994).
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…
We obtain Koszul-type dualities for categories of graded modules over a graded associative algebra which can be realized as the semidirect product of a bialgebra coinciding with its degree zero part and a graded module algebra for the…
We complete a certain diagram (the operadic butterfly) of categories of algebras involving Com, As, and Lie by constructing a type of algebras which have 4 generating operations and 16 relations. The associated operad is self-dual for…
A differential algebra with weight is an abstraction of both the derivation (weight zero) and the forward and backward difference operators (weight $\pm 1$). In 2010 Loday established the Koszul duality for the operad of differential…