On Killing Vector Fields on Riemannian Manifolds

: We study the inﬂuence of a unit Killing vector ﬁeld on geometry of Riemannian manifolds. For given a unit Killing vector ﬁeld w on a connected Riemannian manifold ( M , g ) we show that for each non-constant smooth function f ∈ C ∞ ( M ) there exists a non-zero vector ﬁeld w f associated with f . In particular, we show that for an eigenfunction f of the Laplace operator on an n -dimensional compact Riemannian manifold ( M , g ) with an appropriate lower bound on the integral of the Ricci curvature S ( w f , w f ) gives a characterization of the odd-dimensional unit sphere S 2 m + 1 . Also, we show on an n -dimensional compact Riemannian manifold ( M , g ) that if there exists a positive constant c and non-constant smooth function f that is eigenfunction of the Laplace operator with eigenvalue nc and the unit Killing vector ﬁeld w satisfying (cid:107)∇ w (cid:107) 2 ≤ ( n − 1 ) c and Ricci curvature in the direction of the vector ﬁeld ∇ f − w is bounded below by ( n − 1 ) c is necessary and sufﬁcient for ( M , g ) to be isometric to the sphere S 2 m + 1 ( c ) . Finally, we show that the presence of a unit Killing vector ﬁeld w on an n -dimensional Riemannian manifold ( M , g ) with sectional curvatures of plane sections containing w equal to 1 forces dimension n to be odd and that the Riemannian manifold ( M , g ) becomes a K-contact manifold. We also show that if in addition ( M , g ) is complete and the Ricci operator satisﬁes Codazzi-type equation, then ( M , g ) is an Einstein Sasakian manifold.


Introduction
Killing vector fields are known to play vital role in influencing the geometry as well as topology of Riemannian manifolds (see [1][2][3][4][5][6][7][8][9][10]) and being incompressible fields play important role in physics (see [11]). If we restrict the length of a Killing vector fields such as constant length, then it severely restricts the geometry of Riemannian manifolds on which they are set. For instance, there are no unit Killing vector fields on even-dimensional spheres S 2n (c). However, there are unit Killing vector fields on odd-dimensional spheres S 2n+1 (c) as well on odd-dimensional ellipsoids (see [4,12,13]). Most importantly, on all Kcontact manifolds there is a unit Killing vector field called the Reeb vector field (see [12,13]). There are other important structures and special vector fields, which also influence the geometry of a Riemannian manifold (see [14]).
In this paper, we are interested in studying the impact of presence of a unit Killing vector field w on the geometry of a connected Riemannian manifold (M, g). Our first interesting finding is that for each smooth non-constant function f on M, there is naturally associated a non-zero vector field w f on M that is orthogonal to w (see Proposition 1). Then we consider the associated vector field w f corresponding to eigenfunction f of Laplace operator on a compact Riemannian manifold (M, g) corresponding to eigenvalue dim M and show that if the integral of Ricci curvature in the direction of w f is bounded below by certain bound, forces dim M to be odd and thus gives a necessary and sufficient for (M, g) to be isometric to the unit sphere S 2m+1 (see Theorem 1). A similar characterization of the sphere S 2m+1 (c) using the eigenfunction f on a compact n-dimensional (M, g) with eigenvalue nc is obtained (see Theorem 2).
Given a unit Killing vector field w on a connected Riemannian manifold (M, g) there is associated skew-symmetric tensor field Ψ given by the covariant derivative of w, giving a structure (Ψ, w, α, g) on M, where α is 1-form dual to w. A natural question is under which situation the structure (Ψ, w, α, g) becomes a K-contact structure? We answer this question and find a necessary and sufficient condition in terms of sectional curvatures of plane sections containing w (see Theorem 3). We also find conditions under which a Riemannian manifold admitting a unit Killing vector field is an Einstein manifold (see Theorems 4 and 5). Finally, as a by-product of Theorem 3 with an additional condition that the Ricci operator is Codazzi type tensor on a Riemannian manifold (M, g) that admits a unit Killing vector field w, we show that (M, g) is an Einstein Sasakian manifold (see Corollary 2).

