Projective Vector Fields on Semi-Riemannian Manifolds

Preprint

Article

Projective Vector Fields on Semi-Riemannian Manifolds

Altmetrics

Downloads

Views

Comments

A peer-reviewed article of this preprint also exists.

This version is not peer-reviewed

Submitted:

27 August 2024

Posted:

28 August 2024

You are already at the latest version

Alerts

Abstract

This paper explores the properties of projective vector fields on semi-Riemannian manifolds. The main result establishes that if a projective vector field η on such a manifold is also a conformal vector field with potential function ψ, then η must either be homothetic, or the vector field ζ, which is dual to dψ, is a light-like vector field. Additionally, it is shown that a complete Riemannian manifold admits a projective vector field that is also conformal and non-Killing if and only if it is locally Euclidean. The paper also presents other results related to the characterization of Killing and parallel vector fields using the Ricci curvature and the Hessian of the function given by the inner product of the vector field.

Keywords:

Subject: Computer Science and Mathematics - Geometry and Topology

MSC: 53A15; 53C40; 53C42; 53C50

1. Introduction

Consider an n-dimensional semi-Riemannian manifold

(N, h)

n \geq 2

, and denoted by

X (N)

the collection of all smooth vector fields on N.

At a point p in N, the tangent vector X is called space-like (respectively, time-like or light-like) if

h_{p} (X, X) \geq 0

(respectively,

\leq 0

= 0

). The zero vector is classified as space-like. The norm

| X |

is defined as

{| h (X, X) |}^{\frac{1}{2}}

. Analogously, a vector field X on N is called space-like (respectively, time-like or light-like) if it is this at each point. The zero vector field is also considered space-like.

A vector field

η

is called a projective if its local flow preserves the geodesics of

(N, h)

in the set-theoretic sense. If the flow of

η

preserves geodesics in the mapping sense, then it is called affine. It is not difficult to see that a vector field

η

on N is projective if there exists a differential 1-form

μ

on N (called the associated differential 1-form to

η

), such that

(£_{η} \nabla) (U, V) = μ (U) V + μ (V) U,

(1)

for all

U, V \in X (N)

, where

£_{η}

is the Lie derivative along

η

, and ∇ is the Levi-Civita connection of

(N, h)

. Here the Lie derivative

£_{η}

acts on ∇ as follows:

(£_{η} \nabla) (U, V) = [η, \nabla_{U} V] - \nabla_{[η, U]} V - \nabla_{U} [η, V],

for all

U, V \in X (N)

Of course, when

£_{η} \nabla = 0

η

is an affine vector field. It follows from (1) that

μ (U) = \frac{1}{n + 1} \nabla_{U} (d i v (η)),

(2)

for all

U \in X (N)

According to [8], a complete Riemannian manifold N with a parallel Ricci tensor, which admits a non-affine projective vector fields, has a positive constant curvature. In [16], it has been shown that if N is a compact Riemannian manifold with non-positive constant scalar curvature, any projective vector field on N is Killing. Furthermore, in [17], it is proven that if a compact simply connected Riemannian manifold with constant scalar curvature admits a projective vector field which is not Killing, then N must be isometric to sphere.

In [4], a set of integral inequalities within a compact, orientable Riemannian manifold with constant scalar curvature that allows for a projective vector field, subsequently deriving the necessary and sufficient conditions for such a Riemannian manifold to be isometric to a sphere.

In addition, Section 4 will explore conformal projective vector fields. Conformal vector fields are crucial. They are significant elements in the study of the geometry of various types of manifolds. A smooth vector field

η

on a semi-Riemannian manifold

(N, h)

is termed a conformal vector field if its flow results in conformal transformations or, equivalently, if the Lie derivative

£_{η} h

with respect to the metric h along the vector field

η

satisfies the condition [21] (see also [6]):

£_{η} h = 2 ψ h,

(3)

where

ψ

is a smooth function on N (called the potential function of

η

). In this case, it is straightforward to see that:

ψ = \frac{d i v (η)}{n} .

(4)

Examples of conformal vector fields include homothetic vector fields, where

ψ

remains constant, and Killing vector fields, where

ψ = 0

A notable question in the study of Riemannian manifold geometry is identifying spheres within the category of compact connected Riemannian manifolds. Obata provided one such identification [9,10]. Many authors extensively studied Riemannian manifolds with constant scalar curvature allowing for non-isometric conformal vector fields. They aimed to prove a conjecture about the Euclidean sphere as the unique compact orientable Riemannian manifold admitting a metric of constant scalar curvature R carrying a conformal vector field X. Notable researchers include Goldberg and Kobayashi [2], Nagano [7], Obata [11], and Yano and Hagano [18]. Interested readers can find a summary of these results in Yano [19].

