Canonical Almost Geodesic Mappings of the First Type of Spaces with Affine Connections onto Generalized m-Ricci-Symmetric Spaces

Abstract

In the paper we consider almost geodesic mappings of the first type of spaces with affine connections onto generalized 2-Ricci-symmetric spaces, generalized 3-Ricci-symmetric spaces, and generalized m-Ricci-symmetric spaces. In either case the main equations for the mappings are obtained as a closed system of linear differential equations of Cauchy type in the covariant derivatives. The obtained results extend an amount of research produced by N.S. Sinyukov, V.E. Berezovski, J. Mikeš.

1. Introduction

In the sixties of the preceding century, N.S. Sinyukov [1] considered almost geodesic mappings of Riemannian and affinely connected spaces, that generalize the geodesic mappings in a natural way. The main results were presented in a monograph [2] and an expository article [3]. Geodesic mappings and their generalizations are studied in detail in monographs [4,5,6] and researches [7,8,9] by J. Mikeš et al.

The theory goes back to the paper [10] by T. Levi-Civita, in which the problem on the search for Riemannian spaces with common geodesics was stated and solved in a special coordinate system. We note a remarkable fact that this problem is related to the study of equations of dynamics of mechanical systems. That direction is developing according to Petrov’s plan to build models of physical processes using mappings and transformations [11]. For example, in papers [12,13] is shown the possible physical application of almost geodesic mappings.

N.S. Sinyukov specified three types of almost geodesic mappings ${\pi }_1$, ${\pi }_2$, ${\pi }_3$. The problem of completeness of classification had long remained unresolved. Berezovski and Mikeš [14,15] proved that for $n>5$ other types of almost geodesic mappings except for ${\pi }_1$, ${\pi }_2$, and ${\pi }_3$ do not exist. The authors have found conditions for the almost geodesic mappings ${\pi }_1$, ${\pi }_2$, ${\pi }_3$ intersections. It is proved that if an almost geodesic mapping f is simultaneously ${\pi }_1$ and ${\pi }_2$, then f is a mapping of affine connection spaces with a preserved linear complex of geodesic lines. If the mapping f is simultaneously ${\pi }_1$ and ${\pi }_3$, then f is a mapping of affine connection spaces with a preserved quadratic complex of geodesic lines. The mappings preserving above mentioned complexes studied by V.M. Chernyshenko [16] and V.A. Dobrovolski [17].

The theory of almost geodesic mappings was developed by V.A. Aminova, A.M. Mukhamedov [18], V.S. Sobchuk [19,20], N.Y. Yablonskaya [21,22], V.E. Berezovski, J. Mikeš [14,15,23,24,25,26,27,28,29,30,31,32,33,34,35], O. Belova, J. Mikeš, K. Strambach [36,37], M.S. Stankovič, Lj.S. Velimirović, N. Vesić, M.Lj. Zlatanović [38,39,40,41,42,43,44] et al.

N.S. Sinyukov [3] proved that the main equations for canonical almost geodesic mappings of spaces with affine connections onto Ricci-symmetric spaces can be written as a closed system of partial differential equations of Cauchy type in covariant derivatives. It follows that the general solution of the system depends on a finite number of essential parameters.

The results were extended by Berezovski and Mikeš [28,34] to the cases of canonical almost geodesic mappings of the first type of spaces with affine connections onto Riemannian spaces and canonical almost geodesic mappings of the first type of spaces with affine connections onto generalized Ricci-symmetric spaces.

The paper is devoted to the study of canonical almost geodesic mappings of type ${\pi }_1$ of spaces with affine connections onto generalized 2-Ricci-symmetric, generalized 3-Ricci-symmetric, and generalized m-Ricci-symmetric spaces. The fundamental equations for the mappings are derived in the form of the closed systems of Cauchy-type PDEs. The maximum number of essential parameters on which general solutions of these systems depend was estimated. V.R. Kaigorodov [45] comprehensively studied generalized symmetric and recurrent spaces from the point of view of the General Theory of Relativity. This review contains 97 citations and is a through analysis of this issue.

Let us note that in works [7,8,24,46,47,48,49,50] were studied geodesic and holomorphically projective mappings of above mentioned spaces. For the other mappings the main equations are obtained as closed systems of PDEs of Cauchy type, see [5,6,51,52,53,54].

2. Basic Definitions of Almost Geodesic Mappings of Spaces with Affine Connections

Let us recall the basic definition, formulas and theorems of the theory presented in [2,5,6].

Consider an n-dimensional space $A_n$ with affine connection ${\Gamma }_{ij}^h$ without torsion. The space is referred to coordinates $x^1,x^2,\cdots ,x^n$. We assume that all functions under consideration are sufficiently differentiable, and we suppose that $n>2$.

A curve defined in a space with affine connection is called almost geodesic if there exists a two-dimensional (differentiable) distribution D parallel along the curve (relative to the affine connection) such that for any tangent vector of the curve its parallel translation along the curve belongs to the distribution D [5].

A mapping $f:A_n\to {\overline{A}}_n$ is called almost geodesic if any geodesic curve of $A_n$ is mapped under f onto an almost geodesic curve in ${\overline{A}}_n$.

Suppose, that a space $A_n$ with affine connection ${\Gamma }_{ij}^h\left(x\right)$ admits a mapping f onto a space ${\overline{A}}_n$ with affine connection $\overline{\Gamma }{}_{ij}^h\left(x\right)$, and the spaces are referred to a common coordinate system $x^1,x^2,\cdots ,x^n$ with respect to the mapping.

The tensor

$$P_{ij}^h\left(x\right)=\overline{\Gamma }{}_{ij}^h\left(x\right)-{\Gamma }_{ij}^h\left(x\right)$$

(1)

is called a deformation tensor of the connections ${\Gamma }_{ij}^h\left(x\right)$ and $\overline{\Gamma }{}_{ij}^h\left(x\right)$ with respect to the mapping f. The symbols ${\Gamma }_{ij}^h\left(x\right)$ and $\overline{\Gamma }{}_{ij}^h\left(x\right)$ are components of affine connections of the spaces $A_n$ and ${\overline{A}}_n$ respectively.

It is known [2] that in order that a mapping of a space $A_n$ onto a space ${\overline{A}}_n$ to be almost geodesic, it is necessary and sufficient that the deformation tensor $P_{ij}^h\left(x\right)$ of the mapping f in the common coordinate system $x^1,x^2,\cdots ,x^n$ has to satisfy the condition

