On presymplectic structures for massless higher-spin fields

A natural presymplectic structure for non-Lagrangian equations of motion governing the dynamics of free higher-spin fields in four-dimensional anti-de Sitter space is proposed. This presymplectic structure is then used to the derivation of the conserved currents associated with the relativistic invariance and to the construction of local functionals of fields that are gauge invariant on shell.


Introduction
The higher-spin (HS) gauge theories are the general-covariant fieldtheoretical models involving massless fields of spin s > 2. The nonlinear equations of motion for massless HS fields were proposed by Vasiliev in [1]. They exhibit some rather unusual properties compared to the low spins: • The equations cannot be consistently perturbed about flat space-time; the most symmetrical vacuum solution is that corresponding to the (anti-)de Sitter space with nonzero cosmological constant. • The dynamical content is given by an infinite spectrum of fields of increasing spins, admitting no finite truncation with fields of spin s > 2. • After exclusion of auxiliary fields, the interaction vertices and the gauge symmetry transformations involve arbitrary high space-time derivatives of dynamical fields. The infinite number of interacting fields together with the higher derivatives may pose some technical difficulties, but the real challenge is the non-Lagrangian form of the Vasiliev equations. It is the absence of a closed Lagrangian formulation which hampers our understanding of the quantum properties of HS theories and prompts a search for alternative quantization methods that are not rigidly bound to the Lagrangian form of dynamics. One of such methods was proposed in [2]. It is based on the concept of Lagrange structure, which may be thought of as a strong homotopy generalization of the Batalin-Vilkovisky antibracket. In [3] and [4], this quantization method was applied to the unfolded representation of the scalar field theory and to the Bargmann-Wigner equations for massless fields of spin s ≥ 1/2. Unfortunately, this approach, while general, becomes unduly cumbersome when applied to HS theories in unfolded representation.
In the present paper, an alternative method of quantizing unfolded HS dynamics is developed. It exploits the notion of covariant presymplectic structure pioneered by Crnković & Witten [5] and independently by Zuckerman [6]. An extensive historical overview of the subject and further references can be found in [7]. Specifically, we show that the free HS fields on four-dimensional anti-de Sitter space admit quite a natural presymplectic structure which is compatible with the unfolded representation of HS dynamics and generalizes the covariant presymplectic structures for low-spin theories. As is well known, every presymplectic structure gives rise to a Poisson bracket in the space of gauge invariant functionals of fields and can be quantized, in principle, by means of the deformation quantization technique. There is reason to hope that the proposed presymplectic structure admits a consistent extension to the interacting HS fields. If this is the case we get a good starting point for the covariant quantization of nonlinear HS dynamics.
The concept of covariant presymplectic structure is found to be useful in the study of some other aspects of HS dynamics, not directly related to the problem of quantization. For example, every presymplectic structure is known to provide a systematic correspondence between symmetries and conservation laws. So far such a correspondence has been established indirectly just by comparing tensor parameters entering the conserved currents and the symmetry transformations of the free HS fields. Furthermore, given a presymplectic structure, it is possible to define a local functional of fields whose stationary surface includes all the solutions to the original field equations [8,9]. It is hoped that functionals of this kind may find applications in the context of AdS/CFT correspondence [10,11,12,13].
The plan of the paper is as follows. In Sec. 2, we provide some background material on presymplectic geometry and its relation to classical mechanics. Next, in Sec. 3, we briefly discuss the covariant phase-space approach to field theory and, by way of illustration, derive the covariant presymplectic structures for various fields of low spins. There, we also define a general notion of covariant presymplectic structure for not necessarily Lagrangian field theories. In Sec. 4, we review the unfolded representation for the free HS fields on four-dimensional anti-de Sitter space. The main result of the paper is presented in Sec. 5, where we derive a covariant presymplectic structure for the free HS equations in unfolded representation. In Sec. 6, this presymplectic structure is used to define the gauge noninvariant conserved currents associated with the anti-de Sitter invariance of the free HS equations. As a byproduct this proves nontriviality of the proposed presymplectic structure. Sec. 7 is devoted to the derivation of on-shell gauge invariant functionals of HS fields. In the last Sec. 8, we summarize our results and discuss further perspectives.