This paper examines the properties of projective vector fields in semi-Riemannian manifolds. Initially, we demonstrate that a projective field, which is also a conformal vector field within a semi-Riemannian manifold, is inherently homothetic. This paper is structured as follows. Section 2 provides some preliminaries and Section 3 focuses on validating various theorems related to projective vector fields within a semi-Riemannian manifold. This includes multiple characterization results and confirms certain theorems on projective vector fields in such manifolds. We demonstrate that any projective vector field

η

with a non-negative

μ (η)

on a Riemannian compact manifold must be a Killing vector field. In Theorem 7, we establish the impossibility of a non-parallel projective vector field

η

with a non-negative

μ (η)

on a Riemannian compact manifold with non-positive Ricci curvature. For non-compact manifolds where the metric h is not necessarily positive definite (i.e.,

(N, h)

is semi-Riemannian), we show that a projective vector field

η

on N with constant length and fulfilling

R i c (η, η) \leq 0

must be parallel. Furthermore, we prove that any projective vector field

η

with a non-negative

μ (η)

on a Riemannian manifold, where the Hessian of the function

h (η, η)

is non-positive, is necessarily a geodesic vector field. We also identify several necessary and sufficient conditions for a projective vector field on a semi-Riemannian manifold to be Killing.

Additionally, in Theorems 11 and 13, we establish the necessary and sufficient conditions for a projective vector field on a semi-Riemannian manifold to be parallel.

In Section 4, we explore projective vector fields on semi-Riemannian manifolds that also serve as conformal vector fields. First, we show that if

η

is a projective vector field which is also a conformal vector field on a semi-Riemannian manifold, such that

£_{η} h = 2 ψ h

, then

η

is homothetic or the vector field

ζ

dual to

d ψ

is a light-like vector field. Then, we prove that a complete Riemannian manifold has a non-Killing projective vector field that is also conformal if and only if it is locally Euclidean. We also generalize two results in [1,5] in two directions: We focus on semi-Riemannian manifolds rather than Riemannian manifolds, and we examine conformal vector fields instead of affine vector fields (referred to as Jacobi-type vector fields in [1]).

2. Perliminaries

On a semi-Riemannian manifold of dimension

n \geq 2

, denoted as

(N, h)

, with a Levi-Civita connection ∇ and a local orthonormal frame

{E_{1}, \dots, E_{n}}

. The Ricci curvature tensor is a symmetric tensor defined as follows:

R i c (U, V) = \sum_{i = 1}^{n} ϵ_{i} h (R (U, E_{i}) V, E_{i}),

(5)

where U and V are vector fields on N, and

ϵ_{i} = h (E_{i}, E_{i})

. Here, the curvature tensor of N is given by

R (U, V) W = \nabla_{[U, V]} W - \nabla_{U} \nabla_{V} W + \nabla_{V} \nabla_{U} W,

for all

U, V, W \in X (N)

. The divergence of a vector field U is defined by

d i v (U) = \sum_{i = 1}^{n} ϵ_{i} h (\nabla_{E_{i}} U, E_{i}) .

(6)

where

ϵ_{i} = h (E_{i}, E_{i})

. The vector field U is called incomperssible if

d i v (U) = 0

. That means that the flow of U preserves the volume of

(N, h)

. For a smooth function f on N, the Hessian, denoted

H e s s (f)

, is a symmetric tensor of type

(0, 2)

. It is defined by the equation

H e s s (f) (U, V) = h (\nabla_{U} \nabla f, V),

(7)

for all

U, V \in X (N)

, where the symbol

\nabla f

represents the gradient of f.

The second covariant derivative of the vector field

η

in the direction of the vector fields U and V is defined by

\nabla_{U, V}^{2} η = \nabla_{U} \nabla_{V} η - \nabla_{\nabla_{U} V} η .

For operators A and B on N, the inner product between A and B is given by

< A, B > = t r (A B^{t}),

where

t r

denoted the trace. The norm of the operator A is determined as

| | A | | = \sqrt{< A, A >} .

The following lemma characterizes projective vector fields in terms of the second covariant derivative and the curvature tensor.

Lemma 1.

Let η be a projective vector field on a semi-Riemannian manifold

(N, h)

. Then η satisfies the following equation:

\nabla_{U, V}^{2} η + R (U, η) V = μ (U) V + μ (V) U,

for all