$$A_{\alpha \beta \gamma }^h{\lambda }^{\alpha }{\lambda }^{\beta }{\lambda }^{\gamma }=a·P_{\alpha \beta }^h{\lambda }^{\alpha }{\lambda }^{\beta }+b·{\lambda }^h,$$

where ${\lambda }^h$ is an arbitrary vector, a and b are certain functions of variables $x^1,x^2,\cdots ,x^n$ and ${\lambda }^1,{\lambda }^2,\cdots ,{\lambda }^n$. The tensor $A_{ijk}^h$ is defined as

$$A_{ijk}^h\stackrel{\mathrm{def}}{=}{P}_{ij,k}^h+P_{ij}^{\alpha }{P}_{\alpha k}^h,$$

where the comma “,” denotes the covariant derivative with respect to the connection of the space $A_n$.

N. S. Sinyukov [2] distinguished three kinds of almost geodesic mappings, namely ${\pi }_1$, ${\pi }_2$, and ${\pi }_3$ characterized, by following conditions for the deformation tensor.

A mapping $f:A_n\to {\overline{A}}_n$ is called an almost geodesic of type ${\pi }_1$, if the conditions

$$A_{\left(ijk\right)}^h={\delta }_{(i}^h{a}_{jk)}+b_{(i}{P}_{jk)}^h,$$

(2)

are satisfied, where $a_{ij}$ is a symmetric tensor, $b_i$ is a covariant vector and ${\delta }_i^h$ is the Kronecker delta. We denote by the round parentheses a symmetrization without division with respect to the mentioned indices.

If in the Equation (2) the condition $b_i\equiv 0$ holds, then the almost geodesic mapping ${\pi }_1$ is called canonical. It is known [3] that any almost geodesic mapping ${\pi }_1$ may be written as the composition of a canonical almost geodesic mapping of type ${\pi }_1$ and a geodesic mapping.

A mapping $f:A_n\to {\overline{A}}_n$ is called an almost geodesic of type ${\pi }_2$, if the conditions

$$P_{ij}^h={\delta }_{(i}^h{\psi }_{j)}+F_{(i}^h{\phi }_{j)}\mathrm{and}{F}_{(i,j)}^h+F_{\alpha }^h{F}_{(i}^{\alpha }{\phi }_{j)}={\delta }_{(i}^h{\mu }_{j)}+F_{(i}^h{\rho }_{j)}$$

holds, where ${\psi }_i$, ${\phi }_i$, ${\mu }_i$, ${\rho }_i$ are covectors, $F_i^h$ is a tensor of type $(1,1)$.

A mapping $f:A_n\to {\overline{A}}_n$ is called an almost geodesic of type ${\pi }_3$, if the conditions

$$P_{ij}^h={\delta }_{(i}^h{\psi }_{j)}+{\theta }^h{a}_{ij}\mathrm{and}{\theta }_{,i}^h=\rho ·{\delta }_i^h+{\theta }^h{a}_i$$

holds, where ${\theta }^h$ is a torse forming vector, ${\psi }_i$, $a_i$ are covectors, $a_{ij}$ is a symmetric tensor and $\rho$ is a function.

As we have noted above, the mentioned types of mappings ${\pi }_1$, ${\pi }_2$ and ${\pi }_3$ can intersect. The classification completeness for spaces with affine connections of dimension $n>5$ has been proved in [14,15].

3. Ricci-Symmetric, Generalized Ricci-Symmetric, 2-Ricci-Symmetric and Generalized 2-Ricci-Symmetric Spaces

A space ${\overline{A}}_n$ with an affine connection is called Ricci-symmetric if its Ricci tensor ${\overline{R}}_{ij}$ satisfies the condition

$${\overline{R}}_{ij;k}=0.$$

The symbol “;” denotes a covariant derivative with respect to the connection of the space ${\overline{A}}_n$.

In [3] N.S. Sinyukov considered canonical almost geodesic mappings of the first type of spaces with affine connections onto Riemannian Ricci-symmetric spaces. Taking into account the relations between the Riemannian tensors ${\overline{R}}_{ijk}^h$ and $R_{ijk}^h$ of the spaces ${\overline{A}}_n$ and $A_n$ respectively as follows from (1), the Equations (2) for canonical almost geodesic mappings of the first type of spaces with affine connections were written in the form

$$3\left(P_{ij,k}^h+P_{k\alpha }^h{P}_{ij}^{\alpha }\right)=R_{\left(ij\right)k}^h-{\overline{R}}_{\left(ij\right)k}^h+{\delta }_{(k}^h{a}_{ij)}.$$

(3)

We give the following example. From the Equation (3) with a condition of preserving Riemannian tensor and $a_{ij}=0$, we obtain

$$P_{ij,k}^h=-P_{k\alpha }^h{P}_{ij}^{\alpha }.$$

In a flat space, the above equation is completely integrable. Therefore it has a solution with respect to $P_{ij}^h\left(x\right)$ for any initial condition $P_{ij}^h\left(x_0\right)$. If $P^{h}ij\left(x_0\right)\ne {\delta }_{(i}^h{\psi }_{j)}\left(x_0\right)$ then the solution $P_{ij}^h\left(x_0\right)$ generates an almost geodesic mapping $A_n\to {\overline{A}}_n$ which is not geodesic.

Considering (3) as a system of Cauchy type in $A_n$ with respect to the functions $P_{ij}^h$, one has found the integrability conditions of the system in the form

$$\begin{array}{ll}{\overline{R}}_{\left(ij\right)[k,l]}^h=& R_{\left(ij\right)[k,l]}^h+{\delta }_{(i}^h{a}_{jk),l}-{\delta }_{(i}^h{a}_{jl),k}+3\left(P_{ij}^{\alpha }{\overline{R}}_{\alpha kl}^h-P_{\alpha (j}^h{R}_{i)kl}^{\alpha }\right)\\ & -P_{\alpha k}^h\left(R_{\left(ij\right)l}^h-{\overline{R}}_{\left(ij\right)l}^h+{\delta }_{(i}^{\alpha }{a}_{jl)}\right)+P_{\alpha l}^h\left(R_{\left(ij\right)k}^h-{\overline{R}}_{\left(ij\right)k}^h+{\delta }_{(i}^{\alpha }{a}_{jk)}\right),\end{array}$$

where the square brackets $\left[\right]$ denote an antisymmetrization (or, alternation) without division with respect to the mentioned indices.

