Conformal Vector Fields and the De-Rham Laplacian on a Riemannian Manifold

We study the effect of a nontrivial conformal vector field on the geometry of compact Riemannian spaces. We find two new characterizations of the m-dimensional sphere Sm(c) of constant curvature c. The first characterization uses the well known de-Rham Laplace operator, while the second uses a nontrivial solution of the famous Fischer–Marsden differential equation.

On a Riemannian manifold (M, g), the Ricci operator S is defined using Ricci tensor Ric, by Ric(X, Y) = g(SX, Y), X ∈ X(M), where X(M) is the Lie algebra of smooth vector fields on M (see [23]). Similarly, the rough Laplace operator on the Riemannian manifold (M, g), ∆ : X(M) → X(M) is defined by [24] where ∇ is the Riemannian connection and {e 1 , ..., e m } is a local orthonormal frame on M, m = dim M. Rough Laplace operator is used in finding characterizations of spheres as well as of Euclidean spaces (cf. [17,25]). Recall that the de-Rham Laplace operator : X(M) → X(M) on a Riemannian manifold (M, g) is defined by (cf. [24], p-83) and is used to characterize a Killing vector field on a compact Riemannian manifold. It is known that if ξ is a Killing vector field on a Riemannian manifold (M, g) or a soliton vector field of a Ricci soliton (M, g, ξ, λ), then ξ = 0 (cf. [11]). In addition, Fischer-Marsden considered the following differential equation (cf. [26]) on a Riemannian manifold (M, g): where Hess( f ) is the Hessian of smooth function f and ∆ is the Laplace operator acting on smooth functions of M. It is known that if a complete Riemannian manifold (M, g) has a nontrivial solution f to (2), then the scalar curvature of g is a constant (see [26,27]). We remark that Fischer and Marsden conjectured that if a compact Riemannian manifold admits a nontrivial solution of the differential Equation (2), then it must be an Einstein manifold.
Counterexamples to the conjecture were provided by Kobayashi [28] and Lafontaine [29]. If we consider the sphere S m (c) of constant curvature c as hypersurface of the Euclidean space R m+1 with unit normal ξ and shape operator B = − √ cI, where I stands for the identity operator, then it is well known that the Ricci operator S of the sphere S m (c) is given by Now, consider a constant unit vector field ς on the Euclidean space R m+1 . Then restricting ς to the sphere S m (c) one can express it as where u is the tangential projection of ς on the sphere and ·,· is the Euclidean metric. Taking covariant derivative of the above equation with respect to a vector field X on the sphere S m (c) and using Gauss-Weingarten formulae for hypersurface, we conclude where ∇ is the Riemannian connection on the sphere S m (c) with respect to the canonical metric g and ∇ f is the gradient of the smooth function f on S m (c). Then it follows that the rough Laplace operator ∆ acting on u and the Laplace operator acting on the smooth function f are respectively given by Now, due to the choice of the constant unit vector field ς on the Euclidean space and the equations in (3), we see that u is not parallel and that f is a nonconstant function. Further, we observe that the vector field u on the sphere S m (c) satisfies In addition, the Hessian of f is given by and using Equations (4) and (5), we see that the function f on the sphere S m (c) satisfies the Fischer-Marsden Equation (2).
Recall that a smooth vector field u on a Riemannian manifold (M, g) is said to be a conformal vector field, if where £ u g is the Lie differentiation of g with respect to the vector field u and σ is a smooth function on M called the potential function (or the conformal factor) of the conformal vector field u. A conformal vector field is said to be nontrivial if the potential function σ is a nonzero function. We observe that using Equation (4), the vector field u on the sphere S m (c) satisfies that is, u is a nontrivial conformal vector field with potential function (conformal factor) − √ c f . Thus, the sphere S m (c) admits a nontrivial conformal vector field that is an eigenvector of the de-Rham Laplace operator with eigenvalue (m − 2)c (see Equation (5)) and the potential function is solution of the Fischer-Marsden differential Equation (2). These raise two natural questions: (i) Is a compact Riemannian manifold (M, g) that admits a nontrivial conformal vector field u, which is eigenvector of de-Rham Laplace operator corresponding to a positive eigenvalue, necessarily isometric to a sphere?
(ii) Is a compact Riemannian manifold (M, g) that admits a nontrivial conformal vector field u with potential function a nontrivial solution of the Fischer-Marsden differential equation, necessarily isometric to a sphere?
In this paper, we answer the above two problems, showing that the first question has an affirmative answer (cf. Theorem 1), while an affirmative answer for the second question requires an additional condition on the Ricci curvature (cf. Theorem 2).

