Related papers: Koszul duality for topological E_n-operads
The goal of this paper is to prove a Koszul duality result for E_n-operads in differential graded modules over a ring. The case of an E_1-operad, which is equivalent to the associative operad, is classical. For n>1, the homology of an…
The goal of this article is to make explicit a structured complex whose homology computes the cohomology of the p-profinite completion of the n-fold loop space of a sphere of dimension d=n-m<n. This complex is defined purely algebraically,…
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…
Using configuration space level Pontryagin--Thom constructions, we construct a simple Koszul self duality map for the little disks operad $\Sigma^\infty_+ E_n$. For a framed $n$-manifold $M$, we show that a compatible self duality map…
This paper proves Koszul duality for coloured operads and uses it to introduce strongly homotopy operads as a suitable homotopy invariant version of operads. It shows that rational chains on configuration spaces of points in the plane form…
We study the operad $n\text{-}Lie_d$, whose algebras are graded $n$-Lie algebras with degree $d$ $n$-arity operations, which were introduced in Nambu mechanics and later studied in the algebraic setting with Filippov. We compute the Koszul…
The classical Hopf invariant is an invariant of homotopy classes of maps from $S^{4n-1} $ to $S^{2n}$, and is an important invariant in homotopy theory. The goal of this paper is to use the Koszul duality theory for $E_n$-operads to define…
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…
We consider partitions of a set with $r$ elements ordered by refinement. We consider the simplicial complex $\bar{K}(r)$ formed by chains of partitions which starts at the smallest element and ends at the largest element of the partition…
The framed n-discs operad fD_n is studied as semidirect product of SO(n) and the little n-discs operad. Our equivariant recognition principle says that a grouplike space acted on by fD_n is equivalent to the n-fold loop space on a…
We show that Koszul duality for operads in $(\mathrm{Top},\times)$ can be expressed via generalized Thom complexes. As an application, we prove the Koszul self duality of the little disk modules $E_M$. We discuss implications for…
We develop a curved Koszul duality theory for algebras presented by quadratic-linear-constant relations over unital versions of binary quadratic operads. As an application, we study Poisson $n$-algebras given by polynomial functions on a…
We introduce here the notion of Koszul duality for monoids in the monoidal category of species with respect to the ordinary product. To each Koszul monoid we associate a class of Koszul algebras in the sense of Priddy, by taking the…
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…
We record a result concerning the Koszul dual of the arity filtration on an operad. This result is then used to give conditions under which, for a general operad, the Poincar\'e/Koszul duality arrow of Ayala-Francis is an equivalence. We…
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,…
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…
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 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…
Recently S. Merkulov established a new link between differential geometry and homological algebra by giving descriptions of several differential geometric structures in terms of algebraic operads and props. In particular he described…