Published for SISSA by
Springer
Received: August 21, 2015 Accepted: September 9, 2015 Published: October 2, 2015
Asymptotically flat structure of hypergravity in three spacetime dimensions
a
Centro de Estudios Cient´ıficos (CECs), Av. Arturo Prat 514, Valdivia, Chile b Departamento de F´ısica, Universidad de Concepci´ on, Casilla 160-C, Concepci´ on, Chile
E-mail:
[email protected],
[email protected],
[email protected] Abstract: The asymptotic structure of three-dimensional hypergravity without cosmological constant is analyzed. In the case of gravity minimally coupled to a spin-5/2 field, a consistent set of boundary conditions is proposed, being wide enough so as to accommodate a generic choice of chemical potentials associated to the global charges. The algebra of the canonical generators of the asymptotic symmetries is given by a hypersymmetric nonlinear extension of BMS3 . It is shown that the asymptotic symmetry algebra can be recovered from a subset of a suitable limit of the direct sum of the W(2,4) algebra with its hypersymmetric extension. The presence of hypersymmetry generators allows to construct bounds for the energy, which turn out to be nonlinear and saturate for spacetimes that admit globally-defined “Killing vector-spinors”. The null orbifold or Minkowski spacetime can then be seen as the corresponding ground state in the case of fermions that fulfill periodic or antiperiodic boundary conditions, respectively. The hypergravity theory is also explicitly extended so as to admit parity-odd terms in the action. It is then shown that the asymptotic symmetry algebra includes an additional central charge, being proportional to the coupling of the Lorentz-Chern-Simons form. The generalization of these results in the case of gravity minimally coupled to arbitrary half-integer spin fields is also carried out. The hypersymmetry bounds are found to be given by a suitable polynomial of degree s + 21 in the energy, where s is the spin of the fermionic generators. Keywords: Higher Spin Symmetry, Conformal and W Symmetry, Gauge-gravity correspondence, Classical Theories of Gravity ArXiv ePrint: 1508.04663
c The Authors. Open Access, Article funded by SCOAP3 .
doi:10.1007/JHEP10(2015)009
JHEP10(2015)009
Oscar Fuentealba,a,b Javier Matulicha and Ricardo Troncoso,a
Contents 1
2 General Relativity minimally coupled to a spin-5/2 field
2
3 Unbroken hypersymmetries: Killing vector-spinors 3.1 Cosmological spacetimes and solutions with conical defects
4 4
4 Asymptotically flat behaviour and the hyper-BMS3 algebra 4.1 Flat limit of the asymptotic symmetry algebra from the case of negative cosmological constant
6 9
5 Hypersymmetry bounds
11
6 Hypergravity reloaded
13
7 General Relativity minimally coupled to half-integer spin fields 7.1 Killing tensor-spinors 7.2 Asymptotically flat structure and hypersymmetry bounds
15 16 17
8 Final remarks
20
A Conventions
24
B Killing vector-spinors from an alternative approach
24
C Hyper-Poincar´ e algebra with fermionic generators of spin n + D Asymptotic hypersymmetry algebra D.1 Spin-3/2 fields (supergravity) D.2 Spin-7/2 fields D.3 Spin-9/2 fields
1
1 2
26 26 26 27 29
Introduction
It has been shown that the inconsistencies arising in the minimal coupling of a massless spin5/2 field to General Relativity [1–4] can be successfully surmounted in three-dimensional spacetimes [5]. This theory is known as hypergravity, and it has been recently reformulated as a Chern-Simons theory of a new extension of the Poincar´e group with fermionic generators of spin 3/2 [6]. In the case of negative cosmological constant, additional spin-4 fields are required by consistency [7–9], and it can be seen that the anticommutator of the
–1–
JHEP10(2015)009
1 Introduction
2
General Relativity minimally coupled to a spin-5/2 field
It has been recently shown that the hypergravity theory of Aragone and Deser [5] can be reformulated as a gauge theory of a suitable extension of the Poincar´e group with fermionic spin-3/2 generators [6]. The action is described by a Chern-Simons form, so
–2–
JHEP10(2015)009
generators of the asymptotic hypersymmetries, associated to fermionic spin-3/2 parameters, leads to interesting nonlinear bounds for the bosonic global charges of spin 2 and 4 [9]. The bounds saturate provided the bosonic configurations admit globally-defined “Killing vector-spinors”. One of the main purposes of this paper is to show how these results extend to the case of asymptotically flat spacetimes in hypergravity, also in the case of arbitrary half-integer spin fields. In the next section we briefly summarize the formulation of hypergravity as a Chern-Simons theory for the hyper-Poincar´e group in the simplest case of fermionic spin-5/2 fields, while section 3 is devoted to explore the global hypersymmetry properties of cosmological spacetimes and solutions with conical defects. In the case of fermions that fulfill periodic boundary conditions, it is shown that the null orbifold possesses a single constant Killing vector-spinor. Analogously, for antiperiodic boundary conditions, Minkowski spacetime is singled out as the maximally (hyper)symmetric configuration, and the explicit expression of the globally-defined Killing vector-spinors is found. The asymptotically flat structure of hypergravity in three spacetime dimensions is analyzed in section 4, where a precise set of boundary conditions that includes “chemical potentials” associated to the global charges is proposed. The algebra of the canonical generators of the asymptotic symmetries is found to be given by a suitable hypersymmetric nonlinear extension of the BMS3 algebra. It is also shown that this algebra corresponds to a subset of a suitable In¨ on¨ u-Wigner contraction of the direct sum of the W(2,4) algebra with its hypersymmetric extension W(2, 5 ,4) . The hypersymmetry bounds that arise from the 2 anticommutator of the fermionic generators are found to be nonlinear, and are shown to saturate for spacetimes that admit unbroken hypersymmetries, like the ones aforementioned. This is explicitly carried out in section 5. In section 6, the previous analysis is performed in the case of an extension of the hypergravity theory that includes additional parity-odd terms in the action. It is found that the asymptotic symmetry algebra admits an additional central charge along the Virasoro subgroup. The results are then extended to the case of General Relativity minimally coupled to half-integer spin fields in section 7, including the asymptotically flat structure, and the explicit expression of the Killing tensor-spinors. The hypersymmetry bounds are shown to be described by a polynomial of degree s + 1/2 in the energy, where s is the spin of the fermionic generators. We conclude in section 8 with some final remarks, including the extension of these results to the case of hypergravity with additional parity-odd terms and fermions of arbitrary half-integer spin. The coupling of additional spin-4 fields is also addressed. Appendix A is devoted to our conventions, and in appendix B, an alternative interesting form to obtain the explicit form of the Killing vector-spinors is presented. The general form of the hyper-Poincar´e algebra is discussed in appendix C, while appendix D includes the asymptotic hypersymmetry algebra in the case of fermionic fields of spin 3/2 (supergravity), as well as for fields of spin 7/2 and 9/2.
that the dreibein, the (dualized) spin connection, and the spin-5/2 field correspond to the components of a gauge field given by A = ea Pa + ω a Ja + ψaα Qaα ,
(2.1)
that takes values in the hyper-Poincar´e algebra, being spanned by the set {Pa , Ja , Qaα }. The fermionic fields and generators are assumed to be Γ-traceless, i. e., Γa ψa = 0, and Qa Γa = 0, so that the nonvanishing (anti)commutation rules read
(2.2)
where C stands for the charge conjugation matrix. The Majorana conjugate then reads ψ¯αa = ψaβ Cβα . Since the algebra admits an invariant bilinear form, whose only nonvanishing components are given by D E 2 1 hJa , Pb i = ηab , Qaα , Qbβ = Cαβ η ab − εabc (CΓc )αβ , (2.3) 3 3 the action can be written as
k I [A] = 4π
ˆ 2 3 , AdA + A 3
(2.4)
2Ra ea + iψ¯a Dψ a .
(2.5)
which up to a surface term reduces to k I= 4π
ˆ
Here Ra = dω a + 21 εabc ωb ωc is the dual of the curvature two-form, and since the fermionic field is Γ-traceless, its Lorentz covariant derivative fulfills 1 Dψ a = dψ a + ω b Γb ψ a + εabc ωb ψc 2 3 a = dψ + ω b Γb ψ a − ωb Γa ψ b . 2
(2.6)
The field equations are then given by F = dA + A2 = 0, whose components read Ra = 0 ,
3 T a = iψ¯b Γa ψ b , 4
Dψ a = 0 ,
(2.7)
where T a = Dea corresponds to the torsion two-form. Therefore, by construction, the action changes by a boundary term under local hypersymmetry transformations spanned by δA = dA + [A, λ], with λ = ǫαa Qaα , so that the transformation law of the fields reduces to 3 δea = i¯ ǫ b Γa ψ b , 2
δω a = 0 ,
δψ a = Dǫa .
(2.8)
Note that the transformation rules of the fields in [5] agree with the ones in (2.8), on-shell.
–3–
JHEP10(2015)009
[Ja , Jb ] = εabc J c , [Ja , Pb ] = εabc P c , 1 [Ja , Qαb ] = (Γa )β α Qβb + εabc Qcα , 2 n o 5 1 2 a b Qα , Qβ = − (CΓc )αβ Pc η ab + εabc Cαβ Pc + (CΓ(a )αβ P b) , 3 6 6
3
Unbroken hypersymmetries: Killing vector-spinors
It is interesting to explore the set of bosonic solutions that possess unbroken global hypersymmetries. According to the transformation rules of the fields in (2.8), this class of configurations has to fulfill the following Killing vector-spinor equation: 1 dǫa + ω b Γb ǫa + εabc ωb ǫc = 0 , 2
(3.1)
where ηbβ is a Γ-traceless constant vector-spinor. Here, gS and gV stand for the same group element g, but expressed in the spinor and the vector (adjoint) representations, respectively. Since the generators of the Lorentz group in the spinor and vector representations are given by (Ja )αβ = 21 (Γa )αβ , and (Ja )bc = −εabc , they explicitly read 1 a α α (gS )β = exp λ (Γa )β , (gV )bc = exp [−λa εabc ] . (3.3) 2
Hence, bosonic configurations that admit unbroken hypersymmetries possess Killing vector-spinors of the form (3.2) provided they are globally well-defined, either for periodic or antiperiodic boundary conditions. 3.1
Cosmological spacetimes and solutions with conical defects
Let us focus on an interesting class of circularly symmetric solutions that describe cosmological spacetimes as well as configurations with conical defects. The latter class was introduced in [10, 11] while the former one was explored in [12–14]. The thermodynamic properties of cosmological spacetimes have been analyzed in [15–18]. As explained in [9, 19, 20], it is useful to express the solution for a fixed range of the coordinates, so that the Hawking temperature and the chemical potential for the angular momentum manifestly appear in the metric. Hereafter we follow the conventions of [18], and for latter purposes, it is convenient to write the line element in outgoing null coordinates, which reads 2 4π πJ 2 2πµP J 2 2 2 2 ds = − du . − P µP du − 2µP dudr + r dφ + µJ + (3.4) k kr2 kr2 Here P determines the mass, whose associated “chemical potential” relates to the inverse Hawking temperature according to µP = −β −1 . Analogously, µJ stands for the chemical potential associated to the angular momentum J . We also assume a non-diagonal form for the Minkowski metric in a local frame, so that its nonvanishing components are given by η01 = η10 = η22 = 1. The dreibein can then be chosen as e0 = −dr +
2πµP P 2πJ du + (dφ + µJ du) , k k
–4–
e1 = µP du ,
e2 = r (dφ + µJ du) , (3.5)
JHEP10(2015)009
where the spin-3/2 parameter ǫa is Γ-traceless. As it follows from the field equations (2.7), the spin connection is locally flat, and it a can then be written as ω = ω a Ja = g −1 dg, with g = eλ Ja . Therefore, the general solution of the Killing vector-spinor equation (3.1) is given by α ǫαa = gS−1 β (gV )ba ηbβ , (3.2)
and hence, the components of the dualized spin connection are given by ω0 =
2πP (dφ + µJ du) , k
ω 1 = dφ + µJ du ,
ω2 = 0 .
(3.6)
As explained at the beginning of section 3, since the curvature two-form vanishes, the spin connection (3.6) is locally flat, and it can then be generically written as ω = g −1 dg, with 2πP J0 φˆ , (3.7) g = exp J1 + k
(3.9) respectively, while for P = 0, it reduces to ˆ 1, gS = I2×2 + φJ
ˆ 1 + 1 φˆ2 J 2 . gV = I3×3 + φJ 1 2
(3.10)
One then concludes that cosmological spacetimes, for which P > 0, necessarily break all the hypersymmetries. Indeed, this class of solutions cannot admit globally-defined Killing vector-spinors because, according to (3.8) and (3.9), the (anti)periodic boundary conditions for the vector-spinor ǫa in (3.2) fail to be fulfilled. In the case of configurations with P = 0, equations (3.2) and (3.10) imply that the Killing vector-spinor is constant and satisfies: 3 Γ1 ǫ a − Γa ǫ 1 = 0 , 2
(3.11)
so that it fulfills periodic boundary conditions, and possesses a single nonvanishing com− ponent given by ǫ− 0 = η0 . For the remaining case, P := −kj 2 /π < 0, describing solutions with conical defects, the group element in both representations reduces to h i h i 1 gS = cos j φˆ I2×2 + sin j φˆ J1 − 2j 2 J0 , (3.12) j h i h i2 2 1 1 gV = I3×3 + (3.13) sin 2j φˆ J1 − 2j 2 J0 + 2 sin j φˆ J1 − 2j 2 J0 . 2j 2j
Therefore, this class of configurations possesses four independent Killing vector-spinors that fulfill (anti)periodic boundary conditions provided j is a (half-)integer. The explicit form of the Killing vector-spinors is then obtained from (3.2), where gS and gV are given
–5–
JHEP10(2015)009
and φˆ = φ + µJ u. Note that in the case of P = 6 0, for the spinor and vector representations, the group element g in (3.7) exponentiates as "r # "r # r πP ˆ k πP ˆ 2πP gS = cosh φ I2×2 + φ J1 + (3.8) sinh J0 , k πP k k " r # "r #2 r 2 1 k πP ˆ k πP ˆ 2πP 2πP gV = I3×3 + sinh 2 φ J1 + J0 + sinh φ J0 , J1 + 2 πP k k 2πP k k
by eqs. (3.12) and (3.13). Note that this is the maximum number of hypersymmetries. Indeed, for these configurations the holonomy of the spin connection becomes trivial, which ˆ S (φˆ + 2π) = −I2×2 , while in the vector in the spinor representation means that gS−1 (φ)g −1 ˆ representation the condition reads gV (φ)gV (φˆ + 2π) = I3×3 . It is worth pointing out that if j were different from a (half-)integer, the configurations would not solve the field equations in vacuum. This is because they would possess a conical singularity at the origin, and hence they should necessarily be supported by an external source.
4
Asymptotically flat behaviour and the hyper-BMS3 algebra
Let us introduce a suitable set of asymptotic conditions that allows to describe the dynamics of asymptotically flat spacetimes in hypergravity. The set must be relaxed enough so as to accommodate the solutions of interest that have been described in section 3.1, and simultaneously, restricted in an appropriate way in order to ensure finiteness of the canonical generators associated to the asymptotic symmetries. In the case of pure General Relativity, a consistent set of boundary conditions indeed exists, whose asymptotic symmetry algebra corresponds to BMS3 with a nontrivial central extension [23–25]. These results have been extended to the case of supergravity [21], as well as for General Relativity coupled to higher spin fields [17, 18, 26, 27]. In order to carry out this task in hypergravity, we take advantage of the Chern-Simons formulation of the theory, depicted in section 2. Since the hypersymmetry generators are Γ−traceless, it is useful to get rid of Q2 = Q1 Γ0 − Q0 Γ1 , so that once the remaining generators are relabeled according to Jˆ−1 = −2J0 , Pˆ−1 = −2P0 , √ ˆ 3 = 2 54 3Q+0 , Q − 2
√ ˆ 1 = −2 41 3Q+1 , Q 2
Jˆ1 = J1 ,
Jˆ0 = J2 ,
Pˆ1 = P1 , Pˆ0 = P2 , √ ˆ 1 = 2 43 3Q−0 , Q − 2
√ ˆ 3 = −2− 41 3Q−1 , Q 2
–6–
(4.1)
JHEP10(2015)009
As it occurs in the case of supersymmetry, it is natural to expect that the bosonic global charges fulfill suitable bounds that turn out to be saturated for configurations that possess unbroken hypersymmetries. Indeed, as shown in [21], the bounds that correspond to three-dimensional supergravity with asymptotically flat boundary conditions certainly do so. Actually, the bounds also exclude conical surplus solutions, in particular those whose angular coordinate ranges from zero to 4πj, with j > 1/2, despite they are maximally supersymmetric. When a negative cosmological constant is considered, this is also the case not only for supergravity [22], but also for hypergravity [9], where in the latter case the bounds turn out to be nonlinear. Thus, one of the main purposes of the following sections is showing how these results can be extended to the case of hypergravity endowed with a suitable set of asymptotically flat boundary conditions, as well as how to recover them in the vanishing cosmological constant limit.
and hence, the remaining analysis can be entirely performed in terms of the connection a = au du + aφ dφ, that depends only on time and the angular coordinate. As explained in [19, 20], one starts prescribing the asymptotic form of the dynamical gauge field at a fixed time slice with u = u0 , so that the asymptotic fall-off of aφ is assumed to be such that the deviations with respect to the reference background go along the highest weight generators of (4.2). Choosing the reference background to be given by the null orbifold [29], that corresponds to the configuration in (3.4) with J = P = 0, the asymptotic form of the dynamical field reads ψ ˆ π ˆ ˆ ˆ J P−1 + P J−1 − Q− 3 , aφ = J 1 − (4.4) 2 k 3
where J , P and ψ stand for arbitrary functions of u, φ. The asymptotic symmetries then correspond to gauge transformations δa = dλ + [a, λ] that preserve the form of (4.4). Therefore, the hyper-Poincar´e-valued parameter λ is found to depend on three arbitrary functions of u and φ, so that ˆ 3 + η 3 [T, Y, E] , λ = T Pˆ1 + Y Jˆ1 + E Q (4.5) (2) 2 where E is Grassmann-valued, and 1 2π ′ ′ ′ ′′ ˆ ˆ ˆ η( 3 ) [T, Y, E] = −T P0 − Y J0 − E Q 1 − YP −Y Jˆ−1 2 2 2 k k ′′ ˆ π 1 3π 3 ′′ ˆ 1 T EP − E Q − P−1 − T P + Y J − iψE − −2 k 2 2π 2 k π 3 k ′′′ ˆ 7 − (4.6) E Q− 3 ; Y ψ − E ′ P − EP ′ + 2 3k 2 2 2π
while the transformation law of the fields reads k ′′′ δP = 2PY ′ + P ′ Y − Y , 2π
3 k ′′′ 5 T + iψE ′ + iψ ′ E , 2π 2 2 5 9π 2 3 ′′ k ′′′′ ′ ′ ′ ′ ′′ δψ = ψY + ψ Y − P E + P E + 5P E + 5PE − E . 2 2k 2 2π
δJ = 2J Y ′ + J ′ Y + 2PT ′ + P ′ T −
–7–
(4.7)
JHEP10(2015)009
the hyper-Poincar´e algebra (2.2) reads i h Jˆm , Jˆn = (m − n) Jˆm+n , i h Jˆm , Pˆn = (m − n) Pˆm+n , i h ˆ p = 3m − p Q ˆ m+p , Jˆm , Q (4.2) 2 n o ˆp, Q ˆ q = 1 6p2 − 8pq + 6q 2 − 9 Pˆp+q , Q 4 1 3 with m, n = ±1, 0, and p, q = ± 2 , ± 2 . Thus, following the lines of [28], and as explained in [21, 27], the radial dependence of the asymptotic form of the gauge field can be gauged away by a suitable group element of r ˆ the form h = e 2 P−1 , so that A = h−1 ah + h−1 dh , (4.3)
Hereafter, prime stands for ∂φ . Since the time evolution of aφ corresponds to a gauge transformation parametrized by the Lagrange multiplier au , its asymptotic form will be maintained along different time slices provided au is of the allowed form, i. e., au = λ [µP , µJ , µψ ] ,
(4.8)
where the chemical potentials µP , µJ , µψ stand for arbitrary functions of u, φ, that are assumed to be fixed at the boundary. Consistency then demands that the field equations, which now reduce to
(4.9)
have to hold in the asymptotic region, while the parameters of the asymptotic symmetries fulfill the following conditions Y˙ = µJ Y ′ − µJ ′ Y ,
9π 3 3 T˙ = µJ T ′ − µJ ′ T + µP Y ′ − µP ′ Y + iµψ EP − iµψ ′′ E + 2iµψ ′ E ′ − iµψ E ′′ , (4.10) k 2 2 3 3 ′ ′ ′ ′ E˙ = µψ Y − µψ Y − µJ E + µJ E , 2 2
which are needed in order to ensure that the global charges are conserved.1 Following the Regge-Teitelboim approach [30], the variation of the canonical generators is found to be generically given by k δQ [λ] = − 2π
ˆ
hλδaφ i dφ ,
(4.11)
which by virtue of (4.4) and (4.5), up to an arbitrary constant without variation, integrate as ˆ Q [T, Y, E] = − (T P + Y J − iEψ) dφ . (4.12) It is worth highlighting that the global charges are manifestly independent of the radial coordinate r. Therefore, the boundary can be located at an arbitrary fixed value r = r0 , and it corresponds to a timelike surface with the topology of a cylinder. Since the Poisson brackets fulfill {Q [λ1 ] , Q [λ2 ]} = δλ2 Q [λ1 ], the algebra of the canonical generators can be directly obtained from the transformation law of the fields in (4.7). 1
Since global symmetries are necessarily contained within the asymptotic ones, these results provide an interesting alternative path to find the explicit expression of the Killing vector-spinors. See appendix B.
–8–
JHEP10(2015)009
k P˙ = 2PµJ ′ + P ′ µJ − µJ ′′′ , 2π k 5 3 J˙ = 2J µJ ′ + J ′ µJ + 2PµP ′ + P ′ µP − µP ′′′ + iψµψ ′ + iψ ′ µψ , 2π 2 2 9π 3 k 5 2 ′ ′ ′′ ′ ′ ′′ P µψ + P µψ + 5P µψ + 5Pµψ − µψ ′′′′ , ψ˙ = ψµJ + ψ µJ − 2 2k 2 2π
Expanding in Fourier modes, X =
1 2π
i {Jm , Jn } = (m − n) Jm+n ,
P
n Xn e
inφ ,
the nonvanishing Poisson brackets read
i {Jm , Pn } = (m − n) Pm+n + km3 δm+n,0 , 3m i {Jm , ψn } = − n ψm+n , (4.13) 2 9 X 1 3m2 − 4mn + 3n2 Pm+n + Pm+n−q Pq + km4 δm+n,0 , i {ψm , ψn } = 2 4k q
k Pn → Pn − δn,0 , 2
(4.14)
so that the algebra now reads i {Jm , Jn } = (m − n) Jm+n ,
i {Jm , Pn } = (m − n) Pm+n + km m2 − 1 δm+n,0 , 3m i {Jm , ψn } = − n ψm+n , 2 9 X 1 6m2 − 8mn + 6n2 − 9 Pm+n + Pm+n−q Pq i {ψm , ψn } = 4 4k q 9 1 2 2 +k m − m − δm+n,0 , 4 4
(4.15)
in agreement with the result that has been recently anticipated in [6]. Indeed, dropping the nonlinear terms in (4.15), when the fermions fulfill antiperiodic boundary conditions, the wedge algebra, which is spanned by the subset of {Jm , Pm , ψn } with m = ±1, 0 and n = ±3/2, ±1/2, reduces to the hyper-Poincar´e algebra in eq. (4.2). It can also be seen that the hyper-BMS3 algebra (4.13) turns out to be a subset of a precise In¨ on¨ u-Wigner contraction of the direct sum of the W(2,4) algebra with its hypersymmetric extension W(2, 5 ,4) . This is the main subject of the next subsection. 2
4.1
Flat limit of the asymptotic symmetry algebra from the case of negative cosmological constant
It has been recently shown that the asymptotic symmetries of three-dimensional hypergravity with negative cosmological constant are spanned by two copies of the classical limit of the WB2 algebra [9]. This algebra is also known as W(2, 5 ,4) and corresponds to the hyper2 symmetric extension of W(2,4) [31, 32]. The hypergravity theory that was discussed in [9]
–9–
JHEP10(2015)009
where the modes of the generators ψm are labeled by (half-)integers when the fermions fulfill (anti)periodic boundary conditions. It is then clear that, with respect to Jm , the conformal weight of the generators Pm and ψn , is given by 2 and 5/2, respectively. Note that the subset spanned by Jm and Pm corresponds to the BMS3 algebra of General Relativity with the same central extension, and hence (4.13) stands for its hypersymmetric extension that is manifestly nonlinear. It is useful to perform the following shift in the generators:
2
The classical limit of the W(2, 5 ,4) algebra reads 2 i {Lm , Ln } = (m − n) Lm+n +
κ 3 m δm+n,0 , 2
i {Lm , Un } = (3m − n) Um+n , 3m i {Lm , Ψn } = − n Ψm+n , 2 1 i {Um , Un } = 2 2 (m − n) 3m4 − 2m3 n + 4m2 n2 − 2mn3 + 3n4 Lm+n 2 3 1 23 3π (6) + (m − n) m2 − mn + n2 Um+n − (m − n) Λm+n (4.16) 6 κ (4) 72 π κ − 2 (m − n) m2 + 4mn + n2 Λm+n + 3 2 m7 δm+n,0 , 3 κ 2 3 1 23π (11/2) i {Um , Ψn } = 2 m3 − 4m2 n + 10mn2 − 20n3 Ψm+n − iΛ 2 3 3κ m+n π (9/2) + (23m − 82n) Λm+n , 3κ 1 3π (4) κ 4 2 2 i {Ψm , Ψn } = Um+n + Λ + m4 δm+n,0 , m − mn + n Lm+n + 2 3 κ m+n 6 where the fermionic modes are labeled by (half-)integers in the case of (anti)periodic bound´ (l) ary conditions, and Λm = Λ(l) e−imφ dφ stand for the mode expansion of the nonlinear terms, given by
Λ
Λ(4) = L2 ,
(9/2)
Λ(11/2) Λ(6)
(4.17)
= LΨ , 27 ′ L Ψ, = 23 7 8π 3 295 ′ 2 22 ′′ 25 = − UL − L + (L ) + L L + iΨΨ′ . 18 3κ 432 27 12
The bosonic generators Lm and Um span the W(2,4) subalgebra.
(4.18) (4.19) (4.20)
In order to take the vanishing cosmological constant limit of the asymptotic symmetry algebra of the minimal theory, given by W(2,4) ⊕W(2, 5 ,4) , it is useful to perform the following 2
– 10 –
JHEP10(2015)009
possesses the minimum number of hypersymmetries in each sector, so that the gauge group is given by OSp (1|4)⊗OSp (1|4). In analogy with the case of three-dimensional supergravity [33], one may say that the theory aforementioned corresponds to the N = (1, 1) AdS3 hypergravity. In this sense, there are two inequivalent minimal locally hypersymmetric extensions of General Relativity with negative cosmological constant, which correspond to the (1, 0) and the (0, 1) theories. It is then simple to verify that both minimal theories possess the same vanishing cosmological constant limit, and hence in order to proceed with the analysis we will consider the (0, 1) one, whose gauge group is given by Sp (4) ⊗ OSp (1|4). According to [9], the asymptotic symmetry algebra of the minimal hypergravity theory with negative cosmological constant then corresponds to W(2,4) ⊕W(2, 5 ,4) .
change of basis: 1 + Ln + L− −n , ℓ 1 − , Wn = √ Un+ + U−n ℓ Pn =
− J n = L+ n − L−n ,
1 − Vn = √ Un+ − U−n , ℓ
ψn =
r
6 + Ψ , ℓ n
(4.21)
i {Jm , Jn } = (m − n) Jm+n ,
i {Jm , Pn } = (m − n) Pm+n + km3 δm+n,0 ,
i {Jm , Wn } = (3m − n) Wm+n ,
i {Jm , Vn } = (3m − n) Vm+n , 1 i {Vm , Wn } = 2 2 (m − n) 3m4 − 2m3 n + 4m2 n2 − 2mn3 + 3n4 Pm+n (4.22) 2 3 2 X 23 π ˜ (6) − 7 (m − n) m2 + 4mn + n2 (m − n) Λ Pm+n−q Pq − m+n k 32 4k q k + 2 2 m7 δm+n,0 , 2 3 3m − n ψm+n , i {Jm , ψn } = 2 1 9 X i {ψm , ψn } = 3m2 − 4mn + 3n2 Pm+n + Pm+n−q Pq + km4 δm+n,0 , 2 4k q
with
˜ (6) = − 7 WP − 2π P 3 + 295 (P ′ )2 + 11 PP ′′ . Λ (4.23) 12 k 288 9 It is then apparent that one can consistently get rid of the (conformal) spin-4 generators Vm , Wn , since the In¨ on¨ u-Wigner contraction of W(2,4) ⊕W(2, 5 ,4) in eq. (4.22) possesses a 2 subset spanned by {Pm , Jm , ψm }, which precisely corresponds to the hyper-BMS3 algebra in (4.13). Note that this is just a reflection of the fact that in the vanishing cosmological constant limit, the hypergravity theory can be consistently formulated without the need of spin-4 fields.
5
Hypersymmetry bounds
In the case of hypergravity with negative cosmological constant, it has been recently shown that the anticommutator of the generators of the asymptotic hypersymmetries implies the existence of interesting nonlinear bounds for the bosonic charges, that saturate for configurations that admit unbroken hypersymmetries [9]. In this section, following these lines, we explicitly show that this is also the case for hypergravity with asymptotically flat
– 11 –
JHEP10(2015)009
− + + + where L− n , Un stand for the generators of the (left) W(2,4) algebra, and Ln , Un , ψn span the (right) W(2, 5 ,4) algebra. Therefore, rescaling the level according to κ = kℓ, in the large 2 AdS radius limit, ℓ → ∞, one obtains that the nonvanishing brackets of the contracted algebra read
boundary conditions. In order to perform this task, it is useful to assume that the bosonic global charges are just determined by the zero modes. Indeed, as explained in [20], a generic bosonic configuration can be brought to the “rest frame” through the action of suitable elements of the asymptotic symmetry algebra. The searched for bounds can then be found along the same semi-classical reasoning as in the case of supergravity [22, 34–39]. Hence, the fermionic bracket in (4.13) becomes an anticommutator, which in the rest frame, and for m = −n = p, reads (5.1)
ˆ Thus, since the left-hand side of (5.1) is a positive-definite hermitian with Pˆ0 = 2π P. operator, in the classical limit, and for any value of the (half-)integer p, the energy has to fulfill the following bounds: 9π π 2 p + P (5.2) p2 + P ≥ 0 , k k which are manifestly nonlinear. Note that for any configuration with P > 0, the bounds in (5.2) are automatically fulfilled, but never saturate. Indeed, this is the case of the cosmological spacetimes in (3.4), which goes by hand with the fact that they do not admit globally-defined Killing vectorspinors, and hence, break all the hypersymmetries. These bounds are also clearly fulfilled in the case of P = 0, and for fermions with periodic boundary conditions, the one for p = 0 is saturated. This relates to the fact that this class of configurations, that includes the null orbifold, possesses a single unbroken hypersymmetry spanned by a constant Killing vector-spinor. In the case of P < 0, the class of smooth configurations are the ones for which the holonomy of the connection around an angular cycle is trivial. This means that they are maximally (hyper)symmetric, and then possess four Killing vector-spinors. As explained in section 3.1, their energy is given by P = −kj 2 /π, and the bounds in (5.2) then reduce to p2 − 9j 2
p2 − j 2 ≥ 0 .
(5.3)
Remarkably, the bounds are only fulfilled in the case of j 2 = 1/4, so that four of them saturate, corresponding to p = ±1/2, and p = ±3/2. This is the case of Minkowski spacetime (P = −k/4π), with four independent Killing vector-spinors that fulfill antiperiodic boundary conditions. Hence, in spite of being maximally hypersymmetric, smooth solutions whose energy is lower than the one of Minkowski spacetime are excluded by the hypersymmetry bounds. It is worth highlighting that one arrives to similar conclusions in the case of asymptotically flat spacetimes in supergravity [21]. In fact, despite the analysis is fairly different, the supersymmetry bounds precisely select the same spectrum, including the corresponding ground states who saturate the bounds for spinors that fulfill different periodicity conditions.
– 12 –
JHEP10(2015)009
9π ˆ 2 k 4 1 ˆ ˆ ψp ψ−p + ψˆ−p ψˆp = 5p2 Pˆ + P + p ≥ 0, 2π 2k 2π
6
Hypergravity reloaded
Let us look for a different theory of three-dimensional (hyper)gravity that is still compatible with the asymptotically flat boundary conditions described above, but now allowing the presence of spacetime torsion even in vacuum. For simplicity, we consider modifications such that the field equations are still of first order for the dreibein and the spin connection. One interesting possibility is to include additional terms, so that the action is given by ˆ k Iγ = 2Ra ea + γ 2 ǫabc ea eb ec + 2γT a ea . (6.1) 4π
T a = −γεabc eb ec ,
(6.2)
so that the remaining field equations fix the curvature two-form according to 1 Ra = γ 2 εabc eb ec . 2
(6.3)
¯ a + κa , where ω ¯ a is the Therefore, eq. (6.2) implies that the spin connection splits as ω a = ω a a (torsionless) Levi-Civita connection, and the contorsion reads κ = −γe . The curvature ¯ a + 1 γ 2 εabc eb ec , and hence, equation (6.3) implies the two-form is then given by Ra = R 2 ¯ a = 1 εaρτ Rρτ µν dxµ dxν = 0. vanishing of the Riemann tensor, i. e., R 4 The most general theory that possesses the features described above is obtained by considering the addition of the Lorentz-Chern-Simons form, L(ω) = ω a dωa + 31 εabc ω a ω b ω c , with an independent coupling µ, provided the remaining couplings in (6.1) are suitable shifted. The action is then given by ˆ γ k 2 (1 + µγ) Ra ea + γ 2 1 + µ ǫabc ea eb ec + µL(ω) + γ (2 + µγ) T a ea . (6.4) Iµ,γ = 4π 3 Noteworthy, despite the fact that the Lorentz-Chern-Simons form is not a boundary term, the shifts in the other couplings are such that the field equations in vacuum just become reshuffled, coinciding with the previous ones for µ = 0, given by (6.2) and (6.3). Actually, one should highlight that both actions, (6.1) and (6.4), differ off-shell, which reflects through the fact that the canonical generators do not have the same form. Consequently, as in the case of supergravity [21], the asymptotic symmetry algebra of the latter acquires an additional central extension with respect to the former (see below). The locally hypersymmetric extension of the theory described by (6.4) is given by the following action ˆ k 3 b ¯ Iµ,γ,ψ = Iµ,γ + iψa D + γe Γb ψ a , (6.5) 4π 2
– 13 –
JHEP10(2015)009
Remarkably, despite the second (volume) term in the action looks like a cosmological constant Λ = −3γ 2 , the field equations actually imply that the Riemann curvature vanishes. Indeed, the presence of the last (parity-odd) term in the action has the effect of making the volume term to act as the source for a fully antisymmetric torsion in vacuum, being proportional to the volume element, given by
which is invariant under the following local hypersymmetry transformations: 3 ǫ b Γa ψ b , δea = i¯ 2
3 δω a = − iγ¯ ǫ b Γa ψ b , 2
3 δψ a = Dǫa + γeb Γb ǫa − γeb Γa ǫb . 2
(6.6)
The field equations now read 1 3 Ra = γ 2 εabc eb ec − iγ ψ¯b Γa ψ b , 2 4 3 b a a Dψ = − γe Γb ψ + γeb Γa ψ b . 2
3 T a = −γεabc eb ec + iψ¯b Γa ψ b , 4 (6.7)
hJa , Jb i = µηab ,
(6.8)
so that the Chern-Simons action (2.4) now depends on a different hyper-Poincar´e-algebravalued gauge field, defined as A = ea Pa + ω ˆ a Ja + ψaα Qaα ,
(6.9)
with ω ˆ a := ω a + γea . Therefore, in terms of the covariant derivative with respect to ω ˆa ˆ and R ˆ a , respectively, up to a surface term, and its corresponding curvature, given by D the Chern-Simons action reduces to ˆ k ˆ a ea + µL(ˆ ˆ a, 2R ω ) + iψ¯a Dψ (6.10) Iµ,γ,ψ = 4π which precisely agrees with (6.5). Note that the field equations (6.7) correspond to the vanishing of the components of the curvature associated to (6.9), so that they can be compactly written as F = dA + A2 = 0, being manifestly covariant under the full hyperPoincar´e group. One of the advantages of having formulated the extension of hypergravity with parityodd terms as a Chern-Simons theory, is that its asymptotically flat structure can be directly obtained along the lines of the results in section 4. The asymptotically flat boundary conditions for the connection (6.9) are then proposed to be precisely as in eqs. (4.3), (4.4), and (4.8), so that the asymptotic fall-off of the spin connection ω a becomes modified. Therefore, the asymptotic symmetries remain the same as in section 4, being spanned by the hyper-Poincar´e algebra valued parameter λ = λ [T, Y, E] given by (4.5). The global charges are then found to acquire a correction due to the additional component of the invariant bilinear form in (6.8), so that they now read ˆ Q [T, Y, E] = − T P + Y J˜ − iEψ dφ , (6.11)
– 14 –
JHEP10(2015)009
Note that in the case of µ = γ = 0, the action (6.5), the transformations rules (6.6), and the field equations (6.7), reduce to the ones of the locally hypersymmetric extension of General Relativity, given by eqs. (2.5), (2.8), and (2.7), respectively. As outlined in [6], in analogy with the case of supergravity [21, 40], the action (6.4) can be formulated as a Chern-Simons one for the hyper-Poincar´e group (2.2) by virtue of a simple modification of the invariant bilinear form, and a suitable shift of the spin connection. Indeed, the invariant bilinear form in (2.3) can be consistently modified to admit an additional nonvanishing component given by
which corresponds to a hypersymmetric extension of the BMS3 algebra, with an additional central extension along its Virasoro subalgebra.
7
General Relativity minimally coupled to half-integer spin fields
In the generic case of fermionic fields of spin n + 32 , and in the absence of cosmological constant, the hypergravity action reads [5, 6] ˆ k 2Ra ea + iψ¯a1 ...an Dψ a1 ...an , (7.1) I= 4π where ψa1 ...an describes a Grassmann-valued 1-form that is Γ−traceless, i. e., Γa1 ψa1 ...an = 0, and completely symmetric in its vector indices. Its covariant derivative can be conveniently written as 1 a1 ...an a1 ...an Dψ = dψ + n+ ω b Γb ψ a1 ...an − ωb Γ(a1 ψ a2 ...an )b . (7.2) 2 The standard supergravity action in [41–43] is then recovered for n = 0, while the theory discussed in section 2 corresponds to n = 1. The generic theory can also be formulated in terms of a Chern-Simons action for a gauge field that takes values in the hyper-Poincar´e algebra, given by A = ea Pa + ω a Ja + ψaα1 ...an Qaα1 ...an .
(7.3)
Here Qaα1 ...an correspond to Γ−traceless fermionic generators of spin n + 21 . The explicit expression of the generic hyper-Poincar´e algebra can be compactly written in terms of its Maurer-Cartan form (see appendix C). The field equations then read F = dA + A2 = 0, with F = Ra Ja + T˜a Pa + Dψaα1 ...an Qaα1 ...an , where the hypercovariant torsion is now given by 1 1 a a ˜ T =T − n+ iψ¯a1 ...an Γa ψ a1 ...an . 2 2
– 15 –
(7.4)
(7.5)
JHEP10(2015)009
with J˜=J +µP, and do not depend on the parameter γ. Note that the shift in the canonical generator associated to Y implies that in the extended theory, even static configurations, as it is the case of Minkowski spacetime, may carry angular momentum. It is then simple to verify that, once the canonical generators are expanded in modes, their nonvanishing Poisson brackets are given by n o i J˜m , J˜n = (m − n) J˜m+n + µkm3 δm+n,0 , o n i J˜m , Pn = (m − n) Pm+n + km3 δm+n,0 , o n 3m ˜ i J m , ψn = − n ψm+n , (6.12) 2 9 X 1 3m2 − 4mn + 3n2 Pm+n + Pm+n−q Pq + km4 δm+n,0 , i {ψm , ψn } = 2 4k q
Thus, by construction, the action is invariant under gauge transformations generated by λ = ǫαa1 ...an Qaα1 ...an , so that 1 a δe = n + i¯ ǫa1 ...an Γa ψ a1 ...an , 2 δω a = 0 , (7.6) δψ a1 ...an = Dǫa1 ...an . 7.1
Killing tensor-spinors
Since the field equations imply the vanishing of the curvature two-form Ra , the general solution of (7.7) is now given by α ǫαa1 ···an = gS−1 β (gV )ba11 · · · (gV )bann ηbβ1 ···bn , (7.8)
where gS and gV are defined in eq. (3.3). As explained in section 3, both stand for the same group element g that determines the spin connection, ω = g −1 dg, but expressed in the spinor and the vector representations, respectively. In the generic case, ηbβ1 ···bn is a constant Γ−traceless tensor-spinor. Unbroken hypersymmetries then correspond to Killing tensor-spinors of the form (7.8), that are globally well-defined. The hypersymmetry properties of the class of solutions discussed in section 3.1, describing cosmological spacetimes and configurations with conical defects, then go as follows. For any configuration with P = 6 0, gS and gV are given by (3.8) and (3.9), respectively; while in the case of P = 0, they read as in eq. (3.10). Therefore, in the case of P > 0 the solutions cannot possess globally-defined Killing tensor-spinors, because ǫαa1 ···an in (7.8) do not fulfill neither periodic nor antiperiodic boundary conditions. This means that hypersymmetries are necessarily broken for cosmological spacetimes. By virtue of (7.8) and (3.10), configurations with P = 0 only admit constant Killing tensor-spinors that fulfill the following condition: 1 Γ1 ǫa1 ...an − Γ(a1 ǫa2 ...an )1 = 0 , (7.9) n+ 2
− which implies that they have a single nonvanishing component given by ǫ− 00···0 = η00···0 . Therefore, this class of spacetimes possesses just one unbroken hypersymmetry, which relates to the fact that there is only one hypersymmetry bound that saturates for fermions with periodic boundary conditions (see below). As explained in section 3.1, smooth solutions with conical defects are maximally hypersymmetric and their energy is determined by P = −kj 2 /π < 0, where j is a (half-)integer. For this class of configurations, the explicit form of the Killing tensor-spinors is then given by (7.8), with gS and gV being described by eqs. (3.12) and (3.13), respectively. It will also be shown below that conical surpluses are excluded by the hypersymmetry bounds, which are fulfilled only for j 2 = 1/4, which corresponds to the case of Minkowski spacetime.
– 16 –
JHEP10(2015)009
According to (7.6), a purely bosonic configuration is invariant under local hypersymmetry transformations provided the following “Killing tensor-spinor equation” is fulfilled: 1 ω b Γb ǫa1 ...an − ω b Γ(a1 ǫa2 ...an )b = 0 . (7.7) dǫa1 ...an + n + 2
7.2
Asymptotically flat structure and hypersymmetry bounds
In order to describe the asymptotically flat behaviour of hypergravity in the generic case, it is convenient to make use of the Γ−traceless condition of the fields and the generators, which amounts to reduce the number of independent components. The hyper-Poincar´e algebra in (C.2) can then be alternatively written as = (m − n) Jˆm+n = (m − n) Pˆm+n , ˆ m+p , = (sm − p) Q
(7.10)
(s) ˆ = fp,q Pp+q ,
with m, n = 0, ±1, and p, q = ± 21 , ± 23 . . . , ±s, where s stands for the spin of the fermionic (s) (s) (s) ˆ p . The structure constants fulfill fp,q generators Q = fq,p = f−p,−q , and the nonvanishing ones are given by (s) fp,−p
|p| Y 2p (2s + 2k) (s) p+ 21 =− 2p fp,−p−1 = (−1) , s+p+1 (2s − 2 (k − 1)) 1
(7.11)
k= 2
provided |p + q| ≤ 1. Here the fermionic generators have been normalized according to (s) f 1 ,− 1 = −1. 2
2
It is amusing to verify that the Jacobi identity now translates into the fact that the (s) structure constants fp,q solve the following recursion relation: (s)
(s)
(s) (m − (p + q)) fq,p − (sm − p) fq,m+p − (sm − q) fp,m+q = 0 .
(7.12)
For later purposes it is useful to note that (s)
1
fs,−s = (−1)s+ 2
(4s)!! 2s . 2s + 1 (2s − 1)!!2
(7.13)
The structure constants can also be conveniently written as s− 12 (s) fm,n =
X
h(l) m,n ,
(7.14)
l=0
(l)
(l)
(l)
where hm,n stand for homogeneous polynomials of degree 2l in m, n, i. e., hλm,λn = λ2l hm,n . Indeed, as it is shown below, the asymptotic symmetry algebra can be naturally expressed (l) in terms of hm,n , where m, n are extended to be arbitrary (half-)integers. Note that in the (1/2) case of supergravity fm,n = −1, while for fermionic generators of spin s = 3/2, the form (3/2) of fm,n can be read from eq. (4.2). In the case of fermionic generators with s = 5/2, 7/2 (7/2) (5/2) the explicit form of fm,n and fm,n is given in appendices D.2 and D.3, respectively.
– 17 –
JHEP10(2015)009
i h Jˆm , Jˆn h i Jˆm , Pˆn i h ˆp Jˆm , Q o n ˆp, Q ˆq Q
Following the lines of section 4, the asymptotic form of the gauge field can be written as in eq. (4.3), so that at a fixed time slice, the dynamical field is proposed to be given by π ˆ ˆ −s , aφ = Jˆ1 − J P−1 + P Jˆ−1 + αs ψ Q (7.15) k
with
(s)
(7.16)
ˆ s + η(s) [T, Y, E] , λ = T Pˆ1 + Y Jˆ1 + E Q
(7.17)
and fs,−s can be read from eq. (7.13). The asymptotic symmetries are then generically spanned by a hyper-Poincar´e-valued parameter of the form
where η(s) [T, Y, E] goes along all but the lowest weight generators, provided the fields J , P, ψ transform in a suitable way. The asymptotic form of the Lagrange multiplier can then be written in terms of the chemical potentials according to au = λ [µP , µJ , µψ ] .
(7.18)
Its form is preserved under evolution in time as long as the field equations are fulfilled in the asymptotic region, and the parameters are subject to appropriate conditions, being described by first order equations in time. In order to integrate the variation of the canonical generators in (4.11), one needs the relevant fermionic component of the invariant bilinear form, which is given by E D ˆs, Q ˆ −s = 2αs−1 , (7.19) Q so that the global charges in the generic case acquire the same form as in eq. (4.12), i. e., ˆ Q [T, Y, E] = − (T P + Y J − iEψ) dφ . (7.20)
Once expanded in Fourier modes, the nonvanishing Poisson brackets of the canonical generators are given by i {Jm , Jn } = (m − n) Jm+n ,
i {Jm , Pn } = (m − n) Pm+n + km3 δm+n,0 ,
i {Jm , ψn } = (sm − n) ψm+n , (7.21) 1 s−1/2 2s+1 X (−1)2s−q 2 s−q− 2 s−q− 21 (s) s− 21 2km (q) δm+n,0 + Ξm+n . + (−1) i {ψm , ψn } = h P m,n m+n αs (2s)! s − q + 21 k q=0
The conformal weight of the fermionic generators ψn with respect to Jm is given by ∆ = (q) s + 1. Here hm,n stand for the homogeneous polynomials defined through eq. (7.14), extended to the case of (half-)integers, and X r (7.22) Pm+n−i1 ···−ir Pi1 · · · Pir . Pm+n := i1 ,···ir
– 18 –
JHEP10(2015)009
−1 −1 (s) (s) αs = f−s,s+1 , = −2s fs,−s
(s)
i=0
where p is a (half-)integer for the case of fermionic fields of spin s = n + 3/2 that fulfill (anti)periodic boundary conditions. It is then clear that the bounds are fulfilled for configurations with P > 0, as it is the case of cosmological spacetimes. The fact that they never saturate agrees with the nonexistence of globally-defined Killing tensor-spinors. Note that in the case of P = 0 the bounds are also satisfied, while the one with p = 0 saturates, which corresponds to the fact that configurations of this sort admit a single unbroken hypersymmetry, being generated by a constant Killing tensor-spinor. For the class of maximally hypersymmetric smooth solutions with negative energy P = −kj 2 /π described in section 3.1, the bounds (7.23) read n Y i=0
2 2
2
p − (2i + 1) j
≥ 0,
(7.24)
which implies that the only case that fulfills all of them, also saturate the ones for p = ±(2i + 1)/2, with i = 0, 1, . . . , n, and corresponds to j 2 = 1/4. Thus, Minkowski spacetime becomes naturally selected at the ground state in the case of fermions that satisfy antiperiodic boundary conditions, possessing the maximum number of Killing tensorspinors described by (7.8), with (3.12) and (3.13). In sum, in the case of fermions that fulfill periodic boundary conditions the energy spectrum is nonnegative (P ≥ 0), so that the allowed class of solutions is generically characterized by the cosmological spacetimes described in section 3.1. The ground state is then given by a configuration of vanishing energy that saturates only one of the bounds (p = 0). This corresponds to the null orbifold which, as shown in section 7.1, possesses a single Killing tensor-spinor. If the fermions satisfy antiperiodic boundary conditions, the spectrum becomes enlarged since the bounds now imply that P ≥ −k/4π. Nonetheless, since conical defects and surpluses generically do not fulfill the field equation in vacuum, they are discarded unless they are smooth. According to (7.24), in this case the ground state saturates as many bounds as the maximum number of Killing tensor-spinors, and it can be identified with Minkowski spacetime, so that the spectrum acquires a gap.
– 19 –
JHEP10(2015)009
Here Ξm+n stands for the mode expansion of nonlinear terms that contains derivatives of P, and becomes nontrivial provided s > 3/2. Indeed, according to eqs. (D.9) and (4.13), (1/2) (3/2) in the case of supergravity (s = 1/2), and for s = 3/2, one finds that Ξm+n = Ξm+n = 0; 2 while for s = 5/2 it is proportional to the mode expansion of (P ′ ) (see eq. (D.20)). The explicit form of Ξ(7/2) is given in eq. (D.30). As in section 5, the asymptotic symmetry algebra (7.21) also implies the existence of nonlinear bounds for the energy. Indeed, making the same assumptions, for m = −n = p, the (fermionic) anticommutator is manifestly positive-definite. Furthermore, since in the “rest frame” the bosonic global charges just correspond to P0 , the nonlinear terms described (s) by Ξm+n in the fermionic anticommutator do not contribute. Therefore, in the generic case the bounds are given by n Y 2 πP 2 p + (2i + 1) ≥ 0, (7.23) k
8
Final remarks
In the case of fermionic fields of spin s = n + 3/2, the locally hypersymmetric extension of the action Iµ,γ in (6.4), that includes parity-odd terms, can also be formulated as a Chern-Simons theory for the hyper-Poincar´e group in (C.2). In order to carry out this task, the invariant bilinear form has to be suitably modified, so that it acquires additional components being determined by eq. (6.8). The gauge field reads A = ea Pa + ω ˆ a Ja + ψaα1 ...an Qaα1 ...an ,
(8.1)
being by construction locally invariant under 1 a δe = n + i¯ ǫa1 ...an Γa ψ a1 ...an , 2 1 a iγ¯ ǫa1 ...an Γa ψ a1 ...an , δω = − n + 2 1 b a1 ...an γe Γb ǫa1 ...an − γeb Γ(a1 ǫa2 ...an )b . δψ = D+ n+ 2
(8.3)
Note that the extended hypergravity action (8.2), and its corresponding local hypersymmetry transformations (8.3), agree with the corresponding ones for the locally hypersymmetric extension of General Relativity, given by (7.1) and (7.6), respectively, in the case of µ = γ = 0. Consequently, a suitable set of asymptotically flat boundary conditions for the extended theory is also proposed to be described by gauge fields of the form (4.3), (7.15), and (7.18). The canonical generators of the asymptotic symmetries then reduce to the ones in eq. (6.11), with J˜=J +µP, so that their algebra is readily found to be described by (7.21), but with an additional central extension along the Virasoro subalgebra, precisely as in eq. (6.12). It is worth pointing out that prescribing the asymptotic behaviour of gauge fields to be described by deviations with respect to a reference background that go along the highest weight generators of the algebra, turns out to be a very successful strategy. Indeed, this is not only the case of General Relativity in three spacetime dimensions [28], but it is also so for its locally supersymmetric extension with or without cosmological constant [21, 44], or even when the theory is nonminimally coupled to higher spin fields [17–20, 26, 27, 45–49]. One of the interesting features of dealing with hypersymmetry, is that nonlinear bounds for the energy have been shown to naturally emerge from the anticommutator of fermionic generators. In the case of vanishing cosmological constant, the hypersymmetry bounds for the theory in vacuum turn out to exclude solutions that describe conical defects and surpluses [10, 11], despite the latter are maximally (hyper)symmetric. In presence of higher spin fields, the analogue of this class of configurations has been discussed in [7, 9, 50–55]. It
– 20 –
JHEP10(2015)009
ˆ a = ω a + γea . Therefore, up to a boundary term, the action of the where, as in section 6, ω extended hypergravity theory reduces to ˆ k 1 b ¯ Iµ,γ,ψn = Iµ,γ + iψa1 ...an D + n + γe Γb ψ a1 ...an , (8.2) 4π 2
is then worth highlighting that, according to the results that have been recently obtained for hypergravity with negative cosmological constant [9], one is naturally led to expect that only a suitable subset of asymptotically flat solitonic-like solutions might fulfill the hypersymmetry bounds, for which the higher spin charges become tuned in terms of the mass. Indeed, it is amusing to verify that the gauge group Sp (4) ⊗ OSp (1|4) admits an inequivalent In¨ on¨ u-Wigner contraction as compared with the one described in section 4.1, so that the electric-like spin-4 charges cannot be consistently decoupled in this alternative flat limit of the (0, 1) theory. This contraction is defined through a different change of basis:2 ˆ− Jˆi = Lˆ+ i − L−i , − Vˆn = Uˆn+ − Uˆ−n ,
ˆp = Q
r
6 ˆ+ S , ℓ p
(8.4)
ˆ− ˆ+ ˆ+ ˆ+ where Lˆ− i , Un stand for the generators of the (left) sp (4) algebra, and Li , Un , Sp span the (right) osp (1|4) algebra. Thus, in the limit of large AdS radius, ℓ → ∞, the nonvanishing components of the (anti)commutators of the new algebra read i i h h Jˆi , Pˆj = (i − j) Pˆi+j , Jˆi , Jˆj = (i − j) Jˆi+j , i i h h ˆ i+n , ˆ n = (3i − n) W Jˆi , Vˆn = (3i − n) Vˆi+n , Jˆi , W i 3i i h h ˆ ˆ ˆ ˆ ˆ ˆ i+p , J i , Qp = Pi , Vn = (3i − n) Wi+n , −p Q 2 i h 2 1 2 2 2 2 2 ˆ ˆ Vm , Vn = 2 (m − n) m + n − 4 (m + n − mn − 9) − (mn − 6) mn Jˆm+n 2 3 3 3 1 (8.5) + (m − n) m2 − mn + n2 − 7 Vˆm+n , 6 i h ˆ n = 1 (m − n) m2 + n2 − 4 (m2 + n2 − 2 mn − 9) − 2 (mn − 6) mn Pˆm+n Vˆm , W 2 2 3 3 3 1 ˆ m+n , + (m − n) m2 − mn + n2 − 7 W 6 i h ˆ p = 1 2m3 − 8m2 p + 20mp2 + 82p − 23m − 40p3 Q ˆ m+p , Vˆm , Q 3 2 3 o n ˆp, Q ˆ q = 3W ˆ p+q + 1 6p2 − 8pq + 6q 2 − 9 Pˆp+q , Q 2 2 which is to be regarded to span the gauge group of flat hypergravity coupled to spin-4 fields. Here, i, j = 0, ±1, m, n = 0, ±1, ±2, ±3, and p, q = ± 21 , ± 23 . The mode expansion of the asymptotically flat symmetry algebra of hypergravity with a fermionic spin-5/2 field, being coupled to spin-4 fields, is then expected to be such that the nonvanishing Poisson 2
Note that OSp (1|4), corresponding to the super-AdS4 group, as well as the superconformal group in three spacetime dimensions, admits two interesting consistent “flat limits” (ℓ → ∞), which can be obtained rescaling the generators either as in eq. (4.21), or in (8.4), provided the left copy is switched off.
– 21 –
JHEP10(2015)009
1 ˆ+ Pˆi = Li + Lˆ− −i , ℓ 1 − ˆn = W Uˆn+ + Uˆ−n , ℓ
brackets are given by i {Jm , Pn } = (m − n) Pm+n + km3 δm+n,0 ,
i {Jm , Jn } = (m − n) Jm+n ,
i {Jm , Wn } = (3m − n) Wm+n , i {Pm , Vn } = i {Vm , Vn } =
i {Vm , ψn } =
i {ψm , ψn } = (l)
(l)
where Ωm , and Θm stand for the mode expansion of the following nonlinear terms:3 Ω(4) = Θ(4) = Ω(9/2) = Ω(11/2) = Ω(6) = Θ(6) =
1 2 P , 2 JP , 1 Pψ , 2 27 ′ P ψ, (8.7) 46 7 2π 3 295 ′ 2 11 P + (P ) + PP ′′ , − WP − 36 3k 864 27 7 2π 2 295 ′ ′ 11 25 − (VP + WJ ) − P J + J P + (J P ′′ + PJ ′′ ) + iψψ ′ . 36 k 432 27 72
Indeed, this asymptotic symmetry algebra is recovered from a contraction that corresponds to a different flat limit of W(2,4) ⊕W(2, 5 ,4) , as compared with the one in 4.1. The flat limit 2
3
The infinite-dimensional nonlinear algebras in eqs. (4.22) and (8.6), correspond to different hypersymmetric extensions of the BMS3 algebra, being isomorphic to the Galilean conformal algebra in two dimensions, and then relevant in the context of non-relativistic holography [16, 56–59].
– 22 –
JHEP10(2015)009
i {Vm , Wn } =
i {Jm , Vn } = (3m − n) Vm+n , 3m − n ψm+n , (3m − n) Wm+n , i {Jm , ψn } = 2 1 (m − n) 3m4 − 2m3 n + 4m2 n2 − 2mn3 + 3n4 Jm+n 2 2 2 3 23 3π 1 (6) (m − n) Θm+n + (m − n) m2 − mn + n2 Vm+n − 6 k (4) 72 π − 2 (m − n) m2 + 4mn + n2 Θm+n 3 k 1 4 3 2 2 3 4 (m − n) 3m − 2m n + 4m n − 2mn + 3n Pm+n (8.6) 22 32 1 23 3π (6) + (m − n) m2 − mn + n2 Wm+n − (m − n) Ωm+n 6 k (4) 72 π k − 2 (m − n) m2 + 4mn + n2 Ωm+n + 2 2 m7 δm+n,0 , 3 k 2 3 1 23π (11/2) m3 − 4m2 n + 10mn2 − 20n3 ψm+n − iΩ 2 2 3 3k m+n π (9/2) + (23m − 82n) Ωm+n , 3k 3 9π (4) 4 2 2 3Wm+n + m − mn + n Pm+n + Ω + km4 δm+n,0 , 2 3 k m+n
is now defined according to 1 + Ln + L− −n , ℓ 1 + − Wn = Un + U−n , ℓ Pn =
− J n = L+ n − L−n ,
Vn =
Un+
−
− U−n ,
ψn =
r
6 + Ψ , ℓ n
(8.8)
it is natural to expect that the eigenvalues of the holonomy of the dynamical gauge field aφ along an angular cycle, for the class of solutions aforementioned, have to be given by ! r 3k 4 5π P2 − P± W . (8.11) λ2[±] = k 5 8π
In the case of solitonic-like solutions, these eigenvalues should then correspond to a couple of purely imaginary integers, that become related for the class of configurations that fulfill the bounds (8.10), saturating just some of them. As a final remark, since the hyper-Poincar´e group actually exists for d ≥ 3 spacetime dimensions [6], it would be interesting to explore whether similar results as the ones obtained here could extend to higher-dimensional spacetimes. In this sense, despite the no-go results in four dimensions [2, 3, 60–62], some interesting results have been recently found in the case of hypergravity at the noninteracting level [63]. Whether these results correspond to a suitable weak field limit of Vasiliev higher spin gravity [64, 65], or another theory that has yet to be found, remains as an open question.
Acknowledgments We thank M. Henneaux, A. P´erez and D. Tempo for helpful discussions. We also thank the International Solvay Institutes and the ULB for warm hospitality. O.F. and R.T. wish to thank Amilcar de Queiroz, Emanuele Orazi, and the organizers of the school and conference “Theoretical Frontiers in Black Holes and Cosmology”, hosted by IIPUFRN, during June 2015, for the opportunity of presenting this work. O.F. thanks Conicyt
– 23 –
JHEP10(2015)009
where the level also rescales as κ = kℓ. Moreover, once the modes Pm are shifted according to (4.14), it is simple to verify that the wedge algebra of (8.6) reduces to the algebra of the gauge group in (8.5). From the anticommutator of the fermionic generators in (8.6), one then finds that the zero modes of the energy and the electric-like spin-4 charge, 2πP = P0 , 2πW = W0 , fulfill the following bounds 9π 2 k 4 3W + P + 5p2 P + p ≥ 0, (8.9) 2k 2π which agree with the bounds in [9] in the flat limit. It would then be interesting to explore different classes of solutions endowed with electric-like spin-4 charge, including cosmological spacetimes and solitonic-like configurations that fulfill the bounds (8.9), as well as the hypersymmetric ones that should saturate them. Note that since the bounds (8.9) factorize as p2 + λ2[+] p2 + λ2[−] ≥ 0 , (8.10)
for financial support. This research has been partially supported by Fondecyt grants No 1130658, 1121031, 3150448. The Centro de Estudios Cient´ıficos (CECs) is funded by the Chilean Government through the Centers of Excellence Base Financing Program of Conicyt.
A
Conventions
X (a| Y b Z |c) = X a Y b Z c + X c Y b Z a .
(A.1)
Note that the three-dimensional Dirac matrices, that satisfy the Clifford algebra {Γa , Γb } = 2ηab , fulfill the following identity: Γa Γb Γc = εabc + η ab Γc + η bc Γa − η ac Γb .
(A.2)
The generators of the Lorentz group, in the spinorial and vector (adjoint) representations, are assumed to be given by (Ja )αβ = 12 (Γa )αβ , and (Ja )bc = −εab c , respectively. The three-dimensional Γ-matrices are chosen as 1 Γ0 = √ (σ1 + iσ2 ) , 2
1 Γ1 = √ (σ1 − iσ2 ) , 2
where σi stand for the Pauli matrices: ! 01 σ1 = , σ2 = 10
0 −i i 0
!
,
Γ2 = σ 3 ,
(A.3)
!
(A.4)
1 0 0 −1
σ3 =
.
For a vector-spinor ψaα , with α = +, −, and a = 0, 1, 2, the Majorana conjugate is defined as ψ¯αa = ψaβ Cβα , where the charge conjugation matrix C, and its inverse are chosen as Cαβ =
0 −1 1 0
!
,
C αβ =
0 1 −1 0
!
,
(A.5)
so that C T = −C, and (CΓa )T = CΓa .
B
Killing vector-spinors from an alternative approach
Killing vector-spinors ǫαa in (3.2) that are globally well defined can be recovered as a particular case of the asymptotic symmetries discussed in section 4. Indeed, they are of the form ǫαa Qaα = λ [0, 0, E], with λ given by (4.5). Hence, for the class of bosonic configurations discussed in section 3.1, that only carries the zero modes of the global charges,
– 24 –
JHEP10(2015)009
We follow the conventions of [6]. The orientation is chosen to be such that the Levi-Civita symbol fulfills ε012 = 1, and the Minkowski metric is assumed to be non-diagonal, whose only nonvanishing components read η01 = η10 = η22 = 1. Round brackets correspond to symmetrization of the indices enclosed by them, so that
and their corresponding chemical potentials are constant, the components of the Killing vector-spinors can be written as ˆ 3 − E ′Q ˆ1 − 1 λ [0, 0, E] = E Q 2 2 2
3π 7 ′ k ′′′ ˆ π ′′ ˆ EP − E Q− 1 − − EP+ E Q− 3 . (B.1) 2 2 k 3k 2 2π
The requirements of invariance under hypersymmetry can then be read from eqs. (4.7), (4.10), so that the Killing vector-spinor equation reduces to (B.2) (B.3)
which can be readily integrated. In fact, the solution of eq. (B.2) is generically given by E = A1 e
q
πP φ k
+ A2 e
−
q
πP φ k
+ A3 e
q 3 πP φ k
+ A4 e
q −3 πP φ k
,
(B.4)
where AI = AI (u) stand for four arbitrary functions. In the case of P > 0, E clearly cannot fulfill neither antiperiodic nor periodic boundary conditions, and therefore, cosmological spacetimes break all the hypersymmetries. Note that if the energy vanishes (P = 0), eq. (B.2) integrates in a different way: E = A0 + A1 φ + A2 φ2 + A3 φ3 .
(B.5)
Periodicity then implies that E = A0 (u), while the remaining equation (B.3) fixes the arbitrary function to be a constant. Hence, vanishing energy configurations, as the null orbifold, admit a single constant Killing vector-spinor. Finally, for P = −kn2 /π < 0, eq. (B.4) reads E = A1 einφ + A∗1 e−inφ + A3 e3inφ + A∗3 e−3inφ ,
(B.6)
so that n turns out to be a (half-)integer for fermions fulfilling (anti)periodic boundary conditions. The remaining equation (B.3) then fixes the form of the arbitrary functions AI (u), and hence there are four independent Killing vector-spinors, determined by E = E1 ein(µJ u+φ) + E1∗ e−in(µJ u+φ) + E3 e3in(µJ u+φ) + E3∗ e−3in(µJ u+φ) .
(B.7)
It is worth pointing out that Minkowski spacetime, which corresponds to n2 = 1/4, is the only one of this class that fulfills all the hypersymmetry bounds (5.3), saturating precisely four of them in the case of antiperiodic boundary conditions. Indeed, the remaining solutions of this sort, in spite of possessing the maximum number of hypersymmetries, become manifestly excluded by the bounds. In the case of periodic boundary conditions, the null orbifold also satisfies the bounds, but it saturates only one of them.
– 25 –
JHEP10(2015)009
9π 2 k ′′′′ P E + 5PE ′′ − E = 0, 2k 2π E˙ = µJ E ′ ,
δψ = −
C
Hyper-Poincar´ e algebra with fermionic generators of spin n +
1 2
The extension of the Poincar´e algebra in the generic case includes fermionic tensor-spinor generators Qaα1 ...an , being completely symmetric in the vector indices, and Γ-traceless, i. e., Qa1 ...an Γa1 = 0 [6]. The Maurer-Cartan 1-form, Ω = ρa Pa + τ a Ja + χαa1 ...an Qαa1 ...an ,
(C.1)
corresponds to a flat connection that fulfills 1 dτ a = − ǫabc τb τc , 2
(C.2)
where χa1 ...an is Γ-traceless, and completely symmetric in the vector indices. Apart from I1 = P a Pa , this algebra admits an additional Casimir operator given by I2 = 2J a Pa + Qαa1 ...an C αβ Qaβ1 ...an .
D D.1
(C.3)
Asymptotic hypersymmetry algebra Spin-3/2 fields (supergravity)
In our conventions, the super-Poincar´e algebra with N = 1 reads [Ja , Jb ] = εabc J c , [Ja , Pb ] = εabc P c , 1 [Ja , Qα ] = (Γa )β α Qβb , 2 1 {Qα , Qβ } = − (CΓc )αβ Pc , 2 so that changing the basis according to Jˆ−1 = −2J0 , Pˆ−1 = −2P0 ,
Jˆ1 = J1 , Pˆ1 = P1 ,
3 4
1 4
ˆ 1 = 2 Q− , Q
ˆ 1 = 2 Q+ , Q − 2
(D.1) (D.2)
Jˆ0 = J2 , Pˆ0 = P2 ,
(D.3)
2
it acquires the following form i Jˆm , Jˆn = i h Jˆm , Pˆn = i h ˆp = Jˆm , Q o n ˆp, Q ˆq = Q h
(m − n) Jˆm+n , (m − n) Pˆm+n , m ˆ m+p , −p Q 2 −Pˆp+q .
with m, n = 0, ±1, and p, q = ± 12 .
– 26 –
(D.4)
JHEP10(2015)009
1 1 a abc dρ = −ǫ τb ρc + n+ iχ ¯a1 ...an Γa χa1 ...an , 2 2 1 a1 ...an dχ =− n+ τ b Γb χa1 ...an + τb Γ(a1 | χ|a2 ...an )b , 2
The asymptotic form of the dynamical gauge field then reads π ˆ ˆ 1 , P J−1 + J Pˆ−1 + ψ Q aφ = Jˆ1 − −2 k which is mapped into itself under gauge transformations generated by
(D.5)
ˆ 1 + η 1 [T, Y, E] , λ = T Pˆ1 + Y Jˆ1 + E Q (2) 2
(D.6)
with
provided the fields transform according to: δP = 2PY ′ + P ′ Y −
k ′′′ Y , 2π
δJ = 2J Y ′ + J ′ Y + 2PT ′ + P ′ T −
1 k ′′′ 3 T + iψE ′ + iψ ′ E , 2π 2 2
(D.8)
3 k ψY ′ + ψ ′ Y − PE + E ′′ . 2 π Once expanded in modes, the asymptotic symmetry algebra is found to be given by δψ =
i {Jm , Jn } = (m − n) Jm+n ,
i {Jm , Pn } = (m − n) Pm+n + km3 δm+n,0 , m i {Jm , ψn } = − n ψm+n , 2 i {ψm , ψn } = Pm+n + 2km2 δm+n,0 ,
(D.9)
and hence in the case of fermions that fulfill periodic boundary conditions, the energy 0 P=P 2π is bounded to be nonnegative, P ≥ 0,
(D.10)
while in the case of fermions subject to antiperiodic boundary conditions, the energy fulfills 1 πP + ≥ 0. 4 k These results agree with the ones in [21]. D.2
(D.11)
Spin-7/2 fields
In the case of fermionic generators of (conformal) spin ∆ = 7/2, the hyper-Poincar´e algebra can be written as i h Jˆm , Jˆn = (m − n) Jˆm+n , i h (D.12) Jˆm , Pˆn = (m − n) Pˆm+n , i h ˆ p = 5m − p Q ˆ m+p , Jˆm , Q (D.13) 2 o n (5/2) ˆ ˆp, Q ˆ q = fp,q Pp+q , Q
– 27 –
JHEP10(2015)009
πY ψ ˆ 2πY P ˆ 1 Y ′′ − η( 1 ) [T, Y, E] = −T ′ Pˆ0 − Y ′ Jˆ0 − E ′ + Q− 1 + J−1 2 2 k 2 k 2πT P 2πY J iπEψ ˆ 1 ′′ T − − + P−1 , (D.7) + 2 k k k
with 1 80 p4 + q 4 − 128 p3 q + pq 3 192 +144p2 q 2 − 620 p2 + q 2 + 832pq + 675 ,
(5/2) fp,q =−
(D.14)
where m, n = 0, ±1, and p, q = ± 21 , ± 23 , ± 25 .
The asymptotic behaviour of the dynamical gauge field now reads ψ ˆ ˆ ˆ J P−1 + P J−1 + Q− 5 , 2 10
(D.15)
so that the asymptotic symmetries are now spanned by ˆ 1 + η 5 [T, Y, E] , λ = T Pˆ1 + Y Jˆ1 + E Q (2) 2
(D.16)
with 2πT P 2πY J 5iπEψ ˆ ′′ T − −Y − − − P−1 η( 5 ) [T, Y, E] = 3 2 2 k k k 2πY P ˆ 5πEP ˆ 1 1 Y ′′ − E ′′ − + J−1 + Q1 2 2 k 2 k ′ ′ 13πE P 5πEP 1 ˆ 1 E ′′′ − − Q − (D.17) −2 6 k k 45π 2 EP 2 22πE ′′ P 18πE ′ P ′ 5πEP ′′ ˆ 1 (4) E + − − − Q− 3 + 2 24 k2 k k k 2 ′ 2 ′′′ 149π E P 12πY ψ 30πE P 1 E (5) + + − − 2 120 k k k 2 ′ ′′ ′ ′ ′′ 130π EPP 40πE P 23πE P 5πEP ′′′ ˆ + − − − Q− 5 , 2 k2 k k k −T ′ Pˆ0
′ Jˆ 0
ˆ E ′Q
1 + 2
and the transformation law of the fields is given by δP = 2PY ′ + P ′ Y −
k ′′′ Y , 2π
k ′′′ 7 5 T + iψE ′ + iψ ′ E , (D.18) 2π 2 2 ! 75π 2 P 3 65π (P ′ )2 155πPP ′′ 5 7 + + − P (4) E δψ = ψY ′ + ψ ′ Y + − 2 2 4k 6k 12k 12 259πPP ′ 7 ′′′ 259πP 2 21 ′′ 35 kE (6) 35 + − P − P E ′′ − E ′′′ P ′ − E (4) P + . E′ + 6k 3 12k 4 6 12 12π
δJ = 2J Y ′ + J ′ Y + 2PT ′ + P ′ T −
– 28 –
JHEP10(2015)009
π aφ = Jˆ1 − k
The Poisson brackets of the asymptotic symmetry algebra in this case read i {Jm , Jn } = (m − n) Jm+n ,
(5/2)
where Ξm
=
´
(D.19)
Ξ(5/2) e−imφ dφ stands for the mode expansion of Ξ(5/2) =
25π (P ′ )2 . 12k
(D.20)
The anticommutator of the fermionic charges then implies that the energy has to fulfill the following bounds 25πP 9πP πP 2 2 2 p + p + p + ≥ 0, (D.21) k k k with p given by a (half-)integer for fermions that fulfill (anti)periodic boundary conditions. D.3
Spin-9/2 fields
The hyper-Poincar´e algebra with fermionic generators of (conformal) spin ∆ = 9/2 is described by i h Jˆm , Jˆn = (m − n) Jˆm+n , i h (D.22) Jˆm , Pˆn = (m − n) Pˆm+n , i h ˆ p = 7m − p Q ˆ m+p , Jˆm , Q (D.23) 2 n o (7/2) ˆ ˆp, Q ˆ q = fp,q Q Pp+q , where
(7/2) fp,q =
1 112 p6 + q 6 − 192 p5 q + pq 5 + 240 p4 q 2 + p2 q 4 − 256p3 q 3 2304 −2240 p4 + q 4 + 3616 p3 q + pq 3 − 4080p2 q 2 (D.24) +11578 p2 + q 2 − 15592pq − 11025 ,
and with m, n = 0, ±1, and p, q = ± 21 , ± 32 , ± 25 , ± 27 . The asymptotic fall-off of the dynamical gauge field is now given by π ψ ˆ ˆ ˆ ˆ aφ = J 1 − J P−1 + P J−1 − Q− 7 , 2 k 35
– 29 –
(D.25)
JHEP10(2015)009
i {Jm , Pn } = (m − n) Pm+n + km3 δm+n,0 , 5m i {Jm , ψn } = − n ψm+n , 2 1 5m4 − 8m3 n + 9m2 n2 − 8mn3 + 5n4 Pm+n i {ψm , ψn } = 12 X 1 + 155m2 − 208mn + 155n2 Pm+n−q Pq 48k q k 75 X (5/2) Pm+n−q−r Pq Pr + m6 δm+n,0 + Ξm+n , + 2 16k q 6
and the asymptotic symmetries turn out to be parametrized according to ˆ 1 + η 7 [T, Y, E] , λ = T Pˆ1 + Y Jˆ1 + E Q (2) 2
(D.26)
with 2πT P 2πY J 7iπEψ ˆ − − P−1 2 2 k k k 1 2πY P ˆ 7πEP ˆ 19πE ′ P 1 7πEP ′ ˆ 1 ′′ ′′ ′′′ Y − E − E − J−1 + Q3 − − Q1 + 2 2 2 k 2 k 6 k k 1 105π 2 EP 2 34πE ′′ P 26πE ′ P ′ 7πEP ′′ ˆ + E (4) + − − − Q− 1 2 24 k2 k k k 1 60πE ′′ P ′ 409π 2 E ′ P 2 322π 2 EPP ′ 50πE ′′′ P − E (5) + + − − 2 2 120 k k k k 1 1575π 3 EP 3 33πE ′ P ′′ 7πEP ′′′ ˆ − Q− 3 + (D.27) E (6) − − 2 k k 720 k3
ˆ5 + η( 7 ) [T, Y, E] = −T ′ Pˆ0 − Y ′ Jˆ0 − E ′ Q
T ′′ −
919π 2 E ′′ P 2 1530π 2 E ′ PP ′ 427π 2 EPP ′′ 322π 2 E (P ′ )2 + + + k2 k2 k2 k2
65πE (4) P 110πE (3) P ′ 93πE ′′ P ′′ 40πE ′ P ′′′ 7πEP (4) − − − − − k k k k k 1 6483π 3 E ′′ P 3 8589π 3 EP 2 P ′ 1519π 2 E ′′′ P 2 − − + E (7) − 5040 k3 k3 k2 +
!
ˆ 5 Q −
2
4088π 2 E ′′ PP ′ 2353π 2 E ′ PP ′′ 1852π 2 E ′ (P ′ )2 + + k2 k2 k2
511π 2 EPP ′′′ 1071π 2 EP ′ P ′′ 144πY ψ 77πE (5) P 175πE (4) P ′ + − − − k2 k2 k k k ! 203πE ′′′ P ′′ 133πE ′′ P ′′′ 47πE ′ P (4) 7πEP (5) ˆ − − − Q− 7 , − 2 k k k k
+
so that the fields transform as δP = 2PY ′ + P ′ Y −
k ′′′ Y , 2π
k ′′′ 9 7 T + iψE ′ + iψ ′ E , 2π 2 2 3 4 2 ′′ 2 1225π P 5789π P P 2429π 2 (P ′ )2 P 9 + + δψ = ψY ′ + ψ ′ Y + − 2 16k 3 72k 2 18k 2 ! 119π (P ′′ )2 791πP ′ P ′′′ 7 (6) 35πP (4) P − − + P E+ − 9k 16k 72k 144 3229π 2 P ′ P 2 131πP ′′′ P 99πP ′ P ′′ 3 (5) + − − + P E′ 12k 2 6k 2k 8
δJ = 2J Y ′ + J ′ Y + 2PT ′ + P ′ T −
– 30 –
(D.28)
JHEP10(2015)009
+
1 2
! 3229π 2 P 3 197πP ′′ P 165π (P ′ )2 5 (4) + − − + P E ′′ 36k 2 4k 4k 4 21 ′′ 329πP 2 7 ′′′ 329πPP ′ (3) P − P − E + E (4) + 3 6k 8 24k 7 7 kE (8) + E (5) P ′ + E (6) P − . 4 12 144π The mode expansion of the asymptotic symmetry algebra is then given by
i {Jm , Pn } = (m − n) Pm+n + km3 δm+n,0 , 7m − n ψm+n , (D.29) i {Jm , ψn } = 2 1 i {ψm , ψn } = 7m6 − 12m5 n + 15m4 n2 − 16m3 n3 + 15m2 n4 − 12mn5 + 7n6 Pm+n 144 X 1 + 140m4 − 226m3 n + 255m2 n2 − 226mn3 + 140n4 Pm+n−q Pq 144k q X 1 5789m2 − 7796mn + 5789n2 Pm+n−q−r Pq Pr + 2 864k q,r 1225 X k (7/2) + Pm+n−q−r Pq Pr Pt + m8 δm+n,0 + Ξm+n , 3 128k q,r,t 72 where (7/2) Ξm+n = 7Θm+n + 329m2 − 494mn + 329n2 χm+n ,
(D.30)
and Θm and χm correspond to the mode expansion of Θ=
1596π 2 P (P ′ )2 661π (P ′′ )2 + , 432k 2 432k
χ=
π (P ′ )2 , 144k
(D.31)
respectively. The energy is then found to fulfill the following bounds 49πP 25πP 9πP πP 2 2 2 2 p + p + p + p + ≥ 0, k k k k
(D.32)
where according to the (anti)periodicity conditions for the fermions, p corresponds to a (half-)integer.
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.
– 31 –
JHEP10(2015)009
i {Jm , Jn } = (m − n) Jm+n ,
References [1] S. Weinberg, Photons and Gravitons in s Matrix Theory: Derivation of Charge Conservation and Equality of Gravitational and Inertial Mass, Phys. Rev. 135 (1964) B1049 [INSPIRE]. [2] C. Aragone and S. Deser, Consistency Problems of Hypergravity, Phys. Lett. B 86 (1979) 161 [INSPIRE]. [3] F.A. Berends, J.W. van Holten, P. van Nieuwenhuizen and B. de Wit, On Spin 5/2 Gauge Fields, Phys. Lett. B 83 (1979) 188 [Erratum ibid. 84B (1979) 529] [INSPIRE].
[5] C. Aragone and S. Deser, Hypersymmetry in D = 3 of Coupled Gravity Massless Spin 5/2 System, Class. Quant. Grav. 1 (1984) L9 [INSPIRE]. [6] O. Fuentealba, J. Matulich and R. Troncoso, Extension of the Poincar´e group with half-integer spin generators: hypergravity and beyond, JHEP 09 (2015) 003 [arXiv:1505.06173] [INSPIRE]. [7] B. Chen, J. Long and Y.-N. Wang, Conical Defects, Black Holes and Higher Spin (Super-)Symmetry, JHEP 06 (2013) 025 [arXiv:1303.0109] [INSPIRE]. [8] Yu. M. Zinoviev, Hypergravity in AdS3 , Phys. Lett. B 739 (2014) 106 [arXiv:1408.2912] [INSPIRE]. [9] M. Henneaux, A. Perez, D. Tempo and R. Troncoso, Hypersymmetry bounds and three-dimensional higher-spin black holes, JHEP 08 (2015) 021 [arXiv:1506.01847] [INSPIRE]. [10] S. Deser, R. Jackiw and G. ’t Hooft, Three-Dimensional Einstein Gravity: Dynamics of Flat Space, Annals Phys. 152 (1984) 220 [INSPIRE]. [11] S. Deser and R. Jackiw, Three-Dimensional Cosmological Gravity: Dynamics of Constant Curvature, Annals Phys. 153 (1984) 405 [INSPIRE]. [12] K. Ezawa, Transition amplitude in (2 + 1)-dimensional Chern-Simons gravity on a torus, Int. J. Mod. Phys. A 9 (1994) 4727 [hep-th/9305170] [INSPIRE]. [13] L. Cornalba and M.S. Costa, A New cosmological scenario in string theory, Phys. Rev. D 66 (2002) 066001 [hep-th/0203031] [INSPIRE]. [14] L. Cornalba and M.S. Costa, Time dependent orbifolds and string cosmology, Fortsch. Phys. 52 (2004) 145 [hep-th/0310099] [INSPIRE]. [15] G. Barnich, Entropy of three-dimensional asymptotically flat cosmological solutions, JHEP 10 (2012) 095 [arXiv:1208.4371] [INSPIRE]. [16] A. Bagchi, S. Detournay, R. Fareghbal and J. Sim´on, Holography of 3D Flat Cosmological Horizons, Phys. Rev. Lett. 110 (2013) 141302 [arXiv:1208.4372] [INSPIRE]. [17] M. Gary, D. Grumiller, M. Riegler and J. Rosseel, Flat space (higher spin) gravity with chemical potentials, JHEP 01 (2015) 152 [arXiv:1411.3728] [INSPIRE]. [18] J. Matulich, A. Perez, D. Tempo and R. Troncoso, Higher spin extension of cosmological spacetimes in 3D: asymptotically flat behaviour with chemical potentials and thermodynamics, JHEP 05 (2015) 025 [arXiv:1412.1464] [INSPIRE].
– 32 –
JHEP10(2015)009
[4] S. Weinberg and E. Witten, Limits on Massless Particles, Phys. Lett. B 96 (1980) 59 [INSPIRE].
[19] M. Henneaux, A. Perez, D. Tempo and R. Troncoso, Chemical potentials in three-dimensional higher spin anti-de Sitter gravity, JHEP 12 (2013) 048 [arXiv:1309.4362] [INSPIRE]. [20] C. Bunster, M. Henneaux, A. Perez, D. Tempo and R. Troncoso, Generalized Black Holes in Three-dimensional Spacetime, JHEP 05 (2014) 031 [arXiv:1404.3305] [INSPIRE]. [21] G. Barnich, L. Donnay, J. Matulich and R. Troncoso, Asymptotic symmetries and dynamics of three-dimensional flat supergravity, JHEP 08 (2014) 071 [arXiv:1407.4275] [INSPIRE]. [22] O. Coussaert and M. Henneaux, Supersymmetry of the (2 + 1) black holes, Phys. Rev. Lett. 72 (1994) 183 [hep-th/9310194] [INSPIRE].
[24] G. Barnich and G. Compere, Classical central extension for asymptotic symmetries at null infinity in three spacetime dimensions, Class. Quant. Grav. 24 (2007) F15 [gr-qc/0610130] [INSPIRE]. [25] G. Barnich and C. Troessaert, Aspects of the BMS/CFT correspondence, JHEP 05 (2010) 062 [arXiv:1001.1541] [INSPIRE]. [26] H. Afshar, A. Bagchi, R. Fareghbal, D. Grumiller and J. Rosseel, Spin-3 Gravity in Three-Dimensional Flat Space, Phys. Rev. Lett. 111 (2013) 121603 [arXiv:1307.4768] [INSPIRE]. [27] H.A. Gonzalez, J. Matulich, M. Pino and R. Troncoso, Asymptotically flat spacetimes in three-dimensional higher spin gravity, JHEP 09 (2013) 016 [arXiv:1307.5651] [INSPIRE]. [28] O. Coussaert, M. Henneaux and P. van Driel, The Asymptotic dynamics of three-dimensional Einstein gravity with a negative cosmological constant, Class. Quant. Grav. 12 (1995) 2961 [gr-qc/9506019] [INSPIRE]. [29] G.T. Horowitz and A.R. Steif, Singular string solutions with nonsingular initial data, Phys. Lett. B 258 (1991) 91 [INSPIRE]. [30] T. Regge and C. Teitelboim, Role of Surface Integrals in the Hamiltonian Formulation of General Relativity, Annals Phys. 88 (1974) 286 [INSPIRE]. [31] J.M. Figueroa-O’Farrill, S. Schrans and K. Thielemans, On the Casimir algebra of B(2), Phys. Lett. B 263 (1991) 378 [INSPIRE]. [32] S. Bellucci, S. Krivonos and A.S. Sorin, Linearizing W(2,4) and WB(2) algebras, Phys. Lett. B 347 (1995) 260 [hep-th/9411168] [INSPIRE]. [33] A. Achucarro and P.K. Townsend, A Chern-Simons Action for Three-Dimensional anti-de Sitter Supergravity Theories, Phys. Lett. B 180 (1986) 89 [INSPIRE]. [34] S. Deser and C. Teitelboim, Supergravity Has Positive Energy, Phys. Rev. Lett. 39 (1977) 249 [INSPIRE]. [35] C. Teitelboim, Surface Integrals as Symmetry Generators in Supergravity Theory, Phys. Lett. B 69 (1977) 240 [INSPIRE]. [36] E. Witten, A Simple Proof of the Positive Energy Theorem, Commun. Math. Phys. 80 (1981) 381 [INSPIRE]. [37] L.F. Abbott and S. Deser, Stability of Gravity with a Cosmological Constant, Nucl. Phys. B 195 (1982) 76 [INSPIRE].
– 33 –
JHEP10(2015)009
[23] A. Ashtekar, J. Bicak and B.G. Schmidt, Asymptotic structure of symmetry reduced general relativity, Phys. Rev. D 55 (1997) 669 [gr-qc/9608042] [INSPIRE].
[38] C.M. Hull, The Positivity of Gravitational Energy and Global Supersymmetry, Commun. Math. Phys. 90 (1983) 545 [INSPIRE]. [39] C. Teitelboim, Manifestly Positive Energy Expression In Classical Gravity: Simplified Derivation From Supergravity, Phys. Rev. D 29 (1984) 2763 [INSPIRE]. [40] A. Giacomini, R. Troncoso and S. Willison, Three-dimensional supergravity reloaded, Class. Quant. Grav. 24 (2007) 2845 [hep-th/0610077] [INSPIRE]. [41] S. Deser and J.H. Kay, Topologically massive supergravity, Phys. Lett. B 120 (1983) 97 [INSPIRE].
[43] N. Marcus and J.H. Schwarz, Three-Dimensional Supergravity Theories, Nucl. Phys. B 228 (1983) 145 [INSPIRE]. [44] M. Henneaux, L. Maoz and A. Schwimmer, Asymptotic dynamics and asymptotic symmetries of three-dimensional extended AdS supergravity, Annals Phys. 282 (2000) 31 [hep-th/9910013] [INSPIRE]. [45] M. Henneaux and S.-J. Rey, Nonlinear W∞ as Asymptotic Symmetry of Three-Dimensional Higher Spin Anti-de Sitter Gravity, JHEP 12 (2010) 007 [arXiv:1008.4579] [INSPIRE]. [46] A. Campoleoni, S. Fredenhagen, S. Pfenninger and S. Theisen, Asymptotic symmetries of three-dimensional gravity coupled to higher-spin fields, JHEP 11 (2010) 007 [arXiv:1008.4744] [INSPIRE]. [47] M. Henneaux, G. Lucena G´omez, J. Park and S.-J. Rey, Super-W∞ Asymptotic Symmetry of Higher-Spin AdS3 Supergravity, JHEP 06 (2012) 037 [arXiv:1203.5152] [INSPIRE]. [48] M. Gutperle, E. Hijano and J. Samani, Lifshitz black holes in higher spin gravity, JHEP 04 (2014) 020 [arXiv:1310.0837] [INSPIRE]. [49] M. Gutperle and Y. Li, Higher Spin Lifshitz Theory and Integrable Systems, Phys. Rev. D 91 (2015) 046012 [arXiv:1412.7085] [INSPIRE]. [50] A. Castro, R. Gopakumar, M. Gutperle and J. Raeymaekers, Conical Defects in Higher Spin Theories, JHEP 02 (2012) 096 [arXiv:1111.3381] [INSPIRE]. [51] S. Datta and J.R. David, Supersymmetry of classical solutions in Chern-Simons higher spin supergravity, JHEP 01 (2013) 146 [arXiv:1208.3921] [INSPIRE]. [52] A. Campoleoni, T. Prochazka and J. Raeymaekers, A note on conical solutions in 3D Vasiliev theory, JHEP 05 (2013) 052 [arXiv:1303.0880] [INSPIRE]. [53] A. Campoleoni and S. Fredenhagen, On the higher-spin charges of conical defects, Phys. Lett. B 726 (2013) 387 [arXiv:1307.3745] [INSPIRE]. [54] W. Li, F.-L. Lin and C.-W. Wang, Modular Properties of 3D Higher Spin Theory, JHEP 12 (2013) 094 [arXiv:1308.2959] [INSPIRE]. [55] J. Raeymaekers, Quantization of conical spaces in 3D gravity, JHEP 03 (2015) 060 [arXiv:1412.0278] [INSPIRE]. [56] A. Bagchi and R. Gopakumar, Galilean Conformal Algebras and AdS/CFT, JHEP 07 (2009) 037 [arXiv:0902.1385] [INSPIRE].
– 34 –
JHEP10(2015)009
[42] S. Deser, Cosmological Topological Supergravity, in Quantum Theory Of Gravity, S.M. Christensen eds., CRC Press, Boca Raton U.S.A. (1984), pg. 374.
[57] A. Bagchi, Correspondence between Asymptotically Flat Spacetimes and Nonrelativistic Conformal Field Theories, Phys. Rev. Lett. 105 (2010) 171601 [INSPIRE]. [58] A. Bagchi, S. Detournay, D. Grumiller and J. Simon, Cosmic Evolution from Phase Transition of Three-Dimensional Flat Space, Phys. Rev. Lett. 111 (2013) 181301 [arXiv:1305.2919] [INSPIRE]. [59] A. Bagchi, R. Basu, D. Grumiller and M. Riegler, Entanglement entropy in Galilean conformal field theories and flat holography, Phys. Rev. Lett. 114 (2015) 111602 [arXiv:1410.4089] [INSPIRE].
[61] M. Porrati, Universal Limits on Massless High-Spin Particles, Phys. Rev. D 78 (2008) 065016 [arXiv:0804.4672] [INSPIRE]. [62] X. Bekaert, N. Boulanger and P. Sundell, How higher-spin gravity surpasses the spin two barrier: no-go theorems versus yes-go examples, Rev. Mod. Phys. 84 (2012) 987 [arXiv:1007.0435] [INSPIRE]. [63] C. Bunster, M. Henneaux, S. H¨ ortner and A. Leonard, Supersymmetric electric-magnetic duality of hypergravity, Phys. Rev. D 90 (2014) 045029 [arXiv:1406.3952] [INSPIRE]. [64] M.A. Vasiliev, Consistent equation for interacting gauge fields of all spins in (3 + 1)-dimensions, Phys. Lett. B 243 (1990) 378 [INSPIRE]. [65] V.E. Didenko and E.D. Skvortsov, Elements of Vasiliev theory, arXiv:1401.2975 [INSPIRE].
– 35 –
JHEP10(2015)009
[60] C. Aragone and S. Deser, Higher Spin Vierbein Gauge Fermions and Hypergravities, Nucl. Phys. B 170 (1980) 329 [INSPIRE].