From the Eisenhart Problem to Ricci Solitons in Quaternion Space Forms
Mundalamane Manjappa Praveena and Channabasappa Shanthappa Bagewadi^{*}
Department of Mathematics, Sri Venkateshwara College of Engineering, Bengaluru-562157, Karnataka, India, e-mail: mmpraveenamaths@gmail.com.in, Department of Mathematics, Kuvempu University, Shankaraghatta-577451, Shimoga, Karnataka, India, e-mail: prof_bagewadi@yahoo.co.in
^{*}Corresponding Author.
Received: June 19, 2016; Accepted: April 25, 2018; Published online: June 23, 2018.
This is an Open Access article distributed under the terms of the Creative Commons Attribution Non-Commercial License (http://creativecommons.org/licenses/by-nc/3.0/) which permits unrestricted non-commercial use, distribution, and reproduction in any medium, provided the original work is properly cited.
Abstract
In this paper we obtain the condition for the existence of Ricci solitons in non-flat quaternion space form by using Eisenhart problem. Also it is proved that if (g, V, λ) is Ricci soliton then V is solenoidal if and only if it is shrinking, steady and expanding depending upon the sign of scalar curvature. Further it is shown that Ricci soliton in semi-symmetric quaternion space form depends on quaternion sectional curvature c if V is solenoidal.
Keywords: quaternion Kähler manifolds, quaternion space form, parallel second order covariant tensor field, Einstein space, Ricci soliton
1. Introduction
During 1982, Hamilton [7] made the fundamental observation that Ricci flow is an excellent tool for simplifying the structure of the manifold. It is defined for Riemannain manifolds of any dimension. It is a process which deforms the metric of a Riemannian manifold analogous to the diffusion of heat there by smoothing out the regularity in the metric. It is given by
$$\frac{\partial g(t)}{\partial t}=-2Ric(g(t)).$$
where g is Riemannian metric dependent on time t and Ric(g) is Ricci tensor.
Let φ̃_{t}: M − → M, t ∈ R be a family of diffeomorphisms and ( φ̃_{t}: t ∈ R) is a one parameter family of abelian groups called flow. It generates a vector field X_{p} given by
If Y is a vector field then ${L}_{X}Y=li{m}_{t\to 0}{\scriptstyle \frac{{\tilde{\phi}}_{t}^{*}Y-Y}{t}}$ is known as Lie derivative of Y with respect to X. Ricci solitons are stationary points of the Ricci flow under φ̃_{t}: M − → M in space of metrics, that is if g_{0} is a metric on the codomain then $g(t)={\tilde{\phi}}_{t}^{*}{g}_{0}$ the pullback of g_{0}, is a metric on the domain.
A Ricci soliton is a generalization of an Einstein metric and is defined on a Riemannian manifold (M, g). It is a triple (g, V, λ) with g a Riemannian metric, V a vector field generated by φ̃_{t} and λ a real scalar such that
$${L}_{V}g+2S+2\lambda g=0.$$
where S is a Ricci tensor of M, L_{V} denotes the Lie derivative operator along the vector field V. The Ricci soliton is said to be shrinking, steady and expanding when λ is negative, zero and positive respectively.
In 1923, Eisenhart [6] proved that if a positive definite Riemannian manifold (M, g) admits a second order parallel symmetric covariant tensor other than a constant multiple of the metric tensor then it is reducible. In 1925, Levy [10] obtained the necessary and sufficient conditions for the existence of such tensors. Since then, many authors both national and international have investigated the Eisenhart problem of finding symmetric and skew-symmetric parallel tensors on various spaces and obtained fruitful results. For instance, by giving a global approach based on the Ricci identity, R. Sharma [11] investigated Eisenhart problem on non-flat real and complex space forms, in 1989. Using L.P. Eisenhart problem C. Calin and M. Crasmareanu [3], C. S. Bagewadi and G. Ingalahalli [2, 8] and S. Debnath and A. Bhattacharyya [4] have studied the existence of Ricci solitons in f-Kenmotsu manifolds, α-Sasakian, Lorentzian α-Sasakian and Trans-Sasakian manifolds.
Motivated by these ideas, in this paper, we study Ricci solitons of quaternion space form which is a generalization of complex space form using L.P. Eisenhart problem. The paper is organized as follows: The section two consists of definitions, notions and basic results of quaternion space form. The third section deals with parallel symmetric second order covariant tensor and Ricci soliton in a non-flat quaternion space form. In section 4 we give semi-symmetry on quaternion space forms.
2. Preliminaries
Let M be an n(n = 4m, m ≥ 1)-dimensional Riemannian manifold with the Riemannian metric g, then M is called a quaternion Kaehlerian manifold if there exists a 3-dimensional vector bundle μ consisting of tensors of type (1, 1) with local basis of almost Hermitian structures J, K and L such that [1, 9, 13]
where I denoting the identity tensor of type (1, 1) on M.
(b) If φ⃗ is a cross-section of the bundle μ, then ∇_{X} φ⃗ is also a cross-section of the bundle μ, X being an arbitrary vector field on M and ∇ the Riemannian connection on M.
Further the condition (b) is equivalent to the following condition;
(c) There exist the local 1-forms p, q and r such that
Let X be a unit vector tangent to the quaternion Kaehlerian manifold M, then X;JX;KX and LX form an orthonormal frame. We denote by Q(X) the 4-plane spanned by them and call it the quaternion 4-plane determined by X. Every plane in a quaternion 4-plane is called a quaternion plane. The sectional curvature formed by the quaternion plane is called quaternion sectional curvature.
A quaternion Kaehlerian manifold is called a quaternion-space-form if its quaternion sectional curvatures are equal to a constant c. It is known that a quaternion Kaehlerian manifold is a quaternion-space-form if and only if its curvature tensor R is of the following form:
are well known for a quaternion Kaehler manifold where S is a Ricci tensor. If {e_{1}, e_{2}....e_{n}} is an orthonormal basis for the tangent space to M then the scalar function r is given by $r={\sum}_{i=1}^{n}S({e}_{i},{e}_{i})$.
Symmetry of the manifold is one of the most important property among all its geometrical properties. Symmetry of the manifold basically depends on curvature tensor and the Ricci tensor of the manifold.
Definition 2.1
([5, 12]) An n-dimensional generalized complex space form is said to be Semi-symmetric if it satisfies
We shall give the concepts of symmetrization and anti-symmetri zation as below:
If φ is real valued p-linear function on the tangent space to M then φ is a covariant tensor of order p. Denote the set of all covariant tensor of order p by ⊗^{φ} T_{x}M. We know that ⊗^{φ} T_{x}M is a vector space. Define two linear transformations S_{p} and A_{p} on the vector space ⊗^{φ} T_{x}M by S_{p} = ∑_{σ}_{∈}_{γp} σφ and A_{p} = ∑_{σ}_{∈}_{γp} ɛσφ respectively, where γ_{p} is a permutation group on {1……p} and ɛ is the signature of the permutation σ. These are called as symmetrization and anti-symmetrization operators.
3. Parallel Symmetric Second Order Covariant Tensor and Ricci Soliton in a Non-flat Quaternion Space Forms
Let h be a (0, 2)-tensor which is parallel with respect to ∇ that is ∇h = 0. Applying the Ricci identity [11]
where Ω_{1} = g(Y, JZ),Ω_{2} = g(Y, KZ) and Ω_{3} = g(Y, LZ) are quaternion Kaehlerian 2-forms.
Now as H is parallel with respect to ∇, therefore tr.H, tr.(HJ), tr.(HK) and tr.(HL) are constants. Thus from equation (3.19) we can state the following
Theorem 3.1
A second order parallel tensor in a non-flat quaternion space form is a linear combination(with constant coefficients) of the underlying quaternion Kaehlerian metric and quaternion Kaehlerian 2-forms.
Corollary 3.1
The only symmetric(anti-symmetric) parallel tensor of type (0, 2) in a non-flat quaternion space form is the quaternion Kaehlerian metric (quaternion Kaehlerian 2-forms) up to a constant multiple.
Corollary 3.2
A locally Ricci symmetric (∇S = 0) non-flat quaternion space form is an Einstein manifold.
Proof
If h = S in (3.19) then tr.H = r, tr.HJ = 0, tr.HK = 0 and tr.HL = 0 by virtue of (2.7). Equation (3.19) can be written as
$$S(Y,Z)=\frac{r}{n}g(Y,Z).$$
Remark 3.1
The following statements for non-flat quaternion space form are equivalent:
(1) Einstein.
(2) locally Ricci symmetric.
(3) Ricci semi-symmetric that is R · S = 0.
Proof
The statements (1) → (2) → (3) are trivial. Now, we prove the statement (3) → (1). Here R · S = 0 means
$$(R(X,Y)\xb7S(U,W))=0,$$
where X, Y, U, W are tangent vectors. This implies
$$S(R(X,Y)U,W)+S(U,R(X,Y)W)=0.$$
Using equation (2.4) in (3.22) and putting Y = U = e_{i}, where {e_{i}} is an orthonormal basis of the tangent space at each point of the manifold and taking summation over i (1 ≤ i ≤ n) we get after simplification
$$\frac{c}{4}\{nS(X,W)-rg(X,W)\}=0.$$
If c ≠ 0 then the above equation implies
$$S(X,W)=\frac{r}{n}g(X,W).$$
Therefore we conclude the following.
Lemma 3.1
A Ricci semi-symmetric non-flat quaternion space form is an Einstein manifold provided c ≠ 0.
Corollary 3.3
Suppose that on a non-flat quaternion space form, the tensor field L_{V} g + 2S of type (0,2) is parallel where V is a given vector field. Then (g, V ) yields a Ricci soliton if JV, KV and LV are solenoidal. In particular, if the given non-flat quaternion space form is Ricci semi-symmetric with L_{V} g parallel, we have same conclusion.
Proof
From Theorem 3.1 and Corollary 3.2, we have $\lambda ={\scriptstyle \frac{r}{n}}$ as seen below:
Therefore $\lambda ={\scriptstyle \frac{r}{n}}$. Thus (g, V, λ) is Ricci soliton with $\lambda ={\scriptstyle \frac{r}{n}}$.
Lemma 3.2
Let (g, V, λ) be a Ricci soliton in a non-flat quaternion space form. Then V is solenoidal if and only if it is shrinking, steady and expanding depending upon the sign of scalar curvature.
Putting Y = Z = e_{i} where {e_{i}} is an orthonormal basis of the tangent space at each point of the manifold and taking summation over i (1 ≤ i ≤ n), we get
If V is solenoidal then divV = 0. Therefore the equation (4.8) gives
$$\lambda =-\beta .$$
Thus we can state the following from (4.6) and (4.9)
Lemma 4.1
If (g, V, λ) is a Ricci soliton in a quaternion space form satisfying semi symmetric condition then Ricci solitons depend on quaternion sectional curvature c provided V is solenoidal.
References
Adachi, T, and Maeda, S (2000). Some characterizations of quaternionic space forms. Proc Japan Acad Ser A Math Sci. 76, 168-172.
Bagewadi, CS, and Ingalahalli, G (2012). Ricci solitons in Lorentzian α-Sasakian manifolds. Acta Math Acad Paedagog Nyházi. 28, 59-68.
Călin, C, and Crasmareanu, M (2010). From the Eisenhart problem to Ricci solitons in f-Kenmotsu manifolds. Bull Malays Math Sci Soc (2). 33, 361-368.
Debnath, S, and Bhattacharyya, A (2012). Second order parallel tensor in Trans-Sasakian manifolds and connection with ricci soliton. Lobachevskii J Math. 33, 312-316.
Deszcz, R (1992). On pseudosymmetric spaces. Bull Soc Math Belg Ser A. 44, 1-34.
Eisenhart, LP (1923). Symmetric tensors of the second order whose first covariant derivatives are zero. Trans Amer Math, Soc. 25, 297-306.
Hamilton, RS (1988). The Ricci flow on surfaces, Mathematics and general relativity (Santa Cruz, CA, 1986), Contemp. Math. Amer Math Soc. 71, 237-262.
Ingalahalli, G, and Bagewadi, CS (2012). Ricci solitons in α-Sasakian manifolds. ISRN Geometry, 1-13.