arxiv: v1 [gr-qc] 28 Mar 2017

Transcription

1 Covariant Hamiltonian formulation for MacDowell-Mansouri gravity arxiv: v1 [gr-qc] 28 Mar 2017 Jasel Berra Montiel 1, Alberto Molgado 1,2 and David Serrano-Blanco 1 1 Facultad de Ciencias, Universidad Autonoma de San Luis Potosi Av. Salvador Nava S/N Zona Universitaria, San Luis Potosi, SLP, Mexico 2 Dual CP Institute of High Energy Physics, Mexico jberra@fc.uasl.mx, molgado@fc.uasl.mx, davidserrano@fc.uasl.mx Abstract. We analyse the behaviour of the MacDowell-Mansouri action with internal symmetry grou SO(4, 1) under the covariant Hamiltonian formulation. The field equations, known in this formalism as the De Donder-Weyl equations, are obtained by means of the graded Poisson-Gerstenhaber bracket structure resent within the covariant formulation. The decomosition of the internal algebra so(4, 1) so(3, 1) R 3,1 allows the symmetry breaking SO(4, 1) SO(3, 1), which reduces the original action to the Palatini action without the toological term. We demonstrate that, in contrast to the Lagrangian aroach, this symmetry breaking can be erformed indistinctly in the covariant Hamiltonian formalism either before or after the variation of the De Donder-Weyl Hamiltonian has been done, recovering Einstein s equations via the Poisson-Gerstenhaber bracket. Keywords: Gravity, Multisymlectic formalism, De Donder-Weyl, Graded Poisson bracket, Gauge theory, Hamiltonian, Einstein s equations PACS numbers: Ef, Kc, Fy, Kd, e AMS classification scheme numbers: 83C05 83E50 70S15 83C47 70S05 1. Introduction The MacDowell-Mansouri model, first roosed in [1], consists in a Yang-Mills-tye gauge theory with gauge grou SO(4, 1). The relevance of this model relies in the fact that after the symmetry breaking SO(4, 1) SO(3, 1) the action describing the gauge theory turns out to be classically equivalent to the standard Palatini action for General Relativity as both only differ by a toologically invariant term associated to the SO(3, 1)-curvature whose variation vanishes. The role of this model as a theory describing General Relativity has been vastly studied from different ersectives such as its BF reformulation [2, 3], its connection with suergravity [4, 5, 6], its dual gravity formulation [7], among others (see also [8, 9, 10]).

2 Covariant Hamiltonian formulation for MacDowell-Mansouri gravity 2 The equivalence between the action roosed by MacDowell and Mansouri and the Palatini action is made ossible by the fact that the internal Lie algebra admits the orthogonal slitting so(4, 1) so(3, 1) R 3,1, so that the symmetry breaking is achieved by rojecting the associated SO(4, 1)-connection to its SO(3, 1) comonents, which turn out to be the standard Lorentz connection. As ointed out by Wise [2], a concise geometrical meaning can be given to the symmetry breaking rocess by identifying the SO(4, 1) gauge field as a connection of a Cartan geometry [11, 12]. Being a theory with a strong geometric background and also hysically relevant due to its relation with General Relativity, the MacDowell-Mansouri model is a erfect candidate for analysis under the inherently geometric classical formulation known as the multisymlectic formalism. Based in the early work of De Donder, Weyl, Carathéodory, among others [13, 14, 15], the multisymlectic aroach for field theory consists in a covariant Hamiltonian formalism endowed with a generalization of the symlectic structure which enables to define a Poisson-like bracket. One of the key oints within the multisymlectic aroach relies in changing the definition of the standard Hamiltonian momenta, here considered not as variations of the Lagrangian density with resect to time derivatives of the field variables but as variations with resect to the derivatives of the fields in every sacetime direction. These new fields, known within this context as olymomenta, define a covariant Legendre transformation which associates to the Lagrangian density a new function H DW called De Donder-Weyl Hamiltonian, and it dictates the dynamics of the system in the so-called olymomentum hase-sace. Without a time foliation, the multisymlectic formalism rovides an exlicitly covariant formulation. The olymomentum hase-sace is endowed with a canonical (n + 1)-form laying the analogue role of the standard symlectic 2-form, called the multisymlectic form [16, 17, 18]. A bracket may be induced in the olymometum hase-sace by this multisymlectic form, which results to be a graded generalization to the Poisson bracket, called the Poisson-Gerstenhaber bracket [18, 19, 20]. The field equations resulting out of this formalism, known as the De Donder-Weyl equations can be written in terms of the Poisson-Gerstenhaber bracket in a similar way to the standard Hamiltonian formulation for fields, but maintaining covariance exlicitly at any oint of the calculations. Our main urose in this aer is to study the symmetry breaking rocess in the MacDowell-Mansouri action under the multisymlectic formalism. As we will describe below, we notice a significant difference to the same rocess between the Lagrangian and the covariant Hamiltonian aroaches. In the former, the variation of the action and the symmetry breaking do not commute thus the Lagrangian formalism is affected by the order in which we consider these two stes, while in the latter, the field equations remain invariant irresectively of the order on which these stes are considered. This invariance at the multisymlectic level results naturally encoded by the definition of the covariant olymomenta, as it contains information on the sacetime derivatives of all of the configuration variables, which remain invariant whether or not the symmetry is broken. This aer is organized as follows: In Section 2 we review the main asects of the

