Related papers: Poincar\'e/Koszul Duality for General Operads
We prove that a connected commutator (or NC) complete associative algebra can be recovered in the derived setting from its abelianization together with its natural induced structure. Specifically, we prove an equivalence between connected…
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 $\mathcal{O}$ a reduced operad, a generalized divergence from the derivations of a free $\mathcal{O}$-algebra to a suitable trace space is constructed. In the case of the Lie operad, this corresponds to Satoh's trace map and, for the…
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…
We formulate a theory of pointed manifolds, accommodating both embeddings and Pontryagin-Thom collapse maps, so as to present a common generalization of Poincar\'e duality in topology and Koszul duality in $\mathcal{E}_n$-algebra.
In this paper we prove a version of curved Koszul duality for Z/2Z-graded curved coalgebras and their coBar differential graded algebras. A curved version of the homological perturbation lemma is also obtained as a useful technical tool for…
Let T be a torus. We show that Koszul duality can be used to compute the equivariant cohomology of topological T-spaces as well as the cohomology of pull backs of the universal T-bundle. The new features are that no further assumptions…
We construct a "Koszul duality" equivalence relating the (diagrammatic) Hecke category attached to a Coxeter system and a given realization to the Hecke category attached to the same Coxeter system and the dual realization. This extends a…
We describe the Koszul dual of two quadratic operads on planar forests introduced to study the infinitesimal Hopf algebra of planar rooted trees and prove that these operads are Koszul.
In this article we give a conceptual definition of Manin products in any category endowed with two coherent monoidal products. This construction can be applied to associative algebras, non-symmetric operads, operads, colored operads, and…
We extend bar-cobar duality, defined for operads of chain complexes by Getzler and Jones, to operads of spectra in the sense of stable homotopy theory. Our main result is the existence of a Quillen equivalence between the category of…
We show Poincar\'e Duality for $\mathbf{F}_p$-\'etale cohomology of a smooth proper rigid-analytic space over a non-archimedean field $K$ of mixed characteristic $(0, p)$. It positively answers the question raised by P. Scholze in [Sch13a].…
We show that generalised Calabi-Yau dg (co)algebras are Koszul dual to generalised symmetric dg (co)algebras, without needing to assume any smoothness or properness hypotheses. Similarly, we show that Gorenstein and Frobenius are Koszul…
We study ring-theoretic and homological properties of the quadratic dual (or Koszul dual) $\mathcal{E}_n^!$ of the Fomin-Kirillov algebras $\mathcal{E}_n$; these algebras are connected $\mathbb{N}$-graded and are defined for $n \geq 2$. We…
Suppose that we have a bicomplete closed symmetric monoidal quasi-abelian category $\mathcal{E}$ with enough flat projectives, such as the category of complete bornological spaces $\textbf{CBorn}_k$ or the category of inductive limits of…
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 show that Kontsevich's formality of the little disk operad, obtained using graphs, is homotopic to Tamarkin's formality, for a special choice of a Drinfeld associator. The associator is given by parallel transport of the…
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…
This paper proves a Koszul duality result between weighted $\mathcal{A}_{\infty}$-algebras constructed in the author's previous work. In the process, we construct a new box tensor product for weighted $\mathcal{A}_{\infty}$ bimodules, and…
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…