Presymplectic mechanics
Let us briefly recall some basic notions of presymplectic geometry and geometrical mechanics.
By definition, a presymplectic manifold is a pair (M, Ω) consisting of a smooth manifold M endowed with a closed 2-form Ω, the presymplectic form. Denote by ker Ω the space of all vector fields V on M satisfying the equation The form Ω being closed, the space ker Ω generates an integrable distribution on M . In the case that ker Ω = 0 one speaks of the symplectic 2-form Ω and the symplectic manifold M .
A vector field X (a function f ) is called Hamiltonian if there exists a function f (a vector field X) such that In order to indicate the relationship between the Hamiltonian vector fields and functions we will write X f for X and refer to f as a Hamiltonian of the vector field X f . Note that the above correspondence f ↔ X f is far from being one-to-one. On the one hand we can add to X any vector field from ker Ω without any consequence for f , on the other it is possible to shift f by an arbitrary constant. This motivates us to consider two Hamiltonian fields as equivalent if they differ by an element from ker Ω. By definition, the space ker Ω consists of the Hamiltonian vector fields with constant Hamiltonians.
In what follows we will often identify a Hamiltonian vector X f with its equivalence class X f + ker Ω. It is easy to see that the Hamiltonian vector fields form a subalgebra X Ω (M ) in the Lie algebra of all smooth vector fields X(M ). Furthermore, ker Ω is an ideal in X Ω (M ) and we can define the quotient Lie algebra X Ω (M )/ ker Ω of "nontrivial Hamiltonian vector fields". An elementary, yet important, fact is that the action of a Hamiltonian vector field preserves the presymplectic structure. Indeed, Another simple observation is that Hamiltonian functions form a commutative algebra with respect to the point-wise multiplication: If f and g are two Hamiltonian functions, then X f g = f · X g + g · X f . The space of Hamiltonian functions can be endowed with the Poisson bracket One can easily verify that this expression is well defined and satisfies all the required properties: antisymmetry, bilinearity, the Leibniz rule, and the Jacobi identity. Denoting the Poisson algebra of Hamiltonian functions by F Ω (M ), one can also see that the map f → X f is actually a homomorphism of the Lie algebras, meaning that X {f,g} = [X f , X g ]. From the physical viewpoint, the Hamiltonian functions represent the physical observables. It follows from the definition (2.1) that each physical observable is invariant under the action of the integrable distribution ker Ω, i.e., Xf = 0 ∀X ∈ ker Ω , ∀f ∈ F Ω (M ) .
The vector fields of ker Ω play thus the role of infinitesimal gauge symmetry transformations on M and the integral leaves of the distribution ker Ω should be regarded as gauge orbits. The physical phase space is then identified with the space of gauge orbits, though the latter may not be a smooth manifold in general. According to this interpretation the physical observables are those smooth functions on M that are constant along the gauge orbits. Therefore, they can be viewed as functions on the physical phase space M ′ = M/ ker Ω and the Poisson bracket (2.3) passes through the quotient. In order to define the time evolution of physical observables one needs to specify a particular vector field X that leaves invariant the presymplectic structure, that is, The flow generated by a locally Hamiltonian vector field X defines a oneparameter group of automorphisms of the Poisson algebra F Ω (M ), provided X is complete. In case X is Hamiltonian, that is, X = X h for some h ∈ F Ω (M ), Eq. (2.5) assumes a more familiar forṁ Bringing the classical dynamics into the Hamiltonian form is usually considered as "a must" step towards quantization.