3 Covariant Hamiltonian formulation for MacDowell-Mansouri gravity 3 multisymlectic aroach in order to set u our notation and definitions, following as close as ossible references [17, 18, 24, 25, 26] in which a well behaved and intuitive framework for the covariant Hamiltonian formalism is introduced. In section 3, we introduce the MacDowell-Mansouri action following the notation develoed in [1] and [2]. We describe the symmetry breaking SO(4, 1) SO(3, 1) in detail for both, the Lagrangian and the multisymlectic formalisms. In articular, we discuss on the different manner in which the symmetry breaking has to be interreted within each formalism. Finally, in Section 4 we include some concluding remarks. 2. Multisymlectic formalism In this section we briefly review the multisymlectic aroach to the De Donder-Weyl formalism for classical field theory [21, 16, 22, 23]. We will closely follow the work of Kanatchikov [17, 18, 24, 25, 26] on which the geometric and algebraic structures of the formalism have been vastly exlored at the classical level. Let us start by considering the fibre bundle (E, π, M), with M an n-dimensional smooth manifold with local coordinates {x µ } n µ=1, E a smooth manifold of dimension m with local coordinate functions {y a } m a=1 and π : E M the standard rojection ma. Let φ : M E be a local section around a oint M, so that its local comonents are given by φ a := y a φ. We will denote the sace of local sections of π around the oint as Γ (π). Now, let us define the configuration sace as the first jet manifold J 1 E of π, whose elements j 1φ J1 E, for each oint, and every local section φ, have the local reresentation (x µ, φ a, φ a µ ), where φa µ := φa / x µ are commonly known as the derivative coordinates [22, 27]. The dynamics of a hysical system is described by the action functional S : Γ (π) R, given in terms of the Lagrangian density L : J 1 E R, such that L(j 1φ) = L(xµ, φ a, φ a µ ), by S[φ] := L(j 1 φ) V, (1) C for any φ Γ (π), where V := dx 1 dx n denotes the local volume element of M and C is an aroriate submanifold of M on which the integration is erformed. In order to determine the local sections which effectively describe the hysical behaviour of a given theory, let us define the quantities π µ a L :=, (2) φ a µ called the olymomenta. The trile (x µ, φ a, π a µ ) defines a local coordinate system for a new manifold P, known in this context as the olymomentum hase-sace. The Lagrangian density L is associated to a smooth function H DW in P by the ma L : C (J 1 E) C (P), called the covariant Legendre transformation, such that H DW (x µ, φ a, π a µ ) := L(L) = πµ a µφ a L(x µ, φ a, π a µ ), (3)

4 Covariant Hamiltonian formulation for MacDowell-Mansouri gravity 4 where the symbol µ stands for the derivative with resect to the base sace coordinates x µ. The function H DW : P R is called the De Donder-Weyl Hamiltonian [16, 23]. Before we roceed, it is convenient to introduce the main geometrical objects associated to the olymomentum hase-sace. Following standard notation, let X(P) be the sace of all sections of the tangent bundle T P, that is, the sace of smooth vector fields. Let T V P denote the vertical tangent bundle of P, defined as the kernel of the ushforward of the bundle rojection P M, i. e., the set of vectors which are not tangent to the base sace manifold [27]. The sace of sections of the vertical tangent bundle, X V (P), will be regarded as the sace of vertical vector fields, which in local coordinates may be written as X = X v v := X a a + X a µ a µ, where we have adoted the notation a := and a φ a µ := and the horizontal term is absent due to the definition π a µ above. Now, let Ω r (P) := r Ω 1 (P), be the sace of r-forms, that is, sections of r T P. The subsace Ω r 0 (P) Ωr (P), whose elements satisfy X θ = 0 for θ Ω r 0 (P) and for any X X V (P), is called the sace of horizontal r-forms. Finally, let us consider the sace Ω r 1 (P) Ωr (P) whose elements satisfy X θ Ω0 r 1 (P), called the sace of (r; 1)- horizontal forms. Its generalization, the sace Ω r s(p) Ω r (P) such that its elements θ satisfy X θ Ω r 1 s 1(P) for any X X V (P) is called the sace of (r; s)-horizontal forms. As it is well known, the Lagrangian density L, can be used to define a unique n- form associated to the first jet manifold J 1 E, called the Cartan form [23, 27], given by Θ L = L φ a µ(dφ a φ a ν dxν ) V µ LV, where V µ := µ V. By means of the covariant Legendre transformation (3), the olymomentum hase-sace P is also endowed with a canonical n-form induced from Θ L with the local reresentation Θ DW = π µ a dφa V µ H DW V, (4) known as the Poincaré-Cartan form [19, 21, 28, 29]. This local reresentation exlicitly shows the decomosition of Θ DW into two terms, its vertical and horizontal arts, resectively. As it has been shown before, the dynamics of a hysical system may be encoded only in the vertical term of the Poincaré-Cartan form [16, 21, 30, 31]. In consequence, we will only consider the (n; 1)-horizontal form Θ V DW Ωn 1 (P) corresonding to the first term of (4), as the second term corresonds to a urely horizontal form. Now, given an arbitrary -form in the olymomentum hase-sace, namely, F = 1 F! M 1 M dz M 1 dz M, where z M := (x µ, φ a, π a µ ) denotes the basis of P, then we define its vertical derivative by d V F := 1! vf M1 M dz v dz M 1 dz M, (5) where z v := (φ a, π a µ ) stands for the vertical coordinates in P [17]. In this way, by taking the vertical derivative of Θ V DW we may define the (n + 1; 2)-horizontal form Ω DW := d V Θ V DW = dπµ a dφa V µ, (6)

