Siklos waves with torsion in 3D

Starting from the Siklos waves in general relativity with a cosmological constant, interpreted as gravitational waves on the anti-de Sitter background, a new class of exact torsion waves is constructed in the framework of three-dimensional gravity with propagating torsion. In the asymptotic limit, the geometry of torsion waves takes the anti-de Sitter form. In the sector with massless torsion modes, we found a set of asymptotic conditions that leads to the conformal asymptotic symmetry.


Introduction
Exact gravitational waves have been an important subject of investigation in general relativity (GR) from the early 1920s; for a review, see [1][2][3][4]. Most of the activity on the subject has been focused on asymptotically flat models, the solutions of GR without a cosmological constant. From 1980s, exact gravitational waves have been studied also in GR with a cosmological constant (GR Λ ) [5][6][7], see also [8]; for higher-dimensional extensions, see [9][10][11][12][13]. In particular, exact gravitational waves with an AdS asymptotic behavior attracted a lot of interest in regard to the AdS/CFT correspondence [14,15]. Moreover, some of these solutions "may serve as exact models of the propagation of primordial gravitational waves and may be relevant for the (hypothetical) cosmological wave background" [16].
To properly understand dynamical complexities of gravity, one often relies on technically simplified three-dimensional (3D) models (for a review and an extensive list of references, see [17,18]). In 3D, both GR and GR Λ are topological theories without propagating degrees of freedom, in which nontrivial wave solutions can exist only in the presence of matter sources [19][20][21]. To avoid such a degenerate situation, one is naturally motivated to study alternative gravitational models possessing true dynamical degrees of freedom. The well-known models of this type, formulated in the context of Riemannian geometry of JHEP11(2014)141 spacetime, are Topological massive gravity and New massive gravity [22][23][24]. Their dynamical properties allow for the existence of gravitational waves in vacuum; see, for instance, Ayón-Beato et al. [25].
In the early 1960s, a new approach to gravitational dynamics was proposed, based on a modern, gauge-field-theoretic approach, known as the Poincaré gauge theory (PGT) (see [26,27], for a textbook exposition of PGT, [28] for an up-to-date status of PGT, including its 3D version, and [29]) with an underlying Riemann-Cartan (RC) geometry of spacetime, characterized by both the curvature and the torsion. In a topological version of the three-dimensional PGT, gravitational waves with torsion were constructed in the presence of matter sources by Obukhov [30]. However, genuine gravitational waves are those that can propagate in spacetime regions without matter. Further investigations of the PGT, with a Lagrangian that is at most quadratic in the field strengths (quadratic PGT), revealed a rich dynamical structure, expressed, in particular, by the existence of propagating torsion modes [31]. In a recent paper [32], 1 we used quadratic PGT to construct exact torsion waves in vacuum as a generalization of the plane-fronted waves from GR.
In the present paper, we continue the investigation of genuine gravitational waves with torsion in 3D, by focusing on the anti-de Sitter (AdS) background. We found a new class of exact torsion waves in vacuum, representing a PGT extension of the Siklos waves in GR Λ [33], see also [8,16]. In the linear approximation, this class is associated to spin-2 torsion excitations around the AdS background. In the sector of massless torsion modes, we found a set of asymptotic conditions that leads to a conformal asymptotic symmetry, characterized by two independent Virasoro algebras with central charges. On the other hand, massive torsion waves show kind of an oscillatory behavior in the asymptotic region.
The paper is organized as follows. In section 2, we give an overview of the Siklos waves in the three-dimensional GR Λ . In section 3, we construct a new wave solution in PGT, taking the metric to be of the Siklos form, whereas the torsion piece of the connection is assumed to possess only the tensorial irreducible component. The solutions of the field equations are found and classified according to the values of the mass parameter µ 2 , associated to the spin-2 torsion modes. For µ 2 ≥ 0 (no tachyons), the asymptotic limit of the Siklos waves with torsion is shown to be represented by Riemannian AdS spacetimes. In section 4, we study the form of the AdS asymptotic conditions for µ 2 ≥ 0. It turns out that a well-defined asymptotic structure exists only in the massless sector. The corresponding central charges of the asymptotic symmetry are found in section 5, and section 6 is devoted to concluding remarks. Finally, two appendices contain some technical details.
Here are our conventions: the Latin indices (i, j, k, . . .) refer to the local Lorentz (co)frame and run over (+, −, 2), b i is the triad field (coframe 1-form), h i is the dual basis (frame), totally antisymmetric tensor ε ijk is normalized to ε +−2 = 1; the Greek indices (µ, ν, ρ, . . .) refer to the coordinate frame; the Lie dual of an antisymmetric form X jk is X i := −ε ijk X jk /2, the Hodge dual of a form α is α, and the exterior product of forms is implicit.