Covariant phase space
Recall that in the conventional Hamiltonian formalism the phase space of fields is identified with the space of Cauchy data to the field equations. This requires a prior splitting of physical space-time into space and time, violating thus the relativistic invariance. This drawback is avoided in the covariant approach to Hamiltonian mechanics, where the phase space of fields is identified with the space of solutions to the field equations, rather than the Cauchy data. Under certain technical assumptions, like global hyperbolicity of the underlying space-time manifold, these two spaces may be viewed as equivalent. For Lagrangian equations of motion the solution space comes equipped with a natural presymplectic structure, making the space of gauge invariant functionals of fields into a Poisson algebra.
Consider, for example, the action functional for a collection of bosonic fields φ i (x). Here φ i µ = ∂ µ φ i and integration is performed over a bounded domain V in an n-dimensional space-time manifold with local coordinates x µ . Varying the action, we get Hereafter we use the following properties of the de Rham and variational exterior differentials: The bulk term in (3.2) defines the classical equations of motion while the boundary term gives rise to a functional 1-form with Σ being a Cauchy surface. To make contact with the notation of the previous section, we denote by M the space of all solutions to the field equations (3.4). This will be considered as an infinite-dimensional submanifold in the space of all field configurations Φ. Some authors refer to Φ and M as the spaces of all and true histories, respectively. We will call M the dynamical shell or just shell. Applying the variational differential to Θ gives the functional 2-form on Φ (3.5) By construction, the 2-form Ω is δ-closed and, upon restriction to M , endows the solution space with a presymplectic structure. For simplicity we will denote the restriction Ω| M by the same symbol Ω. The functional 1-form Θ is called the presymplectic potential. An important property of the form Ω is its on-shell independence of the Cauchy surface Σ. Let Φ be the space of fields that vanish at spatial infinity together with their derivatives and let Ω Σ and Ω Σ ′ denote two presymplectic forms associated with nearby space-like hyper-surfaces Σ and Σ ′ . By Stocks' theorem where ∂V = Σ − Σ ′ . Using formulas (3.3) and the identity Here we introduced the sign "≈" meaning the equality "on shell". If there is no gauge symmetry in the theory, then the Hessian matrix is nondegenerate and one can pass directly to the Hamiltonian formalism. It can be seen that the canonical symplectic structure on the phase space of fields and conjugate momenta is essentially equivalent to the presymplectic structure (3.5). In particular, the on-shell presymplectic form Ω appears to be nondegenerate in this case and defines actually a symplectic structure. For gauge invariant action functionals (3.1) the corresponding 2-form Ω is necessarily degenerate [14], [15]. This can be seen as follows. For each solution φ ∈ M , the on-shell presymplectic structure defines an antisymmetric bilinear form Ω[δφ, δφ] on the tangent space T φ M . Let δ ζ φ be an infinitesimal gauge transformation of fields, with ζ being an arbitrary gauge parameter. Since the gauge transformations map solutions to solutions, δ ζ φ ∈ T φ M . We want to show that Ω[δφ, δ ζ φ] = 0 for all φ ∈ M and δφ ∈ T φ M . By definition, the functional Ω[δφ, δ ζ φ] is given by the integral over Σ of a smooth form depending linearly on ζ and its derivatives. This means that Ω[δφ, δ ζ φ] = 0, whenever Σ ∩ supp ζ = ∅. On the other hand, we have shown that the onshell presymplectic form does not depend on the choice of the hyper-surface Σ; and hence, Ω[δφ, δ ζ φ] must vanish for any compactly supported function ζ. In view of locality, the last fact implies that Ω[δφ, δ ζ φ] vanishes identically for arbitrary gauge parameter ζ and every infinitesimal gauge transformation corresponds to a degenerate direction for the on-shell presymplectic form Ω.
As usual one can factor out the presymplectic manifold M by the action of gauge transformations and obtain thus the physical phase space M ′ . The latter is equipped with the symplectic structure p * (Ω) given by the pull-back of the on-shell 2-form Ω with respect to the canonical projection p : M → M ′ . The physical observables, i.e., functions on M ′ , can then be identified with the gauge invariant function(al)s on Φ; in so doing, two physical observables are considered equivalent if they coincide on shell.
Let us now illustrate the general formalism above by a few well-known examples from field theory.
Example 1. (Scalar field.) The dynamics of a single scalar field ϕ in fourdimensional Minkowski space are governed by the action Varying this action functional, we get the equation of motion and the presymplectic potential: Note that only the terms with derivatives of ϕ contribute to Θ. The corresponding presymplectic structure is If we chose Σ to be a time slice x 0 = const, then the presymplectic structure takes the form The corresponding equal-time Poisson brackets of fields and velocities read This is in line with the usual Hamiltonian formalism as for the scalar fielḋ ϕ = π, where π is the canonical momentum. Thus, the on-shell presymplectic structure (3.7) is nondegenerate and coincides with the canonical one.
For the two-component spinor formalism and definition of σ-matrices see e.g. [22]. Notice that the very possibility to write the mass term implies that the components of the Majorana spinor ψ anticommute. The equations of motion and the presymplecic structure following from this action are given by For the Cauchy surface Σ : x 0 = const, the equal-time Poisson brackets of component fields are . Notice that the matrices of the presymplectic structure and Poisson brackets are purely imaginary for fermionic fields. Again, this is in harmony with the canonical formalism where the canonical momentum of the spinor field ψ α is given by π α = i(ψσ 0 ) α .
Example 3. (Gauge vector field.) The standard action functional for the free, massless, vector field A = A µ dx µ is given by The action is clearly invariant under the gauge transformations where ζ is an arbitrary scalar function. The variation of this action yields the following field equations and the presymplectic potential: Because of the gauge invariance (3.9) the corresponding presymplectic form is on-shell degenerate. Indeed, The last integral vanishes due to the zero boundary conditions for A.
Example 4. (General relativity.) In the vierbein formulation of general relativity the space-time geometry is described by a vierbein e a = e a µ dx µ and a Lorentz connection ω ab = ω ab µ dx µ , ω ab = −ω ba . The curvature tensor of the Lorentz connection has the standard form Hereafter all the Lorentz indices are raised and lowered with the help of the Minkowski metric η ab .
The Einstein-Hilbert action with cosmological term can be written as Variation with respect to the connection ω yields D µ e a ν − D ν e a µ = 0 , where D = d + ω is the Lorentz-covariant derivative. This equation allows one to express the Lorentz connection in terms of the vierbein, ω = ω(e, ∂e). Varying (3.11) with respect to e, we get e ν a R a µν b = Λe µb , where e ν a is the inverse matrix of e a ν . This equation is equivalent to the vacuum Einstein equation with cosmological term.
Using the general definition (3.5), one can find the following presymplectic form on the space of vierbeins and Lorentz connections: Notice that the cosmological term does not contribute to Ω. Besides the space-time diffeomorphisms, action (3.11) is invariant under the local Lorentz transformations with ζ ab = −ζ ba being infinitesimal gauge parameters. As a result, the presymplectic form (3.12) is necessarily degenerate on shell.
Unlike the previous example, the Einstein-Hilbert action is rather nonlinear and so is the presymplectic structure (the components of Ω depend on the vierbein field e). Linearization about a particular vacuum solution e = h, ω = w, e.g. (anti-)de Sitter one, brings the presymplectic structure (3.12) into the formΩ More examples of presymplectic structures, including those associated with the frame-like Lagrangians for massless higher-spin fields, can be found in [16].
In the following it will be convenient to work with the nonintegrated density Ω of the presymplectic form Ω. This is defined as (3.14) Here the integrand Ω = Ω (δφ, δφ) may be viewed as an antisymmetric, bidifferential operator in δφ's with coefficients depending on the derivatives of φ's and taking values in (n − 1)-forms on the space-time manifold. Another way of thinking of Ω is to interpret it as a "hybrid" differential form of type (2, n − 1), that is, a variational 2-form in the functional space Φ and a usual (n − 1)-form on the space-time manifold. This last point of view can be formalized within the concept of variational bicomplex, see e.g. [17], [18], although we will not dwell on it here. In the sequel we will refer to Ω as a presymplectic current. In order to have a one-to-one correspondence between the covariant presymplectic structures (3.14) and their currents we will identify two presymplectic currents Ω and Ω ′ if they differ by a d-exact (2, n − 1)-form, i.e., Ω ′ − Ω = dβ for some (2, n − 2)-form β. In this case we write Ω ′ ≃ Ω. Besides, we assume the space Φ to consist of fields that vanish at space infinity.
The notions of presymplectic form and presimplectic current can be extended beyond the scope of variational dynamics. Let we have given a set of (not necessarily Lagrangian) field equations for a collection of fields φ i living on an n-dimensional manifold N . Following [8], [9], we say that a (2, n − 1)-form Ω on Φ × N defines a presymplectic current compatible with equations of motion (3.15) if The form Ω is assumed to have the following appearance: ijµ1···µn−1 are given by smooth functions of fields and their derivatives up to some finite order.
The second equation in (3.16) ensures the independence of the corresponding presymplectic structure of the choice of the Cauchy surface Σ. Therefore, it induces a 2-form on the phase space of all solutions to the field equations (3.15). Then the first condition in (3.16) identifies this 2-form as a presymplectic one. This presymplectic structure gives rise to a Poisson bracket in the space of Hamiltonian (0, n − 1)-forms on Φ × N in a similar way to the finite-dimensional presymplectic manifolds of Sec. 4.2. For a more detailed discussion of the covariant phase space and the Poisson algebra of physical observables we refer the reader to [18].