5 Covariant Hamiltonian formulation for MacDowell-Mansouri gravity 5 called the multisymlectic form [18, 20]. This (n + 1)-form defines an analogue of the usual symlectic structure in the olymomentum hase-sace. We aim to define the geometrical objects which, contracted with the multisymlectic form (6), maintain vertical information. With this in mind, let X = 1! Xvµ 1 µ 1 v µ1 µ 1, with 0 < n, be a vertical multivector field of degree, [19, 29, 32]. We will call X a Hamiltonian multivector field, if there exists a unique (n ; 0)-horizontal form n F satisfying X Ω DW = d V n F. (7) If this last condition is satisfied, then n F is called the Hamiltonian form associated to the Hamiltonian multivector field X. This airing between Hamiltonian forms and Hamiltonian fields induced from the multisymlectic form Ω DW, endows the olymomentum hase-sace P with a graded Poisson structure. Let F Ω 0(P), and q G Ω q 0(P) be Hamiltonian forms and n X F, and n q X G their resective Hamiltonian fields. The ma {[, ]}: Ω 0(P) Ω q 0(P) Ω +q n+1 0 (P) given by {[ F, G q n n ]}:= ( 1) X F n q X G Ω DW, (8) is called the Poisson-Gerstenhaber Bracket [17, 18, 32]. Due to the degree corresonding to the contraction of the right hand of (8), the Poisson-Gerstenhaber bracket is only defined for + q n 1. The commutation rule for this bracket is given by {[ F, q G ]}= ( 1) F G {[ q G, F ]}, where F := n 1 and G := n q 1 are the degrees of the horizontal forms F and q G with resect to the Poisson-Gerstenhaber bracket. In consequence, this bracket structure results graded-commutative. This allows to define the canonical commutation relations for canonical variables by [17] {[ π µ a V µ, φ b ]}= δ b a, {[ πµ a V µ, φ b V ν ]}= δ b a V ν, {[ π µ a, φb V ν ]}= δ b a δµ ν. (9) As a consequence of the graded-commutativity of the Gerstenhaber bracket, it satisfies q r the graded Jacobi identity {[ F, {[ G, H ]}]}={[{[ F, G q r ]}, H ]} +( 1) F G q r {[ G, {[ F, H ]}]}. Finally, the Gerstenhaber bracket satisfies a graded Leibniz rule {[ F, G q H r ]}={[ F, G q ]} H r + ( 1) (n q) F G q r {[ F, H ]}, (10) where the ma : Ω 0(P) Ω q 0(P) Ω +q n 0 (P), called the co-exterior roduct, is given by F q G := 1 ( F q G), (11) with being the Hodge dual defined over M. Equation (10), together with the commutation rule and the graded Jacobi identity make (8) a graded-poisson bracket. The co-exterior roduct induces a derivative oerator called the total co-exterior differential over horizontal forms [17, 18]. Let F = 1 F µ 1 µ n ( (n )! µ1 µn ) V, be a horizontal -form, then, its co-exterior differential is defined as d F := 1 (n )! vf µ 1 µ n µ z v dx µ ( µ1 µn ) V + d h F, (12)