Preliminaries
Recall that a vector field w on a Riemannian manifold (M, g) is said to be a Killing vector fields if where £ w being Lie-derivative of metric g with respect to ξ; or equivalently, where ∇ is the Riemannian connection on (M, g) and X(M) is Lie-algebra of smooth vector fields on M. Please note that a parallel vector field is a Killing vector field, we say a Killing vector field is a non-trivial Killing vector field if it is not parallel. For the Killing vector field w on an n-dimensional Riemannian manifold (M, g), we denote by α the smooth 1-form dual to w, i.e., α(X) = g(w, X), X ∈ X(M). In addition, we define a skew-symmetric (1.1)-tensor field Ψ by Then, using Equation (1), it follows that The curvature tensor field R and the Ricci tensor S of (M, g) are given by and respectively, where {e 1 , .., e n } is a local orthonormal frame on M. According to symmetry of the Ricci tensor S, we get a symmetric operator T called the Ricci operator of M and defined by The scalar curvature τ of M is given by τ = Tr T. Please note that ∇τ-the gradient of the scalar curvature τ-satisfies where ∇T is the covariant derivative of T, defined by Please note that if w is a Killing vector field on a Riemannian manifold (M, g), then using Equations (2) and (3), we have From definition of Ψ, we see that the smooth 2-form g(ΨX 1 , X 2 ) is closed and as a result of using Equation (5), we make a conclusion Observe that if w is a Killing vector field of constant length on a Riemannian manifold (M, g), then taking the inner product with w in Equation (2), we get g(ΨX, w) = 0, X ∈ X(M), and as Ψ is skew-symmetric, we conclude For given a smooth function f on a Riemannian manifold the Hessian operator H f is defined by which is a symmetric operator with where ∆ is the Laplace operator. The Hessian Hess( f ) of f is defined by Let w be a Killing vector field on a Riemannian manifold (M, g) and C ∞ (M) be the algebra of smooth functions on M. Then, using Equation (2) and skew-symmetry of the operator Ψ, it follows that divw = 0 and that for a smooth function f ∈ C ∞ (M), we have div( f w) = w( f ). Thus, we get Proof. Assume that w is a unit Killing vector field on a Riemannian manifold (M, g). Then, using Equations (2) and (7), we have (∇Ψ)(X, w) = −Ψ 2 X, X ∈ X(M).
Now, using a local orthonormal frame {e 1 , ..., e n }, n = dim M, and noting that R(w, e i )e i and in view of Equation (6), we conclude Taking the inner product in above equation with w and using Equation (9), we deduce Proof. Please note that the flow of the Killing vector field w consists of isometries of the Riemannian manifold, therefore, we have w(τ) = 0. We use Equation (2) in computing the divergence div(Tw) and get where {e 1 , ..., e n } is a local orthonormal frame, n = dim M. Owing to symmetry of T and skew-symmetry of Ψ, it follows that Tr(T • Ψ) = 0 and using Equation (4), we conclude div(Tw) = 0. Also, we have div( f Tw) = S(∇ f , w) + f div(Tw) = S(∇ f , w).
By integrating above equation, the desired result follows.
As a consequence of Lemma 2, we conclude the following Corollary 1. On a hyperbolic space or a Euclidean space, there does not exists a non-trivial unit Killing vector field.
It is well known that the odd-dimensional unit sphere S 2m+1 possesses a unit Killing vector field ξ, the Reeb vector field provided by the Sasakian structure (ϕ, ξ, η, g) on S 2m+1 (cf. [12]). In the rest of this section, we shall construct the unit Killing vector field on the sphere S 2m+1 (c), c > 0 and on odd-dimensional ellipsoids. Treating S 2m+1 (c) as real hypersurface of the complex manifold C m+1 , J, , with unit normal ζ and shape operator A = − √ cI, where J is the complex structure and , is the Euclidean Hermitian metric on C m+1 . We denote the Euclidean connection on C m+1 by D and the induced metric and induce Riemannian connection on S 2m+1 (c) by g and ∇, respectively. Now, define a unit vector field w = −Jζ on the sphere S 2m+1 (c). Then taking covariant derivative in the equation w = −Jζ with respect to X ∈ X(S 2m+1 (c)) applying Gauss-Weingarten formulas for hypersurface, we conclude Define an operator Ψ on S 2m+1 (c) by ΨX = − √ c(JX) T , where (JX) T is the tangential projection of JX on S 2m+1 (c). Then, it follows that Ψ is skew-symmetric operator and above equation on equating tangential and normal components gives and it follows that w is a unit Killing vector field on the sphere S 2m+1 (c). Moreover, if we take a constant unit vector − → b on the complex space C m+1 and define a smooth function Taking covariant derivative in above equation with respect to X ∈ X(S 2m+1 (c)) and using Gauss-Weingarten formulas for hypersurface and noting that D X − → b = 0, we obtain that is, where ∇ f is the gradient of the smooth function f . We claim that f is non-constant, for if f is constant, then Equation (10) will imply u = 0 and f = 0 and that − → b = 0, contrary to the fact that − → b is a unit vector field. Hence, f is a non-constant function and Equation (11) implies that where ∆ f = div∇ f is the Laplace operator acting on f . Consider a smooth function h : E 2m+2 → R, defined by where E 2m+2 is the Euclidean space and the constant a > 0, Let g be the induced metric on the Ellipsoid M as hypersurface of E 2m+2 . Consider the vector field w on the Euclidean space E 2m+2 it follows that w is a Killing vector field on the Euclidean space E 2m+2 and its flow consists of isometries of the Euclidean space E 2m+2 . Please note that length of w is non-constant on the Euclidean space E 2m+2 . The function h is invariant under flow {φ t } (as w(h) = 0) of w and the ellipsoid is invariant under the flow {φ t }, consequently, the vector field w is tangent to the hypersurface M and with respect the induced metric g, we have g(w, w) = 1, i.e., w is a unit Killing vector field on the compact Riemannian manifold (M, g).