Preliminaries
Let u be a nontrivial conformal vector field on an m-dimensional Riemannian manifold (M, g) and X(M) be the Lie algebra of smooth vector fields on M. Let γ be the smooth 1-form dual to u, that is γ(X) = g(X, u), X ∈ X(M).
If we define a skew-symmetric operator G, called the associate operator of u, by then using the above equation and Equation (6) in Koszul's formula (see [30] [p. 55, where ∇ is the Riemannian connection on (M, g). We adopt the following expression for curvature tensor and use Equation (8) to compute Using the above equation and the expression for the Ricci tensor where {e 1 , ..., e m } is a local orthonormal frame, we obtain where we used the skew-symmetry of the operator G. The above equation gives Now, using Equation (8), we compute the action of the rough Laplace operator ∆ on the vector field u and find Note that using Equation (8), we get divu = mσ, div(σu) = u(σ) + mσ 2 .
Let τ = TrS be the scalar curvature of the Riemannian manifold. Then we have the following expression for the gradient of the scalar curvature where {e 1 , ..., e m } is a local orthonormal frame.

Characterizations of Spheres
Let u be a nontrivial conformal vector field on an m-dimensional Riemannian manifold (M, g) with nonzero potential function σ. In this section, we find two new characterizations of spheres through nontrivial conformal vector fields, using the de-Rham Laplace operator and the Fischer-Marsden differential equation. If u is a nontrivial conformal vector field with potential function σ on an m-dimensional compact Riemannian manifold (M, g), then using Equation (11) Proof. Suppose u is a nontrivial conformal vector field with potential function σ on a compact Riemannian manifold (M, g) that satisfies where λ is a constant. Then using Equations (9) and (10), we conclude If λ = 0, then the above equation will imply that σ is a constant and then the first Equation in (12) will imply σ = 0, contrary to our assumption that u is a nontrivial conformal vector field. Hence, the constant λ = 0. Now, taking covariant derivative in Equation (13) and using Equation (8), we get Taking the inner product with X ∈ X(M) in the above equation and noticing that G is skew symmetric, we conclude g(∇ X ∇σ, X) = − λσ m − 2 g(X, X).