6 Covariant Hamiltonian formulation for MacDowell-Mansouri gravity 6 where the last term is called the horizontal co-exterior differential of d h F = F, namely, 1 (n )! µf µ 1 µ n dx µ ( µ1 µn ) V. (13) By means of equation (7) and the definition of the Gerstenhaber bracket (8), the coexterior differential of a Hamiltonian form F can be written as d F = σ( 1) n {[ H DW, F ]} +d h F, (14) where σ = ±1 deends on the signature of the metric of the base sace manifold M, +1 for Euclidean and 1 for Minkowski. Using the canonical commutation relations (9), we obtain the equations of motion µ φ a ={[ H DW, φ a V µ ]}= H DW π µ a, µ π µ a ={[ H DW, π µ a V µ ]}= H DW φ a, (15) known within this formalism as the De Donder-Weyl equations [22]. A direct calculation involving the definition of the De Donder-Weyl Hamiltonian can be used to show the equivalence between equations (15) and the Euler-Lagrange field equations if the ( Lagrangian density satisfies the non-singular condition det 2 L φ a µ φ b ν ) 0 [16, 23]. Even though this will not be our case, a judiciously definition of the olymomenta will allow us to avoid the standard treatment for constraints, as described below. 3. MacDowell-Mansouri gravity In this section we give a brief descrition of the system we will work with using the multisymlectic formalism. We will first introduce the MacDowell-Mansouri action and the relation it has with the Palatini action for gravity via a symmetry braking of the gauge grou SO(4, 1). We will then treat the model under the multisymlectic formalism, closely focusing in the symmetry breaking rocess in the covariant Hamiltonian aroach Lagrangian formalism The MacDowell-Mansouri action is based on a gauge theory with gauge grou SO(4, 1) [1], such that its corresondent Lie algebra admits the decomosition as vector saces so(4, 1) so(3, 1) R 3,1. (16) Now, let M be the smooth base sace manifold for the theory, and let the Lie algebravalued 1-form, A so(4, 1) Ω 1 (M), be the associated SO(4, 1)-connection, regarded as the gauge field. Decomosition (16) slits the gauge field A into an SO(3, 1)-connection ω and a coframe field e, such that ( ω 1 A = e ) l 1e 0, (17) l

7 Covariant Hamiltonian formulation for MacDowell-Mansouri gravity 7 where l is a constant chosen with units of length to be later related with the cosmological constant Λ > 0. The coframe field e is just the bundle morhism which makes the following diagram commutative, namely, TM e T τ π M where τ is the canonical tangent bundle rojection, T is regarded as the internal sace fibre bundle with local trivialization T = M R 3,1 and π stands for its natural rojection [2]. This coframe field induces a metric g over the tangent bundle TM by ulling back the metric η of the internal sace T such that g = η(eu, ev) for any two vectors u, v TM. The most relevant roerty of the gauge otential A, is that the associated gauge curvature R = d A A := da + A A also slits into an so(3, 1)-valued 2-form F = d ω ω 1 e e and the R 3,1 -valued 2-form d l 2 ω e, where symbolically d ω := d + ω stands for the SO(3, 1)-gauge covariant exterior derivative, such that ( ) F dω e R =. (18) d ω e 0 In this way, the general MacDowell-Mansouri action with local gauge grou SO(4, 1), is given by S[A] = tr (R R), (19) C where the Hodge dual oerator and the trace are both to be taken with resect to the internal vector sace so(4, 1). The MacDowell-Mansouri model for gravity is obtained by considering the rojection of the curvature R into the subalgebra so(3, 1), resulting in the action S MM [ω, e] = tr (F F), (20) C where, abusing notation, the Hodge dual and the trace are to be understood as acting within so(3, 1). It is relevant to notice that, by taking the rojection of R, we have broken the SO(4, 1) symmetry down to SO(3, 1). The variation of the action (20) with resect to the fields ω and e, results in the equations of motion d ω F = 0, e F = 0, (21) resectively. The first equation, using the definition of F, imlies that d ω (e e) = 0, which is the torsion-free condition. The second exression in (21) written in terms of the SO(3, 1)-curvature ˆR := d ω ω, and fixing the constant l in terms of the cosmological constant as l 2 = 3/Λ, yields the equation e ˆR Λ 3 e e e = 0, (22) This Hodge dual oerator must not be confused with, aearing in section 2, which stands for the Hodge dual oerator defined over M.

