Koszul duality of E_n-operads

Abstract

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 E_n-operad is identified with the n-Gerstenhaber operad and forms another well known Koszul operad. Our main theorem asserts that an operadic cobar construction on the dual cooperad of an E_n-operad defines a cofibrant model of E_n. This cofibrant model gives a realization at the chain level of the minimal model of the n-Gerstenhaber operad arising from Koszul duality. Most models of E_n-operads in differential graded modules come in nested sequences of operads homotopically equivalent to the sequence of the chain operads of little cubes. In our main theorem, we also define a model of the operad embeddings E_n-1 --> E_n at the level of cobar constructions.

63 pages. Concluding section reduced and most extra remarks of the initial version removed in v5. Core of the paper unchanged. Minor updates in v6 (copy of the manuscript submitted on November 15, 2009)

References in corpus (4)

• Koszul duality of operads and homology of partition posets
• A Poincaré-Birkhoff-Witt criterion for Koszul operads
• Operadic bar constructions, cylinder objects, and homotopy morphisms of algebras over operads
• On mapping spaces of differential graded operads with the commutative operad as target

Cited by in corpus (14)

• Factorization homology of topological manifolds
• The tangent complex and Hochschild cohomology of E_n-rings
• Symmetric homotopy theory for operads
• Zero-pointed manifolds
• A general context for Goodwillie Calculus
• Cross-effects and the classification of Taylor towers
• Moduli problems for operadic algebras
• On mapping spaces of differential graded operads with the commutative operad as target
• Derived Koszul Duality and Topological Hochschild Homology
• Derived deformation theory of algebraic structures
• $E_n$-Hopf invariants
• Derived representation theory of Lie algebras and stable homotopy categorification of $s{l}_k$
• One point compactifications of configuration spaces and the self duality of the little disks operad
• An operadic proof of the BTT Theorem