Let us express in the left-hand side the covariant derivatives with respect to the connection of $A_n$ in terms of the covariant derivatives with respect to the connection of ${\overline{A}}_n$. Taking account of (1), we obtain

$${\overline{R}}_{\left(ij\right)[k;l]}^h={\delta }_{(i}^h{a}_{jk),l}-{\delta }_{(i}^h{a}_{jl),k}+{\theta }_{ijkl}^h,$$

(4)

where

$$\begin{array}{ll}{\theta }_{ijkl}^h=& R_{\left(ij\right)[k,l]}^h+3\left(P_{ij}^{\alpha }{\overline{R}}_{\alpha kl}^h-P_{\alpha (j}^h{R}_{i)kl}^{\alpha }\right)-P_{\alpha k}^h\left(R_{\left(ij\right)l}^h-{\overline{R}}_{\left(ij\right)l}^h+{\delta }_{(i}^{\alpha }{a}_{jl)}\right)\\ & +P_{\alpha l}^h\left(R_{\left(ij\right)k}^h-{\overline{R}}_{\left(ij\right)k}^h+{\delta }_{(i}^{\alpha }{a}_{jk)}\right)-P_{l(i}^{\alpha }{\overline{R}}_{\left|\alpha \right|j)k}^h-P_{l(i}^{\alpha }{\overline{R}}_{j)\alpha k}^h+P_{k(i}^{\alpha }{\overline{R}}_{\left|\alpha \right|j)l}^h+P_{k(i}^{\alpha }{\overline{R}}_{j)\alpha l}^h.\end{array}$$

Here the symbol $\left|\alpha \right|$ means that in applying symmetrization the index $\alpha$ is omitted.

Using the Ricci identity, let us write the conditions (4) in the form

$${\overline{R}}_{ilk;j}^h+{\overline{R}}_{jlk;i}^h={\delta }_{(i}^h{a}_{jk),l}-{\delta }_{(i}^h{a}_{jl),k}+{\theta }_{ijkl}^h.$$

(5)

Contracting (5) for h and k, we get the relations for covariant derivatives of the Ricci tensor ${\overline{R}}_{ij}$ for the space ${\overline{A}}_n$

$${\overline{R}}_{il;j}+{\overline{R}}_{jl;i}=(n+1)a_{ij,l}-a_{l(i,j)}+{\theta }_{ij\alpha l}^{\alpha }.$$

(6)

A space ${\overline{A}}_n$ with an affine connection is called generalized Ricci-symmetric if the Ricci tensor ${\overline{R}}_{ij}$ for the space satisfies the condition

$${\overline{R}}_{ij;k}+{\overline{R}}_{kj;i}=0.$$

The concept of generalized Ricci-symmetric spaces was first introduced in [28,34]. The papers are devoted to the study of canonical almost geodesic mappings of spaces with affine connections onto the above mentioned spaces. It is proved that the main equations for the mappings can be obtained as a closed system of Cauchy-type differential equations in covariant derivatives.

A space ${\overline{A}}_n$ with an affine connection is called 2-Ricci-symmetric if the Ricci tensor ${\overline{R}}_{ij}$ for the space satisfies the condition

$${\overline{R}}_{ij;km}=0.$$

A space ${\overline{A}}_n$ with an affine connection is called generalized 2-Ricci-symmetric if its Ricci tensor ${\overline{R}}_{ij}$ satisfies the condition

$${\overline{R}}_{ij;km}+{\overline{R}}_{kj;im}=0.$$

(7)

4. Canonical Almost Geodesic Mappings of type ${\pi }_1$ of Spaces with Affine Connections onto Generalized 2-Ricci-Symmetric Spaces

The Equation (6) was obtained for a canonical almost geodesic mapping of type ${\pi }_1$ of a space with an affine connection $A_n$ onto another space with an affine connection ${\overline{A}}_n$.

First we differentiate covariantly the Equation (6) with respect to the connection of the space $A_n$. Then taking account of (1), let us applicate the formulas

$$\begin{array}{cc}\hfill {\left({\overline{R}}_{il;j}\right)}_{,k}=& {\overline{R}}_{il;jk}+{\overline{R}}_{\alpha l;j}{P}_{ik}^{\alpha }+{\overline{R}}_{i\alpha ;j}{P}_{lk}^{\alpha }+{\overline{R}}_{il;\alpha }{P}_{jk}^{\alpha },\hfill \\ \hfill {\overline{R}}_{ij;k}=& {\overline{R}}_{ij,k}-{\overline{R}}_{i\alpha }{P}_{jk}^{\alpha }-{\overline{R}}_{\alpha j}{P}_{ik}^{\alpha }.\hfill \end{array}$$

(8)

Finally, we get

$${\overline{R}}_{il;jk}+{\overline{R}}_{jl;ik}=(n+1)a_{ij,lk}-a_{li,jk}-a_{lj,ik}+C_{ijlk},$$

(9)

where

$$\begin{array}{c}\hfill C_{ijlk}=-{\theta }_{ij\alpha l,k}^{\alpha }-\left({\overline{R}}_{\alpha l,j}+{\overline{R}}_{jl,\alpha }-2{\overline{R}}_{\beta l}{P}_{\alpha j}^{\beta }-{\overline{R}}_{\alpha \beta }{P}_{lj}^{\beta }-{\overline{R}}_{j\beta }{P}_{l\alpha }^{\beta }\right)P_{ik}^{\alpha }\\ -\left({\overline{R}}_{i\alpha ,j}+{\overline{R}}_{j\alpha ,i}-2{\overline{R}}_{\beta \alpha }{P}_{ij}^{\beta }-{\overline{R}}_{i\beta }{P}_{\alpha j}^{\beta }-{\overline{R}}_{j\beta }{P}_{\alpha i}^{\beta }\right)P_{lk}^{\alpha }\\ -\left({\overline{R}}_{il,\alpha }+{\overline{R}}_{\alpha l,i}-2{\overline{R}}_{\beta l}{P}_{\alpha i}^{\beta }-{\overline{R}}_{i\beta }{P}_{l\alpha }^{\beta }-{\overline{R}}_{\alpha \beta }{P}_{li}^{\beta }\right)P_{jk}^{\alpha }.\end{array}$$

(10)