8 Covariant Hamiltonian formulation for MacDowell-Mansouri gravity 8 which is the coordinate free exression for Einstein s equations of gravity in terms of the connection 1-form ω and the coframe e. The fact that the action S MM results in a classical descrition of vierbein gravity, is due to the relation of (20) with the Palatini action S P al = tr ( F F + ˆR ˆR ), (23) C in such a way that S P al = S MM + T, where T stands for the toologically invariant term tr( ˆR ˆR), whose variation classically vanishes. It is worth ointing out that a gravitational theory with cosmological constant term is obtained from (19) only after breaking the SO(4, 1)-symmetry, as the variation of the original action gives the field equation d A R = 0 which, uon the decomosition (18), results in the air of equations d ω F + 1 l 2e d ωe = 0, d 2 ωe = 0, (24) for the so(3, 1) and R 3,1 sectors, resectively. After breaking the SO(4, 1) symmetry by rojecting d A R = 0 down to the so(3, 1) sector, the resulting equation of motion is the first exression in (24), thus not recovering Einstein s equations, namely, e F = 0. In other words, by breaking the SO(4, 1)-symmetry after the variation has been erformed, the field equations for gravity cannot be recovered from the original action (24). This fact might be better understood by realizing that d ω F + 1 e d l 2 ω e = 0 can be obtained by the variation of the inequivalent action ( ) 1 S[ω] = tr ˆR ˆR C l2e e ˆR, (25) with resect to the field ω, contrary to the action (20) which deends on both field variables ω and e. As we will see below, the multisymlectic formalism behaves in a substantially different way under the symmetry breaking rocess due to the intrinsic definition of the olymomenta (2) De Donder-Weyl formulation In this section we will aly the multisymlectic formalism to the MacDowell-Mansouri action with SO(4, 1)-gauge symmetry. We will start by writing the action (19) in local coordinates. Let X IJ so(4, 1) be the generators of the corresondent so(4, 1) algebra, with I = {0,... 4}. In this way, the connection A is given by A = A IJ µ dxµ X IJ, and the curvature R takes the form R = 1 2 RIJ µν dxµ dx ν X IJ such that its comonents are given by definition, as Rµν IJ = 2 [µa IJ ν] + A I [µk AKJ ν], (26) with [µ A IJ ν] = 1( 2 µa IJ ν ν A IJ µ ) denoting the antisymmetrization, and the internal contraction in the second term given by the so(4, 1)-metric η IJ := diag( 1, 1, 1, 1, 1) IJ. Now, we will consider the action of the internal Hodge dual as obtained through multilication by Q IJKL, where these constants exlicitly read Q IJKL := 1 2 (η IKη JL η IL η JK ). (27)

9 Covariant Hamiltonian formulation for MacDowell-Mansouri gravity 9 In this way, the action (19) takes the local form S[A] = 1 4 C R IJ µνr KL ρσ ǫ µνρσ Q IJKL V, (28) where the ǫ is the usual Levi-Civita alternating symbol for the base sace manifold M. Following (2), the associated olymomenta are given by Π µν IJ = ǫ µνρσ Q IJKL R KL ρσ. (29) Noticing that Q IJMN Q IJKL = δ[k M δn L], and using (26), we can write the antisymmetric derivatives of A in terms of the olymomenta, thus we have that [µ A IJ ν] = 1ǫ 8 µνρσq IJKL Π ρσ KL 1 2 AI [µm AMJ ν]. From the definition of the olymomenta, we also may see that the symmetric art vanishes, thus imlying the resence of constraints Π (µν) IJ 0. A straightforward calculation shows that the olymomenta associated to the symmetric derivatives of the connection also result divergenceless and, as demonstrated in [33], within the multisymlectic formalism one may redefine the olymomenta in order to circumvent the resence of any symmetric art, thus avoiding the standard treatment for constraints in the symmetric sector of the configuration sace. Then, the De Donder-Weyl Hamiltonian (3), takes the local form H DW = 1 16 ǫ µνρσq IJKL Π µν IJΠ ρσ KL 1 2 Πµν IJA I [µka KJ ν], (30) and the De Donder-Weyl equations (15) for this Hamiltonian read µ A IJ ν ={[ H DW, A IJ ν V µ ]}= 1 8 ǫ µνρσq IJKL Π ρσ KL 1 2 AI [µm AMJ ν], µ Π µν IJ ={[ H DW, Π µν IJV µ ]}= A K µ[i Πµν J]K, (31) where the first exression results an identity from the definition of the olymomenta (29). Notice that both equations reduce to d A R = 0 when substituted one into the other, demonstrating the equivalence from the De Donder-Weyl and Lagrangian field equations. Now, we roceed with the decomosition (16) without breaking the SO(4, 1)- symmetry, that is, considering all the comonents of A and Π. Let us consider the set of indices for the internal subalgebra so(3, 1), as the lower case Latin indices a := {0,..., 3}, such that I = {a, 4}. From relation (17), we may define the local comonents of the connection A by ω a µ b := Aa µ b, 1 l ea µ := Aa µ 4, (32) where the antisymmetry of the connection A imlies that 1e l µ a = A 4 µ a. In a similar fashion, the decomosition of the internal sace induces a slitting of the comonents of the olymomenta, thus let us define π µν ab := Πµν ab, 1 l µν a := Π µν a 4. (33)

