Feb 11, 2016 - Abstract. There are various no-go results forbidding self-interactions for a single partially massless spin-2 field. Given the photon-l...

0 downloads 0 Views 400KB Size

arXiv:1511.03270v2 [hep-th] 11 Feb 2016

Sebastian Garcia-Saenz,a,∗ Kurt Hinterbichler,b,† Austin Joyce,c,‡ Ermis Mitsoua,§ and Rachel A. Rosena,b,¶ a

Physics Department and Institute for Strings, Cosmology, and Astroparticle Physics, Columbia University, New York, NY 10027, USA b

Perimeter Institute for Theoretical Physics, 31 Caroline St. N, Waterloo, Ontario, Canada, N2L 2Y5 c

Enrico Fermi Institute and Kavli Institute for Cosmological Physics, University of Chicago, Chicago, IL 60637 Abstract

There are various no-go results forbidding self-interactions for a single partially massless spin-2 field. Given the photon-like structure of the linear partially massless field, it is natural to ask whether a multiplet of such fields can interact under an internal Yang– Mills like extension of the partially massless symmetry. We give two arguments that such a partially massless Yang–Mills theory does not exist. The first is that there is no Yang–Mills like non-abelian deformation of the partially massless symmetry, and the second is that cubic vertices with the appropriate structure constants do not exist.

∗

[email protected] [email protected] ‡ [email protected] § [email protected] ¶ [email protected] †

1

Introduction

Massive higher spin fields on de Sitter space possess gauge symmetries at certain values of their masses [1–12]. The first example of a field with more than one distinguished mass value is a massive spin-2, hµν , on a D dimensional de Sitter space of radius H −1 , which has the action Z √ 1 1 D S = d x −g − ∇λ hµν ∇λ hµν + ∇λ hµν ∇ν hµλ − ∇µ h∇ν hµν + ∇µ h∇µ h 2 2 1 2 1 2 µν 2 2 µν (1.1) + (D − 1) H h hµν − h − m (hµν h − h ) . 2 2 When the mass takes the value m2 = (D − 2) H 2 ,

(1.2)

the theory develops a scalar gauge symmetry δhµν = ∇µ ∇ν + H 2 gµν φ ,

(1.3)

where φ(x) is a scalar gauge parameter. This is the partially massless (PM) graviton. There is of course another distinguished value of the mass, m = 0, corresponding to the ordinary massless graviton, which is invariant under linear diffeomorphism invariance. These are the only two values of the mass of a spin-2 for which a gauge symmetry appears. In four dimensions, a generic massive spin-2 field propagates five degrees of freedom, a massless spin2 field propagates two degrees of freedom, and a partially massless spin-2 lies in-between, propagating 4 degrees of freedom.1 This partially massless theory has been of interest as a possible theory of gravity because the symmetry-enforced relation (1.2) links the value of the cosmological constant to the graviton mass. A small graviton mass is in turn technically natural due to the enhanced diffeomorphism invariance of general relativity at the value m = 0 [13, 14]. This offers a tantalizing possible avenue towards solving the cosmological constant problem [15]. Unfortunately, there are obstructions to realizing a complete two-derivative non-linear theory that maintains the gauge symmetry and propagates the same number of degrees of freedom as the linear theory [15–20]. On the other hand, the linear partially massless spin-2 theory shares many properties with ordinary Maxwell electrodynamics, including null propagation in four dimensions [8], a scalar gauge symmetry (1.3), a one-derivative gauge invariant field strength tensor (1.8), duality invariance [21, 22] and monopole solutions [23]. Another property shared by the 1

More generally, in D dimensions, the PM graviton propagates Ndof =

2

(D+1)(D−2) 2

− 1 degrees of freedom.

partially massless graviton and the photon is the aforementioned difficulty with constructing self interactions; there are no non-trivial two-derivative self interaction terms for a single photon. The only self-interactions we can write in general dimensions are powers of the Maxwell field strength and its derivatives. These Born–Infeld [24] or Euler-Heisenberg [25] like interactions are invariant under the linear gauge symmetry and have as many derivatives as fields. Similarly, we can take arbitrary powers of the PM field strength and construct a theory which is nonlinear but invariant under the linear gauge symmetry.2 However, these higher derivative interactions are not relevant at low energies, and we would like to construct interactions with fewer derivatives which may deform the gauge symmetry in a nontrivial manner.3 If we have a multiplet of photons Aaµ , labelled by some color index a (raised and lowered with δab ), we know there is a way to achieve this through Yang–Mills theory [28], 1 g2 L = − (∂µ Aνa − ∂ν Aµa )(∂ µ Aνa − ∂ ν Aµa ) − gfabc ∂µ Aaν Aµb Aνc − fabc fde a Abµ Acν Aµd Aνe . 4 4 (1.4) Here g is the coupling constant and fabc is some order one structure tensor. Consistency of the gauge symmetry at cubic order requires the structure tensor to be fully antisymmetric, and consistency at quartic order demands that it satisfy the Jacobi identity fac d fbe c + fbc d fea c + fec d fab c = 0. The gauge symmetry is deformed from the abelian δAµ = ∂µ α into the nonabelian δAaµ = ∂µ αa + fbc a Abµ αc . (1.5) Due to the total antisymmetry of fabc , at least 3 photons are required to write a Yang–Mills interaction4 (in which case the gauge symmetries close to form the su(2) algebra). Given the similarities between the partially massless spin-2 and the photon, a natural question to ask is whether the self-interaction difficulties of the partially massless spin-2 can be obviated in the same way – by extending to a multiplet of fields. This is the question we address in this paper: does there exist a Yang–Mills like theory for an interacting multiplet, haµν , of partially massless spin-2 fields?5 The ideal form of such a theory would be a two-derivative action with interactions governed 2