Moreover, let us consider canonical almost geodesic mappings of type ${\pi }_1$ of spaces $A_n$ with affine connections onto generalized 2-Ricci-symmetric spaces ${\overline{A}}_n$. Hence the Ricci tensor ${\overline{R}}_{ij}$ for the space ${\overline{A}}_n$ satisfies the conditions. Then the Equation (9) may be written in the form

$$(n+1)a_{ij,lk}-a_{li,jk}-a_{lj,ik}=-C_{ijlk},$$

(11)

when $C_{ijlk}$ is defined by the formulas (10).

Let us interchange the indices l and j in (11) and symmetrize in the indices i and j. Then we have

$$a_{li,jk}+a_{lj,ik}=-\frac{1}{n}{C}_{\left(i\right|l\left|j\right)k}+\frac{2}{n}{a}_{ij,lk}.$$

(12)

The Equation (11) by means of (12) can be written in the form

$$\frac{n^2+n-2}{n}{a}_{ij,lk}=-C_{ijlk}-\frac{1}{n}{C}_{\left(i\right|l\left|j\right)k}.$$

(13)

In the following we have assumed that a space $A_n$ with an affine connection is given. Then taking account of the structure of the tensor $C_{ijlk}$ which was determined by formula (10), we see that the left hand side of the Equation (13) depends on the unknown functions $P_{ij}^h\left(x\right)$, $a_{ij}\left(x\right)$, $a_{ij,k}\left(x\right)$, ${\overline{R}}_{ijk}^h\left(x\right)$, ${\overline{R}}_{ijk,m}^h\left(x\right)$.

Differentiate covariantly the conditions of integrability (4) with respect to the connection of the space ${\overline{A}}_n$. Then express in the right-hand side the covariant derivatives with respect to the connection of ${\overline{A}}_n$ in terms of the covariant derivatives with respect to the connection of the space $A_n$. When we make use of the Ricci identity, we obtain

$${\overline{R}}_{\left(ij\right)k;lm}^h-{\overline{R}}_{\left(ij\right)l;mk}^h={\delta }_{(i}^h{a}_{jk),lm}-{\delta }_{(i}^h{a}_{jl),km}+T_{ijklm}^h,$$

(14)

where

$$\begin{array}{r}{T}_{ijklm}^h={\overline{R}}_{\alpha mk}^h{\overline{R}}_{\left(ij\right)l}^{\alpha }-{\overline{R}}_{lmk}^{\alpha }{\overline{R}}_{\left(ij\right)\alpha }^h-{\overline{R}}_{jmk}^{\alpha }{\overline{R}}_{\left(i\alpha \right)l}^h-{\overline{R}}_{imk}^{\alpha }{\overline{R}}_{\left(j\alpha \right)l}^h-P_{m\alpha }^h{\delta }_{(i}^{\alpha }{a}_{jk),l}\\ -P_{mj}^{\alpha }{\delta }_{(i}^h{a}_{\alpha k),l}-P_{mi}^{\alpha }{\delta }_{(\alpha }^h{a}_{jk),l}-P_{mk}^{\alpha }{\delta }_{(\alpha }^h{a}_{ij),l}-P_{ml}^{\alpha }{\delta }_{(i}^h{a}_{jk),\alpha }-P_{m\alpha }^h{\delta }_{(i}^{\alpha }{a}_{jl),k}\\ +P_{mi}^{\alpha }{\delta }_{(\alpha }^h{a}_{jl),k}+P_{mj}^{\alpha }{\delta }_{(i}^h{a}_{\alpha l),k}+P_{mk}^{\alpha }{\delta }_{(i}^h{a}_{jl),\alpha }-P_{ml}^{\alpha }{\delta }_{(i}^h{a}_{j\alpha ),k}\\ -{\theta }_{ijkl,m}^h+P_{\alpha m}^h{\theta }_{ijkl}^{\alpha }-P_{mi}^{\alpha }{\theta }_{\alpha jkl}^h-P_{mj}^{\alpha }{\theta }_{i\alpha kl}^h-P_{mk}^{\alpha }{\theta }_{ij\alpha l}^h-P_{ml}^{\alpha }{\theta }_{ijk\alpha }^h.\end{array}$$

Alternating the equations (14) with respect to the indicies l and m, we obtain

$$\begin{array}{r}{\overline{R}}_{\left(ij\right)m;lk}^h-{\overline{R}}_{\left(ij\right)l;mk}^h={\delta }_{(i}^h{a}_{jm),kl}-{\delta }_{(i}^h{a}_{jl),km}+T_{ijk\left[lm\right]}^h+{\overline{R}}_{\left(i\right|\alpha k|}^h{\overline{R}}_{j)ml}^{\alpha }+{\overline{R}}_{\left(ij\right)\alpha }^h{\overline{R}}_{kml}^{\alpha }\\ -{\overline{R}}_{\left(ij\right)k}^{\alpha }{\overline{R}}_{\alpha ml}^h+{\overline{R}}_{\alpha \left(i\right|k|}^h{\overline{R}}_{j)ml}^{\alpha }+{\delta }_{(\alpha }^h{a}_{jk)}{R}_{ilm}^{\alpha }+{\delta }_{(\alpha }^h{a}_{ik)}{R}_{jlm}^{\alpha }+{\delta }_{(i}^h{a}_{j\alpha )}{R}_{klm}^{\alpha }-{\delta }_{(i}^{\alpha }{a}_{jk)}{R}_{\alpha lm}^h.\end{array}$$

(15)

Taking account of the properties of a curvature tensor $R_{ijk}^h$, we may write the conditions (15) in the form

$${\overline{R}}_{iml;jk}^h+{\overline{R}}_{jml;ik}^h={\delta }_{(i}^h{a}_{jl),km}-{\delta }_{(i}^h{a}_{jm),kl}-N_{ijklm}^h,$$

(16)

where

$$\begin{array}{r}{N}_{ijklm}^h=T_{ijk\left[lm\right]}^h+{\overline{R}}_{iml}^{\alpha }{\overline{R}}_{\left(\alpha j\right)k}^h+{\overline{R}}_{jml}^{\alpha }{\overline{R}}_{\left(\alpha i\right)k}^h+{\overline{R}}_{kml}^{\alpha }{\overline{R}}_{\left(ij\right)\alpha }^h-{\overline{R}}_{\alpha ml}^h{\overline{R}}_{\left(ij\right)k}^{\alpha }\\ +{\delta }_{(\alpha }^h{a}_{jk)}{R}_{ilm}^{\alpha }+{\delta }_{(\alpha }^h{a}_{ik)}{R}_{jlm}^{\alpha }+{\delta }_{(\alpha }^h{a}_{ji)}{R}_{klm}^{\alpha }-a_{(ij}{R}_{k)lm}^h.\end{array}$$

