1. Introduction
An Einstein manifold is a Riemannian manifold
, which is defined by the Ricci tensor
for a non-zero constant
. Since Einstein manifolds have important differential geometric properties and have significant physical applications therefore they are studied by geometers in a broad perspective. A Riemannian manifold
M is called a quasi-Einstein manifold if the Ricci curvature tensor satisfies
for all
, where
are scalars and
is a non-zero
-form [
1]. Quasi-Einstein manifolds are generalizations of Einstein manifolds. In the contact geometry,
-Einstein manifolds can be consider as a particular case of quasi-Einstein manifolds. When quasi-umbilical hypersurfaces were considered exact solutions of the Einstein field equations, the notion of quasi-Einstein manifold aroused [
2]. As an example of quasi-Einstein manifolds, we can mention the Robertson-Walker space-times [
2]. For more details on such manifolds, we refer to the reader [
2,
3,
4].
The generalization of quasi-Einstein manifolds has been presented in the different perspectives. Chaki gave one of them in [
5], and another was presented by Catino [
6]. Catino generalized a quasi-Einstein manifold as a generalization of the concepts of Ricci solitons and quasi-Einstein manifolds. The third definition of generalized quasi-Einstein manifolds was given by De and Ghosh [
7]. A Riemannian manifold
is called a generalized quasi-Einstein manifold if its Ricci tensor has following form:
where
are two non-zero 1-forms and
are certain non-zero scalars [
7]. The unit and orthogonal vector fields
and
corresponding to the 1-forms
and
are defined by
, respectively [
7]. The geometric properties of generalized quasi-Einstein manifolds have been studied in [
7,
8,
9,
10,
11]. A generalized quasi-Einstein manifold, in addition to its geometrical features, has remarkable physical applications in general relativity [
12,
13,
14]. Complex
-Einstein manifolds could be considered as a special case of generalized quasi-Einstein manifolds (see [
15]).
In [
16], Bande and Hadjar defined a new contact structure on an
-dimensional differentiable manifold
M with two 1-forms
. This structure was initially studied by Blair, Ludden and Yano [
17] as the name of bicontact manifolds. Bande and Hadjar considered a special type of
-structure with complementary frames related to these contact forms and they obtained associated metric. A differentiable manifold with this structure is called a metric contact pair (MCP) manifold. Riemannian geometry of MCP manifolds is given in [
18,
19].
This paper is on applications of generalized quasi-Einstein manifolds in contact geometry. We consider the generalized quasi-Einstein normal metric contact pair manifolds. After presenting definitions and basic properties, we examine the existence of such manifolds. Also, we present a characterization of generalized quasi-Einstein normal metric contact pair manifolds. Moreover, we consider the notion of generalized quasi-constant curvature for normal metric contact pair manifolds and we obtain some results on the sectional curvature. We investigate a generalized quasi-Einstein normal metric contact pair manifold under some conditions for Ricci tensor. We prove that a generalized quasi-Einstein normal metric contact pair manifold does not satisfy Codazzi type of Ricci tensor. Finally, we characterize normal metric contact pair manifolds satisfying certain curvature conditions related to -projective, conformal, and concircular curvature tensors. We show that a normal metric contact pair manifold with generalized quasi-constant curvature is locally isometric to the Hopf manifold .
2. Preliminaries
Contact pairs were defined by Bande and Hadjar [
16] in 2005, for details see [
16,
18,
19]. In this section, we give some fundamental facts about contact metric pair manifolds. Also, we present some general facts and results on generalized quasi-Einstein manifolds.
Definition 1. Let M be an -dimensional differentiable manifold and be two 1-forms on M. If the following properties are satisfied then, the pair of is called a contact pair of type on M:
,
and
where are positive integers. Then, is known as a contact pair manifold [16]. The kernels of 1-forms
and
define two subbundles of
as
and
. Also, we have two characteristic foliations of
M, denoted by
and
respectively.
and
are completely integrable and their leaves are equipped with a contact form induced by
(respectively,
). On the other hand, the tangent bundle of
M can be split as
[
19]. The horizontal sub-bundle
of
can be defined as
.
In the contact geometry, we have the characteristic vector field associated with the contact form. Similarly, for a contact pair
of type
we have two vector fields
and
, which are uniquely determined by the following equations:
where
is the contraction with the vector field X [
16].
Two sub-bundles of
are defined as follows
Therefore, we get
. The horizontal sub-bundle can be written as
. Also, we write
, and
is called the vertical sub-bundle of
Consequently, the tangent bundle of
M is given by
[
18].
Let X be an arbitrary vector field on M. We can write , where horizontal and vertical component of X, respectively. We call a vector field X as a horizontal vector field if , and a vertical vector field if .
Similar to almost complex structures, in the 1960s, almost contact structures were defined with tensorial viewpoint [
20]. On a contact pair manifold
M, an almost contact pair structure has been defined as follow by Bande and Hadjar [
18].
Definition 2. An almost contact pair structure on an -dimensional differentiable manifold M is a triple , where is a contact pair and ϕ is a tensor field such that:The rank of ϕ is and [18]. Definition 3. ϕ is known as decomposable i.e., , if is invariant under ϕ [18]. If
is decomposable, then
induces an almost contact structure on
for
[
16]. The decomposability of
does not satisfy for every almost contact pair structure. An example was given in [
16], which has an almost contact pair structure, but
is not decomposable. In this study, we assume that
is decomposable.
Definition 4. Let be an almost contact pair structure on a Riemannian manifold . The Riemannian metric g is called [18] compatible if for all ,
associated if and for and for all .
4-tuple is called a metric almost contact pair structure on a manifold M and g is an associated metric with respect to contact pair structure . We recall is a metric almost contact pair manifold.
We have the following properties for a metric almost contact pair manifold
M [
16]:
and for every
X tangent to
.
Another major notion for an almost contact manifold is normality. Bande and Hadjar [
19] studied on this notion for a metric almost contact pair manifold. They define two almost complex structures on
M as [
19]:
Definition 5. A metric almost contact pair manifold is said to be normal if and are integrable [19]. Theorem 1. and are integrable if the following equation is satisfied;for all [19]. From the following theorem, we have the covariant derivation of for a normal metric contact pair manifold
Theorem 2. Let be a normal metric contact pair manifold. Then we havefor all arbitrary vector fields on M [18]. We use the following statements for the Riemann curvature;
for all
. Also, it is well known that
[
20].
Lemma 1. Let be a normal metric contact pair manifold. Then we havewhere and for Reeb vector fields [21]. Consider an orthonormal basis of
M by
Then for all
, we get the Ricci curvature of
M as
where
.
Lemma 2. Let be a normal metric contact pair manifold. Then Ricci curvature of M satisfies [21] In [
7], De and Ghosh presented a theorem for the existence of a generalized quasi-Einstein Riemannian manifold.
Theorem 3. A Riemannian manifold is a generalized quasi-Einstein manifold, if the Ricci tensor satisfies the relationwhere γ is a non-zero scalar [7]. The notion of quasi-constant curvature was defined by Chen and Yano [
22]. De and Ghosh generalized this notion for a Riemannian manifold.
Definition 6. Let M be a normal metric contact pair manifold. Then, M is called a normal metric contact pair manifold of generalized quasi-constant curvature if the Riemannian curvature tensor of M satisfying;for all , where and C are scalar functions [7]. Definition 7. Let M be a normal metric contact pair manifold. Then, is called a manifold satisfies cyclic parallel Ricci tensor if we havefor all [20]. Definition 8. Let M be a normal metric contact pair manifold. Then, M is called a manifold satisfies Codazzi type of Ricci tensor iffor all vector fields on M [20]. Conformal and concircular curvature tensors on contact manifolds have been studied in [
23,
24,
25].
-projective curvature tensor on manifolds with different structures studied by many authors [
26,
27,
28]. These curvature tensors on a normal metric contact pair manifold are defined as below:
Definition 9. Let M be an -dimensional normal metric contact pair manifold. Then,
-projective curvature tensor of M is given by [29], conformal curvature tensor of M is given by [20], concircular curvature tensor of M is given by [20],
for , where Q is Ricci operator is given by and is the scalar curvature of M.
3. Generalized Quasi-Einstein Normal Contact Pair Manifolds
In this section, we present the definition of generalized quasi-Einstein normal metric contact pair manifold. We also present some theorems on the existence and characterizations of generalized quasi-Einstein normal metric contact pair manifold.
Definition 10. Let M be a normal metric contact pair manifold. Then, M is called generalized quasi-Einstein normal metric contact pair manifold if the Ricci curvature of M has the following form;for functions on M and all . If we set
and
, respectively, we obtain
and
. Thus, the Ricci curvature of generalized quasi-Einstein normal metric contact pair manifold is given by
for all
. Therefore, the scalar curvature is
Let
X be an arbitrary vector field on
M. We can write
. Since the Ricci curvature is a linear tensor we have
Considering the decomposition of tangent bundle mentioned above (see [
24] for details), we get
Thus, we reach following useful result.
Proposition 1. A normal metric contact pair manifold is a generalized quasi-Einstein manifold if and only if the horizontal bundle is Einstein, that is for a function λ on M, we have .
Assume that (
9) is satisfied on a normal metric contact pair manifold
M. By setting
and
, then from (
6), we have
Thus, from the Proposition1
M is a generalized quasi-Einstein manifold. Using (
13), we get
and hence we state;
Corollary 1. Let M be normal metric contact pair manifold with scalar curvature . If we have the relationon M for all , then M is a generalized quasi-Einstein manifold. Let
be a plane section in
for any
. The sectional curvature of
is given as
, where
orthonormal vector fields. For any
-dimensional subspace
, its scalar curvature
is denoted by
where
is any orthonormal basis of
[
30]. When
, the scalar curvature is just the scalar curvature
of
M at
.
The characterizations of Einstein [
31,
32], quasi-Einstein [
33] and generalized quasi-Einstein [
11,
34] manifolds have been obtained by using the sectional curvature of subspaces of tangent bundle. Analogous to the proof of the Theorem 2.2 of [
11], we have following assertion immediately.
Theorem 4. An -dimensional normal metric contact pair manifold is a generalized quasi-Einstein manifold if and only if there exist a function λ on M satisfyingwhere -plane sections and -plane section N; and denote the orthogonal complements of and R in , respectively. We consider the normal metric contact pair manifold is of generalized quasi-constant curvature. In the following proposition, we derive some relations on sectional curvature of M.
Proposition 2. Let M be a normal metric contact pair manifold of generalized quasi-constant curvature. Then, we have the following:
the sectional curvature of horizontal bundle is A,
the sectional curvature of plane section spanned by and Z is ,
the sectional curvature of plane section spanned by and is and , respectively.
Proof. Let take
, where
unit and mutually orthogonal horizontal vector fields. Then from (
10), we obtain
For
for unit horizontal vector field
X, we get
Similarly, we can derive the other assertions. □
From above proposition, we get
Corollary 2. In a normal metric contact pair manifold of generalized quasi-constant curvature, we havefor any horizontal and unit vector field X. Theorem 5. A normal metric contact pair manifold of generalized quasi-constant curvature is a generalized quasi-Einstein manifold with coefficients , and .
Proof. Let
M be a normal metric contact pair manifold of generalized quasi-constant curvature. Consider an orthonormal basis of
M as
By taking sum of (
10) from
to
for
, we obtain
For
since
,
and
we get
which completes the proof. □
4. Normal Metric Contact Pair Manifold Satisfying Certain Conditions on Ricci Tensor
De and Mallick [
9] proved that a generalized quasi-Einstein Riemann manifold satisfies cyclic parallel Ricci tensor if generators of the manifolds are Killing vector fields. As we know that the characteristic vector fields of a normal metric contact pair manifold
are Killing vector fields [
35]. Thus, by easy computations, we get
for all
On the other hand, we have
for all
[
20]. Then, from (
12) we obtain
where
is the derivation of
in the direction of
. Thus, from (
15), we obtain
As a consequence, we can state the following theorem.
Theorem 6. Let M be a generalized quasi-Einstein normal metric contact pair manifold. If λ is constant then M satisfies cyclic parallel Ricci tensor.
In [
9], it has been proved that if a generalized quasi-Einstein Riemann manifold satisfies Codazzi type of Ricci tensor, then the associated 1-forms are closed.
Suppose that Ricci tensor
of a normal metric contact pair manifold
M is Codazzi type. Then, from (
15) and (
16) we obtain
Let take
, then we get
which implies
or
. If
then the manifold is not generalized quasi-Einstein, so this case is not possible. In the other case we obtain
and so
is closed. Similarly, by choosing
we obtain
is closed. As we know contact pairs
are not closed. So, our assumption is not valid. Finally, we conclude that
Theorem 7. A generalized quasi-Einstein normal metric contact pair manifold does not satisfy Codazzi type of Ricci tensor.
5. Normal Metric Contact Pair Manifold Satisfying Certain Curvature Conditions
Curvature tensors give us many geometric properties of contact manifolds. Some properties of normal metric contact pair manifold satisfying certain conditions of curvature tensors were given in [
21,
24]. In this section, we examine the
-projective curvature tensor
, conformal curvature tensor
and concircular curvature tensor
on a normal metric contact pair manifold.
From (
11), we have
for
. Also, since
, where
Q is the Ricci operator, we have
for all
.
M is called
-projectively flat if
vanishes identically on
M.
Theorem 8. A generalized quasi-Einstein normal metric contact pair manifold is -projectively flat if and only if it is of generalized quasi-constant curvature.
Proof. Suppose that
M is a generalized quasi-Einstein manifold. Then, from (
12) and (
11) we have
Thus, it is seen that M is -projectively flat if and only if M is of generalized quasi-constant curvature with coefficients and . □
The Riemann manifolds satisfying
are called semi-symmetric, where
acts on
R as a derivation. Semi-symmetric contact manifolds were studied by Perrone [
36]. Similarly, if
then
M is called
-projectively semi-symmetric.
is defined as
for all
. Also, we have
If then M is called -projectively Ricci semi-symmetric.
Theorem 9. A normal metric contact pair manifold is -projectively semi-symmetric if and only if M is a generalized quasi-Einstein manifold.
Proof. From (
22) and using (17)–(19) we obtain
where
and
.
Let take
horizontal vector fields and
, from (
3)–(7), we get
Thus, we conclude that
if and only if horizontal bundle of
M is Einstein. From Proposition 1, we obtain
Therefore, the manifold is a generalized quasi-Einstein. □
Theorem 10. An -dimensional normal metric contact pair manifold satisfies if and only M is generalized quasi-Einstein manifold.
Proof. For
from (
23) we get
Let take
vector fields and
from (
6), (7), we obtain
Therefore,
if and only if horizontal bundle is Einstein. From Proposition (1) we get (
24), which completes the proof. □
Blair, Bande and Hadjar [
21] studied on conformal flatness of normal metric contact pair manifolds and they proved following theorem.
Theorem 11. A conformally flat normal metric contact pair manifold is locally isometric to the Hopf manifold [21]. Thus, we get following results, for a generalized quasi-Einstein normal metric contact pair manifold.
Theorem 12. Let M be a generalized quasi-Einstein normal metric contact pair manifold. If M is of generalized quasi-constant curvature with coefficients and , then it is locally isometric to the Hopf manifold .
Proof. Let
M be a generalized quasi-Einstein normal metric contact pair manifold. Then, we have
Suppose that M is of generalized quasi-constant curvature with coefficients and . Then, we get which means that M is conformally flat. Thus, the Theorem 6.4 M is locally isometric to the Hopf manifold . □
By using the definition of
-projective curvature tensor and conformal curvature tensor, we have
Let
M be a
-projectively flat normal metric contact pair manifold, then, from (
25),
M is conformally flat if and only if
which means
M is concircular flat. Finally, we conclude that
Theorem 13. Let M be -projectively flat normal metric contact pair manifold. If M is also concircularly flat then it is locally isometric to Hopf manifold .