Characterizations of Spheres
In this section, we use unit Killing vector fields on an n-dimensional compact Riemannian manifold (M, g) in finding two characterizations of the spheres. First, given a unit Killing vector field w on a connected Riemannian manifold (M, g), for each smooth non-constant function f ∈ C ∞ (M), we define a vector field w f by and call w f the associated vector field of f with respect to w. Please note that the associated vector field w f is orthogonal to the unit Killing vector field w. It is interesting to note that if w is non-trivial unit Killing vector field, then for each f ∈ C ∞ (M), the associated vector field w f is non-zero as seen in the following. Proposition 1. Let w be a unit non-trivial Killing vector field on a connected Riemannian manifold (M, g). Then for each non-constant function f ∈ C ∞ (M) the associated vector field w f is non-zero.
As the operator H f is symmetric and Ψ is skew-symmetric, we obtain Taking X = w in above equation and using Equation (7), we immediately get Now, taking a local orthonormal frame {e 1 , ..., e n }, n = dim M on M and using it with Equation (14), we conclude Using Equation (15) in above equation, we get (w( f )) 2 Ψ 2 = 0 and as M is connected with w non-trivial (Ψ = 0), we have w( f ) = 0. This proves ∇ f = 0 and we get a contradiction to the fact that f is a non-constant function. Hence, w f = 0.
As seen in above Proposition, for each non-constant function f ∈ C ∞ (M) on an ndimensional connected (M, g) that admits a non-trivial unit Killing vector field w, the associated vector field w f is non-zero vector field. In the next result, we show that if there exists a smooth non-constant function f ∈ C ∞ (M) on an n-dimensional compact and connected (M, g) that admits a non-trivial unit Killing vector field w satisfying ∆ f = −n and the integral of the Ricci curvature S w f , w f has certain lower bound is necessary and sufficient for (M, g) to be isometric to the unit sphere S 2m+1 , giving a characterization of the unit sphere S 2m+1 . Theorem 1. Let w be a non-trivial unit Killing vector field on an n-dimensional compact and connected Riemannian manifold (M, g). Then there exists a non-constant function f ∈ C ∞ (M) satisfying ∆ f = −n f and if and only if, n is odd (n = 2m + 1)) and (M, g) is isometric to the unit sphere S 2m+1 .
Proof. Let w be a non-trivial unit Killing vector field and f ∈ C ∞ (M) be a non-constant function such that ∆ f = −n f . Then the associated vector field w f is non-zero vector field and Taking into account Equations (3) and (8), we have and for a local orthonormal frame {e 1 , ..., e n }, we have Thus, on using Equation (17) and symmetry of the operator H f , we get Note that Equation (16) gives Now, using Equations (18) and (19), we proceed to find div H f (w f ) and get where we used TrH f Ψ = 0. Using ∆ f = −n f and Equation (16), we have w f (∆ f ) = −n w f 2 , as w and w f are orthogonal and the above integral takes the form Next, we use Equation (6)  and using this equation and Equation (19), in computing div w( f )Ψ w f , we reach at Use of TrH f Ψ = 0, Equation (7), and outcome of Equation (16) as