Free HS fields in AdS 4
The four-dimensional anti-de Sitter space, AdS 4 , is a maximally symmetric solution to the vacuum Einstein equations with negative cosmological constant. As was first noticed by Fradkin and Vasiliev [19], [20] it is the only background geometry with maximal symmetry that admits a consistent interaction of higher-spin massless fields. In the vierbein approach the geometry of AdS 4 is described by the vierbein h a = h a µ dx µ and the compatible Lorentz connection w ab = w ab µ dx µ . All Lorentz indices are raised and lowered by the Minkowski metric η ab .
In the unfolded formulation of the free HS dynamics the massless particles of all spins in AdS 4 are described in terms of two master fields: the gauge field ω and the Weyl field C. These are given, respectively, by 1-and 0-form on AdS 4 with values in an infinite-dimensional associative algebra W , the Weyl algebra. It is the infinite-dimensionality of W which allows the master fields to accommodate the whole spectrum of spins, from zero to infinity. Since the Weyl algebra is in the core of the HS field equations, we begin with explaining of its structure. A comprehensive account of the subject can be found in [21], [22].
As a linear space the algebra W is given by formal power series in the complex variables y α ,ȳα, α,α = 1, 2, so that the general element of W reads As above we use the shorthand notation for symmetric indices, The mutually conjugate complex variables y α andȳα may viewed as components of the left-handed and right-handed Weyl spinors for the Lorentz algebra so(3, 1) ∼ sl(2, C).
The multiplication in W is given by the so-called Weyl-Moyal * -product: f (y,ȳ)g(z,z)| z=y .
Here ǫ αβ and ǫαβ are the pair of sl(2, C)-invariant tensors defined by the rule ǫ αβ = −ǫ βα , ǫ 12 = 1 , and the same for ǫαβ. All spinor indices are raised and lowered by ǫ αβ , ǫαβ and their inverse: y α = ǫ αβ y β , y α = y β ǫ βα and the same for dotted indices. The two main properties of the * -product above are associativity and unitality, meaning that One more important property of the Weyl algebra, explaining to some extent its relevance to the HS dynamics, is that the Lie algebra of internal derivations of W contains the anti-de Sitter algebra so(3, 2) ∼ sp(4) as a finite-dimensional subalgebra. This is generated by all the quadratic monomials with respect to the * -commutator. The monomials M αβ andMαβ span the Lorentz subalgebra so(3, 1) ⊂ so (3,2) and P αα correspond to the anti-de Sitter translations. Using the standard vector-spinor dictionary (see e.g. [22]) we can also pass to a more familiar basis of so(3, 2) generators labeled by the Lorentz indices: In this basis the commutation relations take the form Tensoring now the Weyl algebra W with the exterior algebra Λ = k Λ k of differential forms on AdS 4 , we arrive at the associative algebra F = Λ ⊗ W with the ⋆-product defined by the rule The ⋆-product algebra is naturally graded with respect to the form degree: We will denote the form-degree of a homogeneous element F ∈ F p by |F | = p. Geometrically, the elements of F may be viewed as differential forms with values in W : The expansion coefficients F α(m)α(n) (x, dx) are then naturally interpreted as form-valued, spin-tensor fields on AdS 4 . In accordance with the standard relationship between spin and statistics the component fields with even number of spinor indices are treated as bosons, while those with odd number of spinor indices are declared to be fermions. Associated to F is the Lie superalgebra L(F ) with the ⋆-commutator Considering the first factor in the tensor product F = Λ ⊗ W as basic ring, one can endow the algebra F with a supertrace operation Str : F → Λ and a nondegenerate inner product · | · : F ⊗ F → Λ. These are given by [21] Str(F ) = F (0, 0|x, dx) , F |G = Str(F ⋆ G) . For later use we also define the ⋆-anticommutator The background geometry of AdS 4 allows us to endow the algebra F with the Lorentz covariant differential D : F p → F p+1 . This is defined in terms of the Lorentz connection w ab as with M ab being given by (4.2). By definition, the operator D differentiates the ⋆-product by the Leibniz rule, D(F ⋆ G) = (DF ) ⋆ G + (−1) |F | F ⋆ DG ∀F, G ∈ F , but is not nilpotent; instead, we have the curvature 2-form which is proportional to the cosmological constant Λ. In the following we set Λ = −3. Besides the covariant differential and curvature, the algebra F possesses a distinguished element associated to the AdS 4 vierbein, namely, h = h a P a ∈ F 1 . The compatibility of the Lorentz connection and vierbein implies that the 1-form h is covariantly constant, that is, Now we are ready to present the free HS equations for the master fields C ∈ F 0 and ω ∈ F 1 . These read [21], [22] Dω Here we introduced the projections onto the purely holomorphic and antiholomorphic sectors of the Weyl field, together with the pair of differential operatorŝ Notice that the left hand side of the first equation in (4.8) is given by the anti-de Sitter covariant differential (4.7) of the gauge field ω.
Since the system (4.8) is linear, it decouples into an infinite set of subsystems for the particles of definite spin s = 0, 1/2, 1, . . . . In order to single out the contribution of each particular spin, it is convenient to introduce the pair of operatorsN ± = y α ∂ α ±ȳα∂α , which count the number of y's andȳ's. Then the master fields decompose into the sums The massless particle of spin s is now described by the component fields (ω(s) , C(s) ) with the understanding that ω(0) = ω(1/2) = 0 (no gauge fields for the scalar and spin-1/2 particles). Being expanded in y's andȳ's, these fields generate an infinite number of spin-tensor fields on AdS 4 : Most of these fields are auxiliary and can be in principle excluded from consideration by means of the equations of motion.
The system of field equations (4.8) is known to be non-Lagrangian. This fact can be seen as follows. First, we note that the equations (4.8) are not independent, rather they obey a set of gauge identities that follow from applying the covariant differential D to both the sides of (4.8). This property is usually referred to as the formal consistency of the HS system (no hidden integrability conditions). The space of gauge identities is naturally parameterized by the elements of F 1 ⊕ F 2 . Besides the gauge identities, the system (4.8) enjoys the obvious gauge invariance δ ζ ω = Dζ , δ ζ C = 0 , ∀ζ ∈ F 0 . (4.10) If the system (4.8) were Lagrangian then, according to the second Noether's theorem [23], there would be a one-to-one correspondence between the gauge symmetries and identities, which is not the case as F 0 = F 1 ⊕ F 2 . Furthermore, the gauge identities appear to be reducible, while the gauge symmetries (4.10) are not. The last disagreement is also impossible for Lagrangian systems. It is the non-Lagrangian nature of the free HS equations (4.8) and their nonlinear extensions, see [21], [22], which presents a real challenge to the quantization of HS theories.
Let us now explain how the system (4.8) works in the case of low spins.
Spin 0. As is seen from (4.9) no gauge fields correspond to the scalar massless particle; all the fields are accommodated in C(0) = {C α(n)α(n) } ∞ n=0 . The first term of this sequence is identified with the scalar field itself ϕ(x) = C(0, 0|x) .
This takes values in the center of the Weyl algebra. The second equation in (4.8) gives rise to an infinite chain of equations for the fields C(0) . The chain starts with the equation where D αα = σ a αα h µ a D µ and h µ a is the inverse vierbein. In fact, C αα is just the notation for the first partial derivatives of ϕ. The next equation is given by DC αα = −ih ββ C αβαβ + ih αα ϕ . Converting the world indices into the Lorentz ones by the inverse vierbein and using (4.11), one can find that this equation is equivalent to where is the d'Alembert operator on AdS 4 and the round brackets mean symmetrization of doted and undoted indices. We see that the scalar field ϕ does satisfy the Klein-Gordon equation for the massless particle on AdS 4 , while the spin-tensors C αα and C αβαβ play the role of auxiliary fields. The same mechanism works for all higher spin-tensor fields: the second equation in (4.8) can be solved for C α(n)α(n) in terms of the successive derivatives of ϕ, bringing no new constraints on the dynamical field ϕ itself. This way of formulating field dynamics trough an infinite system of the first-order equations is known as the unfolded representation [21], [22].
Spin 1/2. The massless spin-1/2 particle is described by the sequence of spin-tensor fields C(1/2) = {C α(n+1)α(n) } ∞ n=0 . As there is no gauge symmetry, the first equation in (4.8) is absent, while the second one gives an infinite chain of equations starting with The Dirac equation is a simple consequence of this one, D αα C α = 0 , cf. (3.8). All the rest equations impose no restrictions on the dynamical field ψ α = C α , just expressing the higher spin-tensors via the covariant derivatives of ψ α .

