Next Article in Journal
Weak Lensing Data and Condensed Neutrino Objects
Next Article in Special Issue
A Note on Rectangular Partially Massless Fields
Previous Article in Journal
Effective Interactions and Prospects for Resolution of the Fundamental Cosmological Problems in Quantum Gravity
Previous Article in Special Issue
Exploring Free Matrix CFT Holographies at One-Loop
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Gauge Non-Invariant Higher-Spin Currents in AdS4

I.E.Tamm Department of Theoretical Physics, Lebedev Physical Institute of RAS, Leninsky prospect 53, 119991 Moscow, Russia
*
Author to whom correspondence should be addressed.
Universe 2017, 3(4), 78; https://doi.org/10.3390/universe3040078
Submission received: 10 October 2017 / Revised: 31 October 2017 / Accepted: 3 November 2017 / Published: 16 November 2017
(This article belongs to the Special Issue Higher Spin Gauge Theories)

Abstract

:
Conserved currents of any spin t > 0 built from bosonic symmetric massless gauge fields of arbitrary integer spins s 1 + s 2 > t in A d S 4 are found. Analogous to the case of 4 d Minkowski space, currents considered in this paper are not gauge invariant, but generate gauge-invariant conserved charges.

1. Introduction

Gauge-invariant conserved currents are well known and were deeply studied in the literature [1,2,3,4,5,6,7,8,9]. In the general case, a conserved current carries a set of three spins ( t , s 1 , s 2 ) , where t is a spin of the current itself, and s 1 and s 2 are spins of the fields it is constructed from. For example, the so-called gravitational stress pseudo-tensor [10] ( s = t = 2 conserved current) is not gauge invariant. The same fact is shown in [5] for the t = 2 current built from massless fields of spins s > 2 . The spin-zero field has no gauge symmetry; thus, the currents with s < 1 are gauge invariant, while the spin-one current built from two massless spin-one fields is not.
The aim of this paper is to extend the Minkowski-space results of [11], presenting the full list of gauge non-invariant currents with integer spins in A d S 4 such that t < s 1 + s 2 . Being gauge non-invariant, these currents give rise to the gauge-invariant conserved charges. Gauge non-invariant currents will be derived from the variation of the cubic action of [12,13], which is gauge invariant in the lowest order.

Conventions

In this paper, we consider A d S 4 space-time. Greek indices μ , ν , ρ , λ , σ are the base and range from 0–3. Other Greek indices are spinorial and take values of one and two. The latter are raised and lowered by the sp(2) antisymmetric forms: ε α β , ε α β , ε α ˙ β ˙ , ε α ˙ β ˙
ε α β ε α γ = δ γ β , ε α ˙ β ˙ ε α ˙ γ ˙ = δ γ ˙ β ˙ ,
A α = A β ε β α , A α = A β ε α β , A α ˙ = A β ˙ ε β ˙ α ˙ , A α ˙ = A β ˙ ε α ˙ β ˙ .
Complex conjugation A ¯ relates dotted and undotted spinors. Brackets ( [ ] ) { } imply complete (anti)symmetrization, i.e.,
A [ α B β ] = 1 2 ( A α B β A β B α ) , A { α B β } = 1 2 ( A α B β + A β B α ) .
A α ( m ) denotes a totally symmetric multispinor A { α 1 α m } .
The wedge symbol ∧ is implicit.

2. Fields, Equations, Actions

In the four-dimensional case considered in this paper, it is convenient to use the frame-like formalism in two-component spinor notation. In these terms, a bosonic spin-s Fronsdal field [14] is represented by multispinor one-forms [15]:
s 1 : φ μ 1 μ s { ω α ( m ) , β ˙ ( n ) m + n = 2 ( s 1 ) } , ω α ( m ) , β ˙ ( n ) = d x μ ω μ α ( m ) , β ˙ ( n ) ,
which are symmetric in all dotted and all undotted spinor indices and obey the reality condition [15]:
ω α ( m ) , β ˙ ( n ) = ω β ( n ) , α ˙ ( m ) .
The frame-like field is a particular connection at n = m = s 1 (s is integer):
h μ α ( s 1 ) , β ˙ ( s 1 ) d x μ : = ω μ α ( s 1 ) , β ˙ ( s 1 ) d x μ .
By imposing appropriate constraints, the connections ω α ( m ) , β ˙ ( n ) can be expressed via t = 1 2 | m n | derivatives of the frame-like field [15].
Background gravity is described by the vierbein one-form h ˜ α , β ˙ and one-form connections ω ˜ α ˙ β ˙ , ω ˜ α β . Lorentz covariant derivative D ˜ acts as usual:
D ˜ A α ( m ) , β ˙ ( n ) = d A α ( m ) , β ˙ ( n ) + m ω ˜ α γ A α ( m 1 ) γ , β ˙ ( n ) + n ω ˜ β ˙ δ ˙ A α ( m ) , β ˙ ( n 1 ) δ ˙
for any multispinor A α ( m ) , β ˙ ( n ) . The torsion and curvature two-forms are:
R ˜ α , β ˙ = d h ˜ α , β ˙ + ω ˜ α γ h ˜ γ , β ˙ + ω ˜ β ˙ δ ˙ h ˜ α , δ ˙ ,
R ˜ α α = d ω ˜ α α + ω ˜ α γ ω ˜ α γ + λ 2 h ˜ α , δ ˙ h ˜ α , δ ˙ ,
R ˜ β ˙ β ˙ = d ω ˜ β ˙ β ˙ + ω ˜ β ˙ γ ˙ ω ˜ β ˙ γ ˙ + λ 2 h ˜ γ , β ˙ h ˜ γ , β ˙ ,
where the parameter λ is proportional to the inverse A d S radius λ r 1 . A d S 4 space is described by the vierbein and connections obeying the equations:
R ˜ α , β ˙ = 0 , R ˜ α α = 0 , R ˜ β ˙ β ˙ = 0 .
Linearized higher-spin (HS) curvatures are:
R 1 α ( m ) , β ˙ ( n ) = D ˜ ω α ( m ) , β ˙ ( n ) + n ( θ ( m n ) + λ 2 θ ( n m 2 ) ) h ˜ γ , β ˙ ω γ α ( m ) , β ˙ ( n 1 ) + m ( θ ( n m ) + λ 2 θ ( m n 2 ) ) h ˜ α , δ ˙ ω α ( m 1 ) , β ˙ ( n ) δ ˙ ,
where θ ( x ) is the step-function:
θ ( x ) = 1 at x 0 ; 0 at x < 0 .
Curvatures (11) obey the Bianchi identities [15]:
D ˜ R 1 α ( m ) , β ˙ ( n ) = λ ( | m n | / 2 ) + 1 ( m λ | m n 2 | / 2 h ˜ α , δ ˙ R 1 α ( m 1 ) , β ˙ ( n ) δ ˙ + n λ | m n + 2 | / 2 h ˜ γ , β ˙ R 1 α ( m ) γ , β ˙ ( n 1 ) ) .
It is convenient to introduce two-forms H α β and H ¯ α ˙ β ˙ :
h ˜ α , β ˙ h ˜ γ , δ ˙ = 1 2 ϵ α γ H ¯ β ˙ δ ˙ + 1 2 ϵ β ˙ δ ˙ H α γ ,
H α β : = h ˜ α , γ ˙ h ˜ β , γ ˙ , H ¯ α ˙ β ˙ : = h ˜ γ , α ˙ h ˜ γ , β ˙ .
Free field equations for massless fields of spins s 2 in Minkowski space can be written in the form [15]:
R 1 α ( m ) , β ˙ ( n ) = 0 for n > 0 , m > 0 , n + m = 2 ( s 1 ) ;
R 1 α ( m ) = C α ( m ) γ δ H γ δ for m = 2 ( s 1 ) ;
R 1 β ˙ ( n ) = C ¯ β ˙ ( n ) γ ˙ δ ˙ H ¯ γ ˙ δ ˙ for n = 2 ( s 1 ) .
Equations (16)–(18) are equivalent to the equations of motion, which follow from the Fronsdal action [14] supplemented with certain algebraic constraints, which express connections ω α ( m ) , β ˙ ( n ) via 1 2 | m n | derivatives of the dynamical frame-like HS field. The multispinor zero-forms C α ( 2 s ) and C ¯ β ˙ ( 2 s ) , which remain non-zero on-shell, are spin-s analogues of the Weyl tensor in gravity.
HS gauge transformation is:
δ ω α ( m ) , β ˙ ( n ) = D ˜ ϵ α ( m ) , β ˙ ( n ) + n ( θ ( m n ) + λ 2 θ ( n m 2 ) ) h ˜ γ , β ˙ ϵ γ α ( m ) , β ˙ ( n 1 ) + m ( θ ( n m ) + λ 2 θ ( m n 2 ) ) h ˜ α , δ ˙ ϵ α ( m 1 ) , β ˙ ( n ) δ ˙ ,
where a gauge parameter ϵ α ( m ) , β ˙ ( n ) ( x ) is an arbitrary function of x. Note that the limit λ 0 gives the proper description of HS fields in 4 d Minkowski space.
As explained in [11], to obtain currents with odd and even spins, the connections ω i ; α ( m ) , β ˙ ( n ) and curvatures R i ; α ( m ) , β ˙ ( n ) should be endowed with a color index i = 1 N , which labels independent dynamical fields. To contract color indices, we introduce the real tensor c i j k , which can be either symmetric or antisymmetric. Color indices are raised and lowered by the Euclidean metric g i j . It is convenient to set g i j = δ i j .
Free fields are described by the quadratic action [15]:
S 2 = 1 2 m , n 0 1 m ! n ! ε ( m n ) λ | m n | R 1 i ; α ( m ) , β ˙ ( n ) R 1 i ; α ( m ) , β ˙ ( n ) ,
where ε ( x ) = θ ( x ) θ ( x ) and m + n = 2 ( s 1 ) , s being a spin of the field.
Following [12,13], to obtain a cubic deformation of the quadratic action, the linear curvature R 1 in the action (20) has to be replaced by R = R 1 + R 2 where:
R 2 i ; α ( m ) , β ˙ ( n ) = p , q , k , l , u , v 0 λ 1 + d 0 d 1 d 2 m ! n ! p ! q ! k ! l ! u ! v ! c i j k δ p + q , m δ u + v , n × ω j ; α ( p ) γ ( k ) , δ ˙ ( l ) β ˙ ( u ) ω k ; α ( q ) γ ( k ) , δ ˙ ( l ) β ˙ ( v ) ,
d 0 = | m n | 2 , d 1 = | p + k l u | 2 , d 2 = | q + k l v | 2 .
The nonlinear action is:
S = 1 2 m , n 0 1 m ! n ! ε ( m n ) λ | m n | R i ; α ( m ) , β ˙ ( n ) R i ; α ( m ) , β ˙ ( n ) .