Alternating the equations (16) with respect to the indicies j and k, we get

$$\begin{array}{r}{\overline{R}}_{jml;ik}^h-{\overline{R}}_{kml;ij}^h={\delta }_{(i}^h{a}_{jl),km}-{\delta }_{(i}^h{a}_{jm),kl}-{\delta }_{(i}^h{a}_{kl),jm}+{\delta }_{(i}^h{a}_{km),jl}\\ -N_{i\left[jk\right]lm}^h+{\overline{R}}_{\alpha ml}^h{\overline{R}}_{ikj}^{\alpha }+{\overline{R}}_{i\alpha l}^h{\overline{R}}_{mkj}^{\alpha }+{\overline{R}}_{im\alpha }^h{\overline{R}}_{lkj}^{\alpha }-{\overline{R}}_{iml}^{\alpha }{\overline{R}}_{\alpha kj}^h.\end{array}$$

(17)

Let us interchange i and k in (16) and subtract it from (17). Then we have

$$2{\overline{R}}_{jml;ik}^h={\delta }_{(i}^h{a}_{jl),km}-{\delta }_{(i}^h{a}_{jm),kl}+{\delta }_{(k}^h{a}_{jm),il}+{\delta }_{(i}^h{a}_{km),jl}-{\delta }_{(i}^h{a}_{kl),jm}-{\delta }_{(k}^h{a}_{jl),im}+{\Omega }_{ijklm}^h,$$

(18)

where

$$\begin{array}{r}{\Omega }_{ijklm}^h=N_{kjilm}^h-N_{i\left[jk\right]lm}^h+{\overline{R}}_{\alpha ml}^h{\overline{R}}_{ikj}^{\alpha }+{\overline{R}}_{i\alpha l}^h{\overline{R}}_{mkj}^{\alpha }+{\overline{R}}_{im\alpha }^h{\overline{R}}_{lkj}^{\alpha }-{\overline{R}}_{iml}^{\alpha }{\overline{R}}_{\alpha kj}^h-{\overline{R}}_{kml}^{\alpha }{\overline{R}}_{\alpha ji}^h\\ +{\overline{R}}_{\alpha ml}^h{\overline{R}}_{kji}^{\alpha }+{\overline{R}}_{k\alpha l}^h{\overline{R}}_{mji}^{\alpha }+{\overline{R}}_{km\alpha }^h{\overline{R}}_{lji}^{\alpha }-{\overline{R}}_{jml}^{\alpha }{\overline{R}}_{\alpha ik}^h+{\overline{R}}_{\alpha ml}^h{\overline{R}}_{jik}^{\alpha }+{\overline{R}}_{j\alpha l}^h{\overline{R}}_{mik}^{\alpha }+{\overline{R}}_{jm\alpha }^h{\overline{R}}_{lik}^{\alpha }.\end{array}$$

Let us express in the left-hand side of the Equation (18) the covariant derivatives with respect to the connection of ${\overline{A}}_n$ in terms of the covariant derivatives with respect to the connection of $A_n$. We have

$$2{\overline{R}}_{jml,ik}^h={\delta }_{(i}^h{a}_{jl),km}-{\delta }_{(i}^h{a}_{jm),kl}+{\delta }_{(k}^h{a}_{jm),il}+{\delta }_{(i}^h{a}_{km),jl}-{\delta }_{(i}^h{a}_{kl),jm}-{\delta }_{(k}^h{a}_{jl),im}+S_{ijklm}^h,$$

(19)

where

$$\begin{array}{r}{S}_{ijklm}^h={\Omega }_{ijklm}^h-2[{\overline{R}}_{jml,i}^{\alpha }{P}_{\alpha k}^h-{\overline{R}}_{\alpha ml,i}^h{P}_{jk}^{\alpha }-{\overline{R}}_{j\alpha l,i}^h{P}_{mk}^{\alpha }-{\overline{R}}_{jm\alpha ,i}^h{P}_{lk}^{\alpha }-{\overline{R}}_{jml,\alpha }^h{P}_{ik}^{\alpha }\\ +\left({\overline{R}}_{jml}^{\alpha }{P}_{\alpha i}^{\beta }-{\overline{R}}_{\alpha ml}^{\beta }{P}_{ij}^{\alpha }-{\overline{R}}_{j\alpha l}^{\beta }{P}_{im}^{\alpha }-{\overline{R}}_{jm\alpha }^{\beta }{P}_{il}^{\alpha }\right)P_{\beta k}^h\\ -\left({\overline{R}}_{jml}^{\alpha }{P}_{\alpha \beta }^h-{\overline{R}}_{\alpha ml}^h{P}_{\beta j}^{\alpha }-{\overline{R}}_{j\alpha l}^h{P}_{\beta m}^{\alpha }-{\overline{R}}_{jm\alpha }^h{P}_{\beta l}^{\alpha }\right)P_{ik}^{\beta }\\ -\left({\overline{R}}_{\beta ml}^{\alpha }{P}_{\alpha i}^h-{\overline{R}}_{\alpha ml}^h{P}_{\beta i}^{\alpha }-{\overline{R}}_{\beta \alpha l}^h{P}_{im}^{\alpha }-{\overline{R}}_{\beta m\alpha }^h{P}_{il}^{\alpha }\right)P_{jk}^{\beta }\\ -\left({\overline{R}}_{j\beta l}^{\alpha }{P}_{\alpha i}^h-{\overline{R}}_{\alpha \beta l}^h{P}_{ji}^{\alpha }-{\overline{R}}_{j\alpha l}^h{P}_{\beta i}^{\alpha }-{\overline{R}}_{j\beta \alpha }^h{P}_{il}^{\alpha }\right)P_{km}^{\beta }\\ -\left({\overline{R}}_{jm\beta }^{\alpha }{P}_{\alpha i}^h-{\overline{R}}_{\alpha m\beta }^h{P}_{ji}^{\alpha }-{\overline{R}}_{j\alpha \beta }^h{P}_{mi}^{\alpha }-{\overline{R}}_{jm\alpha }^h{P}_{\beta i}^{\alpha }\right)P_{kl}^{\beta }].\end{array}$$

