Related papers: Koszul duality and a conjecture of Francis-Gaitsgo…
We study the Koszul duality between augmented $E_n$-algebras and augmented $E_n$-coalgebras in a symmetric monoidal stable infinity $1$-category equipped with a filtration in a suitable sense. We obtain that the Koszul duality constructions…
In this paper, we introduce a new notion of algebra over a linear $\infty$-operad and a corresponding notion of coalgebra over an $\infty$-cooperad. We next extend the Koszul duality between linear $\infty$-operads and linear…
We survey the topology which led to the original bar and cobar constructions, for both associative algebras and coalgebras and for Lie algebras and commutative coalgebras. These constructions are often viewed as part of the larger theory of…
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…
Working in the context of symmetric spectra, we consider any higher algebraic structures that can be described as algebras over an operad O. We prove that the fundamental adjunction comparing O-algebra spectra with coalgebra spectra over…
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…
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…
For any dg algebra $A$ we construct a closed model category structure on dg $A$-modules such that the corresponding homotopy category is compactly generated by dg $A$-modules that are finitely generated and free over $A$ (disregarding the…
The classical bar-cobar adjunction between dg algebras and dg coalgebras goes back to the origins of differential homological algebra as developed by Cartan, Eilenberg, Moore, and many others, and is part of the broader framework of Koszul…
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…
The notion of prop models the operations with multiple inputs and multiple outpus, acting on some algebraic structures like the bialgebras or the Lie bialgebras. In this paper, we generalize the Koszul duality theory of associative algebras…
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…
We construct a generalization of Koszul duality in the sense of Keller--Lef\`evre for not necessarily augmented algebras. This duality is closely related to classical Morita duality and specializes to it in certain cases.
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…
Let $g$ be a reductive Lie algebra over a field of characteristic zero. Suppose $g$ acts on a complex of vector spaces $M$ by $i_\lambda$ and $L_\lambda$, which satisfy the identities as contraction and Lie derivative do for smooth…
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…
Let A and A! be dual Koszul algebras. By Positselski a filtered algebra U with gr U = A is Koszul dual to differential graded algebra (A!,d). We relate the module categories of this dual pair by a tensor-Hom adjunction. This descends to…
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…
We extend the bar-cobar adjunction to operads and properads, not necessarily augmented. Due to the default of augmentation, the objects of the dual category are endowed with a curvature. We handle the lack of augmentation by extending the…
In a first part of this paper, we introduce a homology theory for infinity-operads and for dendroidal spaces which extends the usual homology of differential graded operads defined in terms of the bar construction, and we prove some of its…