Access the full text.
Sign up today, get DeepDyve free for 14 days.
A. Cattaneo, P. Mnev, N. Reshetikhin (2011)
Classical BV Theories on Manifolds with BoundaryCommunications in Mathematical Physics, 332
(2014)
The classical master equation, in Contemporary Mathematics, Vol
(1988)
Atiyah , Topological quantum field theories ,
S. Holst (1995)
Barbero's Hamiltonian derived from a generalized Hilbert-Palatini action.Physical review. D, Particles and fields, 53 10
(2014)
Semiclassical quantization of Lagrangian field theories , Mathematical Aspects of Quantum Field Theories
P. Mnev (2008)
Discrete BF theoryarXiv: High Energy Physics - Theory
P. Dirac (1958)
Generalized Hamiltonian dynamicsProceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences, 246
(1994)
Teitelboim, Quantization of Gauge Systems, Princeton university
C. Rovelli, T. Thiemann (1997)
The Immirzi parameter in quantum general relativityPhysical Review D, 57
O. Moritsch, M. Schweda, S. Sorella (1993)
Algebraic structure of gravity with torsionClassical and Quantum Gravity, 11
K. Bleuler, A. Reetz, H. Petry (1977)
Differential geometrical methods in theoretical physics
(1981)
Vilkovisky. Gauge algebra and quantization
A. Cattaneo, P. Mnev, N. Reshetikhin (2015)
Perturbative Quantum Gauge Theories on Manifolds with BoundaryCommunications in Mathematical Physics, 357
I. Batalin, G. Vilkovisky (1977)
Relativistic S Matrix of Dynamical Systems with Boson and Fermion ConstraintsPhysics Letters B, 69
A. Cattaneo, M. Schiavina (2015)
BV-BFV approach to general relativity: Einstein-Hilbert actionJournal of Mathematical Physics, 57
Florian Schätz (2006)
BFV-Complex and Higher Homotopy StructuresCommunications in Mathematical Physics, 286
F. Schaetz (2008)
INVARIANCE OF THE BFV COMPLEXPacific Journal of Mathematics, 248
J. Kijowski, W. Tulczyjew (1979)
A Symplectic Framework for Field Theories
(1922)
Sur une généralisation de la notion de courbure de Riemann et les espaces à torsion
(2007)
Roytenberg, AKSZ-BV Formalism and Courant Algebroid-induced
A. Cattaneo, M. Schiavina, I. Selliah (2017)
BV equivalence between triadic gravity and BF theory in three dimensionsLetters in Mathematical Physics, 108
A. Cattaneo, P. Mnev, N. Reshetikhin (2012)
Classical and quantum Lagrangian field theories with boundaryarXiv: Mathematical Physics
G. Felder, D. Kazhdan (2012)
The classical master equationarXiv: Algebraic Geometry
J. Stasheff (1997)
DEFORMATION THEORY AND THE BATALIN-VILKOVISKY MASTER EQUATIONarXiv: Quantum Algebra
M. Henneaux, C. Teitelboim (1992)
Quantization of Gauge Systems
Dmitry Roytenberg (2006)
AKSZ–BV Formalism and Courant Algebroid-Induced Topological Field TheoriesLetters in Mathematical Physics, 79
A. Cattaneo, M. Schiavina (2017)
The Reduced Phase Space of Palatini–Cartan–Holst TheoryAnnales Henri Poincaré, 20
I. Batalin, G. Vilkovisky (1981)
Gauge Algebra and QuantizationPhysics Letters B, 102
O. Piguet (2000)
Ghost equations and diffeomorphism-invariant theoriesClassical and Quantum Gravity, 17
(2010)
Invariance of the BFV complex, Pac
Jim Stasheff (1997)
Homological reduction of constrained Poisson algebras
L. Baulieu, M. Bellon (1986)
p-forms and supergravity: Gauge symmetries in curved spaceNuclear Physics, 266
A. Palatini (1919)
Deduzione invariantiva delle equazioni gravitazionali dal principio di HamiltonRendiconti del Circolo Matematico di Palermo (1884-1940), 43
Danilo Rezende, Alejandro Perez (2009)
Four-dimensional Lorentzian Holst action with topological termsPhysical Review D, 79
M. Schiavina (2015)
BV-BFV approach to general relativity
I. Batalin, E. Fradkin (1983)
A Generalized Canonical Formalism and Quantization of Reducible Gauge TheoriesPhysics Letters B, 122
Tim Monday, Tuesday Wednesday, Thursday Friday
On TimeNature, 16
BV-BFV APPROACH TO GENERAL RELATIVITY: PALATINI–CARTAN–HOLST ACTION A. S. CATTANEO AND M. SCHIAVINA Abstract. We show that the Palatini–Cartan–Holst formulation of General Relativity in tetrad variables must be complemented with additional require- ments on the ﬁelds when boundaries are taken into account for the associated BV theory to induce a compatible BFV theory on the boundary. Contents Introduction 1 1. Classical BV and BFV formalisms 3 1.1. BV-BFV formalism for gauge theories 4 2. General Relativity in the Palatini–Cartan–Holst formalism 6 2.1. Classical boundary structure 7 3. Covariant BV theory 9 3.1. BV-extension of Palatini–Cartan–Holst theory 11 4. BV-BFV approach to Palatini–Cartan–Holst theory 14 5. Boundary-preserving BV-data 16 References 21 Bibliography 21 Introduction This paper deals with the BV-BFV approach to General Relativity (GR), initi- ated in [CS15] and [Schi]. It is devoted to the Palatini–Cartan–Holst formulation of GR, following the classical analysis of [CS17]. Elaborating on the ideas of Batalin, Fradkin and Vilkovisky (B(F)V) [BV81, BF83, BV77], Cattaneo, Mnëv and Reshetikhin (CMR) [CMR14, CMR15, CMRQ] suggested that in order to make sense of perturbative quantisation for a gauge theory on a manifold with boundary, suitable compatibility conditions should hold between a Lagrangian theory in the bulk manifold M and its relative Hamiltonian description on the boundary ∂M. At the quantum level, the mentioned compatibility is required to ensure that the state associated with the quantisation of the bulk be physical (i.e. gauge invariant), and this is formalised by requiring that it be a cocycle in a suitable complex induced by the boundary structure. At the semi-classical level, instead, one requires that the bulk action fail to be the Hamiltonian function of the BV-operator, by a term controlled by the boundary Noether one-form. One then goes on by assuming that This research was (partly) supported by the NCCR SwissMAP, funded by the Swiss National Science Foundation and by the COST Action MP1405 QSPACE, supported by COST (European Cooperation in Science and Technology). A. S. C. acknowledges partial support of SNF grant No. 200020_172498/1. M. S. is supported by SNF grant No. P2ZHP2_164999. arXiv:1707.06328v3 [math-ph] 19 Dec 2019 2 A. S. CATTANEO AND M. SCHIAVINA the diﬀerential of such a boundary form be pre-symplectic (i.e. its kernel must be a subbundle), and that symplectic reduction is smooth. When this holds, some cohomological data (a BFV-manifold) is induced on the boundary from the BV-data in the bulk, and both the algebra of constraints in the geometrical sense of Kijowski and Tulczyjew [KT] and the residual gauge symmetry on the boundary are recovered from the induced boundary action (the BFV oper- ator). More precisely, what happens is that the Chevalley–Eilenberg–Koszul–Tate resolution of (on-shell) gauge-equivalent classes of ﬁelds, represented by the BV- data in the bulk [BF83, BV77] (see also [Sta96]), gets surjectively mapped to the resolution of the (reduced) coisotropic submanifold of canonical constraints on the boundary (the BFV data [Scha09, Scha10, Sta97]). This produces a cohomological resolution of the canonical constraints, with the crucial property of being compat- ible with the original theory in the bulk. In most cases, this requires no further input than the BV-data one assigns to the bulk. To this aim, the symplectic analysis of [KT] has the great advantage, with respect to the widely employed Dirac analysis of constraints [Dir, HT], of being clean and of yielding a direct access to geometric or canonical quantisation and to the BV-BFV construction. This approach also goes in the direction of the axiomatisation of quantum ﬁeld theory [Ati, Seg]: the BV-BFV formalism admits a natural cutting-gluing procedure that might allow one to understand the quantum theory on elementary building blocks, to be then glued together to obtain the quantisation of a more complex space–time manifold. After having analysed the Einstein-Hilbert formulation of General Relativity [CS15], and having shown that it does indeed satisfy the (classical) BV-BFV axioms, we now turn to another classically equivalent formulation of GR. In Palatini–Cartan–Holst theory (PCH) the basic ﬁelds are a tetrad (a co-frame ﬁeld) and a connection in an SO(3, 1) bundle . The equivalence between EH and PCH theories is well established for closed manifolds, and its extension to the boundary is discussed in [CS17]. In Section 3 we implement diﬀeomorphisms as gauge symmetries in the BV setting, for all theories of diﬀerential forms valued in g-modules, and we use it to deﬁne the BV-structure associated to PCH theory. We ﬁnd that this (natural) extension of PCH theory to the BV setting does not satisfy the BV-BFV axioms, as it does not induce a bulk-compatible BFV structure on the boundary, unless non-trivial strong requirements are imposed on the ﬁelds. We stress that this is a remarkable deviation from the Einstein–Hilbert case. Recently, it has been shown [CSS, CaSc] that the analogous theory in (2 + 1)-dimensions does not encounter such an obstruction, when inducing BFV data associated to the boundary, which then appears to be a phenomenon peculiar to dimension 4 (and possibly higher). We plan to investigate possible solutions to this issue, e.g., by correcting the BV-form by a boundary term, a strategy that turned out successful in a similar, yet much simpler situation, when dealing with one dimensional gravity coupled to matter [CS16]. However, we argue that the usual notion of classical equivalence of ﬁeld theories is insuﬃcient to grasp diﬀerences that might arise where higher codimension data (e.g. boundaries) are taken into account. In the mentioned case of a one dimensional gravity model, a theory that is classically equivalent to the Jacobi formulation of classical mechanics is shown to enjoy a much better boundary structure than the In the Euclidean case one uses SO(4). BV-BFV GR: PALATINI–CARTAN–HOLST ACTION 3 latter, which induces a BV-BFV structure only with a careful choice of a boundary term for the BV-form [CS16]. Another possibility is presented in Section 5, where we will replace the natural assignment of symmetries in favour of vector ﬁelds which preserve the boundary submanifold. This choice (tantamount to requiring that the vector ﬁelds have zero transverse component on the boundary) will turn out to have a great impact in the regularity of the theory. Theorems 32 and 33 will state the existence of a BV-BFV correspondence when the new BV input is considered. This strategy is also related to what happens in the one-dimensional examples of [CS16]. In this case, though, the BFV data we obtain by considering boundary- preserving diﬀeomorphism will be the resolution of a coisotropic submanifold, larger than the one that deﬁnes GR. This result poses an important question about what variational principles that describe the same Euler–Lagrange equations should be considered truly equivalent in the presence of boundary. The BV-BFV axioms might then be used as a criterion to determine whether a given variational principle has better chances than others to yield a sensible quantisation theory, if we believe that whatever quantisation eventually turns out to be, it should essentially be represented by a functorial association of a suitable category of linear objects, to the category of space–time cobordisms with structure. In other words, the naturality of the requirement of a bulk theory to be com- patible with its boundary data, makes it hard to think that a correct notion of quantisation can be developed without taking this requirement into account. 1. Classical BV and BFV formalisms In this section we recall the general formalism for gravity theories, as in section 2 of [CS15]. Consider a space of ﬁelds, i.e., a (possibly inﬁnite dimensional) Z-graded sym- plectic manifold F with a symplectic form Ω of degree |Ω| = k together with a local, degree k +1 functional S of the ﬁelds and a ﬁnite number of their derivatives. The dynamical content of the theory is encoded in the Euler–Lagrange variational problem for the functional S. The Z-grading is called ghost number, but it will be often replaced by the computationally friendly total degree, which takes into account the sum of diﬀerent gradings when the ﬁelds belong to some graded vector space themselves (e.g. diﬀerential forms). The symmetries are encoded by an odd vector ﬁeld Q ∈ Γ(T [1]F ) such that [Q, Q] = 0. A vector ﬁeld with such a property is said to be cohomological. Among these pieces of data some compatibility conditions are required. We give the following deﬁnitions for diﬀerent values of k. According to the convention that we adopt, ordinary symplectic manifolds are called (0)-symplectic in the graded setting. Our model for a bulk theory will be given by Deﬁnition 1. A BV-manifold is the collection of data (F, S, Q, Ω) with (F, Ω) a Z-graded (−1)-symplectic manifold, and S and Q respectively a degree 0 function and a degree 1 vector ﬁeld on F such that (1) ι Ω = δS, i.e. S is the Hamiltonian function of Q (2) [Q, Q] = 0, i.e. Q is cohomological. Remark 2. The symplectic structure Ω deﬁnes an odd-Poisson bracket (, ) on F and the above conditions together imply (S, S) = 0 (1) the Classical Master Equation (CME). 4 A. S. CATTANEO AND M. SCHIAVINA Deﬁnition 3. Whenever the data (F, S, Q, Ω) satisﬁes only (2) but not (1) we say that the BV-manifold is broken . On the other hand, the model for a boundary theory, induced in some sense to be explained, will be given by ∂ ∂ ∂ ∂ Deﬁnition 4. A BFV-manifold is the collection of data (F , S , Q , ω ) with ∂ ∂ ∂ ∂ (F , ω ) a Z-graded 0-symplectic manifold, and S and Q respectively a degree 1 function and a degree 1 vector ﬁeld on F such that ∂ ∂ ∂ ∂ (1) ι ∂ω = δS , i.e. S is the Hamiltonian function of Q ∂ ∂ ∂ (2) [Q , Q ] = 0, i.e. Q is cohomological. ∂ ∂ This implies that S satisﬁes the CME. If ω is exact, we will say that the BFV- manifold is exact. These deﬁnitions abstract from the following prototype. Usually one starts from a classical theory, that is, for each manifold M of a ﬁxed dimension, the assignment of a local action functional S on some space of classical ﬁelds F and a distri- bution in the bulk D ⊂ T F encoding the symmetries, i.e. L (S ) = 0 for all M X X ∈ Γ(D). The only requirement on D for the formalism to make sense is that D be involutive on the critical locus of S . Notice that D can be the distribution induced by a Lie algebra (group) action, in which case it is involutive on the whole space of ﬁelds. When this is the case we will talk of BRST formalism, even though the setting will be slightly diﬀerent from the original one (for another account on the relationship between the BV and BRST formalism see, e.g. [Mn]). To construct a BV-manifold on a closed manifold M starting from classical data we must ﬁrst extend the space of ﬁelds to accommodate the symmetries: F F = T [−1]D[1]. Symmetries are considered with a degree shift of +1, whereas the dualisation introduces a diﬀerent class of ﬁelds (called anti-ﬁelds) with opposite parity to their conjugate ﬁelds, owing to the −1 shift in the cotangent functor. This yields a (−1)-symplectic manifold, which is a good candidate to be the space of ﬁelds we want to work with . The classical action has to be extended as well to a new local functional on F , and if we want this to satisfy the axioms of the BV-manifold we must impose the CME on the extended action. This process of extension goes through co- homological perturbation theory [BV81, Sta96, Sta97, FK, CMR15] and it will ensure us to end up with a BV-manifold. However, for a theory which is BRST- like, the extension is determined by the following straightforward result [BV81]: Theorem 5. If D comes from a Lie algebra action, the functional S = S + BV † ∗ hΦ , QΦi on the space of ﬁelds F = T [−1]D[1] satisﬁes the CME, where Φ is a multiplet of ﬁelds in D[1], Φ denotes the corresponding multiplet of conjugate (anti-)ﬁelds and Q is the degree 1 vector ﬁeld encoding the symmetries of D. F is then a (−1)-symplectic manifold and, together with S and Q satisfy- M BV BV ing ι Ω = δS, with Ω the standard symplectic structure on cotangent bundles, it BV yields a BV-manifold corresponding to a (minimal) extension of the classical theory. 1.1. BV-BFV formalism for gauge theories. We will explain here in which sense Deﬁnition 4 is a boundary model for Deﬁnition 1. Sometimes one requires that Ω be only closed, allowing it to be degenerate. In this case one speaks of (F, Ω, S,Q) as a relaxed BV-manifold. Here we assume for simplicity that D can also be described in terms of local data. In more general situations, one may have to resolve D into a complex described in terms of local data (ghost for ghosts). BV-BFV GR: PALATINI–CARTAN–HOLST ACTION 5 Deﬁnition 6. An exact BV-BFV pair is the quintuple (F, Ω, S, Q; π) given by a ∂ ∂ ∂ ∂ ∂ broken BV-manifold, together with the exact BFV-manifold (F , ω = δα , S , Q ) and a surjective submersion π : F −→ F such that the BV-BFV formula: ∗ ∂ ι Ω = δS + π α (2) is satisﬁed. Such a pair will be denoted by (F,F ) In ﬁeld theory there are natural examples of BV-BFV pairs as in the following prototypical construction. Say that we start from the data deﬁning a BV-manifold, but this time we allow M to have a boundary ∂M: the requirement that ι Ω = δS is (in general) no longer true. What will happen is that the integration by parts one usually has to take into account when computing δS will leave some non zero terms on the boundary. More precisely, consider the map πe : F −→ F (3) M M ∂M that takes all ﬁelds and their jets to their restrictions to the boundary (it is a surjective submersion). We can interpret the boundary terms as the pullback of a one form αe on F, namely ι Ω = δS + πe αe (4) We will call αe the pre-boundary one form. In full generality αe is a connection on a line bundle, yet when S is a function on the space of ﬁelds, αe is a globally well deﬁned 1-form. Notice that if we are given this data, we can interpret this as a broken BV- manifold, with some relation to the boundary. We can in fact consider the pre- boundary two form ωe := δαe and if it is pre-symplectic (i.e. its kernel is a subbundle) then we can deﬁne the true space of boundary ﬁelds F to be the symplectic ∂M reduction of the space of pre-boundary ﬁelds, namely: ∂M F = (5) ker(ωe) ∂M with projection to the quotient denoted by ̟ : F −→ F . If all of the above ∂M ∂M assumptions are satisﬁed and the quotient F is smooth, the map π := ̟ ◦ πe is ∂M a surjective submersion, the reduced two form ω := ωe is a 0-symplectic form, and the key result is Proposition 7 ([CMR11]). The cohomological vector ﬁeld Q projects to a coho- ∂ ∂ ∂ mological vector ﬁeld Q on the space of boundary ﬁelds F . Moreover Q is ∂M Hamiltonian for a function S , the boundary action. When this construction goes through, it associates to a manifold with boundary (M, ∂M) a BV-BFV pair that depends on the manifold data. We will say that Deﬁnition 8. A d-dimensional BV-BFV theory is an association of a BV-BFV pair (F ,F ) to a d-dimensional manifold with boundary (M, ∂M). M π ∂M M To summarise the construction and rephrase Proposition 7 we have the following Theorem 9 ([CMR14]). Whenever the space F of Equation (5) is smooth, we ∂M are given the BV-BFV pair (F ,F ) . The construction of a BV-manifold for M π ∂M a local ﬁeld theory on a closed manifold M extends to a (possibly exact) BV-BFV theory on the manifold with boundary (M, ∂M). Remark 10. Notice that in Deﬁnition 4 it is possible to relax the requirement that the BFV 2-form ωe be nondegenerate and introduce the notion of pre-BFV mani- folds. When that is the case we may deﬁne pre-BV-BFV pairs to be modeled over these more general pre-BFV-manifolds. Observe that a pre-BV-BFV pair (F,F) πe such that the form ker(ωe) is a subbundle gives naturally rise to a BV-BFV pair 6 A. S. CATTANEO AND M. SCHIAVINA on the symplectic reduction F = F ker(ωe), if smooth, by composing πe with the symplectic reduction map. Some compatibility between bulk and boundary can always be achieved in terms of the space of pre-boundary ﬁelds, on which the diﬀerential of the Noether 1-form is degenerate. The crucial assumption is that the symplectic reduction of this 2-form should be smooth. The advantage of such a point of view is at least twofold. First of all, as we just saw, the formalism is large enough to be able to describe consistently what happens both in the bulk and in the boundary. On the other hand it is ﬂexible enough to allow for symmetries that are more general than a Lie group action. For instance it is possible to accomodate symmetries that close only on shell (e.g. Poisson sigma model) or symmetries whose local generators are not linearly independent, where higher relations among the relations are required (e.g. BF theory or other theories involving (d > 1)-diﬀerential forms. Also notice that, even if we started with a Lie group action on the space of bulk ﬁelds, the BFV symmetries on the boundary may be of a more general type. This is actually the case in GR. The BV-manifold that we have constructed in Theorem 5 when a gauge theory of the BRST-kind was given is sometimes called the minimal BV-extension of the gauge theory. When a non trivial boundary is allowed, we will use this minimal extension as the starting point for the BV-BFV analysis. Note that the pre BV-BFV structure constructed above is not invariant under the extension to manifold with boundary of local BV diﬀeomorphisms. In addition, one may change the structure by changing the BV-form by a boundary contribution (which sometimes may be absorbed by a BV symplectomorphism). The diﬀerent pre boundary 2-forms may have diﬀerent kernels [CS16]. In this paper we focus on the natural description of PCH theory and show that the kernel does not have constant rank; the possibility that modiﬁcations as above might solve the problem remains open. In what follows we will check the BV-BFV axioms for the Palatini–Cartan–Holst theory of gravity and we will see that when diﬀeomorphisms are considered, the condition on ωe does indeed become an obstruction. In [CS15] we proved that this step works in the Einstein–Hibert formulation of GR, in the ADM decomposition near the boundary. Throughout the paper we will assume that M is an oriented manifold that admits a Lorentzian structure. 2. General Relativity in the Palatini–Cartan–Holst formalism It is possible to cast General Relativity as a theory of connections on a principal bundle, independent of the metric ﬁeld. The deﬁnitions that follow are based on [CS17]. Let V −→ M be the Minkowski bundle over a 4-dimensional manifold M, with ﬁbre the Minkowski space (V, η), and let P −→ M the associated principal SO(3, 1) bundle. Deﬁnition 11. Let F be the curvature of a connection ω ∈ A , regarded as a ω P V V 2 2 V -valued two-form under the identiﬁcation so(3, 1) ≃ V , and let e: T M −→ V be a bundle isomorphism covering the identity, i.e. e ∈ Ω (M,V), where nd stands nd for nondegenerate. 0 0 The Palatini–Cartan–Holst theory is the assignment of the pair (F , S ) PCH PCH to every 4 dimensional manifold M such that 0 1 F = Ω (M,V) × A ; (6) PCH nd BV-BFV GR: PALATINI–CARTAN–HOLST ACTION 7 1 Λ 0 4 S = T e ∧ e ∧ F + e , (7) γ ω PCH 2 4 where the map V V 2 2 T : V ⊗ V −→R (8) acts as T (α ⊗ β) = Tr [(1 + ⋆)α ∧ β], with ⋆ the hodge operator deﬁned by η, and the constants γ, Λ ∈ R are respectively called Barbero–Immirzi parameter and cos- mological constant. The PCH theory depends on the Barbero–Immirzi parameter γ and the cosmo- logical constant Λ. The role of the parameter γ has been debated at length. We shall retain it for the sake of generality, as it will have no tangible eﬀect in what follows, although it generates ambiguities in quantisation (see [RT] and references therein). We have constructed a ﬁeld theory whose basic ﬁelds are a tetrad e and an independent so(3, 1) connection ω. To recover the standard Einstein–Hilbert metric ∗ ∗ formulation of GR one pulls back η to g := e η and ω to A := e ω, and using the ﬁeld equations imposes that ω = ω(e) is the (unique) connection satisfying d e = 0, which is equivalent to ∇ g = 0 and A is the Levi–Civita connection. Remark 12. Notice that tetrads have more local degrees of freedom than metrics (16 local against 10), but we have the gauge freedom to rotate a tetrad with a local Lorentz transformation without changing the action and the equations of motion. In addition to the usual space–time diﬀeomorphisms, we will take into account an internal SO(3, 1)-symmetry as well. The Einstein–Hilbert and Palatini–Cartan–Holst theories are then equivalent on-shell, that is they describe the same Euler–Lagrange locus, modulo symme- tries. This is the content of the classical equivalence of ﬁeld theories with vanishing boundary conditions. 2.1. Classical boundary structure. Let us summarise some of the results of the classical analysis of the boundary structure of PCH gravity presented in [CS17]. The adjective classical, here and anywhere else in this paper, just means degree- 0. The basic procedure is equivalent to the one outlined in section 1.1, without BV-extension. ∂ ∗ Denote V := ι V the induced vector bundle on the boundary, ι: ∂M −→ M, 1 ∂ ∂ we also denote by Ω (∂M,V ) the space of V -valued 1-forms that span a 3- nd ∂ ∗ dimensional subspace W ⊂ V and by P ≡ ι P the induced principal bundle on the boundary. The space of restrictions of ﬁelds to the boundary projects to the (reduced) space of boundary ﬁelds, obtained as the quotient by the kernel of the map V V 2 3 (1,2) 1 ∂ 2 ∂ W : Ω (∂M, V ) −→ Ω (∂M, V ) v 7→ e ∧ v which acts on the aﬃne space A ∂ , the natural space of restrictions of connections to the boundary and is surjective. More precisely, we have: Lemma 13 ([CS17]). The map ! ! k k+1 ^ ^ (p,k) p ∂ p+1 ∂ W : Ω ∂M, V −→ Ω ∂M, V (p,k) deﬁned by W (X) = X ∧e, where e is the restiction of the tetrad to the boundary ι: ∂M → M, is injective for p = k = 1 and it is surjective when (p, k) = (1, 2) or (p, k) = (2, 1). 8 A. S. CATTANEO AND M. SCHIAVINA This is used to prove Theorem 14 ([CS17]). The classical space of boundary ﬁelds for the Palatini– Cartan–Holst theory is the symplectic manifold given by the ﬁbre bundle: 0∂ 1 ∂ ∗ 1 ∂ F −→ Ω (∂M,V ) ≃ T Ω (∂M,V ) (9) PCH nd nd 1 ∂ red A ∂ with ﬁbre over e ∈ Ω (∂M,V ) given by the reduction A := P with respect ∂ ∼ nd (1,2) ′ ′ to the equivalence relation ω ∼ ω ⇐⇒ ω − ω ∈ Ker(W ) and the symplectic form reads Z Z 0∂ ̟ = T [e ∧ δe ∧ δω] = Tr [δeδt ] . (10) PCH γ γ ∂M ∂M red with ω denoting an equivalence class in A , and t := e ∧ T [ω]. ∂ γ γ Remark 15. The global Darboux chart requires choice of a reference connection (1,2) (1,2) and follows from the surjectivity of W . If we denote by W = ker(W ) we e e can choose a complement in 1 2 ∂ Ω (∂M, V ) = W ⊕ C and split ω = ωe + v, with v ∈ W. Fields in A ∂ are then equivalence classes of P -connections, modulo W. The algebra of constraints has the following structure Theorem 16 ([CS17]). In the symplectic manifold ∂ 1 ∂ F −→ Ω (∂M,V ) PCH nd with symplectic form ̟ as in Eq. (10), the vanishing locus C of the func- PCH PCH tions: Z Z ˆ ˆ L = T [α ∧ e ∧ d e]; J = T [µ ∧ e ∧ F ] + Tr Λµ ∧ e (11) α γ ω μ γ ω ∂M ∂M 0 ∂ 0 ∂ with µ ∈ Ω (∂M,V ) and α ∈ Ω (M, V ) is coisotropic. We have the algebraic structure: {L , L } = L ′ (12a) α α [α ,α] {J , J ′} = L ′ (12b) μμ μ μ μα {L , J } = J + L (12c) α μ H [α,μ] μμ μ,α where X and H are functions of the ﬁelds e, ω and depend on a choice of a (1,2) complement of Ker(W ). Corollary 1. The vanishing locus of the functions {L ; J }, where ξ is a vec- α ι e tor ﬁeld tangent to ∂M, deﬁnes a coisotropic submanifold C ⊃ C . The BP PCH subalgebra structure is given by {J , J ′} = J ′ + L (13a) ξ ξ [ξ,ξ ] ι ι ′F ξ ω ξ γ {J , L } = −J (13b) ξ α [α,ι e] while the Hamiltonian vector ﬁeld J reads ι e (J ) = −L e; (J ) = −ι F (14) ξ e ξ ω ξ ω Remark 17. We will recover the resolution of the submanifold C in the BFV PB formalism in section 5. It is important to observe that C does not describe the BP correct structure of General Relativity, for we eliminated one of the constraints, whereas C does, as was shown in [CS17]. The resulting reduced phase space PCH has 3 local degrees of freedom, instead of 2. BV-BFV GR: PALATINI–CARTAN–HOLST ACTION 9 3. Covariant BV theory In this section we would like to promote Palatini–Cartan–Holst theory as pre- sented in Deﬁnition 11 to the data of a BV-manifold. The PCH description of gravity is a BRST-like gauge theory, and it admits a BV extension, similarly to the Einstein–Hilbert version [CS15]. Diﬀerently from the EH case, however, here we have to deal with an an internal so(3, 1) gauge freedom in addition to space–time diﬀeomorphisms. We deﬁne a covariant BV operator that represents the action of (inﬁnitesimal) diﬀeomorphisms for all theories of G-connections and sections of G-associated bun- dles, and use it to deﬁne a solution of the Classical Master Equation for PCH gravity. For the results in this section we will need the following: Lemma 18. Let P −→ M be a principal G-bundle and let A ∈ A be a connection on it. Let ξ ∈ X[1](M) be a degree-1 vector ﬁeld on M, and V an associated vector bundle with typical ﬁbre the g module V . For any diﬀerential form Φ ∈ Ω (M,V) deﬁne the covariant Lie derivative to be L Φ = [ι , d ]Φ (15) ξ A with d being the covariant derivative induced by the connection A. We have the formula: A A A L Φ − [L , L ]Φ + [ι ι F , Φ] = 0 (16) ξ ξ A [ξ,ξ] ξ ξ Proof. The proof is just a straightforward computation: A A A L Φ − [L , L ]Φ = L Φ − [L , L ]Φ + ι [A, Φ] + [A, ι Φ] ξ ξ ξ ξ [ξ,ξ] [ξ,ξ] [ξ,ξ] [ξ,ξ] A A − ι d[ι A, Φ] − ι [A, L Φ] + dι [ι A, Φ] + [A, ι L Φ] = ξ ξ ξ ξ ξ ξ ξ ξ = 2ι dι [A, Φ] − ι ι d[A, Φ − dι ι [A, Φ] + [A, 2ι dι Φ − ι ι dΦ] ξ ξ ξ ξ ξ ξ ξ ξ ξ ξ − 2ι dι [A, Φ] + ι d[A, ι Φ] − ι [A, ι dΦ − ι [A, [ι A, Φ]] ξ ξ ξ ξ ξ ξ ξ ξ + ι [A, dι Φ] + d[ι A, ι Φ] + [A, ι ι Φ + [ι A, ι Φ] − ι dι Φ] = 0 ξ ξ ξ ξ ξ ξ ξ ξ ξ ξ as it can be carefully checked by expanding all terms. We used the odd version of the well known identity L Φ − [L , L ]Φ = 0 (ξ has degree 1), of which this [ξ,ξ] ξ ξ Lemma is some covariant generalisation. X Lemma 19. Under the same assumptions of Lemma 18, we have that A A ι Φ := [L , ι ]Φ = ι Φ (17) ξ [ξ,ξ] [ξ,ξ] ξ i.e. such a combination does not depend on the connection A. Proof. First, one shows that B := 2ι [A, ι Φ] − ι ι [A, Φ] − [A, ι ι Φ] = 0 ξ ξ ξ ξ ξ ξ since ι is a derivation of degree 0 on (Lie algebra valued) diﬀerential forms. So we can write, adding B ≡ 0 ι Φ = 2ι dι Φ−ι ι dΦ−dι ι Φ+B = 2ι d ι F −ι ι d F −d ι ι F = ι Φ [ξ,ξ] ξ ξ ξ ξ ξ ξ ξ A ξ A ξ ξ A A A ξ ξ A [ξ,ξ] proving the statement. X Moreover, we have Lemma 20. Let A be a connection on a principal bundle P −→ M and F its curvature form. Let ξ ∈ X[1](M) be a degree-1 vector ﬁeld. Then we have ι L ι F = 0 (18) ξ ξ A ξ 10 A. S. CATTANEO AND M. SCHIAVINA Proof. Observe that the contraction w.r.t. an odd vector ﬁeld ξ is an even operator, therefore ι ι = ι ι (19) [ξ,ξ] ξ ξ [ξ,ξ] A 3 Using Lemma 19, which tells us that [L , ι ] = [L , ι ], and since (ι ) F = 0, ξ ξ ξ ξ A together with the Bianchi identities d F = 0, applying (19) to F we infer A A A 2ι d ι ι F − ι ι d ι F = 2ι ι d ι F − ι d ι ι F ξ A ξ ξ A ξ ξ A ξ A ξ ξ A ξ A ξ A ξ ξ A leading to ι d ι ι F = ι ι d ι F ξ A ξ ξ A ξ ξ A ξ A which proves the statement. X This will be used to prove the following Theorem 21. Let P −→ M be a principal G bundle and let A ∈ A be a connection on it. Consider any degree 1 vector ﬁeld ξ on M, and any associated vector bundle V with typical ﬁbre the g module V . Denote by ρ the representation on V . Let g g c ∈ Ω [1](M, adP ) be a degree 1 function with adP the adjoint bundle to P , and deﬁne a vector ﬁeld Q on the graded manifold • 0 F = A × Ω (M,V) × X[1](M) × Ω [1](M, adP ) M P through the assignment: Q A = ι F − d c Q Φ = L Φ − ρ(c)Φ ξ A ω (20) 1 1 1 Q c = ι ι F − [c, c] Q ξ = [ξ, ξ] ξ ξ A 2 2 2 Then Q is cohomological, i.e. [Q, Q] = 0. Proof. We report the main steps of the various computations: 1 1 1 Q c = ι ι F − d (ι F − d c) − [ι ι F , c] [ξ,ξ] ξ A A ξ A A ξ ξ A 2 2 2 1 1 =ι d ι ι F − ι ι d ι − ι ι d ι F + ι ι [F , c] − [ι ι F , c] ξ A ξ ξ A ξ ξ A ξ ξ ξ A ξ A ξ ξ A ξ ξ A 2 2 = − ι L ι F = 0 ξ ξ A where we used Lemma 20. Using Lemma 18 when applying Q to the ﬁeld Φ, we PL have 2 A A A A Q Φ = L Φ − L L Φ + L [c, Φ] + ι [ι F − d c, Φ] ξ ξ A A PL ξ ξ ξ [ξ,ξ] −[ι F − d c, ι Φ] + [c, L Φ] − [c, [c, Φ]] + [[c, c], Φ] = ξ A A ξ 1 1 A A A = L Φ − L L Φ − [ι ι F , Φ] = 0 ξ ξ A ξ ξ [ξ,ξ] 2 2 whereas applying it to the connection A we can use the Bianchi identity d F = 0: A A 1 1 Q A = ι F − ι d (ι F − d c) + d (ι ι F − [c, c]) − [ι F − d c, c] A ξ A ξ A A A ξ ξ A ξ A A [ξ,ξ] 2 2 1 1 1 = − ι ι dF − ι [A, ι F ] + [A, ι ι F ] = − ι ι d F = 0 ξ ξ A ξ ξ A ξ ξ A ξ ξ A A 2 2 2 We are left with Q ξ = 0, which follows from the Jacobi identity in (X(M), [, ]). X This result tells us how to implement diﬀeomorphisms as gauge symmetries for diﬀerent theories involving diﬀerential forms with values in some representation of the internal Lie algebra g. As we shall see below this is the case of the Palatini formulation of General Relativity. BV-BFV GR: PALATINI–CARTAN–HOLST ACTION 11 Remark 22. Notice that Theorem 21 applies in the case of spin bundles as well, and we can take Φ to be a section of the associated spin bundle, thus extending the action of the diﬀeomorphisms in the tetrad formalism to spinors. This requires the replacement of SO(3, 1) with its universal cover, Spin(3, 1). 3.1. BV-extension of Palatini–Cartan–Holst theory. In the literature, Piguet - Moritsch, Schweda and Sorella - and Baulieu and Bellon [BB] all suggested a BRST operator for the PCH theory of gravity that can be summarised by the following: Proposition 23 ([Piguet, MSS, BB]). The assignment ′ ′ ′ ′ s e = L e + [θ , e ] ′ ′ ′ s ω = L ′ω + d ′θ ξ ω ′ ′ ′ (21) s ξ = [ξ , ξ ] ′ ′ ′ ′ s θ = L ′θ + [θ , θ ] deﬁnes a cohomological vector ﬁeld over 1 1 0 F := Ω (M,V)× Ω (M, V)× X[1](M)× Ω [1](M, adP ) PP nd | {z } | {z } | {z } | {z } ′ ′ ′ ′ e ω ξ θ with ξ a vector ﬁeld with ghost number gh(ξ) = 1 and θ a function with values in Λ V and ghost number gh(θ) = 1. The Hamiltonian vector ﬁeld of the BV- extension S of the Palatini–Cartan–Holst action by s is a cohomological vector PP ﬁeld in F := T [−1]F , thus the data (F , Ω , S , sˇ) deﬁnes a BV-manifold. PP PP PP PP Remark 24. Observe that, in order to make sense of the formulas in Proposition 23 we have to consider ω as a global vector-valued one-form, instead of a connection. Moreover, the Lie derivatives are not covariant. We show that there exists a version of this involving covariant expressions, which is close enough, in the following sense. γ γ Theorem 25. The 4-tuple (F := T [−1]F , Ω , Q, S ) deﬁnes a BV- PCH min PCH PCH manifold where F is deﬁned as min 0 0 F := F × X[1](M) × Ω [1](M, adP ) ∋ (e, ω, ξ, c), (22) min PCH γ γ γ Q is the Hamiltonian vector ﬁeld of S , namely ι Ω = δS , where PCH PCH PCH 1 Λ γ 4 † † S = T e ∧ e ∧ F + e + (ι F − d c) ω − ([ι , d ]e − [c, e]) e γ ω ξ ω ω ξ ω PCH 2 4 Z Z 1 1 † † + T (ι ι F − [c, c]) c + ι ξ , γ ξ ξ ω [ξ,ξ] 2 2 M M (23) F being the curvature of ω, L = [ι , d ] the covariant Lie derivative along ξ with ω ξ ω connection ω, and the standard (−1)-symplectic form Ω is PCH † † † † Ω = T δω δω + δe δe + δc δc + ι δξ . (24) γ δξ PCH The BV operator for the PCH formalism is then given by: Q ω = ι F − d c Q e = L e − [c, e] ξ ω ω (25) 1 1 1 Q c = ι ι F − [c, c] Q ξ = [ξ, ξ]. ξ ξ ω 2 2 2 12 A. S. CATTANEO AND M. SCHIAVINA Finally, there is a canonical transformation between the BV-manifold just de- scribed and (F , Ω , S , sˇ) (cf. Proposition 23), i.e. PP PP PP φ: F −→ F , (26) PCH PP whose generating function is given by † † † † ′ ′ ′ ′ † ′ ′ †′ † ′ † ′ G[c , ξ , e , ω , e , ω , ξ , θ ] = Tr c (ι ω − θ ) + ι ξ − e e − ω ω . (27) ξ ξ Remark 26 (Graded canonical transformations). Observe that in the graded setting the generating function of a canonical trasformation might incur in some nontrivial sign conventions. Denote by (p, q) and (P, Q) two Darboux charts of an odd symplectic manifold, e.g. Ω = δpδq and |p| = |q| + 1. Now, a generating function of type I is a function F (q, Q) such that δF δF pδq = PδQ + δF (q, Q) = PδQ + δq + δQ δq δQ |q|+1 and since q δp = (−1) δq p we have the equations δF δF |q| |Q| p = −(−1) ; P = (−1) . (28) δq δQ Alternatively, we may consider the class of generating functions of type II, i.e. δ δ functions G(q, P ) that satisfy (we use the convention δ = δq + δP ) δq δP δG δG |P |+1 |P |+1 pδq = PδQ + δ (−1) P Q + G = (−1) δP Q + δq + δP δq δP and the associated equations become δF δF |q| |P | p = −(−1) ; Q = (−1) . (29) δq δP In particular, in this class we have the generating function for the identity map, which can be easily shown to be |P | G = (−1) P q. (30) id Observe that one might get rid of (some of) the signs by means of derivation from the right and by using them to deﬁne the operator δ. Hereinafter we will assume that δ = δφ and we will consider its total degree to be 1. δφ Proof of Theorem 25. Q encodes the symmetries of the classical PCH action, indeed QS = 0 : PCH QS = T [2[ι , d ]eeF − 2[c, e]eF − eed (ι F − d c)] γ ξ ω ω ω ω ξ ω ω PCH = T − 2d eι eF − 2d eeι F − 2d ι eeF − eed ι F γ ω ξ ω ω ξ ω ω ξ ω ω ξ ω + ee[F , c] − 2[c, e]eF + 2ed ι eF + eι ed F − 2d eeι F ω ω ω ξ ω ξ ω ω ω ξ ω − 2d ι eeF + 2d eeι F − hee, ad F i − had (ee), F i = 0 ω ξ ω ω ξ ω c ω c ω On the other hand, Q is cohomological because of Theorem 21, where V ≃ g = so(3, 1), A = ω and (V, η) clearly bears a representation of g. Since the BV symmetries are BRST-like we can use Theorem 5 to construct S , which solves PCH the Classical Master Equation w.r.t. Ω . BV BV-BFV GR: PALATINI–CARTAN–HOLST ACTION 13 Now, let us turn to the generating function † ′ ′ †′ † ′ † ′ G := Tr c (ι ω − θ ) + ι ξ − e e − ω ω , ξ ξ from which we can deduce the following map (cf. Remark 26, where we set q = † † †′ ′ †′ ′ (c , ξ, e, ω ), P = (e , ω , ξ , θ )) ′ †′ † e = e e = e ′ †′ † † ω = ω ω = ω − ι c (31) ′ †′ † † ξ = ξ ξ = ξ + c ω ′ †′ † θ = ι ω − c θ = −c † † where c ω denotes a top-form valued one-form (so contractions act as ι (c ω ) = • X • c ι ω). We can pullback S along φ as: X PP G 1 Λ ∗ ∗ ′ ′ ′4 †′ ′ ′ ′ ′ ′ φ S = φ T e e F + e + e (L e + [θ , e ]) + PP γ ω ξ G G 2 4 1 1 †′ ′ ′ †′ ′ ′ ′ †′ ′ ′ + ω (L ω + d θ ) + θ [θ , θ ] + L θ + ι ′ ′ ξ = ξ ω ξ [ξ ,ξ ] 2 2 1 Λ 4 † † = T eeF + e + e (L e + [ι ω, e] − [c, e]) + ω (L ω + d ι ω − d c) + γ ω ξ ξ ξ ω ξ ω 2 4 1 1 1 1 † † + c ι L ω + ι d ι ω − [ι ω, ι ω] − [c, c] − ι dι ω + ι ω + ι ξ = ξ ξ ξ ω ξ ξ ξ ξ ξ [ξ,ξ] [ξ,ξ] 2 2 2 2 1 Λ 1 1 4 † ω † † † = T eeF + e + e L e − [c, e] + ω (ι F − d c) + c (ι ι F − [c, c]) + ι ξ γ ω ξ ω ω ξ ξ ω [ξ,ξ] 2 4 2 2 (32) And the last line coincides with S . We used the fact that L ω + d ι ω = PCH ξ ω ξ ι dω + [ω, ι ω] = ι F , as well as (observe the diﬀerence between d and d) ξ ξ ξ ω ω 1 1 1 ι L ω + ι d ι ω − [ι ω, ι ω] − ι dι ω + ι ω = ι ι F ξ ξ ξ ω ξ ξ ξ ξ ξ [ξ,ξ] ξ ξ ω 2 2 2 to conclude the argument. X Remark 27. Observe that one can map c 7→ −c and promote this to a canonical transformation by replacing, in the generating function of the identity, the sign reversal term F = c c. For the sake of clarity we summarise the nature of the ﬁelds, anti-ﬁelds, ghosts and anti-ghosts in F = T [−1]F in the following table: PCH min • • Field Ω (M) Λ V Ghost Total Degree ω 1 2 0 3 e 1 1 0 2 c 0 2 1 3 ξ n.a. n.a. 1 1 (33) ω 3 2 −1 4 e 3 3 −1 5 c 4 2 −2 4 ξ 1 ⊗ 4 n.a. −2 3 14 A. S. CATTANEO AND M. SCHIAVINA The ghost ﬁeld ξ is a vector ﬁeld on M, and its dual anti-ghost is a one form with values in top forms, i.e. with χ ∈ Ω (M)[−2] and v a top form: ξ = χv. (34) 4. BV-BFV approach to Palatini–Cartan–Holst theory We are now ready to establish whether the BV theory (23) obtained by minimally extending the Palatini–Cartan Holst action does satisfy the BV-BFV axioms or not. Theorem 28. The BV data (F , S , Q, Ω ) on a (3 + 1)-dimensional PCH PCH BV pseudo-Riemannian manifold M with boundary ∂M does not yield a BV-BFV the- ory for any value of γ, including the limiting case γ → ∞, which yields the usual Palatini–Cartan formulation of gravity. Proof. The variation of S reads as follows: PCH BV † † † † δS = T − eeδω + δω(ι ω ) + δcω + δe(ι e ) + (ι e)e γ ξ ξ δξ PCH ∂M (35) Z Z Z † † + T −(ι δe)e − δω(ι ι c ) + (ι χ)ι v + Bulk Terms γ ξ ξ ξ δξ ξ ∂M ∂M M In fact, the variation of the ξ-ghost part is computed as: Z Z 1 1 1 † † † δ ι ξ = δ ι dι − ι ι d ξ − ι δξ ξ ξ ξ ξ [ξ,ξ] [ξ,ξ] 2 2 2 M M † † † † = ι dι ξ − ι dξ − ι dι ξ − ι δξ δξ ξ ξ ξ δξ [ξ,ξ] Z Z = − ι L (χv) + ι δξ + ι χι v (36) δξ ξ δξ ξ [ξ,ξ] M ∂M If we denote by ξ the transversal part of ξ with respect to the boundary, and ∂ ∂ n n ∂ with v a volume form on the boundary, we may rewrite ι v = v ξ = −ξ v , since dim(∂M) = 3. To obtain the pre-boundary one form αe we must consider the restriction of the ﬁelds to the boundary and their possible residual transversal components. With an abuse of notation, the restriction of the ﬁelds to the boundary will be denoted by the same symbol, whereas an apex will be assigned to the transversal components. ∂ n n For instance, we will write ι φ = ι ∂φ + φ ξ ≡ ι φ + φ ξ by renaming the ξ ξ n ξ n ∂M ∂ ∂ restrictions to the boundary φ ≡ φ where φ is any ﬁeld, and ξ ≡ ξ. We obtain † † n † † n † αe = T − eeδω + δω(ι ω ) + δω ω ξ + δc ω − δe e ξ − δe(ι e ) γ ξ ξ n n ∂M Z (37) n † † † n n ∂ + T −δ(e ξ )e − δ(ι e)e − δω (ι c )ξ − ξ ι χ v γ n ξ ξ δξ ∂M BV-BFV GR: PALATINI–CARTAN–HOLST ACTION 15 and we may compute the pre-boundary 2-form ̟e = δαe to be (ρ = 1, 2, 3, n) † ρ † ρ † † n ̟e = T − δeeδω − δω(ω δξ ) + δωδω ξ + δcδω + δeδ(e ξ ) ρ ρ n ∂M n † † a n † n † n † + δ(e ξ )δe + δ(e e )δξ + δω δξ ι c − δω ξ ι c − δω ξ ι δc + n a ξ δξ ξ n n n n n n n n a n a ∂ + (ξ δξ δχ − δξ δξ χ − δξ χ δξ + ξ δχ δξ ) v n n a a (38) The kernel of ̟e is deﬁned by the equations: (X †) = 0 (39a) (X ) = ι (X ) (39b) c ξ ω (X ρ)e + (X )ξ = 0 (39c) ξ ρ e together with (X ) ∧ e = Ω (40) (X ) ∧ e = E (41) where h i † n † Ω := (X n)e + (X † )ξ + ι e (42) ξ (X ) n ξ h i n † † † n n E := (X † )ξ − (X ρ)ω + (X n)ι c − ι c ξ − ι (X † )ξ (43) ξ ξ ξ (X ) ξ ω ρ n ξ n c n n V V 2 3 2 2 with Ω ∈ Ω (∂M, V) and E ∈ Ω (∂M, V). In addition we have † † † a T (X )e − (X )ω − (X †)e + (X )c ξ + (44) γ e ω n ω n n e na n ∂ n a − (2(X )χ + (X )ξ + (X )χ ) v = 0 ξ n χ ξ a † † † n T (X )e − (X )ω − (X )c ξ − (X †)e + (45) γ e ω ω e a a a na n ∂ − ((X n)χ + (X )ξ ) v = 0 ξ a χ where the latter is valid for all a = 1, 2, 3. Finally, for all ρ = 1 . . . 4 (X )ξ = 0 (46a) (X )ξ = 0 (46b) ι (X )ξ = 0 (46c) ξ ω ρ n (X ) ξ = 0 (46d) Equation (41) is singular. As a matter of fact, counting the number of unknowns i ij (the (X ) are 12, independent ﬁelds) against the number of equations (the δω a a are 18 independent variations) it is easy to gather that the system admits solutions only when relations among the E coeﬃcients (43) are imposed. On the other hand, such relations are singular for they involve polynomial expressions of odd ﬁelds only. A more direct way to see this is by using the splitting ω = ωe + v of Remark (1,2) 15, where v ∈ W ≡ kerW . Then, equation (41) splits into an invertible part (the coeﬃcient of δωe), and a singular part (the coeﬃcient of δv). In fact, from the splitting U ≡ Ω (∂M, V) = W ⊕ C ∗ ∗ 0 0 we induce the dual splitting U = W ⊕W , with W the annihilator of W and the 0 (1,1) 1 ∗ identiﬁcation W ≃ imW ≃ e∧Ω (∂M,V). We can then project E onto C , and solve for (X ). Observe that (X ) is proportional to ξ . However, the equation ω e ω e 16 A. S. CATTANEO AND M. SCHIAVINA coming from the vanishing of the coeﬃcient of δv enforces a singular relation in the E’s. Moreover, consider equations (46a) and (46c), and use again the splitting. Since (X ) ∝ ξ the respective parts of (46a) and (46c) are automatically satisﬁed, while ω e n n (X )ξ and ι (X )ξ are singular, for (X ) is a free parameter. v ξ v v Thus, the kernel of ̟e does not deﬁne a sub-bundle of the tangent space to the space of ﬁelds, and symplectic reduction cannot be performed. X Remark 29. This result is hinting at the fact that, for the BV-extended theory to be compatible with the boundary, we would need to require some conditions on the ﬁelds (e.g. v = 0, that is ω ∈ C). ∂M There are examples of classically equivalent theories that fail to be equivalent at the BV level when boundaries are included, see for instance [CS16]. This is another nontrivial example of a similar phenomenon. Remark 30. Observe that the choice of BV extension we make here is natural. As a matter of fact, looking at the three-dimensional analogue of Palatini–Cartan theory one can show not only that it is strongly equivalent to BF theory [CSS], but that the same general BV extension we present in Theorem 21 and Theorem 25, extends to boundaries, corners and vertices [CaSc]. To overcome the problem encountered with Theorem 28, one could try to look at a diﬀerent BV input, following Corollary 1, in the spirit of what was done for the reparametrisation invariant Jacobi theory. This is done in section 5. Remark 31. Another option might be to ﬁnd a correction of the BV-form by a boundary term that changes the kernel of the pre-boundary two-form. Note that one problem are equations (46a), (46c), which put extra, singular constraints on the kernel of ̟e in the omega directions, whereas from the classical analysis [CS17] we expect X to be the kernel of the map e∧. One might look for a boundary term for the BV-form that removes precisely these extra constraints. 5. Boundary-preserving BV-data In this section we will adopt a diﬀerent point of view when looking at the symme- try distribution for the Palatini–Holst formulation of GR. Diﬀerently from what we have done in the previous section, and in the case of GR in the Einstein–Hilbert for- malism [CS15], we will now consider the symmetry distribution given by the action of all the spacetime diﬀeomorphism of the manifold with boundary M that preserve the boundary submanifold ∂M. At the inﬁnitesimal level this means considering all vector ﬁelds in M that are tangent at the boundary. In other words, we will assume that ξ = 0. Let us denote by X(M, ∂M) the space of such vector ﬁelds, ∂M the new space of ﬁelds we will consider is simply given by F ∂ := T [−1]F PCH BP where 1 0 F := Ω (M,V)× A × X[1](M, ∂M)× Ω [1](M, adP ) (47) BP P nd |{z} | {z } | {z } | {z } e ξ c Using the same BV-extended action (23) we analysed in section 3 we can consider the BV-manifold obtained by choosing the boundary-preserving space of ﬁelds (47). We obtain the following Theorem 32. The BV-manifold deﬁned by the data (F ∂, S , Q, Ω ) sat- PCH PCH M isﬁes the CMR axioms and yields an exact BV-BFV theory. The Holst term does not apply in dimension three, but this fact has no bearing on the argument we are making here. BV-BFV GR: PALATINI–CARTAN–HOLST ACTION 17 Proof. Since we required ξ = 0 the space of pre-boundary ﬁelds will only con- ∂M tain the restrictions of ﬁelds to the boundary, without the residual normal directions coming from the contractions with the ghost vector ﬁeld, i.e. a n a (ι e) = (e ξ + e ξ ) = (e ξ ) ξ a n a ∂M ∂M ∂M Starting from the expression for the pre-boundary one-form found in Theorem 28 and omitting the components of the ﬁelds along the normal direction we obtain: † † † αe = T eeδω − ι δωω + δcω − ι ee (48) γ ξ δξ ∂M and † † † † † ̟e = T δeeδω − ι δωω − ι δωδω + δcδω + ι δee + ι eδe (49) γ δξ ξ δξ δξ ∂M Collecting the various terms along the ﬁeld directions we get the following equations † a δe : (X ) e = 0 (50) ξ a δc: (X †) = 0 (51) Solving (50) we obtain that (X ) = 0, which together with (51) will simplify the remaining kernel equations to yield: δe: T [(X )]e = 0 (52) γ ω δω : (X )e = 0 (53) a † † δξ : (X †)e = (X )e + (X ) ω (54) e a e ω a δω : (X ) = ι (X ) (55) c ξ ω (1,2) Equations (52) and (53) are the statement that T [(X )] ∈ kerW and (X ) ∈ γ ω e e (1,1) kerW , while the remaining equations (54) and (55) are determined by the values of (X ) and (X ). e ω Recalling Lemma 13 and using the splitting deﬁned in Remark 15, we have that (X ) = 0; (X ) ∈ C. (56) e ω It is possible to see that some of the components of (X †) are free: expand the left hand side of equation (54) in the basis {e } to get the simpliﬁcation μνρ ncb (X †) e e e e = (X †) e e e e e μ ν ρ a e n c b a abc The components (X †) , for a total of 3 functions, do not appear anywhere in the kernel equations and are therefore free. The residual condition on the (X †) reads then ∀c = 1, 2, 3 nab μν †ρσ (X †) e e e e = (X ) ω e e e e (57) n a b c ω μ ν ρ σ e c † † †nbc We deﬁne a new ﬁeld by e = e e = e e e e e , which can be thought of as a a n b c † † 1 top e = e ⊗ e ∈ Ω (∂M) ⊗ Ω (∂M, V), and the equation reads (X †) = (X ) ω a ω a The kernel of the pre-boundary 2-form ̟ is then generated by the vector ﬁelds: E =(X †abc) (58a) †abc δe δ δ δ Ω =T [(X )] + ι (X ) + (X ) ω , (58b) γ v ξ ω ω a δT [v] δc γ δe a 18 A. S. CATTANEO AND M. SCHIAVINA (2,1) where we used the splitting T [(X )] = T [(X )+(X )], with T [(X )] in Ker(W ), γ ω γ v γ v e ω e and it is then a smooth subbundle of TF. It is a matter of an easy check to show ι †αe = ι αe = 0 and prove that αe is basic. X We can push our understanding of the boundary structure a little bit further and obtain the explicit expressions of the BFV data. Theorem 33. The BV-BFV pair (F ∂,F ) is such that the space of PCH ∂ π PCH PCH boundary ﬁelds F is the exact symplectic manifold PCH ∂ 0∂ ∗ 0 ∗ F = F × T X[1](∂M) × Ω (∂M, ι adP ) , (59) PCH PCH the surjective submersion π ∂ reads PCH E = − e ∧ e + ι ω ξ = ξ † † ω = ω π ∂ : (60) PCH c = c − ι v ξ † † † e = e ⊗ e − v ⊗ ω ω = ω − v (1,2) red ∗ (1,2) ι P where T [v] ∈ ker(W ), and ω ∈ A := is a connection on e ∗ γ Ker(W ) ι P e the boundary. In this chart, the boundary 2-form reads ∂ † † ̟ = Tr δEδω + δcδω + ι δe (61) δξ ∂M and the boundary action: 1 1 ∂ † † S = Tr −cd E + ι (F − ΛE)E + (ι ι F − [c, c]) ω − ι e (62) ω ξ ω ξ ξ ω [ξ,ξ] 2 2 ∂M Proof. The proof goes through by ﬁnding an explicit expression for the map π ∂ PCH † †abc through the ﬂows of the vertical vector ﬁelds (58). We can use E to set e e e e a b c to zero, and T [Ω] to set T [v] = 0. γ γ We get: (X ) = ι (X ) =⇒ c˙ = −ι v(0) =⇒ c(t) = c(0) − ι v(0)t c ξ ω ξ ξ since ω(t) = ω(0) + (X )t can be ﬁxed at time t = 1 to ω(1) = ω ˜, implying that (X ) = v(0). Similarly † ˙ † † † † (X †) = ι (X )ω =⇒ e = −v(0)ω =⇒ e (t) = e (0) − v(0)ω t ξ ω from which we can set at time t = 1 the transformations of the ﬁelds: ee = e (1) = † † e⊗e −v⊗ω and ec = c(1) = c−ι v. Notice that v ∈ T A is a global one-form. ξ ω P ∂M The ﬁeld T [ω] is transformed as in the classical case [CS17], while ξ and e are projected verbatim. Pre-composing with the obvious restriction map F ∂ −→ PCH F ∂ yields the temporary expression PCH ee = e e ξ = ξ † † ωe = ω π ∂ : (63) PCH ec = c − ι v ξ † † ee = e ⊗ e − v ⊗ ω ωe = ω − v BV-BFV GR: PALATINI–CARTAN–HOLST ACTION 19 and in the dynamical basis {e } we have ωe ∈ C . The correct ansatz for the μ (1,2) boundary one-form in this coordinate chart reads h i ∂ † † † α = T −eeeeδωe + δecωe − δωeι ωe − ι ee (64) γ e e ξ δξ ∗ ∂ as we can easily check that π ∂ α = αe. We can then introduce new ﬁelds PCH ∂ ∂ redeﬁnitions through a symplectomorphism φ : F −→ F as ∂ ∂ PCH PCH 1 † E = − ee∧ ee + ι ωe ω = ωe 2 ξ † † c = ec ω = ωe (65) ξ = ξ e = ee With a simple computation, using that ω = ω + v, it is possible to check that the boundary one form ∂ † † α = Tr Eδω + δcω − ι e (66) δξ ∂M satisﬁes ∗ ∂ αe = π α (67) PCH where π ∂ = φ ◦ π ∂ . PCH PCH To compute the boundary action we adopt the same procedure that was shown in [CS15], following Roytenberg [Roy], namely we will compute the pre-boundary action ﬁrst, by computing S := ι ι ̟e , where the pre-boundary graded Euler vector e e Q E ﬁeld E reads : δ δ δ δ † † E = c + ξ − ω − e (68) † † δc δξ δω δe ∂M This yields the explicit expression 1 1 1 1 1 † † † † e ˆ S = T cd (ee) + F ι (ee) + ι d cω − [c, c]ω − ι ι F ω − ι e γ ω ω ξ ξ ω ξ ξ ω [ξ,ξ] 2 2 2 2 2 ∂M and it can be checked that ι ̟e = δS. Then, using the ansatz 1 1 ∂ † † S = T −cd E + ι F E + (ι ι F − [c, c]) ω − ι e γ ω ξ ω ξ ξ ω [ξ,ξ] 2 2 ∂M we compute 1 1 1 ∗ ∂ † † π S = T cd ee− ι vd (ee)−(c−ι v)d (ι ω )−ι F ee − ι ω γ ω e ξ ω e ξ ω e ξ ξ ω e ξ PCH 2 2 2 ∂M 1 1 1 1 1 † † † † † + ι ι F − [c, c]ω + [c, ι v]ω − [ι v, ι v]ω − ι e + ι vω . (69) ξ ξ ω e ξ ξ ξ [ξ,ξ] [ξ,ξ] 2 2 2 2 2 We then use that (omitting T ) Z Z Z 1 1 † † † † ι vd ι ω = − ι d ι vω = − ι vω + ι ι d vω ξ ω e ξ ξ ω e ξ [ξ,ξ] ξ ξ ω e 2 2 ∂M ∂M ∂M together with Z Z Z † † † † † −cd ι ω + [c, ι v]ω = ι d cω + [c, ι v]ω = ι d cω ω e ξ ξ ξ ω e ξ ξ ω ∂M ∂M ∂M 5 • • Observe that we only consider the ghost number, and not the grading in Ω (M) or V . 20 A. S. CATTANEO AND M. SCHIAVINA and 1 1 † † (ι ι d v + [ι v, ι v] + ι ι d ωe)ω = ι ι F ω ξ ξ ω e ξ ξ ξ ξ ω e ξ ξ ω 2 2 ∗ ∂ to conclude that π S = S, concluding the proof. X PCH Observe that the Hamiltonian vector ﬁeld of S is given by the following: ∂ 1 † ∂ Q E = −[c, E] − d ι E + d ι ι ω Q ω = ι F − d c ω ξ ω ξ ξ ξ ω ω ∂ 1 ∂ † † Q c = (ι ι F − [c, c]) Q ω = −d E − [c, ω ] ξ ξ ω ω ∂ 1 ∂ † † † Q ξ = [ξ, ξ] Q e = −(F ) E − ι (F ) ω + L e ω a ξ ω a ξ a a (70) ∂ ∂ The general Theorems presented in [CMR14] ensure us that [Q , Q ] = 0, but it is worth the while unpacking these expressions. Since e ∧ e = ι ω − E we can easily compute: ∂ † ∂ † ∂ eQ e = ι ω + ι Q ω − Q E [ξ,ξ] ξ 1 1 † † † =ι d ι ω − ι ι d ω − d ι ι ω + ξ ω ξ ξ ξ ω ω ξ ξ 2 2 (71) † † ι −d E − [c, ω ] + [c, E] − d ι E + d ι ι ω ξ ω ω ξ ω ξ ξ 1 1 ω ω = L (e ∧ e) − [c, e ∧ e] = e L e − [c, e] ξ ξ 2 2 showing that the action of Q on the (non-Darboux) ﬁeld e is essentially the action of diﬀeomorphism twisted by the so(3, 1) action, as we expect. Moreover, with a simple computation we get ∂ ∂ ω † † † Q (Q E) = d ι L ι ω + F , ι ι ι ω + [ι F , ι ι ω ] . (72) ω ξ ξ ω ξ ξ ξ ξ ω ξ ξ One can easily prove the following useful identity on diﬀerential forms: − d ι L ι − ι ι d ι d + ι d ι ι d + [ι ι F , ι ] + [ι F , ι ι ] = ω ξ ξ ξ ξ ω ξ ω ξ ω ξ ξ ω ξ ξ ω ξ ξ ω ξ ξ = −dι L ι − ι ι dι d + 2ι dι ι d = ι = 0, ξ ξ ξ ξ ξ ξ ξ ξ ξ [[ξ,ξ],ξ] the application of which to the top-form ω yields: ω † † † −d ι L ι ω + [ι ι F , ι ω ] + [ι F , ι ι ω ] ≡ 0 ω ξ ξ ξ ξ ω ξ ξ ω ξ ξ Considering now that F ∧ι ω is a 4-form and therefore vanishes on the boundary, ω ξ using all of the above we conclude † † † † ∂ ∂ 0 = ι ι [F , ι ω ] = [ι ι F , ι ω ] + 2[ι F , ι ι ω ] + [F , ι ι ι ω ] ≡ Q (Q E). ξ ξ ω ξ ξ ξ ω ξ ξ ω ξ ξ ω ξ ξ ξ Remark 34. The BFV-manifold obtained in Theorem 33 is the resolution of the coisotropic submanifold C of Theorem 16, deﬁned by the equations (compare with BP [CS15, CS17]): ∂ † C : Q ω ≡ d e ∧ e = 0 (73) e ω gh=0 ∂ † C : Q e ≡ F ∧ e ∧ e = 0 (74) ω ω gh=0 As a matter of fact, observe that the degree 0 part of the action of Q on E coincides with the Hamiltonian vector ﬁeld of the constraint J , namely (cf. with ι e Eq. (14)) e ∧ (J ) ≡ (J ) = d ι (e ∧ e) = Q E ι e e ι e e∧e ω ξ ξ ξ gh=0 2 BV-BFV GR: PALATINI–CARTAN–HOLST ACTION 21 and similarly for the action on ω. However, this is inequivalent to the Einstein– Hilbert phase space for, as we mentioned, the Hamiltonian constraint is not taken into account. References [Ati] M. Atiyah, Topological quantum ﬁeld theories, Inst. Hautes Etudes Sci. Publ. Math. 68, 175-186 (1988). [BB] L. Baulieu and M. Bellon, p-Forms and Supergravity: gauge symmetries in curved space, Nucl. Phys. B 266, 75-124 (1986). [BF83] I. A. Batalin and E. S. Fradkin, A generalized canonical formalism and quantization of reducible gauge theories, Phys. Lett. B 122(2), 157-164 (1983). [BV77] I. A. Batalin and G. A. Vilkovisky, Relativistic S-matrix of dynamical systems with boson and fermion costraints, Phys. Lett. B 69(3), 309-312 (1977). [BV81] I. A. Batalin and G. A. Vilkovisky. Gauge algebra and quantization, Phys. Lett. B 102(1), 27-31 (1981). [Car] E. Cartan. Sur une gÃľnÃľralisation de la notion de courbure de Riemann et les espaces Ãă torsion, C. R. Acad. Sci. 174, 593?595 (1922). E. Cartan, Comptes rendus hebdomadaires des sÃľances de l’AcadÃľmie des sciences, 174, 437-439, 593-595, 734-737, 857-860, 1104-1107 (January 1922) [CaSc] G. Canepa and M. Schiavina, Fully extended BV-BFV description of General Relativity in three dimensions, arXiv:1905.09333 [math-ph]. [CMR14] A. S. Cattaneo, P. Mnëv and N. Reshetikhin, Classical BV theories on manifolds with boundary, Comm. Math. Phys. 332(2): 535-603 (2014). [CMR15] A. S. Cattaneo, P. Mnëv and N. Reshetikhin, Semiclassical quantization of Lagrangian ﬁeld theories, Mathematical Aspects of Quantum Field Theories, in Mathematical Physics Studies 2015, pp 275-324. [CMRQ] A. S. Cattaneo, P. Mnëv and N. Reshetikhin, Perturbative quantum gauge theories on manifolds with boundary, Commun. Math. Phys. 357, 631?730 (2018). [CMR11] A. S. Cattaneo. P. Mnev and N. Reshetikin, Classical and Quantum Lagrangian Field Theories with Boundary, Proceedings of the Corfu Summer Institute 2011 School and Work- shops on Elementary Particle Physics and Gravity, Corfu, Greece, 2011. [CS15] A. S. Cattaneo and M. Schiavina, BV-BFV approach to General Relativity: Einstein– Hibert action, J. Math. Phys. 57(2) (2015). [CS16] A. S. Cattaneo and M. Schiavina, On time, Lett. Math. Phys. 107(2), 375-408 (2017). [CS17] A. S. Cattaneo and M. Schiavina, The reduced phase space of Palatini–Cartan–Holst the- ory, Annales Henri Poicaré 20(2), 445-480 (2019). [CSS] A. S. Cattaneo, M. Schiavina and I. Selliah, BV equivalence between triadic gravity and BF theory in three dimensions, Letters in Mathematical Physics 108(8), 873?1884 (2018). [Dir] P.A.M. Dirac, Generalized Hamiltonian dynamics, Canad. J. Math. 2, 129-148 (1950). [FK] G. Felder and D. Kazhdan. The classical master equation, in Contemporary Mathematics, Vol 610 (2014). [HT] M. Henneaux and C. Teitelboim, Quantization of Gauge Systems, Princeton university press (1994). [Hol] S. Holst, Barbero’s Hamiltonian derived from a generalized Hilbert-Palatini action, Phys. Rev. D 53, 5966 (1996). [MSS] O. Moritsch, M. Schweda, S. P. Sorella, Algebraic structure of Gravity with Torsion, Class. Quant. Grav. 11 1225 (1994). [KT] Kijowski, J., Tulczyjew, W. M., A Symplectic Framework for Field Theories, Lecture notes in Physics 107, Springer-Verlag Berlin Heidelberg (1979). [Mn] P. Mnev, Discrete BF theory, arXiv:0809.1160 (2008). [Pal] A. Palatini, Deduzione invariantiva delle equazioni gravitazionali dal principio di Hamilton, Rend. Circ. Mat. Palermo 43, 203 (1919). [RP] D. J. Rezende and A. Perez, Four-dimensional Lorentzian Holst action with topological terms, Phys. Rev. D 79, 064026 (2009). [Piguet] O. Piguet, Ghost Equations and Diﬀeomorphism Invariant Theories, Class. Quant. Grav. 17, 3799-3806 (2000). [RT] C. Rovelli and T. Thiemann, Immirzi parameter in quantum general relativity, Phys. Rev. D 57, 1009 (1998). [Roy] D. Roytenberg, AKSZ-BV Formalism and Courant Algebroid-induced Topological Field Theories, Lett. Math. Phys. 79: 143-159 (2007). [Scha09] F. Schaetz, BFV-complex and higher homotopy structures, Comm. Math. Phys. 286(2), 399-443 (2009). 22 A. S. CATTANEO AND M. SCHIAVINA [Scha10] F. Schaetz, Invariance of the BFV complex, Pac. J. Math. 248 (2), (2010). [Schi] M. Schiavina, BV-BFV approach to General Relativity, PhD Thesis, University of Zürich (2016). [Seg] G. Segal, The deﬁnition of conformal ﬁeld theory, in: Diﬀerential geometrical methods in theoretical physics, Springer Netherlands, 165-171 (1988). [Sta96] J.Stasheﬀ, Deformation Theory and the Batalin-Vilkovisky Master Equation, Deformation theory and symplectic geometry, proceedings, Meeting, Ascona, Switzerland, June 16-22, 1996, arXiv:q-alg/9702012. [Sta97] J. Stasheﬀ, Homological reduction of constrained Poisson algebras, J. Diﬀ. Geom. 45, 221-240 (1997). Institut für Mathematik, Winterthurerstrasse 190, 8057 Zürich, Switzerland E-mail address: cattaneo@math.uzh.ch Department of Mathematics, University of California, Berkeley, 970 Evans Hall, Berkeley, 94720 Berkeley, U.S.A. Current address: Institute for Theoretical Physics, ETH Zürich, Wolfgang Pauli Strasse 27, 8093 Zürich, Switzerland. Current address: Department of Mathematics, ETH Zürich, Rämistrasse 121, 8092 Zürich, Switzerland. E-mail address: micschia@phys.ethz.ch
High Energy Physics - Theory – arXiv (Cornell University)
Published: Jul 20, 2017
You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.