10 Covariant Hamiltonian formulation for MacDowell-Mansouri gravity 10 Also, the decomosition of the constants Q IJKL, from definition (27), satisfy Q abc4 = 0 and Q a4b4 = 1 2 η ab, while the rest vanish. In this way, we can exlicitly write the decomosition of the De Donder-Weyl equations by fixing indices in both (31), such that the so(3, 1) art is obtained with I = a and J = b, and the R 3,1 art with I = a and J = 4. The former index fixing, using the definitions (32) and (33), yields the equations ( π µν ab = ǫµνρσ Q abcd 2 [ρ ωσ] cd + ω[ρ c iωσ] id 1 ) l [ρe d 2ec σ], µ π µν ab = ωc µ[aπ µν b]c + 1 l 2 e µ[a µν b], (34) and in a similar way, the R 3,1 art results in 2 µ µν a µν a = ǫ µνρσ η ab ( 2 [ρ e b σ] + ω b [ρ ce c σ]), = ω b µ a µν b e c µ πµν ac. (35) Substituting the first line in (34) into the second line, and by using the definition of the rojection F (18) of the curvature R into so(3, 1), we obtain the relation d ω F ab = 1 l 2 ea (d ω e) b, (36) and in a similar way, by substituting the first line in (35) into the second line, and by using (18), we arrive at the exression d ω (d ω e) a = e b F a b. (37) Equations (36) and (37) may be thought of as a result of the structural Cartan equations [11, 12]. It is relevant to notice that this last equation differs from the second Lagrangian field equation in (21) in an imortant way. To see this clearly, let us note that the SO(4, 1)-symmetry breaking in this formalism is achieved by requiring that µν a = 0, which is equivalent to taking only the rojection F of R in the Lagrangian aroach. With this condition, the De Donder-Weyl equations, (36) and (37), read d ω F ab = 0 and e b F a b = 0, resectively, which turn out to be exactly the field equations for the SO(3, 1) MacDowell-Mansouri action, (20). This means that, in contrast to the Lagrangian aroach, the De Donder-Weyl formalism aears to allow the symmetry breaking after the variation of H DW has been done and still reroduce the same dynamics. At first glance this could sound contradictory due to the fact that the De Donder-Weyl equations are equivalent to the Euler-Lagrange field equations, as in this articular model, for the reasons we have exlained, this seems not to be the case. There is, however, a simle but quite interesting asect of the De Donder- Weyl formulation which exlains this discreancy with the Lagrangian aroach. The olymomenta (2) can be defined as the variation of the action (19) with resect to the derivative coordinates φ a µ or, for this articular model, with resect to µων ab and µ e a ν. Thus, by breaking the SO(4, 1) symmetry in (34) and (35), the intrinsic variation

11 Covariant Hamiltonian formulation for MacDowell-Mansouri gravity 11 with resect to both variables resent in the olymomenta remains after taking the rojection down to so(3, 1), while in the Lagrangian case, when we broke the symmetry in the equation d A R = 0, the variation with resect to the field µ e a ν is lost in the rocess, thus, giving different equations, namely, (24), corresonding to the variation of the inequivalent action (25). For these reasons, in the multisymlectic formalism, the De Donder-Weyl equations result invariant if the symmetry breaking rocess is erformed before or after the variation of the De Donder-Weyl Hamiltonian. Indeed, by considering the De-Donder Weyl Hamiltonian (30), decomosed as H DW = 1 16 ǫ µνρσǫ ijab ǫij cd π µν ab πρσ cd 1 ( 2 πµν ab ω[µ a c ωcb ν] 1 ) l 2ea [µ eb ν] 1 8l 2ǫ µνρση ab µν a ρσ b where we have used the fact that Q abcd = ǫ ijab ǫij cd 1 l 2 µν a ωa [µ b eb ν], (38), we now can first aly the symmetry breaking and then variate the SO(3, 1) Hamiltonian. In order to obtain the equations of motion from the decomosed Hamiltonian (38), we first need to determine which fields stand as canonical variables. To do so, we use the commutation relations for the Poisson-Gerstenhaber bracket (9) for the SO(4, 1) Hamiltonian (30), namely, {[ Π µν IJV ν, A KL ρ ]} = δ ρ µ δi K δj L, {[ Π µν IJ V ν, A KL ρ V σ ]} = δ ρ µ δk I δl J V σ, {[ Π µν IJ, A KL ρ V σ ]} = δ ρ µ δν σ δk I δl J, (39) and again, by fixing indices for the so(3, 1) and the R 3,1 arts, and using the variables defined in (32) and (33), we obtain the commutation relations {[ π µν ab V ν, ω cd ρ ]}= δ µ ρ δ c aδ d b, {[ µν {[ π µν ab V ν, ω cd ρ V σ ]}= δ µ ρδ c aδ d b V σ, {[ µν {[ π µν ab, ωcd ρ V σ ]}= δ µ ρ δν σ δc a δd b, {[ µν a V ν, e b ρ ]}= δ µ ρ δ b a, a V ν, e b ρv σ ]}= δ ρδ µ av b σ, (40) a, eb ρ V σ ]}= δ ρ µ δν σ δb a, which show that the airs (ω, π) and (e, ) assume the role of canonical variables with resect to the Poisson-Gerstenhaber bracket after the decomosition of the internal algebra. Now, if we break the symmetry at this oint by imosing once again µ a = 0, then the SO(3, 1) De Donder-Weyl Hamiltonian consist only of the first line of (38), and thus, the De Donder-Weyl equations for this case are given by µ ω ab ν ={[ H DW, ων ab V µ ]} = 1 8 ǫ µνρσq abcd π ρσ cd 1 2 ( ω a [µ c ωcb ν] 1 l 2ea [µ eb ν] ), (41) µ π µν ab ={[ H DW, π µν ab V µ ]} = ω c µ[a πµν b]c, (42) 0 ={[ H DW, a ν V µ ]} = e c µ πµν ac, (43) which, after exlicitly writing them in terms of F, reduce to (21), giving the same dynamics as before. In contrast to the Lagrangian aroach, the De Donder-Weyl formalism allows to break the SO(4, 1) symmetry either before or after determining the equations of motion. As we have mentioned above, the multisymlectic formalism allows to exlicitly maintain the invariance of the De Donder-Weyl Hamiltonian under the symmetry breaking due to the definition of the olymomenta.