3. Problem

It is convenient to describe currents as Hodge-dual differential forms. The on-shell closure condition for the latter is traded for the current conservation condition. In this paper, we consider spin-t currents in A d S 4 built from two connections of integer spins s 1 , s 2 > 0 such that t s 1 + s 2 1 . Such currents contain the minimal possible number of derivatives of the dynamical fields. The analogous problem in 4 d Minkowski space has been solved in [11] for the case of s 1 = s 2 . The form of the currents will be derived from the nonlinear action (22).
An arbitrary variation of the action (22) can be represented in the form:
δ S = t , s 1 , s 2 m , n δ ( m + n 2 ( t 1 ) ) J t , s 1 , s 2 i ; α ( m ) , β ˙ ( n ) δ ω i ; α ( m ) , β ˙ ( n ) .
The current J t , s 1 , s 2 i ; α ( m ) , β ˙ ( n ) carries the color index i. Actually, there are N copies of a current, one for each value of i, and we can set i = 1 without loss of generality. In what follows, this index i = 1 will be omitted in all current forms. Furthermore, it is convenient to set c j k : = c 1 j k with c j k being either symmetric or antisymmetric, i.e.,
c j k = η c k j , η 2 = 1 .
To define a nontrivial HS charge as an integral over a 3 d space, one should find such a current three-form J t , s 1 , s 2 ( x ) built from dynamical HS fields that is closed by virtue of HS field Equations (16)–(18), but not exact. The closed current three-form is:
J t , s 1 , s 2 ( x ) = m , n λ | m n | m ! n ! δ ( m + n 2 ( t 1 ) ) ξ α ( m ) , β ˙ ( n ) ( x ) J t , s 1 , s 2 α ( m ) , β ˙ ( n ) ( x ) ,
where the factor of λ | m n | m ! n ! is introduced for convenience and ξ α ( m ) , β ˙ ( n ) are global symmetry parameters, which can be identified with those gauge symmetry parameters that leave the background gauge fields invariant. In accordance with (19), these parameters obey:
D ξ α ( m ) , β ˙ ( n ) : = D ˜ ξ α ( m ) , β ˙ ( n ) + n ( θ ( m n ) + λ 2 θ ( n m 2 ) ) h ˜ γ , β ˙ ξ γ α ( m ) , β ˙ ( n 1 ) + m ( θ ( n m ) + λ 2 θ ( m n 2 ) ) h ˜ α , δ ˙ ξ α ( m 1 ) , β ˙ ( n ) δ ˙ = 0 .
One can see that:
d J t , s 1 , s 2 = m , n λ | m n | m ! n ! D ξ α ( m ) , β ˙ ( n ) J t , s 1 , s 2 α ( m ) , β ˙ ( n ) + ξ α ( m ) , β ˙ ( n ) D J t , s 1 , s 2 α ( m ) , β ˙ ( n ) .
Hence, for parameters obeying (26), the conservation condition amounts to equations:
D J t , s 1 , s 2 α ( m ) , β ˙ ( n ) 0 , m + n = 2 ( t 1 ) .
For the currents defined via (23), the conservation condition (28) holds as a consequence of the gauge invariance of the action proven in [12].
Conserved currents generate conserved charges. By the Noether theorem, the latter are generators of global symmetries. Hence, one should expect as many conserved charges as global symmetry parameters. For a spin t, there are as many global symmetry parameters as the gauge parameters ϵ α ( m ) , β ˙ ( n ) with m + n = 2 ( t 1 ) .
In what follows, we will use notations:
D t o p ω α ( m ) , β ˙ ( n ) : = n θ ( m n ) h ˜ γ , β ˙ ω γ α ( m ) , β ˙ ( n 1 ) + m θ ( n m ) h ˜ α , δ ˙ ω α ( m 1 ) , β ˙ ( n ) δ ˙ ,
D s u b ω α ( m ) , β ˙ ( n ) : = n θ ( n m 2 ) h ˜ γ , β ˙ ω γ α ( m ) , β ˙ ( n 1 ) + m θ ( m n 2 ) h ˜ α , δ ˙ ω α ( m 1 ) , β ˙ ( n ) δ ˙ ,
D c u r ω α ( m ) , β ˙ ( n ) : = R 1 α ( m ) , β ˙ ( n ) .
As a consequence of (11):
D c u r = D ˜ + D t o p + λ 2 D s u b .
Since the λ -dependent term vanishes in the Minkowski case, it is convenient to introduce the “flat” part of the covariant derivative:
D f l : = D ˜ + D t o p .
It is also convenient to denote:
D h : = D t o p + λ 2 D s u b .
Free field equations (16) imply that:
D c u r ω α ( m ) , β ˙ ( n ) δ n , 0 C α ( m ) γ δ H γ δ + δ m , 0 C ¯ β ˙ ( n ) γ ˙ δ ˙ H ¯ γ ˙ δ ˙ ,
where ≃ implies on-shell equality.
If the three-form J t , s 1 , s 2 verifies (28) on-shell, the charge:
Q ξ = M 3 J t , s 1 , s 2
is conserved by virtue of (26). As a result, there are as many conserved charges Q ξ as independent global symmetry parameters ξ . Nontrivial charges are represented by the current cohomology, i.e., closed currents J t , s 1 , s 2 ( x ) modulo exact ones J t , s 1 , s 2 d Ψ t , s 1 , s 2 . Since the currents should be closed on-shell, i.e., by virtue of the free field Equations (16)–(18), analysis is greatly simplified by the fact that all linearized HS curvatures R 1 α ( m ) , β ˙ ( n ) with m > 0 , n > 0 are zero on-shell.
Conservation of currents does not imply that they are invariant under the gauge transformations (19). However, as shown below, the gauge variation of J t , s 1 , s 2 is exact:
δ J t , s 1 , s 2 ( x ) d H t , s 1 , s 2 ( x )
so that the charge Q ξ turns out to be gauge invariant.
Thus, the problem is:
  • to find current three-forms (25) from the variation of action,
  • to check that these forms obey the conservation condition (28),
  • to check that in the flat limit λ 0 , these forms give currents of [11],
  • to check that the HS charges are gauge invariant.

