Related papers: A Koszul duality for props
We present a new calculus which is well-adapted to quadratic algebras. This calculus consists in Koszul (co)homology, together with Koszul cup and cap products. Some applications are given. Koszul duality for Koszul (co)homology is proved…
Let p be a prime number. We compute the Yoneda extension algebra of $GL_2$ over an algebraically closed field of characteristic p by developing a theory of Koszul duality for a certain class of 2-functors, one of which controls the category…
Let $a$ and $b$ be two integers such that $2\le a<b$. In this article we define the notion of $(a,b)$-Koszul algebra as a generalization of $N$-Koszul algebras. We also exhibit examples and we provide a minimal graded projective resolution…
Diassociative algebras form a categoy of algebras recently introduced by Loday. A diassociative algebra is a vector space endowed with two associative binary operations satisfying some very natural relations. Any diassociative algebra is an…
We review definitions and basic properties of operads, PROPs and algebras over these structures.
We propose a new definition of Koszulity for graded algebras where the degree zero part has finite global dimension, but is not necessarily semi-simple. The standard Koszul duality theorems hold in this setting. We give an application to…
Infinitesimal deformations are governed by partition Lie algebras. In characteristic $0$, these higher categorical structures are modelled by differential graded Lie algebras, but in characteristic $p$, they are more subtle. We give…
Algebraic structures with multiple copies of a given type of operations interrelated by various compatibility conditions have long being studied in mathematics and mathematical physics. They are broadly referred as linearly compatible,…
The notion of associativity (which differs from the straightforward generalization of the usual associativity given by the move of parentheses in the relevant expression) for operations of high arity is introduced. It is proved that the…
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…
Curved algebras are a generalization of differential graded algebras which have found numerous applications recently. The goal of this foundational article is to introduce the notion of a curved operad, and to develop the operadic calculus…
We study diverse parametrized versions of the operad of associative algebra, where the parameter are taken in an associative semigroup $\Omega$ (generalization of matching or family associative algebras) or in its cartesian square…
In this paper we continue the study (initiated in a previous article) of linear Koszul duality, a geometric version of the standard duality between modules over symmetric and exterior algebras. We construct this duality in a very general…
We discuss the consequences of the Poincar\'e duality, versus AS- Gorenstein property, for Koszul algebras (homogeneous and non homogeneous). For homogeneous Koszul algebras, the Poincar\'e duality property implies the existence of twisted…
The aim of this paper is to define and study some quasi-hereditary covers for higher zigzag algebras. We will show how these algebras satisfy three different Koszul properties: they are Koszul in the classical sense, standard Koszul and…
We study the Andr\'e-Quillen cohomology with coefficients of an algebra over an operad. Using resolutions of algebras coming from Koszul duality theory, we make this cohomology theory explicit and we give a Lie theoretic interpretation. For…
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…
We discover a new connection between Koszul theory and representation theory. Let $\La$ be a quadratic algebra defined by a locally finite quiver with relations. Firstly, we give a combinatorial description of the local Koszul complexes and…
We show that the family of chain modules over the standard simplices can be equipped with an operad structure. Similarly, the family of cochain modules of the Stasheff polytopes can be equipped with an operad structure. We first show that…
Let $\mathbb R^{m|n}$ be the usual super space. It is known that the algebraic functions on $\mathbb R^{m|n}$ is a Koszul algebra, whose Koszul dual algebra, however, is not the set of functions on $\mathbb R^{n|m}$, due to the…