U, V \in X (N)

, where μ the associated differential 1-form to η.

Proof.

For

U, V \in X (N)

, we have

\begin{matrix} (£_{η} \nabla) (U, V) & = £_{η} \nabla_{U} V - \nabla_{£_{η} U} V - \nabla_{U} £_{η} \\ = [η, \nabla_{U} V] - \nabla_{[η, U]} V - \nabla_{U} [η, V] \\ = \nabla_{η} \nabla_{U} V - \nabla_{\nabla_{U} V} η - \nabla_{[η, U]} V - \nabla_{U} \nabla_{η} V + \nabla_{U} \nabla_{V} η \\ = \nabla_{U, V}^{2} η + [\nabla_{η}, \nabla_{U}] V - \nabla_{[η, U]} V \\ = \nabla_{U, V}^{2} η + R (U, η) V . \end{matrix}

So,

η

is a projective vector field if and only if

\nabla_{η}^{2} (U, V) + R (η, U) V = μ (U) V + μ (V) U

for all

U, V \in X (N)

□

For any vector field

η

(N, h)

, let

ω_{η}

denote the 1-form dual to

η

, that is,

ω_{η} (U) = h (X, η)

, for all

U \in X (N)

. We associate the (1, 1)-tensor

A_{η}

defined by

A_{η} (U) = \nabla_{U} η,

(8)

for all

U \in X (N)

We write

A_{η} = B + θ,

(9)

where B and

θ

are the symmetric and anti-symmetric components of

A_{η}

, respectively.

The assertion presented here is an alternative form of Lemma 1 presented in terms of the operator of

A_{η}

Lemma 2.

A vector field η on a semi-Riemannian manifold

(N, h)

with an associated differential 1-form μ is projective if and only if it satisfies the following equation.

\nabla_{U} A_{η} + R (U, η) = μ (U) V + μ (V) U,

for all

U \in X (N)

Lemma 3.

If η is a projective vector field on an n-dimensional semi-Riemannian manifold

(N, h)

with a associated differential 1-form μ, then

\nabla_{U} (t r (A_{η})) = (n + 1) μ (U) .

Proof.

Since

d i v (η) = t r (A_{η})

, (2) yields

\nabla_{U} (t r (A_{η})) = t r (\nabla_{U} (A_{η})) = (n + 1) μ (U)

for all

U \in X (N)

. □

Now, we present a generalized formulation of the Bochner formula, which will be employed in the forthcoming sections. (cf. [13]).

Theorem 1.

Let

(N, h)

be a semi-Riemannian manifold. Then

\nabla_{U} (d i v (U)) + R i c (U, U) - d i v (\nabla_{U} U) + t r (A_{U}^{2}) = 0,

(10)

for all

U \in X (N)

Proof.

Let

{E_{1}, \dots, E_{n}}

be a parallel orthonormal frame on N, where n is the dimension of N, and let

U \in X (N)

. It is straightforward to see that

(£_{U} \nabla) (U, E_{i}) = (£_{U} \nabla) (E_{i}, U),

for all

i = 1, . . ., n

Then, by (5) and (6), we get

\begin{matrix} \nabla_{U} (d i v (U)) + R i c (U, U) - d i v (\nabla_{U} U) + t r (A_{U}^{2}) & = \sum_{i = 1}^{n} ϵ_{i} h (\nabla_{U} \nabla_{E_{i}} U + R (E_{i}, U) U \\ - \nabla_{E_{i}} \nabla_{U} U + \nabla_{\nabla_{E_{i}} U} U, E_{i}) \\ = \sum_{i = 1}^{n} ϵ_{i} h ((£_{U} \nabla) (U, E_{i}), E_{i})) \\ - h ((£_{U} \nabla) (E_{i}, U), E_{i}) = 0, \end{matrix}

where

ϵ_{i} = h (E_{i}, E_{i}) .

□

3. Characterizations of Projective Vector Fields on Semi-Riemannian Manifolds

In this section, we will investigate projective vector fields on semi-Riemannian manifolds.

We obtain the following theorem for a projective vector field.

Theorem 2.

Let

(N, h)

be a semi-Riemannian manifold. For a projective vector field η on N, the equation below holds for η

\frac{1}{2} Δ h (η, η) = - R i c (η, η) + 2 μ (η) + | | A_{η} {| |}^{2} .

(11)

Proof.

Let

η

be a projective vector field on a semi-Riemannian manifold

(N, h)

. By (1), and the proof of Lemma 1, it follows that

\nabla_{U, V}^{2} η + R (U, η) V = μ (U) V + μ (V) U,