4. Variation of the Action

Variation of the nonlinear curvature R i ; α ( m ) , β ˙ ( n ) is:
δ R i ; α ( m ) , β ˙ ( n ) = δ R 1 i ; α ( m ) , β ˙ ( n ) + δ R 2 i ; α ( m ) , β ˙ ( n ) ,
where:
δ R 1 i ; α ( m ) , β ˙ ( n ) = D ˜ δ ω i ; α ( m ) , β ˙ ( n ) + n ( θ ( m n ) + λ 2 θ ( n m 2 ) ) h ˜ γ , β ˙ δ ω i ; γ α ( m ) , β ˙ ( n 1 ) + m ( θ ( n m ) + λ 2 θ ( m n 2 ) ) h ˜ α , δ ˙ δ ω i ; α ( m 1 ) , β ˙ ( n ) δ ˙
and:
δ R 2 i ; α ( m ) , β ˙ ( n ) = p , q , k , l , u , v λ 1 + d 0 d 1 d 2 m ! n ! p ! q ! k ! l ! u ! v ! ( 1 + ( 1 ) k + l η ) c i j k δ p + q , m δ u + v , n × δ ω j ; α ( p ) γ ( k ) , δ ˙ ( l ) β ˙ ( u ) ω k ; α ( q ) γ ( k ) , δ ˙ ( l ) β ˙ ( v )
with η defined in (24).
Variation of the action (22) is:
δ S = m , n ε ( m n ) λ | m n | m ! n ! ( R 1 i ; α ( m ) , β ˙ ( n ) δ R 1 i ; α ( m ) , β ˙ ( n ) + R 2 i ; α ( m ) , β ˙ ( n ) δ R 1 i ; α ( m ) , β ˙ ( n ) + R 1 i ; α ( m ) , β ˙ ( n ) δ R 2 i ; α ( m ) , β ˙ ( n ) + R 2 i ; α ( m ) , β ˙ ( n ) δ R 2 i ; α ( m ) , β ˙ ( n ) ) .
The first term is the variation of the action S 2 (20), which vanishes on equations of motion (16)–(18). The last term is cubic in connections ω i ; α ( m ) , β ˙ ( n ) , hence not contributing to bilinear currents. The second and third terms give rise to the currents. Using (11), (17), (18), (32), (39) and (40) and integrating by parts, we obtain:
δ S m , n ε ( m n ) λ | m n | m ! n ! [ D ˜ R 2 i ; α ( m ) , β ˙ ( n ) δ ω i ; α ( m ) , β ˙ ( n ) + n ( θ ( m n ) + λ 2 θ ( n m 2 ) ) R 2 i ; α ( m ) , θ ˙ β ˙ ( n 1 ) h ˜ γ , θ ˙ δ ω i ; γ α ( m ) , β ˙ ( n 1 ) + m ( θ ( n m ) + λ 2 θ ( m n 2 ) ) R 2 i ; α ( m 1 ) γ , β ˙ ( n ) h ˜ γ , δ ˙ δ ω i ; α ( m 1 ) , β ˙ ( n ) δ ˙ ] + r > 0 λ r r ! ( C i ; α ( r ) γ δ H γ δ δ R 2 i ; α ( r ) C ¯ i ; β ˙ ( r ) γ ˙ δ ˙ H ¯ γ ˙ δ ˙ δ R 2 i ; β ˙ ( r ) ) .
Omitting the color index i = 1 , this leads to the currents at t > 1 via:
J t , s 1 , s 2 = m , n δ ( m + n 2 ( t 1 ) ) ξ α ( m ) , β ˙ ( n ) δ S δ ω α ( m ) , β ˙ ( n ) .

5. Examples

5.1. Spin-Two Current