Using polarization in above equation, and noticing that
is symmetric, we get Taking trace in above equation, we get Since u is a nontrivial conformal vector field, it follows that σ is nonconstant due to Equation (12) and consequently, the above equation suggests that σ is an eigenfunction of the Laplace operator with eigenvalue mλ m−2 . Thus the nonzero constant λ > 0. Hence, Equation (14) being Obata's differential equation implies that (M, g) is isometric to the sphere S m λ m−2 (cf. [18,19]). Conversely, if (M, g) is isometric to the sphere S m λ m−2 , then Equation (5) confirms the existence of nontrivial vector field u satisfying u = λu for a constant λ.
Recall that if an m-dimensional Riemannian manifold (M, g) admits a nontrivial solution of the Fischer-Marsden differential Equation (2), m > 2, then the scalar curvature τ is a constant (cf. [26,27]) and the nontrivial solution f satisfies Now, we consider an m-dimensional Riemannian manifold (M, g) that admits a nontrivial conformal vector field u with potential function σ that is a nontrivial solution of the Fischer-Marsden differential Equation (2)  Proof. Suppose the potential function σ of a nontrivial conformal vector field u is a nontrivial solution of the Fischer-Marsden (2) on an m-dimensional compact Riemannian manifold (M, g) and the associated operator G satisfies where the constant α is given by τ = m(m − 1)α. Since the potential function is a nontrivial solution of the Equation (2), by Equation (15), we have ∆σ = −mασ.
As observed earlier, for a nontrivial conformal vector field u we have that the potential function σ is nonconstant and by Equation (17) we see that σ is an eigenfunction of the Laplace operator and therefore α > 0. Now, using Equation (9), we have Using Equation (8) and skew-symmetry of the associated operator G, we find where for a local orthonormal frame {e 1 , ..., e m }. Inserting Equation (19) in Equation (18), we get and integrating the above equation while using Equation (12), we derive Using the Bochner's formula (cf. Now, using the symmetry of Hess(σ) and skew-symmetry of the operator G in computing div(G∇σ), we get div(G∇σ) = − m ∑ i=1 g(∇σ, (∇G)(e i , e i )) and using Equation (9) in above equation, we have div(G∇σ) = Ric(u, ∇σ) + (m − 1) ∇σ 2 .
Integrating the above equation yields In addition, Equation (17) implies Note that Ric(∇σ + αu, ∇σ + αu) = Ric(∇σ, ∇σ) + 2αRic(u, ∇σ) + α 2 Ric(u, u) and integrating the above equation while using Equations (20)-(23), we conclude that is, on using Equation (17), we have Now, using inequality (16) and the Schwartz's inequality |Hess(σ)| 2 ≥ 1 m (∆σ) 2 in the above equation, we derive |Hess(σ)| 2 = 1 m (∆σ) 2 and the above equality holds if and only if Hence, by Equation (17) we have where α is a positive constant and the potential function α is a nonconstant function due to the fact that u is a nontrivial conformal vector field and first equation in Equation (12). Hence, by Obata's result, it follows that (M, g) is isometric to the sphere S m (α). The converse is trivial as the sphere S m (α) admits a nontrivial conformal vector field u with potential function σ = − √ α f (see Equation (7)) with ∇σ = −αu (see Equation (3). Thus, we have ∇σ + αu = 0 and u being a gradient (see Equation (3)), it follows that dγ = 0, where γ is the smooth 1-form dual to u, and therefore we derive immediately that G = 0. Hence, we conclude that on the sphere S m (α) the conditions in the statement of the Theorem 2 hold.

Conclusions
The aim of the present work was to study whether the existence of a nontrivial conformal vector field on an n-dimensional compact Riemannian manifold satisfying some very natural conditions influences the geometry of this space. Investigating this question, we arrived at two characterizations of the standard n-spheres with the help of nontrivial conformal vector fields, using the de-Rham Laplace operator and the Fischer-Marsden differential equation. One of the key ingredients in proving these results was the Obata's celebrated theorem on the characterization of the standard spheres (see [18]). Finally, we would like to mention some possible applications of the results. Obviously, it is unfeasible to obtain results of this type imposing such conditions for a general vector field on a general Riemannian space, but it is expected to be possible to adapt and apply the techniques developed in this article to other remarkable vector fields and famous (partial) differential equations on Riemannian manifolds. It is clear that such characterizations provide us a better insight of the relationship between differential equations and vector fields on Riemannian manifolds. In particular, it is worth mentioning that as immediate applications of the results, we obtain not only characterizations but also obstructions to the existence of certain nontrivial solutions to some (partial) differential equations on spaces of great interest in differential geometry, like Euclidean spheres, complex and quaternion projective spaces (see, e.g, [25]). Applications in physics are also notable, as many complicated physical problems are modeled through differential equations on certain (pseudo)-Riemannian manifolds (see, e.g, the recent books [32,33]). We only mention that the Fisher and Marsden equation investigated in this work in a geometric setting is nothing but the so-called vacuum static equation on static spaces introduced by Hawking and Ellis in [34].