Abstract

Let M be an almost cosymplectic 3-h-a-manifold. In this paper, we prove that the Ricci operator of M is transversely Killing if and only if M is locally isometric to a product space of an open interval and a surface of constant Gauss curvature, or a unimodular Lie group equipped with a left invariant almost cosymplectic structure. Some corollaries of this result and some examples illustrating main results are given.

1. Introduction

An almost cosymplectic manifold can be regarded as an odd-dimensional analogy of almost Kähler manifolds from topological points of view (see [1]) and was first introduced by Goldberg and Yano in [2]. In some recent literature, such kind of manifolds was also referred to as almost coKähler manifolds (see [39]); for some differences between these two types of manifolds, we refer the reader to a survey [1]. In this paper, we aim to investigate symmetry classification problems of almost cosymplectic manifolds and we adopt those notations and formulas introduced by Blair [10].

The curvature properties of cosymplectic manifolds were first studied by Blair who in [11] proved that a cosymplectic manifold of constant sectional curvature is locally flat. Olszak, in [12], extended this result and proved that an almost cosymplectic manifold of nonzero constant sectional curvature does not exist in dimensions . Later, such a result was generalized to dimension three by Olszak in [13]. Perrone, in [14], extended Olszak’s results and proved that a locally symmetric almost cosymplectic manifold of dimension three is cosymplectic and is locally isometric to a Riemannian product of a one-dimensional manifold and a Kähler surface of constant sectional curvature. Wang, in [5], studied locally symmetric almost cosymplectic manifolds and in particular, in [7], studied locally symmetric almost cosymplectic 5-manifolds. In recent years, many classification results on almost cosymplectic manifolds of dimension three emerged. For example, Cho, in [15], studied Reeb flow symmetry (that is, the Ricci tensor is invariant along the Reeb flow) on almost cosymplectic 3-manifolds. Moreover, semisymmetry, local ϕ-symmetry, curvature, and ball homogeneities on almost cosymplectic 3-manifolds were considered in [3, 4, 8, 9], respectively. Some other symmetry properties in terms of the Ricci operators on such manifolds were also studied in [6, 16]. For many symmetry properties on cosymplectic 3-manifolds, we refer the reader to [1719].

The notion of a Killing tensor field T of type was introduced by Blair in [20], which is defined bywhere X and denote an arbitrary vector field and the Levi-Civita connection on a Riemannian manifold , respectively. Relation (1) is much weaker than parallelism of Blair. In [20], Blair applied (1) for the structure tensor field to give a characterization for an almost contact metric manifold to be cosymplectic. In this paper, applying relation (1) for the Ricci operator, we obtain some local classification results of almost cosymplectic 3-manifolds and they are extensions of those in [6, 14].

2. Almost Cosymplectic Manifolds

By an almost contact metric manifold, we mean a Riemannian manifold of dimension on which there exists a quadruple satisfyingfor any vector fields , where ϕ is a -type tensor field, ξ is a vector field called the Reeb vector field, and η is a global 1-form called the almost contact 1-form and is a Riemannian metric (see Blair [10]). By an almost cosymplectic manifold we mean an almost contact metric manifold on which there holds and , where is the fundamental 2-form defined by (see [10, 12]). We consider the product of an almost contact metric manifold and and define on it an almost complex structure J bywhere X denotes a vector field tangent to , t is the coordinate of , and f is a -function on . The almost contact metric manifold is said to be normal if J is integrable, or equivalently,where denotes the Nijenhuis tensor of A normal almost cosymplectic manifold is said to be a cosymplectic manifold (cf. [10]). An almost cosymplectic manifold is a cosymplectic manifold if and only if

Let be an almost cosymplectic manifold. We consider three tensor fields , , and on , where R is the Riemannian curvature tensor of and is the Lie differentiation. From [10], we know that the three -type tensor fields l, , and h are symmetric and satisfyand

3. Main Results

It is known that an almost cosymplectic manifold of dimension three is cosymplectic if and only if identically. Thus, we have to discuss our main theorems from two cases and first we consider the non-Kenmotsu case. Let be a three-dimensional almost cosymplectic manifold. Following Perrone [21], let be the open subset of on which and the open subset defined by . Therefore, is an open and dense subset of . For any point , we find a local orthonormal basis of three distinct unit eigenvector fields of h in certain neighborhood of p. On , we assume that and hence , where λ is assumed to be a positive function. Note that λ is continuous on and smooth on .