To illustrate the structure of the current three-form and analyze the flat limit λ 0 , consider a current with t = 2 , s 1 = s 2 = s > 1 :
J 2 , s = λ 2 2 ξ α α J 2 , s α α + ξ α , β ˙ J 2 , s α , β ˙ + λ 2 2 ξ β ˙ β ˙ J 2 , s β ˙ β ˙ ,
where J 2 , s : = J 2 , s , s . Using (21), (31), (35) and (40), we obtain:
J 2 , s α α = m , n 4 λ 2 | m n | ( m 1 ) ! n ! c i j [ n ( θ ( m n ) + λ 2 θ ( n m 2 ) ) ω i ; α γ ( m 1 ) φ , δ ˙ ( n 1 ) ω j ; α γ ( m 1 ) , δ ˙ ( n 1 ) θ ˙ h ˜ φ , θ ˙ + ( m 1 ) ( θ ( n m ) + λ 2 θ ( m n 2 ) ) ω i ; α γ ( m 2 ) , δ ˙ ( n ) θ ˙ ω j ; α φ γ ( m 2 ) , δ ˙ ( n ) h ˜ φ , θ ˙ + ( θ ( n m ) + λ 2 θ ( m n 2 ) ) ω i ; γ ( m 1 ) , δ ˙ ( n ) θ ˙ ω j ; α γ ( m 1 ) , δ ˙ ( n ) h ˜ α , θ ˙ ] ,
J 2 , s α , β ˙ = m , n 2 λ 2 | m n | [ 1 ( m 1 ) ! n ! c i j ω i ; α γ ( m 1 ) , δ ˙ ( n ) ω j ; φ γ ( m 1 ) , δ ˙ ( n ) h ˜ φ , β ˙ 1 m ! ( n 1 ) ! c i j ω i ; γ ( m ) , δ ˙ ( n 1 ) θ ˙ ω j ; γ ( m ) , δ ˙ ( n 1 ) β ˙ h ˜ α , θ ˙ ] + 2 λ 4 2 s ( 2 s 3 ) ! [ c i j C i ; α γ ( 2 s 3 ) φ ρ H φ ρ ω γ ( 2 s 3 ) β ˙ c i j C ¯ i ; δ ˙ ( 2 s 3 ) β ˙ ψ ˙ θ ˙ H ¯ ψ ˙ θ ˙ ω α δ ˙ ( 2 s 3 ) ] ,
J 2 , s β ˙ β ˙ = m , n 4 λ 2 | m n | m ! ( n 1 ) ! c i j [ m ( θ ( n m ) + λ 2 θ ( m n 2 ) ) ω i ; γ ( m 1 ) , δ ˙ ( n 1 ) θ ˙ β ˙ ω j ; φ γ ( m 1 ) , δ ˙ ( n 1 ) β ˙ h ˜ φ , θ ˙ + ( n 1 ) ( θ ( m n ) + λ 2 θ ( n m 2 ) ) ω i ; φ γ ( m ) , δ ˙ ( n 2 ) β ˙ ω j ; γ ( m ) , δ ˙ ( n 2 ) θ ˙ β ˙ h ˜ φ , θ ˙ + ( θ ( m n ) + λ 2 θ ( n m 2 ) ) ω i ; φ γ ( m ) , δ ˙ ( n 1 ) ω j ; γ ( m ) , δ ˙ ( n 1 ) β ˙ h ˜ φ , β ˙ ] .
Recall that m + n = 2 ( s 1 ) , m , n 0 .
The terms in (45), (46) and (47) that contain inverse powers of λ contain higher derivatives. To obtain a proper λ 0 limit, such terms should be compensated by an exact form d Ψ 2 , s with:
Ψ 2 , s = m = 0 s 3 2 λ 4 2 ( s m ) m ! ( 2 s 3 m ! ) [ ξ α α c i j ω i ; α γ ( m ) , δ ˙ ( 2 s 3 m ) ω i ; α γ ( m ) , δ ˙ ( 2 s 3 m ) + ξ α , β ˙ ( c i j ω i ; α γ ( 2 s 3 m ) , δ ˙ ( m ) ω j ; γ ( 2 s 3 m ) , δ ˙ ( m ) β ˙ c i j ω i ; α γ ( m ) , δ ˙ ( 2 s 3 m ) ω j ; γ ( m ) , δ ˙ ( 2 s 3 m ) β ˙ ) ξ β ˙ β ˙ c i j ω i ; α γ ( 2 s 3 m ) , δ ˙ ( m ) β ˙ ω i ; γ ( 2 s 3 m ) , δ ˙ ( m ) β ˙ ] .
At s = 2 , it is not necessary to add this exact form since the current is regular in the flat limit.
The fact that complete antisymmetrization over any three two-component dotted or undotted indices gives zero yields the relation:
c i j ω i ; α γ ( m 1 ) , δ ˙ ( n ) ω j ; φ γ ( m 1 ) , δ ˙ ( n ) h ˜ φ , β ˙ = c i j ω i ; α γ ( m 1 ) , δ ˙ ( n 1 ) β ˙ ω j ; φ γ ( m 1 ) , δ ˙ ( n 1 ) θ ˙ h ˜ φ , θ ˙ + c i j ω i ; α γ ( m 1 ) , δ ˙ ( n 1 ) θ ˙ ω j ; φ γ ( m 1 ) , δ ˙ ( n 1 ) β ˙ h ˜ φ , θ ˙
to be used in the sequel.
Straightforward calculation gives:
J ^ 2 , s = J 2 , s + d Ψ 2 , s = λ 2 2 ξ α α J ^ 2 , s α α + ξ α , β ˙ J ^ 2 , s α , β ˙ + λ 2 2 ξ β ˙ β ˙ J ^ 2 , s β ˙ β ˙ ,
where
J ^ 2 , s α α = 2 λ 2 c i j [ ω i ; α φ γ ( s 2 ) , δ ˙ ( s 2 ) ω j ; α γ ( s 2 ) , δ ˙ ( s 2 ) θ ˙ h ˜ φ , θ ˙ + s 2 s 1 ω i ; α γ ( s 3 ) , δ ˙ ( s 1 ) θ ˙ ω j ; α φ γ ( s 3 ) , δ ˙ ( s 1 ) h ˜ φ , θ ˙ + 1 s 1 ω i ; α γ ( s 2 ) , δ ˙ ( s 1 ) ω j ; γ ( s 2 ) , δ ˙ ( s 1 ) θ ˙ h ˜ α , θ ˙ ] ,
J ^ 2 , s α , β ˙ = 1 s 1 c i j [ ω i ; γ ( s 2 ) , δ ˙ ( s 1 ) θ ˙ ω j ; γ ( s 2 ) , δ ˙ ( s 1 ) β ˙ h ˜ α , θ ˙ + ( s 2 ) ω i ; α γ ( s 3 ) , δ ˙ ( s 1 ) θ ˙ ω j ; φ γ ( s 3 ) , δ ˙ ( s 1 ) β ˙ h ˜ φ , θ ˙ + ( s 2 ) ω i ; α φ γ ( s 3 ) , δ ˙ ( s 1 ) ω j ; γ ( s 3 ) , δ ˙ ( s 1 ) θ ˙ β ˙ h ˜ φ , θ ˙ + ( s 2 ) ω i ; α γ ( s 1 ) , δ ˙ ( s 3 ) θ ˙ ω j ; φ γ ( s 1 ) , δ ˙ ( s 3 ) β ˙ h ˜ φ , θ ˙ + ( s 2 ) ω i ; α φ γ ( s 1 ) , δ ˙ ( s 3 ) ω j ; γ ( s 1 ) , δ ˙ ( s 3 ) θ ˙ β ˙ h ˜ φ , θ ˙ + ω i ; α γ ( s 1 ) , δ ˙ ( s 2 ) ω j ; φ γ ( s 1 ) , δ ˙ ( s 2 ) h ˜ φ , β ˙ ] ,
J ^ 2 , s β ˙ β ˙ = 2 λ 2 c i j [ ω i ; φ γ ( s 2 ) , δ ˙ ( s 2 ) β ˙ ω j ; γ ( s 2 ) , δ ˙ ( s 2 ) θ ˙ β ˙ h ˜ φ , θ ˙ + s 2 s 1 ω i ; φ γ ( s 1 ) , δ ˙ ( s 3 ) β ˙ ω j ; γ ( s 1 ) , δ ˙ ( s 3 ) θ ˙ β ˙ h ˜ φ θ ˙ + 1 s 1 ω i ; φ γ ( s 1 ) , δ ˙ ( s 2 ) ω j ; γ ( s 1 ) , δ ˙ ( s 2 ) β ˙ h ˜ φ , β ˙ ] .
Note that J ^ 2 , s does not contain λ explicitly. One can check, that (51), (52) and (53) obey (28). As a result, the form J ^ 2 , s (50) is closed by virtue of (26).
Since the A d S 4 current J ^ 2 , s (50) does not depend explicitly on λ m it preserves its form in the flat limit λ 0 . From (51)–(53), one can see that:
J ^ 2 , s = J 2 , s M + D f l χ 2 , s ,
where J 2 , s M at λ = 0 reproduces the spin-two current in Minkowski space and:
χ 2 , s = c i j s 1 ( ξ α β ˙ ω i ; α γ ( s 2 ) , δ ˙ ( s 1 ) ω j ; γ ( s 2 ) , δ ˙ ( s 1 ) β ˙ ω i ; α γ ( s 1 ) , δ ˙ ( s 2 ) ω j ; γ ( s 1 ) , δ ˙ ( s 2 ) β ˙ + λ 2 ξ α α ω i ; α γ ( s 2 ) , δ ˙ ( s 1 ) ω j ; α γ ( s 2 ) , δ ˙ ( s 1 ) + ξ β ˙ β ˙ ω i ; γ ( s 1 ) , δ ˙ ( s 2 ) β ˙ ω j ; γ ( s 1 ) , δ ˙ ( s 2 ) β ˙ ) .
This proves that the flat limit of the current (50) reproduces the results of [11].
We observe that the current is Hermitian. It is nonzero if c i j is symmetric.

5.2. Spin-One Current