Equations of motion of this sort which are ghost-free and invariant under duality are constructed in [26]. In odd dimensions, there exist Chern–Simons interactions which have fewer derivatives per field than terms constructed from powers of the field strength, but which are nevertheless invariant under linear gauge transformations [27]. 4 See [29] for more constraints on the possible interactions of spin 1. 5 Such Yang–Mills type theories for massless gravitons do not exist [30], but this no-go result does not immediately rule out PM Yang–Mills, as the form of the gauge symmetry is entirely different. 3

3

by an antisymmetric coupling fabc , schematically of the form f f2 2 2 2 3 2 3 2 4 2 4 L ∼ ∇ h + (∇ h + H h ) + 2 (∇ h + H h ) + · · · . M M

(1.6)

Here M is some mass scale (in gravitational applications it would be the Planck mass) suppressing the powers of the field (using, for illustration, canonical normalization appropriate to the D = 4 case). In the flat limit, H → 0, the degrees of freedom of a partially massless graviton reduce to those of a massless graviton and a massless vector. This can be seen at the level of the action by introducing the vector through a St¨ uckelberg replacement 1 hµν 7→ hµν + H (∇µ Aν + ∇ν Aµ ) and then taking the H → 0 limit [15], in which the partially massless symmetry (1.3) becomes the U (1) symmetry of the vector.6 If we were to take this limit in our hypothetical partially massless Yang–Mills lagrangian (1.6), ideally it would reduce to the spin-1 Yang–Mills theory (1.4), in addition to a decoupled massless graviton. Because the St¨ uckelberg replacement always brings a derivative along with each power of A, there would have to be a cancellation among the highest derivatives of (1.6) in order to yield the action (1.4), whose interactions have fewer derivatives than fields. Such cancellations H would leave powers of H, resulting in a gauge coupling g ∼ M . In the case of electromagnetism, there is a U (1) invariant field strength Fµν = ∂µ Aν −∂ν Aµ , 2 and the lagrangian can be written as its square: L = − 14 Fµν . Yang–Mills theory can be arrived at by first finding a non-abelian version of the field strength which contains quadratic powers of the field and transforms covariantly under the gauge symmetry: a Fµν = ∂µ Aaν − ∂ν Aaµ + fbc a Abµ Acν ,

a c δFµν = fbc a αb Fµν .

(1.7)

a 2 The full Yang–Mills lagrangian is then easily written as L = − 41 (Fµν ) . The partially massless theory also has a gauge invariant field strength [31],

Fµνρ = ∇µ hνρ − ∇ν hµρ ,

(1.8)

and the partially massless action can be written as a particular combination of its squares, Z √ 1 S=− dD x −g F λµν Fλµν − 2F λµµ Fλνν . (1.9) 4 A natural first attempt is to try to find a non-abelian version of this curvature, a Fµνρ = ∇µ haνρ − ∇ν haµρ + O h2 , 6

(1.10)

The vector kinetic term has the wrong sign on anti-de Sitter space, and the correct sign for the theory in de Sitter space, reflecting the fact that the theory is unitary only in the de Sitter case.

4

and then to write the full non-linear action as Z √ 1 a a ν L=− − 2Faλµ µ Fλν . dD x −g Faλµν Fλµν 4

(1.11)

However, by trying all possible combinations of h2 terms in (1.10), it is not hard to become convinced that it is impossible to construct such a non-abelian curvature in this case. In what follows we will provide two general arguments that, indeed, no theory that we might reasonably call a partially massless Yang–Mills like theory is possible. First, we use the requirement that two gauge symmetries must commute to another gauge symmetry to show that the structure of the gauge algebra for a multiplet of partially massless fields must be abelian, thereby ruling out the non-commutativity essential to a Yang–Mills like theory. Second, by studying dual CFT correlation functions, we show that there is no possible non-trivial antisymmetric cubic vertex through which a multiplet of partially massless fields might interact.

2

Closure argument

A powerful tool in the search for nonlinear deformations of gauge symmetries is the closure condition (sometimes called the admissibility condition [32] in certain cases). It is the requirement that for any two gauge parameters, φa and ψ a , the equation [δφ , δψ ] haαβ = δχ haαβ + on shell trivial ,

(2.1)

holds for some function χa . In other words, the gauge symmetries must form an algebra up to on-shell trivial symmetries, as this is a necessary condition for the gauge orbits in field space to be integrable, i.e., that the infinitesimal transformation derives from a finite one. The closure condition was applied by Wald in [33] to obtain Yang–Mills theory and general relativity as the unique nonlinear theories of multiple spin-1 fields and of a single spin-2 field, respectively, assuming the interactions do not contain more than two derivatives. This has been extended to a collection of spin-2 fields in [34, 35], and more recently to theories with a single partially massless spin-2 field [18,20]. The goal of this section is to analyze the case of multiple PM spin-2 fields by looking at the lowest order part of the closure condition (2.1). We will see that this is already enough to establish that the free PM gauge symmetry cannot be extended to a field-dependent one of the Yang–Mills type. This analysis is an extension of those of [20, 33]. The power of the closure condition lies in its generality, as one does not need to make any assumptions regarding the action of the nonlinear theory. In particular, one does not 5