Spin 1. The gauge potential of the electromagnetic field is identified with
The gauge transformations (4.10) imply that δ ζ A = dζ for arbitrary scalar field ζ. The first equation in (4.8) just provides the standard connection between the gauge potential and the strength tensor of the electromagnetic field (4.12) From the second equation in (4.8) we then deduce that This is nothing but the spinorial version of the standard Maxwell's equations for the free electromagnetic field on the anti-de Sitter background. All the other spin-tensor fields C α(n+2)α(n) andC α(n)α(n+2) with n > 0 appear to be auxiliary and can be expressed through the successive derivatives of the strength tensor (4.12) in perfect analogy to the cases of scalar and spin-1/2 fields.
Besides, it gives the following relations between the components of the gauge and Weyl fields: The left hand sides of these equations involve the linearized curvature of the Lorenz connection plus terms proportional to the cosmological constant.
The role of these equations is twofold. First, they identify the spintensor fields C αβγδ andCαβγδ as the components of the linearized Weyl tensor associated to the curvature tensor. (This justifies the name "Weyl field" for C.) Second, they imply that the linearized Einstein's equations with cosmological constant hold for ω's.
It should be noted that equations (4.13) are consistent provided that the Weyl tensor obeys the Bianchi identities These identities are encoded by the second equation in (4.8). Again, one can see that similar to the Weyl tensor, all the higher spin-tensor fields C α(n+4)α(n) andC α(n)α(n+4) play an auxiliary role and can be consistently excluded from the theory by means of the second equation.

