Related papers: BV equivalence with boundary
This is the first in a series of papers on an attempt to understand quantum field theory mathematically. In this paper we shall introduce and study BV QFT algebra and BV QFT as the proto-algebraic model of quantum field theory by exploiting…
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…
The present paper shows that general relativity in the Arnowitt-Deser-Misner formalism admits a BV-BFV formulation. More precisely, for any $d + 1 \not= 2$ (pseudo-) Riemannian manifold M with space-like or time-like boundary components,…
The Batalin-Vilkovisky method (BV) is the most powerful method to analyze functional integrals with (infinite-dimensional) gauge symmetries presently known. It has been invented to fix gauges associated with symmetries that do not close…
Generalizing the Yang-Mills gauge theory, we provide the BV quantization of a field model with a generic almost-regular quadratic Lagrangian by use of the fact that the configuration space of such a field model is split into the…
Implementing the requirement that a field theory be invariant under Schwinger-Dyson BRST symmetry in the Hamiltonian formalism, we show the equivalence between Hamiltonian and Lagrangian BRST-formalism at the path integral level. The…
We develop and apply the Batalin-Fradkin-Vilkovisky (BFV) formalism for quantizing off-diagonal solutions of the Einstein equations in general relativity. In the quasi-classical limit of quantum gravity, such solutions possess specific…
The Lagrangian field-antifield formalism of Batalin and Vilkovisky (BV) is used to investigate the application of the collective coordinate method to soliton quantisation. It is shown how Noether identities and local symmetries of the…
Quantum localization of classical mechanics within the BRST-BFV and BV (or field-antifield) quantization methods are studied. It is shown that a special choice of gauge fixing functions (or BRST-BFV charge) together with the unitary limit…
Using technique of wheeled props we establish a correspondence between the homotopy theory of unimodular Lie 1-bialgebras and the famous Batalin-Vilkovisky formalism. Solutions of the so called quantum master equation satisfying certain…
We study four dimensional gauge theories in the context of an equivariant extension of the Batalin-Vilkovisky (BV) formalism. We discuss the embedding of BV Yang-Mills (YM) theory into a larger BV theory and their relation. Partial…
This is a paper about geometry of (iterated) variations. We explain why no sources of divergence are built into the Batalin-Vilkovisky (BV) Laplacian, whence there is no need to postulate any ad hoc conventions such as "$\delta(0)=0$" and…
Despite the widely-held premise that initial boundary conditions (BCs) corresponding to measurements/interactions can fully specify a physical subsystem, a literal reading of Hamilton's principle would imply that both initial and final BCs…
We introduce the concept of duality between quantum field theories in the Batalin-Vilkovisky formalism, which is interpreted either as a BV morphism, the result of dual BV pushforwards or a combination of both. When a BV morphism affects…
Functorial properties of the correspondence between commutative BV$_\infty$-algebras and L$_\infty$-algebras are investigated. The category of L$_\infty$-algebras with L$_\infty$-morphisms is characterized as a certain category of pure…
We consider the renormalization of general gauge theories on curved space-time background, with the main assumption being the existence of a gauge-invariant and diffeomorphism invariant regularization. Using the Batalin-Vilkovisky (BV)…
We shall show equivalence between Palatini-$f(\calR)$ theories and Brans-Dicke (BD) theories at the level of action principles in generic dimension with generic matter coupling. We do that by introducing the Helmholtz Lagrangian associated…
We propose a general reduction procedure for classical field theories provided with abelian gauge symmetries in a Lagrangian setting. These ideas come from an axiomatic presentation of the general boundary formulation (GBF) of field…
We study the geometry of the Lagrangian Batalin--Vilkovisky theory on an antisymplectic manifold. We show that gauge symmetries of the BV-theory are essentially the symmetries of an even symplectic structure on the stationary surface of the…
In the setting of a metric space equipped with a doubling measure that supports a Poincar\'e inequality, we show that any set of finite perimeter can be approximated in the BV norm by a set whose topological and measure theoretic boundaries…