JHEP11(2014)141 2 Siklos waves
In 1980s, Siklos [33] found a special class of exact gravitational waves propagating on the AdS background, the physical interpretation of which was investigated in detail by Podolský [16]. In the Poincaré coordinates x µ = (u, v, y), the Siklos metric in 3D has the form with H = H(u, y), which is equivalent to a subclass of the Kundt metric [8,16]. The wave fronts are labeled by u = const., v is an affine parameter along the corresponding rays generated by the Killing vector field ∂ v that is null but not covariantly constant, and for H = 0 the metric reduces to the AdS background (see appendix A). We choose the triad so that the line element is given by ds 2 = η ij b i b j , with the half-null Lorentz metric The dual frame basis h i , defined by h i b j = δ j i , is given by The related Riemannian connection ω ij (1-form) can be written in a compact form as Here, prime denotes a derivative with respect to y, the first termω ij describes the background AdS geometry,ω and the second one is the radiation piece, characterized by the null vector k m := (0, 1, 0), with k m = (1, 0, 0). Next, we calculate the Riemannian curvature, whereupon the Ricci curvature (Ric) i = −h j R ij and the scalar curvature R = h i (Ric) i are found to be

JHEP11(2014)141
When the Siklos metric satisfies the vacuum field equation of GR Λ with Λ ∼ −1/ 2 , the metric function H takes a simple form: (2.5) However, this solution is trivial. Indeed, since the radiation piece of the curvature vanishes on shell, we have R ij = b i b j / 2 , and the geometry of spacetime is fixed, it has the AdS form. Nontrivial AdS waves can exist in GR Λ only in the presence of matter [19][20][21], but to have vacuum AdS waves, one has to change the gravitational dynamics. As we shall see, transition to quadratic PGT allows the existence of genuine AdS waves with torsion.

Siklos waves with torsion
Basic gravitational variables of PGT are the triad field b i and the Lorentz connection ω ij (1-forms), and the related field strengths are the torsion T i = db i +ω i m b m and the curvature Relying on PGT, we now introduce a geometric extension of the Siklos waves (2.1) to genuine Siklos waves with torsion.

Ansatz
In order to preserve the radiation nature of the Siklos metric, we assume that the form of the triad field in PGT remains the same as in eq. (2.2). Essentially the same idea can be applied also to the connection [32]: starting from the Riemannian connection (2.3), we assume that the new, RC connection is given by Geometrically, the new function K in the connection is related to the torsion: For K = 0, the torsion vanishes, and the connection becomes equivalent toω ij . The only nonvanishing irreducible component of T i is its tensorial piece (1) T i [32], so that Using the above ansatz for the connection, one can calculate the RC curvatures:

JHEP11(2014)141
The quadratic curvature invariant takes the form The only nonvanishing irreducible components of R ij are: For more details on the irreducible decomposition of the field strengths, see ref. [32].
In what follows, the specific forms of both the metric function H and the torsion function K will be determined by the PGT field equations.

Lagrangian dynamics of PGT
The PGT dynamics is described by a Lagrangian 3-form , which is assumed to be at most quadratic in the field strengths (quadratic PGT) and parity invariant. In conformity with our ansatz, the Lagrangian is chosen to have the form Indeed, the only nonvanishing irreducible components of the field strengths appearing in are the corresponding coupling constants. Then, the PGT field equations in vacuum are found to be (see section III.A of ref. [32]): These equations are checked using the Excalc package of the computer algebra system Reduce. Using the expression for (1ST ) , one finds that (2N D) can be rewritten as where λ := −1/ 2 . Finally, after introducing the notation the two field equations take a more compact form: where prime now denotes differentiation with respect toŷ . As one can see, it is the presence of torsion (K = 0) that makes the metric of the AdS wave nontrivial (ŷ H − H = 0). Equations (3.6) define a new class of Siklos waves -the Siklos waves with torsion.