have to assume that interactions appear at a certain order in powers of the fields, nor must one restrict the number of derivatives in the lagrangian. Our only assumptions are that the gauge transformation reduces to the usual free PM symmetry at zeroth order in powers of the field, (2.2) δ (0) haµν = ∇µ ∇ν + H 2 gµν φa , and that the full transformation only involves terms with up to two derivatives. The most general two-derivative extension of the partially massless gauge symmetry to nonlinear order may be written as (2.3) δφ haαβ = B µναβ ab ∇µ ∇ν φb + Dλµν bc ∇λ φc + Cµν bc φc . Here, the tensor B is assumed to contain only powers of ha with no derivatives, D must be at most linear in ∇ha , and C may have terms linear in ∇∇ha , quadratic in ∇ha , as well as arbitrary powers of ha . As in [20], we may take the µν index pairs in (2.3) to be symmetric without loss of generality. We will expand each of the tensors B, D, C in powers of the field, h, and demand that the closure condition be satisfied order-by-order. This will fix the form of these tensors. At lowest order, where the tensors are field-independent, we require the gauge symmetry (2.3) to reduce to the free PM transformation. This fixes B

(0)µν a αβ b

µ ν a = δ(α δβ) δb ,

D

(0)λ b µν c

= 0,

C

(0) b µν c

= H 2 gµν δcb .

(2.4)

Here, the superscript (n) denotes n powers of the fields. At the next order in the expansion, the most general expression we can write is B

(1)µν a αβ b

µ ν c = b1abc g µν hcαβ + b2abc gαβ hc µν + b3abc g µν gαβ hc + b4abc δ(α δβ) h (µ ν) c

+ b5abc δ(α hβ) , D

(1)λ a αβ b

λ λ = d1abc ∇λ hcαβ + d2abc ∇(α hcβ)λ + d3abc δ(α ∇β) hc + d4abc δ(α ∇σ hcβ)σ

+ d5abc gαβ ∇λ hc + d6abc gαβ ∇σ hc λσ , C

(1) a αβ b

(2.5)

= c1abc ∇α ∇β hc + c2abc ∇σ ∇(α hcβ)σ + c3abc hcαβ + c4abc gαβ hc + c5abc gαβ ∇λ ∇σ hc λσ + c6abc H 2 hcαβ + c7abc H 2 gαβ hc ,

where the constant tensors bna bc , dna bc and cna bc will be determined by the closure condition (2.1). In writing this, we must be aware that there exists some redundancy in the definition of the tensors B, D and C arising from the fact that we are free to perform a redefinition

6

of either the fields ha or the gauge parameter φa . In the first case, we note that a field redefinition of the form ˜ a (h) , haαβ 7→ h (2.6) αβ amounts, in the symmetry transformation (2.3), to changing the B tensor as B µναβ ab

˜a ∂h αβ 7→ B µνλσ cb , c ∂hλσ

Dλµν ab 7→ Dλµν ab .

Cµν ab 7→ Cµν ab ,

(2.7)

In the second case, a redefinition of the gauge parameter φa 7→ f ab (h)φb ,

(2.8)

with f ab being an arbitrary function of the fields ha , can be compensated by shifting the B, D and C tensors as B µναβ ab 7→ B µναβ ac f cb , λ Dλµν ab 7→ (f −1 )ac Dλµν cd f db + 2(f −1 )ac δ(µ ∇ν) f cb ,

Cµν ab

7→

(f −1 )ac Cµν cd

f db + (f −1 )ac ∇µ ∇ν f cb +

(f −1 )ac Dλµν cd

(2.9) ∇λ f db .

This can be inferred by observing that the Noether identity that follows from eq. (2.3), ∇µ ∇ν B µναβ ab Eaαβ − ∇λ B µναβ ac Dλµν cb Eaαβ + B µναβ ac Cµν cb Eaαβ = 0 ,

(2.10)

where Eaαβ ≡ δS/δhaαβ is the equation of motion, remains unchanged by the redefinitions in (2.9), which therefore do not affect the constraints of the putative nonlinear PM theory. It is useful to fix these redundancies by simplifying the tensor B (1) . The most general φa redefinition at this order has f ab = δba + αa bc hc , for some constant αa bc , under which B (1) changes as (1)µν a (1)µν a µ ν c a (2.11) B αβ b 7→ B αβ b + α bc δ(α δβ) h ; this allows us to set b4 = 0 in B (1) . (Alternatively, we could choose f ab to eliminate d3 or c1 .) Secondly, the most general field redefinition which affects the first order tensors is a quadratic one ˜ a = ha + a a gαβ hb hc λσ + a a gαβ hb hc + a a hb hc + a a hb λ hc , h αβ αβ 1 bc λσ 2 bc 3 bc αβ 4 bc (α β)λ

(2.12)

which shifts B (1) by ˜a ∂h αβ = a3abc g µν hαβ c + 2a1a(bc) gαβ hc µν + 2a2a(bc) g µν gαβ hc ∂hbµν (µ

ν)c

µ ν c + a3acb δ(α δβ) h + 2a4a(bc) δ(α hβ)

7

.

(2.13)

The a4 term can be set to zero by choosing αabc appropriately. We therefore see that we have the freedom to set b1abc = 0, b2a(bc) = 0, b3a(bc) = 0, and b5a(bc) = 0. Thus we end up with B

(1)µν a αβ b

(µ

ν)c

= b2a[bc] gαβ hc µν + b3a[bc] g µν gαβ hc + b5a[bc] δ(α hβ)

,

(2.14)

where the surviving b coefficients are antisymmetric in their lower indices. Having eliminated all the redundancies in the PM gauge symmetry at first order in the fields, we may now look at the constraints that arise from the closure condition at the lowest nontrivial order: (0) (1) (0) (1) (0) δφ δψ − δψ δφ haαβ = δχ(0) haαβ . (2.15) Writing eq. (2.15) more explicitly, we find the equation (0) (1)λ a (0) (1)µν a b 2 b δφ B ∇ ∇ ψ + H g ψ + δφ D αβ b ∇λ ψ b µ ν µν αβ b (0) (1) a + δφ C αβ b ψ b − (φ ↔ ψ) = ∇α ∇β + H 2 gαβ χ(0)a ,