(12)

for all

U, V \in X (N)

. Furthermore, by defining a function f on M by

f = \frac{1}{2} h (η, η)

, we obtain

\begin{matrix} h (\nabla f, V) = \frac{1}{2} \nabla_{V} f = h (A_{η} (V), η), \end{matrix}

(13)

for all

V \in X (N)

. It follows that for any

U \in X (N)

, we have

\nabla_{U} h (\nabla f, V) = \nabla_{U} h (A_{η} (V), η),

which implies that

h (\nabla_{U} \nabla f, V) + h (\nabla f, \nabla_{U} V) = h (\nabla_{U} \nabla_{V} η, η) + h (\nabla_{V} η, \nabla_{U} η) .

Thus, according to (7) and (13), we conclude that

H e s s f (U, V) = h (\nabla_{U, V}^{2} η, η) + h (\nabla_{V} η, \nabla_{U} η),

(14)

By substituting (12) into (14), we get

H e s s f (U, V) = - h (R (U, η) η, V) + μ (U) h (V, η) + μ (V) h (U, η) + h (\nabla_{V} η, \nabla_{U} η)

(15)

By computing the trace of equation (15) with respect to an orthonormal frame

{E_{1}, \dots, E_{n}}

, and considering both the symmetry of B and the anti-symmetry of

θ

, together with the fact that

Δ f = t r (H e s s f)

, we can obtain

\begin{matrix} Δ f & = - \sum_{i = 1}^{n} ϵ_{i} h (R (η, E_{i}) η, E_{i}) + 2 \sum_{i = 1}^{n} ϵ_{E_{i}} μ (E_{i}) h (η, E_{i}) + \sum_{i = 1}^{n} ϵ_{i} h (\nabla_{E_{i}} η, \nabla_{E_{i}} η) \\ = - R i c (η, η) + 2 μ (\sum_{i = 1}^{n} ϵ_{i} h (η, E_{i}) E_{i}) + \sum_{i = 1}^{n} ϵ_{i} h (A_{η} (E_{i}), A_{η} (E_{i})) \\ = - R i c (η, η) + 2 μ (η) + \sum_{i = 1}^{n} ϵ_{i} h ((B + θ) (E_{i}), (B + θ) (E_{i})) \\ = - R i c (η, η) + 2 μ (η) + \sum_{i = 1}^{n} ϵ_{i} h (B^{2} (E_{i}) - θ^{2} (E_{i}), E_{i}) \\ = - R i c (η, η) + 2 μ (η) + t r (B^{2}) - t r (θ^{2}) \\ = - R i c (η, η) + 2 μ (η) + t r (B^{t} B) + t r (θ^{t} θ) \\ = - R i c (η, η) + 2 μ (η) + {| | B | |}^{2} + {| | θ | |}^{2} \\ = - R i c (η, η) + 2 μ (η) + | | A_{η} {| |}^{2} . \end{matrix}

□

Now, for a projective vector field

η

on semi-Riemannian manfold

(N, h)

, we deduce from (10) and (11) a very useful formula.

Theorem 3.

Let

(N, h)

be a semi-Riemannian manifold. For a projective vector field η on N, the equation below holds

d i v (\nabla_{η} η) + \frac{1}{2} Δ h (η, η) = {2 | | B | |}^{2} + (n + 3) μ (η),

(16)

where B is the symmetric part of

A_{η}

We can derive several consequences from (16). The first one is a characterization of Killing vector fields on compact Riemannian manifolds among projective ones.

Theorem 4.

Let

(N, h)

be an n-dimensional compact Riemannian manifold, and let η be a projective vector field on N. If

μ (η) \geq 0

, then η is a Killing vector field.

Proof.

Given that

η

is a projective vector field on the compact Riemannian manifold

(N, h)

, by integrating equation (16), we obtain

\int_{N} ({2 | | B | |}^{2} + (n + 3) μ (η)) d V = 0 .

(17)

This leads to the deduction that

B = 0

, as

μ (η) \geq 0

, which implies that

A_{η}

is anti-symmetric, and meaning that

η

is a Killing vector field. □

When considering a semi-Riemannian manifold

(N, h)

which may not be compact, an interesting problem arises: What conditions need to be satisfied for a projective vector field to become a Killing vector field? The following two theorems can be derived directly from (11) and the important formulae (16).

Theorem 5.

Let

(N, h)

be an n-dimensional semi-Riemannian manifold, with a projective geodesic vector field η where

μ (η) \geq 0

