arXiv subjects
Publications and source records attributed to Alberto S. Cattaneo.
This explanatory note, based on the geometrical method by Kijovski and Tulczyjew, describes the construction of the reduced phase space of Lagrangian field theories, i.e., the correct space of initial conditions with its symplectic structure. Several examples and, in particular, the case of four-dimensional gravity in the coframe formalism (Palatini--Cartan theory) are analyzed.
In this article a description of the reduced phase space of the standard model coupled to gravity is given. For space or time-like boundaries this is achieved as the reduction of a symplectic space with respect to a coisotropic submanifold and with the BFV formalism. For light-like boundaries the reduced phase space is described as the reduction of a symplectic manifold with respect to a set of constraints. Some results about the Poisson brackets of sums of functionals are also proved.
This note gives an overview of the BV formalism in its various incarnations and applications.
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 integration in the equivariant BV setting (BV push-forward map) is performed explicitly for the abelian case. As result, we obtain a non-local homological generalization of the Cartan calculus and a non-local extension of the abelian YM BV action which satisfies the equivariant master equation.
An extension of the notion of classical equivalence of equivalence in the Batalin--(Fradkin)--Vilkovisky (BV) and (BFV) framework for local Lagrangian field theory on manifolds possibly with boundary is discussed. Equivalence is phrased in both a strict and a lax sense, distinguished by the compatibility between the BV data for a field theory and its boundary BFV data, necessary for quantisation. In this context, the first- and second-order formulations of non-Abelian Yang--Mills and of classical mechanics on curved backgrounds, all of which admit a strict BV-BFV description, are shown to be pairwise equivalent as strict BV-BFV theories. This in particular implies that their BV-complexes are quasi-isomorphic. Furthermore, Jacobi theory and one-dimensional gravity coupled with scalar matter are compared as classically-equivalent reparametrisation-invariant versions of classical mechanics, but such that only the latter admits a strict BV-BFV formulation. They are shown to be equivalent as lax BV-BFV theories and to have isomorphic BV cohomologies. This shows that strict BV-BFV equivalence is a strictly finer notion of equivalence of theories.
This is a didactical review on the canonical BV Laplacian on half-densities.
We compute partition functions of Chern-Simons type theories for cylindrical spacetimes $I \times Σ$, with $I$ an interval and $\dim Σ= 4l+2$, in the BV-BFV formalism (a refinement of the Batalin-Vilkovisky formalism adapted to manifolds with boundary and cutting-gluing). The case $\dim Σ= 0$ is considered as a toy example. We show that one can identify - for certain choices of residual fields - the "physical part" (restriction to degree zero fields) of the BV-BFV effective action with the Hamilton-Jacobi action computed in the companion paper [arXiv:2012.13270], without any quantum corrections. This Hamilton-Jacobi action is the action functional of a conformal field theory on $Σ$. For $\dim Σ= 2$, this implies a version of the CS-WZW correspondence. For $\dim Σ= 6$, using a particular polarization on one end of the cylinder, the Chern-Simons partition function is related to Kodaira-Spencer gravity (a.k.a. BCOV theory); this provides a BV-BFV quantum perspective on the semiclassical result by Gerasimov and Shatashvili.
In classical field theory, gluing spacetime manifolds along boundary corresponds to taking a fiber product of the corresponding spaces of fields (as differential graded Fréchet manifolds) up to homotopy. We construct this homotopy explicitly in several examples in the setting of BV-BFV formalism (Batalin--Vilkovisky formalism with cutting--gluing).
Mechanical systems (i.e., one-dimensional field theories) with constraints are the focus of this paper. In the classical theory, systems with infinite-dimensional targets are considered as well (this then encompasses also higher-dimensional field theories in the hamiltonian formalism). The properties of the Hamilton-Jacobi (HJ) action are described in details and several examples are explicitly computed (including nonabelian Chern-Simons theory, where the HJ action turns out to be the gauged Wess-Zumino-Witten action). Perturbative quantization, limited in this note to finite-dimensional targets, is performed in the framework of the Batalin-Vilkovisky (BV) formalism in the bulk and of the Batalin-Fradkin-Vilkovisky (BFV) formalism at the endpoints. As a sanity check of the method, it is proved that the semiclassical contribution of the physical part of the evolution operator is still given by the HJ action. Several examples are computed explicitly. In particular, it is shown that the toy model for nonabelian Chern-Simons theory and the toy model for 7D Chern-Simons theory with nonlinear Hitchin polarization do not have quantum corrections in the physical part (the extension of these results to the actual cases is discussed in the companion paper [arXiv:2012.13983]). Background material for both the classical part (symplectic geometry, generalized generating functions, HJ actions, and the extension of these concepts to infinite-dimensional manifolds) and the quantum part (BV-BFV formalism) is provided.
In this note the AKSZ construction is applied to the BFV description of the reduced phase space of the Einstein-Hilbert and of the Palatini--Cartan theories in every space-time dimension greater than two. In the former case one obtains a BV theory for the first-order formulation of Einstein--Hilbert theory, in the latter a BV theory for Palatini--Cartan theory with a partial implementation of the torsion-free condition already on the space of fields. All theories described here are BV versions of the same classical system on cylinders. The AKSZ implementations we present have the advantage of yielding a compatible BV-BFV description, which is the required starting point for a quantization in presence of a boundary.
We analyse the boundary structure of General Relativity in the coframe formalism in the case of a lightlike boundary, i.e., when the restriction of the induced Lorentzian metric to the boundary is degenerate. We describe the associated reduced phase space in terms of constraints on the symplectic space of boundary fields. We explicitly compute the Poisson brackets of the constraints and identify the first- and second-class ones. In particular, in the 3+1 dimensional case, we show that the reduced phase space has two local degrees of freedom, instead of the usual four in the non-degenerate case.
An explicit, geometric description of the first-class constraints and their Poisson brackets for gravity in the Palatini-Cartan formalism (in space-time dimension greater than three) is given. The corresponding Batalin- Fradkin-Vilkovisky (BFV) formulation is also developed.
This note is an expanded and updated version of our entry with the same title for the 2006 Encyclopedia of Mathematical Physics. We give a brief overview of graded Poisson algebras, their main properties and their main applications, in the contexts of super differentiable and of derived algebraic geometry.
We construct a special class of semiclassical Fourier integral operators whose wave fronts are symplectic micromorphisms. These operators have very good properties: they form a category on which the wave front map becomes a functor into the cotangent microbundle category, and they admit a total symbol calculus in terms of symplectic micromorphisms enhanced with half-density germs. This new operator category encompasses the semi-classical pseudo-differential calculus and offers a functorial framework for the semi-classical analysis of the Schrödinger equation. We also comment on applications to classical and quantum mechanics as well as to a functorial and geometrical approach to the quantization of Poisson manifolds.
We study an equivariant extension of the Batalin-Vilkovisky formalism for quantizing gauge theories. Namely, we introduce a general framework to encompass failures of the quantum master equation, and we apply it to the natural equivariant extension of AKSZ solutions of the classical master equation (CME). As examples of the construction, we recover the equivariant extension of supersymmetric Yang-Mills in 2d and of Donaldson-Witten theory.
We present a construction of cellular BF theory (in both abelian and non-abelian variants) on cobordisms equipped with cellular decompositions. Partition functions of this theory are invariant under subdivisions, satisfy a version of the quantum master equation, and satisfy Atiyah-Segal-type gluing formula with respect to composition of cobordisms.
We show that the Palatini--Cartan--Holst formulation of General Relativity in tetrad variables must be complemented with additional requirements on the fields when boundaries are taken into account for the associated BV theory to induce a compatible BFV theory on the boundary.
We describe a covariant framework to construct a globalized version for the perturbative quantization of nonlinear split AKSZ Sigma Models on manifolds with and without boundary, and show that it captures the change of the quantum state as one changes the constant map around which one perturbs. This is done by using concepts of formal geometry. Moreover, we show that the globalized quantum state can be interpreted as a closed section with respect to an operator that squares to zero. This condition is a generalization of the modified Quantum Master Equation as in the BV-BFV formalism, which we call the modified "differential" Quantum Master Equation.