Abstract: This paper provides an explicit cofibrant resolution of the operad encoding Batalin-Vilkovisky algebras. Thus it defines the notion of homotopy Batalin-Vilkovisky algebras with the required homotopy properties. To define this resolution we extend the theory of Koszul duality to operads and properads that are defind by quadratic and linear relations. The operad encoding Batalin-Vilkovisky algebras is shown to be Koszul in this sense. This allows us to prove a Poincare-Birkhoff-Witt Theorem for such an operad and to give an explicit small quasi-free resolution for it. This particular resolution enables us to describe the deformation theory and homotopy theory of BV-algebras and of homotopy BV-algebras. We show that any topological conformal field theory carries a homotopy BV-algebra structure which lifts the BV-algebra structure on homology. The same result is proved for the singular chain complex of the double loop space of a topological space endowed with an action of the circle. We also prove the cyclic Deligne conjecture with this cofibrant resolution of the operad BV. We develop the general obstruction theory for algebras over the Koszul resolution of a properad and apply it to extend a conjecture of Lian-Zuckerman, showing that certain vertex algebras have an explicit homotopy BV-algebra structure.
Recommendations
Cites work
- scientific article; zbMATH DE number 1229085 (Why is no real title available?)
- scientific article; zbMATH DE number 1327759 (Why is no real title available?)
- scientific article; zbMATH DE number 595200 (Why is no real title available?)
- scientific article; zbMATH DE number 1522615 (Why is no real title available?)
- scientific article; zbMATH DE number 1757930 (Why is no real title available?)
- scientific article; zbMATH DE number 2144707 (Why is no real title available?)
- scientific article; zbMATH DE number 2154525 (Why is no real title available?)
- scientific article; zbMATH DE number 3996707 (Why is no real title available?)
- scientific article; zbMATH DE number 2121180 (Why is no real title available?)
- scientific article; zbMATH DE number 2121402 (Why is no real title available?)
- scientific article; zbMATH DE number 760339 (Why is no real title available?)
- scientific article; zbMATH DE number 937397 (Why is no real title available?)
- scientific article; zbMATH DE number 6136769 (Why is no real title available?)
- scientific article; zbMATH DE number 2196376 (Why is no real title available?)
- scientific article; zbMATH DE number 3337465 (Why is no real title available?)
- scientific article; zbMATH DE number 970070 (Why is no real title available?)
- scientific article; zbMATH DE number 2242607 (Why is no real title available?)
- scientific article; zbMATH DE number 3199389 (Why is no real title available?)
- A Koszul duality for props
- A functional-analytic theory of vertex (operator) algebras. II.
- A proof of a cyclic version of Deligne's conjecture via cacti
- Algebra of higher antibrackets
- Algebraic operads
- André-Quillen (co-)homology for simplicial algebras over simplicial operads
- André-Quillen cohomology of algebras over an operad
- Axiomatic homotopy theory for operads
- Batalin-Vilkovisky algebra structures on Hochschild cohomology
- Batalin-Vilkovisky algebras and two-dimensional topological field theories
- Categorical algebra
- Chiral de Rham complex
- Curved Koszul duality theory
- Deformation quantization of Poisson manifolds
- Deformation theory of representations of prop(erad)s I
- Deformation theory of representations of prop(erad)s. II
- Distributive laws and Koszulness
- Equivalences of higher derived brackets
- Formality of the chain operad of framed little disks
- Formality of the framed little 2-discs operad and semidirect products
- Framed Discs Operads and Batalin-Vilkovisky Algebras
- Gebras
- Gerbes of chiral differential operators. II: Vertex algebroids
- Higher derived brackets and deformation theory. I
- Higher derived brackets and homotopy algebras
- Homological algebra of homotopy algebras
- Homology and minimal model of Gerstenhaber algebras.
- Homotopy Associativity of H-Spaces. I
- Homotopy Gerstenhaber structures and vertex algebras
- Homotopy invariant algebraic structures on topological spaces
- Koszul Resolutions
- Koszul duality for operads
- Lie elements and an algebra associated with shuffles
- Manin products, Koszul duality, Loday algebras and Deligne conjecture
- Modules and Morita theorem for operads
- New perspectives on the BRST-algebraic structure of string theory
- Noncommutative differential calculus, homotopy BV algebras and formality conjectures
- Nonhomogeneous quadratic duality and curvature
- Notes on A∞-Algebras, A∞-Categories and Non-Commutative Geometry
- On some generalizations of Batalin-Vilkovisky algebras
- On the cyclic Deligne conjecture.
- On the deformation of rings and algebras
- Poincaré-Birkhoff-Witt theorem for quadratic algebras of Koszul type
- Quantization of Lie bialgebras via the formality of the operad of little disks
- The Batalin-Vilkovisky algebra on Hochschild cohomology induced by infinity inner products.
- The Geometry of Syzygies
- The \(sh\) Lie structure of Poisson brackets in field theory
- The cohomology structure of an associative ring
- The geometry of iterated loop spaces
- The homotopy Gerstenhaber algebra of Hochschild cochains of a regular algebra is formal
- Theory of Koszul operads and homology of Poisson algebras
- Topological conformal field theories and Calabi-Yau categories
- Twisted tensor products. I
- Two-dimensional conformal geometry and vertex operator algebras
- Two-dimensional topological gravity and equivariant cohomology
- Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas (Quatrième partie). Rédigé avec la colloboration de J. Dieudonné
Cited in
(53)- Operadic twisting -- with an application to Deligne's conjecture
- From \(L_{\infty }\)-algebroids to higher Schouten/Poisson structures
- Framed \(E_2\) structures in Floer theory
- Monoidal categories and the Gerstenhaber bracket in Hochschild cohomology
- De Rham cohomology and homotopy Frobenius manifolds
- scientific article; zbMATH DE number 1304812 (Why is no real title available?)
- Generalized cohomological field theories in the higher order formalism
- A Quillen Adjunction Between Algebras and Operads, Koszul Duality, and the Lagrange Inversion Formula
- Koszul duality theory for operads over Hopf algebras
- Curved Koszul duality theory
- Massey products for algebras over operads
- Batalin-Vilkovisky algebra structures on (Co)Tor and Poisson bialgebroids.
- scientific article; zbMATH DE number 1522615 (Why is no real title available?)
- Homotopy theory of homotopy algebras
- The Koszul-Tate type resolution for Gerstenhaber-Batalin-Vilkovisky algebras
- Formal formality of the hypercommutative algebras of low dimensional Calabi-Yau varieties
- Batalin-Vilkovisky coalgebra of string topology
- The normalized cochain complex of a nonsymmetric cyclic operad with multiplication is a Quesney homotopy BV algebra
- Resolutions of operads via Koszul (bi)algebras
- Distributive laws between the Three Graces
- The sutured Floer polytope and taut depth-one foliations
- Framed Discs Operads and Batalin-Vilkovisky Algebras
- Homotopy BV-algebras in Hermitian geometry
- Mini-workshop: Combinatorial and algebraic structures in rough analysis and related fields. Abstracts from the mini-workshop held November 26 -- December 2, 2023
- The minimal model of Rota-Baxter operad with arbitrary weight
- Batalin-Vilkovisky algebras and two-dimensional topological field theories
- On some generalizations of Batalin-Vilkovisky algebras
- Homotopy Rota-Baxter operators and post-Lie algebras
- Homotopy BV-algebra structure on the double cobar construction
- Equivalence relation on differential quasi-Batalin-Vilkovisky algebras
- Curved Koszul duality of algebras over unital versions of binary operads
- Givental action and trivialisation of circle action
- Batalin-Vilkovisky algebras and the \(J\)-homomorphism
- Representations of homotopy Lie-Rinehart algebras
- Operadic formulation of topological vertex algebras and Gerstenhaber or Batalin-Vilkovisky algebras
- Gerstenhaber-Schack diagram cohomology from the operadic point of view
- Solving the noncommutative Batalin-Vilkovisky equation
- \(\mathcal{VB}\)-algebroid morphisms and representations up to homotopy
- Deformation theory with homotopy algebra structures on tensor products
- Minimal models of quantum homotopy Lie algebras via the BV-formalism
- Protoperads II: Koszul duality
- Hypercommutative operad as a homotopy quotient of BV
- On the spectral sequence of the swiss-cheese operad
- The BV formalism for \(L_\infty \)-algebras
- Givental group action on topological field theories and homotopy Batalin-Vilkovisky algebras
- Maurer-Cartan elements and cyclic operads
- SEMI-INFINITE FORMS AND TOPOLOGICAL VERTEX OPERATOR ALGEBRAS
- When Ext is a Batalin-Vilkovisky algebra
- Homotopy BV algebras in Poisson geometry
- When can a formality quasi-isomorphism over \(\mathbb{Q}\) be constructed recursively?
- L-infinity and A-infinity structures: then and now
- Homotopy DG algebras induce homotopy BV algebras.
- A universal \(A_\infty\) structure on BV algebras with multiple zeta value coefficients
This page was built for publication: Homotopy Batalin-Vilkovisky algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q446424)