. Then, η has a constant length if and only if it is a Killing vector field. In this case,

μ (η) = 0

Theorem 6.

Let

(N, h)

be an n-dimensional semi-Riemannian manifold, with a projective vector field η of constant length and

μ (η) \geq 0

. Then,

\nabla_{η} η

is an incompressible vector field if and only if η is a Killing vector field. In this case,

μ (η) = 0

The result below guarantees that a non-parallel projective vector field cannot exist on a compact Riemannian manifold with non-positive Ricci curvature. This is a consequence of formula (12).

Theorem 7.

Let η be a projective vector field on a compact Riemannian manifold

(N, h)

, with

μ (η) \geq 0

. If

R i c (η, η) \leq 0

, then η is a parallel vector field.

Proof.

By integrating both sides of (11), we obtain

\int_{N} (| | A_{η} {| |}^{2} + 2 μ (η)) d V = \int_{N} R i c (η, η) d V .

Considering that

μ (η) \geq 0

and

R i c (η, η) \leq 0

, we deduce that

| | A_{η} {| |}^{2}

is zero. Thus,

A_{η} = 0

and

η

must be a parallel vector field. □

When N is not necessarily compact, the following holds. This is also a consequence of formula (12).

Theorem 8.

Let η be a projective vector field of constant length on the semi-Riemannian manifold

(N, h)

such that

μ (η) \geq 0

. If

R i c (η, η) \leq 0

, then η is a parallel vector field.

Proof.

Given that

h (η, η)

is constant, (11) reduces to

| | A_{η} {| |}^{2} + 2 μ (η) = R i c (η, η) .

Since

μ (η) \geq 0

and

R i c (η, η) \leq 0

, it follows that

A_{η} = 0

, which means that

η

is parallel.

□

Corollary 1.

If the Ricci curvature of a semi-Riemannian manifold

(N, h)

is non-positive, then

(N, h)

admits no non-zero parallel projective vector field η with

μ (η) \geq 0

The subsequent result characterizes projective vector fields on a Riemannian manifold in terms of the Hessian of the length of these vector fields.

Theorem 9.

Let η be a projective vector field on a Riemannian manifold

(N, h)

with

μ (η) \geq 0

, and let

f = \frac{1}{2} {| η |}^{2}

. If

H e s s f (η, η) \leq 0

, then η is a geodesic vector field.

Proof.

Taking

U = V = η

into (15), it follows that

H e s s f (η, η) = {2 μ (η) | η |}^{2} + {| \nabla_{η} η |}^{2} .

(18)

Since

μ (η) \geq 0

and

H e s s f (η, η) \leq 0

, it follows that

| \nabla_{η} {η |}^{2} = 0

. Thus,

η

is a geodesic vector field. □

From this result, we obtain an important consequence.

Corollary 2.

Consider a Riemannian manifold

(N, h)

. There does not exist any nonzero geodesic projective vector field η such that

μ (η) \geq 0

and

H e s s f \leq 0

, where

f = \frac{1}{2} {| η |}^{2}

Now, we return to the decomposition (9), from which we deduce that

t r (A_{η}^{2}) = {| | B | |}^{2} - {| | θ | |}^{2},

and

| | A_{η} {| |}^{2} = {| | B | |}^{2} + {| | θ | |}^{2} .

Thus,

t r (A_{η}^{2}) = | | A_{η} {| |}^{2}

A_{η}

is symmetric, and

t r (A_{η}^{2}) = - | | A_{η} {| |}^{2}

A_{η}

is anti-symmetric (that is,

η

is a Killing vector field). Also, from (9) and (13), we get

\frac{1}{2} Δ h (η, η) = B (η) - θ (η) .

(19)

Consequently, we generalize Theorem 2 in [1] to projective vector fields on semi-Riemannian manifolds.

Theorem 10.

Let η be a projective vector field on a semi-Riemannian manifold. Then, η is a Killing vector field if and only if the following holds

\frac{1}{2} Δ h (η, η) \leq {| | θ | |}^{2} + 2 μ (η) - R i c (η, η),

(20)

where θ is the anti-symmetric part of

A_{η}

Proof.

Assuming (20) holds, then by (11), we have

| | A_{η} {| |}^{2} \leq {| | θ | |}^{2} .

Since

| | A_{η} {| |}^{2} = {| | B | |}^{2} + {| | θ | |}^{2}

, it follows that

B = 0

, and

η

is a Killing vector field. The converse is trivial. □

In the following result, we prove that a simple condition in terms of Ricci curvature, a geodesic projective vector field must be parallel.