Since the action (22) does not contain a kinetic term for spin-one field ω i carrying no spinor indices, following [12], it should be added separately in a standard way:
S E M = R i * R i ,
where * is the Hodge star operator and, in agreement with (11) and (21),
R i = d ω i + k , l 0 λ 1 | m n | k ! l ! c i j k ω j ; γ ( k ) , δ ˙ ( l ) ω k ; γ ( k ) , δ ˙ ( l ) .
The full action is S f u l l = S + S E M with S (22). The spin-one part of the variation δ S t = 1 of this action is:
δ S t = 1 = r > 0 λ r r ! ( C i ; α ( r ) γ δ H γ δ δ R 2 i ; α ( r ) C ¯ i ; β ˙ ( r ) γ ˙ δ ˙ H ¯ γ ˙ δ ˙ δ R 2 i ; β ˙ ( r ) ) + δ S E M ,
where:
δ S E M = [ R 1 i * δ R 2 i + R 2 i * δ R 1 i ] .
In the spin-one case equations, (16)–(18) amount to:
R 1 i = C i ; γ δ H γ δ + C ¯ i ; γ ˙ δ ˙ H ¯ γ ˙ δ ˙ ,
where C i ; γ δ and C ¯ i ; γ ˙ δ ˙ parametrize self-dual and anti-self-dual components of the spin-one field tensor. Using properties of the Pauli matrices, one can also see that:
R 1 i = i ( C i ; γ δ H γ δ C ¯ i ; γ ˙ δ ˙ H ¯ γ ˙ δ ˙ ) .
The sum of spin-one ( t = 1 ) currents of fields of arbitrary spins s 1 = s 2 1 can be expressed as (the color index i is omitted):
ξ δ S t = 1 δ ω = J 1 , 1 + s > 1 J 1 , s ,
where ξ is a global symmetry parameter zero-form (26) with no spinor indices and:
J 1 , 1 = 2 ξ λ i c i j ( C i ; γ δ H γ δ C ¯ i ; γ ˙ δ ˙ H ¯ γ ˙ δ ˙ ) ω j d ( ξ R 2 i * ) ,
J 1 , s = 2 λ 3 2 s ξ c i j ( C i ; α ( 2 s 2 ) φ ρ H φ ρ ω j ; α ( 2 s 2 ) C ¯ i ; β ˙ ( 2 s 2 ) γ ˙ δ ˙ H ¯ γ ˙ δ ˙ ω j ; β ˙ ( 2 s 2 ) ) .
In the case of t = 1 , s 1 = s 2 = s = 1 , one can transform J 1 , 1 into:
J ^ 1 , 1 = 1 λ ( J 1 , 1 + d ( ξ R 2 i * ) ) = 2 ξ i c i j ( C i ; γ δ H γ δ C ¯ i ; γ ˙ δ ˙ H ¯ γ ˙ δ ˙ ) ω j .
It is not hard to see that the C-dependent terms are not exact provided that c i j is antisymmetric. The current (64) coincides with Minkowski current J 1 , 1 M from [11] modulo an overall factor of two.
In the case of t = 1 , s 1 = s 2 = s > 1 , the current results from the C-dependent terms of (42) by virtue of (40):
J 1 , s = 2 λ 3 2 s ξ c i j ( C i ; α ( 2 s 2 ) φ ρ H φ ρ ω j ; α ( 2 s 2 ) C ¯ i ; β ˙ ( 2 s 2 ) γ ˙ δ ˙ H ¯ γ ˙ δ ˙ ω j ; β ˙ ( 2 s 2 ) ) .
Note, that there are no currents with t = 1 , s 1 s 2 . Furthermore, note that Equation (64) is a particular case of (65) at s = 1 . The current three-form J 1 , s (65) is nontrivial if c i j is antisymmetric.
For s > 1 , J 1 , s (65) can be rewritten in the bilinear form in connections by adding an exact form:
J ^ 1 , s = 1 λ ( 2 ) s 1 s ( s 1 ) ! ( J 1 , s + d Ψ 1 , s ) = ξ c i j [ ω i ; φ γ ( s 2 ) , δ ˙ ( s 1 ) ω j ; γ ( s 2 ) , δ ˙ ( s 1 ) θ ˙ + ω i ; φ γ ( s 1 ) , δ ˙ ( s 2 ) ω j ; γ ( s 1 ) , δ ˙ ( s 2 ) θ ˙ ] h ˜ φ , θ ˙ ,
with:
Ψ 1 , s = 2 ξ λ 3 2 s m = 0 s 2 ( 1 ) m + 1 2 m λ 2 m ( s 1 ) ! ( s m 1 ) ! c i j ( ω i ; α ( 2 s 2 m ) , β ˙ ( m ) ω j ; α ( 2 s 2 m ) , β ˙ ( m ) ω i ; α ( m ) , β ˙ ( 2 s 2 m ) ω j ; α ( m ) , β ˙ ( 2 s 2 m ) ) .
This three-form is λ -independent, on-shell-closed, Hermitian and reproduces the result of [11]. Hence, it is non-trivial.

6. General Spins