We introduce the tensors $a_{ijk}$ and ${\overline{R}}_{ijkm}^h$ defined by

$$a_{ij,k}=a_{ijk},$$

(20)

$${\overline{R}}_{ijk,m}^h={\overline{R}}_{ijkm}^h.$$

(21)

Taking account of (21), we may write the Equation (19) in the form

$$2{\overline{R}}_{jmli,k}^h={\delta }_{(i}^h{a}_{jl),km}-{\delta }_{(i}^h{a}_{jm),kl}+{\delta }_{(k}^h{a}_{jm),il}+{\delta }_{(i}^h{a}_{km),jl}-{\delta }_{(i}^h{a}_{kl),jm}-{\delta }_{(k}^h{a}_{jl),im}+S_{ijklm}^h.$$

(22)

In the following we have assumed that in the left-hand side of the Equation (22) the second order covariant derivatives of the tensor $a_{ij}$ are expressed according to (13). Taking account of (20), the Equation (13) may be put in the form

$$\frac{n^2+n-2}{n}{a}_{ijl,k}=-C_{ijlk}-\frac{1}{n}{C}_{\left(i\right|l\left|j\right)k}.$$

(23)

We have assumed that in the right-hand sides of the Equations (22) and (23) the covariant derivatives of tensors $a_{ij}$ and ${\overline{R}}_{ijk}^h$ with respect to the connection of the space $A_n$ are expressed according to (20) and (21).

Obviously, in the space $A_n$ the Equations (3) and (20)–(23) form a closed system of PDEs of Cauchy type with respect to the functions $P_{ij}^h\left(x\right)$, $a_{ij}\left(x\right)$, ${\overline{R}}_{ijk}^h\left(x\right)$, $a_{ijk}\left(x\right)$, ${\overline{R}}_{ijkm}^h\left(x\right)$. The functions must satisfy the algebraic conditions

$$\begin{gathered} P_{ij}^h\left(x\right)=P_{ji}^h\left(x\right),a_{ij}\left(x\right)=a_{ji}\left(x\right), \\ \overline{R}{}_{i\left(jk\right)}^h\left(x\right)=\overline{R}{}_{\left(ijk\right)}^h\left(x\right)=0,\overline{R}{}_{i\left(jk\right)l}^h\left(x\right)=\overline{R}{}_{\left(ijk\right)l}^h\left(x\right)=0. \end{gathered}$$

(24)

Hence we have proved the following theorem.

Theorem 1.

In order that a space $A_n$ with an affine connection admits a canonical almost geodesic mapping of type ${\pi }_1$ onto a generalized 2-Ricci-symmetric space ${\overline{A}}_n$, it is necessary and sufficient that the mixed system of differential equations of Cauchy type in covariant derivatives (3) and (20)–(24) have a solution with respect to the unknown functions $P_{ij}^h\left(x\right)$, $a_{ij}\left(x\right)$, $a_{ijk}\left(x\right)$, $\overline{R}{}_{ijk}^h\left(x\right)$ and $\overline{R}{}_{ijkm}^h\left(x\right)$.

Also we have obtained the corollary.

Corollary 1.

The family of all generalized 2-Ricci-symmetric spaces, which are images of a given space $A_n$ with an affine connection with respect to canonical almost geodesic mappings of type ${\pi }_1$, depends on no more then

$$\frac{1}{6}n(2n-1)(n^2-1)+\frac{1}{2}n{(1+n)}^2$$

essential parameters.

5. Canonical Almost Geodesic Mappings of Type ${\pi }_1$ of Spaces with Affine Connections onto Generalized 3-Ricci-Symmetric Spaces

A space ${\overline{A}}_n$ with an affine connection is called generalized 3-Ricci-symmetric if the Ricci tensor ${\overline{R}}_{ij}$ for the space satisfies the condition

$${\overline{R}}_{ij;kml}+{\overline{R}}_{kj;iml}=0.$$

(25)

Taking account of (1) and (8), we obtain

$${\overline{R}}_{ij;kl}=G_{ijkl}\mathrm{and}{\left({\overline{R}}_{il;jk}\right)}_{,m}={\overline{R}}_{il;jkm}+G_{\alpha ljk}{P}_{im}^{\alpha }+G_{i\alpha jk}{P}_{lm}^{\alpha }+G_{il\alpha k}{P}_{jm}^{\alpha }+G_{ilj\alpha }{P}_{km}^{\alpha },$$

(26)

where

$$\begin{array}{r}{G}_{ijkl}={\overline{R}}_{ij,kl}-{\overline{R}}_{i\alpha ,l}{P}_{jk}^{\alpha }-{\overline{R}}_{i\alpha }{P}_{jk,i}^{\alpha }-{\overline{R}}_{\alpha j,l}{P}_{ik}^{\alpha }-{\overline{R}}_{\alpha j}{P}_{ik,l}^{\alpha }-\left({\overline{R}}_{\alpha j,k}-{\overline{R}}_{\beta j}{P}_{\alpha k}^{\beta }-{\overline{R}}_{\alpha \beta }{P}_{jk}^{\beta }\right)P_{il}^{\alpha }\\ -\left({\overline{R}}_{i\alpha ,k}-{\overline{R}}_{\beta \alpha }{P}_{ik}^{\beta }-{\overline{R}}_{i\beta }{P}_{\alpha k}^{\beta }\right)P_{jl}^{\alpha }-\left({\overline{R}}_{ij,\alpha }-{\overline{R}}_{\beta j}{P}_{i\alpha }^{\beta }-{\overline{R}}_{i\beta }{P}_{j\alpha }^{\beta }\right)P_{kl}^{\alpha }.\end{array}$$

Let us differentiate covariantly the Equation (9) with respect to the connection of the space $A_n$. Then taking account of (8) and (26), we get

$$\begin{array}{cc}\hfill {\overline{R}}_{il;jkm}+{\overline{R}}_{jl;ikm}=& (n+1)a_{ij,lkm}-a_{li,jkm}-a_{lj,ikm}\hfill \\ & +C_{ijlk,m}-G_{\alpha l\left(j\right|k|}{P}_{i)m}^{\alpha }-G_{\left(i\right|\alpha \left|j\right)k}{P}_{lm}^{\alpha }-G_{\left(i\right|l\alpha k|}{P}_{j)m}^{\alpha }-G_{\left(i\right|l\left|j\right)\alpha }{P}_{km}^{\alpha }.\hfill \end{array}$$