Lemma 1. (see [21]). On , we havewhere f is a smooth function, σ is the 1-form defined by , and S is the Ricci tensor.

Applying Lemma 1, we obtain the Ricci operator Q associated to the Ricci tensor given by (see [21])where , , and r denotes the scalar curvature. Now, from (9), we write the Ricci operator as follows:with respect to the local orthonormal basis . Moreover, according to Lemma 1, by a simple calculation, we obtain

In view of equation (11), Wang, in [6, 9], considered a special almost coysmplectic 3-manifold determined by the condition with . In this paper, we say that an almost cosymplectic 3-manifold satisfying the previous condition is an almost cosymplectic 3-h-a-manifold. In particular, when a vanishes, an almost cosymplectic 3-h-a-manifold reduces to an almost cosymplectic 3-h-manifold (see [4]). Notice that on a cosymplectic manifold such a condition is meaningless because of . There are many nontrivial examples of almost cosymplectic 3-manifolds satisfying such a condition even when a is a smooth function (see [4, 6]).

As seen in Section 1, the Ricci operator of an almost cosymplectic manifold is said to be transversely Killing if there holdsfor any vector field X orthogonal to the Reeb vector field ξ. Obviously, (12) is much weaker than Ricci parallelism () and local symmetry ().

Now, we are ready to give our first main result.

Theorem 1. The Ricci operator of a noncosymplectic almost cosymplectic 3-h-a-manifold is transversely Killing if and only if the manifold is locally isometric to the group of rigid motions of Euclidean 2-plane, the group of rigid motions of Minkowski 2-plane, or the Heisenberg group equipped with a left invariant almost cosymplectic structure.

Proof. On an almost cosymplectic 3-h-a-manifold, from the definition, we have , and thus from (11), we may use in (10) to obtain

According to (13) and Lemma 1, by a standard calculation, we obtain

Because the Ricci operator is transversely Killing, from (12), we have and , which are compared with (14) and (15), respectively, implyingandrespectively. On the contrary, applying Lemma 1, we also have

Putting (18) into the well-known Jacobi identity, we obtain

Recall that, in this situation, and and the abovementioned relations reduce to

Taking into account the last term of (16) (or the second term of (17)), we have to divide our discussions into the following two cases.

Case 1. . Because λ is assumed to be a positive function, using in the last term of (16) and the second term of (17), we obtainAs and , from the first two terms of (18), we obtain and . Putting these two equations into (20), with the aid of (21) and , we obtainwhere we have used that λ is a positive function. In view of , together with the abovementioned relations, we see that λ is a positive constant. Now (18) reduces toAccording to Milnor [22] and the abovementioned relations, it is easily seen that the manifold is locally isometric to the group of rigid motions of the Minkowski 2-space equipped with a left invariant almost cosymplectic structure.

Case 2. . In this case, replacing X by in (12), with the aid of and , we obtainOn the contrary, with the aid of , applying (13) and Lemma 1, we obtainwhich are compared with (24), implying thatPutting the last term of (17) and the second term of (16) into (27) and (28), respectively, we obtainandrespectively. The subtraction of (29) from the third term of (16) multiplied by 3 implies , where we have used the assumption . Using this relation back in (29), we obtainSimilarly, in view of , the subtraction of (30) from the second term of (17) multiplied by 3 gives , which is applied back in (30), implyingIn view of , we see that λ is a positive constant. Moreover, from (26), we see that the scalar curvature of the manifold is a negative constant. In this case, from (18), we also haveFinally, according to Milnor [22] and (33), we observe that the manifold is locally isometric to a unimodular Lie group G endowed with a left invariant noncosymplectic almost cosymplectic structure becauseMore specifically, G is the group of rigid motions of Euclidean 2-plane if or ; the group of rigid motions of Minkowski 2-plane if ; or the Heisenberg group if or . We refer the reader to [14] for the constructions of almost cosymplectic structures on the abovementioned unimodular Lie groups. The converse is easy to check. This completes the proof.
From proof of Theorem 1, we have

