Equivariant BV-BFV Formalism

Alberto S. Cattaneo,Nima Moshayedi

2024-09-28

Abstract:The recently introduced equivariant BV formalism is extended to the case of manifolds with boundary under appropriate conditions. AKSZ theories are presented as a practical example.

Mathematical Physics,Differential Geometry

What problem does this paper attempt to address?

Classical BV Theories on Manifolds with Boundary

Alberto S. Cattaneo,Pavel Mnev,Nicolai Reshetikhin

DOI: https://doi.org/10.1007/s00220-014-2145-3

2014-01-01

Abstract:In this paper we extend the classical BV framework to gauge theories on spacetime manifolds with boundary. In particular, we connect the BV construction in the bulk with the BFV construction on the boundary and we develop its extension to strata of higher codimension in the case of manifolds with corners. We present several examples including electrodynamics, Yang-Mills theory and topological field theories coming from the AKSZ construction, in particular, the Chern-Simons theory, the BF theory, and the Poisson sigma model. This paper is the first step towards developing the perturbative quantization of such theories on manifolds with boundary in a way consistent with gluing.
Perturbative Quantum Gauge Theories on Manifolds with Boundary

Alberto S. Cattaneo,Pavel Mnev,Nicolai Reshetikhin

DOI: https://doi.org/10.1007/s00220-017-3031-6

2017-01-01

Abstract:This paper introduces a general perturbative quantization scheme for gauge theories on manifolds with boundary, compatible with cutting and gluing, in the cohomological symplectic (BV–BFV) formalism. Explicit examples, like abelian BF theory and its perturbations, including nontopological ones, are presented.
BV Formalism and Partition Functions

Pietro Antonio Grassi,Ondrej Hulik

2024-10-24

Abstract:The BV formalism is a well-established method for analyzing symmetries and quantization of field theories. In this paper we use the BV formalism to derive partition functions of gauge invariant operators up to equations of motions and their redundancies of selected theories. We discuss various interpretations of the results, some dualities and relation to first quantized models.

High Energy Physics - Theory,Mathematical Physics
On the BV formulation of boundary superstring field theory

Marcos Mariño

DOI: https://doi.org/10.1088/1126-6708/2001/06/059

IF: 6.379

2001-06-26

Journal of High Energy Physics

Abstract:We propose a Batalin-Vilkovisky (BV) formulation of boundary superstring field theory. The superstring field action is defined in terms of a closed one-form in the space of couplings, and we compute it explicitly for exactly solvable tachyon perturbations. We also argue that the superstring field action defined in this way is the partition function on the disc, in accord with a previous proposal.

physics, particles & fields
Formal Frobenius Manifold Structure on Equivariant Cohomology

KD Cao,J Zhou

DOI: https://doi.org/10.1142/s0219199799000201

1999-01-01

Communications in Contemporary Mathematics

Abstract:For a closed Kähler manifold with a Hamiltonian action of a connected compact Lie group by holomorphic isometries, we construct a formal Frobenius manifold structure on the equivariant cohomology by exploiting a natural DGBV algebra structure on the Cartan model.
Towards non-perturbative BV-theory via derived differential geometry

Luigi Alfonsi,Charles A. S. Young

2023-10-26

Abstract:We propose a global geometric framework which allows one to encode a natural non-perturbative generalisation of usual Batalin-Vilkovisky (BV-)theory. Namely, we construct a concrete model of derived differential geometry, whose geometric objects are formal derived smooth stacks, i.e. stacks on formal derived smooth manifolds, together with a notion of differential geometry on them. This provides a working language to study generalised geometric spaces that are smooth, infinite-dimensional, higher and derived at the same time. Such a formalism is obtained by combining Schreiber's differential cohesion with the machinery of Töen-Vezzosi's homotopical algebraic geometry applied to the theory of derived manifolds of Spivak and Carchedi-Steffens. We investigate two classes of examples of non-perturbative classical BV-theories in the context of derived differential cohesion: scalar field theory and Yang-Mills theory.

High Energy Physics - Theory,Mathematical Physics,Algebraic Geometry,Differential Geometry
On equivariantly formal 2-torus manifolds

Li Yu

2023-06-23

Abstract:A 2-torus manifold is a closed connected smooth n-manifold with a non-free effective smooth $\mathbb{Z}^n_2$-action. In this paper, we prove that a 2-torus manifold is equivariantly formal if and only if the $\mathbb{Z}^n_2$-action is locally standard and every face of its orbit space (including the whole orbit space) is mod 2 acyclic. Our study is parallel to the study of torus manifolds with vanishing odd-degree cohomology by M. Masuda and T. Panov. As an application, we determine when such kind of 2-torus manifolds can have regular m-involutions (i.e. involutions with only isolated fixed points of the maximum possible number).

Algebraic Topology,Geometric Topology
BV bialgebra structures in Floer theory and string topology

Janko Latschev,Alexandru Oancea

2024-02-27