The A d S 4 conserved currents J t , s 1 , s 2 with 1 < t s 1 + s 2 1 (for definiteness, we set s 1 s 2 ) result from the variation of action (42):
J t , s 1 , s 2 = m , n ε ( m n ) λ | m n | m ! n ! [ ξ α ( m ) , β ˙ ( n ) D h R 2 α ( m ) , β ˙ ( n ) | s 1 , s 2 n ( θ ( m n ) + λ 2 θ ( n m 2 ) ) ξ α ( m + 1 ) , β ˙ ( n 1 ) R 2 α ( m ) , θ ˙ β ˙ ( n 1 ) | s 1 , s 2 h ˜ α , θ ˙ + m ( θ ( n m ) + λ 2 θ ( m n 2 ) ) ξ α ( m 1 ) , β ˙ ( n + 1 ) R 2 α ( m 1 ) γ , β ˙ ( n ) | s 1 , s 2 h ˜ γ , β ˙ ] + p , q , k , v 2 λ 1 | q + k p v | p ! q ! k ! v ! δ 2 p + q + v , 2 ( t 1 ) δ p + k , 2 ( s 1 1 ) δ p + q + k + v , 2 ( s 2 1 ) c i j ξ α ( p + q ) , β ˙ ( p + v ) × [ C i ; α ( p ) γ ( k ) φ ρ H φ ρ ω j ; α ( q ) γ ( k ) , β ˙ ( p + v ) C ¯ i ; β ˙ ( p ) δ ˙ ( k ) φ ˙ ρ ˙ H ¯ φ ˙ ρ ˙ ω j ; α ( p + q ) , δ ˙ ( k ) β ˙ ( v ) ] ,
where R 2 α ( m ) , β ˙ ( n ) | s 1 , s 2 is the restriction of (21) to terms containing connections with spins s 1 and s 2 . These currents contain s 1 + s 2 2 derivatives of the frame-like fields.
To check the non-exactness of the three-form (68), it suffices to add an exact form:
d Ψ t , s 1 , s 2 = d ( m , n ξ α ( m ) β ˙ ( n ) Ψ t , s 1 , s 2 α ( m ) , β ˙ ( n ) ) , n + m = 2 ( t 1 ) ,
where:
Ψ t , s 1 , s 2 α ( m ) , β ˙ ( n ) = p , q , k , l , u , v 2 λ 1 | p + k l u | | q + k l v | 2 p ! q ! k ! l ! u ! v ! δ p + q , m δ u + v , n δ p + k + l + u , 2 ( s 1 1 ) δ q + k + l + v , 2 ( s 2 1 ) × θ ( l + u p k 1 ) c i j [ θ ( m n ) ω i ; α ( p ) γ ( k ) , δ ˙ ( l ) β ˙ ( u ) ω j ; α ( q ) γ ( k ) , δ ˙ ( l ) β ˙ ( v ) θ ( n m ) ω i ; α ( u ) γ ( l ) , δ ˙ ( k ) β ˙ ( p ) ω j ; α ( v ) γ ( l ) , δ ˙ ( k ) β ˙ ( q ) ] ,
One can see that Ψ t , s 1 , s 2 α ( m ) , β ˙ ( n ) is adjusted to cancel the C-dependent terms.
The resulting current three-form:
J ^ t , s 1 , s 2 : = J t , s 1 , s 2 + d Ψ t , s 1 , s 2
is
J ^ t , s 1 , s 2 α ( m ) , β ˙ ( n ) = p , q , k , l , u , v 2 λ 1 + 2 | m n | + | p + k l u | | q + k l v | p ! q ! k ! l ! u ! v ! δ p + q , m δ u + v , n δ p + k + l + u , 2 ( s 1 1 ) δ q + k + l + v , 2 ( s 2 1 ) c i j × [ θ ( p + k l u 1 ) D h ( θ ( m n ) ω i ; α ( p ) γ ( k ) , δ ˙ ( l ) β ˙ ( u ) ω j ; α ( q ) γ ( k ) , δ ˙ ( l ) β ˙ ( v ) θ ( n m ) ω i ; α ( u ) γ ( l ) , δ ˙ ( k ) β ˙ ( p ) ω j ; α ( v ) γ ( l ) , δ ˙ ( k ) β ˙ ( q ) ) n ( θ ( m n ) + λ 2 θ ( n m 2 ) ) ( ( u + 1 ) ω i ; α ( p 1 ) γ ( k ) , δ ˙ ( l ) θ ˙ β ˙ ( u ) ω j ; α ( v ) γ ( k ) , δ ˙ ( l ) β ˙ ( v ) h ˜ α , θ ˙ + ( v + 1 ) ω i ; α ( p ) γ ( k ) , δ ˙ ( l ) β ˙ ( u ) ω j ; α ( q 1 ) γ ( k ) , δ ˙ ( l ) θ ˙ β ˙ ( v ) h ˜ α , θ ˙ ) + m ( θ ( n m ) + λ 2 θ ( m n 2 ) ) ( ( p + 1 ) ω i ; α ( p ) φ γ ( k ) , δ ˙ ( l ) β ˙ ( u ) ω j ; α ( q ) γ ( k ) , δ ˙ ( l ) β ˙ ( v ) h ˜ φ , β ˙ + ( q + 1 ) ω i ; α ( p ) γ ( l ) , δ ˙ ( k ) β ˙ ( u 1 ) ω j ; α ( q ) φ γ ( l ) , δ ˙ ( k ) β ˙ ( v 1 ) h ˜ φ , β ˙ ) ] .
This current contains t | s 1 s 2 | derivatives, which is the minimal possible number. The non-exactness of the current three-form J ^ t , s 1 , s 2 can be checked in the flat limit λ 0 just as in [11].
In the case of s 1 = s 2 = s :
J ^ t , s = n , m λ | m n | m ! n ! ξ α ( m ) , β ˙ ( n ) J ^ t , s α ( m ) , β ˙ ( n ) , n + m = 2 ( t 1 ) ,
where:
J ^ t , s α ( m ) , β ˙ ( n ) = λ | m n | m ! n ! ( θ ( n m 4 ) g ^ ( n ) c i j ω i ; α ( m ) φ γ ( s 2 ) , δ ˙ ( s t ) β ˙ ( n t + 1 ) ω j ; γ ( s 2 ) , δ ˙ ( s t ) θ ˙ β ˙ ( t 1 ) h ˜ φ , θ ˙ + δ n , t c i j [ 2 ( t 1 ) ω i ; α ( m ) φ γ ( s 2 ) , δ ˙ ( s t ) β ˙ ω j ; γ ( s 2 ) , δ ˙ ( s t ) θ ˙ β ˙ ( n 1 ) h ˜ φ , θ ˙ + p = 1 t 2 f ^ ( p ) ω i ; α ( m ) φ γ ( s p 1 ) , δ ˙ ( s t + p ) ω j ; γ ( s p 1 ) , δ ˙ ( s t + p ) β ˙ ( n 1 ) h ˜ φ , β ˙ ] + δ m , t 1 δ n , t 1 c i j [ ω i ; α ( t 1 ) φ γ ( s 2 ) , δ ˙ ( s t ) ω j ; γ ( s 2 ) , δ ˙ ( s t ) θ ˙ β ˙ ( t 1 ) h ˜ φ , θ ˙ + ω i ; α ( t 1 ) φ γ ( s t ) , δ ˙ ( s 2 ) ω j ; γ ( s t ) , δ ˙ ( s 2 ) θ ˙ β ˙ ( t 1 ) h ˜ φ , θ ˙ ] + θ ( m n 4 ) g ^ ( m ) c i j ω i ; α ( t 1 ) φ γ ( s t ) , δ ˙ ( s 2 ) ω j ; α ( m t + 1 ) γ ( s t ) , δ ˙ ( s 2 ) θ ˙ β ˙ ( n ) h ˜ φ , θ ˙ + δ m , t c i j [ 2 ( t 1 ) ω i ; α ( m 1 ) φ γ ( s t ) , δ ˙ ( s 2 ) ω j ; α γ ( s t ) , δ ˙ ( s 2 ) θ ˙ β ˙ ( n ) h ˜ φ , θ ˙ + p = 1 t 2 f ^ ( p ) ω i ; α ( m 1 ) γ ( s t + p ) , δ ˙ ( s p 1 ) ω j ; γ ( s t + p ) , δ ˙ ( s p 1 ) θ ˙ β ˙ ( n ) h ˜ α , θ ˙ ] ) ,
and:
g ^ ( m ) = 2 ( t 1 ) ! ( 2 t m 2 ) ! ( m t + 1 ) ! , m t + 1 ,
f ^ ( 1 ) = t 1 s t + 1 , f ^ ( p ) = ( t 1 ) ( s t ) ! ( s p ) ! ( s 3 ) ! ( s t + p ) ! , p > 1 .
The second and last terms in (72) contribute to the special cases of n = t and m = t , respectively.
One can check that the current (68) at s 1 = s 2 reproduces that of [11] up to a D f l -exact form:
χ t , s = D f l ( m , n ξ α ( m ) β ˙ ( n ) χ t , s α ( m ) , β ˙ ( n ) ) , n + m = 2 ( t 1 ) ,
where:
χ t , s α ( m ) , β ˙ ( n ) = θ ( n m 2 ) g ( n ) c i j p = 1 m + 1 ω i ; α ( m ) γ ( s p ) , δ ˙ ( s t + p 1 ) β ˙ ( n t + 1 ) ω j ; γ ( s p ) , δ ˙ ( s t + p 1 ) β ˙ ( t 1 ) + θ ( m n 2 ) g ( m ) c i j p = 1 n + 1 ω i ; α ( t 1 ) γ ( s t + p 1 ) , δ ˙ ( s p ) ω j ; α ( m t + 1 ) γ ( s t + p 1 ) , δ ˙ ( s p ) β ˙ ( n ) + δ m , t 1 δ n , t 1 f c i j p = 0 [ t 2 ] [ ω i ; α ( t p 1 ) γ ( s 2 ) , δ ˙ ( s t + 1 ) β ˙ ( p ) ω j ; α ( p ) γ ( s 2 ) , δ ˙ ( s t + 1 ) β ˙ ( s t p ) + ω i ; α ( t p 1 ) γ ( s 1 ) , δ ˙ ( s t ) β ˙ ( p ) ω j ; α ( p ) γ ( s 1 ) , δ ˙ ( s t ) β ˙ ( s t p ) ] ,
where:
f = 1 s t + 1 , g ( m ) = t m s p .
The conserved currents are nontrivial if c i j is antisymmetric for odd t + s 1 + s 2 and symmetric for even.
Thus, the Hermitian current three-form J ^ t , s 1 , s 2 is on-shell closed, but not exact. It generates the corresponding real conserved charge Q = J ^ t , s 1 , s 2 that contains as many symmetry parameters as local HS gauge symmetries.

7. Gauge Transformations