(2.16)

which must hold for arbitrary fields haµν and gauge functions φ and ψ. We can eliminate the unknown function χ(0)a in the above expression by operating on both sides with ∇σ and antisymmetrizing over the indices σ and α (or, equivalently, over σ and β). The resulting condition imposes constraints on the tensors B (1) , D(1) and C (1) , yielding the following: (1) b b δφ haαβ = dˆ1abc Fλ(αβ) ∇λ φc + dˆ2abc gαβ Fλb ∇λ φc + dˆ3abc F(α ∇β) φc b c b + cˆ1abc ∇(α Fβ) φ + cˆ2abc ∇λ Fλ(αβ) φc + cˆ3abc gαβ ∇λ Fλb φc .

(2.17)

Here the hatted parameters are some linear combinations of the un-hatted ones in eq. (2.5), and we are using the definitions a Fλαβ ≡ ∇λ haαβ − ∇α haλβ ,

a Fλa ≡ g αβ Fλαβ .

(2.18)

a The tensor Fλαβ is nothing but the field strength (1.8) of the free PM theory, and as such a it is invariant under the lowest order gauge symmetry: δ (0) Fλαβ = 0. We have thus simply a recovered in eq. (2.17) the most general combination involving one power of Fλαβ and two derivatives, and which therefore trivially satisfies the closure condition (2.15) because the composition of two gauge transformations is zero. In particular, this gauge transformation is abelian, thereby ruling out a nonlinear PM theory of the Yang–Mills type.

One might ask if the obstruction could be avoided simply by using tetrads or frame fields [11,19,36] rather than metrics since there are extra fields and St¨ uckelberg symmetries, but as long as a metric formulation can be recovered through gauge fixing and elimination of auxiliary fields, the arguments here apply. 8

3

Argument from 3-point functions

S-matrix arguments provide strong constraints on the possible non-linear interactions of gauge theories on asymptotically flat space, e.g. [37–46]. The power of these arguments is that they are insensitive to field redefinition and gauge ambiguities and hence directly constrain the physical data of the theory. The partially massless theory lives only on de Sitter and has no flat space analogue, so we cannot directly apply standard S-matrix techniques. However, the dual CFT correlation functions of AdS/CFT [47] and dS/CFT [48] are the (A)dS analogues of the flat space S-matrix and, just like the flat space S-matrix, their essential structure is blind to field redefinition ambiguities and gauge redundancies of the bulk theory. Any consistent field theory on AdSD defines a set of conformally invariant correlation functions of some effective CFT [49] on Md , d ≡ D − 1, computed using Witten diagrams [50]. The goal of this section is to constrain the existence of any putative PM Yang–Mills spin-2 theory by considering the dual correlators such a theory would yield. If a PM Yang–Mills theory of the form (1.6) existed, it would possess a 3-point vertex compatible with the gauge symmetry. The possible bulk 3-point interactions for partially massless fields are studied in [51, 52], but rather than work with them directly, we will use the fact that boundary 3-point correlators are in one-to-one correspondence with non-trivial bulk 3-point vertices [53]. Given this, we can deduce whether or not a bulk vertex exists by investigating whether or not it is possible to construct the corresponding boundary correlator. We will find that for the YM-type theory we seek, the boundary 3-point correlator that would be implied by the existence of the theory does not exist, in agreement with the findings of the closure argument in Section 2. Thus we will now be considering the dual theory living on the flat-space boundary theory of AdS.7 (See [54] for more on boundary values of PM fields.) The cartesian boundary coordinates are xi , where i ranges over the d = D−1 dimensions of the boundary, and the flat boundary metric is ηij . A field in AdSD of spin-2 – with usual Dirichlet boundary conditions – corresponds to a rank-2 symmetric traceless primary operator, Oij (x), of dimension ∆ set 7

Though we are ultimately interested in the stable partially fields on dS, we nevertheless work on AdS for the dual CFT argument. The difference is simply some factors of i’s and minus signs – the existence of a consistent non-linear interaction and gauge symmetry is insensitive to these differences, aside from possible imaginary coefficients in interaction terms which might rule out one case or another. Ultimately, we will find that there are no acceptable cubic interactions at all, so the argument applies immediately to dS theories as well.

9

by the mass of the AdSD field through the AdS/CFT relation r d2 d ∆= + + m2 L2 . 2 4

(3.1)

Here L2 is the AdS radius of curvature. The two values of the mass with enhanced gauge symmetry are the ordinary massless graviton at m2 = 0, and the partially massless graviton at8 m2 L2 = −(d − 1). These correspond to dual operators which are conserved and doubly conserved, respectively: ∂ j Oij = 0, ∂ i ∂ j Oij = 0,

m2 = 0,

∆ = d, ∆ = d − 1,

m2 L2 = − (d − 1) .

(3.2) (3.3)

These conditions follow from the conformal algebra by looking for when descendants acquire zero norm [56]. They can also be seen directly from the general form of the two-point function of two spin-2 operators of weight ∆, which is fixed up to a constant by conformal symmetry [57–59], 1 2 xi xj (3.4) hOij (x)Okl (0)i ∼ 2∆ Iik Ijl + Ijk Iil − ηij ηkl , Iij ≡ ηij − 2 2 . x 3 x Taking the divergence ∂ i of (3.4), we find a non-vanishing expression proportional to ∆ − d, and taking the double divergence ∂ i ∂ j , we find a non-vanishing expression proportional to (∆ − d)(∆ − d + 1), indicating that ∆ = d is the only value for which Oij can be singly conserved, and ∆ = d − 1 is the only value for which Oij can be doubly conserved but not singly conserved. We thus turn to the construction of conformally invariant 3-point functions for these tensor operators. To catalogue the possible 3-point structures, we use the formalism of [53], which employs the embedding space formalism dating back to Dirac [60]. The correlators are written by contracting the fields with auxiliary vectors z i which are all null, z 2 = 0, O(x, z) = Oij (x)z i z j .