(27)

Let us consider canonical almost geodesic mappings of type ${\pi }_1$ of spaces with affine connections $A_n$ onto generalized 3-Ricci-symmetric spaces ${\overline{A}}_n$. Hence the Ricci tensor ${\overline{R}}_{ij}$ for the space ${\overline{A}}_n$ satisfies the conditions (25). Then the Equation (27) could be written in such form as

$$(n+1)a_{ij,lkm}-a_{lj,ikm}-a_{li,jkm}=-C_{ijlkm},$$

(28)

where

$$C_{ijlkm}=C_{ijlk,m}-G_{\alpha l\left(j\right|k|}{P}_{i)m}^{\alpha }-G_{\left(i\right|\alpha \left|j\right)k}{P}_{lm}^{\alpha }-G_{\left(i\right|l\alpha k|}{P}_{j)m}^{\alpha }-G_{\left(i\right|l\left|j\right)\alpha }{P}_{km}^{\alpha }.$$

(29)

Let us interchange the indices l and j in (28) and symmetrize in the indices i and j. Then we have

$$a_{li,jkm}+a_{lj,ikm}=-\frac{1}{n}{C}_{\left(i\right|l\left|j\right)km}+\frac{2}{n}{a}_{ij,lkm}.$$

(30)

Because of (30) the Equation (28) may be written in the form

$$\frac{n^2+n-2}{n}{a}_{ij,lkm}=-C_{ijlkm}-\frac{1}{n}{C}_{\left(i\right|l\left|j\right)km}.$$

(31)

The Equation (19) we obtain from the integrability conditions of (4), is to hold for canonical almost geodesic mappings of type ${\pi }_1$ of spaces with affine connections onto generalized 3-Ricci-symmetric spaces.

In the following we have assumed that a space $A_n$ with an affine connection is given. Then taking account of the structure of the tensor $C_{ijlkm}$ which was determined by formulas (4), (18) and (29), we see that the left hand side of Equation (31) depends on the unknown functions $P_{ij}^h\left(x\right)$, $a_{ij}\left(x\right)$, $a_{ij,k}\left(x\right)$, $a_{ij,km}\left(x\right)$, ${\overline{R}}_{ijk}^h\left(x\right)$, ${\overline{R}}_{ijk,m}^h\left(x\right)$.

Let us introduce the tensor $a_{ijkm}$ defined by

$$a_{ijk,m}=a_{ijkm}.$$

(32)

Because of (32) we can write the Equation (31) in the form

$$\frac{n^2+n-2}{n}{a}_{ijlk,m}=-C_{ijlkm}-\frac{1}{n}{C}_{\left(i\right|l\left|j\right)km}.$$

(33)

Obviously, in the space $A_n$ the Equations (3), (20)–(22), (32) and (33) form a closed system of PDEs of Cauchy type with respect to the functions $P_{ij}^h\left(x\right)$, $a_{ij}\left(x\right)$, $\overline{R}{}_{ijk}^h\left(x\right)$, $\overline{R}{}_{ijkm}^h\left(x\right)$, $a_{ijk}\left(x\right)$, $a_{ijkm}\left(x\right)$. Also the functions must satisfy the algebraic conditions (24).

Hence we have proved the following theorem.

Theorem 2.

In order that a space $A_n$ with an affine connection admits a canonical almost geodesic mapping of type ${\pi }_1$ onto a generalized 3-Ricci-symmetric space ${\overline{A}}_n$, it is necessary and sufficient that the mixed system of differential equations of Cauchy type in covariant derivatives (3), (20)–(22), (24), (32) and (33) have a solution with respect to the unknown functions $P_{ij}^h\left(x\right)$, $a_{ij}\left(x\right)$, ${\overline{R}}_{ijk}^h\left(x\right)$, ${\overline{R}}_{ijkm}^h\left(x\right)$, $a_{ijk}\left(x\right)$ and $a_{ijkm}\left(x\right)$.

Corollary 2.

The family of all generalized 3-Ricci-symmetric spaces, which are images of a given space $A_n$ with an affine connection with respect to canonical almost geodesic mappings of type ${\pi }_1$, depends on no more then

$$\frac{1}{6}n(2n-1)(n^2-1)+\frac{1}{2}n(1+n)(n^2+n+1)$$

essential parameters.

6. Canonical Almost Geodesic Mappings of Type ${\pi }_1$ of Spaces with Affine Connections onto Generalized m-Ricci-Symmetric Spaces

A space ${\overline{A}}_n$ with an affine connection is called generalized m-Ricci-symmetric if the Ricci tensor ${\overline{R}}_{ij}$ for the space satisfies the condition

$${\overline{R}}_{ij;{\rho }_1{\rho }_2\dots {\rho }_m}+{\overline{R}}_{{\rho }_{1}j;i{\rho }_2\dots {\rho }_m}=0.$$

(34)

It is obvious that generalized 2-Ricci-symmetric spaces and generalized 3-Ricci-symmetric spaces are special cases of generalized m-Ricci-symmetric spaces with $m=2$ and $m=3$ respectively.

If we put $m=1$ in (34) we have a generalized Ricci-symmetric space. Let us differentiate covariantly $(m-3)$ times the Equation (27) with respect to the connection of the space $A_n$. Then express in the left-hand side the covariant derivatives with respect to the connection of the space $A_n$ in terms of the covariant derivatives with respect to the connection of the space ${\overline{A}}_n$, using the formula [24]

$$\begin{array}{ll}{\left({\overline{R}}_{ij;{\rho }_1\dots {\rho }_{\tau -2}{\rho }_{\tau -1}}\right)}_{,{\rho }_{\tau }}=& {\overline{R}}_{ij;{\rho }_1\dots {\rho }_{\tau -2}{\rho }_{\tau -1}{\rho }_{\tau }}+P_{i{\rho }_{\tau }}^{\alpha }{\overline{R}}_{\alpha j;{\rho }_1\dots {\rho }_{\tau -2}{\rho }_{\tau -1}}+\\ & P_{j{\rho }_{\tau }}^{\alpha }{\overline{R}}_{i\alpha ;{\rho }_1\dots {\rho }_{\tau -2}{\rho }_{\tau -1}}+P_{{\rho }_1{\rho }_{\tau }}^{\alpha }{\overline{R}}_{ij;\alpha \dots {\rho }_{\tau -2}{\rho }_{\tau -1}}+\cdots +P_{{\rho }_{\tau -1}{\rho }_{\tau }}^{\alpha }{\overline{R}}_{ij;{\rho }_1\dots {\rho }_{\tau -2}\alpha }.\end{array}$$

