Koszul duality for operads

DOI10.1215/S0012-7094-94-07608-4zbMath0855.18006arXiv0709.1228OpenAlexW2963599377WikidataQ29032050 ScholiaQ29032050MaRDI QIDQ1345230

Victor Ginzburg, Mikhail Kapranov

Publication date: 6 May 1996

Published in: Duke Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0709.1228

zbMATH Keywords

moduli spaces sheaf cohomology Koszul duality Koszul operads dual operad graph cohomologies quadratic operads

Mathematics Subject Classification ID

Families, moduli of curves (algebraic) (14H10) Chain complexes (category-theoretic aspects), dg categories (18G35) Infinite loop spaces (55P47) Other (n)-ary compositions ((n ge 3)) (17A42) Associative rings and algebras arising under various constructions (16S99)

Related Items

Color structures and permutations ⋮ Two-dimensional topological gravity and equivariant cohomology ⋮ Restricted Stirling and Lah number matrices and their inverses ⋮ Operads from posets and Koszul duality ⋮ Pluriassociative algebras. I: The pluriassociative operad. ⋮ Pluriassociative algebras. II: The polydendriform operad and related operads. ⋮ Obstruction theory for algebras over an operad ⋮ Derived Koszul duality and $\mathsf{TQ}$-homology completion of structured ring spectra ⋮ Deformation theory of objects in homotopy and derived categories. I: General theory ⋮ Type II superstring field theory: geometric approach and operadic description ⋮ Algebra of the infrared and secondary polytopes ⋮ Free monoid in monoidal abelian categories ⋮ Formality theorems for Hochschild complexes and their applications ⋮ Algebras with skew-symmetric identity of degree 3 ⋮ On irreducible algebras of conformal endomorphisms over a linear algebraic group ⋮ Semiquantum geometry ⋮ PROP profile of Poisson geometry ⋮ Canonical bases in tensor products and graphical calculus for $U_ q(sl_ 2)$ ⋮ Homology of generalized partition posets ⋮ Monops, monoids and operads: the combinatorics of Sheffer polynomials ⋮ Theory of Koszul operads and homology of Poisson algebras ⋮ Formality theorems: from associators to a global formulation ⋮ Gerstenhaber structure and Deligne's conjecture for Loday algebras. ⋮ Homotopy coherent category theory and $A_\infty$-structures in monoidal categories ⋮ Symmetrisation of $n$-operads and compactification of real configuration spaces ⋮ Koszul duality theory for operads over Hopf algebras ⋮ (Co)homology of triassociative algebras ⋮ The category and operad of matching dialgebras ⋮ $D$-structures and derived Koszul duality for unital operad algebras ⋮ Non-abelian cohomology of extensions of Lie algebras as Deligne groupoid ⋮ Lie algebra structures on cohomology complexes of some $H$-pseudoalgebras ⋮ Kontsevich's graph complex, GRT, and the deformation complex of the sheaf of polyvector fields ⋮ From $L_{\infty }$-algebroids to higher Schouten/Poisson structures ⋮ Chiral Koszul duality ⋮ (Non-)Koszulness of operads for $n$-ary algebras, galgalim and other curiosities ⋮ Topological André--Quillen cohomology and $E_{\infty}$ André--Quillen cohomology ⋮ Derived brackets and sh Leibniz algebras ⋮ Cofibrant operads and universal $E_{\infty}$ operads. ⋮ Operads, configuration spaces and quantization ⋮ Associahedra and weak monoidal structures on categories ⋮ Iterated bar complexes of $E$-infinity algebras and homology theories ⋮ Koszul duality of $E_{n}$-operads ⋮ André-Quillen cohomology of algebras over an operad ⋮ The smash product for derived categories in stable homotopy theory ⋮ Homotopy Batalin-Vilkovisky algebras ⋮ Free products, cyclic homology, and the Gauss-Manin connection ⋮ Lie-admissible algebras and operads. ⋮ Formality theorem for Hochschild cochains via transfer ⋮ Shuffle bialgebras. ⋮ Poincaré/Koszul duality ⋮ On the operad of bigraft algebras. ⋮ Open-closed modular operads, the cardy condition and string field theory ⋮ Graph homology: Koszul and Verdier duality ⋮ Cacti and filtered distributive laws ⋮ A letter from Kharkov to Moscow ⋮ Hodge correlators ⋮ Operads of compatible structures and weighted partitions ⋮ The homotopy Gerstenhaber algebra of Hochschild cochains of a regular algebra is formal ⋮ On the growth of algebras with bialgebra action ⋮ Weyl $n$-algebras ⋮ The operad Lie is free ⋮ Gerstenhaber-Schack diagram cohomology from the operadic point of view ⋮ Moduli spaces of Klein surfaces and related operads ⋮ Prop profile of bi-Hamiltonian structures ⋮ Open-closed homotopy algebras and strong homotopy Leibniz pairs through Koszul operad theory ⋮ Wheeled pro(p)file of Batalin-Vilkovisky formalism ⋮ On algebras obtained by tensor product ⋮ Curved Koszul duality theory ⋮ Dimonoids ⋮ Tulczyjew triples and higher Poisson/Schouten structures on Lie algebroids ⋮ Coalgebraic approach to the Loday infinity category, stem differential for $2n$-ary graded and homotopy algebras ⋮ Homotopy theory of nonsymmetric operads ⋮ Koszul duality in deformation quantization and Tamarkin's approach to Kontsevich formality ⋮ The cohomology ring of the real locus of the moduli space of stable curves of genus 0 with marked points ⋮ Ennea-algebras ⋮ Gröbner bases for operads ⋮ $\Gamma$-homology of algebras over an operad ⋮ Homotopy theory of modules over operads in symmetric spectra ⋮ Wheeled PROPs, graph complexes and the master equation ⋮ The sutured Floer polytope and taut depth-one foliations ⋮ Natural differential operators and graph complexes ⋮ Lie theory of formal groups over an operad. ⋮ Leibniz cohomology for differentiable manifolds ⋮ Coassociative magmatic bialgebras and the Fine numbers. ⋮ Representable multicategories ⋮ Operad profiles of Nijenhuis structures ⋮ The triduplicial operad is Koszul ⋮ Permutads via operadic categories, and the hidden associahedron ⋮ A compactification of the real configuration space as an operadic completion ⋮ Cohomology with coefficients for operadic coalgebras ⋮ The intrinsic formality of $E_n$-operads ⋮ Homology and cohomology with coefficients, of an algebra over a quadratic operad ⋮ On the homotopy structure of strongly homotopy associative algebras ⋮ Recognizable formal series on trees and cofree coalgebraic systems ⋮ Jordan triples and operads ⋮ A Leray theorem for the generalization to operads of Hopf algebras with divided powers ⋮ Batalin-Vilkovisky algebras and two-dimensional topological field theories ⋮ Algebras with bracket ⋮ Free Courant and derived Leibniz pseudoalgebras ⋮ Lie-admissible operads ⋮ Operads and triangulation of Loday's diagram on Leibniz algebras ⋮ Koszul duality for PROPs ⋮ Pre-Gerstenhaber algebra up to homotopy ⋮ $\infty$-operads via symmetric sequences ⋮ Weyl $n$-algebras and the swiss cheese operad ⋮ Quadri-algebras ⋮ Character formulas for the operad of two compatible brackets and for the bi-Hamiltonian operad ⋮ A tale of three homotopies ⋮ Topological field theories and Harrison homology ⋮ Special identities for the pre-Jordan product in the free dendriform algebra ⋮ Graded associative conformal algebras of finite type. ⋮ Cohomology and deformation of Leibniz pairs ⋮ Bar constructions for topological operads and the {G}oodwillie derivatives of the identity ⋮ Free dendriform algebras. I: A parenthesis setting ⋮ On operad structures of moduli spaces and string theory ⋮ Erratum to ``Koszul duality for operads ⋮ A Poincaré-Birkhoff-Witt criterion for Koszul operads ⋮ Infinite-dimensional (dg) Lie algebras and factorization algebras in algebraic geometry ⋮ Actads ⋮ Brown's moduli spaces of curves and the gravity operad ⋮ On measurings of algebras over operads and homology theories ⋮ Categorical, homological, and homotopical properties of algebraic objects ⋮ Twisting structures and morphisms up to strong homotopy ⋮ Holomorphic bundles on the blown-up plane and the bar construction ⋮ Homological sections of Lie algebroids ⋮ Coalgebraic formal curve spectra and spectral jet spaces ⋮ Free factorization algebras and homology of configuration spaces in algebraic geometry ⋮ Formality criteria for algebras over operads ⋮ Non-Koszulness of operads and positivity of Poincaré series ⋮ Homotopy theory of homotopy algebras ⋮ Embedding of dendriform algebras into Rota-Baxter algebras ⋮ Quadratic algebras arising from Hopf operads generated by a single element ⋮ Stable cohomology of graph complexes ⋮ $p$-filiform Zinbiel algebras ⋮ Tree series and pattern avoidance in syntax trees ⋮ Combinatorics and formal geometry of the Maurer-Cartan equation ⋮ Homotopy transfer theorem for linearly compatible di-algebras ⋮ Realizing operadic plus-constructions as nullifications ⋮ Homotopy properties of differential Lie modules over curved coalgebras and Koszul duality ⋮ Naturally graded Zinbiel algebras with nilindex $n-3$ ⋮ Monoidal structures on the categories of quadratic data ⋮ On the spectral sequence of the swiss-cheese operad ⋮ Homotopy completion and topological Quillen homology of structured ring spectra ⋮ Veronese powers of operads and pure homotopy algebras ⋮ Algebras over operad of spheres ⋮ Estimation of an algebraic polynomial in a plane in terms of its real part on the unit circle ⋮ Groupoids and Faà di Bruno formulae for Green functions in bialgebras of trees. ⋮ Crystals and monodromy of Bethe vectors ⋮ A cohomology theory of grading-restricted vertex algebras ⋮ On the Kurosh problem in varieties of algebras ⋮ Lie algebras and $v_n$-periodic spaces ⋮ Tree polynomials and non-associative Gröbner bases ⋮ The equivalence between Feynman transform and Verdier duality ⋮ The Eckmann-Hilton argument and higher operads ⋮ Equivariant operads, string topology, and Tate cohomology ⋮ Dendroidal sets ⋮ The Atiyah-Bott formula and connectivity in chiral Koszul duality ⋮ Symmetric homotopy theory for operads ⋮ Self-dual binary quadratic operads ⋮ Deformation theory with homotopy algebra structures on tensor products ⋮ Higher enveloping algebras ⋮ Operadic twisting -- with an application to Deligne's conjecture ⋮ A compendium of Lie structures on tensor products ⋮ Involutive $A_\infty$-algebras and dihedral cohomology. ⋮ Koszuality of the $\mathcal{V}^{(d)}$ dioperad ⋮ On products and duality of binary, quadratic, regular operads ⋮ $E_{\infty}$-model for a mapping space ⋮ On some anticyclic operads ⋮ Combinatorial operads from monoids ⋮ Noncommutative unfolding of hypersurface singularity ⋮ Koszul duality for monoids and the operad of enriched rooted trees ⋮ Homotopy theory of modules over operads and non-$\varSigma $ operads in monoidal model categories ⋮ Algebras with one operation including Poisson and other Lie-admissible algebras ⋮ Nilpotency of Zinbiel algebras ⋮ An operadic approach to vertex algebra and Poisson vertex algebra cohomology ⋮ Universal enveloping commutative Rota-Baxter algebras of pre- and post-commutative algebras ⋮ Homological stability and densities of generalized configuration spaces ⋮ A rigidity theorem for pre-Lie algebras ⋮ Rings, modules, and algebras in infinite loop space theory ⋮ Gravity algebra structure on the negative cyclic homology of Calabi-Yau algebras ⋮ On the odd primary homology of free algebras over the spectral Lie operad ⋮ Enriched $\infty $-operads ⋮ Universal enveloping associative Rota-Baxter algebras of preassociative and postassociative algebra ⋮ On the category of props ⋮ Distributive laws and Koszulness ⋮ Cotangent cohomology of a category of deformations ⋮ Cohomologies of a Lie algebra with a derivation and applications ⋮ Up-to-homotopy algebras with strict units ⋮ Koszul duality for compactly generated derived categories of second kind ⋮ Quadratic Lie conformal superalgebras related to Novikov superalgebras ⋮ Curved Koszul duality of algebras over unital versions of binary operads ⋮ Gelfand-Dorfman algebras, derived identities, and the Manin product of operads ⋮ Homology and minimal model of Gerstenhaber algebras. ⋮ Categorical Koszul duality ⋮ Globalization of Tamarkin's formality theorem ⋮ Moduli spaces and formal operads ⋮ Homotopy-theoretically enriched categories of noncommutative motives ⋮ Unimodular homotopy algebras and Chern-Simons theory ⋮ Homotopy transfer and formality ⋮ Cooperads and coalgebras as closed model categories ⋮ On pre-Novikov algebras and derived Zinbiel variety ⋮ Unnamed Item ⋮ Exact Hochschild extensions and deformed Calabi-Yau completions ⋮ Abelian subalgebras and ideals of maximal dimension in Zinbiel algebras ⋮ Partition complexes and trees ⋮ On higher structure on the operadic deformation complexes ${Def}(e_n\to \mathcal{P})$ ⋮ Deformation of Dual Leibniz Algebra Morphisms ⋮ Triviality of the higher formality theorem ⋮ The odd origin of Gerstenhaber brackets, Batalin-Vilkovisky operators, and master equations ⋮ A Koszul duality for props ⋮ A Class of Nonassociative Algebras ⋮ Derived Hilbert schemes ⋮ On classification problem of Loday algebras ⋮ Cohomology and deformations of dendriform algebras, and Dend_∞-algebras ⋮ Factorization homology of topological manifolds ⋮ Universal enveloping of (modified) λ-differential Lie algebras ⋮ Koszul spaces ⋮ MINIVERSAL DEFORMATIONS OF DIALGEBRAS ⋮ Unnamed Item ⋮ Strongly homotopy lie algebras ⋮ Moment categories and operads ⋮ E-infinity coalgebra structure on chain complexes with integer coefficients ⋮ Grothendieck-Verdier duality patterns in quantum algebra ⋮ Generalized cohomological field theories in the higher order formalism ⋮ Noncommutative Novikov algebras ⋮ Koszul Feynman categories ⋮ Koszul duality for topological E _n ‐operads ⋮ Shift of argument algebras and de Concini–Procesi spaces ⋮ On the Torelli Lie algebra ⋮ Cohomology and deformation theory for operad with higher derivation ⋮ Free weighted (modified) differential algebras, free (modified) Rota–Baxter algebras and Gröbner–Shirshov bases ⋮ Transposed Poisson structures ⋮ Algebraic structures on graph associahedra ⋮ Massey products for algebras over operads ⋮ One-parameter deformations of the diassociative and dendriform operads ⋮ Infinite-dimensional Lie bialgebras via affinization of Novikov bialgebras and Koszul duality ⋮ Derived Poincaré-Birkhoff-Witt theorems. With an appendix by Vladimir Dotsenko ⋮ Zinbiel algebras are nilpotent ⋮ Cliff operads: a hierarchy of operads on words ⋮ Compatible structures of nonsymmetric operads, Manin products and Koszul duality ⋮ Koszul duality, minimal model and $L_\infty $-structure for differential algebras with weight ⋮ Koszul monoids in quasi-abelian categories ⋮ Representations on the cohomology of $\overline{\mathcal{M}}_{0,n}$ ⋮ On the Special Identities of Gelfand–Dorfman Algebras ⋮ On operads, bimodules and analytic functors ⋮ ON THE STRUCTURE OF FREE DUAL LEIBNIZ ALGEBRAS ⋮ Associator dependent algebras and Koszul duality ⋮ Manin products, Koszul duality, Loday algebras and Deligne conjecture ⋮ Models for operads ⋮ Spectral Algebra Models of Unstable $$v_n$$-Periodic Homotopy Theory ⋮ Koszul Duality for $$E_n$$-Algebras in a Filtered Category ⋮ Manifolds, K-theory and the calculus of functors ⋮ On one class of commutative operads ⋮ Polynomial functors and combinatorial Dyson–Schwinger equations ⋮ Special identities for comtrans algebras ⋮ Six operations formalism for generalized operads ⋮ Homological algebra of homotopy algebras ⋮ Higher algebra over the Leibniz operad ⋮ Twisted arrow categories, operads and Segal conditions ⋮ Unnamed Item ⋮ Lifts of 𝐶_{∞}- and 𝐿_{∞}-morphisms to 𝐺_{∞}-morphisms ⋮ On special identities for dialgebras ⋮ Goodwillie Approximations to Higher Categories ⋮ Dual Alternative Algebras in Characteristic Three ⋮ The tangent complex and Hochschild cohomology of -rings ⋮ The Alternative Operad Is Not Koszul ⋮ PROPped-Up Graph Cohomology ⋮ A pseudo-analyzer approach to formal group laws not of operad type ⋮ THE PRE-LIE OPERAD AS A DEFORMATION OF NAP ⋮ Operads and PROPs ⋮ Brown's dihedral moduli space and freedom of the gravity operad ⋮ Generalized differential forms over an operand and algebraic models of fibrations ⋮ Relaxed multicategory structure of a global category of rings and modules ⋮ Derived bracket construction and Manin products ⋮ Quadratic duals, Koszul dual functors, and applications ⋮ Cohomology operations and the deligne conjecture ⋮ COMBINATORICS AND N-KOSZUL ALGEBRAS ⋮ TERNARY AND NON-ASSOCIATIVE STRUCTURES ⋮ On the structure of cofree Hopf algebras ⋮ Formality of the little N-disks operad ⋮ Higher structures, quantum groups and genus zero modular operad ⋮ The Tits–Kantor–Koecher Construction for Jordan Dialgebras ⋮ Quotients of the Magmatic Operad: Lattice Structures and Convergent Rewrite Systems ⋮ Adem-Cartan Operads ⋮ Dialgebra cohomology as a G-algebra ⋮ L-Algebras, Triplicial-Algebras, within an Equivalence of Categories Motivated by Graphs ⋮ Codimension Growth and Non-Koszulity of Novikov Operad ⋮ Unnamed Item ⋮ Noncommutative Leibniz–Poisson Algebras ⋮ ZERO-POINTED MANIFOLDS ⋮ Dendriform Analogues of Lie and Jordan Triple Systems ⋮ Lois Pré-Lie En Interaction ⋮ Operads of moduli spaces of points in ℂ^{𝕕} ⋮ On the homotopy of simplicial algebras over an operad ⋮ Homotopy theory for algebras over polynomial monads ⋮ A Quillen Adjunction Between Algebras and Operads, Koszul Duality, and the Lagrange Inversion Formula ⋮ NONCOMMUTATIVE HOMOTOPY ALGEBRAS ASSOCIATED WITH OPEN STRINGS ⋮ Les Pré-(ab)-algèbres à Homotopie Près ⋮ Algèbre des descentes et cogroupes dans les algèbres sur une opérade ⋮ Distributive laws between the Three Graces ⋮ Universal enveloping algebra of a pair of compatible Lie brackets

Cites Work