Subtracting this equation from Equation (20), while noting that
On using ∆ f = −n f , and the fact that flow {φ t } of w consists of isometries, we have ∆w( f ) = w(∆ f ) = −nw( f ), and above equation changes to (16)), i.e., Also, using 1 n (∆ f ) 2 = n f 2 , we get and using the bound in the statement for integral of S w f , w f , we obtain Thus, by Schwarz's inequality, we get for non-constant function f . Hence, (M, g) is isometric to the unit sphere S n (cf. [15,16]). Please note that on an even-dimensional compact Riemannian manifold of positive sectional curvature a Killing vector field must have a zero (cf. [17]). As the Killing vector field w is unit vector field does not have a zero, we get that n is odd say 2m + 1. Hence, (M, g) is isometric to the unit sphere S 2m+1 . Conversely, there is a unit Killing vector field w on the unit sphere S 2m+1 and by Equations (12) and (13) there is a non-constant smooth function f satisfying Now, and Hence, we have and using Lemma 1 and Equations (21), (22) and Lemma 2 as Ψ 2 = 2m, we get the integral where we used Thus, by Equations (21), (23) and (24) we see that all requirements of the statement are met.

Remark 1.
If the equality in the statement of Theorem 1 holds, then following the proof of the Theorem 1, we conclude Using the Schwarz's inequality in above equation, we get and we get the same conclusion as in Theorem 1.
We would like to point that a similar situation is considered in [18].
In the next result we show that for positive constant c, if there is a smooth function f ∈ C ∞ (M) satisfying ∆ f = −nc f on an n-dimensional compact and connected (M, g) that admits a non-trivial unit Killing vector field w with S(w, w) ≤ (n − 1)c, and the Ricci curvature S(∇ f − w, ∇ f − ∇w) has certain lower bound, is necessary and sufficient for (M, g) to be isometric to the sphere S 2m+1 (c), giving a characterization of the odddimensional sphere S 2m+1 (c). Theorem 2. Let w be a non-trivial unit Killing vector field on an n-dimensional compact and connected Riemannian manifold (M, g). Then there exists a non-constant function f ∈ C ∞ (M) satisfying ∆ f = −nc f for a constant c > 0, Ψ 2 ≤ (n − 1)c and the Ricci curvature in the direction of the vector field ∇ f − w is bounded below by (n − 1)c, if and only if, n is odd (n = 2m + 1)) and (M, g) is isometric to the sphere S 2m+1 (c).
Proof. Let w be a non-trivial unit Killing vector field on (M, g) such that Ψ 2 ≤ (n − 1)c and f ∈ C ∞ (M) be a non-constant function such that ∆ f = −nc f and , w), using Lemmas 2 and 3, we get (26) Applying the Bochner's formula in Equation (26), we obtain where φ is a skew-symmetric (1, 1) tensor field, ξ is a unit vector field, η is 1-form dual to ξ and g is the Riemannian metric on M (see [12]). An almost contact metric manifold M(φ, ξ, η, g) is said to be a contact metric manifold if dη(X 1 , X 2 ) = g(X 1 , φX 2 ).
If unit vector field ξ of the contact metric manifold M(φ, ξ, η, g) is Killing, then it is said to be a K-contact manifold. Also, a contact metric manifold M(φ, ξ, η, g) is said to be a Sasakian manifold if Given a unit Killing vector field w on an n-dimensional Riemannian manifold (M, g) there is naturally associated a skew-symmetric operator φ = −Ψ on (M, g) and there is a smooth 1-form α dual to w. A natural question is when does (φ, w, α, g) become a K-contact structure on M? Of course, it requires n to be odd, φ should satisfy relation similar to almost contact metric structure, namely and other requirements are automatically met by Equations (2) and (7) (cf. [12,13]). In this section, we answer this question by showing that (φ, w, α, g) becomes a K-contact structure on M, if and only if, the Riemannian manifold (M, g) admitting the unit Killing vector field w with sectional curvatures of plane sections containing w are constant equal to 1. We also find conditions under which a Riemannian manifold (M, g) admitting a unit vector field w is an Einstein-Sasakian manifold. Proof. Let w be a unit Killing vector field on (M, g) and α be smooth 1-form dual to w. Suppose the sectional curvature K(Π) = 1 for a plane section Π containing w. Then, we have R(X, w; w, X) = X 2 − α(X) 2 , X ∈ X(M), where R(X 1 , X 2 ; X 3 , X 4 ) = g(R(X 1 , X 2 )X 3 , X 4 ). Polarizing Equation (28), we get R(X 1 , w; w, X 2 ) + R(X 2 , w; w, X 1 ) = 2g(X 1 , This proves that Now, using Equations (6) and (7), we get R(X, w)w = (∇Ψ)(X, w) = −Ψ 2 X, and combining above equation with φ = −Ψ and Equation (29), we conclude Also, we have g(φX 1 , φX 2 ) = g(X 1 , X 2 ) − α(X 1 )α(X 2 ), X 1 , X 2 ∈ X(M).
According to (2), we have Hence, (φ, w, α, g) is a K-contact structure on M.
In [3], it was observed that presence of Killing vector field of constant length on (M, g) with certain sectional curvatures positive and Ricci operator parallel implies (M, g) is an Einstein manifold. In the next result, we find conditions under which a compact Riemannian manifold admitting a unit Killing vector field is an Einstein manifold.
Proof. Let w be a non-trivial unit Killing vector field on a compact and connected (M, g). Suppose that K(Π) > 0 for a plane section Π containing w and the following conditions hold (∇T)(X, w) = (∇T)(w, X), X ∈ X(M), Using Lemma 2, we define a vector field u orthogonal to w by Taking covariant derivative in above equation with respect to X ∈ X(M), we get (∇T)(X, w) + T(ΨX) = ∇ X u + X Ψ 2 w + Ψ 2 ΨX.
Please note that using T(w) = cw, we get g(T(X) − cX, w) = 0, i.e., T(X) − cX is orthogonal to w for all X ∈ X(M). Thus, using Equations (36) and (37), we get that the sectional curvature R(TX − cX, w; w, TX − cZ) = 0 and the condition in the statement that K(Π) > 0 for a plane section Π containing w implies T(X) = cX for all X ∈ X(M). Hence, (M, g) is an Einstein manifold.
We can bypass the requirements that manifold is compact and the condition (ii) in Theorem 4 by assuming certain vector field is parallel as seen in the following: Theorem 5. Let w be a non-trivial unit Killing vector field on an n-dimensional complete and connected Riemannian manifold (M, g), n > 2 with section curvatures of plane sections containing w being positive. If the vector field T(w) − Ψ 2 w is parallel and the Ricci operator T satisfies (∇T)(X, w) = (∇T)(w, X), X ∈ X(M), then (M, g) is a compact Einstein manifold.
Proof. Follow the proof of Theorem 4 up to Equation (35) and use that the vector field u = T(w) − Ψ 2 w is parallel, in view of Equation (34), we get Ψ T(X) − Ψ 2 X = X Ψ 2 w, X ∈ X(M).
Taking the inner product with w in above equation and using Equation (7), we have X Ψ 2 = 0, X ∈ X(M), and we conclude Ψ 2 is a constant c > 0 (as w is a non-trivial Killing vector field). Then Equation (35) implies Ψ(u) = 0, which gives R(u, w; w, u) = Ψu 2 = 0 and as the sectional curvatures of plane sections containing w are positive, we get u = 0. Following Proof of Theorem 4, we get that (M, g) is an Einstein manifold. Please note that as S(X, X) = c X 2 and c > 0, the Ricci curvature is strictly positive and therefore by Myer's Theorem (M, g) is compact.

Remark 2.
We give two examples, one satisfying conditions in Theorems 4 and 5 and other does not obeying conditions in these theorems. Example 1. Consider the sphere S 2m+1 (c). We have seen in the Preliminaries that S 2m+1 (c) admits a unit Killing vector field w = −Jζ, where ζ is the unit normal and J is the complex structure on the complex space C m+1 . Moreover, we have (see Equation (10)) where ΨX = − √ c(JX) T , where (JX) T is the tangential component of JX to S 2m+1 (c). The Ricci operator T of S 2m+1 (c) is given by which clearly satisfies (∇T)(X, w) = (∇T)(w, X).
Also, on taking a local orthonormal frame {e 1 , ..., e 2m+1 } on S 2m+1 (c), we have Consequently, we have Moreover, we have T(w) − Ψ 2 w = 2mcw − 2mcw = 0, i.e., T(w) − Ψ 2 w is parallel. Hence, we see that the conditions (i) and (ii) in Theorem 4, as well as both conditions in Theorem 5 hold for the Einstein manifold S 2m+1 (c) with unit Killing vector field w. Example 2. Consider the 3-dimensional ellipsoid M 3 defined by M 3 = u ∈ E 4 : u 2 1 + u 2 2 + au 2 3 + au 2 4 = 1 , where constant a > 0 and u 1 , ..., u 4 are Euclidean coordinates on E 4 . Then M 3 , g is a compact 3-dimensional Riemannian manifold with g the induced metric as a hypersurface of the Euclidean space E 4 . As seen in the Preliminaries there is a unit Killing vector field w on M 3 , g given by w = −u 2 , u 1 , − √ au 4 , √ au 3 .
We claim that M 3 , g is not an Einstein manifold. Suppose M 3 , g is an Einstein manifold with Ricci tensor and Ricci operator given by Please note that the curvature tensor field R of the 3-dimensional M 3 , g is given by R(X 1 , X 2 )X 3 = S(X 2 , X 3 )X 1 − S(X 1 , X 3 )X 2 + g(X 2 , X 3 )T(X 1 ) − g(X 1 , This shows that M 3 , g is space of constant curvature τ 6 that is a contradiction. Hence, M 3 , g is not an Einstein manifold.
Using Theorem 3 and the condition on Ricci operator being a Codazzi type tensor as in Theorem 5, we get the following result, similar to Theorem 4.1 in [19].

Corollary 2.
Let w be a non-trivial unit Killing vector field on an n-dimensional complete and connected Riemannian manifold (M, g), n > 2 with section curvatures of plane sections containing w being constant equal to 1. If the Ricci operator T satisfies (∇T)(X, w) = (∇T)(w, X), X ∈ X(M), then (M, g) is an Einstein Sasakian manifold.
Proof. By Theorem 3, we get that (M, g) is a K-contact manifold, n = 2m + 1 and Ψ 2 = 2m. Thus, Ψ 2 is a constant and by Equation (35), we get u = 0 and we get on similar lines as in proof of Theorem 5 that (M, g) is an Einstein K-contact manifold with S = 2mg. Since Ricci curvature is strictly positive we get (M, g) is compact. Hence, (M, g) is an Einstein Sasakian manifold (cf. [13]).