Solutions
The coefficient m 2 in (2N D) is the (dimensionless) mass parameter associated to the spin-2 excitation of the torsion field around the AdS background, see [31,32]. The absence of tachyons requires m 2 ≥ 0. In this subsection, we construct the exact Sikos waves with torsion, and classify them according to the values of m 2 .
(1) m 2 > 0. The Euler (or Euler-Fuchs, Euler-Cauchy) differential equation (2N D) is solved by the ansatz K =ŷ α , which yields α 2 + m 2 = 0. For m 2 > 0, we have α = ±im, so that K =ŷ ±im = e ±im lnŷ , or equivalently, By substituting this result into (1ST ), one finds the related solution for H: (3.7b) The first two terms, which represent a solution of the homogeneous equationŷ H −H = 0, can be geometrically disregarded, as they do not influence the values of the field strengths.
In the asymptotic limitŷ → 0, the torsion and the radiation piece of the curvature, (4) R ij , vanish, as follows from the relations lim y →0ŷ Thus, the asymptotic geometry of our solution is given by the Riemannian AdS spacetime.
(2) m 2 = 0. In order to have a smooth Minkowskian limit for 2 → ∞, the condition m 2 = 0 is realized by demanding [31] a 1 − a 0 + b 6 / 2 = 0 . (3.9) As a consequence, the solution for the massless torsion wave is given by As before, one can choose D 1 = D 2 = 0 without loss of generality, so that the asymptotic limit of the solution is again given by the Riemannian AdS spacetime.
(3) m 2 < 0. Although the spin-2 torsion modes are now tachyons, we present the related exact wave solution, for the sake of completeness: The asymptotic behavior depends on the value of m.

JHEP11(2014)141 4 Asymptotic conditions
In our study of the asymptotic conditions, we assume that the topology of the spacetime manifold M is R×Σ, where R is interpreted as time, and Σ is a spatial section of spacetime, whose boundary ∂Σ is topologically a circle. The asymptotic analysis is simplified by introducing a new set of local coordinates (t, ϕ), given by u = (t+ ϕ)/ √ 2, v = (t− ϕ)/ √ 2, such that the boundary ∂Σ at y = 0 is parametrized by the angular coordinate ϕ.
As we have seen in the previous section, in the asymptotic limit y → 0, the geometry of our torsion wave is described by the Riemannian AdS spacetime. This property motivates us to examine asymptotic conditions based on the following requirements: Specific aspects of these criteria depend on the value of the mass parameter µ 2 .

Massive torsion waves
For µ 2 > 0, the characteristic functions H and K can be represented in the form where W 0 is a generic wave "oscillatory" function, In spite of this oscillatory behavior, both the torsion and the wave piece of the curvature tend to zero when y → 0.
In the matrix notation, the components of the Siklos metric (2.1) read Asymptotically, for y → 0, we have g uu ∼ W 0 /y, so that, to leading order in 1/y, g µν reduces to the AdS metricḡ µν . In the asymptotic analysis, we use O(y n W 0 ) to denote a term that is at most proportional to y n W 0 when y → 0. Thus, the Siklos metric is of the type Looking at the action of the AdS Killing vectors (appendix A) on g µν , one finds that the general requirements (a) and (b) are fulfilled by the following asymptotic configurations:

JHEP11(2014)141
where O n := O(y n W 0 ). The asymptotic form (4.2), but with O n = O(y n ), was studied earlier by Afshar et al. [34,35], in the context of Conformal Chern-Simons gravity. The asymptotic conditions (4.2) are preserved by the local translations of the form These parameters are essentially of the Brown-Henneaux type [35,36].
In the next step, one could try to extend these considerations to the variables b i and ω ij . However, a problem arises when we return to our general requirement (c). Namely, although the field strengths T i and R ij have an AdS asymptotic limit, the asymptotic behavior of b i and ω ij is determined by the function W 0 , which oscillates when y → 0. Thus, the basic dynamical variables have no asymptotic limit, and one is not able to define surface terms of the canonical generators. Thus, one cannot formulate a boundary theory, and in particular, the AdS/CFT correspondence is not well defined.