Presymplectic currents for free HS fields
In this section, we propose a family of covariant presymplectic structures for the non-Lagrangian field equations (4.8). Since the HS fields we are dealing with are free, it is natural to look for the presymplectic structure (3.17) whose components are independent of fields. Then the presymplectic current in question can be written schematically as where K, L, and N are some field-independent 3-forms on AdS 4 with values in bidifferential operators acting on the variational differentials of the master fields. Being field independent, the form (5.1) is automatically δ-closed and the only nontrivial condition to satisfy is the on-shell clossedness with respect to the de Rham differential d. The anti-de Sitter invariance of the form (5.1) -a necessary condition for the relativistic symmetry to survive quantization -imposes further restrictions on the structure coefficients K, L, and N . In order to facilitate the analysis of expression (5.1) we will make use of the natural grading in the field space. According to the expansion (4.1) the Weyl algebra decomposes into the direct sum W = W n,m of finitedimensional subspaces spanned by homogeneous polynomials in y's andȳ's, This bigraduation extends immediately to the space F = F n,m by setting F n,m = Λ ⊗ W n,m and one can easily see that the different homogeneous subspaces F n,m are orthogonal to each other with respect to the inner product (4.3), F |G ∝ δ m,k δ n,l ∀F ∈ F m,n , ∀G ∈ F k,l . Expanding now the master fields into homogeneous components, we can bring the HS equations (4.8) into the form Dω mn +ĥ + ω m−1,n+1 +ĥ − ω m+1,n−1 = δ m,0Ĥ+ C 0,n+2 + δ 0,nĤ− C m+2,0 , DC mn +ĥ 0 C m+1,n+1 + 2h · C m−1,n−1 = 0 , m, n = 0, 1, . . . , (5.2) where the operatorsĥ ± andĥ 0 are defined by the relationŝ The introduced operators possess the following properties: 3) The last relation is enough to check for homogeneous A and B.
Let us now introduce the following setΩ = {Ω mn } ∞ m,n=0 of complex (2, 3)-forms: ConsideringΩ as an infinite square matrix, we first observe that the matrix Ω is anti-Hermitian modulo equations of motion and d-exact forms. Namely, Then using Rel. (5.3) 1 , we find that for m > 0 Taken together with (5.5), the last equality implies that where the sign ≃ means equality modulo equations of motion and d-exact forms. Now we claim that the entries of the matrixΩ are given by on-shell closed forms. In view of the equivalence relation (5.6) it is enough to check the statement only for representatives of the equivalence classes, e.g. the forms Ω m,0 . Let us first assume that m > 0, then The last term vanishes due to the identity H αβ + ∧ Hαβ − = 0. From the general considerations of Sec. 2 we know that the forms Ω mn are gauge invariant modulo trivial ones. Furthermore, this gauge invariance is a consequence of a more general property that the gauge variations of fields belong to the kernel of the presymplectic form. The last fact can be verified directly. In terms of homogeneous components the gauge symmetry transformations (4.10) read δ ζ ω mn = Dζ mn +ĥ + ζ m−1,n+1 +ĥ − ζ m+1,n−1 , δ ζ C mn = 0 .
In particular, for spin-one fields Eq. (5.8) yields Being rewritten in the vector notation, the last expression is proportional to the presymplectic current for electromagnetic field (3.10).
For spin-two fields we get Again, one can easily verify that, up to an overall factor, this expression defines nothing but the presymplectic current for the linearized gravity (3.13). For half-integer spins it is convenient to choose the representatives of presymplectic currents on the super-diagonal of the matrixΩ, namely, Ω s = Im Ω s−1/2,s−3/2 , s = 3/2, 5/2, . . . . (5.9) The one-parameter family (5.8), (5.9) provides nontrivial presymplectic structures for massless fields of all but two spins. The presymplectic structures for the remaining two cases, s = 0, 1/2, can be read off from (3.6) and (3.8). By making use of the identifications of Sec. 4, we set One can also include these presymplectic currents into two families of on-shell closed (2, 3)-forms, namely, , Ω ′′ nm = δC n+1,m |Ĥ + δC n,m+1 . All these currents, however, appear to be trivial except when n = m = 0. Now the general presymplectic structure on the space of free HS fields can be written as Up to rescalings of fields of definite spin, ω(s) → α s ω(s) and C(s) → α s C(s) , this presymplectic structure is equivalent to one defined by the current Ω = Im δω|ĥ + δω −Ĥ + δC − + Im δC|Ĥ + δC + δC|Ĥ 0 δC .
The anti-de Sitter invariance and nontriviality of the above presymplectic structure will be proved in the next section.

