Linear Batalin-Vilkovisky quantization as a functor of -categories

DOI10.1007/S00029-018-0396-0zbMATH Open1456.18018arXiv1608.01290OpenAlexW2964255908MaRDI QIDQ1744786FDOQ1744786

Authors: Owen Gwilliam, Rune Haugseng 

Publication date: 19 April 2018

Published in: Selecta Mathematica. New Series (Search for Journal in Brave)

Abstract: We study linear Batalin-Vilkovisky (BV) quantization, which is a derived and shifted version of the Weyl quantization of symplectic vector spaces. Using a variety of homotopical machinery, we implement this construction as a symmetric monoidal functor of $infty$-categories. We also show that this construction has a number of pleasant properties: It has a natural extension to derived algebraic geometry, it can be fed into the higher Morita category of $E_n$-algebras to produce a "higher BV quantization" functor, and when restricted to formal moduli problems, it behaves like a determinant. Along the way we also use our machinery to give an algebraic construction of $E_n$-enveloping algebras for shifted Lie algebras.

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

Recommendations

• The BV formalism for \(L_\infty \)-algebras
• Batalin-Vilkovisky quantization of fuzzy field theories
• Quantizing deformation theory. II
• Minimal models of quantum homotopy Lie algebras via the BV-formalism
• Batalin-Vilkovisky quantization and the algebraic index

zbMATH Keywords

derived algebraic geometryenveloping algebrasBV formalismHeisenberg Lie algebrasBV quantisation

Mathematics Subject Classification ID

Formal methods and deformations in algebraic geometry (14D15) Homological methods in Lie (super)algebras (17B55) Deformation quantization, star products (53D55) Homotopical algebra, Quillen model categories, derivators (18N40) Quantization in field theory; cohomological methods (81T70) Fundamental constructions in algebraic geometry involving higher and derived categories (homotopical algebraic geometry, derived algebraic geometry, etc.) (14A30) Topological and simplicial operads (18M75) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60)

Cites Work

• Homotopy theory of symmetric powers
• Title not available (Why is that?)
• Admissibility and rectification of colored symmetric operads
• Algebraic operads
• Quillen adjunctions induce adjunctions of quasicategories
• Algebras and Modules in Monoidal Model Categories
• Higher Topos Theory (AM-170)
• DG coalgebras as formal stacks
• Relative categories: another model for the homotopy theory of homotopy theories
• On 𝑃𝐿 de Rham theory and rational homotopy type
• Homological algebra of homotopy algebras
• Simplicial localizations of categories
• Quadratic forms and Clifford algebras on derived stacks
• Title not available (Why is that?)
• Shifted symplectic structures
• Title not available (Why is that?)
• Homotopical algebraic geometry. II. Geometric stacks and applications
• Enriched \(\infty\)-categories via non-symmetric \(\infty\)-operads
• A note on the antibracket formalism
• A study in derived algebraic geometry. Volume II: Deformations, Lie theory and formal geometry
• Title not available (Why is that?)
• Weyl \(n\)-algebras
• Gerstenhaber and Batalin-Vilkovisky structures on Lagrangian intersections
• Function complexes in homotopical algebra
• Factorization algebras in quantum field theory. Volume 1
• Classical BV theories on manifolds with boundary
• Tangent Lie algebra of derived Artin stacks
• A `Darboux theorem' for shifted symplectic structures on derived Artin stacks, with applications
• Lax colimits and free fibrations in \(\infty\)-categories
• Six model structures for DG-modules over DGAs: model category theory in homological action.
• The higher Morita category of \(\mathbb{E}_n\)-algebras
• Shifted Poisson structures and deformation quantization
• From topological field theory to deformation quantization and reduction
• Koszul duality complexes for the cohomology of iterated loop spaces of spheres
• The BV formalism for \(L_\infty \)-algebras
• Homotopy BV algebras in Poisson geometry
• How to derive Feynman diagrams for finite-dimensional integrals directly from the BV formalism
• A study in derived algebraic geometry. Volume I: Correspondences and duality
• Poisson reduction as a coisotropic intersection
• Semiclassical Quantization of Classical Field Theories
• Higher enveloping algebras
• Deformation quantisation for $(-1)$-shifted symplectic structures and vanishing cycles

Cited In (16)

• Coloring Operads for Algebraic Field Theory
• Weyl \(n\)-algebras
• Iterated spans and classical topological field theories
• Ruelle zeta function from field theory
• Braces and Poisson additivity
• The holomorphic bosonic string
• Relating nets and factorization algebras of observables: free field theories
• Green hyperbolic complexes on Lorentzian manifolds
• Basic structures on derived critical loci
• Quantization of \((-1)\)-shifted derived Poisson manifolds
• Shifted coisotropic correspondences
• The BV formalism for \(L_\infty \)-algebras
• The ghost fields and the BV extension for finite spectral triples
• How to derive Feynman diagrams for finite-dimensional integrals directly from the BV formalism
• Homotopy theory of algebraic quantum field theories
• Algebraic field theory operads and linear quantization

This page was built for publication: Linear Batalin-Vilkovisky quantization as a functor of \(\infty \)-categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1744786)