(3.5)

The correlation functions are obtained by stripping off the z’s using the operators Di = ∂ 1 ∂2 ∂ d − 1 + z · ∂z − 2 zi ∂z·∂z , which have the effect of projecting onto the symmetric traceless 2 ∂z i part of the indices contracted with the z’s that have been stripped, hOi1 j1 (x1 )Oi2 j2 (x2 )Oi3 j3 (x3 )i ∼ Di11 Dj11 Di22 Dj22 Di33 Dj33 hO(x1 , z1 )O(x2 , z2 )O(x3 , z3 )i . 8

(3.6)

The conformal weight for the partially massless graviton lies below the unitarity bound ∆ ≥ d for spin-2 operators [55], reflecting the fact that the field is ghost-like on AdS.

10

The correlators are then constructed in terms of the building blocks VI,JK ≡

(zJ · xIJ ) x2IK − (zK · xIK ) x2IJ , x2JK

(3.7)

HIJ ≡ (zI · zJ ) x2IJ − 2(zJ · xIJ ) (zI · xIJ ),

(3.8)

where xiIJ ≡ xiI − xiJ and I, J, K range over 1, 2, 3. The correlators take the explicit form hOa (x1 , z1 )Ob (x2 , z2 )Oc (x3 , z3 )i ∼

Qabc (V, H) |x12 |∆+2 |x13 |∆+2 |x23 |∆+2

.

(3.9)

The numerator, Qabc (V, H), is constructed as a linear combination of color structure tensors and the following 11 tensor structures found using the results of [53], H12 H13 H23 , 2 2 H12 V3,12 ,

H12 H23 V1,23 V3,21 ,

2 2 H13 V2,31 ,

2 H13 V1,23 V3,12 V2,31 ,

H12 H13 V2,31 V3,12 ,

2 2 H23 V1,23 ,

H13 H23 V1,23 V2,13

2 H12 V1,23 V2,31 V3,12

2 H23 V2,31 V3,12 V1,23 ,

2 2 2 V1,23 V2,31 V3,12 .

(3.10)

By Bose statistics, the entire correlator must be symmetric under the simultaneous interchange of the space-time coordinates, auxiliary vectors, and color labels. There are three possibilities for the components of the numerator: it can contain a component in the form of abc a totally symmetric color structure constant f(S) multiplying a function Q(S) of the coordinate structures (3.10) which is totally symmetric under swapping the space-time coordinates and auxiliary vectors, (xI , zI ) ↔ (xJ , zJ ), abc Qabc (V, H) ⊃ f(S) Q(S) (x1 , z1 ; x2 , z2 ; x3 , z3 ) ,

(3.11)

abc multiplying a totally antisymmetric a totally antisymmetric color structure constant f(A) function Q(A) of the coordinates and auxiliary vectors, abc Qabc (V, H) ⊃ f(A) Q(A) (x1 , z1 ; x2 , z2 ; x3 , z3 ) ,

(3.12)

ab,c or a mixed symmetry color structure constant f(M ) multiplying a mixed symmetry function Q(M ) of the coordinates and auxiliary vectors,

Qabc (V, H) ⊃ ab,c bc,a ca,b f(M ) Q(M ) (x1 , z1 ; x2 , z2 |x3 , z3 ) + f(M ) Q(M ) (x2 , z2 ; x3 , z3 |x1 , z1 ) + f(M ) Q(M ) (x3 , z3 ; x1 , z1 |x2 , z2 ) .

(3.13) (ab),c

[ab,c]

ab,c Here f(M ) satisfies f(M ) = 0, f(M ) = 0, and similarly for M with respect to interchange of its spacetime labels. If there is only a single field, then only the fully symmetric structure

11

is possible. If there are two fields, only the symmetric and mixed symmetry structures are possible. If there are three or more fields, all are possible. (Note that the denominator in (3.9) is totally symmetric, so we do not have to worry about its symmetry properties.) To see which symmetry components are present, we must decompose the possible three point structures (3.10) according to their transformation properties under the group S3 of permutations of the three labels. The 11-dimensional space of 3-point structures spanned by (3.10) transforms as a representation of the permutation group of three elements, S3 . The irreducible representations of S3 are the fully symmetric functions, Q(S) , which each give a one-dimensional representation, the fully antisymmetric functions, Q(A) , which each give a one-dimensional representation, and the mixed-symmetry functions, Q(M ) , which each give a two-dimensional representation. Performing this decomposition using Young projectors (see e.g. [61]), we find that the 11 dimensional space of 3-point structures decomposes into 5 independent fully symmetric structures, H12 H23 H13 H12 H23 V1,23 V3,12 + H12 H13 V2,31 V3,12 + H13 H23 V1,23 V2,31 2 2 2 2 2 2 Q(S) (x1 , z1 ; x2 , z2 ; x3 , z3 ) ∼ H12 V1,23 + H23 V2,31 + H13 V3,12 2 2 2 + H23 V2,31 V3,12 V1,23 + H13 V1,23 V3,12 V2,31 H12 V1,23 V2,31 V3,12 V 2 V 2 V 2 , 1,23 2,31 3,12 (3.14) and 3 independent two-dimensional mixed symmetry representations, 2 2 2 2 H13 V2,13 − H23 V1,23 Q(M ) (x1 , z1 ; x2 , z2 |x3 , z3 ) ∼

