Related papers: Koszul duality of E_n-operads

We show that the topological Hochschild homology THH(R of an E_n-ring spectrum R is an E_{n-1}-ring spectrum. The proof is based on the fact that the tensor product of the operad Ass for monoid structures and the the little n-cubes operad…

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…

The purpose of this paper is to investigate the relationship between hairy graph complexes associated to cyclic operads and their counterparts for operads (and, more generally, dioperads). This is based on the author's interpretation of…

The category of pruned trees has been defined by M. Batanin with the aim of understanding the cell structure of certain E_n-operads in categorical terms. The objects of this category are planar trees with n levels so that all leaves are at…

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.

We prove that the Feynman category encoding Schwarz's variant of modular operads is Koszul. Our proof uses a generalization of the theory of distributive laws to the groupoid colored setting.

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…

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 prove that on a certain class of smooth complex varieties (those with "affine even stratifications"), the category of mixed Hodge modules is "almost" Koszul: it becomes Koszul after a few unwanted extensions are eliminated. We also give…

Let M be a bicomplete, closed symmetric monoidal category. Let P be an operad in M, i.e., a monoid in the category of symmetric sequences of objects in M, with its composition monoidal structure. Let R be a P-co-ring, i.e., a comonoid in…

We define, for a somewhat standard forgetful functor from nonsymmetric operads to weight graded associative algebras, two functorial "enveloping operad" functors, the right inverse and the left adjoint of the forgetful functor. Those…

We define quasicategories of E_n-structured coalgebras, bialagebras and comodules. We show that: n-fold loop spaces, suspension spectra thereof, descent data for maps of E_n-ring spectra, descent corings of morphisms of E_n-ring spectra and…

We introduce the notion of homotopy inner products for any cyclic quadratic Koszul operad $\mathcal O$, generalizing the construction already known for the associative operad. This is done by defining a colored operad $\widehat{\mathcal…

For operads with a map from the curved homotopy Lie operad, we introduce a corresponding curved variant `cTw' of Willwacher's operadic twisting comonad `Tw'. We show that cTw-coalgebra structures on such an operad are in bijection with…

Define a $\mathcal V^{(d)}$-algebra as an associative algebra with a symmetric and invariant co-inner product of degree $d$. Here, we consider $\mathcal V^{(d)}$ as a dioperad which includes operations with zero inputs. We show that the…

Motivated by numerous examples in the literature, we state a conjecture on the Hilbert series of Koszul symmetric operads generated by one element of arity $2$. We prove this conjecture for all Koszul symmetric set-operads generated by one…

In this article we discuss two different but related results on Hochschild (co)homology and the theory of Koszul duality. On the one hand, we prove essentially that the Tamarkin-Tsygan calculus of an Adams connected augmented dg algebra and…

The Euler-Koszul complex is the fundamental tool in the homological study of A-hypergeometric differential systems and functions. We compare Euler-Koszul homology with D-module direct images from the torus to the base space through orbits…

This works concerns cohomological support varieties of modules over commutative local rings. The main result is that the support of a derived tensor product of a pair of differential graded modules over a Koszul complex is the join of the…

Koszul algebras have arisen in many contexts; algebraic geometry, combinatorics, Lie algebras, non-commutative geometry and topology. The aim of this paper and several sequel papers is to show that for any finite dimensional algebra there…