4-Manifold Topology, Donaldson-Witten Theory, Floer Homology and Higher Gauge Theory Methods in the BV-BFV Formalism

Abstract

We study the behavior of Donaldson's invariants of 4-manifolds based on the moduli space of anti self-dual connections (instantons) in the perturbative field theory setting where the underlying source manifold has boundary. It is well-known that these invariants take values in the instanton Floer homology groups of the boundary 3-manifold. Gluing formulae for these constructions lead to a functorial topological field theory description according to a system of axioms developed by Atiyah, which can be also regarded in the setting of perturbative quantum field theory, as it was shown by Witten, using a version of supersymmetric Yang-Mills theory, known today as Donaldson-Witten theory. One can actually formulate an AKSZ model which recovers this theory for a certain gauge-fixing. We consider these constructions in a perturbative quantum gauge formalism for manifolds with boundary that is compatible with cutting and gluing, called the BV-BFV formalism, which was recently developed by Cattaneo, Mnev and Reshetikhin. We prove that this theory satisfies a modified Quantum Master Equation and extend the result to a global picture when perturbing around constant background fields. Additionally, we relate these constructions to Nekrasov's partition function by treating an equivariant version of Donaldson-Witten theory in the BV formalism. Moreover, we discuss the extension, as well as the relation, to higher gauge theory and enumerative geometry methods, such as Gromov-Witten and Donaldson-Thomas theory and recall their correspondence conjecture for general Calabi-Yau 3-folds. In particular, we discuss the corresponding (relative) partition functions, defined as the generating function for the given invariants, and gluing phenomena.

arXiv comment88 pages, 21 figures, 1 table

References in corpus (38)

• Monopole Condensation, And Confinement In N=2 Supersymmetric Yang-Mills Theory
• Deformation quantization of Poisson manifolds, I
• Monopoles, Duality and Chiral Symmetry Breaking in N=2 Supersymmetric QCD
• The Geometry of the Master Equation and Topological Quantum Field Theory
• Gromov-Witten classes, quantum cohomology, and enumerative geometry
• A path integral approach to the Kontsevich quantization formula
• The intrinsic normal cone
• Gauge Invariance in Field Theory and Statistical Physics in Operator Formalism
• Higher-dimensional Algebra and Topological Quantum Field Theory
• Geometry of Batalin-Vilkovisky quantization
• Batalin-Vilkovisky algebras and two-dimensional topological field theories
• Gromov-Witten invariants in algebraic geometry
• A 'Darboux Theorem' for shifted symplectic structures on derived Artin stacks, with applications
• Perturbative quantum gauge theories on manifolds with boundary
• Identification of the Givental formula with the spectral curve topological recursion procedure
• Integral Invariants of 3-Manifolds. II
• Classical BV theories on manifolds with boundary
• Shifted Poisson Structures and Deformation Quantization
• Lagrangian structures on mapping stacks and semi-classical TFTs
• Multiple Derived Lagrangian Intersections
• Remarks on Chern-Simons invariants
• On the origin of the BV operator on odd symplectic supermanifolds
• Exts and Vertex Operators
• Gluing Nekrasov partition functions
• The Poisson sigma model on closed surfaces
• Effective Batalin--Vilkovisky theories, equivariant configuration spaces and cyclic chains
• Two-Dimensional Yang-Mills Theory on Surfaces With Corners in Batalin-Vilkovisky Formalism
• Introduction to the BV-BFV formalism
• Globalization for Perturbative Quantization of Nonlinear Split AKSZ Sigma Models on Manifolds with Boundary
• Equivariant Batalin-Vilkovisky formalism
• On the Globalization of the Poisson Sigma Model in the BV-BFV Formalism
• On Globalized Traces for the Poisson Sigma Model
• Antibrackets and localization of (path) integrals
• Covariance in the Batalin-Vilkovisky formalism and the Maurer-Cartan equation for curved Lie algebras
• Almost closed 1-forms
• On Quantum Obstruction Spaces and Higher Codimension Gauge Theories
• Formal Global AKSZ Gauge Observables and Generalized Wilson Surfaces
• Super quantum cohomology I: Super stable maps of genus zero with Neveu-Schwarz punctures

Cited by in corpus (1)

• A topological quantum field theory for $\mathrm{Spin}(7)$-instantons