Abstract:We derive the notions of BV unital infinitesimal bialgebra and BV Frobenius algebra from the topology of suitable compactifications of moduli spaces of decorated genus 0 curves. We construct these structures respectively on reduced symplectic homology and Rabinowitz Floer homology. As an application, we construct these structures in nonequivariant string topology. We also show how the Lie bialgebra structure in equivariant string topology, and more generally on $S^1$-equivariant symplectic homology, is obtained as a formal consequence.

Algebraic Topology,Symplectic Geometry,Quantum Algebra
BV-refinement of the on-shell supersymmetry and localization

Andrey Losev,Vyacheslav Lysov

2023-12-22

Abstract:We generalize the BV formalism for the physical theories on supermanifolds with graded symmetry algebras realized off-shell and on-shell. An application of such generalization to supersymmetric theories allows us to formulate the new classification which refines the usual off-shell/on-shell classification. Our new classification is based on the type of higher order antifield terms in the corresponding BV action. We provide explicit examples for each class of the refined classification. We show that the supersymmetric localization for the off-shell theories is a BV integral over particular Lagrangian submanifold. We generalize the supersymmetric localization to the on-shell supersymmetric theories of quadratic type in our classification. The partition function for such theories becomes Gaussian integral for a particular choice of Lagrangian submanifold.

High Energy Physics - Theory,Mathematical Physics
BV Quantization

Alberto S. Cattaneo,Pavel Mnev,Michele Schiavina

2023-07-15

Abstract:This note gives an overview of the BV formalism in its various incarnations and applications.

Mathematical Physics,High Energy Physics - Theory,Symplectic Geometry
A bordism theory related to matrix Grassmannians

A.V. Ershov

DOI: https://doi.org/10.48550/arXiv.1010.0646

2010-10-05

Abstract:In the present paper we study a bordism theory related to pairs $(M,\, \xi),$ where $M$ is a closed smooth oriented manifold with a stably trivial normal bundle and $\xi$ is a virtual $\SU$-bundle of virtual dimension 1 over $M$. The main result is the calculation of the corresponding ring modulo torsion and the explicit description of its generators.

Algebraic Topology
The Equivariant B model

Guido Festuccia,Roman Mauch,Maxim Zabzine

2024-10-22

Abstract:In this work, we introduce an equivariant deformation of the $B$ model on the sphere with a $U(1)$-action. We present the deformed supersymmetry transformations and corresponding Lagrangians and study observables in the supercharge cohomology. The inclusion of equivariance allows for the introduction of novel, position-dependent observables on the sphere, which have no counterparts in the conventional $B$ model. Two specific cases we explore in detail are position-dependent superpotentials and complex structure deformations. In both instances, the theory exhibits notable differences from the standard $B$ model, revealing intriguing new features.

High Energy Physics - Theory
Insertion of vertex operators using BV formalism

Andrei Mikhailov

2023-08-23

Abstract:We develop a general framework for the insertion of vertex operator on the string worldsheet, in BV formalism. Such insertions correspond to deformations of the Master Action which breaks the gauge symmetry to a subgroup, and then restoring the full gauge symmetry by integrating over a cycle in the space of Lagrangian submanifolds. We provide the general construction, global on the moduli space, which was previously conjectured in a form local on the worldsheet. We explain how the enhancement of the gauge symmetry in equivariant BV formalism can be seen as an application of the general idea of BV effective action. We derive an integral formula for the deformation of the contraction operator due to the vertex insertion.

High Energy Physics - Theory
The BV construction for finite spectral triples

Roberta Anna Iseppi

2024-10-16

Abstract:This article presents how the BV formalism naturally inserts in the framework of noncommutative geometry for gauge theories induced by finite spectral triples. Reaching this goal entails that not only all the steps of the BV construction, from the introduction of ghost/anti-ghost fields to the construction of the BRST complex, can be expressed using noncommutative geometric objects, but also that the method to go from one step in the construction to the next one has an intrinsically noncommutative geometric nature. Moreover, we prove that both the classical BV and BRST complexes coincide with another cohomological theory, naturally appearing in noncommutative geometry: the Hochschild complex of a coalgebra. The construction is presented in detail for $U(n)$-gauge theories induced by spectral triples on the algebra $M_n(\mathbb{C})$.

Mathematical Physics,Operator Algebras
Equivariant spectral flow and equivariant [math]-invariants on manifolds with boundary

Johnny Lim,Hang Wang

DOI: https://doi.org/10.1142/s0129167x2450006x

2024-02-15

International Journal of Mathematics

Abstract:In this paper, we study several closely related invariants associated to Dirac operators on odd-dimensional manifolds with boundary with an action of the compact group H of isometries. In particular, the equality between equivariant winding numbers, equivariant spectral flow and equivariant Maslov indices is established. We also study equivariant η -invariants which play a fundamental role in the equivariant analog of Getzler's spectral flow formula. As a consequence, we establish a relation between equivariant η -invariants and equivariant Maslov triple indices in the splitting of manifolds.

mathematics
Equivariant formality in complex-oriented theories