H12 H23 V1,23 V3,12 + H12 H13 V2,13 V3,12 H V 2 V V 2 23 1,23 2,13 3,12 + H13 V1,23 V2,13 V3,12 .

(3.15)

There is no fully antisymmetric representation present in the space spanned by the possible structures (3.10), and therefore no possible correlator which uses an antisymmetric structure constant. This implies that there cannot be a bulk partially massless multiplet of fields which has a non-trivial cubic vertex making use of an antisymmetric structure constant. Insofar as this is what we mean by a partially massless Yang–Mills theory, we can now rule it out without any further calculation. The correlators must also satisfy the double conservation conditions required for a partially massless field ∂2 b c hOija (x1 )Okl (x2 )Omn (x3 )i = 0, (3.16) ∂x1i ∂x1j 12

and similarly for the x2 , x3 arguments. This will reduce the number of allowed correlators (the number of independent correlators and the conservation condition is also affected by dimension dependent identities when D ≤ 4 [53, 62–64]), however, we will not impose this condition presently because – as we have seen – there is no 3 point function which has the appropriate symmetries to come from a Yang–Mills like vertex in any case. We can compare this result to the analogous result for the case of a spin-1. For spin-1, there are 4 possible 3-point structures. Two of them are antisymmetric, and the remaining two form a mixed symmetry structure. Only the two antisymmetric ones are conserved for ∆ = d − 1, and correspond to the bulk Yang–Mills coupling and to the abelian ∼ a fabc Fµν F νλb Fλ µc coupling. The fact that there are no fully symmetric structures tells us that there is no non-trivial cubic self-coupling for a single photon9 .

4

Conclusions

We have argued that there does not exist a theory which might reasonably be described as a multiplet of partially massless spin-2 fields interacting in a Yang–Mills like fashion. We gave two lines of evidence for this statement. The first comes from considering directly the gauge symmetries that such a theory might possess; we have explicitly checked that any putative deformation of the gauge symmetry which is linear in the fields (as in the case of Yang– Mills) only closes to form an algebra if it is abelian. The second comes from considering the dual correlation functions which a PM Yang–Mills theory would give through AdS/CFT. We expect that any theory defined on (A)dS space should define correlation functions for an effective conformal field theory defined on the boundary, and in the case of a PM Yang–Mills theory, the 3 point boundary correlator should take the form of an antisymmetric structure constant times an antisymmetric function of the spacetime coordinates, as it does in regular Yang–Mills theory. However, we have seen that no such structures exist for a PM spin-2 which are consistent with conformal invariance. Our no-go arguments do not rule out any theory of interacting PM spin-2 fields, but they do strongly constrain such a theory. Our two arguments suggest that if a theory of multiple interacting partially massless spin-2 fields does exist, it will be quite different from a Yang–Mills type theory. The arguments suggest where possible loopholes might be found. One loophole in our arguments is that we have considered only the structure of the cubic vertices of any putative theory; it is possible that an interacting theory may only start at quartic or higher order, corresponding to a zero 3 point function and a deformation of the gauge symmetry which begins at higher order in the fields. Another is that in the closure 9

In quantum electrodynamics, this is also a consequence of Furry’s theorem [65].

13

argument we have restricted to two-derivative extensions of the gauge symmetry, it is possible that allowing for more derivatives could change the story, however to be consistent with the correlator arguments any cubic vertices would again have to be on-shell trivial. We do find that there are mixed symmetry 3 point structures which one might imagine could form the basis of a non-abelian theory, but in this case again the closure arguments seem to preclude these vertices deforming the algebra. Finally, it could be that the partially massless spin-2 has more in common with higher spin gauge fields than it does with gravity or electromagnetism; it is widely believed that the only way to construct consistent theories of higher spin gauge theories is to include an infinite number of them, as in Vasiliev theory [66], and the same may be true for the partially massless spin-2. Acknowledgements: KH, AJ and RR would like to thank the Sitka Sound Science Center for their hospitality while some of this work was completed. Research at Perimeter Institute is supported by the Government of Canada through Industry Canada and by the Province of Ontario through the Ministry of Economic Development and Innovation. This work was made possible in part through the support of a grant from the John Templeton Foundation. The opinions expressed in this publication are those of the author and do not necessarily reflect the views of the John Templeton Foundation (KH). This work was supported in part by the Kavli Institute for Cosmological Physics at the University of Chicago through grant NSF PHY-1125897, an endowment from the Kavli Foundation and its founder Fred Kavli, and by the Robert R. McCormick Postdoctoral Fellowship (AJ). EM is supported by the Swiss National Science Foundation. RAR is supported by DOE grant DE-SC0011941. We make use of [67] for some of the calculations in Section 2.

References [1] S. Deser and R. I. Nepomechie, “Anomalous Propagation of Gauge Fields in Conformally Flat Spaces,” Phys. Lett. B132 (1983) 321. [2] S. Deser and R. I. Nepomechie, “Gauge Invariance Versus Masslessness in De Sitter Space,” Annals Phys. 154 (1984) 396. [3] A. Higuchi, “Forbidden Mass Range for Spin-2 Field Theory in De Sitter Space-time,” Nucl. Phys. B282 (1987) 397. [4] L. Brink, R. R. Metsaev, and M. A. Vasiliev, “How massless are massless fields in AdS(d),” Nucl. Phys. B586 (2000) 183–205, arXiv:hep-th/0005136 [hep-th]. [5] S. Deser and A. Waldron, “Gauge invariances and phases of massive higher spins in (A)dS,” Phys. Rev. Lett. 87 (2001) 031601, arXiv:hep-th/0102166 [hep-th].

14