Transforming the left-hand side of (34), we obtain

$${\overline{R}}_{ij;{\rho }_1{\rho }_2\dots {\rho }_m}+{\overline{R}}_{{\rho }_{1}j;i{\rho }_2\dots {\rho }_m}=(n+1)a_{i{\rho }_1,j{\rho }_2\dots {\rho }_m}-a_{j{\rho }_1,i{\rho }_2\dots {\rho }_m}-a_{ij,{\rho }_1{\rho }_2\dots {\rho }_m}+{\Omega }_{ij{\rho }_1{\rho }_2\dots {\rho }_m},$$

(35)

where the tensor ${\Omega }_{ij{\rho }_1{\rho }_2\dots {\rho }_m}$ depends on the unknown tensors $P_{ij}^h$, ${\overline{R}}_{ijk}^h$, ${\overline{R}}_{ijk,m}^h$, $a_{ij}$, $a_{ij,{\rho }_1}$, …, $a_{ij,{\rho }_1\dots {\rho }_{m-1}}$.

Let us consider canonical almost geodesic mappings of type ${\pi }_1$ of spaces with affine connections $A_n$ onto generalized m-Ricci-symmetric spaces ${\overline{A}}_n$. Hence the Ricci tensor ${\overline{R}}_{ij}$ for the space ${\overline{A}}_n$ satisfies conditions (34). Then Equation (35) could be written in such form as

$$(n+1)a_{i{\rho }_1,j{\rho }_2\dots {\rho }_m}-a_{j{\rho }_1,i{\rho }_2\dots {\rho }_m}-a_{ij,{\rho }_1{\rho }_2\dots {\rho }_m}=-{\Omega }_{ij{\rho }_1{\rho }_2\dots {\rho }_m}.$$

(36)

Let us interchange the indices j and ${\rho }_1$ in (36) and symmetrize in the indices i and ${\rho }_1$. Then we have

$$a_{ij,{\rho }_1{\rho }_2\dots {\rho }_m}+a_{j{\rho }_1,i{\rho }_2\dots {\rho }_m}=-\frac{1}{n}{\Omega }_{\left(i{\rho }_1\right)j{\rho }_2\dots {\rho }_m}+\frac{2}{n}{a}_{i{\rho }_1,\phantom{|}j{\rho }_2\dots {\rho }_m}.$$

(37)

Taking account of (37), Equation (36) may be written in the form

$$\frac{n^2+n-2}{n}{a}_{i{\rho }_1,\phantom{|}j{\rho }_2\dots {\rho }_m}=-{\Omega }_{ij{\rho }_1{\rho }_2\dots {\rho }_m}-\frac{1}{n}{\Omega }_{\left(i{\rho }_1\right)j{\rho }_2\dots {\rho }_m}.$$

(38)

Let us introduce the tensors $a_{ijkm{\rho }_1}$,…, $a_{ijkm{\rho }_1\dots {\rho }_{m-4}{\rho }_{m-3}}$ defined by

$$\begin{array}{c}{a}_{ijkm,{\rho }_1}=a_{ijkm{\rho }_1},\\ \cdots \\ a_{ijkm{\rho }_1\dots {\rho }_{m-4},{\rho }_{m-3}}=a_{ijkm{\rho }_1\dots {\rho }_{m-4}{\rho }_{m-3}}.\end{array}$$

(39)

Because of (39) we can write Equation (38) in the form

$$\frac{n^2+n-2}{n}{a}_{i{\rho }_{1}j{\rho }_2\dots {\rho }_{m-1},{\rho }_m}=-{\Omega }_{ij{\rho }_1{\rho }_2\dots {\rho }_m}-\frac{1}{n}{\Omega }_{\left(i{\rho }_1\right)j{\rho }_2\dots {\rho }_m}.$$

(40)

Obviously, the right-hand side of Equation (40) depends on the unknown tensors $P_{ij}^h$, ${\overline{R}}_{ijk}^h$, ${\overline{R}}_{ijkm}^h$, $a_{ij}$, $a_{ij{\rho }_1}$, …, $a_{ij{\rho }_1\dots {\rho }_{m-1}}$.

Hence, in the space $A_n$ Equations (3), (20)–(22), (32), (39) and (40) form a closed system of PDEs of Cauchy type with respect to the functions $P_{ij}^h\left(x\right)$, ${\overline{R}}_{ijk}^h\left(x\right)$, ${\overline{R}}_{ijkm}^h\left(x\right)$, $a_{ij}\left(x\right)$, $a_{ij{\rho }_1}\left(x\right)$,…, $a_{ij{\rho }_1\dots {\rho }_{m-1}}\left(x\right)$. Also the functions must satisfy the algebraic conditions (24).

This proves the following theorem.

Theorem 3.

In order that a space $A_n$ with an affine connection admits a canonical almost geodesic mapping of type ${\pi }_1$ onto a generalized m-Ricci-symmetric space ${\overline{A}}_n$, it is necessary and sufficient that the mixed system of differential equations of Cauchy type in covariant derivatives (3), (20)–(22), (24), (32), (39) and (40) have a solution with respect to the unknown functions $P_{ij}^h\left(x\right)$, ${\overline{R}}_{ijk}^h\left(x\right)$, ${\overline{R}}_{ijkm}^h\left(x\right)$, $a_{ij}\left(x\right)$, $a_{ij{\rho }_1}\left(x\right)$, …, $a_{ij{\rho }_1\dots {\rho }_{m-1}}\left(x\right)$.

Corollary 3.

The family of all generalized m-Ricci-symmetric spaces, which are images of a given space $A_n$ with an affine connection with respect to canonical almost geodesic mappings of type ${\pi }_1$, depends on no more then

$$\frac{1}{6}n(2n-1)(n^2-1)+\frac{1}{2(n-1)}n(1+n)(n^m+n^2-n-1)$$

essential parameters.

7. Conclusions

In this paper, we study canonical almost geodesic mappings of the first type of spaces with an affine connection onto generalized m-Ricci-symmetric spaces. These spaces are the essential generalization of the spaces considered in [24]. Ricci tensor is well known from the Einstein equation that describes gravitational fields. The added condition of generalized symmetric spaces is connected with the study of gravitation waves, which makes the topic of the study relevant.