Although the current three-form (68) is not invariant under the gauge transformations (19), its gauge variation is exact. Schematically, the proof consists of the following steps. By virtue of (32), the gauge variation of any term from (68) δ ( ξ ω 1 ω 2 h ) can be written as:
δ ( ξ ω 1 ω 2 h ) = ξ ω 1 ( D ˜ ε 2 + D h ε 2 ) h + ξ ( D ˜ ε 1 + D h ε 1 ) ω 2 h .
This gives:
δ ( ξ ω 1 ω 2 h ) = D ˜ ( ξ ω 1 ε 2 h ξ ε 1 ω 2 h ) + ξ ( D c u r ω 1 ) ε 2 h + ξ ε 1 ( D c u r ω 2 ) h + ( D h ξ ) ω 1 ε 2 h + ξ ( D h ω 1 ) ε 2 h ξ ω 1 ( D h ε 2 ) h + ( D h ξ ) ε 1 ω 2 h + ξ ε 1 ( D h ω 2 ) h ξ ( D h ε 1 ) ω 2 h .
All terms containing D c u r are canceled by δ ( ξ C H ω h ) . All terms with D h cancel each other.
This gives:
δ J t , s 1 , s 2 d H t , s 1 , s 2 ,
where:
H t , s 1 , s 2 = m , n ε ( m n ) p , q , k , l , u , v δ p + q , m δ u + v , n δ p + k + l + u , 2 ( s 1 1 ) δ q + k + l + v , 2 ( s 2 1 ) c i j ξ α ( p + q ) , β ˙ ( u + v ) × λ 1 | m n | 2 | p + k l u | 2 | q + k l v | 2 p ! q ! k ! l ! u ! v ! [ D h ε i ; α ( p ) γ ( k ) , δ ˙ ( l ) β ˙ ( u ) ω j ; α ( q ) γ ( k ) , δ ˙ ( l ) β ˙ ( v ) n ( θ ( m n ) + λ 2 θ ( n m 2 ) ) ξ α ( p + q + 1 ) , β ˙ ( u + v 1 ) × ( ε i ; α ( p ) γ ( k ) , δ ˙ ( l ) θ ˙ β ˙ ( u ) ω j ; α ( q ) γ ( k ) , δ ˙ ( l ) β ˙ ( v ) h ˜ α , θ ˙ + ε i ; α ( p ) γ ( k ) , δ ˙ ( l ) β ˙ ( u ) ω j ; α ( q ) γ ( k ) , δ ˙ ( l ) θ ˙ β ˙ ( v ) h ˜ α , θ ˙ ) m ( θ ( n m ) + λ 2 θ ( m n 2 ) ) ξ α ( p + q 1 ) , β ˙ ( u + v + 1 ) × ( ε i ; α ( p ) γ ( k ) , δ ˙ ( l ) β ˙ ( u ) ω j ; α ( q ) γ ( k ) , δ ˙ ( l ) β ˙ ( v ) h ˜ α , θ ˙ + ε i ; α ( p ) φ γ ( k ) , δ ˙ ( l ) β ˙ ( u ) ω j ; α ( q ) φ γ ( k ) , δ ˙ ( l ) β ˙ ( v ) h ˜ φ , β ˙ ) ] + 2 p , q , k , v λ 2 s 1 | k p | 2 p ! q ! k ! v ! δ 2 p + q + v , 2 ( t 1 ) δ p + k , 2 ( s 1 1 ) δ p + q + k + v , 2 ( s 2 1 ) c i j ξ α ( p + q ) , β ˙ ( p + v ) × [ C i ; α ( p ) γ ( k ) φ ρ H φ ρ ε j ; α ( q ) γ ( k ) , β ˙ ( p + v ) C ¯ i ; β ˙ ( p ) δ ˙ ( k ) φ ˙ ρ ˙ H ¯ φ ˙ ρ ˙ ε j ; α ( p + q ) , δ ˙ ( k ) β ˙ ( v ) ] .
Details of the derivation of this formula are given in the Appendix for the case of t = 2 , s 1 = s 2 = s > 1 .
Thus, δ J t , s 1 , s 2 is exact on-shell. The same is true for the spin-one current (65). Hence, though the current J t is not gauge invariant, the corresponding charge is:
δ Q ξ d H t , s 1 , s 2 = 0 .

8. Conclusion

In this paper, spin-t HS currents J t , s 1 , s 2 in A d S 4 , built from boson fields of arbitrary spins obeying t s 1 + s 2 1 are found from the variation principle. Being represented as three-forms, J t , s 1 , s 2 are closed, but not exact, hence leading to nontrivial HS charges. These charges are gauge invariant because δ J t , s 1 , s 2 is shown to be exact.
In the 4 d Minkowski case, in addition to natural parity-even currents, we found “mysterious” parity-odd currents [11]. In agreement with the conjecture of [11], we were not able to extend parity-odd currents to A d S 4 . The λ 0 limit of J ^ t , s (72) reproduces the parity-even currents of [11].
Currents constructed from fields of half-integer spins can be found analogously. How to operate with half-integer fields is shown in [15]. It is important to mention that for the currents built from fields of half-integer spin, the computations are essentially different, because Equation (11) for half-integer spins contains λ instead of λ 2 [15].
Let us stress that the derivation of the currents via the action applied in this paper leads to currents containing the non-minimal number of derivatives according to [16] with the higher-derivative terms corresponding to certain improvements. This is however anticipated since consistent cubic HS interactions are known [12] to contain higher-derivative terms allowing one to preserve HS gauge symmetries associated with gauge fields of different spins.

Acknowledgments

This research was supported in part by the Russian Foundation for Basic Research Grant No. 14-02-01172.

Author Contributions

Both authors contributed equally to this work.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix  Example of the Gauge Variation of Jt,s