[6] S. Deser and A. Waldron, “Partial masslessness of higher spins in (A)dS,” Nucl. Phys. B607 (2001) 577–604, arXiv:hep-th/0103198 [hep-th]. [7] S. Deser and A. Waldron, “Stability of massive cosmological gravitons,” Phys. Lett. B508 (2001) 347–353, arXiv:hep-th/0103255 [hep-th]. [8] S. Deser and A. Waldron, “Null propagation of partially massless higher spins in (A)dS and cosmological constant speculations,” Phys. Lett. B513 (2001) 137–141, arXiv:hep-th/0105181 [hep-th]. [9] Yu. M. Zinoviev, “On massive high spin particles in AdS,” arXiv:hep-th/0108192 [hep-th]. [10] T. Garidi, “What is mass in de Sitterian physics?,” arXiv:hep-th/0309104 [hep-th]. [11] E. D. Skvortsov and M. A. Vasiliev, “Geometric formulation for partially massless fields,” Nucl. Phys. B756 (2006) 117–147, arXiv:hep-th/0601095 [hep-th]. [12] E. D. Skvortsov, “Gauge fields in (A)dS(d) and Connections of its symmetry algebra,” J. Phys. A42 (2009) 385401, arXiv:0904.2919 [hep-th]. [13] C. de Rham, G. Gabadadze, L. Heisenberg, and D. Pirtskhalava, “Nonrenormalization and naturalness in a class of scalar-tensor theories,” Phys. Rev. D87 no. 8, (2013) 085017, arXiv:1212.4128. [14] C. de Rham, L. Heisenberg, and R. H. Ribeiro, “Quantum Corrections in Massive Gravity,” Phys. Rev. D88 (2013) 084058, arXiv:1307.7169 [hep-th]. [15] C. de Rham, K. Hinterbichler, R. A. Rosen, and A. J. Tolley, “Evidence for and obstructions to nonlinear partially massless gravity,” Phys. Rev. D88 no. 2, (2013) 024003, arXiv:1302.0025 [hep-th]. [16] Yu. M. Zinoviev, “On massive spin 2 interactions,” Nucl. Phys. B770 (2007) 83–106, arXiv:hep-th/0609170 [hep-th]. [17] S. Deser, E. Joung, and A. Waldron, “Partial Masslessness and Conformal Gravity,” J. Phys. A46 (2013) 214019, arXiv:1208.1307 [hep-th]. [18] E. Joung, W. Li, and M. Taronna, “No-Go Theorems for Unitary and Interacting Partially Massless Spin-Two Fields,” Phys. Rev. Lett. 113 (2014) 091101, arXiv:1406.2335 [hep-th]. [19] Yu. M. Zinoviev, “Massive spin-2 in the FradkinVasiliev formalism. I. Partially massless case,” Nucl. Phys. B886 (2014) 712–732, arXiv:1405.4065 [hep-th]. [20] S. Garcia-Saenz and R. A. Rosen, “A non-linear extension of the spin-2 partially massless symmetry,” JHEP 05 (2015) 042, arXiv:1410.8734 [hep-th]. [21] S. Deser and A. Waldron, “PM = EM: Partially Massless Duality Invariance,” Phys. 15

Rev. D87 (2013) 087702, arXiv:1301.2238 [hep-th]. [22] K. Hinterbichler, “Manifest Duality Invariance for the Partially Massless Graviton,” Phys. Rev. D91 no. 2, (2015) 026008, arXiv:1409.3565 [hep-th]. [23] K. Hinterbichler and R. A. Rosen, “Partially Massless Monopoles and Charges,” arXiv:1507.00355 [hep-th]. [24] M. Born and L. Infeld, “Foundations of the new field theory,” Proc. Roy. Soc. Lond. A144 (1934) 425–451. [25] W. Heisenberg and H. Euler, “Consequences of Dirac’s theory of positrons,” Z. Phys. 98 (1936) 714–732, arXiv:physics/0605038 [physics]. [26] D. Cherney, S. Deser, A. Waldron, and G. Zahariade, “Non-linear duality invariant partially massless models?,” arXiv:1511.01053 [hep-th]. [27] S. Deser, R. Jackiw, and S. Templeton, “Topologically Massive Gauge Theories,” Annals Phys. 140 (1982) 372–411. [Annals Phys.281,409(2000)]. [28] C.-N. Yang and R. L. Mills, “Conservation of Isotopic Spin and Isotopic Gauge Invariance,” Phys. Rev. 96 (1954) 191–195. [29] S. Deser and R. Arnowitt, “Interaction Among Gauge Vector Fields,” Nucl. Phys. 49 (1963) 133. [30] N. Boulanger, T. Damour, L. Gualtieri, and M. Henneaux, “Inconsistency of interacting, multigraviton theories,” Nucl. Phys. B597 (2001) 127–171, arXiv:hep-th/0007220 [hep-th]. [31] S. Deser and A. Waldron, “Partially Massless Spin 2 Electrodynamics,” Phys. Rev. D74 (2006) 084036, arXiv:hep-th/0609113 [hep-th]. [32] S. E. Konshtein and M. A. Vasiliev, “Massless Representations and Admissibility Condition for Higher Spin Superalgebras,” Nucl. Phys. B312 (1989) 402. [33] R. M. Wald, “Spin-2 Fields and General Covariance,” Phys. Rev. D33 (1986) 3613. [34] C. Cutler and R. M. Wald, “A New Type of Gauge Invariance for a Collection of Massless Spin-2 Fields. 1. Existence and Uniqueness,” Class. Quant. Grav. 4 (1987) 1267. [35] R. M. Wald, “A New Type of Gauge Invariance for a Collection of Massless Spin-2 Fields. 2. Geometrical Interpretation,” Class. Quant. Grav. 4 (1987) 1279. [36] K. Hinterbichler and R. A. Rosen, “Interacting Spin-2 Fields,” JHEP 07 (2012) 047, arXiv:1203.5783 [hep-th]. [37] 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–B1056. 16

