Abstract
An extension of the notion of classical equivalence of equivalence in the Batalin–Vilkovisky (BV) and Batalin–Fradkin–Vilkovisky (BFV) frameworks 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 nonabelian 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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The notion of equivalence of field theories is one that can be found throughout physics. Such a concept is relevant and useful for various reasons. At a classical level, the equations of motions of a given theory might be easier to handle than other “equivalent” ones, even if they ultimately yield the same moduli space of solutions. Such reformulations often result in different and enlightening new interpretations of a given problem. Moreover, one theory might be better suited for quantisation than another, but the question of whether two classically equivalent theories result in the same quantum theory is in general still open. With this work, we attempt to take another step towards the answer.
The classical physical content of a given field theory is encoded in the set \(\mathcal {EL}\) of solutions of the Euler–Lagrange equations. In the case where the theory in question also enjoys a local symmetry—encoded by a tangent distribution D—we are interested in the moduli space of inequivalent solutions \(\mathcal {EL}/D\). Classical observables are then defined to be suitable functions on \(\mathcal {EL}/D\). Such a quotient is typically singular: Defining a sensible space of functions over it becomes challenging, and it is often more convenient to find a replacement; a problem best addressed within the Batalin–Vilkovisky (BV) formalism.
The BV formalism was first introduced in [12,13,14] as an extension of the BRST formalism [10, 63], named after Becchi, Rouet, Stora,and Tyutin, used to quantise Lagrangian gauge theories in a way that preserves covariance. Around the same time, the Batalin–Fradkin–Vilkovisky (BFV) formalism was introduced, which deals with constrained Hamiltonian systems [4, 11]. It was later noticed by various authors [8, 31, 32, 39, 40, 43, 44, 61, 62] that the aforementioned formalisms enjoy a rich cohomological structure. For example, a BV theory associates a chain complex to a spacetime manifold, the BV complex, which aims at a resolution of the desired space of functions over the quotient \(\mathcal {EL}/D\). In the case of the BFV formalism, one introduces the BFV complex [55, 56, 61] as a resolution of the space of functions over the reduced phase space of a given constrained Hamiltonian system.
One can then address the question of equivalence of theories in the BV setting. Following the discussion above, a natural way of comparing two classical theories is through their BV cohomologies, also called classical observables, as done for example in [3]. However, a BV theory comes equipped with several pieces of data other than the underlying dg-algebra structure (for example, a symplectic structure and a Hamiltonian function) that one might want an equivalence relation to preserve. Finding the appropriate notion of “BV equivalence” is thus a nontrivial open question. In [28, 29], a stronger notion of BV equivalence is implemented, which requires all data to be preserved by a symplectomorphism. A nontrivial example of such equivalence is found between 3d gravity and (nondegenerate) BF theory. In [17], various alternative weaker notions of BV equivalence have been presented, which apply to higher dimensional formulations of General Relativity.
The BV and BFV approaches were linked by Cattaneo, Mnev and Reshetikhin in [19], where the authors showed that a BV theory on the bulk induces a compatible BFV theory on the boundary, provided that some regularity conditions are met. The presence of a boundary will typically spoil the symmetry invariance of the BV data, encoded in the BV cohomology, but this failure will be controlled by the BFV data associated to the boundary. From this perspective, the regularity conditions can be seen as a compatibility condition between the BV complex on the bulk and the BFV complex on the boundary.
Derived geometry [50] extends the above setting to algebraic geometry, even though currently only in the restricted setting of AKSZ theories. The induced boundary theory is in this case an example of derived intersection, [15, 24]. As derived geometry mainly addresses classical problems, the nondegeneracy of the symplectic form is only required up to homotopy, which yields problems in the direction of quantisation.
On the other hand the BV–BFV approach [19, 20] is especially successful since it allows for a quantisation procedure that is compatible with cutting and gluing. This has already been shown to work in various examples such as BF theory [20, 21], split Chern–Simons theory [22], 2D Yang–Mills theory [42] and AKSZ sigma models [23].
This approach was first testedFootnote 1 on General Relativity in [57]. For diffeomorphism invariant theories, the compatibility between bulk and boundary data becomes a nontrivial matter, and there are various cases where the regularity conditions necessary for the BV–BFV description fail to be met. Most notable are the examples of Palatini–Cartan gravity in (3+1) dimensions [27], Plebanski theory [57], the Nambu–Goto string [46], and the Jacobi action for reparametrisation-invariant classical mechanics [26]. On the other hand, the respectively classically equivalent Einstein–Hilbert formulation of gravity [25] in (3+1) dimensions and the Polyakov action [46] fulfil the BV–BFV axioms. The question of how one can go around these problems and construct a sensible BV–BFV theory for Palatini–Cartan gravity was addressed in [16, 17].
As not all field theories are suitable for a BV–BFV description, the lax approach to the BV–BFV formalism was proposed in [47], which gathers the data prior to the step where the regularity conditions become relevant. This setting already allows us to construct the BV–BFV complex [47], which is the adaptation of the BV complex to the case with boundary. Likewise, classical observables are contained in its cohomology. As such, the lax BV–BFV formalism offers a sensible way of comparing two field theories on manifolds with boundary, even if one does not have a strict BV–BFV theory.
In this paper, we provide an explicit method to lift classical equivalence to a (potential) BV equivalence, also in the presence of boundaries. This naturally introduces the notion of lax equivalence of BV theories on manifolds with boundary, which is in principle finer than BV equivalence. Our method is applied to the simple cases of classical mechanics on a curved background as well as to (nonabelian) Yang–Mills theory, where we explicitly show that the first- and second-order formalisms are lax BV–BFV equivalent (and hence BV-quasi-isomorphic).
We then turn our attention to the main objective of this paper: the analysis of the classically equivalent Jacobi theory and one-dimensional gravity coupled to matter (1D GR). These two models can be regarded as the one-dimensional counterparts of the Nambu–Goto and Polyakov string models respectively, and they both represent a reparametrisation-invariant version of classical mechanics. In [26], it was shown that while 1D GR satisfies the regularity conditions of the BV–BFV formalism, Jacobi theory produces a singular theory on the boundary, and a similar result was proven for their 2d string-theoretic analogues [46], which raises the question of the origin of this boundary discrepancy.
By comparing the BV and BV–BFV cohomologies of Jacobi theory and 1D GR, we find that, even though the two theories on manifolds with possibly nonempty boundary are lax-equivalent, and hence their associated BV (and lax BV–BFV) complexes are quasi-isomorphic, the chain maps that connect the two theories do not preserve the regularity condition required by the strictification procedure (Theorem 3.5.7).
In other words, quasi-isomorphisms of lax BV–BFV complexes do not preserve strict BV–BFV theories, which then should be taken as a genuine subclass of BV theories: Even in the best case scenario of two theories that are classically equivalent with quasi-isomorphic lax BV–BFV complexes, an obstruction to their strict BV–BFV compatibility distinguishes the two. Indeed, consider two lax equivalent theories (Definition 2.6.3—see, e.g. the case described in Theorem 3.5.6) such that one of the two models fails to be compatible with the strict BV–BFV axioms (cf. Remark 2.5.6). In this case, only one of the two admits a quantisation in the BV–BFV setting. Even if they both could ultimately admit a sensible quantisation, our result suggests anyway that they might have different quantisations in the presence of boundaries.
Another way of viewing our result is the following. Suppose we are given a lax BV–BFV theory that is not strict (Definition 2.5.5 and Remark 2.5.6). Can we find a quasi-isomorphic lax BV–BFV theory that is strictifiable? If so, we may think of the second theory as a good replacement for the first, suitable for quantisation with boundary.
We should stress that the enrichment of the BV complex by the de Rham complex of the source manifold (in the sense of local forms) has been the object of past research (see among all [3]). The lax BV–BFV complex we consider coincides with their Batalin–Vilkovisky–de Rham complex; however, our notion of lax equivalence is different (Definition 2.6.3), as it requires the existence of chain maps that are quasi-inverse to one another and compatibile with the whole lax BV–BFV structure.
Crucially, our approach diverges from other investigations of local field theory that only look at pre-symplectic data. The strictification step is precisely the pre-symplectic reduction of such data, and where the obstruction lies. We are not aware of a viable quantisation procedure for pre-symplectic structures.
This paper is structured as follows: Sect. 2 is dedicated to a review of local Lagrangian field theory (Sect. 2.1), which is followed by the BV formalism (Sect. 2.2) and the BV–BFV and lax BV–BFV formalisms (Sect. 2.4). We will showcase several notions of equivalence in classical field theory, starting from Lagrangian field theory in Sect. 2.1, while the discussion of equivalence in the BV and lax BV–BFV cases can be found in Sects. 2.3 and 2.6 respectively. Later in Sect. 3 we discuss our general procedure to prove lax equivalence between two theories (Sect. 3.1) and three examples of such equivalence, namely
-
first- and second-order formulations of classical mechanics on a curved background (Sect. 3.3);
-
first- and second-order formulations of (nonabelian) Yang–Mills theory (Sect. 3.4);
-
one-dimensional gravity coupled to matter and Jacobi theory (Sect. 3.5).
Results and outlook: We present our notion of BV equivalence (Definition 2.3.1) for theories over closed manifolds and lax equivalence (Definition 2.6.3) in the case of manifolds with higher strata, and show that the latter implies the former for the respective bulk (codimension-0 stratum) BV theories (Theorem 2.6.9).
We then show lax equivalence for the aforementioned examples, in the sense that their lax BV–BFV data can be interchanged in a way that preserves their cohomological structure. In particular, we show that the respective BV–BFV complexes are quasi-isomorphic
Most notably, this means that the boundary discrepancy present in the BV–BFV formulations of Jacobi theory and 1D GR found in [26] does not have a cohomological origin, and is rather to be interpreted as an obstruction in pre-quantisation.
We expect the procedure to be applicable to other relevant examples of BV–BFV obstructions such as the Nambu-Goto and Polyakov actions [46] and, for a more challenging one, Einstein–Hilbert and Palatini–Cartan gravity in (3+1) dimensions, whose extendibility as BV–BFV theories have been shown to differ in [25, 27].
This obstruction, which bars certain theories from being quantisable in the BV formalism with boundary without additional requirements on the fields, suggests that, even assuming that some quantum theory exists for both models, they might differ. Alternatively, it might suggest that among various classically and BV-equivalent models, there is a preferred choice for models which are BV–BFV compatible. Either way, these results call for additional investigations in this direction.
2 Field theories and equivalence
We start by presenting the field theoretical structures and objects used throughout this work, following [1, 30]. Subsequently, we review the BV formalism for closed manifoldsFootnote 2 [12,13,14] − see also [37, 40, 45] − and the BV–BFV formalism, its generalisation for manifolds with boundaries and corners [18, 19]. As some theories we consider are not compatible with the BV–BFV axioms, we revise the lax BV–BFV formalism [47], which not only lets us study these cases, but presents a better stage for our discussions in the presence of boundaries and corners.
Moreover, this section is used to develop our notion of equivalence of field theories at every step of the way, first showcasing how we want to compare two classical field theories in Definition 2.1.6 and adapting these considerations to the BV and lax BV–BFV formalisms in Definitions 2.3.1 and 2.6.3, respectively.
2.1 Lagrangian field theories
Let M be a manifold of any dimension. In order to build a classical field theory on M, we need a space of fields \({\mathcal {E}}\), a local functional S called the action functional and local observables. In most cases, we can achieve such a construction by considering a (possibly graded) fibre bundle \(E\rightarrow M\) over M and by defining the space of fields as its space of smooth sections \({\mathcal {E}} {:}{=}\Gamma (M,E)\) with coordinates \(\varphi ^i\). Local objects can then be regarded as a subcomplex of the de Rham bicomplex \(\Omega ^{\bullet ,\bullet }({\mathcal {E}}\times M)\), where “local” essentially means that these objects only depend on the first k derivatives of the fields \(\varphi ^i\) (or the kth jet). Let us make this notion precise:
Definition 2.1.1
( (Integrated) local forms [1]) Let \(E\rightarrow M\) be a (possibly graded) fibre bundle over M, \({\mathcal {E}} = \Gamma (M,E)\) its space of smooth sections, \(J^k (E)\) the kth jet bundle and \(\{j^k :{\mathcal {E}} \times M \rightarrow J^k(E)\}\) the evaluation maps. We consider \(j^\infty \) as the inverse limit of these maps and construct the infinite jet bundle \(J^\infty (E)\) as the inverse limit of the sequence
The bicomplex.Footnote 3 of local forms on \({\mathcal {E}}\times M\) is defined as
where \(\mathrm {d}_H\) and \(\mathrm {d}_V\) are the horizontal and vertical differentials on the variational complex for \(J^\infty (E)\), respectively. Let \(\alpha \in \Omega ^{\bullet ,\bullet }(J^\infty (E))\). The differentials \(\delta , \mathrm {d}\) are defined through
Elements of \(\Omega ^{0,\bullet }_{\text {loc}}({\mathcal {E}}\times M)\) will be called local functionals on \({\mathcal {E}}\times M\).
Whenever the manifold M is compact, one can define the complex of integrated local k forms \(\Omega ^\bullet _{\int }(\mathcal {E})\), as the image of \(\int _M :\Omega ^{k,\mathrm {top}}_{\mathrm {loc}}(\mathcal {E}\times M) \rightarrow \Omega ^k_{\int }(\mathcal {E})\) with the (variational) differentialFootnote 4\(\delta \).
Remark 2.1.2
(On various notions of local forms) Notice that, in some field theory literature (see, e.g. [30]), the term “local form” is often used to denote integrals over the manifold M of elements of \(\Omega ^{\bullet , \mathrm {top}}_{\mathrm {loc}}(\mathcal {E}\times M)\), which instead we call integrated local forms.
When M is not compact, integration comes with caveats. One can either consider compactly supported sections or adopt the point of view of [33], where the Lagrangian density is tested against a compactly supported function. Alternatively, one can forgo integration and consider the following quotient
In [1, Page 21], the elements of \(\Omega ^\bullet _{\mathrm {loc}}(\mathcal {E})\) are called variational forms when endowed with the induced vertical differentialFootnote 5\(\delta _V\).
Clearly, if M is closed, \((\Omega ^\bullet _{\int }(\mathcal {E}),\delta )\) is isomorphic (as a complex) to \((\Omega ^\bullet _{\mathrm {loc}}(\mathcal {E}),\delta _V)\). Indeed, let \(f,g \in \Omega ^{\bullet ,\mathrm {top}}_\text {loc}({\mathcal {E}}\times M)\) and define \(\mathscr {F} {:}{=}\int _M f\), \(\mathscr {G} {:}{=}\int _M g\), their respective integrals over M. Then \(\mathscr {F} =\mathscr {G}\) iff the difference \(f - g\) is \(\mathrm {d}\)-exact
where we used that M is closed in the last step. Hence, \(\Omega _{\mathrm {loc}}^\bullet (\mathcal {E})\) can be taken as a replacement of integrated local forms in the noncompact case (assuming there still is no boundary).
If M has a nonempty boundary \(\partial M \ne \emptyset \), these considerations no longer hold: Boundary terms become relevant. If, on the local densities side, we can work with \(\Omega ^{\bullet ,\bullet }_{\mathrm {loc}}({\mathcal {E}}\times M)\), we will see in Sect. 2.4 what the consequences of integrating over boundaries bring about in field theory.
In addition to the previous construction, we will extensively use the following type of vector field:
Definition 2.1.3
An evolutionary vector field [1] \(X\in \mathfrak {X}_{\text {evo}}({\mathcal {E}})\) on \({\mathcal {E}}\) is a vector field on \(J^\infty (E)\) which is vertical with respect to the projection \(J^\infty (E) \rightarrow M\), such that
where \(\mathcal {L}_X = [\iota _X,\delta ]\) is the variational Lie derivative on local forms on \({\mathcal {E}}\times M\).
We are now ready to define the notion of a classical field theory. We will assume for simplicity that M is compact, possibly with boundary:
Definition 2.1.4
A classical field theory on M is a pair \(({\mathcal {E}},S)\), consisting of a space of fields \({\mathcal {E}} = \Gamma (M,E)\)Footnote 6 and an action functional \(S \in \Omega ^{0}_{\int }({\mathcal {E}})\).
Since \(S=\int L\) for some local form L, applying the variational differential on \(\mathcal {E}\) to S is the same as applying \(\delta \), defined in Eq. 1b, to L and integrating. This yields two terms:
The term \(\text {EL}\) is an integrated local 1-form.Footnote 7 on \({\mathcal {E}}\), whose vanishing locus defines the Euler–Lagrange equations \(\text {EL} = 0\). The space where these are satisfied is called the critical locus, the zero locus \(\mathcal {EL}:=\mathrm {Loc}_0(\mathrm {EL}) \subset F\), and its elements are called classical solutions. The term \(\text {BT}\) is a boundary term (i.e. an integral over \(\partial M\), when not empty), which will be crucial for the construction of field theories on manifolds with boundary (cf. Sect. 2.5).
A further important aspect of field theories is the notion of (gauge) symmetries, which are transformations that leave the action functional S and the critical locus \(\mathcal {EL}\) invariant. Infinitesimally, they can be described as follows:
Definition 2.1.5
An infinitesimal local symmetry of a classical field theory \(({\mathcal {E}},S)\) is given by a distribution \(D \subseteq T\mathcal {E}\), such thatFootnote 8
Furthermore, we require D to be involutive on the critical locus \(\mathcal {EL}\), i.e. if \(X,Y \in \Gamma ({\mathcal {E}},D)\), then \([X,Y]\big \vert _\mathcal {EL} \in \Gamma ({\mathcal {E}},D \vert _\mathcal {EL})\).
Whenever local symmetries are present, the space of interest is not \(\mathcal {EL}\) but rather the space of inequivalent configurations \(\mathcal {EL}/D\),Footnote 9 i.e. the space of orbits of D on the critical locus \(\mathcal {EL}\). Classical observables are then suitable functions over \(\mathcal {EL}/D\), whose space we denote by \(C^\infty (\mathcal {EL}/D)\). Note that, as a quotient, \(\mathcal {EL}/D\) is often singular and defining \(C^\infty (\mathcal {EL}/D)\) is a nontrivial task. One way of handling this is to build a resolution of \(C^\infty (\mathcal {EL}/D)\), by means of the Koszul–Tate–Chevalley–Eilenberg complex, also known as the BV complex (see Definition 2.2.4).
We are interested in analysing to what extent two field theories are equivalent. Starting the discussion of equivalence in the setting of classical Lagrangian field theory, we consider the
Definition 2.1.6
Let \(({\mathcal {E}}_{i}, S_i)\), \(i\in \{1,2\}\), be two classical field theories with symmetry distributions \(D_i\). We say that \(({\mathcal {E}}_{i}, S_i)\) are classically equivalent if
Remark 2.1.7
If two theories are classically equivalent, we have \(\mathcal {EL}_1/D_1 \simeq \mathcal {EL}_2/D_2\). If we have a model for the respective spaces of classical observables, they are isomorphic:
This notion will be central in our discussion, and we will provide a refinement of it within the BV formalism, with and without boundary.
Remark 2.1.8
In certain cases, we can find \(C_1\subset {\mathcal {E}}_1\), defined as the set of solutions of some of the equations of motion \(\text {EL}_1 = 0\). Then, if we can find an isomorphism \(\phi _{cl}: C_1 \rightarrow {\mathcal {E}}_2\) such that
the theories are classically equivalent. This is a simple example of the situation in which two theories are classically equivalent because they differ only by auxiliary fields (see, e.g. [3]).
2.2 Batalin–Vilkovisky formalism
The BV formalism is a cohomological approach to field theory, that allows one to characterise the space of inequivalent field configurations by means of the cohomology of an appropriate cochain complex. It turns out that it also provides a natural notion of equivalence of field theories, that also takes into account “observables” of the theory.
In this setting, a classical field theory is described through the following data:
Definition 2.2.1
A BV theory is the assignment of a quadruple \(\mathfrak {F} = (\mathcal {F},\omega ,\mathcal {S},Q)\) to a closed manifold M where
-
\({\mathcal {F}= \Gamma (M,F)}\) is the space of smooth sections of a \(\mathbb {Z}\)-graded bundleFootnote 10\({F\rightarrow M}\) (the BV space of fields),
-
\(\omega \in \Omega ^2_\mathrm {{\int }}(\mathcal {F})\) is an integrated, local, symplectic form on \(\mathcal {F}\) of degree \(-1\) (the BV form),
-
\(\mathcal {S}\in \Omega ^0_\mathrm {{\int }}(\mathcal {F})\) is an integrated, local, functional on \(\mathcal {F}\) of degree 0 (the BV action functional),
-
\(Q \in \mathfrak {X}_\mathrm {evo}(\mathcal {F})\) is a cohomological, evolutionary, vector field of degree 1, i.e. \([Q,Q] = 2Q^2 = 0\), and \([\mathcal {L}_Q,\mathrm {d}] = 0\),
such that
The internal degree of \(\mathcal {F}\) is called the ghost number and will be denoted by \(\text {gh}(\cdot )\).
Remark 2.2.2
In principle, we only need to consider either \(\mathcal {S}\) or Q, as they are related to one another through Eq. (2), apart from the ambiguity of an additive constant in \(\mathcal {S}\). We will nonetheless regard them as separate data for later convenience, as we will see that introducing a boundary spoils Eq. (2).
As Q is cohomological, its Lie derivative \(\mathcal {L}_{Q}\) is a differential on \(\Omega ^{\bullet }_{\text {loc}}(\mathcal {F})\), since \(\mathrm {gh}(\mathcal {L}_Q) = 1\) and \(2 \mathcal {L}_Q^2 = [\mathcal {L}_Q,\mathcal {L}_Q] = \mathcal {L}_{[Q,Q]} = 0\). In this context, \(\mathcal {L}_Q\)-cocycles are interpreted as (gauge-)invariant local forms.
Remark 2.2.3
It is easy to gather that both \(\omega \) and \(\mathcal {S}\) are \(\mathcal {L}_Q\)-cocycles by applying \(\delta \) and \(\iota _Q\) to Eq. (2), respectively. We have
where \((\cdot ,\cdot )\) is the Poisson bracket induced by \(\omega \). Eq. (3b) is known as the Classical Master Eqns [14, 58], and encodes the property that \(\mathcal {S}\) is gauge invariant. In particular, Eq. (3) mean that we have the freedom to perform the transformations \(\omega \mapsto \omega + \mathcal {L}_Q(\dots )\) and \(\mathcal {S}\mapsto \mathcal {S}+ \mathcal {L}_Q(\dots )\), as long they preserve Eq. (2).
Definition 2.2.4
We define the BV complex of a given BV theory \(\mathfrak {F}\) as the space of integrated local forms on \(\mathcal {F}\) endowed with the differential \(\mathcal {L}_Q\)
where the grading on \(\mathfrak {BV}^{\bullet }\) is given by the ghost number. Its cohomology will be denoted by \(H^\bullet (\mathfrak {BV}^\bullet )\) and called the BV cohomology.
While the BV complex \(\mathfrak {BV}^\bullet \) consists of inhomogeneous local forms (inhomogeneous also in ghost number), its 0-form partFootnote 11\(\mathfrak {BV}^{\bullet }_0 \subset \mathfrak {BV}^\bullet \) is of interest as it is a resolution of D-invariant functionals on \(\mathcal {EL}\) or, when the quotient is nonsingular, functionals on \(\mathcal {EL}/D\) in the sense that the BV cohomology is given byFootnote 12 [33, 40, 62]
Example 2.2.5
(Lie algebra case [14], see also [40, 45]) In this paper, we will only consider examples which enjoy symmetries that come from a Lie algebra action. Let \(({\mathcal {E}},S)\) be a classical field theory over a closed manifold M with a symmetry on \({\mathcal {E}}\) given by the action of a Lie algebra \((\mathfrak {g},[\cdot ,\cdot ])\). We can build a BV theory as follows: Choose the space of fields to be
with local coordinates \(\Phi ^i = (\varphi ^j,\xi ^a)\) on the base \({\mathcal {E}} \times \Omega ^0(M,\mathfrak {g})[1]\) and \(\Phi ^\dagger _i = (\varphi ^\dagger _j,\xi ^\dagger _a)\) on the fibres. Usually, one calls \(\varphi ^j\) the fields, \(\xi ^a\) the ghostsFootnote 13 and \(\Phi ^\dagger _i\) the antifields. Note that the ghost numbers are related by \(\mathrm {gh}(\Phi ^i) + \mathrm {gh}(\Phi ^\dagger _i) = - 1\) due to the -1 shift on the fibres. We take the BV form to be the canonical symplectic form on \(\mathcal {F}\)
where \(\langle \cdot ,\cdot \rangle \) is a bilinear map with values in \(\Omega ^{\bullet ,\mathrm {top}}_\mathrm {loc}(M)\). In the case of a Lie algebra action, the cohomological vector field Q decomposes into the Chevalley–Eilenberg differential \(\gamma \) and the Koszul–Tate differential \(\delta _{KT}\)
The action of \(\gamma \) is defined on the fields and ghosts as
where \(v^i_a\) are the fundamental vector fields of \(\mathfrak {g}\) on F. In turn, \(\delta _{KT}\) acts as
The BV action functional can then be constructed as an extension of the classical action functional
and \(Q(\cdot ) = (\mathcal {S},\cdot )\) can be used to compute the full form of \(Q\Phi ^\dagger _i\). The data \((\mathcal {F}, \omega , \mathcal {S}, Q)\) form a BV theory.
2.3 Equivalence in the BV setting
We now have all the necessary tools to develop a notion of equivalence in the BV formalism. We are interested in comparing the BV data and cohomology \(H^\bullet (\mathfrak {BV}^\bullet _i)\) of two BV theories \(\mathfrak {F}_i\), \(i \in \{1,2\}\). We recall that a quasi-isomorphism is a chain map between chain complexes which induces an isomorphism in cohomology. In this spirit, we define:
Definition 2.3.1
Two BV theories \(\mathfrak {F}_1\) and \(\mathfrak {F}_2\) are BV-equivalent if there is a (degree-preserving) map \(\phi :\mathcal {F}_2 \rightarrow \mathcal {F}_1\) that induces a quasi-isomorphism \(\phi ^*:\mathfrak {BV}^\bullet _1 \rightarrow \mathfrak {BV}^\bullet _2\) of BV complexes, such that \(\phi ^*\) preserves the cohomological classes of the BV form and BV action functional as
A BV equivalence is called strong iff \(\phi \) is a symplectomorphism that preserves the BV action functionals.
Remark 2.3.2
If \(\mathfrak {F}_1\), \(\mathfrak {F}_2\) are BV-equivalent, we can find a morphism \(\psi : \mathcal {F}_1 \rightarrow \mathcal {F}_2\), such that its pullback map \(\psi ^*\) is the quasi-inverse of \(\phi ^*\). In particular, the composition maps
are the identity in the respective BV cohomologies \(H^\bullet (\mathfrak {BV}^\bullet _1)\), \(H^\bullet (\mathfrak {BV}^\bullet _2)\). This is equivalent to the existence of two maps \(h_\chi :\mathfrak {BV}^\bullet _{1} \rightarrow \mathfrak {BV}^\bullet _{1}\), \(h_\lambda :\mathfrak {BV}^\bullet _{2} \rightarrow \mathfrak {BV}^\bullet _{2}\) of ghost number \(-1\) such that [64]
Furthermore, note that applying \(\psi ^*\) to Eq. (5) yields
Let us now explore some direct implications of Definition 2.3.1, in particular that the transformation of \(\omega _i\) and \(\mathcal {S}_i\) are not independent:
Proposition 2.3.3
with \(\rho _i \in \Omega ^2_{{\int }}(\mathcal {F}_i)\), \(\sigma _i \in \Omega ^0_{{\int }}(\mathcal {F}_i)\). Then
Moreover, Eq. (7) is satisfied if
with \(\mu _i \in \Omega ^1_{{\int }}(\mathcal {F}_i)\).
Proof
Applying \(\phi ^*\) to \(\iota _{Q_1} \omega _1 = \delta \mathcal {S}_1\) yields
and analogously \(\mathcal {L}_{Q_1}(\iota _{Q_1}\rho _1 + \delta \sigma _1) = 0\).
The simplified condition (8) implies Eq. (7) since
where we used \(\mathcal {L}_{Q_i} = [\iota _{Q_i},\delta ]\). \(\square \)
Remark 2.3.4
Let \(\mathfrak {F}_1\) and \(\mathfrak {F}_2\) be BV-equivalent theories as per Definition 2.3.1, and let \(\chi ^*: \mathfrak {BV}^\bullet _1 \rightarrow \mathfrak {BV}^\bullet _1\) and \(\lambda ^*: \mathfrak {BV}^\bullet _2 \rightarrow \mathfrak {BV}^\bullet _2\) be the chain maps defined in Remark 2.3.2. Then, the theories \(\mathfrak {F}_1\) and \(\chi ^*\mathfrak {F}_1 {:}{=}(\mathcal {F}_1, \chi ^*\omega _1, \chi ^*\mathcal {S}_1, Q_1)\) are clearly BV-equivalent, and so are \(\mathfrak {F}_2\) and \(\lambda ^*\mathfrak {F}_2\).
Remark 2.3.5
In the literature, there exists another notion of equivalence of BV theories, based on what is usually called elimination of (generalised) auxiliary fields or reduction of contractible pairs (see, e.g. [3, 41] and [5] for a review). When two theories differ by auxiliary fields content, they have the same BV cohomology. In Sect. 3.2, we show how the presence of auxiliary fields leads to the process of elimination of cohomologically contractible pairs by explicitly constructing chain maps that are quasi-inverse to one another and homotopic to the identity. Hence, theories that differ by auxiliary fields/contractible pairs are BV-equivalent in the sense of Definition 2.3.1.
2.4 Field theories on manifolds with higher strata
The BV formalism can be extended to the case where the underlying manifold M has a nonempty boundary \(\partial M \ne \emptyset \), as presented in [19]. This construction relies on the BFV formalism introduced in [4]; see also [55, 56, 61].
Definition 2.4.1
An exact BFV theory over a manifold \(\Sigma \) is a quadruple \(\mathfrak {F}^\partial = (\mathcal {F}^\partial ,\omega ^\partial ,\mathcal {S}^\partial ,Q^\partial )\) where
-
\({\mathcal {F}^\partial = \Gamma (\Sigma ,F^\partial )}\) is the space of smooth sections of a \(\mathbb {Z}\)-graded fibre bundle \({F^\partial \rightarrow M^\partial }\),
-
\(\omega ^\partial = \delta \alpha ^\partial \in \Omega ^2_{{\int }}(\mathcal {F}^\partial )\) is an exact, integrated, local, symplectic form on \(\mathcal {F}^\partial \) of degree 0,
-
\(\mathcal {S}^\partial \in \Omega ^0_{{\int }}(\mathcal {F}^\partial )\) is a degree 1, integrated, local, functional on \(\mathcal {F}^\partial \),
-
\(Q^\partial \in \mathfrak {X}_\mathrm {evo}(\mathcal {F}^\partial )\) is a degree 1, cohomological, evolutionary, vector field, i.e. \([Q^\partial ,Q^\partial ] = 0\), and \([\mathcal {L}_{Q^\partial },\mathrm {d}] = 0\)
such that \(Q^\partial \) is the Hamiltonian vector field of \(\mathcal {S}^\partial \)
We call \(\omega ^\partial ,S^\partial \) the boundary form and boundary action functional, respectively.
Definition 2.4.2
A BV–BFV theory over a manifold M with boundary \(\partial M\) is given by the data
where \((\mathcal {F}^\partial , \omega ^\partial , \mathcal {S}^\partial ,Q^\partial )\) is an exact BFV theory over \(\Sigma =\partial M\) and \(\pi : \mathcal {F}\rightarrow \mathcal {F}^\partial \) is a surjective submersion such that
and \(Q \circ \pi ^* = \pi ^* \circ Q^\partial \).
Remark 2.4.3
Equation (9) implies that in general \(\omega \) and \(\mathcal {S}\) are no longer \(\mathcal {L}_Q\)-cocycles in the presence of a boundary. Instead, we have [19]
Note that the failure of the structural BV forms to be \(\mathcal {L}_Q\)-cocycles is controlled by (boundary) BFV forms. In particular, Eq. (10b) means that \(\mathcal {S}\) fails to be gauge invariant, and the right-hand side can be related to Noether’s generalised charges [53]. Furthermore, the CME no longer holds. Instead, we have the modified Classical Master Equation [19]
2.5 Inducing boundary BFV from bulk BV data
It is important to emphasise how one can try to construct a boundary theory \(\mathfrak {F}^\partial \) from a BV theory \(\mathfrak {F}\), since there might be obstructions. The problem we want to address is that of inducing an exact BFV theory on the boundary \(\partial M\), starting from the BV data assigned to the bulk manifold M.
Define \({\check{\alpha }} \) as:
By restricting the fields of \(\mathcal {F}\) (and their normal jets) to the boundary \(\partial M\), we can define the space of pre-boundary fields \({\check{\mathcal {F}}}^\partial \) and endow it with a pre-boundary 2-form \({\check{\omega }} = \delta {\check{\alpha }}\). Usually \({\check{\omega }}\) turns out to be degenerate. In order to define a symplectic space of boundary fields, one then has to perform symplectic reduction, see, e.g. [60]. Let \(\ker {\check{\omega }} = \{X \in \mathfrak {X}(\mathcal {{\check{F}}^\partial }) \left| \iota _X {\check{\omega }} = 0 \right. \}\) and set
Since we are taking a quotient, nothing guarantees that \(\mathcal {F}^\partial \) is smooth, but we want to assume that this is the case. However, a necessary condition for smoothness is that \(\ker {\check{\omega }}\) has locally constant dimension, i.e. it is a subbundle of \(T{\check{\mathcal {F}}}^\partial \). As we will see, this condition is not always satisfied, namely that there is a unique symplectic form \(\omega ^\partial \) such that \(\pi ^*\omega ^\partial = {\check{\omega }}\), and a unique cohomological vector field \(Q^\partial \) such that \(Q \circ \pi ^* = \pi ^* \circ Q^\partial \). We assume (although this may not be true in general) that there is a 1-form \(\alpha ^\partial \) such that \(\pi ^*\alpha ^\partial ={\check{\alpha }}\). Note that, in this case, \(\alpha ^\partial \) is unique and \(\omega ^\partial =\delta \alpha ^\partial \). See [18] for details. However, for \(\mathcal {F}^\partial \) smooth, we have the surjective submersion \(\pi :\mathcal {F}\rightarrow \mathcal {F}^\partial \).
Consider now
Definition 2.5.1
The graded Euler vector field \(E \in \mathfrak {X}_{\text {evo}}(\mathcal {F})\) is defined as the degree 0 vector field which acts on local forms of homogeneous ghost number as
Similarly, we have \(E^\partial = \pi _* E \in \mathfrak {X}_{\text {evo}}(\mathcal {F}^\partial )\) on the boundary.
The cohomological vector field \(Q^\partial \) is actually Hamiltonian and the corresponding boundary action functional can be computed as [52]
The data \(\mathfrak {F}^\partial = (\mathcal {F}^\partial , \omega ^\partial , \mathcal {S}^\partial , Q^\partial )\) define an exact BFV manifold over the boundary \(\partial M\). For completeness, we also define the pre-boundary action functional \({\check{S}} {:}{=}\pi ^*S^\partial \). Pulling back Eq. (13) via \(\pi ^*\) yields
Note that by taking Eqs. (11) and (14), we ensure that the data \(({\check{\alpha }}, {\check{S}})\) can always be defined, even if the quotient in Eq. (12) does not yield a smooth structure.
Remark 2.5.2
The procedure we just presented can be repeated in case that the manifold M not only has a boundary but also corners (higher strata), as presented in [19, 47]. If this is possible up to codimension n, then we call the theory a n-extended (exact) BV–BFV theory.
Remark 2.5.3
The quantisation programme introduced in [20] relies on the BV–BFV structure of a given classical theory. As such, even if two theories are classically equivalent, only one might turn out to have a BV–BFV structure and so be suitable for quantisation, as we now explore in the example of the Jacobi theory and 1D GR.
Remark 2.4.3 and Sect. 2.5 discuss two potential roadblocks for our construction of equivalence in the presence of boundaries and corners (and more generally codimension-k strata). First, to extend the notion of equivalence discussed in Sect. 2.3 to the case with higher strata, we wish to capture the possibility of local forms being \(\mathcal {L}_Q\)-cocycles up to boundary terms, as is the case with \(\omega \) and \(\mathcal {S}\). This is the problem of descent, where we enrich the differential \(\mathcal {L}_Q\) by the de Rham differential on M. The second big problem one encounters is that not all BV theories satisfy the regularity requirement necessary to induce compatible BV–BFV data. In order to describe such theories as well, we will relax our definitions.
In order to do this, we turn to a “lax” version of the BV–BFV formalism [47]. We will work with local forms on \(\mathcal {F} \times M\) with inhomogeneous form degree on M, namely \(\kappa ^\bullet \in \Omega ^{p,\bullet }_\mathrm {loc}(\mathcal {F} \times M)\), and use the codimension to enumerate them, as it makes the notation less cumbersome and more intuitive, i.e. \(\kappa ^{k}\) denotes the \((\mathrm {top} - k)\)-form part of
where \(\kappa ^k \in \Omega ^{p,(\mathrm {top} - k)}_\mathrm {loc}(\mathcal {F} \times M)\).
Remark 2.5.4
What we call “lax” BV–BFV formalism is a rewriting of known approaches to local field theory in the BV/BRST formalism such as [2, 3, 9, 38, 59]. We use the term “lax” to contrast it with the “strict” version given by the BV–BFV formalism proper.
This should be compared to the standard BV–BFV formalism (extended to codimension k [19]), which instead looks at \(\Omega ^{\bullet }_{\mathrm {loc}}(\mathcal {F}^{(k)})\) with \(\mathcal {F}^{(k)}\) an appropriate space of codimension-k fields. In other words, we describe the BV–BFV picture presented above in terms of densities instead of integrals (cf. Remark 2.1.2), and forfeiting the symplectic structure at codimension k. This setting allows us to phrase equivalence with higher strata in a cohomological way, and it collects all the relevant data before performing the quotient in Eq. (12), thus temporarily avoiding potential complications.Footnote 14
The definitions that we work with rely on the lax degreeFootnote 15\(\#(\cdot )\), which describes the interplay between the co-form degree on M and the ghost number. Let \(\text {fd}_M(\cdot )\) denote the form degree on M. The lax degree is defined as the difference of the ghost number \(\text {gh}(\cdot )\) and the co-form degree \(\text {cfd}_M(\cdot ) {:}{=}\dim M - \text {fd}_M(\cdot )\)
In particular, if an inhomoegeneous local form has vanishing lax degree, then the codimension of its homogeneous components corresponds to their respective ghost number. Most notably, this will be the case for the Lagrangian density. We will use the total degree for computations, which for elements in \(\Omega ^{\bullet ,\bullet }_{\mathrm {loc}}({\mathcal {E}}\times M)\) is given by \(|\cdot | = \text {gh}(\cdot ) + \text {fd}_M(\cdot ) + \text {fd}_{\mathcal {F}}(\cdot )\), where \(\text {fd}_{\mathcal {F}}(\cdot )\) is the form degree on \(\mathcal {F}\).
Definition 2.5.5
(Lax BV–BFV theory) A lax BV–BFV theory over a manifold M is a quadruple \(\mathfrak {F}^\text {lax} = (\mathcal {F}^\mathrm {lax},\theta ^\bullet ,L^\bullet ,Q)\) where
-
\(\mathcal {F}^\mathrm {lax} = \Gamma (M,F)\) for some \(\mathbb {Z}\)-graded fibre bundle \(F\rightarrow M\),
-
\(\theta ^\bullet \in \Omega ^{1,\bullet }_{\text {loc}}(\mathcal {F}^\mathrm {lax} \times M)\) is a local form with lax degree -1,
-
\(L^\bullet \in \Omega ^{0,\bullet }_{\text {loc}}(\mathcal {F}^\mathrm {lax} \times M)\) is a local functional with lax degree 0,
-
\(Q \in \mathfrak {X}_{\text {evo}}(\mathcal {F}^\mathrm {lax})\) is an evolutionary, cohomological vector field on \(\mathcal {F}^\mathrm {lax}\) of degree 1, i.e. \([\mathcal {L}_Q,\mathrm {d}] = [Q,Q] = 0\),
such that
where \(\varpi ^\bullet {:}{=}\delta \theta ^\bullet \).
Remark 2.5.6
(Strictification of lax data)
Let \(M^\circ \) be the interior (bulk) of M.
-
(1)
If \(M = M^\circ \) is a closed manifold, then we can assign a BV theory \(\mathfrak {F}\) to \(M^\circ \) from a lax BV–BFV theory \(\mathfrak {F}^\mathrm {lax}\) by choosingFootnote 16
$$\begin{aligned} \mathcal {F}&= \mathcal {F}^\mathrm {lax}\vert _{M^\circ },\quad \omega = \int _{M^\circ } \varpi ^0,\quad \mathcal {S}= \int _{M^\circ } L^0 \end{aligned}$$and restricting Q to \(\mathcal {F}\).
-
(2)
Similarly, if M is a compact manifold with boundary, the pre-BFV data on \(\partial M\) may be induced by setting
$$\begin{aligned}&{\check{\mathcal {F}}}^\partial = \mathcal {F}^\mathrm {lax}\vert _{M^\partial },\quad {\check{\alpha }} = \int _{M^\partial } \theta ^1,\quad {\check{\mathcal {S}}} = \int _{M^\partial } L^1, \end{aligned}$$and restricting Q to \(\check{\mathcal {F}}^\partial \). When pre-symplectic reduction w.r.t. \({\check{\omega }} = \delta {\check{\alpha }} = \int _{M^\partial } \varpi ^1\) is possible [19], we can define the space of boundary fields \(\mathcal {F}^\partial :={\check{\mathcal {F}}}^\partial /\mathrm {ker}({\check{\omega }}^\sharp )\). Together with the bulk data presented above, this produces a BV–BFV theory.
The procedure is analogous for higher codimensions: If \(M^{(k)}\) denotes the kth-codimension stratum, we can induce a Hamiltonian dg manifold of fields in codimension k by performing pre-symplectic reduction of
Notice that pre-symplectic reduction might fail to be smooth, resulting in an obstruction to strictification. When there are no obstructions to the pre-symplectic reduction, this procedure yields an n-extended BV–BFV theory (cf. Remark 2.5.2), and we have an n-strictification of a lax BV–BFV theory. (For more details we refer to [47].) It is crucial to observe that this step can fail [26, 27, 46].
Unlike the latter, a lax BV–BFV theory does not require working with symplectic structures at higher codimensions \(\ge 1\). This means that lax data allow us to extract some information about the higher codimension behaviour of the field theory but, as we will see, the fact that a theory is strictifiable at a given codimension yields a refinement of the notion of BV equivalence.
Remark 2.5.7
At codimension \(\ge 1\), it is sufficient to know \(\theta ^\bullet \) in order to compute \(L^\bullet \). Applying \(\iota _E\) to Eq. (15a) yields
which implies
We can then compute \(L^k\) at codimension \(k \ge 1\) by using \(\text {gh}(L^k) = \text {cfd}_M(L^k) = k\):
Lemma 2.5.8
([19, 47]) The following equations hold for a lax BV–BFV theory:
Remark 2.5.9
Equations (2.5.8) are the density versions of Eq. (10). Comparing the two versions, we see that boundary terms are now encoded as \(\mathrm {d}\)-exact terms, instead of objects in the image of \(\pi ^*\). Note that \(\varpi ^\bullet \) is a cocycle of the differential \((\mathcal {L}_Q - \mathrm {d})\) and that \(L^\bullet \) is so whenever \(L^\bullet - \iota _Q \theta ^\bullet = 0\).
In the lax BV–BFV formalism, the relevant differential will no longer be \(\mathcal {L}_Q\), as we want to take the boundary configurations into account. Instead, we want to consider a cochain complex of local forms on \(\mathcal {F}^\mathrm {lax} \times M\) with differential \(\mathcal {L}_Q - \mathrm {d}\), which describes the interplay between gauge invariance and boundary terms:
Definition 2.5.10
([3, 47]) The BV–BFV complex of a lax BV–BFV theory \(\mathfrak {F}^{\text {lax}}\) is defined as the space of inhomogeneous local forms on \(\mathcal {F}^\mathrm {lax} \times M\) endowed with the differential \((\mathcal {L}_Q - \mathrm {d})\)
where the grading of \((\mathfrak {BV}\text {-}\mathfrak {BFV})^\bullet \) is given by the lax degree. We will denote its cohomology by \(H^\bullet ((\mathfrak {BV}\text {-}\mathfrak {BFV})^\bullet )\) and call it the BV–BFV cohomology.
Remark 2.5.11
The cocycle conditions for an inhomogenoeous local form \(\mathcal {O}^\bullet \in \Omega ^{p,\bullet }_\mathrm {loc}(\mathcal {F}^\mathrm {lax} \times M)\) are often called the descent equations [47, 48, 65, 66]
i.e. \(\mathcal {L}_Q \mathcal {O}^k = \mathrm {d}\mathcal {O}^{k+1}\) with homogeneous components \(\mathcal {O}^k\). Such equations are of interest since their solutions produce classical observables, i.e. local functionals (i.e. \(p=0\)) which belong to \(H^0(\mathfrak {BV}^\bullet )\). Let \(\gamma ^k\) denote a \((\dim M - k)\)-dimensional closed submanifold of M. We can then construct a classical observable by integrating \(\mathcal {O}^k\) over \(\gamma ^k\) since
As such, comparing the BV–BFV cohomologies of two lax theories offers a natural way of comparing their spaces of classical observables.
2.6 Equivalence in the lax setting
Before adapting our notion of equivalence to the case when a boundary and corners are present, let us define f-transformations, which encode the facts that eventually (i) we are interested in the 2-forms \(\varpi ^\bullet \) (and not in their potentials \(\theta ^\bullet \)) and (ii) Lagrangian densities will be integrated (so total derivatives become irrelevant). The two issues are actually related.
Definition 2.6.1
Let \(f \in \Omega ^{0,\bullet }_\mathrm {loc}(\mathcal {F}^{\mathrm {lax}} \times M)\) be a local functional with \(\#(f) = -1\). An f-transformation of a lax BV–BFV theory \(\mathfrak {F}^\mathrm {lax}\) changes \((\theta ^\bullet ,L^\bullet )\) as
Remark 2.6.2
Note that an f-transformation preserves Eq. (15) since \(\varpi ^\bullet = \delta \theta ^\bullet \) and \(\mathrm {d}L^\bullet \) are unchanged, as is the term \(\delta L^\bullet + \mathrm {d}\theta ^\bullet \)
where we used \([\delta ,\mathrm {d}]=0\). Hence, we will also allow this kind of freedom in our definition of equivalence.
In the following, we will denote the vertical differentials on \(\mathcal {F}^\mathrm {lax}_i\) by \(\delta \) and the horizontal (de Rham) differentials on \(M_i\) by \(\mathrm {d}\).
Definition 2.6.3
(Lax equivalence) We say that two lax theories \(\mathfrak {F}^\mathrm {lax}_1\) and \(\mathfrak {F}^\mathrm {lax}_2\) are lax-equivalent if there are two morphisms of graded manifolds \(\phi :\mathcal {F}_2 \rightarrow \mathcal {F}_1\) and \(\psi :\mathcal {F}_1 \rightarrow \mathcal {F}_2\), which induce quasi-isomorphisms \(\phi ^*:\mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _1 \rightarrow \mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _2\), \(\psi ^*:\mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _2 \rightarrow \mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _1\) between the BV–BFV complexes, such that \(\phi ^*\) and \(\psi ^*\) are quasi-inverse to each other and transform \((\theta ^\bullet _i, L^\bullet _i)\) as
with \(\beta ^\bullet _i \in \Omega ^{1,\bullet }_\mathrm {loc}(\mathcal {F}^\mathrm {lax}_i\times M_i)\), \(\# (\beta ^\bullet _i) = -2\), \(\zeta ^\bullet _i \in \Omega ^{0,\bullet }_\mathrm {loc}(\mathcal {F}^\mathrm {lax}_i \times M_i)\), \(\# (\zeta ^\bullet _i) = -1\) and \(f^\bullet _i \in \Omega ^{0,\bullet }_\mathrm {loc}(\mathcal {F}^\mathrm {lax}_i\times M_i)\), \(\# (f^\bullet _i) = -1\).
Remark 2.6.4
Similarly to the bulk case, in order to show that the composition maps
are the identity when restricted to the respective cohomologies, one needs to find two maps \(h_\chi :\mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _{1} \rightarrow \mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _{1}\), \(h_\lambda :\mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _{2} \rightarrow \mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _{2}\) of lax degree \(-1\) such that
Proposition 2.6.5
If \(\text {gh}(\phi ) = \text {gh}(\psi ) = 0\),Footnote 17 then the transformation of \(L^\bullet _i\) is not independent from the transformation of \(\theta ^\bullet _i\):
-
(1)
\(\zeta ^k_i = \iota _{Q_i} \beta ^k_i\) at codimension \(k \ge 1\),
-
(2)
\(\mathcal {L}_{Q_i} (\iota _Q \beta ^0_i - \zeta ^0_i) = 0\).
Proof
-
(1)
As \(\text {gh}(\phi ) = 0\), \(\phi ^*\) commutes with the Euler vector fields \(\mathcal {L}_{E_i}\): \(\mathcal {L}_{E_2} \phi ^* = \phi ^* \mathcal {L}_{E_1}\). Applying \(\phi ^*\) to Eq. (16) then yields
$$\begin{aligned} \mathcal {L}_{E_2} \phi ^* L^\bullet _1&= \iota _{E_2} \left( \iota _{Q_2} \delta - \mathrm {d}\right) \phi ^* \theta ^\bullet _1\\&= \iota _{E_2} \left( \iota _{Q_2} \delta - \mathrm {d}\right) \theta ^\bullet _2 + \iota _{E_2} \left( \iota _{Q_2} \delta - \mathrm {d}\right) (\mathcal {L}_{Q_2} - \mathrm {d}) \beta ^\bullet _2 + \iota _{E_2} \left( \iota _{Q_2} \delta - \mathrm {d}\right) \delta f^\bullet _2. \end{aligned}$$The first term is simply \(\mathcal {L}_{E_2} L^\bullet _2\). For the second term, we compute
$$\begin{aligned} \iota _{E_2} \left( \iota _{Q_2} \delta - \mathrm {d}\right) (\mathcal {L}_{Q} - \mathrm {d}) \beta ^\bullet _2&= \iota _{E_2} \left( \delta \iota _{Q_2} + \mathcal {L}_{Q_2} - \mathrm {d}\right) (\mathcal {L}_{Q_2} - \mathrm {d}) \beta ^\bullet _2\\&= \iota _{E_2} \delta \iota _{Q_2} (\mathcal {L}_{Q_2} - \mathrm {d}) \beta ^\bullet _2 = (\mathcal {L}_{E_2} - \delta \iota _{E_2}) \iota _{Q_2} (\mathcal {L}_{Q_2} - \mathrm {d}) \beta ^\bullet _2\\&= \mathcal {L}_{E_2} (\mathcal {L}_{Q_2} - \mathrm {d}) \iota _{Q_2} \beta ^\bullet _2, \end{aligned}$$where we used that \((\mathcal {L}_{Q_2} - \mathrm {d}) \beta ^\bullet _2 \in \Omega ^{1,\bullet }(\mathcal {F}^\mathrm {lax}\times M)\) implies \(\iota _{E_2} \iota _{Q_2} (\mathcal {L}_{Q_2} - \mathrm {d}) \beta ^\bullet _2 = 0\). The third term reads
$$\begin{aligned} \iota _{E_2} \left( \iota _{Q_2} \delta - \mathrm {d}\right) \delta f^\bullet _2 = - \iota _{E_2} \mathrm {d}\delta f^\bullet _2 = \mathrm {d}\iota _{E_2} \delta f^\bullet _2 = \mathrm {d}\mathcal {L}_{E_2} f^\bullet _2 = \mathcal {L}_{E_2} \mathrm {d}f^\bullet _2, \end{aligned}$$hence
$$\begin{aligned} \mathcal {L}_{E_2} \phi ^* L^\bullet _1 = \mathcal {L}_{E_2} (L^\bullet _2 + (\mathcal {L}_{Q_2} - \mathrm {d}) \iota _{Q_2} \beta ^\bullet _2 + \mathrm {d}f^\bullet _2). \end{aligned}$$By counting degrees, we see that both sides have ghost number k at codimension k, and therefore for \(k\ge 1\), one can use this equation to determine \(\phi ^*L^k_1\), in particular we have \(\zeta ^k_i = \iota _{Q_i} \beta ^k_i\).
-
(2)
Applying \(\phi ^*\) to \(\iota _{Q_1} \varpi ^\bullet _1 = \delta L^\bullet _1 + \mathrm {d}\theta ^\bullet _1\) yields
$$\begin{aligned}&\iota _{Q_2} \delta (\mathcal {L}_{Q_2} - \mathrm {d}) \beta ^\bullet _2 = \delta (\mathcal {L}_{Q_2} - \mathrm {d}) \zeta ^\bullet _2 + \mathrm {d}(\mathcal {L}_{Q_2} - \mathrm {d}) \beta ^\bullet _2\nonumber \\ \Rightarrow \quad&(\mathcal {L}_{Q_2} - \mathrm {d}) \iota _{Q_2} \delta \beta ^\bullet _2 = (\mathcal {L}_{Q_2} - \mathrm {d}) \delta \zeta ^\bullet _2 + (\mathcal {L}_{Q_2} - \mathrm {d})\mathrm {d}\beta ^\bullet _2\nonumber \\ \Rightarrow \quad&(\mathcal {L}_{Q_2} - \mathrm {d}) [(\iota _{Q_2} \delta -\mathrm {d})\beta _2^\bullet - \delta \zeta ^\bullet _2] = 0, \end{aligned}$$(19)where we used \(\iota _{Q_2} \varpi ^\bullet _2 = \delta L^\bullet _2 + \mathrm {d}\theta ^\bullet _2\), \(\delta ^2 = 0\) and the fact that f-transformations preserve Eq. (15a). Note that this condition holds automatically for condimention higher than zero due to \(\zeta ^k_2 = \iota _{Q_2} \beta ^k_2\). To see what Eq. (19) implies at codimention zero, first note that
$$\begin{aligned} \iota _{Q_2} \delta \beta _2^1 - \delta \zeta ^1_2 = \iota _{Q_2} \delta \beta _2^1 - \delta \iota _{Q_2} \beta _2^1 = \mathcal {L}_{Q_2} \beta _2^1. \end{aligned}$$Keeping in mind that \([\mathcal {L}_Q,\mathrm {d}] = 0\), Eq. (19) gives
$$\begin{aligned}&\mathcal {L}_{Q_2}[ \iota _{Q_2} \delta \beta _2^0 - \mathrm {d}\beta _2^1 - \delta \zeta ^0_2 ] - \mathrm {d}[ \iota _{Q_2} \delta \beta _2^1 - \delta \zeta ^1_2 ] = 0\\ \Rightarrow \quad&\mathcal {L}_{Q_2} \delta (\iota _{Q_i} \beta ^0_2 - \zeta _2^0) = 0. \end{aligned}$$We now apply \(\iota _{E_2}\), but first note that
$$\begin{aligned} {[}\mathcal {L}_Q,\iota _{E}] = \iota _{[E,Q]} = \iota _{\mathcal {L}_E Q} = \iota _Q, \end{aligned}$$therefore
$$\begin{aligned} \iota _{E_2}\mathcal {L}_{Q_2} \delta (\iota _{Q_i} \beta ^0_2 - \zeta _2^0)&= [\iota _Q - \mathcal {L}_Q \iota _E] \delta (\iota _{Q_i} \beta ^0_2 - \zeta _2^0)\\&= 2 \mathcal {L}_{Q_2} (\iota _{Q_i} \beta ^0_2 - \zeta _2^0)\\ \Rightarrow \quad \mathcal {L}_{Q_2} (\iota _{Q_i} \beta ^0_2 - \zeta _2^0)&= 0 \end{aligned}$$where we used \(\iota _Q \delta (\iota _{Q_i} \beta ^0_2 - \zeta _2^0) = \mathcal {L}_Q (\iota _{Q_i} \beta ^0_2 - \zeta _2^0)\) and \(\text {gh}(\iota _{Q_i} \beta ^0_2 - \zeta _2^0) = \#(\iota _{Q_i} \beta ^0_2 - \zeta _2^0) = -1\). The computations are analogous for \(i = 1\).
\(\square \)
Remark 2.6.6
The previous lemma means that there is a redundancy in our definition of lax equivalence, as the transformation of \(L^\bullet _i\) at codimension \(\ge 1\) can be determined through the transformation of \(\theta ^\bullet _i\). In particular, when computing explicit examples one only needs to check whether we have the right transformation for \(\theta ^\bullet _i\) and \(L^0_i\). Observe that if we have \(H^{-1}(\mathcal {L}_Q) = 0\) we can conclude that \(\iota _{Q_i} \beta ^0_2 - \zeta _2^0 = \mathcal {L}_Q(\dots )\).
Remark 2.6.7
Our definition of lax equivalence directly implies that the local 2-forms \(\varpi ^\bullet _i\) are interchanged up to \((\mathcal {L}_{Q_i} - \mathrm {d})\)-exact and \(\delta \)-exact terms
Similar to the bulk case (cf. Proposition 2.3.3), choosing \(\zeta ^0_i = \iota _{Q_i} \beta _i^0\) ensures that the second condition from Proposition 2.6.5 is satisfied.
Proposition 2.6.8
The theories \(\mathfrak {F}^\mathrm {lax}_1\), \(\chi ^*\mathfrak {F}^\mathrm {lax}_1 {:}{=}(\mathcal {F}_1^\mathrm {lax}, \chi ^*\theta ^\bullet _1, \chi ^*L^\bullet _1, Q_1)\) and \(\mathfrak {F}^\mathrm {lax}_2\), \(\lambda ^*\mathfrak {F}^\mathrm {lax}_2 {:}{=}(\mathcal {F}_2^\mathrm {lax}, \lambda ^*\theta ^\bullet _2, \lambda ^*L^\bullet _2, Q_2)\) are pairwise lax-equivalent.
Proof
The proof is analogous to the proof of Proposition 2.3.4. \(\square \)
Theorem 2.6.9
Let \(\mathfrak {F}^\mathrm {lax}_i\), \(i \in \{1,2\}\), be lax equivalent. Then the respective BV theories \(\mathfrak {F}_i\) (cf. Remark 2.5.6) are BV-equivalent.
Proof
Let \(\kappa ^\bullet \in \Omega ^{p,\bullet }_\mathrm {loc}({\mathcal {E}} \times M)\) and \(K {:}{=}\int _{M} \kappa ^0 \in \Omega ^{p}_{{\int }}({\mathcal {E}})\). We need to check if:
-
(1)
\(\phi ^*,\psi ^*\) are chain maps w.r.t. the BV complexes,
-
(2)
the cohomological classes of \(\omega _i\) and \(\mathcal {S}_i\) are mapped into one another,
-
(3)
\(\chi ^*, \lambda ^*\) are the identity on \(H^\bullet (\mathfrak {BV}^\bullet _i)\).
To prove these, we simply need to integrate the various conditions over the bulk M. For the chain map condition, we have
We can compute the transformations of \(\omega _1\) and \(\mathcal {S}_1\) in a similar way
In the same manner
implying that \(\chi ^*\), and analogously \(\lambda ^*\), are also homotopic to the identity in \(\mathfrak {BV}^\bullet _i\) and as such the identity when restricted to \(H^\bullet (\mathfrak {BV}^\bullet _i)\), meaning that the BV complexes are quasi-isomorphic. \(\square \)
3 Examples
This section is dedicated to the explicit computation of lax BV–BFV equivalence in three different examples. We start by presenting the general strategy in Sect. 3.1. We then look at the examples of classical mechanics on a curved background and (nonabelian) Yang–Mills theory in Sects. 3.3 and 3.4 respectively. Subsequently we turn our attention to the classically equivalent Jacobi theory and one-dimensional gravity coupled to matter (1D GR) in Sect. 3.5, and show that they are lax BV–BFV equivalent, despite their different boundary behaviours w.r.t. the BV–BFV procedure. Furthermore, we show that the chain maps used to prove lax BV–BFV equivalence spoil the compatibility with the regularity condition for the BV–BFV procedure in the case of 1D GR.
3.1 Strategy
We shortly demonstrate our strategy to show explicitly that two theories \(\mathfrak {F}^\mathrm {lax}_i\) are lax BV–BFV equivalent. In practice, we need two maps \(\phi ^*\), \(\psi ^*\) between the BV–BFV complexes \(\mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _i\)
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs11005-023-01646-2/MediaObjects/11005_2023_1646_Figa_HTML.png)
which (cf. Definition 2.6.3):
-
(1)
are chain maps,
-
(2)
transform \(\theta ^\bullet _i, L^\bullet _i\) in the desired way (cf. Eq. (18)),
-
(3)
are quasi-inverse to one another.
In order to check the first property, we note that, as pullback maps, \(\phi ^*\) and \(\psi ^*\) automatically commute with the de Rham differentials \(\delta \) and \(\mathrm {d}\). Thus it suffices to show that \(\phi ^*, \psi ^*\) are chain maps w.r.t. \(Q_i\) on the fields \(\varphi ^j_i \in \mathcal {F}^\mathrm {lax}_i\)
as this together with the fact that they commute with \(\delta \) then implies that they are chain maps w.r.t. \((\mathcal {L}_{Q_i}-\mathrm {d})\) on \(\mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet \), resulting in the following Lemma:
Lemma 3.1.1
If the pullback maps \(\phi ^*, \psi ^*\) are chain maps w.r.t. \(Q_i\) on \(\mathcal {F}_i\), then they are also chain maps w.r.t. \((\mathcal {L}_{Q_i}-\mathrm {d})\) on \(\mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _i\).
Showing the second property is a matter of computation. For the third property, we shortly present our strategy to show that \(\chi ^* = \psi ^* \circ \phi ^*\) is the identity in cohomology. The same procedure can then be applied to \(\lambda ^* = \phi ^* \circ \psi ^*\). Recall that we need a map \(h_\chi :\mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _{1} \rightarrow \mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _{1}\) of lax degree \(-1\) such that
We start by constructing a homotopy between \(\chi ^*\) and \(\mathrm {id}_1\), by finding an evolutionary vector field \({R_1}\in \mathfrak {X}_{\text {evo}}(\mathcal {F}_1)\) with \(\text {gh}({R_1}) = \#({R_1}) = -1\) and defining a one-parameter family of morphisms of the form
such that \(\chi ^*_{s=0} = \mathrm {id}_1\) and \(\lim _{s\rightarrow \infty }\chi ^*_{s} = \chi ^*\). Note that choosing \(s = -\ln \tau \) gives the usual definition of homotopy with \(\tau \in [0,1]\), i.e. a continuous map \(F(\tau ) {:}{=}\chi ^*_{(-\ln \tau )}\) satisfying \(F(0) = \chi ^*\) and \(F(1) = \mathrm {id}_1\). We will nonetheless work with the parameter s to keep the calculations cleaner, changing when necessary. Furthermore, we can simplify the term in the exponent by setting \(D_1{:}{=}[{Q_1},{R_1}]\), since
which results in
Lemma 3.1.2
The Lie derivative \(\mathcal {L}_{D_1}\) commutes with the differential \((\mathcal {L}_{{Q_1}} - \mathrm {d})\).
Proof
Since \({R_1}\) and \({Q_1}\) are evolutionary vector fields, we directly have \([\mathcal {L}_{D_1},\mathrm {d}] = 0\). To see that \(\mathcal {L}_{D_1}\) commutes with \(\mathcal {L}_{{Q_1}}\) we compute
where we have used the graded Jacobi identity and \([{Q_1},{Q_1}] = 0\). Thus
proving the statement. \(\square \)
We can then determine the map \(h_\chi \) by rewriting the RHS of Eq. (20) as
resulting in the following Lemma:
Lemma 3.1.3
The map \(h_\chi :\mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _{1} \rightarrow \mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _{1}\) defined through
satisfies Eq. (20).
If \(h_\chi \) converges on \(\mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _1\), then \(\chi ^*\) will be the identity in the BV–BFV cohomology \(H^\bullet (\mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _1)\) as desired. For this last step, the next Lemma will be useful:
Lemma 3.1.4
If \(h_\chi \) converges on \(\mathcal {F}_1\), then it converges on the whole BV–BFV complex \(\mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _1\).
Proof
Let \(\kappa \in \mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _1\). Start by redefining \(s = - \ln \tau \) with \(\tau \in [0,1]\), such that we integrate over a compact interval instead of over \(\mathbb {R}_{\ge 0}\). Performing this transformation results in
Assuming that
we can show that \(h_\chi \kappa \) converges on \(\mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _1\). Let first \(\kappa = f\) be a local functional. Writing \({R_1}= {R_1}\varphi ^j_1 \frac{\delta }{\delta \varphi ^j_1}\) then gives
where we used that \(\chi ^*_s = e^{s\mathcal {L}_{D_1}} = e^{-\ln (\tau ) \mathcal {L}_{D_1}}\) is a morphism in the last equality. The integral over the first integrand is finite by assumption and the second integrand \(e^{-\ln (\tau ) \mathcal {L}_{D_1}} \frac{\delta f}{\delta \varphi ^j_1} = e^{s \mathcal {L}_{D_1}} \frac{\delta f}{\delta \varphi ^j_1}\) is nowhere divergent \(\forall \tau \in [0,1]\), since we assume \(\chi ^*_s = e^{s\mathcal {L}_{D_1}}\) to be well-defined on \(\mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _1\).
Consider now the local form \(\kappa = f \delta \varphi _J \otimes \nu \in \mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _1\), where J is a multiindex raging over the fields and their jets, and \(\nu \in \Omega ^\bullet (M)\) is a form on M. We then have
The terms in the brackets \(\{\cdot \}\) are just the integrands of \(h_\chi f\) and \(h_\chi \varphi _J\), which converge. Since the other terms \(e^{-\ln (\tau )\mathcal {L}_{D_1}} \varphi _J = e^{s\mathcal {L}_{D_1}} \varphi _J\), \(e^{-\ln (\tau )\mathcal {L}_{D_1}} f= e^{s\mathcal {L}_{D_1}} f\) are well-defined \(\forall \tau \in [0,1]\) and we are integrating over a compact interval, the integral converges and \(h_\chi \) is well-defined on \(\mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _1\). \(\square \)
3.2 Contractible pairs
The simplest example we can discuss is when the cohomologically trivial fields are nicely decoupled from the rest. This follows the procedure of [41], which we explicitly embed in our framework by constructing suitable chain maps to fit Definition 2.3.1 (see also [3] and [5, 6, 38]). Namely, we have an action of the form
where (, ) is some constant nondegenerate bilinear form on the space V of the v fields and \(S_2\) is a solution of the master equation (w.r.t. the fields \(\tilde{a},\tilde{a}^\dagger \)). We want to compare this theory with the one defined by \(S_2 [a,a^\dagger ]\), where we remove the tilde for clarity of the notation.
The cohomological vector field \(Q_1\) of \(S_1\) acts on the fields \(\tilde{a},\tilde{a}^\dagger \) as \(Q_1\). In addition we have
where we hve identified \(V^*\) with V using the bilinear fom. The fields \((v,v^\dagger )\) are called a contractible pair.
Define maps \(\phi \), \(\psi \).
Lemma 3.2.1
The composition map \(\lambda ^*=\phi ^*\circ \psi ^*\) is the identity, while the composition map \(\chi ^*=\psi ^*\circ \phi ^*\) acts as
and is homotopic to the identity.
Proof
One can directly check that \(\lambda ^*\) is the identity. In order to show that \(\chi ^*\) is the identity in cohomology, we define a family of maps \(\chi ^*_s = e^{s\mathcal {L}_{D_1}}\), where \(D_1= [{Q_1},{R_1}]\), and show \(\lim _{s\rightarrow \infty } \chi ^*_s = \chi ^*\).
We choose \({R_1}\) to act as
We can then compute
and
which yield
and similarly \(\chi _{\infty }^*v^\dag = 0\).
On the other hand,
so that \(\lim _{s\rightarrow \infty }\chi _s^* \equiv \chi ^*\).
Furthermore, the map \(h_\chi \) converges on all the fields, as \(h_\chi a = h_\chi a^\dagger = h_\chi v^\dagger \) trivially and
\(\square \)
A direct consequence of this Lemma, together with the facts that \(\phi ^*S_1=S_2\) and \(\phi ^* \omega _1= \omega _2\) for the canonical BV forms, is
Theorem 3.2.2
The BV theories defined by \(S_1\) and \(S_2\) are BV-equivalent.
3.2.1 More general contractible pairs
As in [41], we may consider a situation where \(S_1\) depends on fields \(\tilde{a},w,\tilde{a}^\dagger ,\tilde{w}^\dagger \), where \((w,w^\dagger )\) are not a contractible pair on the nose but satisfy the condition that
has a unique solution \(w=w(\tilde{a},\tilde{a}^\dagger )\). We can then get closer to the previously discussed case by definingFootnote 18
We have indeed that \(Q_1 v^\dagger = v\) and \(Q_1 v = 0\). Moreover, the above condition implies that the change of variables \((w,w^\dagger )\mapsto (v,v^\dagger )\) is invertible (near \(w^\dagger =0\), or everywhere if \(w^\dagger \) is odd) and that the submanifold defined by the constraints \(v=0\) and \(v^\dagger =0\) is symplectic.
The above strategy then works, in the absence of boundary, with some modifications. Namely, the fact that now v and \(v^\dagger \) are not Darboux coordinates requires modifying the map of Eq. (21). In turn, the transformation \({R_1}\) will get a nontrivial action on the fields \((a,a^\dagger )\).
All the examples we discuss below belong to this class of contractible pairs. As we will see, the modifications required in the case of classical mechanics and Yang–Mills theory are minimal, whereas those required in the case of 1D parametrisation invariant theories are more consistent—due to the fact that pairing of the v fields will depend on the a fields. In addition, in all the examples we show how to extend this construction to lax theories in order to encompass the presence of boundaries.
3.3 Classical mechanics on a curved background
We start by discussing the example of classical mechanics on a curved background as a warm-up exercise. We take the source manifold to be a time interval \(I = [a,b] \subset \mathbb {R}\) and some smooth Riemannian manifold \((M,g)\) as target. We will denote time derivatives with a dot and use tildes to distinguish fields between the different formulations of the theory.
We can formulate the theory by considering a “matter” field \(\tilde{q}\in F_2 {:}{=}C^\infty (I,M)\), and the metric tensor on the target will depend on the map \(\tilde{q}\). We introduce the shorthand notation \(\tilde{g}{:}{=}\tilde{g}(\tilde{q})\). The classical action functional is given by
This is usually called the second-order formulation.
On the other hand, we can phrase the theory in its first-order formulation, by considering again a map \(q:I \rightarrow M\), together with an “auxiliary” fieldFootnote 19\(p\in C^\infty (I,q^*T^*M)\) and the classical action functional
where \(h{:}{=}g^{-1}\) denotes the inverse of the target metric.
For ease of notation, we will introduce the musical isomorphisms
and clearly \(g^\flat \circ h^\sharp = h^\sharp \circ g^\flat = \mathrm {id}\).
We recall the rather obvious and well-known
Proposition 3.3.1
The first-order and second-order formulations of classical mechanics with a background metric are classically equivalent.
Proof
Following Definition 2.1.6, we start by solving the EL equation of the first-order theory corresponding to the auxiliary field \(p\), we have
which results in
Let \(C_1\) be the set of such solutions and define the map \(\phi _{cl}: C_1 \rightarrow F_2\) through \(\phi ^*_{cl} \tilde{q}= q\). Then the restriction of \({S_1}[q,p]\) to \(C_1\) coincides with the pullback of \({S_2}\) via \(\phi ^*_{cl}\)
hence the two formulations are classical equivalent. \(\square \)
Both of these theories can be extended to the lax BV–BFV formalism. Note that, as there are no gauge symmetries in these models, there is no need to introduce ghost fields. We start with the second-order formulation:
Proposition/Definition 3.3.2
The data
where
together with \(\theta _{2}^\bullet \in \Omega ^{1,\bullet }_\mathrm {loc}(\mathcal {F}_{2CM}^{{\mathrm {lax}}})\) and \(L_{2}^\bullet \in \Omega ^{0,\bullet }_\mathrm {loc}(\mathcal {F}_{2CM}^{{\mathrm {lax}}})\), which are given by
and the cohomological vector field \({Q_2}\in \mathfrak {X}_{\text {evo}}(\mathcal {F}_{2CM}^{{\mathrm {lax}}})\)
whereFootnote 20\(\partial \tilde{g}{:}{=}\frac{\delta \tilde{g}}{\delta \tilde{q}}\), defines a lax BV–BFV theory.
Proof
We need to check Eq. (15) at codimension 0 and 1, namely
Note that the Lagrangian only has a top-form term \(L^\bullet _1 = L^0_1\). The only nontrivial equation is \(\iota _Q \varpi _{2}^0 = \delta L_{2}^0 + \mathrm {d}\theta _{2}^1\), since \(L_{2}^1 = \iota _{Q_2}\iota _{Q_2}\varpi _{2}^0 = \iota _{Q_2}\varpi _{2}^1 = 0\). We compute
where we used \(|\mathrm {d} t| = -1\) and \(|\delta \tilde{q}| = -1\). \(\square \)
In the case of the first-order theory, we have the lax BV–BFV theory:
Proposition/Definition 3.3.3
The data
where
together with \(\theta _1^\bullet \in \Omega ^{1,\bullet }_\mathrm {loc}(\mathcal {F}_{1CM}^{{\mathrm {lax}}})\) and \(L_{1}^\bullet \in \Omega ^{0,\bullet }_\mathrm {loc}(\mathcal {F}_{1CM}^{{\mathrm {lax}}})\), which take the forms
and the cohomological vector field \({Q_1}\in \mathfrak {X}_{\text {evo}}(\mathcal {F}_{1CM}^{{\mathrm {lax}}})\)
with \(\partial h{:}{=}\delta h/ \delta q\), defines a lax BV–BFV theory.
Proof
Again we need to check Eq. (15) at codimension 0 and 1. Explicitly we have
As in the second-order theory, the Lagrangian only has a top-form component. The only nontrivial equation is \(\iota _Q \varpi _1^0 = \delta L_{1}^0 + \mathrm {d}\theta _1^1\), since \(L_{1}^1 = \iota _{Q_1}\iota _{Q_1}\varpi _1^0 = \iota _{Q_1}\varpi _1^1 = 0\). We compute
\(\square \)
We now present the main theorem of this section, together with an outline of its proof.Footnote 21 The computational details and the various lemmata are presented afterwards.
Theorem 3.3.4
The lax BV–BFV theories \(\mathfrak {F}^\mathrm {lax}_{1CM}\) and \(\mathfrak {F}^\mathrm {lax}_{1CM}\) of the first-order and second-order formulations of classical mechanics with a background metric are lax BV–BFV equivalent.
Proof
We need to check all the conditions from Definition 2.6.3. The existence of two maps \(\phi \), \(\psi \) with the desired properties is presented in Lemmata 3.3.5 and 3.3.6 respectively, where we also show that the pullback maps \(\phi ^*\), \(\psi ^*\) are chain maps w.r.t. the BV–BFV complexes \(\mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _i\), and that they map \((\theta ^\bullet _i,L^\bullet _i)\) in the desired way.
Furthermore, we need to show that the respective BV–BFV complexes are quasi-isormophic. The composition map \(\lambda ^* = \phi ^* \circ \psi ^*\) is shown to be the identity in Lemma 3.3.7. In Lemma 3.3.8, we prove that the composition map \(\chi ^* = \psi ^* \circ \phi ^*\), is homotopic to the identity by following the strategy presented in Sect. 3.1.
In Lemma 3.3.9, we demonstrate that \(\chi ^*\) is the identity in cohomology by showing that the map
satisfying \(\chi ^* - \mathrm {id}_{1} = (\mathcal {L}_{{Q_1}} - \mathrm {d}) h_\chi + h_\chi (\mathcal {L}_{{Q_1}} - \mathrm {d})\) (cf. Lemma 3.1.3) converges, therefore proving that the two lax BV–BFV theories in question have isomorphic BV–BFV cohomologies
and thus that they are lax BV–BFV equivalent. \(\square \)
Let us now look at the computations in detail. We start with the chain maps:
Lemma 3.3.5
Let \(\phi : \mathcal {F}_{2CM}^{{\mathrm {lax}}}\rightarrow \mathcal {F}_{1CM}^{{\mathrm {lax}}}\) be the map defined through
Its pullback map \(\phi ^*\) is a chain map w.r.t. \((\mathcal {L}_{Q_i}-\mathrm {d})\) and maps the lax BV–BFV data of the first-order theory as
Proof
To check that \(\phi \) is a chain map, we compute
Together with Proposition 3.1.1, this shows that \(\phi ^*\) is a chain map w.r.t. \((\mathcal {L}_{Q_i} - \mathrm {d})\). In turn, \(\phi ^*\) acts on \(\theta _1^\bullet ,\) \(L_{1}^\bullet \) as
\(\square \)
Lemma 3.3.6
Let \(\psi : \mathcal {F}_{1CM}^{{\mathrm {lax}}}\rightarrow \mathcal {F}_{2CM}^{{\mathrm {lax}}}\) be the map defined through
Its pullback map \(\psi ^*\) is a chain map w.r.t. \((\mathcal {L}_{Q_i}-\mathrm {d})\) and maps the lax BV–BFV data of the second-order theory as
where
Proof
The only nontrivial calculation that is needed to check whether \(\psi ^*\) is a chain map w.r.t. \((\mathcal {L}_{Q_i}-\mathrm {d})\) is \({Q_1}\psi ^* \tilde{q}^\dagger = \psi ^* {Q_2}\tilde{q}^\dagger \). We compute
where we used \(\dot{g}^\flat (h^\sharp (p)) = - g^\flat (\dot{h}^\sharp (p))\), in virtue of the fact that \(g^\flat \circ h^\sharp = \mathrm {id}\).
Let \(\Delta \theta _{2}^\bullet {:}{=}\psi ^* \theta _{2}^\bullet - \theta _1^\bullet \) and \(\Delta L_{2}^\bullet {:}{=}\psi ^* L_{2}^\bullet - L_{1}^\bullet \). We need to check whether
Recall that we only need to compute \(\Delta L_{2}^0\), as \(\Delta L_{2}^k\) for \(k>0\) are determined through \(\Delta \theta _{2}^\bullet \) (cf. Proposition 2.6.5, Remark 2.6.6). Furthermore, note that \(f_1^1 = 0\).
Computation of \(\Delta \theta _{2}^0\): For the first equation, we compute
Using
the last three terms together yield
![](http://media.springernature.com/lw600/springer-static/image/art%3A10.1007%2Fs11005-023-01646-2/MediaObjects/11005_2023_1646_Equ397_HTML.png)
Computation of \(\Delta \theta _{2}^1\): In this case, we have
thus showing \(\Delta \theta _{2}^1 = \mathcal {L}_{{Q_1}} \beta _1^1 + \delta f_1^1\).
Computation of \(\Delta L_{2}^0\): For the third equality, we compute
as desired. \(\square \)
Lemma 3.3.7
The composition map \(\lambda ^* = \phi ^* \circ \psi ^*: \mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _2 \rightarrow \mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _2\) is the identity
and as such the identity in cohomology.
Proof
Using \(\lambda ^* = \phi ^* \circ \psi ^*\), we have
as \(\phi ^* p^\dagger = 0\). \(\square \)
Lemma 3.3.8
The composition map \(\chi ^* = \psi ^* \circ \phi ^*: \mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _1 \rightarrow \mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _1\) acts as
and is homotopic to the identity.
Proof
By definition \(\chi ^* = \psi ^* \circ \phi ^*\). Then
In order to prove that \(\chi ^*\) is homotopic to the identity, we first compute \(\chi ^*_s = e^{s\mathcal {L}_{D_1}}\), where \(D_1= [{Q_1},{R_1}]\), and show \(\lim _{s\rightarrow \infty } \chi ^*_s = \chi ^*\). We choose \({R_1}\) to act as
For \(q\) we have
For \(p\):
For \(p^\dagger \):
For \(q^\dagger \):
where we used \(p= g^\flat ( \dot{q}- Q p^\dagger )\), and \(\partial h(g^\flat (\cdot ),g^\flat (\cdot )) = -\partial g(\cdot ,\cdot )\).
We see that
so that, for all \(k\ge 0\)
and (recalling that \([D_1,{Q_1}] = 0\))
we have
for \(k\ge 0\), which ultimately yields
for all \(k\ge 0\), so that
All in all, the homotopy \(\chi ^*_s\) takes the form
and clearly satisfies \(\lim _{s\rightarrow \infty } \chi ^*_s = \chi ^*\). \(\square \)
Lemma 3.3.9
The map \(\chi ^*\) is the identity in cohomology.
Proof
We have to check whether the map \(h_\chi \) converges on \(\mathcal {F}_{1CM}^{{\mathrm {lax}}}\), namely
As \(\{q,q^\dagger , p^\dagger \} \in \ker {R_1}\) we have
For \(h_\chi p^\dagger \) we compute
thus, by Proposition 3.1.4, \(h_\chi \) converges on \(\mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _1\) and \(\chi ^*\) is the identity in cohomology. \(\square \)
3.4 Yang–Mills theory
We now look at the example of (nonabelian) Yang–Mills theory. Let (M, g) be a d-dimensional (pseudo-)Riemanian manifold and G a connected Lie group with Lie algebra \((\mathfrak {g},[\cdot ,\cdot ])\), endowed with an ad-invariant inner product, which for ease of notation will be denoted by means of an invariant trace operationFootnote 22\(\mathrm {Tr}[\cdot ]\). As we consider two formulations of Yang–Mills theory, we will use tildes to distinguish the fields between the two. We point out that an alternative proof of the equivalence of first- and second-order formulations of Yang–Mills theory has been given in [54] using homotopy transfer of \(A_\infty \)-structures. We will give here an argument that is different on the surface, but which is compatible to their results. However, we stress that our analysis also includes a comparison of the boundary data of the first- and second-order formulations.
We can phrase the theory by considering connection 1-forms \(\tilde{A}\in \Omega ^1(M,\mathfrak {g})\), with curvature \(\tilde{F}_{\tilde{A}}\), and the classical action functional
This is often known as the second-order formulation.
Alternatively, one can phrase the theory in its first-order formulation, by considering an additional “auxiliary” field \(B\in \Omega ^{d-2}(M,\mathfrak {g})\) and the classical action functional
where \(\varepsilon _s=\pm 1\) denotes the signature of g.
Proposition 3.4.1
The first- and second-order formulations of Yang–Mills theory are classically equivalent.
Proof
Solving the EL equations of the first-order theory w.r.t. the auxiliary field \(B\) gives
Let \(C_1\) be the set of solutions of \(F_{A}= \varepsilon _s\star B\), or equivalently
where we used \(\star ^2 = \varepsilon _s(-1)^{k(d-k)}\) when acting on k-forms, and let \(\phi _{cl}: C_1 \rightarrow F_2\) be the map defined through \(\phi ^*_{cl}\tilde{A}= A\). Then
showing that the two theories are classically equivalent. \(\square \)
Both first- and second-order formulations of Yang–Mills theory can be extended to lax BV–BFV theories as follows. As the symmetries of the theory are given by a Lie algebra \(\mathfrak {g}\), we can follow the construction of Example 2.2.5.
Proposition/Definition 3.4.2
where
together with \(\theta _{2}^\bullet \in \Omega ^{1,\bullet }_\mathrm {loc}(\mathcal {F}_{2YM}^{{\mathrm {lax}}}{{\times M}})\) and \(L_{2}^\bullet \in \Omega ^{0,\bullet }_\mathrm {loc}(\mathcal {F}_{2YM}^{{\mathrm {lax}}}{{\times M}})\), which are given by
and the cohomological vector field \({Q_2}\in \mathfrak {X}_{\text {evo}}(\mathcal {F}_{2YM}^{{\mathrm {lax}}})\)
defines a lax BV–BFV theory.
In the first-order formulation we have:
Proposition/Definition 3.4.3
where
together with \(\theta _1^\bullet \in \Omega ^{1,\bullet }_\mathrm {loc}(\mathcal {F}_{1YM}^{\mathrm {lax}})\) and \(L_{1}^\bullet \in \Omega ^{0,\bullet }_\mathrm {loc}(\mathcal {F}_{1YM}^{\mathrm {lax}})\), which take the form
and the cohomological vector field \({Q_1}\in \mathfrak {X}_{\text {evo}}(\mathcal {F}_{1YM}^{\mathrm {lax}})\)
defines a lax BV–BFV theory.
We now present the main theorem of this section, together with an outline of the proof. The computational details and the various required Lemmata are presented in “Appendix A”.
Theorem 3.4.4
The lax BV–BFV theories \(\mathfrak {F}^\mathrm {lax}_{1YM}\) and \(\mathfrak {F}^\mathrm {lax}_{2YM}\) of the first- and second-order formulations of nonabelian Yang–Mills theory are lax BV–BFV equivalent.
Proof
We need to check all the conditions from Definition 2.6.3. The existence of two maps \(\phi \), \(\psi \) with the desired properties is presented in Lemmata A.1.1 and A.1.2 respectively, where we also show that the pullback maps \(\phi ^*\), \(\psi ^*\) are chain maps w.r.t. the BV–BFV complexes \(\mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _i\), and that they map \((\theta ^\bullet _i,L^\bullet _i)\) in the desired way. Specifically, \(\phi : \mathcal {F}_{2YM}^{{\mathrm {lax}}}\rightarrow \mathcal {F}_{1YM}^{\mathrm {lax}}\) is defined through
and maps the lax BV–BFV data of the first-order theory as
whereas \(\psi : \mathcal {F}_{1YM}^{\mathrm {lax}}\rightarrow \mathcal {F}_{2YM}^{{\mathrm {lax}}}\) is given by
and maps the lax BV–BFV data of the second-order theory as
where
in accordance with our notion of lax BV–BFV equivalence. Note that \(f_1^1=f_1^2=0\).
Furthermore, we need to show that the respective BV–BFV complexes are quasi-isormophic. The composition map \(\lambda ^* = \phi ^* \circ \psi ^*\) is shown to be the identity in Lemma A.1.3, which follows directly from \(\phi ^* B^\dagger = 0\). In Lemma A.1.4, we prove that the composition map \(\chi ^* = \psi ^* \circ \phi ^*\), which has the explicit form
is homotopic to the identity by constructing the morphism \(\chi ^*_s = e^{s\mathcal {L}_{D_1}}\) with \(D_1= [{R_1},{Q_1}]\), where \({R_1}\) is chosen to act as
The homotopy is explicitly given by
and fulfils \(\lim _{s\rightarrow \infty } \chi ^*_s = \chi ^*\). In Lemma A.1.5, we demonstrate that \(\chi ^*\) is the identity in cohomology by showing that the map
satisfying \(\chi ^* - \mathrm {id}_{1} = (\mathcal {L}_{{Q_1}} - \mathrm {d}) h_\chi + h_\chi (\mathcal {L}_{{Q_1}} - \mathrm {d})\) (cf. Lemma 3.1.3) converges to
therefore proving that the two lax BV–BFV theories in question have isomorphic BV–BFV cohomologies
and thus that they are lax BV–BFV equivalent. \(\square \)
3.5 1D reparametrisation-invariant theories
In this section, we compare two one-dimensional reparamentrisation invariant theories, namely Jacobi theory, which one can think of as classical mechanics at constant energies, and one-dimensional gravity coupled to matter (1D GR). For an in-depth discussion of these theories we refer to [26]. We recall that the motivation to investigate the equivalence of these two theories is that, even though they are classically equivalent, 1D GR is compatible with the BV–BFV procedure while the Jacobi theory is not and yields a singular boundary structure. Firstly, this raises the question whether this boundary discrepancy is reflected at a cohomological level. Secondly, this discrepancy in the boundary behaviour is also present in the classically equivalent Einstein–Hilbert gravity and Palatini–Cartan gravity in (3+1) dimensions, where the latter is incompatible with the BV–BFV procedure. Our hope is that the comparison and analysis of these toy models might shed light in the question of equivalence of the (3+1) dimensional theories.
We take the base manifold to be a closed interval on the real line \(M = I = [a,b] \subset \mathbb {R}\) with coordinate t for both theories, which should be interpreted as a finite time interval.
In the case of Jacobi theory, we consider a matter field \(\tilde{q}\in \Gamma (\mathbb {R}^n \times I) = C^\infty (I,\mathbb {R}^n)\) with mass m. The kinetic energy is taken to be \(T(\dot{\tilde{q}}) = \frac{m}{2}\Vert \dot{\tilde{q}}\Vert ^2\) where \(\Vert \cdot \Vert \) is the Euclidean norm on \(\mathbb {R}^n\) and \(\dot{\tilde{q}}= \partial _t \tilde{q}\) is the time derivative of \(\tilde{q}\). Let E denote a parameter and \(V(\tilde{q})\) a potential term. We do not assume \(E = T(\dot{\tilde{q}}) + V(\tilde{q})\). The Jacobi action functional takes the form
To see that \(S_J\) is parameterisation invariant, note that writing
lets us interpret the Jacobi action functional as the length of a path in the target space \(\mathbb {R}^n\) with metric \(\mathrm {d}s^2\). As such the symmetry group of Jacobi theory is the diffeomorphism group of the interval \(\text {Diff}(I)\), i.e. the reparameterisations of I. The critical locus of \(S_J\) is then given by the geodesics of the metric \(\mathrm {d}s^2\), which are the trajectories of classical mechanics with an arbitrary parameterisation [26]. Imposing \(E =T(\dot{\tilde{q}}) + V(\tilde{q})\) allows us to recover the standard parameterisation. We set \(V(\tilde{q})=0\) for the rest of the discussion. The EL equations can be shown to have the form
which are singular for \(\dot{\tilde{q}}= 0\). As such, the space of fields for Jacobi theory is not \(C^\infty (I,\mathbb {R}^n)\) but rather
We can then interpret Jacobi theory as classical mechanics at constant energies where the solutions do not have turning points, i.e. points in which the first derivative vanishes.
In the case of 1D GR [26], we also consider a metric field \(\mathsf {g} \in \Gamma (S^2_+T^*I)\) as a nonvanishing section of the bundle of symmetric nondegenerate rank-(0, 2) tensors over I. For simplicity, we write \(\mathsf {g} = g \, \mathrm {d}t^2\) and work with the component \(g\in C^\infty (I,\mathbb {R}_{>0})\). The space of fields is given by
The condition \(\dot{q} \ne 0\) in \({\mathcal {F}_J}\) is strictly speaking not necessary in the 1D GR case, but we are ultimately interested in comparing 1D GR with the Jacobi theory and therefore impose it for consistency. In this picture, we can interpret 1D GR as an extension of Jacobi theory. We consider the action functional
Note that the Ricci tensor vanishes in 1D and hence the Einstein–Hilbert term is absent. The first term in \(S_{GR}\) is simply the matter Lagrangian for vanishing potential in the presence of a metric field and the second is a cosmological term. As such we interpret the parameter E as a cosmological constant. Since we are integrating over the Riemannian density \(\sqrt{g}\,\mathrm {d}t\) of the metric \(\mathrm {d}s^2 = g \mathrm {d}t^2\), the symmetry group is again \(\text {Diff}(I)\).
Proposition 3.5.1
([26]) Jacobi theory and 1D GR are classically equivalent.
Let us now turn to the lax BV–BFV formulation of Jacobi theory. We first need to introduce the ghost field, which in case of diffeomorphims invariance is chosen to be \(\tilde{\xi }\partial _t \in \mathfrak {X}(I)[1]\) [49]. In this setting, the Chevalley–Eilenberg operator acts on the fields as the Lie derivative \(\gamma _J = \mathcal {L}_{\tilde{\xi }\partial _t}\) and on the ghost as the Lie bracket of vector fields (cf. Example 2.2.5). We work with the component \(\tilde{\xi }\in C^\infty (I,\mathbb {R})[1]\) for simplicity.
Proposition/Definition 3.5.2
The data
where
together with \(\theta _{J}^\bullet \in \Omega ^{1,\bullet }_\mathrm {loc}(\mathcal {F}_{J}^{{\mathrm {lax}}}{\times I})\) and \(L_{J}^\bullet \in \Omega ^{0,\bullet }_\mathrm {loc}(\mathcal {F}_{J}^{{\mathrm {lax}}}{\times I})\), which are given by
and the cohomological vector field \({Q_{J}}\in \mathfrak {X}_{\text {evo}}(\mathcal {F}_{J}^{{\mathrm {lax}}})\)
defines a lax BV–BFV theory.
Proof
It is a matter of a straightforward calculation to check that the formulas above satisfy the axioms of Definition 2.5.5. \(\square \)
Remark 3.5.3
Note that we can explicitly decompose the cohomological vector field \({Q_{J}}\) into its Chevalley–Eilenberg and Koszul–Tate parts as \({Q_{J}}= \gamma _J + \delta _J\) by using Eq. (4) and setting \(\gamma _J = {Q_{J}}- \delta _J\) on \(\{\tilde{q}^+,\tilde{\xi }^+\}\). We have:
As \(\tilde{q}\) is a function and \(\tilde{\xi }\) is the component of a vector field, defining \(\tilde{q}^+\) and \(\tilde{\xi }^+\) through Eq. (22) lets us interpret them as components of tensor fields in \(\Omega ^{\text {top}}(I) \otimes C^\infty (I,\mathbb {R}^n)[-1]\) and \(\Omega ^{\text {top}}(I) \otimes \Omega ^{\text {top}}(I)[-2]\), respectively, or rather as components of a rank-(0, 1) and a rank-(0, 2) tensors over I. As such we see that the Chevalley–Eilenberg differential also acts as \(\gamma _J = \mathcal {L}_{\tilde{\xi }\partial _t}\) on \(\{\tilde{q}^+,\tilde{\xi }^+\}\).
In the case of 1D GR we have
Proposition 3.5.4
The data
where
together with \(\theta _{GR}^\bullet \in \Omega ^{1,\bullet }_\mathrm {loc}(\mathcal {F}_{GR}^{\mathrm {lax}}{\times I})\) and \(L_{GR}^\bullet \in \Omega ^{0,\bullet }_\mathrm {loc}(\mathcal {F}_{GR}^{\mathrm {lax}}{\times I})\), which are given by
and the cohomological vector field \({Q_{GR}}\in \mathfrak {X}_{\text {evo}}(\mathcal {F}_{GR}^{\mathrm {lax}})\)
with
defines a lax BV–BFV theory.
Proof
It is straightforward to show that these formulas satisfy the axioms of Definition 2.5.5. \(\square \)
Remark 3.5.5
As in Jacobi theory, we can decompose the cohomological vector field as \({Q_{GR}}= \gamma _{GR} + \delta _{GR}\). We have
Similarly to the Jacobi case, \(q^+\), \(g^+\) and \(\xi ^+\) are components of tensors in \(\Omega ^{\text {top}}(I) \otimes C^\infty (I,\mathbb {R}^n)[-1]\), \(\Gamma [-1](S^2_+TI) \otimes \Omega ^{\text {top}}(I)\) and \(\Omega ^{\text {top}}(I) \otimes \Omega ^{\text {top}}(I)[-2]\), respectively, or rather components of a rank-(0, 1), a rank-(2, 1) and a rank-(0, 2) tensors over I. Therefore, we again have \(\gamma _{GR} = \mathcal {L}_{\xi \partial _t}\) on \(\{q^+, g^+, \xi ^+\}\).
Before presenting the main theorem of this section, we need to introduce some useful notation. Let \(v \in C^\infty (I,\mathbb {R}^n)\) be a \(\mathbb {R}^n\)-valued field and let \(u = \dot{q} / \Vert \dot{q}\Vert \) denote the normalised velocity of q. Note that u is always well-defined because we assume \(\dot{q} \ne 0\). We can then decompose \(v = v_\parallel + v_\perp \) into its parallel \(v_\parallel \) and perpendicular \(v_\perp \) components with respect to u as
where we used that \(T = \frac{m}{2}\Vert \dot{q}\Vert ^2\).
We now present the main theorem of this section, together with an outline of the proof. The computational details and the various required Lemmata are presented in the “Appendix B”.
Theorem 3.5.6
The lax BV–BFV theories \(\mathfrak {F}^\mathrm {lax}_{GR}\) and \(\mathfrak {F}^\mathrm {lax}_{J}\) of 1D GR and Jacobi theory are lax BV–BFV equivalent.
Proof
We need to check all the conditions from Definition 2.6.3. The existence of two maps \(\phi \), \(\psi \) with the desired properties is presented in Lemmata B.2.1 and B.2.2 respectively, where we also show that the pullback maps \(\phi ^*\), \(\psi ^*\) are chain maps w.r.t. the BV–BFV complexes \(\mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _i\), and that they map \((\theta ^\bullet _i,L^\bullet _i)\) in the desired way. Specifically, \(\phi : \mathcal {F}_{J}^{{\mathrm {lax}}}\rightarrow \mathcal {F}_{GR}^{\mathrm {lax}}\) is defined through
and maps the lax BV–BFV data of 1D GR as
On the other hand, \(\psi : \mathcal {F}_{GR}^{\mathrm {lax}}\rightarrow \mathcal {F}_{J}^{{\mathrm {lax}}}\) is given by
where \(\eta {:}{=}\frac{gE}{T}\), and maps the lax BV–BFV data of the Jacobi theory as
where (writing \(\kappa ^\bullet = \kappa ^0 \mathrm {d} t+ \kappa ^1\))
with \(\Omega = \sqrt{g}T + g \sqrt{TE}\), in accordance with our notion of lax BV–BFV equivalence.
Furthermore, we need to show that the respective BV–BFV complexes are quasi-isormophic. The composition map \(\lambda ^* = \phi ^* \circ \psi ^*\) is shown to be the identity in Lemma B.2.3. In Lemma B.2.5, we prove that the composition map \(\chi ^* = \psi ^* \circ \phi ^*\), which has explicitly form
is homotopic to the identity by constructing the morphism \(\chi ^*_s = e^{s\mathcal {L}_{{D_{GR}}}}\) with \({D_{GR}}= [{R_{GR}},{Q_{GR}}]\), where \({R_{GR}}\) is chosen to act as
The homotopy is given by
where \(\sigma (\varphi ) = \varphi \partial _t{(g^{3/2}g^+)} - {\dot{\varphi }} g^{3/2}g^+\), and fulfils \(\lim _{s\rightarrow \infty } \chi ^*_s = \chi ^*\). There are some steps that are important to highlight in this case. First, in Lemma B.2.4, we show that \({R_{GR}}\) commutes with the Chevalley–Eilenberg differential \(\gamma _{GR}\)Footnote 23
by using general arguments and \(\gamma _{GR} \sim \mathcal {L}_{\xi \partial _t}\), but it can also be checked through straightforward calculations. We do this as it greatly simplifies the computations since \({D_{GR}}= [{R_{GR}},{Q_{GR}}] = [{R_{GR}},\delta _{GR}]\).
Furthermore, while the computations for the action of \(\chi ^*_s = e^{s\mathcal {L}_{D_{GR}}}\) on the fields \(\varphi \in \{q,\xi ,g\}\) is analogous to the ones presented for the other examples, it turns out that in this case of the antifields \(\varphi ^+ \in \{q^+,\xi ^+,g^+\}\) finding a recursive formula for \({D^k_{GR}}\varphi ^+\) is quite challenging. Instead, it is easier to take a slight detour: We first compute \(\chi ^*_s(g^{3/2}\varphi ^+)\) through \({D^k_{GR}}(g^{3/2}\varphi ^+)\) and then use the property that \(\chi ^*_s = e^{s\mathcal {L}_{{D_{GR}}}}\) is a morphism in order to recover \(\chi ^*_s\varphi ^+\)
The limit \(s\rightarrow \infty \) then reads
Since \(\chi ^*_sg\) is nowhere vanishing for any \(s\in \mathbb {R}_{\ge 0}\), this expression is well-defined \(\forall s\in \mathbb {R}_{\ge 0}\) iff \(\chi ^*_s(g^{3/2}\varphi ^+)\) is well-defined \(\forall s\in \mathbb {R}_{\ge 0}\) as well.
We exemplify this procedure with the computation of \(\chi ^*_s g^+\). In order to see where the aforementioned problem arises, we compute
One can then proceed with the calculation of \({D^k_{GR}}g^+\) for higher k’s and notice that the expressions become quite lengthy as \({D_{GR}}g = T/E-g\) (Eq. (43)). The idea to avoid this complication by considering \({D^k_{GR}}(g^{3/2} g^+)\), where a recursive formula becomes apparent. We have
It is then straightforward to see that
Using Eq. (24) we then have
The computations for \(q^+,\xi ^+\) are lengthier and can be found in the “Appendix B.2”.
In Lemma B.2.6, we demonstrate that \(\chi ^*\) is the identity in cohomology by showing that the map
satisfying \(\chi ^* - \mathrm {id}_{GR} = (\mathcal {L}_{{Q_{GR}}} - \mathrm {d}) h_\chi + h_\chi (\mathcal {L}_{{Q_{GR}}} - \mathrm {d})\) (cf. Lemma 3.1.3) converges to
therefore proving that the two lax BV–BFV theories in question have isomorphic BV–BFV cohomologies
and thus that they are lax BV–BFV equivalent. \(\square \)
In this example, we are also interested on how the composition maps \(\lambda ^*\), \(\chi ^*\) affect the boundary structure, namely the strict BV–BFV structure of the Jacobi theory and 1D GR. More specifically, we want to investigate how they change the kernel of the pre-boundary forms \({\check{\omega }}\) and as such the quotient \(\mathcal {F}^\partial = {\check{\mathcal {F}}}^\partial /\ker {\check{\omega }}\) (cf. Eq. (12)).
In the case of \(\lambda ^*\), this is trivial since it is the identity. Regarding \(\chi ^*\), we argue that \(\ker \chi ^* {\check{\omega }}_{GR}\) has a singular behaviour and that we cannot construct a BV–BFV theory from the data \(\chi ^*\mathfrak {F}^\mathrm {lax}_{GR}{:}{=}(\mathcal {F}^\mathrm {lax}_{GR},\chi ^*\theta ^\bullet _{GR},\chi ^*L^\bullet _{GR},{Q_{GR}})\). Thus, although \(\chi ^*\) is the identity in the BV–BFV cohomology \(H^\bullet (\mathfrak {BV}\text {-}\mathfrak {BFV}_{GR})\), it spoils the BV–BFV structure of 1D GR.
Theorem 3.5.7
The lax BV–BFV theory \(\chi ^* \mathfrak {F}^\mathrm {lax}_{GR} {:}{=}(\mathcal {F}^\mathrm {lax}_{GR},\chi ^*\theta ^\bullet _{GR},\chi ^*L^\bullet _{GR},{Q_{GR}})\) does not yield a BV–BFV theory.
Proof
Recall that pulling back \((\theta ^\bullet _{GR},L^\bullet _{GR})\) with \(\phi ^*\) gives \(\phi ^*\theta ^\bullet _{GR} = \theta ^\bullet _{J}\) and \(\phi ^*L^\bullet _{GR} = L^\bullet _{J}\). Applying the map \(\chi ^* = \psi ^*\circ \phi ^*\) to \((\theta ^\bullet _{GR},L^\bullet _{GR})\) then yields
Thus, the lax BV–BFV data of \(\chi ^* \mathfrak {F}^\mathrm {lax}_{GR}\) has the same form as the lax BV–BFV data for Jacobi theory presented in Proposition/Definition 3.5.2 on the submanifold of \(\mathcal {F}^\mathrm {lax}_{GR}\) with local coordinates \(\{\psi ^*\tilde{q},\psi ^*\tilde{q}^+,\psi ^*\tilde{\xi },\psi ^*\tilde{\xi }^+\}\). Furthermore, applying \(\chi ^*\) to Eq. (15) for the lax BV–BFV formulation of 1D GR yields
This means that the theory \(\chi ^* \mathfrak {F}^\mathrm {lax}_{GR}\) is just a version of Jacobi theory which is defined on a submanifold of \(\mathcal {F}^\mathrm {lax}_{GR}\) with local coordinates \(\{\psi ^*\tilde{q},\psi ^*\tilde{q}^+,\psi ^*\tilde{\xi },\psi ^*\tilde{\xi }^+\}\). This theory will have the same behaviour as the original Jacobi theory and as such the kernel of the pre-boundary 2-form
will be singular, just as the kernel of the pre-boundary 2-form \({\check{\omega }}_{J}\) of Jacobi theory [26]. As such, the data \(\chi ^* \mathfrak {F}^\mathrm {lax}_{GR}\) does not yield a BV–BFV theory. \(\square \)
Remark 3.5.8
It is clear that the theories \(\mathfrak {F}^\mathrm {lax}_{GR}\) and \(\chi ^*\mathfrak {F}^\mathrm {lax}_{GR}\) are also lax BV–BFV equivalent (see Remark 2.3.4). We have thus presented two pairs of theories, \((\mathfrak {F}^\mathrm {lax}_{J}, \mathfrak {F}^\mathrm {lax}_{GR})\) and \( (\mathfrak {F}^\mathrm {lax}_{GR}, \chi ^*\mathfrak {F}^\mathrm {lax}_{GR})\), which have isomorphic BV–BFV cohomologies, but differ in terms of their compatibility with the BV–BFV axioms, a behaviour which is not present in the examples of classical mechanics on a curved background and Yang–Mills theory which we considered in Sects. 3.3 and 3.4. Indeed, a remarkable feature of the classical equivalence between Jacobi theory and 1d GR is that it can actually be promoted to a quasi-isomorphism of their BV–BFV complexes (lax equivalence), which in particular implies BV equivalence in the sense of Definition 2.3.1. This is compatible with the process of removal of auxiliary fields outlined in [3]. However, the request that two lax-equivalent theories both admit a strictification in the sense of Remark 2.5.6 is a genuine refinement of the notion of BV (and lax) equivalence of field theories. Since the BV–BFV quantisation programme requires a strict theory, this obstruction marks a roadblock for nonstrictifiable lax BV–BFV theories.
Notes
Note that, strictly speaking, this works when \(j^\infty \) is surjective. When E has connected fibres, this is true if and only if E admits a global section [7, Proposition 3.1.14].
Explicitly, this is \(\delta \int _M (j^\infty )^*\alpha := \int _M \delta (j^\infty )^*\alpha = \int _M (j^\infty )^*d_V\alpha \).
It is possible to induce a differential coming from the variational bicomplex, by means of the interior Euler operator (see, e.g. [1]). We will not be concerned with the details of this construction.
More generally, the space of fields is an affine space modelled on a space of sections; e.g. a space of connections. Even more generally, e.g. in the case of sigma models, one expands fields around a background field. It is the space of these perturbations that is a space of sections.
The integrand of \(\text {EL}\) is the pullback along \(j^\infty \) of a form of source type in the variational bicomplex, see [1, Definition 3.5].
Notice that we want D to be a (generically proper) subspace of all vector fields that annihilate the action functional. We want it to be maximal, in the sense that all symmetries are considered except trivial ones, i.e. those that vanish on \(\mathcal {EL}\). As such it is not automatically a subalgebra. See [40, Section 1.3]. Observe that, although not necessary, one might want to restrict D to only (genuinely) local symmetries, meaning that we do not consider constant Lie group/Lie algebra actions at this stage.
By abuse of notation, we denote by D also the restriction of D to \(\mathcal {EL}\).
For simplicity, in this note, we assume that the Grassmann parity of a variable is equal to the parity of its \(\mathbb {Z}\)-degree. This is okay as long as we only consider theories without fermionic physical fields.
In the literature the terminology “BV complex" is used to denote \(\mathfrak {BV}^\bullet _0\). We use the same name for \(\mathfrak {BV}^\bullet \) as it is the natural extension in the present setting.
In the case of Yang–Mills theory, the ghost field will be denoted as c.
A similar idea is contained in the work of Brandt, Barnich, and Henneaux [3], but without the structural BV–BFV equations.
In [47] the authors denote the lax degree by total degree.
We denote by \(\mathcal {F}^\mathrm {lax}\vert _{M^\circ }\) (resp. \(\mathcal {F}^\mathrm {lax}\vert _{M^\partial }\)) the restriction of fields to the interior (resp the boundary stratum, where we also restrict normal jets) of M, seen as section of a fibre bundle (resp. the tangent bundle to the induced bundle).
We restrict ourselves to the \(\text {gh}(\phi ) = \text {gh}(\psi ) = 0\) case as this will be the relevant one in our examples.
We may also think of this construction as the semiclassical approximation of a BV pushforward [20, Section 2.2.2] that gets rid of the \((w,w^\dagger )\) variables. Indeed, the above condition may be read as the statement that setting \(w^\dagger \) to zero is a good gauge fixing.
Obviously the pair (q, p) is a map from I to \(T^*M\).
Observe that, in a local chart, we have \(\partial g(\dot{q},\dot{q})=\partial _\rho g_{\mu \nu }\dot{q}^\mu \dot{q}^\nu \), while \((\frac{d}{dt}g^\flat )(\dot{q})=\dot{q}^\rho \partial _\rho g_{\mu \nu }\dot{q}^\mu \dot{q}^\nu \).
For a similar conclusion to the one presented here, see [38, Section 3.2] Our method allows to additionally construct explicit chain maps that implement the quasi-isomorphism.
For a better nonperturbative behaviour, one usually requires G to be compact, in which case one uses the Killing form as the invariant inner product. This is the motivation for using the trace notation.
Note that this is also the case in the Yang–Mills example.
References
Anderson, I.M.: The Variational Bicomplex. Tech. rep, Utah State Technical Report (1989)
Barnich, G., Brandt, F., Henneaux, M.: Local BRST cohomology in gauge theories. Phys. Rep. 338(5), 439–569 (2000)
Barnich, G., Brandt, F., Henneaux, M.: Local BRST cohomology in the antifield formalism: I. General theorems. Commun. Math. Phys. 174(1), 57–91 (1995)
Batalin, I.A., Fradkin, E.S.: A generalized canonical formalism and quantization of reducible gauge theories. Phys. Lett. B 122(2), 157–164 (1983)
Barnich, Glenn, Grigoriev, Maxim: First order parent formulation for generic gauge field theories. J. High Energy Phys. 2011(1), 122 (2011). https://doi.org/10.1007/JHEP01(2011)122
Barnich, G., Grigoriev, M., Semikhatov, A., Tipunin, I.: Parent field theory and unfolding in BRST first-quantized terms. Commun. Math. Phys. 260(1), 147–181 (2005). https://doi.org/10.1007/s00220-005-1408-4
Blohmann, C.: Lagrangian Field Theory. Unpublished manuscript, version 14, available at https://people.mpim-bonn.mpg.de/blohmann/Lagrangian_Field_Theory.pdf (2022)
Browning, A.D., McMullan, D.: The Batalin, Fradkin, and Vilkovisky formalism for higher-order theories. J. Math. Phys. 28(2), 438–444 (1987)
Brandt, Friedemann: Local BRST Cohomology and Covariance. Commun. Math. Phys. 190(2), 459–489 (1997). https://doi.org/10.1007/s002200050248
Becchi, C., Rouet, A., Stora, R.: Renormalization of gauge theories. Ann. Phys. 98(2), 287–321 (1976)
Batalin, I.A., Vilkovisky, G.A.: Relativistic S-matrix of dynamical systems with boson and fermion constraints. Phys. Lett. B 69(3), 309–312 (1977)
Batalin, I.A., Vilkovisky, G.A.: Feynman rules for reducible gauge theories. Phys. Lett. B 120(1–3), 166–170 (1983)
Batalin, I.A., Vilkovisky, G.A.: Quantization of gauge theories with linearly dependent generators. Phys. Rev. D 28(10), 2567 (1983)
Batalin, I.A., Vilkovisky, G.A.: Gauge algebra and quantization. In: Quantum Gravity. pp. 463–480, Springer (1984)
Calaque, Damien: Lagrangian structures on mapping stacks and semiclassical TFTs. Stacks Categ. Geom. Topol. Algebra 643, 1–23 (2015)
Canepa, G., Cattaneo, A.S., Schiavina, M.: Boundary structure of General Relativity in tetrad variables. Adv. Theor. Math. Phys. 25, 2 (2021). https://doi.org/10.4310/ATMP.2021.v25.n2.a3
Canepa, G., Cattaneo, A.S., Schiavina, M.: General relativity and the AKSZ construction. Commun. Math. Phys. 385(3), 1571–1614 (2021). https://doi.org/10.1007/s00220-021-04127-6
Cattaneo, A.S., Moshayedi, N.: Introduction to the BV-BFV formalism. Rev. Math. Phys. 32(09), 2030006 (2020)
Cattaneo, A.S., Mnev, P., Reshetikhin, N.: Classical BV theories on manifolds with boundary. Commun. Math. Phys. 332(2), 535–603 (2014)
Cattaneo, A.S., Mnev, P., Reshetikhin, N.: Perturbative quantum gauge theories on manifolds with boundary. Commun. Math. Phys. 357(2), 631–730 (2018)
Cattaneo, A.S., Mnev, P., Reshetikhin, N.: A cellular topological field theory. Commun. Math. Phys. 374(2), 1229–1320 (2020)
Cattaneo, A.S., Mnev, P., Wernli, K.: Split Chern–Simons theory in the BV-BFV formalism. In: Quantization, Geometry and Noncommutative Structures in Mathematics and Physics. pp. 293–324, Springer (2017)
Cattaneo, A.S., Moshayedi, N., Wernli, K.: Globalization for perturbative quantization of nonlinear split AKSZ sigma models on manifolds with boundary. Commun. Math. Phys. 372(1), 213–260 (2019)
Calaque, D., Pantev, T., Toën, B., Vaquié, M., Vezzosi, G.: Shifted Poisson structures and deformation quantization. J. Topol. 10(2), 483–584 (2017)
Cattaneo, A.S., Schiavina, M.: BV-BFV approach to general relativity: Einstein–Hilbert action. J. Math. Phys. 57(2), 023515 (2016)
Cattaneo, A.S., Schiavina, M.: On time. Lett. Math. Phys. 107(2), 375–408 (2017)
Cattaneo, A.S., Schiavina, M.: BV-BFV approach to General Relativity: Palatini–Cartan–Holst action. In: Advances in Theoretical and Mathematical Physics, vol. 23(8) (2019)
Canepa, G., Schiavina, M.: Fully extended BV-BFV description of general relativity in three dimensions. In: Advances in Theoretical and Mathematical Physics, vol. 26(3) (2022)
Cattaneo, A.S., Schiavina, M., Selliah, I.: BV equivalence between triadic gravity and BF theory in three dimensions. Lett. Math. Phys. 108(8), 1873–1884 (2018)
Deligne, P., Etingof, P., Freed, D.S., Jeffrey, L.C., Kazhdan, D., Morgan, J.W., Morrison, D.R., Witten, E.: Quantum fields and strings. A course for mathematicians. In: Material from the Special Year on Quantum Field Theory held at the Institute for Advanced Study. Citeseer. (1999)
Dubois-Violette, M.: Systèmes dynamiques contraints: l’approche homologique. In: Annales de l’institut Fourier. vol. 37(4), pp. 45–57 (1987)
Fisch, J.M., Henneaux, M.: Homological perturbation theory and the algebraic structure of the antifield-antibracket formalism for gauge theories. Commun. Math. Phys. 128(3), 627–640 (1990)
Fredenhagen, K., Rejzner, K.: Batalin–Vilkovisky formalism in the functional approach to classical field theory. Commun. Math. Phys. 314(1), 93–127 (2012)
Fredenhagen, K., Rejzner, K.: Local covariance and background independence. In: Quantum Field Theory and Gravity. pp. 15–23, Springer (2012)
Getzler, E.: The Batalin–Vilkovisky cohomology of the spinning particle. J. High Energy Phys. 2016(6), 17 (2016)
Getzler, E.: The spinning particle with curved target. Commun. Math. Phys. 352(1), 185–199 (2017)
Gomis, J., Paris, J., Samuel, S.: Antibracket, antifields and gaugetheory quantization. Phys. Rep. 259(1–2), 1–145 (1995)
Grigoriev, Maxim: Parent formulation at the Lagrangian level. J. High Energy Phys. 2011(7), 61 (2011). https://doi.org/10.1007/JHEP07(2011)061
Henneaux, M.: Hamiltonian form of the path integral for theories with a gauge freedom. Phys. Rep. 126(1), 1–66 (1985)
Henneaux, M.: Lectures on the antifield-BRST formalism for gauge theories. Nuclear Phys. B Proc. Suppl. 18(1), 47–105 (1990)
Henneaux, Marc: Elimination of the auxiliary fields in the antifield formalism. Phys. Lett. B 238(2), 299–304 (1990). https://doi.org/10.1016/0370-2693(90)91739-X. (issn: 0370-2693)
Iraso, R., Mnev, P.: Two-dimensional Yang-Mills theory on surfaces with corners in Batalin–Vilkovisky formalism. Commun. Math. Phys. 370(2), 637–702 (2019)
McCloud, P.: Jet bundles in quantum field theory: the BRST-BV method. Class. Quantum Gravity 11(3), 567 (1994)
McMullan, D.: Constraints and BRST symmetry. Report No. Imperial/TP/83-84/21 (1984)
Mnev, P.: Lectures on Batalin–Vilkovisky formalism and its applications in topological quantum field theory. In: arXiv preprint arXiv:1707.08096 (2017)
Martinoli, S., Schiavina, M.: BV analysis of Polyakov and Nambu–Goto theories with boundary. Lett. Math. Phys. 112(2), 35 (2022). https://doi.org/10.1007/s11005-022-01526-1
Mnev, P., Schiavina, M., Wernli, K.: Towards holography in the BV-BFV setting. In: Annales Henri Poincaré. Vol. 21(3), pp. 993–1044. Springer (2020)
Manes, J., Stora, R., Zumino, B.: Algebraic study of chiral anomalies. Commun. Math. Phys. 102(1), 157–174 (1985)
Piguet, O.: Ghost equations and diffeomorphism-invariant theories. Class. Quantum Gravity 17(18), 3799 (2000)
Pantev, T., Toën, B., Vaquié, M., Vezzosi, G.: Shifted symplectic structures. Publ. Math. l’IHÉS 117, 271–328 (2013)
Rejzner, K.: Batalin–Vilkovisky formalism in locally covariant field theory. PhD thesis. (2011)
Roytenberg, D.: AKSZ-BV formalism and Courant algebroid-induced topological field theories. Lett. Math. Phys. 79(2), 143–159 (2007)
Rejzner, Kasia, Schiavina, Michele: Asymptotic Symmetries in the BV-BFV Formalism. Commun. Math. Phys. 385(2), 1083–1132 (2021). https://doi.org/10.1007/s00220-021-04061-7
Rocek, M., Zeitlin, A.M.: Homotopy algebras of differential (super) forms in three and four dimensions. Lett. Math. Phys. 108(12), 2669–2694 (2018)
Schätz, F.: BFV-complex and higher homotopy structures. Commun. Math. Phys. 286(2), 399 (2009)
Schätz, F.: Coisotropic submanifolds and the BFV-complex. PhD thesis. University of Zurich (2009). url: http://user.math.uzh.ch/cattaneo/schaetz.pdf
Schiavina, M.: BV-BFV approach to General Relativity. PhD thesis. University of Zurich (2015). url: http://user.math.uzh.ch/cattaneo/schiavina.pdf
Schwarz, A.: Geometry of Batalin–Vilkovisky quantization. Commun. Math. Phys. 155(2), 249–260 (1993)
Sharapov, A.A.: Variational tricomplex, global symmetries and conservation laws of gauge systems. In: SIGMA 12 (2016)
da Silva, A.C.: Lectures on symplectic geometry. Springer (2008)
Stasheff, J.: Homological reduction of constrained Poisson algebras. Journal of Differential Geometry 45(1), 221–240 (1997)
Stasheff, J.: The (secret?) homological algebra of the Batalin-Vilkovisky approach. Contemp. Math. 219, 195–210 (1998)
Tyutin, I.V.: Gauge Invariance in Field Theory and Statistical Physics in Operator Formalism. In: (Dec. 2008)
Weibel, C.A.: An Introduction to Homological Algebra, vol. 38. Cambridge University Press, Cambridge (1995)
Witten, E.: Topological sigma models. Commun. Math. Phys. 118(3), 411–449 (1988)
Zumino, B.: Cohomology of gauge groups: cocycles and Schwinger terms. Nucl. Phys. B 253, 477–493 (1985)
Acknowledgements
We would like to thank G. Barnich, M. Grigoriev and M. Henneaux for instructive discussions on the topic of equivalence of field theories in the BV formalism, relevant to this work.
Funding
Open access funding provided by Università degli Studi di Pavia within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Competing Interests
The authors have no competing interests to declare that are relevant to the content of this article.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
A. S. C. acknowledges partial support of SNF Grant No. 200020_192080. This research was (partly) supported by the NCCR SwissMAP, funded by the Swiss National Science Foundation.
Appendices
Appendix A: Lengthy calculation for Yang–Mills
1.1 A.1. Lemmata used in Theorem 3.4.4
In this Appendix we present the lemmata used in Theorem 3.4.4 and the respective detailed proofs and calculations.
Lemma A.1.1
Let \(\phi : \mathcal {F}_{2YM}^{{\mathrm {lax}}}\rightarrow \mathcal {F}_{1YM}^{\mathrm {lax}}\) be defined through
Its pullback map \(\phi ^*\) is a chain map w.r.t. \((\mathcal {L}_{Q_i}-\mathrm {d})\) and maps the lax BV–BFV data of the first-order theory as
Proof
The computations are in the same line as the ones presented in the example of Classical Mechanics on a curved background (cf. Lemma 3.3.5). One should keep in mind that \({Q_2}\star \tilde{F}_{\tilde{A}}= [\tilde{c},\star \tilde{F}_{\tilde{A}}]\). \(\square \)
Lemma A.1.2
Let \(\psi : \mathcal {F}_{1YM}^{\mathrm {lax}}\rightarrow \mathcal {F}_{2YM}^{{\mathrm {lax}}}\) be the map defined through
Its pullback map \(\psi ^*\) is a chain map w.r.t. \((\mathcal {L}_{Q_i}-\mathrm {d})\) and maps the lax BV–BFV data of the second-order theory as
where
Proof
The chain map conditions in the case of \(\tilde{A}\) and \(\tilde{c}\) are straightforward to check. In the case of \(\tilde{A}^\dagger \), we first note that
as such we have
Before addressing the case of \(c^\dagger \), we compute
Using \([\alpha ,\star \beta ] = - [\beta ,\star \alpha ]\) for \(\alpha ,\beta \in \Omega ^\bullet (M,\mathfrak {g})\), the graded Jacobi identity for \(c,B\), \(\star B\) and \([F_{A},\star B^\dagger ] = \mathrm {d}_{A}^2 \star B^\dagger \), this yields
With this in hand, we have
Let now \(\Delta \theta _{2}^\bullet {:}{=}\psi ^* \theta _{2}^\bullet - \theta _1^\bullet \) and \(\Delta L_{2}^\bullet {:}{=}\psi ^* L_{2}^\bullet - L_{1}^\bullet \). We need to check whether
Note that \(f_1^1 = f_1^2 = 0\). Recall that we only need to compute \(\Delta L_{2}^0\), as \(\Delta L_{2}^k\) for \(k>0\) is determined by \(\Delta \theta _{2}^\bullet \), as shown in Proposition 2.6.5.
Computation of \(\Delta \theta _{2}^0\): Explicitly computing \(\Delta \theta _{2}^0 = \psi ^* \theta _{2}^0 - \theta _1^0\) yields
Before tackling \(\mathcal {L}_{{Q_1}} \beta _1^0 = \mathrm {Tr}[ \frac{1}{2} \mathcal {L}_{{Q_1}}(B^\dagger \star \delta B^\dagger )]\), we note that
where we ignored the term \([B^\dagger \delta c, \star B^\dagger ]\) since \(\mathrm {Tr}\big [[\alpha , \beta \gamma ]\big ] = 0\) for \(\alpha ,\beta ,\gamma \in \Omega ^\bullet (M,\mathfrak {g})\). As such
Therefore, keeping in mind that \(\delta F_{A}= -\mathrm {d}_{A}\delta A\),
Computation of \(\Delta \theta _{2}^1\): We have \(\Delta \theta _{2}^1 = \psi ^* \theta _{2}^1 - \theta _1^1\) and as such
Noting the identities
we see that
Computation of \(\Delta \theta _{2}^2\): \(\Delta \theta _{2}^2 = \psi ^* \theta _{2}^2 - \theta _1^2\) takes the form
Furthermore since \( [c, \star B^\dagger \delta c] = [c, \star B^\dagger ] \delta c - \star B^\dagger [c,\delta c], \) we have
Computation of \(\Delta L_{2}^0\): Explicitly \(\Delta L_{2}^0 = \psi ^* L_{2}^0 - L_{1}^0\) yields
Before computing \(\mathcal {L}_{Q_1}\iota _{{Q_1}} \beta _1^0 - \mathrm {d}\iota _{{Q_1}} \beta _1^1 + \mathrm {d}f_1^1\) we note that
and
Since \(f_1^1 = 0\) we therefore have
\(\square \)
Lemma A.1.3
The composition map \(\lambda ^* = \phi ^* \circ \psi ^*: \mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _2 \rightarrow \mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _2\) is the identity
and as such the identity in cohomology.
Proof
Keeping in mind that \(\phi ^* B^\dagger =0\), this is a straightforward calculation. \(\square \)
Lemma A.1.4
The composition map \(\chi ^* = \psi ^* \circ \phi ^*: \mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _1 \rightarrow \mathfrak {BV}\text {-}\mathfrak {BFV}^\bullet _1\) acts as
and is homotopic to the identity.
Proof
The explicit computation for \(\chi ^*\) is again straightforward. To show that it is indeed homotopic to the identity, we choose the vector field \({R_1}\in \mathfrak {X}_{\text {evo}}(\mathcal {F}_{1YM}^{\mathrm {lax}})[-1]\) to act as
We now want to compute \(\chi ^*_s = e^{s\mathcal {L}_{D_1}}\), with \(D_1= [{R_1},{Q_1}]\), and show that \(\lim _{s\rightarrow \infty } \chi ^*_s = \chi ^*\).
Computation for \(A\) and \(c\):
Computation for B:
Noting that \(D_1A= 0\) implies \(D_1F_{A}= 0\), we have
Computation for \(B^\dagger \):
Computation for \(A^\dagger \):
Computation for \(c^\dagger \):
Thus we have shown that \(\chi ^*\) is homotopic to the identity. \(\square \)
Lemma A.1.5
The map \(\chi ^*\) is the identity in cohomology.
Proof
We have to show that the map \(h_\chi \) converges on \(\mathcal {F}_{1YM}^{\mathrm {lax}}\), namely
As \({R_1}A= {R_1}c= {R_1}A^\dagger = {R_1}B^\dagger = {R_1}c^\dagger = 0\) we have
In the case of \(B\) we compute
As such \(h_\chi \) converges and \(\chi ^*\) is the identity in cohomology. \(\square \)
Appendix B: Lengthy Calculations for the Jacobi theory/1D GR case
1.1 B.1 Preliminaries for calculations—tensor number
This appendix has two purposes. It serves as a preliminary for the computations, by presenting a straightforward way to compute the action of the Chevalley–Eilenberg differentials \(\gamma _J\), \(\gamma _{GR}\), and it provides an explaination for why they act as \(\mathcal {L}_{\xi \partial _t}\) on the antifields and antighosts (see Remarks 3.5.3 and 3.5.5). We will be using the 1D GR theory in this discussion but all considerations hold for the Jacobi theory as well.
Let M be a manifold of arbitrary dimension and \(X = X^\sigma \partial _\sigma \in \mathfrak {X}(M)\). Recall that the Lie derivative \(\mathcal {L}_X\) acts on the components of a tensor field \(\mathbf {A} \in \mathcal {T}^n_m(M)\) of rank-(n, m) as
Let now \(M=I \subset \mathbb {R}\) denote an interval and \(X = \xi \partial _t \in \mathfrak {X}(I)[I]\) be the ghost field. In this setting, Eq. (26) is greatly simplified since \(\mu _i = \nu _i = t\), where t is the coordinate on I. Let \(\mathbf {A} \in \mathcal {T}^n_m(I)\) and denote its component by A. We define the tensor number as \(t(A) = (m-n)\). We then have
As an example, we list the tensor number for the fields, ghosts, antifields and antighosts of the 1D GR theory
which explains why we claimed that the Chevalley–Eilenberg differential \(\gamma _{GR}\) acts as \(\mathcal {L}_{\xi \partial _t}\) on the antifields and antighosts in Remark 3.5.5. As such we have \(\gamma _{GR} = \mathcal {L}_{\xi \partial _t}\) on all the functions on \(\{q,g,q^+,g^+,\xi ^+\}\) and \(\gamma _{GR} = \frac{1}{2}\mathcal {L}_{\xi \partial _t}\) on the ghost. Since the ghost is a special case, we assume that the tensor fields only depend on \(\{q,g,q^+,g^+,\xi ^+\}\) for the rest of the discussion. When computing \(\gamma _{GR}(\cdot )\), we then consider the parts with ghosts and without separately.
The discussion until now only holds for tensor fields that only depend on the zeroth jets of \(\{q,g,q^+,g^+,\xi ^+\}\). The action of \(\gamma _{GR}\) is then naturally extended to all jets since we assume that \({Q_{GR}}\), and as such \(\gamma _{GR}\), is evolutionary, i.e. \([\mathcal {L}_{\gamma _{GR}},\mathrm {d}] = 0\). For example, if A only depends on 0th-jets then
For a general tensor field \(\mathcal {A}\) which depends on arbitrary jets of the fields, we have
for some real scalars \(t_n(\mathcal {A})\) and some functions \(a_n\) that depend on the jets of \(\Phi ,\Phi ^+ \in \mathcal {F}_{GR}\). In order to extend the notion of tensor number to such objects we define
Definition B.1.1
Let \(\mathcal {A}\) be a tensor field that depends on arbitrary jets of \(\Phi ,\Phi ^+ \in \mathcal {F}_{GR}\). The tensor number \(t(\mathcal {A})\) of \(\mathcal {A}\) is defined as the scalar \(t_1(\mathcal {A})\) in Eq. (29).
Note that in order to compute \(\gamma _{GR}\) we only have to find out what the \(t_n(\mathcal {A})\) are. For most of the computations, we are only going to encounter tensor fields that depend on the zeroth jets, and they will atmost include second jets. As such we want to find a pragmatic way of computing \(t(\mathcal {A})\). If necessary, we then look at higher \(t_n(\mathcal {A})\), for example by following Eq. (28). We list some useful properties of \(t(\cdot )\), since they immensely simplify the explicit computations of \(\gamma _{GR}(\mathcal {A})\).
Proposition B.1.2
Let \(\mathcal {A},\mathcal {B}\) be two tensor fields that depend on an arbitrary number of jets of \(\Phi ,\Phi ^+ \in \mathcal {F}_{GR}\). The tensor number has the following properties:
-
(1)
\(t(\mathcal {A}\mathcal {B}) = t(\mathcal {A}) + t(\mathcal {B})\),
-
(2)
\(t(\mathcal {A}^n) = n t(\mathcal {A})\),
-
(3)
\(t(\dot{\mathcal {A}}) = 1 + t(\mathcal {A})\).
Proof
Note that the only two terms from Eq. (29) that can contribute to these properties are the first two. Therefore we will only show the computations for two tensor fields A, B that only depend on the zeroth jets, but they extend to the general case in a straightforward way.
-
(1)
Let \(gh(A) = a\). We compute
$$\begin{aligned}&\gamma _{GR} (AB) = (\mathcal {L}_{\xi \partial _t} A) B + (-1)^{a} A(\mathcal {L}_{\xi \partial _t} B)\\&\quad = (\xi \dot{A} + t(A) {\dot{\xi }} A) B + (-1)^{a}A (\xi \dot{B} + t(B) {\dot{\xi }} B) \\&\quad = \xi \partial _t(AB) + [t(A)+t(B)] {\dot{\xi }}(AB). \end{aligned}$$ -
(2)
Using that \(\gamma _{GR}\) is a derivative we see that
$$\begin{aligned} \gamma _{GR} A^n = n A^{n-1} \gamma _{GR} A = n A^{n-1} [\xi \dot{A} + t(A){\dot{\xi }} A] = \xi \partial _t A^n + nt(A) {\dot{\xi }} A^n. \end{aligned}$$ -
(3)
This equality follows directly from Eq. (28). \(\square \)
We finish this section by presenting the action of \(\gamma _{GR}\) tensor numbers for some relevant quantities
We exemplify this method of calculating \(\gamma _{GR}(\mathcal {A})\) with the computation of \(\mathcal {A} = T = \frac{m}{2}\Vert \dot{q}\Vert ^2\). Recall that \(\gamma _{GR}q = \xi \dot{q}\) and as such \(\gamma _{GR} \dot{q} = \xi \ddot{q} + {\dot{\xi }} \dot{q}\). \(\gamma _{GR} T\) could potentially have terms proportional to \(\ddot{\xi }\) since it depends on the derivative \(\dot{q}\), but as there are no such terms in \(\gamma _{GR} \dot{q}\) there will not be any in \(\gamma _{GR}T\). As such we have
1.2 B.2 Lemmata used in Theorem 3.5.6
In this subsection we explicitly present the lemmata used in Theorem 3.5.6 and the detailed calculations.
Lemma B.2.1
Let \(\phi : \mathcal {F}_{J}^{{\mathrm {lax}}}\rightarrow \mathcal {F}_{GR}^{\mathrm {lax}}\) be defined through
Its pullback map \(\phi ^*\) is a chain map w.r.t. \((\mathcal {L}_{Q_i}-\mathrm {d})\) and maps the lax BV–BFV data of the first-order theory as
Proof
The proof for the chain map condition \(\phi ^* \circ {Q_{GR}}= {Q_{J}}\circ \phi ^*\) is a matter of straightforward computations
\(\phi ^*\) is then a chain map w.r.t. \(\mathcal {L}_{Q_i} - \mathrm {d}\) due to Lemma 3.1.1. Applying \(\phi ^*\) to \((\theta _{GR}^\bullet ,L_{GR}^\bullet )\) gives
\(\square \)
Lemma B.2.2
Let \(\psi : \mathcal {F}_{GR}^{\mathrm {lax}}\rightarrow \mathcal {F}_{J}^{{\mathrm {lax}}}\) be the map defined through
where \(\eta \, {:}{=}\, gE/T\) and the \(\tilde{q}^+_\parallel ,\tilde{q}^+_\perp \) notation works as in Eq. 23. Its pullback map \(\psi ^*\) is a chain map w.r.t. \((\mathcal {L}_{Q_i}-\mathrm {d})\) and maps the lax BV–BFV data of the first-order theory as
where
with \(\Omega = \sqrt{g}T + g \sqrt{TE}\).
Proof
We start with the chain map condition \(\psi ^*\circ {Q_{J}}= {Q_{GR}}\circ \psi ^*\). In the case of the fields \(\{\tilde{q},\tilde{\xi }\}\) we simply compute
When dealing with the antifields \(\{\tilde{q}^+,\tilde{\xi }^+\}\) it is useful to first show that \(\psi ^*\) is a chain map w.r.t. to the Chevalley–Eilenberg differentials and then proceed to show that is also fulfils this condition w.r.t. the Koszul–Tate differentials.
In the case of the Chevalley–Eilenberg differentials \(\gamma _J,\gamma _{GR}\) it is sufficient to investigate how \(\psi ^*\) changes the tensorial properties of the fields, i.e. to analyse the tensor number introduced “Section B.1.” Indeed using \(\psi ^* \tilde{\xi }= \xi \) we can compute
The most general form of the other side of the chain map condition \(\gamma _{GR}\psi ^*{\tilde{\Phi }}^+\) is given by
where the field dependent coefficients \(a_n\) do not vanish trivially since the expressions for \(\psi ^*{\tilde{\Phi }}^+\) depend on derivative terms such as \(\dot{g}, \dot{g}^+\), and \(\dot{\text {EL}_g}\). In order to show that the two sides of the chain map condition given in Eqs. (31) and (32) are equal, we need prove that \(\psi ^*\) preserves the tensor number \(t(\cdot )\) and that the coefficients \(a_n\) vanish
Recalling that \(t(g) = t(T) = 2\), we see that the rescaling factor \(\eta ^{3/2}\) has vanishing tensor number
Furthermore, since \(t_{n\ge 2}(g) = t_{n\ge 2}(T) = 0\), we have \(\gamma _{GR}\eta = \xi {\dot{\eta }}\) and thus it can be ignored, since it neither changes \(t(\cdot )\) nor \(t_{n\ge 2}(\cdot )\).
We start by showing \(\psi ^* \circ \gamma _J = \gamma _{GR} \circ \psi ^*\) on the antifield \(\tilde{q}^+\). Using Eqs. (27), (28) and (30), it then follows that all the terms in \(\psi ^*\tilde{q}^+_\parallel \) have tensor number 1
showing that \(t(\psi ^* \tilde{q}^+_\parallel ) = 1 = t(\tilde{q}^+_\parallel )\). We still need to check what happens with the terms in \(\gamma _{GR} \psi ^*\tilde{q}^+_\parallel \) that are proportional to \(\ddot{\xi }\). Using Eq. (28), we can see that they take the form
and thus \(\psi ^* \gamma _{J} \tilde{q}^+_\parallel = \gamma _{GR} \psi ^*\tilde{q}^+_\parallel \).
In the case of \(\tilde{q}^+_\perp \) we have \(t(q^+_\perp ) = t(q^+) + 2t(u) = t(q^+)\) since \(t(u) = 0\). The same reasoning applies to \(\ddot{q}_\perp \), but here we need to consider terms which are proportional to higher derivatives of the ghost since
The terms proportional to \(\ddot{\xi }\) in \(\gamma _{GR}\psi ^* \tilde{q}_\perp \) come from \(\gamma _{GR}\ddot{q}\) and \(u(u\cdot \gamma _{GR}\ddot{q})\). As such they take the form
hence showing that there are no terms proportional to \(\ddot{\xi }\) in \(\gamma _{GR} \psi ^*\tilde{q}^+_\perp \). Furthermore, \(t(g^+\ddot{q}_\perp ) = -1 + 2 = 1\) and as such \(\psi ^*\gamma _{J} \tilde{q}^+_\perp = \gamma _{GR}\psi ^*\tilde{q}^+_\perp \). In order to check the chain map condition for \(\tilde{\xi }^+\) first note that
since \(\gamma _{GR} g^+ = \xi \dot{g}^+ - {\dot{\xi }} g^+\). This in turn implies that
As such \(t(\dot{g}^+ g^+) = -1\) and \(t(g^{3/2}\dot{g}^+ g^+) = \frac{3}{2} \cdot 2 - 1 = 2\). Furthermore, \(t(\xi ^+) = 2\) then means that \(t(\psi ^*\tilde{\xi }^+) = t(\tilde{\xi }^+) = 2\) and since there are no other derivative terms in \(\psi ^* \tilde{\xi }^+\), we have \(a_n = 0\), which completes the proof for
We now move to the Koszul–Tate differentials. In the case of \(\tilde{q}^+_\parallel \) we first note that
since \(\delta _J \tilde{\xi }^+ = -\tilde{q}^+\cdot \dot{\tilde{q}}\) and \(\delta ^2_J = 0\). The term \(\delta _{GR} \psi ^*\tilde{q}^+_\parallel \) vanishes for a similar reason
where we used that \(\delta _{GR} \xi ^+ = -q^+\cdot \dot{q} + g^+\dot{g} + 2\dot{g}^+ g\) and \(\delta _{GR}(\dot{g}^+ g^+) = \dot{\text {EL}_g}g^+ - \dot{g}^+ \text {EL}_g\).
The computations for the perpendicular part of \(\tilde{q}^+\) go as follows
the other side of the equation reads
![](http://media.springernature.com/lw519/springer-static/image/art%3A10.1007%2Fs11005-023-01646-2/MediaObjects/11005_2023_1646_Equ398_HTML.png)
where we have used that \(T = m\Vert \dot{q}\Vert /2\) and \(\dot{T} = m \ddot{q} \cdot \dot{q}\). The last term can be expanded to give
Putting everything together results in
which shows that \(\psi ^* \delta _{J} \tilde{q}^+_\perp = \delta _{GR} \psi ^* \tilde{q}^+_\perp \). Finally we show that \(\psi ^*\) acts as a chain map w.r.t. \(\delta _{KT}\) on \(\xi ^+\). We have
finally showing that
which show that \(\psi ^*\) is indeed a chain map.
We now present the calculations for \((\psi ^*\theta ^\bullet _J,\psi ^*L^\bullet _J )\). Recall that \(\theta ^\bullet _J = \theta ^0_J \,\mathrm {d}t + \theta ^1_J\), \(L^\bullet _J = L^0_J \,\mathrm {d}t + L^1_J\) with
as in Proposition/Definition 3.5.2. Specifically we want compute
where we skip \(\Delta L^1\) as it is determined by \(\Delta \theta ^\bullet \). We will from now on drop the label GR in order to keep the calculations cleaner, we will denote the Koszul–Tate operator by \(\delta _{KT}\) to avoid confusion with the de Rham differential \(\delta \). The terms on the left hand sides can be computed explicitly by using the form of \(\psi ^*\). We get:
The following identities are going to be used throughout the calculations:
where \(\Omega = \sqrt{g}T + g\sqrt{TE}\) with \(t(\Omega ) = 3\). To see that the first Eq. (33) holds we compute
For the second one (34) we have
The term in the brackets can be changed to
and as such
Computation of \(\Delta \theta ^0\): We want to show
In order to compute \(\mathcal {L}_Q\beta ^0\) we decompose the cohomological vector field as \(Q = \gamma + \delta _{KT}\). Starting with \(\mathcal {L}_\gamma \), we write \(\beta ^0 = A_1 \delta g^+ + A_\perp \cdot \delta q + A_2 \cdot \delta q\) where
with the following tensor and ghost numbers:
We then have
![](http://media.springernature.com/lw539/springer-static/image/art%3A10.1007%2Fs11005-023-01646-2/MediaObjects/11005_2023_1646_Equ399_HTML.png)
which shows
Before addressing the computation of \(\mathcal {L}_{\delta _{KT}}\beta ^0\) we note that
The calculation for the first term in \(\mathcal {L}_{\delta _{KT}}\beta ^0\) goes as follows
Gathering everything in front of \(\delta g\) we have
The terms in front of \(\delta T\) simplify to
![](http://media.springernature.com/lw368/springer-static/image/art%3A10.1007%2Fs11005-023-01646-2/MediaObjects/11005_2023_1646_Equ400_HTML.png)
and as such:
The rest of \(\mathcal {L}_{\delta _{KT}}\beta ^0\) yields
Gathering everything gives
which in turn implies
The last term vanishes due to Eq. (34). In order to show that the term proportional to \(g^+\) vanishes as well we note:
Then
![](http://media.springernature.com/lw476/springer-static/image/art%3A10.1007%2Fs11005-023-01646-2/MediaObjects/11005_2023_1646_Equ401_HTML.png)
Taking this into account and introducing \(\mathrm {d}t\) in v (36) yields
since \(|\beta ^1|=0\).
Computation of \(\Delta \theta ^1\): We want to compute
First note that Eq. (37) implies \(\mathcal {L}_Q \beta ^0 = \Delta \theta ^0 + \partial _t \beta ^1- \delta f^0\), which we use to compute \(\mathcal {L}_Q \beta ^1\). Since
we have
Keeping in mind that
the last term reads
which results in
![](http://media.springernature.com/lw439/springer-static/image/art%3A10.1007%2Fs11005-023-01646-2/MediaObjects/11005_2023_1646_Equ402_HTML.png)
Showing \(\Delta \theta ^1 = \mathcal {L}_Q \beta ^1 + \delta f^1\) as desired.
Computation of \(\Delta L^0\): We want to show
Note that \(\beta ^0\) is of the form \(\beta ^0 = a_i \delta b_i\), where we sum over i. We have
Starting with the term \(A_1 \delta g^+\) (see Eq. (35)) we have
where we used Eq. (34). As such
For the term \(A_\perp \cdot \delta q\) we have
For the computation w.r.t. the term
first define
with \(t(B) = \frac{7}{2}\cdot 2- 2\cdot 3 + 2 + 1 - 2 = 2\) and note
As such
For the last term in \(\beta ^0\)
we have
All in all the expression for \(\mathcal {L}_Q \iota _Q \beta ^0\) is
![](http://media.springernature.com/lw549/springer-static/image/art%3A10.1007%2Fs11005-023-01646-2/MediaObjects/11005_2023_1646_Equ44_HTML.png)
where we used that
Recall that we are want to show \(\Delta L^0 \,\mathrm {d}t = \mathcal {L}_Q \iota _Q \beta ^0 \,\mathrm {d}t- \mathrm {d}\iota _Q \beta ^1 + \mathrm {d} f^1\). The last two terms read
which can be simplified by noting that
and
The resulting expression for \(\mathrm {d}\iota _Q \beta ^1 - \mathrm {d} f^1\) is then
which is exactly the total derivative in Eq. (38). Hence
finishing the proof. \(\square \)
Lemma B.2.3
The composition map \(\lambda ^*\) is the identity
and as such the identity in cohomology.
Proof
On the matter and ghost fields \(\{\tilde{q}, \tilde{\xi }\}\) this is trivial, since at this level both \(\psi ^*\) and \(\phi ^*\) simply interchange \(\tilde{q}\) with q and \(\tilde{\xi }\) with \(\xi \)
In order to compute the action of \(\lambda ^*\) on the antifield and antighost, first recall that \(\phi ^* g^+ = 0\) and note that \(\phi ^*g = T/ E\) implies \(\phi ^*(\eta ^{3/2}) = (\phi ^*(g)E/T)^{3/2} = 1\). We then have
thus showing \(\lambda = \mathrm {id}_J\). \(\square \)
We now prove that \({R_{GR}}\) commutes with the Chevalley–Eilenberg differential \(\gamma _{GR}\) if \({R_{GR}}\xi = 0\). Effectively, this means that we can ignore the Chevalley–Eilenberg part of \({Q_{GR}}\) in \({D_{GR}}= [{Q_{GR}},{R_{GR}}]\) and only have to regard the Koszul–Tate differential when explicitly computing the action of \({D_{GR}}\). Recall that the Chevalley–Eilenberg differential acts as \(\gamma _{GR} = \mathcal {L}_{\xi \partial _t}\) on \(\{q,g,q^+,g^+,\xi ^+\}\) and as \(\gamma _{GR} = \frac{1}{2}\mathcal {L}_{\xi \partial _t}\) on \(\{\xi \}\).
Lemma B.2.4
Let \({R_{GR}}\in \mathfrak {X}_{\mathrm {evo}}(\mathcal {F}_{GR})\) be an evolutionary vector field on \(\mathcal {F}_{GR}\) with the following properties
-
\({R_{GR}}\) vanishes on \(\mathfrak {X}[1](I)\),
-
\({R_{GR}}\) preserves the tensor rank on I,
and let \(\gamma _{GR}\) be the Chevalley–Eilenberg differential of the 1D GR theory. Then \([{R_{GR}},\gamma _{GR}] = 0\).
Proof
Recall that all the fields we are considering are components of tensor fields over I. In particular, note that the property that \({R_{GR}}\) vanishes on \(\mathfrak {X}[1](I)\) implies \({R_{GR}}\xi = 0\), since \(\xi \partial _t \in \mathfrak {X}[1](I)\). As \(\gamma _{GR} \sim \mathcal {L}_{\xi \partial _t}\), it suffices to show that \([{R_{GR}},\mathcal {L}_{\xi \partial _t}] = 0\) on functions, 1-forms and vector fields over I. We assume that all objects have an internal grading throughout the proof in order to account for the ghost number.
We will first show \([{R_{GR}},\gamma _{GR}]=0\) for functions and 1-forms. Since \(\mathcal {L}_{\xi \partial _t} = [\iota _{\xi \partial _t}, \mathrm {d}]\) on \(\Omega ^\bullet (I)\) we have
where we used that \({R_{GR}}\) is evolutionary. As such it is sufficient to show that \(\Omega ^\bullet (I) \subset \ker [{R_{GR}},\iota _{\xi \partial _t}]\). By definition all functions on I are in the kernel of \(\iota _{\xi \partial t}\): \(C^\infty (I) = \Omega ^0(I) \subset \ker \iota _{\xi \partial _t}\). Let \(f\in \Omega ^0(I)\). Since we assume that \({R_{GR}}\) preserves the tensor rank we also have \({R_{GR}}f\in \Omega ^0(I)\), then
and as such \([{R_{GR}},\iota _{\xi \partial _t}]f = 0\). Let now \(\varpi = f \mathrm {d}t \in \Omega ^1(I)\) be a 1-form. Taking into account that \(|\mathrm {d}t| = 1\), we have
thus showing that \(\Omega ^0(I) \times \Omega ^1(I) \subset \ker [{R_{GR}},\iota _{\xi \partial _t}]\). This implies
where we used \(f \in \Omega ^0(I) \subset \ker [{R_{GR}},\iota _{\xi \partial _t}]\), \(\mathrm {d}f \in \Omega ^1(I) \subset \ker [{R_{GR}},\iota _{\xi \partial _t}]\) and \(\mathrm {d}\varpi = 0\), since \(\Omega ^1(I)=\Omega ^\text {top}(I)\).
Consider now a vector field \(X = f\partial _t \in \mathfrak {X}(I)\) of degree n. In this case we have:
where we used \(\partial _t({R_{GR}}f) = {R_{GR}}\dot{f}\). Since \([{R_{GR}},\mathcal {L}_{\xi \partial _t}] = 0\) on functions, 1-forms and vector fields it holds for all tensors. As such we have \([{R_{GR}},\gamma _{GR}] = 0\) on \(\mathcal {F}_{GR}\). \(\square \)
A direct implication of Lemma B.2.4 is that the vector field \({D_{GR}}\) reduces to
Lemma B.2.5
The composition map \(\chi ^*\) acts as
and is homotopic to the identity.
Proof
Recall that \(\chi ^* = \psi ^* \circ \phi ^*\) and let \(\varphi _i \in \{q,q^+,\xi ,\xi ^+\}\). In this case we have \(\phi ^*\varphi _i = {\tilde{\varphi }}_i\) and as such \(\chi ^* \varphi _i = \psi ^* {\tilde{\varphi }}_i\), which reproduces the expressions above due to the explicit form of \(\psi ^*\). For \(\{g,g^+\}\) we compute
In order to show that \(\chi ^*\) is homotopic to the identity we choose the vector field \({R_{GR}}\) to act as
Since \({R_{GR}}\xi = 0\) we can use Lemma B.2.4. We start with the computation for q and \(\xi \). Recalling that they are both in the kernel of \(\delta _{GR}\) (cf. Remark 3.5.5) we have
Keeping in mind that \(\delta _{GR}g = 0\) and
(cf. Remark 3.5.5), we compute \({D_{GR}}g\) to be
We can then show
using induction. As we have computed, this holds for \(k=1\). Assuming that Eq. (44) holds for an arbitrary k, we then have the following for \(k+1\)
where we used \({D_{GR}}T = m\dot{q} {D_{GR}}\dot{q} = m\dot{q} \partial _t({D_{GR}}q) = 0\). This results in
We now compute \(\chi ^*_s\xi ^+\) and its \(s\rightarrow \infty \) limit, which follows the same strategy as the analogous computations for \(g^+\) presented in the main proof. We start with \({D_{GR}}\xi ^+\)
where we used that \(g^+ g^+ = 0\) in the second line and \(g^+ \dot{g}^+ = -\dot{g}^+ g^+\) in the third. With this in hand we can proceed with the calculation of \({D_{GR}}(g^{3/2}\xi ^+)\)
It should now be clear why we chose the specific form for \({R_{GR}}q^+\cdot \dot{q}\): the first two terms in the second line cancel and we are left with a term for which we know how to compute \({D^k_{GR}}\). Using induction we can then prove
We have already shown that it holds for \(k=1\). Assuming that it is true for k, the expression for \(k+1\) reads:
Since \(\partial _t(g^{3/2}g^+)g^{3/2}g^+ = g^3 \dot{g}^+ g^+\) due to \(g^+g^+ = 0\), we then have
and
The strategy in the case of \(q^+\) is the same as for \(g^+\) and \(\xi ^+\). Due to
we have
We will therefore omit the term \(m \dot{q}/(2T)\) from the computations in order to keep them cleaner. We start by calculating
Let \(\sigma (\varphi ) = \varphi \partial _t{(g^{3/2}g^+)} - {\dot{\varphi }} g^{3/2}g^+\). With the result for \({D_{GR}}(q^+ \cdot \dot{q})\) we compute the following
Reintroducing \(m\dot{q}/(2T)\) gives
Using induction it is then possible to show that
for \(k\ge 1\). The case \(k=1\) is presented in Eq. (45). To see how the case \(k+1\) follows from the case k, note that
where we used \({D_{GR}}T = 0\) and \({D_{GR}}(g^{3/2}g^+) = - g^{3/2}g^+\). Before computing \({D_{GR}}\sigma (g^{3/2}\text {EL}_g)\) note that
The action of \({D_{GR}}\) on \(\sigma (g^{3/2}\text {EL}_g)\) is then
which proves Eq. (46). Having \({D^k_{GR}}(g^{3/2} q^+_\parallel )\) we can now write
taking the \(s\rightarrow \infty \) limit then yields
as desired. We can then extract \(\lim _{s\rightarrow \infty }\chi ^*_sq^+_\parallel \) from this expression using
see Eq. (25). We have
This expression can be further simplified, but first note that
and
Using these two identities the last two terms in Eq. (47) yield
and as such
We now move to the computation of \(\chi ^*_sq^+_\perp \). As before our strategy will be to compute \(\chi ^*_sq^+_\perp \) via \({D^k_{GR}}(g^{3/2} q^+_\perp )\). First note that we have
![](http://media.springernature.com/lw501/springer-static/image/art%3A10.1007%2Fs11005-023-01646-2/MediaObjects/11005_2023_1646_Equ403_HTML.png)
It follows that
and thus
Since \({D_{GR}}\ddot{q}_\perp = 0\), the computation of the higher powers of \({D^k_{GR}}(g^{3/2} q^+_\perp )\) becomes quite straightforward. We have
which results in
and as such
as desired. \(\square \)
Lemma B.2.6
The map \(\chi ^*\) is the identity in cohomology.
Proof
We need to show that
is well-defined on \(\mathcal {F}_{GR}\). Note that \(\{q,\xi ,\xi ^+,g^+\} \in \ker {R_{GR}}\) and as such
In the case of the metric field g we compute
We now compute the action of the map \(h_\chi \) on \(q^+_\parallel \) and \(q^+_\perp \). For the perpendicular part of \(q^+\) we have
![](http://media.springernature.com/lw550/springer-static/image/art%3A10.1007%2Fs11005-023-01646-2/MediaObjects/11005_2023_1646_Equ404_HTML.png)
The integral yields
Which results in
Similarly we have
The integrals that we need to consider are
and
Where on the third line we used the integral in \(I_\perp \) and similarly for the other integrals. Gathering everything results in
\(\square \)
Rights and permissions
This article is published under an open access license. Please check the 'Copyright Information' section either on this page or in the PDF for details of this license and what re-use is permitted. If your intended use exceeds what is permitted by the license or if you are unable to locate the licence and re-use information, please contact the Rights and Permissions team.
About this article
Cite this article
Simão, F.M.C., Cattaneo, A.S. & Schiavina, M. BV equivalence with boundary. Lett Math Phys 113, 25 (2023). https://doi.org/10.1007/s11005-023-01646-2
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-023-01646-2