Corollary 1. The Ricci operator of a noncosymplectic almost cosymplectic 3-h-manifold is transversely Killing if and only if the manifold is locally isometric to the group of rigid motions of Minkowski 2-plane equipped with a left invariant almost cosymplectic structure.

In Theorem 1, the condition “the Ricci operator is transversely Killing” is essential because we have

Example 1. Let G be a three-dimensional nonunimodular Lie group equipped with a left invariant metric whose Lie algebra is given bywhere is an orthonomal basis with respect to and . On G, there exists an almost cosymplectic structure (see [14]). According to [4], we haveIt is easily seen that the left-invariant Ricci operator of G is not transversely Killing even if .
Next, we give the cosymplectic version of Theorem 1 as follows.

Theorem 2. The Ricci operator of a cosymplectic 3-manifold is transversely Killing if and only if the manifold is locally isometric to a Riemannian product of an open interval and a surface of constant Gauss curvature.

Proof. On a cosymplectic 3-manifold, applying on (7), we see that ξ is parallel, and hence we get and

On a Riemannian 3-manifold, the curvature tensor R is given byfor any vector fields , where r is the scalar curvature. Replacing Z by ξ in (38), with the aid of (37) and , we obtainfor any vector field X. According to (7) and (37), a simple calculation shows . If the Ricci operator is transversely Killing, from (12), we obtain and , where is an arbitrary local basis of the contact distribution . Thus, applying the previous three relations in the well-known formula , we obtain that the scalar curvature r is a constant. Therefore, taking the derivative of (39), we obtainThat is, the manifold is locally symmetric, and hence following [14], we see that the manifold is locally isometric to a product space of an open interval and a surface of constant Gauss curvature. The converse is easy to check.

An almost cosymplectic 3-manifold is said to be an almost cosymplectic 3-h-manifold if the Reeb vector field ξ is principal direction of the Ricci operator, or equivalently, ξ is harmonic (see [4]).

Lemma 2. If on an almost cosymplectic 3-h-manifold M, the Ricci operator is transversely Killing, then we have and .

Proof. If ξ is harmonic, we have , which is applied in Lemma 1 implying and . Using this, now (10) becomes

Taking into account Lemma 1 and (41), we obtainand

If the Ricci operator is transversely Killing, from (12), we have and , which are compared with (42) and (43), implyingandrespectively, where we have applied that λ is a positive function. If a vanishes, the proof is completed already. Next we consider the case that on some open subset. In this case, from (44) and (45), we know that λ is a positive constant. Moreover, from Lemma 1 and (41), we obtain

Applying (46), , and in the formula , we see that r is also a constant. Thus, according to (44) and (45), we obtain

It follows directly that and hence by the definition of almost cosymplectic structure we get . This completes the proof.

Theorem 3. Let M be a noncosymplectic almost cosymplectic 3-h-manifold such that a is an invariant along Reeb flow. Then, the Ricci operator is transversely Killing if and only if the manifold is locally isometric to the group of rigid motions of Euclidean 2-plane, the group of rigid motions of Minkowski 2-plane, or the Heisenberg group equipped with a left invariant almost cosymplectic structure.

Proof. On a noncosymplectic almost cosymplectic 3-h-manifold M, if a is an invariant along the Reeb flow, from Lemma 2, we see that a is a constant. Thus, together with , we see that M is in fact an almost cosymplectic 3-h-a-manifold. Finally, the proof follows immediately from Theorem 1.

Note that the condition “a is invariant along the Reeb flow and (12) is true” is essential. We show an almost cosymplectic 3-h-manifold on which previous condition does not hold (see [4, 23]).

Example 2. Let be an open subset of defined by . On there is an almost cosymplectic structure defined byAn orthonormal basis for the tangent space at each point of M is given by . According to [4], we haveFrom this, we see that the Reeb vector field is harmonic but the Ricci operator is not transversely Killing.

Data Availability

The data used to support the findings of this study are available from the corresponding author upon request.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This paper was supported by the Doctoral Foundation of Henan Institute of Technology (grant no. KQ1828).