Theorem 11.

Let

(N, h)

be an n-dimensional connected semi-Riemannian manifold, admitting a geodesic projective vector field η with

μ (η) \geq 0

. Then, η is parallel field if and only if the following holds

R i c (η, η) + {| | B | |}^{2} + (n + 1) μ (η) \leq 0 .

(21)

In particular, if η is a geodesic vector field, then

R i c (η, η) \leq 0

Proof.

Let

η

be a geodesic projective vector field. Then, by applying the generalized Bochner formula (10) and referring to (2), we obtain

R i c (η, η) = - t r (A_{η}^{2}) - η d i v (η) = {| | θ | |}^{2} - {| | B | |}^{2} - (n + 1) μ (η) .

(22)

Assuming that

R i c (η, η) + {| | B | |}^{2} + (n + 1) μ (η) \leq 0

, we deduce from (22) that

θ = 0

. Since

η

is geodsic, it follows from (9) that

B (η) = 0

By substituting these quantities into (19), we deduce that

h (η, η)

is constant. Substituting this into (11), we obtain

R i c (η, η) = {| | B | |}^{2} + 2 μ (η) .

Given that

R i c (η, η) + {| | B | |}^{2} + (n + 1) μ (η) \leq 0

and

μ (η) \geq 0

, it follows that

B = 0

. This, with the fact

θ = 0

implies that

A_{η} = 0

, which means that

η

is parallel. □

Next, we generalize Theorem 4 in [1] to semi-Riemannian manifolds admitting a projective vector field.

Theorem 12.

Let η a projective vector field on a connected semi- Riemannian manifold with

μ (η) \geq 0

. Assume that

\nabla_{η} η

is space-like, and define

f = \frac{1}{2} h (η, η)

. Then η is a Killing vector field with constant length if and only if

H e s s f (η, η) \leq 4 μ (η) f

and

Δ f \leq 0

. In this case,

R i c (η, η) + (n + 1) μ (η) \geq 0

, where the equality is valid if and only if

e t a

is a parallel vector field.

Proof.

Assume that

η

is a Killing vector field. This means that

B = 0

. Since f is constant, by (19)

η

is a geodesic vector field. Referring to (18), we observe

H e s s f (η, η) = 4 μ (η) f

. Also, since f is constant,

Δ f = 0

. Moreover, according to (10), we have

R i c (η, η) + (n + 1) μ (η) = {| | θ | |}^{2} \geq 0

, where equality is valid if and only if

θ = 0

. Thus,

η

is parallel.

Conversely, if

H e s s f (η, η) \leq 4 μ (η) f

. By (19), it follows that

η

is a geodesic. From (16), we deduce that

μ (η) = 0

and

B = 0

. Hence,

A_{η}

is anti-symmetric. Consequently,

η

is a Killing vector field. Since

η

is geodesic and

B = 0

, f is constant. Hence, relating to equation (10), we determine that

R i c (η, η) + (n + 1) μ (η) \geq 0

, where the equality occurs precisely when

η

is a parallel vector. □

When the projective vector field

e t a

is a light-like, we drive the following conseqience.

Corollary 3.

Let η be a ligth-like projective vector field on a connected semi-Riemannian manifold with

μ (η) \geq 0

. Assume that

\nabla_{η} η

is space-like, and define

f = \frac{1}{2} h (η, η)

. Then η is a Killing vector field if and only if

H e s s f (η, η) \leq 0

Next, we give a characterization of Killing vector fields on semi-Riemannian manifolds in terms of the Ricci curvature and the Hessian of the length of such a vector field.

Theorem 13.

Let η be a projective vector field on a connected semi-Riemannian manifold with

μ (η) \geq 0

. Assume that

\nabla_{η} η

is space-like, and define

f = \frac{1}{2} h (η, η)

. Then, η is a Killing vector field with constant length if and only if

H e s s f (η, η) \leq 4 μ (η) f

and

R i c (η, η) + (n + 1) μ (η) \geq 0

Proof.

Assume that

η

is a Killing vector field. This means that

B = 0

. Since

η

has a constant length, by (19), we get

θ (η) = 0

. It follows that

η

is geodesic. Referring to equation (18), we observe

H e s s f (η, η) = 4 μ (η) f

. Thus, equation (22) shows

R i c (η, η) + (n + 1) μ (η) = {| | θ | |}^{2} \geq 0

Conversely, assume that

H e s s f (η, η) - 4 μ (η) f \leq 0

. Since

\nabla_{η} η

is space-like, then (18) implies that

η

is geodesic. Since