12 Covariant Hamiltonian formulation for MacDowell-Mansouri gravity Conclusions One of the main reasons why the multisymlectic formalism gives an interesting aroach to aly to hysical models is its intrinsic covariant structure which easily fits systems containing strong geometric background. Although the foundations for this formalism were introduced almost a century ago, the addition of a Poisson structure to the multisymlectic aroach and also its alication to comelling hysical systems result relatively new, as only a few concrete examles using this method have been develoed. In this sense, one of our major motivations for this aer was to extend the reertoire of hysically relevant models studied under this covariant Hamiltonian aroach. In articular, we analysed the well-known MacDowell-Mansouri model for gravity, for which we develoed both the Lagrangian and multisymlectic formulations. At both levels, we found the corresondent equations of motion. As we have shown throughout our analysis, the inherently covariant nature of the olymomenta resulted comletely relevant in order to study the symmetry breaking rocess within the multisymlectic formalism. Indeed, at the Lagrangian level the variational rocess does not commute with the symmetry breaking SO(4, 1) SO(3, 1), resulting in two inequivalent set of field equations, namely (21) and (24), which were obtained by erforming these two rocesses in different order. However, within the multisymlectic aroach we noticed that the symmetry breaking leaves invariant the emerging De Donder-Weyl equations that follow from the Poisson-Gerstenhaber bracket. To understand this, we noticed that the symmetry breaking at the multisymlectic level includes variations with resect to all the olymomenta, and these olymomenta recisely include sacetime derivatives of the fields in each of the sectors in which the gauge algebra so(4, 1) is decomosed. As discussed above, this is not the case at the Lagrangian level. The fact that the De Donder-Weyl Hamiltonian reserves the information of the variation of the action in a comletely covariant manner encourages the analysis of some other hysical models within the multisymlectic aroach. A natural question in this direction is to address whether other similar models with broken symmetry may behave in an analogous way to the MacDowell-Mansouri gravity model, thus, the results resented in this aer could also serve as a starting oint to study the behaviour of hysical models on which a symmetry breaking rocess takes lace. Acknowledgements The authors would like to thank Eslava del Río for collaboration and discussions. AM acknowledges financial suort from CONACYT-Mexico under roject CB References [1] S. W. MacDowell and F. Mansouri, Unified geometric theory of gravity and suergravity, Phys. Rev. Lett. 38, (1977).