[38] S. Weinberg, “Photons and gravitons in perturbation theory: Derivation of Maxwell’s and Einstein’s equations,” Phys. Rev. 138 (1965) B988–B1002. [39] S. Weinberg and E. Witten, “Limits on Massless Particles,” Phys. Lett. B96 (1980) 59. [40] P. Benincasa and F. Cachazo, “Consistency Conditions on the S-Matrix of Massless Particles,” arXiv:0705.4305 [hep-th]. [41] P. C. Schuster and N. Toro, “Constructing the Tree-Level Yang-Mills S-Matrix Using Complex Factorization,” JHEP 06 (2009) 079, arXiv:0811.3207 [hep-th]. [42] M. Porrati, “Universal Limits on Massless High-Spin Particles,” Phys. Rev. D78 (2008) 065016, arXiv:0804.4672 [hep-th]. [43] S. He and H.-b. Zhang, “Consistency Conditions on S-Matrix of Spin 1 Massless Particles,” JHEP 07 (2010) 015, arXiv:0811.3210 [hep-th]. [44] P. Benincasa and E. Conde, “Exploring the S-Matrix of Massless Particles,” Phys. Rev. D86 (2012) 025007, arXiv:1108.3078 [hep-th]. [45] P. Benincasa and E. Conde, “On the Tree-Level Structure of Scattering Amplitudes of Massless Particles,” JHEP 11 (2011) 074, arXiv:1106.0166 [hep-th]. [46] M. Porrati, “Old and New No Go Theorems on Interacting Massless Particles in Flat Space,” in 17th International Seminar on High Energy Physics (Quarks 2012) Yaroslavl, Russia, June 4-10, 2012. 2012. arXiv:1209.4876 [hep-th]. https://inspirehep.net/record/1187634/files/arXiv:1209.4876.pdf. [47] J. M. Maldacena, “The Large N limit of superconformal field theories and supergravity,” Int. J. Theor. Phys. 38 (1999) 1113–1133, arXiv:hep-th/9711200 [hep-th]. [Adv. Theor. Math. Phys.2,231(1998)]. [48] A. Strominger, “The dS / CFT correspondence,” JHEP 10 (2001) 034, arXiv:hep-th/0106113 [hep-th]. [49] A. L. Fitzpatrick, E. Katz, D. Poland, and D. Simmons-Duffin, “Effective Conformal Theory and the Flat-Space Limit of AdS,” JHEP 07 (2011) 023, arXiv:1007.2412 [hep-th]. [50] E. Witten, “Anti-de Sitter space and holography,” Adv. Theor. Math. Phys. 2 (1998) 253–291, arXiv:hep-th/9802150 [hep-th]. [51] E. Joung, L. Lopez, and M. Taronna, “On the cubic interactions of massive and partially-massless higher spins in (A)dS,” JHEP 07 (2012) 041, arXiv:1203.6578 [hep-th]. [52] E. Joung, L. Lopez, and M. Taronna, “Generating functions of (partially-)massless higher-spin cubic interactions,” JHEP 01 (2013) 168, arXiv:1211.5912 [hep-th]. [53] M. S. Costa, J. Penedones, D. Poland, and S. Rychkov, “Spinning Conformal 17

Correlators,” JHEP 11 (2011) 071, arXiv:1107.3554 [hep-th]. [54] X. Bekaert and M. Grigoriev, “Higher order singletons, partially massless fields and their boundary values in the ambient approach,” Nucl. Phys. B876 (2013) 667–714, arXiv:1305.0162 [hep-th]. [55] G. Mack, “All Unitary Ray Representations of the Conformal Group SU(2,2) with Positive Energy,” Commun. Math. Phys. 55 (1977) 1. [56] L. Dolan, C. R. Nappi, and E. Witten, “Conformal operators for partially massless states,” JHEP 10 (2001) 016, arXiv:hep-th/0109096 [hep-th]. [57] A. M. Polyakov, “Nonhamiltonian approach to conformal quantum field theory,” Zh. Eksp. Teor. Fiz. 66 (1974) 23–42. [58] H. Osborn and A. C. Petkou, “Implications of conformal invariance in field theories for general dimensions,” Annals Phys. 231 (1994) 311–362, arXiv:hep-th/9307010 [hep-th]. [59] S. Weinberg, “Six-dimensional Methods for Four-dimensional Conformal Field Theories,” Phys. Rev. D82 (2010) 045031, arXiv:1006.3480 [hep-th]. [60] P. A. M. Dirac, “Wave equations in conformal space,” Annals Math. 37 (1936) 429–442. [61] W. K. Tung, Group Theory In Physics. 1985. [62] S. Giombi, S. Prakash, and X. Yin, “A Note on CFT Correlators in Three Dimensions,” JHEP 07 (2013) 105, arXiv:1104.4317 [hep-th]. [63] Y. S. Stanev, “Correlation Functions of Conserved Currents in Four Dimensional Conformal Field Theory,” Nucl. Phys. B865 (2012) 200–215, arXiv:1206.5639 [hep-th]. [64] A. Zhiboedov, “A note on three-point functions of conserved currents,” arXiv:1206.6370 [hep-th]. [65] W. H. Furry, “A Symmetry Theorem in the Positron Theory,” Phys. Rev. 51 (1937) 125–129. [66] M. A. Vasiliev, “Consistent equation for interacting gauge fields of all spins in (3+1)-dimensions,” Phys. Lett. B243 (1990) 378–382. [67] J. M. Mart´ın-Garc´ıa, “xAct, Efficient tensor computer algebra for mathematica,” 2004. http://www.xact.es/.

18