R i c (η, η) + (n + 1) μ (η) \geq 0

, and by (16), we see that

B = 0

. Hence,

η

is a Killing vector field. Using equation (13), we see that

θ (η) = 0

. Thus, f is constant. □

4. Conformal Projective Vector Fields Are Homothtic

The main objective of this section is to investigate whether a complete semi-Riemannian manifold, which admits a projective vector field that is also a conformal vector field, can be characterized as a Euclidean space. Initially, we show that a projective vector field, which is also a conformal vector field on a semi-Riemannian manifold is homothetic.

η

is a conformal vector field on a semi-Riemannian manifold

(N, h)

such that

£_{η} h = 2 ψ h

, then the following equation holds

(£_{η} \nabla) (U, V) = d ψ (U) V + d ψ (V) U - h (U, V) ζ,

(23)

where

ζ

is the vector field associated to the 1-form

d ψ

, i.e.

d ψ (U) = h (ζ, U)

, for all

U \in X (N)

. See, for example [19].

Theorem 14.

Let η be a projective vector field on a n-dimensional semi-Riemannian manifold

(N, h)

n \geq 2

. If η is conformal, such that

£_{η} h = 2 ψ h

, then η is homothetic or the vector field ζ dual to

d ψ

is a light-like vector field.

Proof.

Using (1) and (23), we have

h (U, V) ζ = (d ψ - μ) (U) V + (d ψ - μ) (V) U,

(24)

for all

U, V \in X (N)

On the other hand, by (2) and (4), we have

μ (U) = \frac{n}{n + 1} d ψ (U) = \frac{n}{n + 1} h (U, ζ),

for all

U \in X (N)

Substituting this into (24), it becomes

h (U, V) ζ = \frac{1}{n} (μ (U) V + μ (V) U),

for all

U, V \in X (N)

By setting

U = V = ζ

in the above equation, we get

h (ζ, ζ) ζ = \frac{2}{n + 1} h (ζ, ζ) ζ,

which implies

(\frac{n - 1}{n + 1}) h (ζ, ζ) ζ = 0 .

Given that

n \geq 2

, we deduce that

ζ = 0

ζ

is ligth-like. However, if

ζ = 0

, then

μ = 0

and

ψ

is a constant. Thus,

η

is homothetic.

□

In the next theorem, we show that a complete Riemannian manifold possesses a non-Killing projective vector field which is also conformal if and only if it is locally Euclidean.

Theorem 15.

(N, h)

is an n-dimensional complete Riemannian manifold,

n \geq 2

, that admits a non-Killing projective vector field that is also conformal, then

(N, h)

is locally Euclidean.

Proof.

According to Theorem 14, such a vector field must be homothetic. By Lemma 2, page 242, in [5], and by [15],

(N, h)

is necessarily a locally Euclidean space. □

Remark 1.

In [5], Lemma 2, page 244 (see also [1], Theorem 6), it has been proved that if

(N, h)

is a complete Riemannian manifold that admits an affine vector field that is also a non-Killing gradient conformal vector field, then

(N, h)

is isometric to a Euclidean space. Furthermore, it was proved in [1], that a complete Riemannian manifold

(N, h)

admits an affine vector field η that is also a non-Killing conformal vector field that annihilates the operator ϕ (the anti-symmetric part of

A_{η}

) if and only if

(N, h)

is locally Euclidean. It is clear that these results evidently represent particular cases of our Theorem 15.

5. Conclusions

This paper has presented a detailed investigation of projective vector fields on semi-Riemannian manifolds, focusing on their geometric properties and interactions with the curvature tensor. We derived essential results that relate the curvature tensor and the second covariant derivative of a projective vector field. Our results show that on a semi-Riemannian manifold with non-positive Ricci curvature, there is no non-zero parallel projective vector field

η

with the corresponding differential 1-form

μ

satisfies the condition

μ (η) \geq 0

. Furthermore, we showed that on a compact Riemannian manifold, a projective vector field with constant length and non-positive Ricci curvature must be parallel. Additionally, we explored the conditions under which a projective vector field becomes a Killing vector field, specifically in the case of light-like vector fields. We also showed that a non-Killing, conformal projective vector field exists on a complete Riemannian manifold if and only if the manifold is locally Euclidean.

These results contribute to the broader understanding of the interplay between projective, conformal, and Killing vector fields, with potential implications for future studies in differential geometry and general relativity.

This section is not mandatory, but may be added if there are patents resulting from the work reported in this manuscript.

Author Contributions