Shaoyun Bai,Daniel Pomerleano

2024-05-23

Abstract:Let $G$ be a product of unitary groups and let $(M,\omega)$ be a compact symplectic manifold with Hamiltonian $G$-action. We prove an equivariant formality result for any complex-oriented cohomology theory $\mathbb{E}^*$ (in particular, integral cohomology). This generalizes the celebrated result of Atiyah-Bott-Kirwan for rational cohomology from the 1980s. The proof does not use classical ideas but instead relies on a recent cohomological splitting result of Abouzaid-McLean-Smith for Hamiltonian fibrations over $\mathbb{CP}^1.$ Moreover, we establish analogues of the "localization" and "injectivity to fixed points" theorems for certain cohomology theories studied by Hopkins-Kuhn-Ravenel. As an application of these results, we establish a Goresky-Kottwitz-MacPherson theorem with Morava $K$-theory coefficients for Hamiltonian $T$-manifolds.

Symplectic Geometry,Algebraic Geometry,Algebraic Topology
Perturbative BV theories with Segal-like gluing

Alberto S. Cattaneo,Pavel Mnev,Nicolai Reshetikhin

2016-01-01

Abstract:This is a survey of our program of perturbative quantization of gauge theories on manifolds with boundary compatible with cutting/pasting and with gauge symmetry treated by means of a cohomological resolution (Batalin-Vilkovisky) formalism. We also give two explicit quantum examples -- abelian BF theory and the Poisson sigma model. This exposition is based on a talk by P.M. at the ICMP 2015 in Santiago de Chile.
Batalin-Vilkovisky formalism in the $p$-adic Dwork theory

Dohyeong Kim,Jeehoon Park,Junyeong Park

DOI: https://doi.org/10.48550/arXiv.1906.06564

2021-01-28

Abstract:The goal of this article is to develop BV (Batalin-Vilkovisky) formalism in the $p$-adic Dwork theory. Based on this formalism, we explicitly construct a $p$-adic dGBV algebra (differential Gerstenhaber-Batalin-Vilkovisky algebra) for a smooth projective complete intersection variety $X$ over a finite field, whose cohomology gives the $p$-adic Dwork cohomology of $X$, and its cochain endomorphism (the $p$-adic Dwork Frobenius operator) which encodes the information of the zeta function $X$. As a consequence, we give a modern deformation theoretic interpretation of Dwork's theory of the zeta function of $X$ and derive a formula for the $p$-adic Dwork Frobenius operator in terms of homotopy Lie morphisms and the Bell polynomials.

Number Theory,Algebraic Topology,Quantum Algebra
Equivariant Spectral Flow and Equivariant $η$-invariants on Manifolds With Boundary

Johnny Lim,Hang Wang

DOI: https://doi.org/10.1142/S0129167X2450006X

2024-05-18

Abstract:In this article, we study several closely related invariants associated to Dirac operators on odd-dimensional manifolds with boundary with an action of the compact group $H$ of isometries. In particular, the equality between equivariant winding numbers, equivariant spectral flow, and equivariant Maslov indices is established. We also study equivariant $\eta$-invariants which play a fundamental role in the equivariant analog of Getzler's spectral flow formula. As a consequence, we establish a relation between equivariant $\eta$-invariants and equivariant Maslov triple indices in the splitting of manifolds.

Differential Geometry
Homotopy transfer for L-infinity structures and the BV-formalism

James Maunder

2024-08-22

Abstract:Explicit constructions for the minimal models of general and unimodular L-infinity algebra structures are given using the BV-formalism of mathematical physics and the perturbative expansions of integrals. In particular, the general formulas for the minimal model of an L-infinity algebra structure are an instance of the Homotopy Transfer Theorem and we recover the known formulas of the structure in terms of sums over rooted trees discussing their relation to Feynman diagrams.

Quantum Algebra,High Energy Physics - Theory,Algebraic Topology

Equivariant BV-BFV Formalism

Classical BV Theories on Manifolds with Boundary

Perturbative Quantum Gauge Theories on Manifolds with Boundary

BV Formalism and Partition Functions

On the BV formulation of boundary superstring field theory

Formal Frobenius Manifold Structure on Equivariant Cohomology

Towards non-perturbative BV-theory via derived differential geometry

On equivariantly formal 2-torus manifolds

BV bialgebra structures in Floer theory and string topology

BV-refinement of the on-shell supersymmetry and localization

BV Quantization

A bordism theory related to matrix Grassmannians

The Equivariant B model

Insertion of vertex operators using BV formalism

The BV construction for finite spectral triples

Equivariant spectral flow and equivariant [math]-invariants on manifolds with boundary

Equivariant formality in complex-oriented theories

Perturbative BV theories with Segal-like gluing

Batalin-Vilkovisky formalism in the $p$-adic Dwork theory

Equivariant Spectral Flow and Equivariant $η$-invariants on Manifolds With Boundary

Homotopy transfer for L-infinity structures and the BV-formalism