13 Covariant Hamiltonian formulation for MacDowell-Mansouri gravity 13 [2] D. K. Wise, MacDowell-Mansouri gravity and Cartan geometry, Class. Quantum Grav (2010), arxiv:gr-qc/ v2. [3] L. Freidel and A. Starodubtsev, Quantum gravity in terms of toological observables (2005), arxiv:he-th/ [4] J. A. Nieto, O. Obregon and J. Socorro, The Gauge theory of the de Sitter grou and Ashtekar formulation, Phys. Rev. D 50, R3583 (1994) arxiv:gr-qc/ [5] J. A. Nieto, Suerfield Descrition of a Self-Dual Suergravity a la MacDowell-Mansouri, Class. Quant. Grav. 23, (2006). [6] A. H. Chamseddine, Massive suergravity from sontaneously breaking orthosymlectic gauge symmetry, Ann. Phys. (N.Y.) 113, 212 (1978). [7] H. Garcia-Comean, O. Obregon, C. Ramirez and M. Sabido, Noncommutative self-dual gravity, Phys. Rev. D 68 (4) (2003). [8] P. C. West, A geometric gravity Lagrangian Phys. Lett. B 76, 569 (1978); [9] H. R. Pagels, Gravitational gauge fields and the cosmological constant, Phys. Rev. D 29, 1690 (1984). [10] S. Gotzes and A. C. Hirshfeld, A geometric formulation of the SO(3,2) theory of gravity, Ann. Phys. 203, 410 (1990). [11] D. V. Alekseevsky and P. W. Michor, Differential geometry of Cartan connections, Publ. Math. Debrecen 47, (1995). [12] S. Kobayashi, On connections of Cartan, Canad. J. Math. 8, (1956). [13] T. De Donder, Theorie Invariantive du Calcul des Variations, Nuov. ed. (Gauthier- Villars, Paris, 1935). [14] H. Weyl, Geodesic fields in the calculus of variations, Ann. Math. (2) 36, (1935). [15] C. Carathéodory, Über die Extremalen und geodätischen Felder in der Variationsrechnung der mehrfachen Integrale, Acta Sci. Math. (Szeged) 4, (1929). [16] M. J. Gotay, A multisymlectic framework for classical field theory and the calculus of variations I. Covariant Hamiltonian formalism, in Mechanics, Analysis and Geometry: 200 Years after Lagrange, ed. M. Francaviglia, (North Holland, Amsterdam, 1991). [17] I.V. Kanatchikov, On the Canonical structure of the De Donder-Weyl covariant Hamiltonian formulation of field theory I. Graded Poisson brackets and the equations of motion, Aachen rerint, PITHA 93/41 (1993) arxiv:he-th/ [18] I.V. Kanatchikov, On field theoretic generalizations of a Poisson algebra, Re. Math. Phys (1997), arxiv:he-th/ [19] M. Forger and L. G. Gomes, Multisymlectic and Polysymlectic Structures on Fiber Bundles, Rev. Math. Phys. 25 (2013) , arxiv: [20] C. Günther, The olysymlectic Hamiltonian formalism in field theory and calculus of variations I: The local case, J. Diff. Geom. 25, (1987). [21] H. A. Kastru, Canonical theories of Lagrangian dynamical systems in Physics, Phys. Re. 101, (1983). [22] G. Giachetta, L. Mangiarotti and G. Sardanashvily, New Lagrangian and Hamiltonian methods in field theory (World Scientific, 1997). [23] G. Giachetta, L. Mangiarotti and G. Sardanashvily, Advanced Classical field theory (World Scientific, 2009). [24] I. V. Kanatchikov, Precanonical quantization and the Schrödinger wave functional, Phys. Lett. A283, (2001) arxiv:he-th/ [25] I. V. Kanatchikov, De Donder-Weyl theory and a hyercomlex extension of quantum mechanics to field theory, Re. Math. Phys. 43, (1999) arxiv:he-th/ [26] I. V. Kanatchikov, From the De Donder-Weyl Hamiltonian formalism to quantization of gravity, in: Current Toics in Mathematical Cosmology (Proc. Int. Seminar, Potsdam, Germany, Mar 30 Ar 04, 1998) M. Rainer and H.-J. Schmidt (eds), (Singaore: World Scientific) arxiv:gr-qc/

14 Covariant Hamiltonian formulation for MacDowell-Mansouri gravity 14 [27] D. J. Saunders, The Geometry of Jet Bundles, London Mathematical Society lecture notes series Vol. 142 (Cambridge University Press, 1989). [28] R. Bryant, P. Griffiths and D. Grossman, Exterior differential systems and Euler-Lagrange artial differential equations (University of Chicago Press, 2003). [29] H. Goldschmidt and S. Sternberg, The Hamilton-Cartan formalism in the calculus of variations, Ann. Inst. Fourier (Grenoble) 23, fasc. 1, (1973). [30] J. Kijowski and W. M. Tulczyjew, A symlectic framework for field theories, Lecture Notes in Physics, Vol. 107 (Sringer-Verlag, 1979). [31] J. E. Cariñena, M. Cramin and L. A. Ibort, On the multisymlectic formalism for first order field theories, Differ. Geom. Al. 1, (1991). [32] F. Hélein and J. Kouneiher, The Notion of Observable in the Covariant Hamiltonian Formalism for the Calculus of Variations with Several Variables, Adv. Theor. Math. Phys. 8, (2004) arxiv:math-h/ [33] J. Berra-Montiel, E. del Río and A. Molgado, Multisymlectic formulation for toologically massive Yang-Mills field theory, arxiv: v1 [he-th].