Symmetries and conservation laws
As an immediate application of the covariant presymplectic structure above we are going to derive the conservation laws associated with the antide Sitter invariance of the HS equations (4.8). Since the equations are non-Lagrangian, the first Noether's theorem [23] is not directly applicable to them and the presence of global symmetries does not automatically imply the existence of the corresponding conservation laws. Actually, it is the presymplectic structure, rather than the Lagrangian itself, which enables one to convert global symmetries to conservation laws 2 . Here by a conservation law we understand a 3-form J built from the (derivatives of) dynamical fields such that dJ ≈ 0 . By virtue of (6.1) the value of Q is independent of the choice of the Cauchy surface Σ.
The global symmetries of free HS fields are known to form an infinitedimensional Lie group. Below we restrict our consideration to the subgroup of symmetries associated with the isometries of AdS 4 . These have a clear geometric interpretation and constitute a finite-dimensional subgroup, the anti-de Sitter group SO (3,2). The infinitesimal action of the anti-de Sitter group in the space of free HS fields is given by the relations

are infinitesimal parameters and
The parameters (6.3) are assumed to satisfy the condition For the derivation and explanation of these formulas we refer the reader to [25,Sec. 5], [26]. Strange as it may seem, the symmetry transformations (6.2) induced by the isometries of AdS 4 do not involve the space-time derivatives of fields. One important point to remember is that the generators of global symmetries are defined only modulo equations of motion and the unfolded form of dynamics enables the derivatives to be expressed through nondifferentiated fields. Notice also that the symmetry transformations (6.2) do not mix the fields of different spins.
Considering that D 2 = 0, Eq. (6.4) is integrable and allows one to reconstruct the function ξ(x) by its value ξ(x 0 ) at any given point x 0 of AdS 4 . We are led to conclude that there are exactly ten linearly independent solutions to Eq. (6.4). These solutions -the spin-tensors ξ's -are naturally identified with the Killing vectors of the anti-de Sitter metric. Since the operator D differentiates the ⋆-product, the solutions to Eq. (6.4) form a closed Lie algebra with respect to the ⋆-commutator, the anti-de Sitter algebra. If ξ 1 and ξ 2 are two such solutions, then [δ ξ1 , δ ξ2 ] = δ [ξ1,ξ2] .
By definition, the generators of symmetry transformations (6.2) are given by the variational vector fields that are tangent to the subspace M ⊂ Φ of solutions to the HS equations (4.8). Let us show that these vector fields are Hamiltonian relative to the presymplectic structure (5.11). This obviously the case for the fields of low spins (s ≤ 2) where the presymplectic structures come from the standard Lagrangians. By the Noether theorem the global symmetries of a Lagrangian give rise to the conserved currents. These currents are nothing but the Hamiltonians that generate the symmetry transformations through the Poisson bracket on the covariant phase space. So, without loss in generality, we can restrict ourselves to the case s > 2. For higher spins the expressions for the presymplectic structure (5.11) and the symmetry transformations (6.2) are considerably simplified. In terms of homogeneous components, the transformations of the gauge field can be written as Let us mention the following useful properties of the introduced operators: Denoting by U the variational vector field defined by the r.h.s. of equations (6.2) and using the relations above, one can check that where J s = −Im ω mn |ξ ′′ĥ + ω m−1,n+1 +ĥ +ξ ′ − ω mn −Im ω m+1,n+1 |ξ ′ +ĥ + ω m−1,n+1 (6.6) and Ξ s = Im δω mn |ξ ′ + ω m−1,n+1 . In these formulas one should put m = n = s − 1 for integer spins and m = s − 1/2, n = s − 3/2 for half-integer spins.
Rel. (6.5) implies two things. First, applying δ to both sides of the relation yields L U Ω s ≃ 0 . This means the anti-de Sitter invariance of the form Ω s . Second, acting by the exterior differential d on the left and right hand sides of (6.5), we get δdJ s ≈ 0. 3 The form J s being field-dependent, the last relation is equivalent to dJ s ≈ 0 . In other words, the Hamiltonian J s is conserved. A direct verification shows that the forms J s are nontrivial. Thus, the presymplectic structure (5.11) enables us to relate the anti-de Sitter invariance of the HS equations with the conservation laws. Up to trivial redefinitions the forms J s are seemed to coincide with some of spin-two currents obtained recently in [27]. In that paper the authors argued that the forms J s are bound to be gauge noninvariant whenever s ≥ 2. This last fact can also be seen from Rel. (6.5). In the previous section we have proved the relation where V is the vector field defining the gauge variations of fields (5.7) and Γ s is some local (1, 2)-form. Contracting (6.5) with V yields We see that, in the general case, the conserved currents J s are gauge invariant only modulo d-exact forms.
As a byproduct we have shown nontriviality of the presymplectic structure (5.11): for if it were trivial, then the conserved currents (6.6) would be trivial as well.

Weak Lagrangians
Let Ω be a presymplectic current compatible with (not necessarily Lagrangian) equations of motion (3.15). As is shown in [8,9], such a current defines a weak Lagrangian. This is given by a top form L on N built of the fields φ i and their derivatives. Regarding L as a conventional Lagrangian density, one can define the Euler-Lagrange equations δL δφ i = 0 . (7.1) The adjective 'weak' means that all solutions to (3.15) also solve (7.1). In general, the Euler-Lagrange system (7.1) is not equivalent to the original system of equations, but only to a subsystem thereof, hence the name. The form L is constructed with the help of the cohomological descent method. Assuming that the δ-cohomology is trivial 4 in positive degree, we can write the presymplectic current as Ω = δΘ for some presymplectic potential current Θ. By definition, Θ is a hybrid form of type (1, n − 1). Applying now the de Rham differential d to both sides of the last equation and taking into account (3.16), we find δdΘ ≈ 0 .
Using the acyclicity of δ once again, we conclude that there exists a (0, n− 1)form Λ such that dΘ ≈ δΛ .
Taking imaginary part, we get one more family of weak Lagrangians, L 0,n = Im L 0,n , which involves the Weyl fields. Now the most general weak Lagrangian associated with the real presymplectic currents {ImΩ mn } ∞ m,n=0 reads L = ∞ n,m=0 λ nm L nm , λ nm ∈ R .
As for the presymplectic currents (5.10), they give the standard Lagrangians for the massless scalar and spinor fields. Notice that the Lagrangians L nm belonging to one and the same spin are on-shell equivalent to each other modulo total divergence: Im Ĥ + C 0,2s |Ĥ + C 0,2s , n + m = 2s − 2 . There are strong grounds to believe that functionals of this type may be used for establishing the AdS/CFT correspondence. Usually, the role of functional S is played by the 'genuine' action of the bulk fields. If such an action is unavailable or does not exist for a given set of bulk fields, one can try to use some other local functionals that are compatible with fundamental symmetries of the model. In the context of nonlinear HS theories, a concrete proposal for the construction of an appropriate functional S has been put forward in [13].

Conclusion
Let us comment on the obtained results and further perspectives. In Sec. 5, we proposed an anti-de Sitter invariant presymplectic structure which is compatible with the unfolded representation for the free HS fields in AdS 4 . Although this presymplectic structure may not exhaust all the possibilities, it looks most natural and reproduces the standard presymplectic structures in the case of low spins. The classification of all possible presymplectic currents in the free HS theories, especially for colour multiplets, is an interesting open problem. In many respects it is similar to the classification of the usual conserved currents. The existence of gauge invariant HS currents [28] suggests that such extra presymplectic structures are likely to exist in the sector of Weyl fields. As discussed in Sec. 6, every covariant presymplectic structure establishes a specific correspondence between the global HS symmetries and the conservation laws.
Another open problem is finding a nontrivial presymplectic structure for nonlinear HS theories. The problem can be attacked in two ways. First, one can proceed perturbatively, adding quadratic vertices to the free field equations. Such vertices are now available in more or less explicit form, see [22], [29], [30]. Deformation of the free equations of motion implies a compatible deformation of the free presymplectic structure. It would be interesting to find the latter or identify obstructions to its existence. If we take this approach seriously, then the quantum correlators of fields have to involve the vertices coming from the deformed presymplectic structure in addition to those contained in the classical equations of motion. This also opens the way for the study of quantum anomalies. Second, one can start from the nonlinear Vasiliev's equations and try to find a compatible presymplectic structure. The problem here is worse than it was with the free fields as the nonlinear system involves a bigger Weyl algebra and more field equations.
One way or the other, we see that the covariant presymplectic structure offers a far more flexible approach to the study and quantization of HS theories than the conventional Lagrangian formalism.