Conceptualization, M.G.; Investigation, N.A. and M.G.; Methodology, N.A. and M.G.; Resources, N.A.; Validation, M.G.; Writing—original draft, N.A.; Writing—review and editing, N.A. and M.G.

Funding

This research was supported by Researchers Supporting Project number (RSPD2024R824), King Saud University, Riyadh, Saudi Arabia.

Data Availability Statement

No new data were created or analyzed in this study. Data sharing is not applicable to this article.

Conflicts of Interest

The authors declare no conflicts of interest.

References

Chen, B.Y.; Deshmukh, S.; Ishan, A. On Jacobi-type vector fields on Riemannian manifolds. Mathematics 2019, 7, 1139. [Google Scholar] [CrossRef]
Goldberg, S.I.; Kobayashi, S. The conformal transformation group of a compact Riemannian manifold. Amer. J. Math. 1962, 84, 170–174. [Google Scholar] [CrossRef]
Hano, J.I. On affine transformations of a Riemannian manifold. Nagoya Math.J. 1955, 9, 99–109. [Google Scholar] [CrossRef]
Hiramatu, H. On integral inequalities and their applications in Riemannian manifolds. Geom. Dedicata 1978, 7, 375–386. [Google Scholar] [CrossRef]
Kobayashi, S.; Nomizu, K. Foundations of Differential Geometry; Interscience Publishers: New York, NY, USA, 1969; Volume I. [Google Scholar]
Kobayashi, S.; Nomizu, K. Foundations of Differential Geometry; Interscience Publishers: New York, NY, USA, 1969; Volume II. [Google Scholar]
Nagano, T. The conformal transformation on a space with parallel Ricci tensor. J. Math. Soc. Japan. 1959, 11, 10–14. [Google Scholar] [CrossRef]
Nagano, T. The projective transformation on a space with parallel Ricci tensor. Kodai Math. Sem. Rep. 1959, 11, 131–138. [Google Scholar] [CrossRef]
Obata, M. Certains conditions for a Riemannian manifold to be isometric with a sphere. J. Math. Soc. Japan 1962, 14, 333–340. [Google Scholar] [CrossRef]
Obata, M. Conformal transformations of Riemannian manifolds. J. Diff. Geom. 1970, 4, 311–333. [Google Scholar] [CrossRef]
Obata, M. The conjectures on conformal transformations of Riemannian manifolds. Bull. Amer. Math. Soc. 1971, 77, 265–270. [Google Scholar] [CrossRef]
O’Neill, B. Semi-Riemannian Geometry with Applications to Relativity; Academic Press: San Diego, USA, 1983. [Google Scholar]
Palomo, F.; Romero, A. Certain actual topics on modern Lorentzian geometry; Handbook of Differential Geometry, VOLII. IIS; Elsevier B.V., 2006. [Google Scholar]
Petersen, P. Riemannian Geometry; Springer-verlag: New York, 2006. [Google Scholar]
Tashiro, Y. On projective transformations of Riemannian manifolds. J. Math. Soc. Japan 1959, 11, 196–204. [Google Scholar] [CrossRef]
Yamauchi, K. On infinitesimal projective transformations. Hokkaido Math. J. 1974, 3, 262–270. [Google Scholar] [CrossRef]
Yamauchi, K. On infinitesimal projective transformations of a Riemannian manifold with constant scalar curvature. Hokkaido Math. J. 1979, 8, 167–175. [Google Scholar] [CrossRef]
Yano, K.; Nagano, T. Einstein spaces admitting a one-parameter group of conformal transformations. Ann. Math. 1959, 69, 451–461. [Google Scholar] [CrossRef]
Yano, K. Integral Formulas in Riemannian Geometry; Marcel Dekker: NY, 1970. [Google Scholar]
Yano, K. On harmonic and Killing vector fields. Ann. Math. 1952, 55, 38–45. [Google Scholar] [CrossRef]
Yano, K. The theory of Lie derivatives and its applications; North-Holland: Amsterdam, 1957. [Google Scholar]

Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

© 2024 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).

Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.

MDPI Initiatives

Important Links

Choose an area of interest and we will send you notifications of new preprints at your preferred frequency.

Disclaimer

Projective Vector Fields on Semi-Riemannian Manifolds

Abstract

1. Introduction

2. Perliminaries

3. Characterizations of Projective Vector Fields on Semi-Riemannian Manifolds

4. Conformal Projective Vector Fields Are Homothtic

5. Conclusions

Author Contributions

Funding

Data Availability Statement

Conflicts of Interest

References

MDPI Initiatives

Important Links

Subscribe