Massless torsion waves
In the sector with massless torsion modes, the form of our wave solution is displayed in eq. (3.10). As we noted before, the geometrically irrelevant term D 1 + D 2 y 2 in H can be removed by choosing D 1 = D 2 = 0, whereupon the characteristic functions H and K are of the generic form H = C 0 (y/ ) , K = C 1 + C 2 ln(y/ ) . The asymptotic geometry of the solution is described by the AdS spacetime. In this section, we discuss the asymptotic structure of the massless torsion wave (4.4). Quite generally, the wave triad (2.2) can be written in the form b i µ =b i µ + B i µ , wherē b i is the AdS triad, and the only nonvanishing component of B i µ is B − u = H/y = C 0 . Then, in accordance with the general requirements (a) and (b), we choose the following asymptotic form of the triad field: where O n := O(y n ). These conditions impose the following restriction on the local Poincaré parameters (ξ ρ , ε ij ): where θ i is the Lie dual of ε mn . As a consequence, the asymptotic parameters of local translations take the form displayed in eq. (4.3), whereas the asymptotic parameters of

JHEP11(2014)141
Lorentz rotations are found to be Next, we wish to examine whether the asymptotic behavior of the RC connection (3.1) can be made compatible with the already found form of the asymptotic Poincaré parameters. First, we introduce the Lie-dual connection ω i : The form of K implies that the asymptotic conditions on the connection should contain log terms. By combining the expression (4.7) for ω i µ with the asymptotic formulas for b ± and G = H + K, we find it suitable to assume (4.8) As it turns out, the asymptotic invariance of ω i µ , does not impose any new restriction of the asymptotic Poincaré parameters (4.3) and (4.6).
In order to clarify the interpretation of our asymptotic conditions, we wish to find the commutator algebra of the asymptotic Poincaré transformations. To do that, we note that the composition law of the asymptotic transformations, to lowest order in y, reads 9) and similarly for ε v . Then, introducing the notation , the commutator algebra of the asymptotic symmetry takes the form of two independent Virasoro algebras: The related central charges are discussed in the next section.

Canonical form of the asymptotic symmetry
In this section, we use the canonical approach to analyze the asymptotic symmetry in the massless sector, including the values of the central charges.

JHEP11(2014)141
To simplify the analysis, we follow Nester [37] in applying the first-order formulation to the quadratic PGT. In this formalism, the Lagrangian (3.4) is written in the form Here, τ i and ρ ij are new, independent variables, and V is a function quadratic in τ i and ρ ij , chosen so that, on shell, we have τ i = H i and ρ ij = H ij , where H i = ∂L G /∂T i and H ij = ∂L G /∂R ij are the covariant field momenta associated to the original Lagrangian (3.4). Explicit form of V is described in ref. [31], and it ensures the first-order formulation (5.1) to be equivalent to (3.4). Thus, the variation of L G with respect to τ i and ρ ij yields in accordance with the forms of H i and H ij defined by the Lagrangian (3.4). Asymptotic symmetries are best described in the canonical formalism. In the first order formulation of PGT, the canonical gauge generator is a functional G[ϕ, π] on the phase space, the form of which is defined in eqs. (5.7) of ref. [31]. The canonical generator acts on the phase-space variables (ϕ, π) via the Poisson (or Dirac) bracket operation, defined in terms of the functional derivatives. A functional F [ϕ, π] = d 2 xf (ϕ, ∂ α ϕ, π, ∂ α π) is differentiable (or regular) if its variation has the form δF = d 2 x [A(x)δϕ + B(x)δπ]. In order to ensure this property for our generator G, we have to improve its form by adding an appropriate surface term Γ [38]. The improved canonical generatorG := G + Γ has been calculated in appendix B; it is both finite and differentiable (well-defined).
The Poisson bracket (PB) algebra of the improved generators could be found by a direct calculation, but we rather rely on another, more instructive method. Introducing a convenient notation,G =G[ε u , ε v ] and similarly forG andG , we use the main theorem of ref. [39], which states that the PB of two well-defined generators must also be a well-defined generator, to conclude that the PB algebra has the form Here, the parameters ofG are defined by the composition law (4.9), and C is the central charge of the algebra. A simple reformulation of this formula, given by represents a powerful tool for calculating the central charge. Indeed, the previous two equations imply δ 0 Γ ≈ Γ + C .