Consider the case of t = 2 , s 1 = s 2 = s > 1 (44):
J 2 , s = λ 2 2 ξ α α J 2 , s α α + ξ α , β ˙ J 2 , s α , β ˙ + λ 2 2 ξ β ˙ β ˙ J 2 , s β ˙ β ˙ .
The gauge variation of (44) under the gauge transformation (19) is:
δ J 2 , s = λ 2 2 ξ α α δ J 2 , s α α + ξ α , β ˙ δ J 2 , s α , β ˙ + λ 2 2 ξ β ˙ β ˙ δ J 2 , s β ˙ β ˙ ,
where:
δ J 2 , s α α = D h ( m , n 4 λ 2 | m n | ( m 1 ) ! n ! c i j [ D ˜ ε i ; α γ ( m 1 ) , δ ˙ ( n ) ω j ; α γ ( m 1 ) , δ ˙ ( n ) D t o p ε i ; α γ ( m 1 ) , δ ˙ ( n ) ω j ; α γ ( m 1 ) , δ ˙ ( n ) λ 2 D s u b ε i ; α γ ( m 1 ) , δ ˙ ( n ) ω j ; α γ ( m 1 ) , δ ˙ ( n ) ] ) ,
δ J 2 , s α , β ˙ = m , n 2 λ 2 | m n | [ 1 ( m 1 ) ! n ! c i j D ˜ ε i ; α γ ( m 1 ) , δ ˙ ( n ) ω j ; φ γ ( m 1 ) , δ ˙ ( n ) h ˜ φ , β ˙ 1 ( m 1 ) ! n ! c i j D t o p ε i ; α γ ( m 1 ) , δ ˙ ( n ) ω j ; φ γ ( m 1 ) , δ ˙ ( n ) h ˜ φ , β ˙ λ 2 ( m 1 ) ! n ! c i j D s u b ε i ; α γ ( m 1 ) , δ ˙ ( n ) ω j ; φ γ ( m 1 ) , δ ˙ ( n ) h ˜ φ , β ˙ 1 m ! ( n 1 ) ! c i j ω i ; γ ( m ) , δ ˙ ( n 1 ) θ ˙ D ˜ ε j ; γ ( m ) , δ ˙ ( n 1 ) β ˙ h ˜ α , θ ˙ + 1 m ! ( n 1 ) ! c i j ω i ; γ ( m ) , δ ˙ ( n 1 ) θ ˙ D t o p ε j ; γ ( m ) , δ ˙ ( n 1 ) β ˙ h ˜ α , θ ˙ ] + λ 2 m ! ( n 1 ) ! c i j ω i ; γ ( m ) , δ ˙ ( n 1 ) θ ˙ D s u b ε j ; γ ( m ) , δ ˙ ( n 1 ) β ˙ h ˜ α , θ ˙ ] + 2 λ 4 2 s ( 2 s 3 ) ! c i j [ C i ; α γ ( 2 s 3 ) φ ρ H φ ρ D ˜ ε γ ( 2 s 3 ) β ˙ C i ; α γ ( 2 s 3 ) φ ρ H φ ρ D t o p ε γ ( 2 s 3 ) β ˙ C ¯ i ; δ ˙ ( 2 s 3 ) β ˙ ψ ˙ θ ˙ H ¯ ψ ˙ θ ˙ D ˜ ε α δ ˙ ( 2 s 3 ) + C ¯ i ; δ ˙ ( 2 s 3 ) β ˙ ψ ˙ θ ˙ H ¯ ψ ˙ θ ˙ D t o p ε α δ ˙ ( 2 s 3 ) ] ,
δ J 2 , s β ˙ β ˙ = D h ( m , n 4 λ 2 | m n | m ! ( n 1 ) ! c i j [ D ˜ ε i ; γ ( m ) , δ ˙ ( n 1 ) β ˙ ω j ; γ ( m ) , δ ˙ ( n 1 ) β ˙ D t o p ε i ; γ ( m ) , δ ˙ ( n 1 ) β ˙ ω j ; γ ( m ) , δ ˙ ( n 1 ) β ˙ λ 2 D s u b ε i ; γ ( m ) , δ ˙ ( n 1 ) β ˙ ω j ; γ ( m ) , δ ˙ ( n 1 ) β ˙ ] ) .
Rearranging terms in (A1), one can obtain:
δ J t , s = d H + χ ,
where χ 0 (vanishes on-shell) and d H is exact with:
H = ξ α α D h m , n 4 λ 2 | m n | ( m 1 ) ! n ! c i j ϵ i ; α γ ( m 1 ) , δ ˙ ( n ) ω j ; α γ ( m 1 ) , δ ˙ ( n ) + m , n 2 ξ α , β ˙ λ 2 | m n | ( m 1 ) ! n ! c i j ( ε i ; α γ ( m 1 ) , δ ˙ ( n ) ω j ; φ γ ( m 1 ) , δ ˙ ( n ) h ˜ φ , β ˙ + ω i ; α γ ( m 1 ) , δ ˙ ( n ) ε j ; φ γ ( m 1 ) , δ ˙ ( n ) h ˜ φ , β ˙ ) m , n 2 ξ α , β ˙ λ 2 | m n | m ! ( n 1 ) ! c i j ( ε i ; γ ( m ) , δ ˙ ( n 1 ) θ ˙ ω j ; γ ( m ) , δ ˙ ( n 1 ) β ˙ h ˜ α , θ ˙ ω i ; γ ( m ) , δ ˙ ( n 1 ) θ ˙ ε j ; γ ( m ) , δ ˙ ( n 1 ) β ˙ h ˜ α , θ ˙ ) ξ β ˙ β ˙ D h m , n 4 λ 2 | m n | m ! ( n 1 ) ! c i j ε i ; γ ( m ) , δ ˙ ( n 1 ) β ˙ ω j ; γ ( m ) , δ ˙ ( n 1 ) β ˙ .
Thus, the on-shell gauge variation of J 2 , s is exact.

References

  1. Berends, F.A.; Burgers, G.J.H.; van Dam, H. Explicit construction of conserved currents for massless fields of arbitrary spin. Nucl. Phys. B 1986, 271, 429–441. [Google Scholar] [CrossRef]
  2. Vasiliev, M.A. Higher Spin Gauge Theories: Star-Product and AdS Space. In The Many Faces of the Superworld; World Scientific Pub Co Inc.: Singapore, 1999. [Google Scholar]
  3. Anselmi, D. Higher-spin current multiplets in operator-product expansions. Class. Quantum Gravity 2000, 17, 1383–1400. [Google Scholar] [CrossRef]
  4. Konstein, S.E.; Vasiliev, M.A.; Zaikin, V.N. Conformal Higher Spin Currents in Any Dimension and AdS/CFT Correspondence. J. High Energy Phys. 2000, 2000, 018. [Google Scholar] [CrossRef]
  5. Deser, S.; Waldron, A. Stress and Strain: Tμν of Higher Spin Gauge Fields. arXiv, 2004; arXiv:hep-th/0403059. [Google Scholar]
  6. Gelfond, O.A.; Skvortsov, E.D.; Vasiliev, M.A. Higher spin conformal currents in Minkowski space. Theor. Math. Phys. 2008, 154, 294–302. [Google Scholar]
  7. Bekaert, X.; Meunier, E. Higher spin interactions with scalar matter on constant curvature spacetimes: conserved current and cubic coupling generating functions. J. High Energy Phys. 2010, 2010, 116. [Google Scholar] [CrossRef]
  8. Kaparulin, D.S.; Lyakhovich, S.L.; Sharapov, A.A. Lagrange Anchor and Characteristic Symmetries of Free Massless Fields. Symmetry Integrability Geom. Methods Appl. A 2012, 8, 021. [Google Scholar] [CrossRef]
  9. Gelfond, O.A.; Vasiliev, M.A. Conserved Higher-Spin Charges in AdS4. Phys. Lett. B 2016, 754, 187–194. [Google Scholar] [CrossRef]
  10. Landau, L.D.; Lifshitz, E.M. The Classical Theory of Fields; Addison-Wesley: Cambridge, UK, 1951. [Google Scholar]
  11. Smirnov, P.A.; Vasiliev, M.A. Gauge Non-Invariant Higher-Spin Currents in 4d Minkowski Space. Theor. Math. Phys. 2014, 181, 1509–1521. [Google Scholar]
  12. Fradkin, E.S.; Vasiliev, M.A. Cubic Interaction in Extended Theories of Massless Higher Spin Fields. Nucl. Phys. B 1987, 291, 141–171. [Google Scholar] [CrossRef]
  13. Fradkin, E.S.; Vasiliev, M.A. On the Gravitational Interaction of Massless Higher Spin Fields. Phys. Lett. B 1987, 189, 89–95. [Google Scholar] [CrossRef]
  14. Fronsdal, C. Massless Fields with Integer Spin. Phys. Rev. D 1978, 18, 3624. [Google Scholar] [CrossRef]
  15. Vasiliev, M.A. Free Massless Fields of Arbitrary Spin in the de Sitter space and Initial Data for a Higher Spin Superalgebra. Fortschr. Phys. 1987, 35, 741–770. [Google Scholar] [CrossRef]
  16. Metsaev, R.R. Massless mixed symmetry bosonic free fields in d-dimensional anti-de Sitter space-time. Phys. Lett. B 1995, 354, 78–84. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Smirnov, P.; Vasiliev, M. Gauge Non-Invariant Higher-Spin Currents in AdS4. Universe 2017, 3, 78. https://doi.org/10.3390/universe3040078

AMA Style

Smirnov P, Vasiliev M. Gauge Non-Invariant Higher-Spin Currents in AdS4. Universe. 2017; 3(4):78. https://doi.org/10.3390/universe3040078

Chicago/Turabian Style

Smirnov, Pavel, and Mikhail Vasiliev. 2017. "Gauge Non-Invariant Higher-Spin Currents in AdS4" Universe 3, no. 4: 78. https://doi.org/10.3390/universe3040078

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop