The object of the present paper is to obtain the characterization of a warped product semi-Riemannian manifold with a special type of recurrent like structure, called super generalized recurrent. As consequence of this result we also find out the necessary and sufficient conditions for a warped product manifold to satisfy some other recurrent like structures such as weakly generalized recurrent manifold, hyper generalized recurrent manifold etc. Finally as a support of the main result, we present an example of warped product super generalized recurrent manifold.
The manifold M is said to be recurrent [Wa50] if
holds on \{x\in M : \nabla R \neq 0 \,\,\mbox{at}\,\, x\} for an 1-form \Pi\in\chi^*(M), called the associated 1-form of the recurrent structure. Such an n-dimensional manifold is denoted by K_{n}.
The manifold M is said to be quasi generalized recurrent [SR10], hyper generalized recurrent [SP10], weakly generalized recurrent [SR11] and super generalized recurrent respectively if the condition
holds respectively on \{x\in M:\nabla R \neq \xi \otimes R \,\,\mbox{at}\,\, x\ \forall\ \xi \in \chi^*(M)\} \subset M for some \Pi, \Phi, \Psi, \Theta and \eta \in \chi^*(M), called the associated 1-forms.
Let D\in \mathcal T^0_4(M) and A, E, F \in \mathcal T^0_2(M). Then M is said to be Roter type manifold (briefly, RT_n) with (D;A,E) ([Desz03], [Desz03a]) and generalized Roter type manifold (briefly, GRT_n) with (D;A,E,F) ([SDHJK], [SKgrt], [SKgrtw]) respectively if
respectively, for some N_i, L_j \in C^{\infty}(M), 1\le i\le 3 and 1\le j\le 6.
Let M^n = \overline M^p \times_f \widetilde M^{n-p} be a warped product manifold. Then M is a SGK_n with (\Pi,\Phi,\Psi,\Theta) if and only if the following conditions hold simultaneously
First suppose that M is SGK_n. Then in terms of local coordinates the defining condition can be written as
Putting
respectively in (Proof) and then in view of (?)-(?) it is easy to check that (?) holds. Similarly putting
respectively in (Proof) and then in view of (?)-(?) we get (?)-(?) respectively. The converse part is obvious. This proves the theorem.
From Theorem 4.1, it follows that the nature of base and fiber of a warped product SGK_n is given by the following:
Let M^n = \overline M^p \times_f \widetilde M^{n-p} be a warped product SGK_nwith (\Pi,\Phi,\Psi,\Theta). Then
(i) \overline M is a SGK_p if T can be expressed as a linear combination of \overline S and \overline g.
(ii) \overline M is a GRT_p with (\overline R; \overline g, \overline S, T) on \{x \in M: \widetilde \Pi_x \ne 0\}.
(iii) \widetilde M is a SGK_{n-p} with (\widetilde \Pi,\frac{1}{f}\widetilde \Phi,\frac{Q}{f}\widetilde \Phi+\widetilde \Psi,-\frac{1}{2} f P \widetilde \Pi + \frac{Q^2}{f} \widetilde \Phi + Q \widetilde \Psi + f \widetilde \Theta).
(iv) \widetilde M is a RT_{n-p} with (\widetilde R; \widetilde g, \widetilde S) on \{x \in M: (df + f \overline \Pi)_x \ne 0\}.
(v) \widetilde M satisfies Einstein metric condition on \{x \in M: (2(\overline \kappa - (n-p)tr(T)) \overline \Phi + p\overline \Psi)_x \ne 0\} \cup \{x \in M: (2(\overline \kappa - (n-p)tr(T)) \widetilde \Phi + p\widetilde \Psi)_x \ne 0\} = \{x \in M: (2(\overline \kappa - (n-p)tr(T)) \Phi + p \Psi)_x \ne 0\}.
(vi) \widetilde M is of constant curvature on \{x \in M: df_x \ne 0\}.
From Theorem 4.1, the characterization of a decomposable or product SGK_n is given by the following:
Let M^n = \overline M^p \times \widetilde M^{n-p} be a product manifold. Then M is a SGK_n with (\Pi,\Phi,\Psi,\Theta) if and only if
1. (i) \overline\nabla\overline R = \overline \Pi \otimes \overline R + \overline \Phi \otimes \overline S \wedge \overline S
+ \overline \Psi \otimes \overline g\wedge \overline S
+ \overline \Theta \otimes \overline g \wedge \overline g,
(ii) -\widetilde \Pi \otimes \overline R = \widetilde \Phi \otimes \overline S \wedge \overline S
+\widetilde \Psi \otimes \overline g \wedge \overline S + \widetilde \Theta \otimes \overline g \wedge \overline g,
2. (i) \widetilde\nabla\widetilde R = \widetilde \Pi \otimes \widetilde R+\widetilde\Phi\otimes\widetilde S\wedge \widetilde S
+ \widetilde \Psi \otimes \widetilde g\wedge \widetilde S
+ \widetilde \Theta \otimes \widetilde g \wedge \widetilde g,
(ii) -\overline \Pi \otimes \widetilde R = \overline \Phi \otimes \widetilde S \wedge \widetilde S
+\overline \Psi \otimes \widetilde g \wedge \widetilde S +\overline \Theta \otimes \widetilde g \wedge \widetilde g,
3. (i) \left[2\overline \Phi\otimes\overline S + \overline \Psi\otimes \overline g\right]\otimes \widetilde S =
-[\overline \Psi\otimes \overline S + 2\overline \Theta\otimes \overline g] \otimes \widetilde g,
(ii) \left[2\widetilde \Phi\otimes\widetilde S + \widetilde \Psi\otimes \widetilde g\right]\otimes \overline S =
-[\widetilde \Psi\otimes \widetilde S + 2\widetilde \Theta\otimes \widetilde g] \otimes \overline g.
From the above, the nature of each factor of a product SGK_n is given by the following:
Let M^n = \overline M^p \times \widetilde M^{n-p} be a product SGK_n with (\Pi,\Phi,\Psi,\Theta). Then
(i) base and fiber are both super generalized recurrent manifolds.
(ii) \overline M is a RT_p with (\overline R; \overline g, \overline S) on \{x \in M: \widetilde \Pi_x \ne 0\}.
(iii) \widetilde M is a RT_{n-p} with (\widetilde R; \widetilde g, \widetilde S) on \{x \in M: \overline \Pi_x \ne 0\}.
(iv) \overline M satisfies Einstein metric condition on \{x \in M: (2\widetilde \kappa \widetilde \Phi + (n-p)\widetilde \Psi)_x \ne 0\}.
(v) \widetilde M satisfies Einstein metric condition on \{x \in M: (2\overline \kappa \overline \Phi + p\overline \Psi)_x \ne 0\}.
[SK12] Let M^n = \overline M^p \times_f \widetilde M^{n-p} be a warped product manifold. Then M is a recurrent manifold with
if and only if the following conditions hold simultaneously
1. (i) \overline \nabla \overline R = \overline \Pi \otimes \overline R, (ii) \widetilde \Pi \otimes \overline R = 0,
2. (i) -(df + f \overline \Pi)\otimes \widetilde R =\frac{1}{2}f^2(P \overline \Pi - dP)\otimes\widetilde g\wedge \widetilde g, (ii) \widetilde\nabla\widetilde R = \widetilde \Pi \otimes \widetilde R and P \widetilde \Pi =0,
3. (i) \overline \nabla T = \overline \Pi\otimes T, (ii) \widetilde \Pi\otimes T = 0,
4. (i) f^d R_{abcd} = -(f_a T_{bc}-f_b T_{ac}) and (ii) df\otimes \widetilde R = f^2 dP\otimes \widetilde G.
Let M^n = \overline M^p \times_f \widetilde M^{n-p} be a warped product recurrent manifold satisfying \nabla R = \Pi \otimes R. Then
(i) \overline M and \widetilde M are both recurrent. Also T is recurrent with associated 1-form \Pi.
(ii) \overline R = 0, T =0 and P =0 on the set \{x\in M:\widetilde \Pi \ne 0\}.
(iii) \widetilde M is of constant curvature on \{x\in M:df_x \ne 0\} \cup \{x\in M:(df + f \overline \Pi)_x \ne 0\}.
Let M^n = \overline M^p \times \widetilde M^{n-p} be a product manifold. Then M is recurrent satisfying
if and only if
(i) \overline \nabla \overline R = \overline \Pi \otimes \overline R, \widetilde \Pi \otimes \overline R = 0,
(ii) \overline \Pi\otimes \widetilde R = 0, \widetilde\nabla\widetilde R = \widetilde \Pi \otimes \widetilde R.
Let M^n = \overline M^p \times_f \widetilde M^{n-p} be a warped product manifold. Then M is a HGK_n with (\Pi,\Psi) if and only if the following conditions hold simultaneously
1. (i) \overline \nabla \overline R = \overline \Pi \otimes \overline R
+ \overline \Psi \otimes \overline g \wedge \overline S
- (n-p)\overline \Psi \otimes \overline g \wedge T,
(ii) -\widetilde \Pi \otimes \overline R = \widetilde \Psi \otimes \overline g \wedge \overline S
- (n-p)\widetilde \Psi \otimes \overline g \wedge T,
2. (i) -(df + f \overline \Pi)\otimes \widetilde R = f\overline \Psi \otimes \widetilde g \wedge \widetilde S
+ (-\frac{1}{2} f^2(P \overline \Pi + dP) + f Q \overline \Psi)
\otimes \widetilde g \wedge \widetilde g,
(ii) f \widetilde\nabla\widetilde R = f \widetilde \Pi \otimes \widetilde R
+ f\widetilde \Psi \otimes \widetilde g \wedge \widetilde S
+ (-\frac{1}{2} f^2 P \widetilde \Pi + f Q \widetilde \Psi)
\otimes \widetilde g \wedge \widetilde g,
3. (i) \overline \Psi\otimes \overline g\otimes \widetilde S =
-[f(\overline \nabla T - \overline \Pi\otimes T) + f\overline \Psi\otimes (\overline S - (n-p)T) + Q\overline \Psi\otimes \overline g] \otimes \widetilde g,
(ii) \widetilde \Psi\otimes \overline g \otimes \widetilde S = -[-f\widetilde \Pi\otimes T + f\widetilde \Psi \otimes (\overline S - (n-p)T) + Q\widetilde \Psi \otimes \overline g] \otimes \widetilde g,
4. (i) f^d R_{abcd} = -(f_a T_{bc}-f_b T_{ac}) and
(ii) df\otimes \widetilde R = f^2 dP\otimes \widetilde G.
Let M^n = \overline M^p \times_f \widetilde M^{n-p} be a warped product HGK_n with (\Pi,\Psi). Then
(i) \overline M is hyper generalized recurrent manifold if T and S are linearly dependent.
(ii) \widetilde M is a SGK_{n-p} with (\widetilde \Pi,0,\widetilde \Psi,-\frac{1}{2} f P \widetilde \Pi + Q \widetilde \Psi).
(iii) \widetilde M is of vanishing conformal curvature tensor on \{x\in M:(df + f \overline \Pi)_x \ne 0\}.
(iv) \widetilde M satisfies Einstein metric condition on \{x\in M:\Psi_x \ne 0\} and \widetilde M is of constant curvature on \{x\in M:df_x \ne 0\}.
Results of (i), (ii) and (iv) are obvious from Corollary ?. By virtue of 2.(i) of Corollary ?, on \{x\in M:(df + f \overline \Pi)_x \ne 0\}, \widetilde R can be exressed as a linear combination of \widetilde g \wedge \widetilde S and \widetilde g \wedge \widetilde g. Hence in view of Corollary 6.1 of [SK14], the conformal curvature tensor of \widetilde M vanishes on this set, which proves (iii).
Let M^n = \overline M^p \times \widetilde M^{n-p} be a product manifold. Then M is a HGK_n with (\Pi,\Psi) if and only if the following conditions hold simultaneously
1. (i) \overline \nabla \overline R = \overline \Pi \otimes \overline R
+ \overline \Psi \otimes \overline g \wedge \overline S, (ii) \widetilde \Pi \otimes \overline R + \widetilde \Psi \otimes \overline g \wedge \overline S = 0,
2. (i) \overline \Pi\otimes \widetilde R + \overline \Psi \otimes \widetilde g \wedge \widetilde S = 0, (ii) \widetilde\nabla\widetilde R = \widetilde \Pi \otimes \widetilde R
+ \widetilde \Psi \otimes \widetilde g \wedge \widetilde S,
3. (i) \overline \Psi\otimes \overline g\otimes \widetilde S = -\overline \Psi\otimes \overline S \otimes \widetilde g, (ii) \widetilde \Psi\otimes \overline g \otimes \widetilde S = -\widetilde \Psi \otimes \overline S \otimes \widetilde g.
Let M^n = \overline M^p \times_f \widetilde M^{n-p} be a warped product manifold. Then M is a WGK_n with (\Pi,\Phi) if and only if the following conditions hold simultaneously
1. (i) \overline \nabla \overline R = \overline \Pi \otimes \overline R
+ \overline \Phi \otimes \overline S \wedge \overline S - 2(n-p)\overline \Phi
\otimes (\overline S\wedge T) + (n-p)^2\overline \Phi \otimes T\wedge T,
(ii) -\widetilde \Pi \otimes \overline R = \widetilde \Phi \otimes \overline S \wedge \overline S
- 2(n-p)\widetilde \Phi\otimes (\overline S\wedge T)
+ (n-p)^2\widetilde \Phi \otimes T\wedge T,
2. (i) -(df + f \overline \Pi)\otimes \widetilde R = \overline \Phi \otimes \widetilde S \wedge \widetilde S
+ 2 Q \overline \Phi \otimes \widetilde g \wedge \widetilde S
+ (-\frac{1}{2}f^2(P \overline \Pi - dP)
+ Q^2 \overline \Phi) \otimes \widetilde g \wedge \widetilde g,
(ii) f \widetilde\nabla\widetilde R = f \widetilde \Pi \otimes \widetilde R
+ \widetilde \Phi \otimes \widetilde S \wedge \widetilde S
+ Q \widetilde \Phi\otimes \widetilde g \wedge \widetilde S
+ (-\frac{1}{2} f^2 P \widetilde \Pi + Q^2 \widetilde \Phi) \otimes \widetilde g \wedge \widetilde g,
3. (i) 2 \overline \Phi\otimes(\overline S - (n-p)T) \otimes \widetilde S =
-[f(\overline \nabla T - \overline \Pi\otimes T)+ 2Q\overline \Phi\otimes (\overline S - (n-p)T)] \otimes \widetilde g,
(ii) 2 \widetilde \Phi\otimes(\overline S - (n-p)T)\otimes \widetilde S =
-[-f\widetilde \Pi\otimes T+ 2 Q\widetilde \Phi\otimes (\widetilde S - (n-p)T)] \otimes \widetilde g,
4. (i) f^d R_{abcd} = -(f_a T_{bc}-f_b T_{ac}) and
(ii) df\otimes \widetilde R = f^2 dP\otimes \widetilde G.
Let M^n = \overline M^p \times_f \widetilde M^{n-p} be a warped product WGK_n with (\Pi,\Phi). Then
(i) \overline M is a WGK_{p} if T and S are linearly dependent.
(ii) \widetilde M is a SGK_{n-p} with (\widetilde \Pi,\Phi,\frac{Q}{f}\widetilde \Psi,-\frac{1}{2} f P \widetilde \Pi + \frac{Q^2}{f} \widetilde \Phi).
(iii) \widetilde M is a RT_{n-p} with (\widetilde R;\widetilde g,\widetilde S) on \{x\in M:(df + f \overline \Pi)_x \ne 0\}.
(iv) \widetilde M satisfies Einstein metric condition on \{x \in M: ((\overline \kappa - (n-p)tr(T)) \Phi)_x \ne 0\} and is of constant curvature on \{x\in M:df_x \ne 0\}.
Let M^n = \overline M^p \times \widetilde M^{n-p} be a product manifold. Then M is a WGK_n with (\Pi,\Phi) if and only if the following conditions hold simultaneously
1. (i) \overline \nabla \overline R = \overline \Pi \otimes \overline R
+ \overline \Phi \otimes \overline S \wedge \overline S, (ii) \widetilde \Pi \otimes \overline R + \widetilde \Phi \otimes \overline S \wedge \overline S = 0,
2. (i) \overline \Pi \otimes \widetilde R + \overline \Phi \otimes \widetilde S \wedge \widetilde S = 0, (ii) \widetilde\nabla\widetilde R = \widetilde \Pi \otimes \widetilde R
+ \widetilde \Phi \otimes \widetilde S \wedge \widetilde S,
3. (i) \overline \Phi\otimes \overline S \otimes \widetilde S = 0, (ii) \widetilde \Phi\otimes \overline S \otimes \widetilde S = 0.
Consider the warped product M = \overline M\times_f \widetilde M, where \overline M is a 3-dimensional manifold equipped with the metric
in local coordinates (x^1, x^2, x^3) and \widetilde M is an open interval of \mathbb R with local coordinate x^4 and the warping function f=e^{x^3}. The non-zero components of the Riemann-Christoffel curvature tensor \overline R and Ricci tensor \overline S of \overline M are given by
The text on this page is from arXiv:1504.03271v1 by Absos Ali Shaikh, Haradhan Kundu and Md. Showkat Ali, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/1504/1504.03271.jsonl.