Abstract
We consider the large class of Siklos spacetimes and investigate their relevant symmetries (homothetic and affine vector fields, Ricci, curvature, Weyl and matter collineations). We prove some general results and obtain complete classifications for homogeneous Siklos spacetimes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let (M, g) denote a Lorentzian manifold. If T is a tensor on (M, g), which codifies some either mathematical or physical quantity, a symmetry of T is a one-parameter group of diffeomorphisms of (M, g), which leaves T invariant.
Thus, a symmetry corresponds to a vector field X for which \({\mathcal {L}}_X T=0\), where \({\mathcal {L}}\) denotes the Lie derivative. For example, for \(T=g\), symmetries are isometries and the corresponding vector fields X are Killing. Homotheties and conformal motions on (M, g) are further examples of symmetries. In recent years, curvature collineations (T=R being the curvature tensor), Weyl collineations (T=W is the Weyl conformal curvature tensor) and Ricci collineations (for which T=\(\varrho \) is the Ricci tensor) have been studied. We may refer to [15] for a thorough survey and further information on symmetries. Examples of investigations of Ricci collineations in some classes of Lorentzian manifolds may be found in [9, 10, 13, 16,17,18,19,20, 31] and references therein.
Matter collineations are the symmetries of the energy-momentum tensor \(T = \varrho - \frac{1}{2}\tau g\) (with \(\tau \) denoting the scalar curvature) of a Lorentzian manifold (M, g). Both matter collineations and Ricci collineations are interesting objects to investigate, for their physical and geometric meaning respectively (see for example [11, 17]).
The purpose of this paper is to investigate symmetries within the large class of Siklos spacetimes [30]. They are solutions of Einstein field equations with an Einstein–Maxwell source. Siklos metrics appear in Petrov classification as spacetimes of type N with cosmological constant \(\Lambda < 0\) and all of them admit a null non-twisting Killing field. The general form of Siklos metrics in global coordinates \((x_1,x_2,x_3,x_4)=(v,u,x,y)\) is given by
for an arbitrary defining smooth function \(H=H(x_2,x_3,x_4)\) ([24, 30]). These metrics naturally appear in several context in Mathematical Physics and in Geometry. For example:
-
the study of the behaviour of free particles in these spacetimes led to prove that they can been interpreted as exact gravitational waves propagating in the anti-de Sitter universe [24];
-
plane-fronted waves in spacetimes were classified in [23], depending on the sign of the cosmological constant \(\Lambda \) and that (determined by the sign of some constant k) of some second-order invariant depending on the congruence of null rays. Siklos spacetimes occur in this classification as one of the two subcases with \(\Lambda <0\) and \(k=0\), and coincide with the subclass \((IV)_0\) of Kundt spacetimes;
-
all nontwisting type N solutions of Einstein’s vacuum equations, including Siklos spacetimes, were investigated in [1] and [2], obtaining a physical interpretation by analysing the equation of geodesic deviation;
-
impulsive gravitational waves propagating either in a de Sitter or an anti-de Sitter background were studied in [26]. In the latter case, they are Siklos metrics;
-
the equations of vacuum polarization for photons propagating in a general Siklos spacetime were solved in [21], in order to study the effect of one-loop vacuum polarization in the geometric optics limit.
Moreover, several particular subclasses and representatives of the class of Siklos spacetimes, are well known and their physical and geometrical properties have been investigated in literature. Such examples include, among others: Defrise spacetime [12], Kaigodorov spacetime [19], generalized Defrise spacetimes [25] (see also Remark 3.2). Ricci solitons ([4,5,6,7]) and conformal geometry [8] were studied within the class of Siklos metrics.
We may observe that this paper can also be considered as a natural prolongation of the pioneering work [30], where Killing vector fields of metrics (1.1) were completely classified.
The paper is organized in the following way. In Sect 2 we shall provide some basic information on symmetries and on Siklos metrics. In Sect. 3 we shall deduce some general conclusions concerning the symmetries of Siklos metrics. On the one hand, we prove that Siklos metrics do not admit any proper curvature collineations (in particular, neither proper homothetic nor proper affine Killing vector fields). On the other hand, we clarify the conditions ensuring the existence of Ricci and matter collineations and we establish the existence of proper Weyl collineations for all Siklos metrics. Finally, in Sect. 4 we shall focus on the subclasses of homogeneous Siklos metrics and obtain complete classifications of their symmetries. Calculations have been checked using the software Maple 16\(^{\, \copyright }\).
2 Preliminaries
2.1 Symmetries
Let (M, g) denote a Lorentzian manifold. A vector field X on M preserving its metric tensor g, the Levi–Civita connection \(\nabla \) of g, its curvature tensor R or its Ricci tensor \(\varrho \), is respectively known as a Killing vector field, an affine vector field, a curvature collineation or a Ricci collineation. A Weyl collineation is a vector field preserving the Weyl conformal curvature tensor W.
As the Levi–Civita connection and the curvature are completely determined by the metric tensor g, if a vector field X preserves g, then it also preserves \(\nabla \), R, \(\varrho \), while the converse does not hold in general. Similarly, if X preserves \(\nabla \) (respectively, R), then it also preserves R (respectively, \(\varrho \)), but not conversely. Even homothetic vector fields (i.e., vector fields X satisfying \({\mathcal {L}} _X g=\lambda g\) for some real constant \(\lambda \)) are necessarily curvature collineations (hence, in particular, Ricci collineations).
Although conditions defining curvature, Ricci and matter collineations are formally similar to the ones defining Killing or affine vector fields, the behaviours of the corresponding classes of vector fields may show some relevant differences. In particular (see for example [15, 17]), we emphasize that:
-
(a)
while Killing and affine vector fields are smooth, for any positive integer k there exist spacetimes admitting Ricci (and curvature, matter) collineations, which are \(C^k\) but not \(C^{k+1}\).
-
(b)
differently from the ones determined by Killing, homothetic and conformal vector fields, the vector space of Ricci (and curvature, matter) collineations may be infinite-dimensional. Moreover, because of the above point (a), this vector space need not be a Lie algebra: when X, Y are Ricci (curvature, matter) collineations, [X, Y] may be not differentiable.
-
(c)
two Ricci (respectively, curvature, matter) collineations that agree on an non-empty subset of M may not agree on M. In fact, differently from Killing, homothetic and conformal vector fields, they are not uniquely determined by the value of X and its covariant derivatives of any order at a point.
Remark 2.1
Restricting to smooth vector fields, the sets of Ricci, curvature, Weyl and matter collineations of a given manifold form a Lie algebra. Moreover, if \(\varrho \) (respectively, \(T=\varrho -\frac{1}{2}\tau g\)) is nondegenerate, then the Lie algebra of Ricci (respectively, matter) collineations is finite-dimensional. In fact, in such a case, \({{\tilde{g}}}=\varrho \) (respectively, \({{\tilde{g}}}=\varrho -\frac{1}{2}\tau g\)) itself is a nondegenerate metric tensor, whose Killing vector fields are exactly the Ricci (respectively, matter) collineations of g [16]. This general observation will be particularly useful in the case of Siklos metrics.
With regard to Weyl collineations, it is worthwhile to emphasize that in spite of the Weyl tensor being completely determined by the curvature, in general the classes of curvature collineations and Weyl collineations are not reducible to one another [18]. Siklos spacetimes will provide further examples of this behaviour.
2.2 Geometry of Siklos metrics
We may refer to [24] and [4] for the description of the Levi–Civita connection and curvature of Siklos metrics. We shall report here the information we shall use for the investigation of the symmetries of Siklos metrics.
Consider an arbitrary Siklos metric g, as described in (1.1) with respect to a system of global coordinates \((x_1,x_2,x_3,x_4)\). Throughout the paper, we shall use notations \(\partial _i=\frac{\partial }{\partial x_i}\), \(f_{,i} =\frac{\partial f}{\partial x_i}\), \(f_{,ij} =\frac{\partial ^2 f}{\partial x_i \partial x_j}\),... for all indices i, j, .... The Levi–Civita connection \(\nabla \) of g is completely determined by the following possibly non-vanishing components:
The possibly non-vanishing components (up to symmetries) of the Riemann–Christoffel curvature tensor R of g are then given by
and the Ricci tensor of g, defined by \(\varrho (X,Y)=\mathrm{tr}(Z\mapsto R(Z,X)Y)\), is completely described by the matrix
where \(\varrho _{ij}=\varrho ( \partial _{_i}, \partial _{_j} )\). The scalar curvature of a Siklos metric is given by \(\tau = \mathrm{tr} \varrho = 4 \Lambda \). Next, the Weyl conformal curvature tensor field W of a pseudo-Riemannian manifold \((M^n,g)\) is defined by
where \((X\wedge Y)(Z)=g( Y,Z) X-g( X,Z) Y\) and Q denotes the Ricci operator. It is well known that the vanishing of W completely characterizes (locally) conformally flat metrics in dimension greater than three. The Weyl tensor of type (0, 4) of a Siklos metric is completely determined, up to symmetries, by the following components \(W_{ijkh}\) with respect to \(\{ \partial {_i}\}\):
We now report the classification of Einstein and conformally flat Siklos metrics.
Proposition 2.2
([4, 24, 30]) For an arbitrary Siklos metric g, as described in (1.1), the following conditions are equivalent:
-
(i)
g is Einstein. More precisely, \(\varrho =\Lambda g\);
-
(ii)
g is Ricci-parallel (that is, \(\nabla \varrho =0\));
-
(iii)
the defining function \(H=H(x_2,x_3,x_4)\) satisfies the PDE
$$\begin{aligned} \frac{2}{x_3}({H}_{,3})- {H}_{,33} - {H}_{,44} =0. \end{aligned}$$(2.6)
Whenever H does not satisfy (2.6), a Siklos spacetime (being not Ricci-parallel) is not locally symmetric, and its Ricci operator is of Segre type [(11, 2)], having an eigenvalue of multiplicity four associated to a three-dimensional eigenspace.
Proposition 2.3
([4, 5, 27]) A Siklos metric g, as described in (1.1), is locally conformally flat if and only if the defining function \(H=H(x_2,x_3,x_4)\) satisfies the system of PDEs
that is, when H is explicitly given by
where T, L, M, N are arbitrary smooth functions.
Remark 2.4
Explicit form (2.8) for conformally flat Siklos metric was first obtained in [27], where it was also shown how to obtain these examples from the general description of all conformally flat Kundt spacetimes with a cosmological constant, which are either vacuum or contain pure radiation, as described in [23]. We may refer to [14, Section 18.3.3] and references therein for a comprehensive description of conformally flat Kundt solutions.
If H satisfies both conditions (2.6) and (2.7), the general form of the solution is
and the corresponding Siklos metric is isometric to the anti-de Sitter space [30].
3 General results on the symmetries of Siklos metrics
As we recalled in the previous Section, some kinds of symmetries need not be of class \(C^{\infty }\), and this also implies that they do not necessarily form a Lie algebra. For this reason, when investigating the symmetries of a given metric, it is customary to restrict to smooth symmetries, which always form a Lie algebra.
The strongest symmetries of Siklos metrics are well known. In fact, as proved in [4, Proposition 2.1], Siklos spacetimes never admit any parallel vector field, while Killing vector fields of Siklos metrics were classified by Siklos in the original paper [30]. We now prove the following general non-existence result for some more general symmetries.
Theorem 3.1
A Siklos metric g, as described by (1.1) for some defining function H, does not admit neither proper homothetic vector fields, proper affine vector fields, nor proper curvature collineations.
Proof
Consider the global coordinates \((x_1,x_2,x_3,x_4)\) used in (1.1) to describe Siklos metrics. Let \(X=X^i \partial _{i}\) denote an arbitrary vector field, where \(X^i=X^i(x_1,x_2,x_3,x_4), \ i=1,\dots ,4\), are smooth functions. We use (2.1) to calculate the components \(({\mathcal {L}}_X g)_{ij}=({\mathcal {L}}_X g){(\partial _{i} ,\partial _{j})}, i\le j =1,\dots ,4\), of the Lie derivative \({\mathcal {L}}_X g\). Explicitly, we get
Suppose now that X is a homothetic vector field, that is, \({\mathcal {L}}_X g = \lambda g\) for some real constant \(\lambda \). We shall prove that necessarily \(\lambda =0\), so that no proper homothetic vector fields occur, as a homothetic vector field is indeed Killing.
By (3.1) and (1.1) we get that in terms of components, \({\mathcal {L}}_X g = \lambda g\) is equivalent to the following system of ten PDEs:
By integration, the first equation in (3.2) yields
for some smooth function \(F^2\). Substituting into the third and fourth equations of (3.2) and integrating, we obtain
The ninth equation of (3.2) then becomes
for all values of \(x_1\). In particular, \({{F^2}}_{,34} = 0\) and so, by integration we have
From the eighth equation of (3.2) we then get
for all values of \(x_1\). In particular, \(2F^3 -2x_3({F^3}_{,3}) +\lambda x_3=0\) whence, integrating,
for a smooth function \(G^3\). The ninth equation in (3.2) then reduces to
whose integral is given by
We now substitute all the above expressions into the last equation of (3.2), which becomes
Since the above equation must hold for all values of \(x_1\), in particular it yields
for all values of \(x_3\), so that necessarily \(\lambda =0\). Therefore, X is a Killing vector field.
A similar argument applies to the case of curvature collineations of Siklos metrics. Starting from (2.2), we find that if X is a curvature collineation, then its components \(X^i\) satisfy the following system of PDEs:
In order to simplify the above system, we used its simpler equations into the other ones. In this way, we reduced the above system to the following equivalent system, which contains just ten PDEs:
It is now easily seen that system (3.3) is equivalent to (3.2) with \(\lambda =0\), that is, a curvature collineation is necessarily a Killing vector field. So, no proper curvature collineations occur. In particular, there are not any proper affine vector fields. \(\square \)
Because of Theorem 3.1, we need to focus on Ricci, matter and Weyl collineations of Siklos metrics. We start reporting the classification of Siklos metrics admitting additional Killing vector fields, as they will play an essential role in the study of Ricci and matter collineations.
All Siklos metrics admit at least one Killing vector field. With respect to coordinates \((x_1,x_2,x_3,x_4)\) we used in (1.1), this Killing vector field is given by
Some subclasses of Siklos metrics do admit some additional Killing vector fields, as reported in the following Table 1, where we also specified the Einstein and conformally flat cases in these subclasses. In Table I, \(A(x_i)\) is an arbitrary function of the specified variables, \(\alpha \) is an integer, \(\beta \) is a real parameter, \(A_{\alpha } (x_i)\) represents a homogeneous function of degree \(\alpha \) and \(K_2,..,K_8\) are the following vector fields:
Remark 3.2
Some of the cases listed in Table I are well known solutions of Einstein fields equations and have been previously studied in literature. In particular:
-
Case \(\mathbf{11)}\) with \(k=3/2\) is Kaigorodov spacetime [19], which is the only homogeneous type-N solution of the Einstein vacuum field equations with \(\Lambda \ne 0\);
-
Case \(\mathbf{11)}\) with \(k=2\) is Ozsváth’s homogeneous solution to Einstein-Maxwell equations [22].
-
Case \(\mathbf{12)}\) is Defrise spacetime [12], a pure radiation solution of Petrov type N with a \(G_6\) isometry group;
-
Generalized Defrise spacetimes [25] are a generalization of case \(\mathbf{12)}\), where the defining function is given by \(H=d(x_2)/x_3^2\), for an arbitrary bounded function d. As such, they form a special subclass of case \(\mathbf{4)}\) ;
Siklos metrics corresponding to cases \(\mathbf{7)}\)-\(\mathbf{12)}\) in Table I admit at least four Killing vector fields and so, these cases identify the subclasses of homogeneous Siklos spacetimes. As already observed in [30], one excludes in the above Table I the case of the Anti-de Sitter space, whose Killing vector fields (and, more in general, symmetries) are well known.
We now turn our attention to Ricci collineations. We already observed (Remark 2.1) that when the Ricci tensor of a pseudo-Riemannian metric g is nondegenerate, the Ricci tensor itself is a metric tensor, whose Killing vector fields are nothing but the Ricci collineations of g. Therefore, in such a case, the (smooth) Ricci collineations of g necessarily form a finite-dimensional Lie algebra.
In the case of Siklos metrics, comparing (1.1) with (2.3), it is easily seen that the Ricci tensor \(\varrho \) of a Siklos metric g is homothetic to a Siklos metric, that is, it is yet another Siklos metric up to scaling. In fact, \(\bar{g}=\frac{1}{\Lambda } \varrho \) is the Siklos metric described as in (1.1) by the defining function
As two metrics homothetic to one another have the same Killing vector fields, this fact has some relevant consequences:
-
the cases where proper Ricci collineations exist are completely identified, for arbitrary Siklos metrics and in each of subclasses \(\mathbf{1)}\)-\(\mathbf{12)}\), by some suitable PDE, which further restricts the subclass for the metric determined by the Ricci tensor. For example:
-
(1)
for H arbitrary (and so, with the Lie algebra of Killing vector fields spanned by \(K_1\)), the Lie algebra of Ricci collineations is spanned by \(\{ K_1,K_3,K_4,K_5,K_{6,-2},K_7 \}\) if and only if \({{\bar{H}}}\) belongs to subclass \(\mathbf{12)}\), that is, by (3.4), when H is a solution of the PDE
$$\begin{aligned} H-\frac{1}{3} x_3({H}_{,3})+\frac{1}{6} x_3^2 \left( {H}_{,33} +{H}_{,44} \right) = \pm \frac{1}{x_3^{2}}. \end{aligned}$$ -
(2)
If g belongs to subclass \(\mathbf{7)}\), then the Lie algebra of its Killing vector fields is spanned by \(\{ K_1,K_3,K_4,K_5 \}\). In this case, the Lie algebra of Ricci collineations is spanned by \(\{ K_1,K_3,K_4,K_5,K_{6,-2},K_7 \}\) if and only if \(H=A(x_3)\) is a solution of
$$\begin{aligned} A -\frac{1}{3} x_3 A' +\frac{1}{6} x_3^2 A'' = \varepsilon \frac{1}{x_3^{2}}, \qquad \varepsilon = \pm 1, \end{aligned}$$whose explicit solutions are
$$\begin{aligned} H=A(x_3)=c_1 x_3^{3/2} \cos \left( \frac{\sqrt{15}}{2} \ln x_3\right) +c_2 x_3^{3/2} \sin \left( \frac{\sqrt{15}}{2} \ln x_3\right) + \frac{3 \varepsilon }{8 x_3^2} . \end{aligned}$$
-
(1)
-
when H is “generic”, that is, unless H satisfies some PDE forcing \({{\bar{H}}}\) to belong to a subclass where more Killing vector fields occur, the Lie algebra of Ricci collineations of g coincides with the one of its Killing vector fields. Observe that in such a general case, by the inclusions we recalled in Sect. 1, all Lie algebras of Killing, homothetic and affine vector fields, curvature and Ricci collineations coincide.
A very similar argument applies to matter collineations. In fact, denoted by \(T=\varrho - \frac{1}{2}\tau g\) the energy-momentum tensor of a Siklos spacetime (M, g) and recalling that \(\tau =4 \Lambda \), one has that \({{\hat{g}}}=-\frac{1}{\Lambda } T=-\frac{1}{\Lambda } \varrho + 2g\) is the Siklos metric described by (1.1) with the defining function
The above arguments lead to the following.
Theorem 3.3
Let g denote a Siklos metric, as described by (1.1) for some defining function H. Then, its Ricci tensor \(\varrho \) is homothetic to the Siklos metric \({{\bar{g}}}\) described by (1.1) with defining function \({{\bar{H}}}\) given by (3.4).
Consequently, g does not admit proper Ricci collineations (and so, neither proper homothetic and affine vector fields and curvature collineations), unless H satisfies some PDE, ensuring that \(\bar{H}\) belongs to a subclass of Siklos metrics for which more Killing vector fields occur (see Table I). In any case, the Lie algebra of (smooth) Ricci collineations of any Siklos metric is finite-dimensional.
In the same way, the energy-momentum tensor T of a Siklos metric g, described by (1.1) for some defining function H, is homothetic to another Siklos metric \({{\hat{g}}}\), described by (1.1) with defining function \({{\hat{H}}}\) given by (3.5). Therefore, g does not admit proper matter collineations, unless H satisfies a suitable PDE, so that \({{\hat{H}}}\) belongs to a subclass of Siklos metrics, for which more Killing vector fields occur. In any case, the Lie algebra of (smooth) matter collineations of any Siklos metric is finite-dimensional.
Remark 3.4
(Ricci iterations) Starting from a given metric \(g=g_1\) on a manifold M, a Ricci iteration is a sequence of metrics \(\{g_i \}_{i \in {\mathbb {N}}}\), such that \(\varrho _{i+1}=g_i\) for all indices i. Ricci iteration is a discrete analogue of the Ricci flow and may be interpreted as a dynamical system on the space of metrics on M.
Ancient Ricci iterations are sequences of metrics \(g_1, g_0,g_{-1},...\), satisfying
These notions were first introduced with reference to Kähler metrics [29] and then considered in Riemannian settings, with particular regard to homogeneous spaces ([3, 28]). It is essential that the iteration preserves the signature of the metric, which makes Ricci iterations a quite rare phenomenon. In [28], existence of Ricci iterations of Riemannian homogeneous spaces was proved starting from dimension six. Our results on Siklos metrics show the existence of Ricci iterations in dimension four in Lorentzian settings, as this is the case for all Siklos metrics. In fact, we have the following.
Proposition 3.5
Ricci iterations and ancient Ricci iterations exist for all Siklos metrics. Admitting the possibility of scaling the metrics (which does not affect their Ricci tensors), the class of Siklos metrics is closed with respect to Ricci iterations.
It will be interesting to investigate convergence properties of Ricci and ancient Ricci iterations of Siklos metrics.
We conclude this section with a general result concerning Weyl collineations of Siklos metrics. For the general form of Siklos metrics as described in (1.1), by (2.5) we deduce that a smooth vector field \(X = X^i \partial _i\) is a Weyl collineation if and only if its components \(X^i\) satisfy the following system of PDEs:
In particular, as the equations of the above system do not involve the component \(X^1\), it follows at once that vector fields \(X=X^1\partial _{1}\) are Weyl collineations for any arbitrary smooth function \(X^1=X^1(x_1,x_2,x_3,x_4)\). (It is easily seen that \(X=X^1\partial _{1}\) is a Ricci collineation if and only if \(X^1\) is a constant, that is, exactly when \(X=c_1 \partial _{1}\) is a Killing vector field). Therefore, we have the following.
Theorem 3.6
For any defining function \(H=H(x_2,x_3,x_4)\), the corresponding Siklos metric g, as described by (1.1), admits as Weyl collineations all vector fields of the form \(X=X^1\partial _{1}\), for any smooth function \(X^1=X^1(x_1,x_2,x_3,x_4)\).
Consequently, the Lie algebra of smooth Weyl collineations of any Siklos metric is infinite-dimensional.
4 Symmetries of homogeneous Siklos metrics
We shall now focus on the different classes of homogeneous Siklos spacetimes, corresponding to Cases 7)-12) in Table I. As we already wrote, we shall always exclude the trivial case corresponding to Siklos metrics isometric to the anti-de Sitter space. We shall apply Theorem 3.3 to identify, for each Case, Siklos metrics admitting some proper Ricci and matter collineations.
Case 7): \(H=A(x_3)\). In this case, Eq. (3.4) yields that the Ricci tensor of Siklos metric g is (up to scaling) the Siklos metric \({{\bar{g}}}=\frac{1}{\Lambda } \varrho \), of the form (1.1) for the defining function
Taking into account Table I, we see that g admits some proper Ricci collineations when \({{\bar{H}}}\) is of type either 11) or 12), that is, when \(A(x_3)\) satisfies the following PDE:
which by integration yields
For the defining function \(A(x_3)\) of the form (4.1), the Lie algebra of Ricci collineations of g corresponds to the Lie algebra of Killing vector fields of type 11) when \(\alpha \ne -2\) and of type 12) for \(\alpha = -2\).
With regard to matter collineations, if \(H=A(x_3)\), from (3.5) we get that the energy-momentum tensor of Siklos metric g is (up to scaling) the Siklos metric \({{\hat{g}}}=-\frac{1}{\Lambda } T\), of the form (1.1) for the defining function
Then, g admits some proper matter collineations when \({{\hat{H}}}\) is of type either 11) or 12), that is, when A satisfies
whence we get
Thus, we proved the following.
Theorem 4.1
Let g denote a Siklos metric described by (1.1) for a defining function \(H=A (x_3)\) as in type 7). Then:
-
g admits proper Ricci collineations if and only if A is of the form (4.1). In this case, the Lie algebra of Ricci collineations of g coincides with the Lie algebra of Killing vector fields of type 11) when \(\alpha \ne -2\) and of type 12) for \(\alpha = -2\).
-
g admits proper matter collineations if and only if A is of the form (4.2). In this case, matter collineations of g correspond to Killing vector fields of type either 11) or 12), depending on the value of \(\alpha \).
Finally, for \(H=A(x_3)\), \(X=X^i \partial _i\) is a Weyl collineation if and only if the following system of PDEs is satisfied:
When \(A''=0\), by Proposition 2.3 we have that g is conformally flat, so indeed any vector field is, trivially, a Weyl collineation. For A generic, the general solution of the system above is given by \(X=X^1\partial _{1}+k\partial _{2}+f(x_2)\partial _{4}\), where k is a real constant and \(f(x_2)\) is an arbitrary smooth function. So, we proved the following.
Proposition 4.2
Let g denote a Siklos metric described by (1.1) for a defining function \(H=A (x_3)\) as in type 7). For A generic, \(X=X^i \partial _i\) is a Weyl collineation if and only if \(X=X^1\partial _{1}+c_1\partial _{2}+f(x_2)\partial _{4}\), where \(X^1\) is arbitrary, \(c_1\) is a real constant and \(f(x_2)\) is an arbitrary smooth function.
Case 8): \(H=A(x_2)x_3^2\). Equation (3.4) now implies that the Ricci tensor of Siklos metric g is (up to scaling) the Siklos metric \({{\bar{g}}}=\frac{1}{\Lambda } \varrho \), of the form (1.1) for the defining function
Clearly, being \({{\bar{H}}}\) of the same form of H, in general no proper Ricci collineations occur. By Table I we see that g admits some proper Ricci collineations only in the very special case where \({{\bar{H}}}\) is of type either 11) or 12), that is, when
whence, necessarily \(\alpha =2\) and \(A(x_2)= \pm \frac{3}{2}\), that is,
But then, g is homothetic to type 11) with \(\alpha =2\).
From (3.5) we find that the energy-momentum tensor of Siklos metric g defined by \(H=A(x_2)x_3^2\) is (up to scaling) the Siklos metric \({{\hat{g}}}=-\frac{1}{\Lambda } T\), of the form (1.1) for the defining function
Then, g admits some proper matter collineations if and only if \(-\frac{4}{3} x_3^2 A(x_2)=\pm x_3^{\alpha }\), whence, \(\alpha =2\) and \(A(x_2)= \pm \frac{3}{4}\), that is,
In this way, we proved the following.
Theorem 4.3
Siklos metrics g described by (1.1) for a defining function \(H=x_3^2 A(x_2)\) as in type 8):
-
do not admit proper Ricci collineations;
-
do not admit proper matter collineations.
Finally, for \(H=x_3^2A(x_2)\), \(X=X^i \partial _i\) is a Weyl collineation if and only if
Integrating the above system, we prove the following.
Proposition 4.4
Let g denote a Siklos metric described by (1.1) for a defining function \(H=A (x_3)\) as in type 8). For A generic, \(X=X^i \partial _i\) is a Weyl collineation if and only if
where \(X^1\) is arbitrary, \(c_1\) is a real constant and \(f_i(x_2),i=1,2,3\), are arbitrary smooth functions.
Case 9) \(H=x_2^{-2\beta -2} \, A(x_2^{\beta } x_3)\). By (3.4) we now get that the Ricci tensor of Siklos metric g is (up to scaling) the Siklos metric \({{\bar{g}}}=\frac{1}{\Lambda } \varrho \), of the form (1.1) for the defining function
Observe that \({{\bar{H}}}\) is still of the same type of H. In fact,
Thus, in general no proper Ricci collineations occur. Taking into account Table I, g admits some proper Ricci collineations only in the very special case where \({{\bar{H}}}\) is of type either 11) or 12), that is, for
whence,
which necessarily implies that \(\frac{2\beta +2}{\alpha }=\beta \), that is, \(\alpha =\frac{2\beta +2}{\beta }\) and, setting \(t=x_2^{\beta } x_3\), \(A(t)=A (x_2^{\beta } x_3)\) satisfies
Integrating the above equation, we get
The Lie algebra of Ricci collineations of g coincides then with the Lie algebra of Killing vector fields of type either 11) or 12), with \(\alpha =\frac{2\beta +2}{\beta }\).
Next, the energy-momentum tensor of Siklos metric g defined by \(H=x_2^{-2\beta -2} \, A(x_2^{\beta } x_3)\) is (up to scaling) the Siklos metric \({{\hat{g}}}=-\frac{1}{\Lambda } T\), of the form (1.1) for the defining function
Note that
Thus, in general no proper matter collineations occur. Indeed, g admits some proper matter collineations only in the very special case where \({{\hat{H}}}\) is of type either 11) or 12), that is, when
and so,
whence, \(\frac{2\beta +2}{\alpha }=\beta \), that is, \(\alpha =\frac{2\beta +2}{\beta }\) and, setting \(t=x_2^{\beta } x_3\), \(A(t)=A (x_2^{\beta } x_3)\) satisfies
By integration we conclude that
Matter collineations of g then coincide with Killing vector fields of type either 11) or 12) with \(\alpha =\frac{2\beta +2}{\beta }\).
In this way, we proved the following.
Theorem 4.5
Let g denote a Siklos metric described by (1.1) for a defining function \(H=x_2^{-2\beta -2} \, A(x_2^{\beta } x_3)\) as in type 9). Then:
-
g admits proper Ricci collineations if and only if A is of the form (4.5). In this case, the Lie algebra of Ricci collineations of g coincides with the Lie algebra of Killing vector fields of type either 11) or 12) with \(\alpha =\frac{2\beta +2}{\beta }\).
-
g admits proper matter collineations if and only if A is of the form (4.6). In this case, matter collineations of g correspond to Killing vector fields of type either 11) or 12) with \(\alpha =\frac{2\beta +2}{\beta }\).
Finally, for \(H=x_2^{-2\beta -2} \, A(x_2^{\beta } x_3)\), \(X=X^i \partial _i\) is a Weyl collineation if and only if
In the general case, that is, assuming \(A'' \ne 0\), by integration we obtain the following.
Proposition 4.6
Let g denote a Siklos metric described by (1.1) for a defining function \(H=x_2^{-2\beta -2}A(x_2^\beta x_3)\) as in type 9). For A generic, \(X=X^i \partial _i\) is a Weyl collineation if and only if
where \(X^1\) is arbitrary, \(c_1\) is a real constant and \(f(x_2)\) is an arbitrary smooth function.
Case 10:) \(H=A_{-2}(x_3,x_4)\). This case is more difficult to handle, as being \(H=A_{-2}(x_3,x_4)\) homogeneous of degree \(-2\) does not provide an explicit general description of H. To treat this case, we start with the more general case of a smooth function \(H=A(x_3,x_4)\), before using the fact that by the well known properties of homogeneous functions, \(A_{-2}(x_3,x_4)\) must satisfy the equation
When \(H=A(x_3,x_4)\), Eq. (3.4) yields that the Ricci tensor of Siklos metric g is (up to scaling) the Siklos metric \({{\bar{g}}}=\frac{1}{\Lambda } \varrho \), of the form (1.1) for the defining function
Observe that if A is homogeneous of order \(-2\), so is \({{\bar{H}}}\). Thus, this does not yield further restrictions on the defining function.
Taking into account Table I, we see that g admits some proper Ricci collineations when \({{\bar{H}}}\) is of type either 11) or 12). Indeed, since A will have to be homogeneous of order \(-2\), the only possibility is that \({{\bar{H}}}\) is of type 12).
The PDE
yields the general solution of the form
where \(f_3\) is a function which we omit to write for sake of brevity, and \(f_1,f_2\) are determined as solutions of the ODEs
for some real constant \(c_1\). This general solution is compatible with \(A(x_3,x_4)\) being homogeneous of order \(-2\) only when \(A(x_3,x_4)=\pm \frac{3}{8x_3^2}\). But then, g is homothetic to type 12).
A similar argument applies to matter collineations. If \(H=A(x_3,x_4)\), (3.5) yields that the energy-momentum tensor of Siklos metric g is (up to scaling) the Siklos metric \({{\hat{g}}}=-\frac{1}{\Lambda } T\), of the form (1.1) for the defining function
Then, g admits some proper Ricci collineations when \({{\hat{H}}}\) is of type 12), taking into account that A is homogeneous of order \(-2\). Integrating the PDE
yields an explicit solution, which is compatible with \(A(x_3,x_4)\) being homogeneous of order \(-2\) only when \(A(x_3,x_4)=\pm \frac{3}{2x_3^2}\), which is again homothetic to case 12). Thus, we proved the following.
Theorem 4.7
Siklos metrics g described by (1.1) for a defining homogeneous function \(H=A_{-2}(x_3,x_4)\) as in type 10):
-
do not admit proper Ricci collineations;
-
do not admit proper matter collineations.
Due to the complexity of this case, We were not able to classify in full generality Weyl collineations for Siklos metrics of this type. Restricting to the case where \(H=A_{-2}(x_3,x_4)\) is a polynomial homogeneous function of degree \(-2\), that is, \(H=A_{-2}(x_3,x_4)=\frac{k_1}{x_3^2}+\frac{k_2}{x_3 x_4}+\frac{k_3}{x_4^2}\), we find by a direct calculation, starting from Eq. (3.6), that \(X=X^i \partial _i\) is a Weyl collineation if and only if
where \(X^1\) is arbitrary and \(f(x_2)\) is an arbitrary smooth function.
Cases 11-12) \(H= \pm x_3^{\alpha }\). To exclude trivial cases, we shall assume \(\alpha \ne 0\) (and also \(\alpha \ne 1\) for the Weyl collineations). In this case, it follows from Eq. (3.4) that the Ricci tensor of Siklos metric g is (up to scaling) the Siklos metric \({{\bar{g}}}=\frac{1}{\Lambda } \varrho \), of the form (1.1) for the defining function
Thus, no proper Ricci collineations occur. Indeed, in order to have proper Ricci collineations, we should have
But then, \(\alpha =-2\), so that we are already in case 12), and Killing vector fields and Ricci collineations coincide.
A similar argument holds for matter collineations. If \(H=\pm x_3^\alpha \), then (3.5) yields that the energy-momentum tensor of Siklos metric g is (up to scaling) the Siklos metric \({{\hat{g}}}=-\frac{1}{\Lambda } T\), of the form (1.1) for the defining function
and no proper Ricci collineations occur, because in that case one should have
so that \(\alpha =-2\) and we are already in case 12).
Thus, we proved the following.
Theorem 4.8
A Siklos metric g, described by (1.1) for a defining function \(H=\pm x_3^\alpha \) as in types 11),12),
-
does not admit proper Ricci collineations.
-
does not admit proper matter collineations.
Finally, for \(H=\pm x_3^\alpha \), \(X=X^i \partial _i\) is a Weyl collineation if and only if
Excluding the trivial cases \(\alpha =0,1\), by integration of the above system a straightforward calculation leads to the following.
Proposition 4.9
Let g denote a Siklos metric described by (1.1) for a defining function \(H=\pm x_3^{\alpha }\), as in types 11),12). \(X=X^i \partial _i\) is a Weyl collineation if and only if
where \(c_1\) is an arbitrary constant, \(X^1\) and \(f_i(x_2),i=1,2,3\) are arbitrary smooth functions.
Data Availibility
All data generated or analysed during this study are included in this published article.
References
Bičák, J., Podolský, J.: Gravitational waves in vacuum spacetimes with cosmological constant. I. Classification and geometrical properties of nontwisting type \(N\) solutions. J. Math. Phys. 40, 4495–4505 (1999)
Bičák, J., Podolský, J.: Gravitational waves in vacuum spacetimes with cosmological constant. II. Deviation of geodesics and interpretation of nontwisting type solutions. J. Math. Phys. 40, 4506–4517 (1999)
Buttsworth, T., Pulemotov, A., Rubinstein, Y.A., Ziller, W.: On the Ricci iteration for homogeneous metrics on spheres and projective spaces. Transf. Groups 26, 145–164 (2021)
Calvaruso, G.: Siklos spacetimes as homogeneous Ricci solitons. Class. Quantum Grav. 36, 095011 (2019). (13pp)
Calvaruso, G.: Conformally flat Siklos metrics are Ricci solitons. Axioms 9, 64 (2020). (13pp)
Calvaruso, G.: Solutions of the Ricci soliton equation for a large class of Siklos spacetimes. Int. J. Geom. Meth. Mod. Phys. 18, 2150052 (2021). (19pp)
Calvaruso, G.: The Ricci soliton equation for homogeneous Siklos spacetimes. Note Mat. 41, 31–44 (2021)
Calvaruso, G., Zaeim, A.: The Bach-flat and conformally Einstein equations for Siklos spacetimes, submitted
Calvino-Louzao, E., Seoane-Bascoy, J., Vazquez-Abal, M.E., Vazquez-Lorenzo, R.: Invariant Ricci collineations on three-dimensional Lie groups. J. Geom. Phys. 96, 59–71 (2015)
Camci, U., Hussain, I., Kucukakca, Y.: Curvature and Weyl collineations of Bianchi type V spacetimes. J. Geom. Phys. 59, 1476–1484 (2009)
Carot, J., da Costa, J., Vaz, E.G.L.R.: Matter collineations: the inverse “symmetry inheritance’’ problem. J. Math. Phys. 35, 4832 (1994). (7 pp)
Defrise, L.: Groupes d’isotropie et groupes de stabilité conforme dans les espaces lorentziens, Thesis, Université Libre de Bruxelles
Flores, J.L., Parra, Y., Percoco, U.: On the general structure of Ricci collineations for type B warped spacetime. J. Math. Phys. 45, 3546–3557 (2004)
Griffiths, J.B., Podolský, J.: Exact space-times in Einstein’s general relativity. Cambridge University Press, Cambridge (2009)
Hall, G.: Symmetries and curvature structure in general relativity, World Sci. Lect. Notes in Physics, vol. 46, (2004)
Hall, G.: Symmetries of the curvature, Weyl and projective tensors on \(4\)-dimensional Lorentz manifolds, Proceedings of the International Conference Differential Geometry Dynamical Systems 2007, 89–98, BSG Proc., 15, Geom. Balkan Press, Bucharest, (2008)
Hall, G., Roy, I., Vaz, E.G.L.R.: Ricci and matter collineations in space-time. General Relat. Gravit. 28, 299–310 (1996)
Hussain, I., Qadir, A., Saifullah, K.: Weyl collineations that are not curvature collineations. Int. J. Modern Phys. D 14, 1431–1437 (2005)
Kaigorodov, V.R.: Einstein Spaces of Maximum Mobility. Sov. Phys. Dok. 7, 893–895 (1963)
Kuhnel, W., Rademacher, H.-B.: Conformal Ricci collineations of space-times. Gen. Relativity Gravitation 33, 1905–1914 (2001)
Mohseni, M.: Vacuum polarization in Siklos spacetimes. Phys. Rev. D 97, 024006 (2018). (6 pp)
Ozsváth, I.: Homogeneous solutions of the Einstein-Maxwell equations. J. Math. Phys. 6, 1255–1265 (1965)
Ozsváth, I., Robinson, I., Rózga, K.: Plane-fronted gravitational and electromagnetic waves in spaces with cosmological constant. J. Math. Phys. 26, 1755–1761 (1985)
Podolský, J.: Interpretation of the Siklos solutions as exact gravitational waves in the anti-de Sitter universe. Class. Quantum Grav. 15, 719–733 (1998)
Podolský, J.: Exact non-singular waves in the anti-de Sitter universe. Gen. Relativ. Gravit. 33, 1093–1113 (2001)
Podolský, J., Griffiths, J.B.: Impulsive waves in de Sitter and anti-de Sitter space-times generated by null particles with an arbitrary multipole structure. Class. Quantum Grav. 15, 453–463 (1998)
Podolský, J., Prikryl, O.: On conformally flat and type \(N\) pure radiation metrics. Gen. Relativ. Gravit. 41, 1069–1081 (2009)
Pulemotov, A., Rubinstein, Y.A.: Ricci iteration on homogeneous spaces. Trans. Amer. Math. Soc. 371, 6257–6287 (2019)
Rubinstein, Y.A.: The Ricci iteration and its applications. C. R. Acad. Sci. Paris Ser. I(345), 445–448 (2007)
Siklos, S.T.C.: In: Galaxies, axisymmetric systems and relativity. In: MacCallum, M.A.H. (ed.) Lobatchevski plane gravitational waves, p. 247. Cambridge University Press, Cambridge (1985)
Tsamparlis, M., Apostolopoulos, P.S.: Ricci and matter collineations of locally rotationally symmetric space-times. Gen. Relativity Gravitation 36, 47–69 (2004)
Acknowledgements
The authors wish to thank the anonymous Referee for several useful remarks and suggestions.
Funding
Open access funding provided by Università del Salento within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
First author partially supported by funds of the University of Salento and GNSAGA.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Calvaruso, G., Kaflou, M. & Zaeim, A. On the symmetries of Siklos spacetimes. Gen Relativ Gravit 54, 60 (2022). https://doi.org/10.1007/s10714-022-02943-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10714-022-02943-2
Keywords
- Siklos spacetimes
- Killing vector fields
- Affine vector fields
- Ricci collineations
- Curvature and Weyl collineations
- Matter collineations