JHEP11(2014)141
An explicit calculation based on the results of appendix B yields This result, combined with eq. (5.3a), completes the derivation of the canonical PB algebra. A more familiar form of this algebra is obtained by introducing the Fourier modes of the improved generator: Then, the canonical algebra (5.3a) takes the form of two independent Virasoro algebras with central charges, where the central charges are equal to each other: Note that the coupling constant b 6 modifies the GR Λ central charge c 0 := 3 /2G, and for b 6 < a 0 2 , the central charge c ± is positive.

Concluding remarks
In this paper, we found a new class of exact vacuum solutions of the three-dimensional PGT, the class of Siklos waves with torsion. Asymptotic geometry of these solutions is described by the Riemannian AdS spacetime. In the sector of massless torsion modes, we found a set of asymptotic conditions for which the asymptotic symmetry is described by two independent Virasoro algebras with equal central charges c ± , the values of which differ from the GR Λ result. Further studies of the massless sector might help us to clarify the role of torsion in the AdS/CFT correspondence.

JHEP11(2014)141
embedded in a 4-dimensional Minkowski space with metric η ab = (1, −1, −1, 1). The metric on H 3 has the form its isometry group is SO (2,2), and the scalar curvature is R = 6/ 2 . The space H 3 can be covered by the global coordinates (t, ρ, ϕ), u = cosh ρ cos t ,x = sinh ρ cos ϕ , v = cosh ρ sin t ,ȳ = sinh ρ sin ϕ , with t ∈ [−π, π], ρ ∈ [0, ∞), for which the metric takes the form However, since t is an angle, there are closed timelike curves in H 3 . The problem can be cured by replacing the S 1 time t ∈ [−π, π] by a new, R 1 time t ∈ (−∞, +∞), changing thereby the topology from S 1 × R 2 to R 3 . The space obtained in this way is known as the universal covering of the AdS space. According to the commonly accepted terminology, it is this space that is called the AdS space; we denote it by AdS 3 . A simple form of the AdS 3 metric is obtained in the Schwarzschild-like coordinates r = sinh ρ, t → t.
They produce a set of requirements on ξ µ , the solutions of which define a basis of six independent AdS Killing vectors ξ (m) : Turning now to the class of Siklos spacetimes (2.1), we note that it is equivalent to a subclass of Kundt spacetimes, defined by the metric

B Improving the canonical generator
In this appendix, we construct the improved gauge generator for the massless sector of our solution.
Gauge symmetries of the first-order Lagrangian (5.1) are described by the canonical gauge generator G, the form of which can be found in eqs. (5.7) of ref. [31]. To examine the differentiability of G, we start from the form of its variation: Here, the variation is performed in the set of asymptotic states, R stands for regular terms and ρ i is the Lie dual of ρ mn : Moreover, the coherently oriented volume 2-form on Σ, expressed in the new coordinates (t, ϕ, y), is normalized to d 2 x = dydϕ. Together with ε yϕ := ε tyϕ = 1, this is in accordance with the conventions used in ref. [31]. As one can see, G is not differentiable, but the problem can be corrected by going over to the improved canonical generatorG := G + Γ, where the surface term Γ is constructed so that δG = R. In the process, transition to surface integrals is performed with the help of the Stokes formula:

JHEP11(2014)141
Thus, using (B.1) and the asymptotic conditions (4.5) and (4.8), the surface term Γ in the improved generatorG ≡ G + Γ is found to have the following form: The result for Γ u is simplified with the help of the condition a 0 − b 6 / 2 − a 1 = 0, which is used in eq. (3.9) to define the massless sector of the torsion wave. The factors √ 2/ appear as an effect of the change of coordinates (t, ϕ) → (u, v) in the components of B i and Ω i .
The above construction shows thatG is differentiable provided it is finite, and the finiteness ofG follows from the finiteness of Γ ≡ Γ u + Γ v . The term Γ v is seen to be finite directly from the adopted asymptotic conditions, whereas the finiteness of Γ u depends on the validity of an additional relation: To clarify this situation, we note that the original set of the asymptotic conditions, given in eqs.