Next Article in Journal
Stability and Optimality Criteria for an SVIR Epidemic Model with Numerical Simulation
Next Article in Special Issue
The Lichnerowicz-Type Laplacians: Vanishing Theorems for Their Kernels and Estimate Theorems for Their Smallest Eigenvalues
Previous Article in Journal
Optimizing Supply Chain Design under Demand Uncertainty with Quantity Discount Policy
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Weak Quasi-Contact Metric Manifolds and New Characteristics of K-Contact and Sasakian Manifolds

by
Vladimir Rovenski
Department of Mathematics, University of Haifa, Haifa 3498838, Israel
Mathematics 2024, 12(20), 3230; https://doi.org/10.3390/math12203230
Submission received: 3 October 2024 / Revised: 12 October 2024 / Accepted: 14 October 2024 / Published: 15 October 2024
(This article belongs to the Special Issue Differential Geometric Structures and Their Applications)

Abstract

:
Quasi-contact metric manifolds (introduced by Y. Tashiro and then studied by several authors) are a natural extension of contact metric manifolds. Weak almost-contact metric manifolds, i.e., where the linear complex structure on the contact distribution is replaced by a nonsingular skew-symmetric tensor, have been defined by the author and R. Wolak. In this paper, we study a weak analogue of quasi-contact metric manifolds. Our main results generalize some well-known theorems and provide new criterions for K-contact and Sasakian manifolds in terms of conditions on the curvature tensor and other geometric objects associated with the weak quasi-contact metric structure.

1. Introduction

Contact Riemannian geometry plays an important role in both mathematics and physics. It considers a ( 2 n + 1 ) -dimensional smooth manifold M equipped with an almost-contact metric (a.c.m.) structure ( f , ξ , η , g ) , where g is a Riemannian metric, f is a ( 1 , 1 ) -tensor, ξ is a vector field and η is a 1-form satisfying
f 2 = id + η ξ , η ( ξ ) = 1 , g ( f X , f Y ) = g ( X , Y ) η ( X ) η ( Y ) , η ( X ) = g ( ξ , X ) ,
where X , Y X M and X M are the Lie algebra of smooth vector fields on M. In [1], D. Chinea and C. Gonzalez obtained a classification of a.c.m. manifolds which was analogous to the classification of almost-Hermitian manifolds established by A. Gray and H.M. Hervella; see [2]. Let M 2 n + 1 ( f , ξ , η , g ) be an almost-contact metric manifold. The tensor N ( 1 ) is defined by
N ( 1 ) = [ f , f ] + 2 d η ξ ,
where 2 d η ( X , Y ) = X ( η ( Y ) ) Y ( η ( X ) ) η ( [ X , Y ] ) = ( X η ) Y ( Y η ) X , and
[ f , f ] ( X , Y ) = f 2 [ X , Y ] + [ f X , f Y ] f [ f X , Y ] f [ X , f Y ] ,
is the Nijenhuis torsion of f. The (1,1)-tensor h is defined by
h = ( 1 / 2 ) L ξ f ,
where ( L Z f ) X = [ Z , f X ] f [ Z , X ] is the Lie derivative, as in [3]. On a contact metric manifold, h vanishes if and only if ξ is a Killing vector field. A contact metric manifold M ( f , ξ , η , g ) for which ξ is a Killing vector field is called a K-contact manifold, as in [3]. The following classes of a.c.m. manifolds are well known:
(1)
M —normal a.c.m. manifolds, characterized by the equality N ( 1 ) = 0 .
(2)
S —Sasakian manifolds, characterized by the equality; see ([3] Theorem 6.3),
( X f ) Y = g ( X , Y ) ξ η ( Y ) X , X , Y X M .
(3)
C —contact metric manifolds, characterized by the equality d η = Φ , where Φ ( X , Y ) = g ( X , f Y ) .
(4)
N —nearly-Sasakian manifolds, characterized by the equality; see [4]:
( Y f ) Y = g ( Y , Y ) ξ η ( Y ) Y , Y X M ,
(5)
Q —quasi-contact metric (q.c.m.) manifolds, characterized by the equality
( X f ) Y + ( f X f ) f Y = 2 g ( X , Y ) ξ η ( Y ) X + h X + η ( X ) ξ , X , Y X M .
Thus, N S = M C and C Q . For the last inclusion, see ([3] Lemma 7.3); the inverse is true for dimension 3, but for dimensions > 3 it is an open question; see [5,6,7].
By means of the almost-Hermitian cone (see Section 2), a.c.m. manifolds and almost-Hermitian manifolds correspond to each other.
(1)
M ( f , ξ , η , g ¯ ) belongs to M if and only if M ¯ ( J , g ¯ ) belongs to H —Hermitian manifolds, defined by [ J , J ] = 0 .
(2)
M ( f , ξ , η , g ¯ ) belongs to S if and only if M ¯ ( J , g ¯ ) belongs to K —Kähler manifolds, defined by ¯ J = 0 , where ¯ is the Levi–Civita connection for g ¯ .
(3)
M ( f , ξ , η , g ¯ ) belongs to C if and only if M ¯ ( J , g ¯ ) belongs to AK —almost-Kähler manifolds, defined by d Ω = 0 , where Ω ( X , Y ) = g ¯ ( X , J Y ) .
(4)
M ( f , ξ , η , g ¯ ) belongs to N if and only if M ¯ ( J , g ¯ ) belongs to NK —nearly-Kähler manifolds, defined by ( ¯ X J ) X = 0 .
(5)
M ( f , ξ , η , g ¯ ) belongs to Q if and only if M ¯ ( J , g ¯ ) belongs to QK —quasi-Kähler manifolds, defined by ( ¯ X J ) Y + ( ¯ J X J ) J Y = 0 .
Thus, AK NK = K = QK H and AK , NK QK .
In [8,9,10,11,12,13], we introduced and studied metric structures on a smooth manifold that generalized the a.c.m. structures. These so-called “weak” structures (where the linear complex structure on the contact distribution is replaced by a nonsingular skew-symmetric tensor) made it possible to take a new look at the classical theory and find new applications.
One may consider classes w M , w S ,   w C ,   w N   and   w Q of weak structures, defined similarly to the above classes, M , S ,   C ,   N   and   Q . Our previous works [8,9,10,11,12,13] are devoted to the classes w M , w S ,   w C   and   w N ; see survey [14]. This paper continues our study of the geometry of weak a.c.m. manifolds and discusses how the above weak a.c.m. structures relate to each other. The above open question motivates us to study class w Q of weak q.c.m. manifolds. Our overall goal is to demonstrate that weak a.c.m. structures allow us to look at the theory of contact metric manifolds in a new way. To do this, we successfully extended classical theorems from contact geometry to the more general setting of weak q.c.m. manifolds w Q .
This paper is organized as follows. In Section 2, following the introductory Section 1, we review the basics of weak a.c.m. manifolds and prove Lemma 1. Section 3 contains our main contributions—Propositions 1, 2, 3, 4 and five theorems—where we generalize some well-known results and provide new criterions for K-contact manifolds (Theorems 1, 3 and 4) and Sasakian manifolds (Theorems 2 and 5).

2. Preliminaries

A weak a.c.m. structure on a smooth manifold M 2 n + 1 is defined by a ( 1 , 1 ) -tensor f, a nonsingular ( 1 , 1 ) -tensor Q, a vector field ξ , a 1-form η , and a Riemannian metric g such that
f 2 = Q + η ξ , η ( ξ ) = 1 , g ( f X , f Y ) = g ( X , Q Y ) η ( X ) η ( Y ) , η ( X ) = g ( ξ , X ) ( X , Y X M ) .
The following equalities are true for a.c.m. manifolds; see ([9] Proposition 1(a)):
f ξ = 0 , η f = 0 , η Q = η , [ Q , f ] = [ Q ˜ , f ] = 0 , η Q ˜ = 0 , Q ˜ ξ = 0 ,
where Q ˜ = Q id T M is a “small” tensor. According to the above, f ( ker η ) ker η and rank f = 2 n . In this case, f is skew-symmetric, and Q is self-adjoint and positive definite.
A weak a.c.m. structure satisfying (2) is called a weak q.c.m. structure. A weak a.c.m. structure satisfying d η = Φ is called a weak contact metric structure. For a weak contact metric structure, the 1-form η is contact; see [12]. A 1-form η on M 2 n + 1 is said to be contact if η ( d η ) n 0 , e.g., [3]. A weak almost-contact structure is said to be normal if N ( 1 ) = 0 . A normal weak contact metric structure is called a weak Sasakian structure. Recall that a weak a.c.m. structure is weak Sasakian if and only if it is a Sasakian structure; see ([8] Theorem 3).
The following tensors on a.c.m. manifolds are well known; see [3]:
N ( 2 ) ( X , Y ) = ( £ f X η ) ( Y ) ( £ f Y η ) ( X ) = 2 d η ( f X , Y ) 2 d η ( f Y , X ) , N ( 3 ) ( X ) = ( £ ξ f ) X = [ ξ , f X ] f [ ξ , X ] , N ( 4 ) ( X ) = ( £ ξ η ) ( X ) = ξ ( η ( X ) ) η ( [ ξ , X ] ) = 2 d η ( ξ , X ) .
For a weak a.c.m. structure, the following equality is true; see [7] for Q = id :
N ( 2 ) ( X , Y ) = ( f X η ) ( Y ) ( Y η ) ( f X ) ( f Y η ) ( X ) + ( X η ) ( f Y ) .
Let M 2 n + 1 ( f , Q , ξ , η , g ) be a weak a.c.m. manifold. Define (1,1)-tensors J, P and a Riemannian metric g ¯ on the product M ¯ = M 2 n + 1 × R for X , Y T M and t R :
J ( X , 0 ) = ( f X , η ( X ) t ) , J ( 0 , t ) = ( ξ , 0 ) , P ( X , 0 ) = ( Q X , 0 ) , P ( 0 , t ) = ( 0 , t ) . g ¯ ( ( X , 0 ) , ( Y , 0 ) ) = e 2 t g ( X , Y ) , g ¯ ( ( X , 0 ) , ( 0 , t ) ) = 0 , g ¯ ( ( 0 , t ) , ( 0 , t ) ) = e 2 t .
Then, J 2 = P will hold and M ¯ ( J , P , g ¯ ) will be a weak almost-Hermitian manifold. The tensors N ( i ) ( i = 1 , 2 , 3 , 4 ) appear when we use the integrability condition [ J , J ] = 0 of J to express the normality condition N ( 1 ) = 0 of the weak a.c.m. structure; see [10]. For weak contact metric manifolds, we have N ( 2 ) = N ( 4 ) = 0 and the trajectories of ξ are geodesics, i.e., ξ ξ = 0 ; moreover, N ( 3 ) = 0 if and only if ξ is a Killing vector field; see [10].
The following result generalizes Proposition 2.6 in [7].
Lemma 1. 
For a weak q.c.m. structure ( f , Q , ξ , η , g ) , the following equalities are true:
( X η ) ( Q Y ) + ( f X η ) ( f Y ) + 2 g ( f X , Y ) = 0 ,
ξ f = 0 ,
ξ ξ = 0 , ξ η = 0 ,
Q ξ = ( ξ ) Q = f f h ,
£ ξ Q = ξ Q = 0 ,
h f + f h = 0 ,
h Q Q h = 0 .
Proof. 
Setting X = ξ in (2) and using f ξ = 0 and h ξ = 0 , we obtain (7). The equality (8) follows directly from (7). From (2) with Y = ξ , we obtain f X ξ = X η ( X ) ξ + h X . Multiplying this by f and using f 2 = Q + η ξ , see (3), we obtain Q ξ = f f h ; see (9).
Replacing X and Y with f X and f Y , respectively, in (2) gives
( f X f ) f Y + ( f 2 X f ) f 2 Y = 2 g ( f X , f Y ) ξ ,
and then using f 2 = Q + η ξ , see (3), we obtain
( Q X f ) ( Q Y ) + ( f X f ) f Y = 2 g ( Q X , Y ) ξ 2 η ( X ) η ( Y ) ξ + η ( Y ) ( Q X f ) ξ + η ( X ) ( ξ f ) Q Y η ( X ) η ( Y ) ( ξ f ) ξ .
Subtracting from this (2), we obtain
( Q X f ) ( Q Y ) ( X f ) Y + 2 g ( Q ˜ X , Y ) ξ = η ( Y ) ( Q X f ) ξ + η ( X ) ( ξ f ) Q Y η ( X ) η ( Y ) ( ξ f ) ξ η ( X ) η ( Y ) ξ + η ( Y ) X + η ( Y ) h X .
From (7) and the definition of h, we obtain
2 h X = f X ξ f X ξ .
Thus, from (13) and (7) we obtain
( Q X f ) ( Q Y ) ( X f ) Y + 2 g ( Q ˜ X , Y ) ξ = η ( Y ) X f Q X ξ η ( X ) ξ + ( 1 / 2 ) f X ξ ( 1 / 2 ) f X ξ .
Setting Y = ξ in the above equation, we obtain
2 X 2 η ( X ) ξ f X ξ = f X ξ .
Applying f to the above equation and using (3) and η ( X ξ ) = 0 , we obtain
2 f X = f f X ξ + f 2 X ξ = f f X ξ Q X ξ .
Multiplying this by Y, we obtain (6).
Using (14) and f 2 = Q + η ξ , see (3), we find
2 ( h f + f h ) X = f 2 X ξ f 2 X ξ = Q ˜ ξ Q ˜ X ξ = ( £ ξ Q ˜ ) X .
Using (7) and (8), we find ξ Q ˜ = 0 . We can also calculate the following, using (7) and (9):
2 h X = ( £ ξ Q ˜ ) X = f X ξ f X ξ = Q 1 f 2 Q 1 f 2 h + Q 1 f 2 Q 1 f ( f h + ( 1 / 2 ) £ ξ Q ˜ ) X = 2 h X ( 1 / 2 ) Q 1 f ( £ ξ Q ˜ ) X .
Thus, £ ξ Q ˜ = 0 , which proves (10) and (11). Multiplying (11) by f and using (11) gives (12). Using the above, we can complete the proof of (9): ( ξ ) Q X = Q 1 ( f Q X f h Q X ) = f X f h X . □
Remark 1. 
For weak contact metric manifolds, we generally have ξ f 0 ; see ([8] Corollary 1), which differs from (7). Thus, the class w C is not contained in w Q , although C Q .

3. Main Results

The next theorem completes ([10] Theorem 2) and characterizes K-contact manifolds among weak q.c.m. manifolds satisfying (10) by using the following property of K-contact manifolds; see [3]:
ξ = f .
Theorem 1. 
Let M ( f , Q , ξ , η , g ) be a weak q.c.m. manifold and (15) be valid. Then, Q = id , and M ( f , ξ , η , g ) is a K-contact manifold.
Proof. 
Let a weak q.c.m. manifold M ( f , Q , ξ , η , g ) satisfy the condition (15). From (9) and (15), we obtain f ( h Q ˜ ) = 0 . Since f is non-degenerate on ker η and h ξ = Q ˜ ξ = 0 is true, we find h = Q ˜ . On the other hand, using (10), we obtain £ ξ Q ˜ = 0 . Therefore, from (11) and [ Q , f ] = 0 , see (4), we find f Q ˜ = 0 . From this, since f is non-degenerate on ker η , we obtain Q ˜ = 0 . Therefore, M ( f , ξ , η , g ) is a q.c.m. manifold. Since h = 0 also holds, according to ([7] Theorem 3.2), M ( f , ξ , η , g ) is a contact metric manifold. Next, using (15) and the skew-symmetry of f, we can conclude that ξ is a Killing vector field:
g ( X ξ , Y ) + g ( Y ξ , X ) = g ( f X , Y ) g ( f Y , X ) = 0 .
Therefore, M ( f , ξ , η , g ) is a K-contact manifold. □
The curvature tensor is given by R X , Y Z = X Y Z Y X Z [ X , Y ] Z .
The following result generalizes ([3] Proposition 7.1) on contact metric manifolds.
Proposition 1. 
For a weak q.c.m. structure ( f , Q , ξ , η , g ) , the following equalities are true:
( ξ h ) X = Q 1 f X h 2 f X f R X , ξ ξ ,
Q R ξ , X ξ f R ξ , f X ξ = 2 h 2 X + ( Q + Q 1 ) f 2 X .
Proof. 
Using (9) and (7), we can compute
Q R ξ , X ξ = f ξ ( X h X ) + f [ ξ , X ] + f h [ ξ , X ] .
Applying f and using (3), (12) and (9), we obtain
Q f R ξ , X ξ = f 2 ξ ( X h X ) + f 2 [ ξ , X ] + f 2 h [ ξ , X ] = Q ξ ( X + h X ) η ( ξ ( X + h X ) ) ξ Q [ ξ , X ] + η ( [ ξ , X ] ) ξ Q h [ ξ , X ] = Q ( ξ h ) X + X ξ + h X ξ .
According to the above, since Q is nonsingular, the following is true:
f R ξ , X ξ = ( ξ h ) X + X ξ + h X ξ .
Using (9), (11) and (12), we obtain the following formula (16):
f R ξ , X ξ = ( ξ h ) X + Q 1 f X + h 2 f X .
Next, applying f to (16) and using f 2 X = Q X + η ( X ) ξ , see (3), we find
Q R ξ , X ξ = h 2 X + Q f 2 X f ( ξ h ) X .
Using (7) and (11), we obtain ( ξ h ) f X = f ( ξ h ) X . From (18), using h 2 f = f h 2 , see (12), we obtain
f R ξ , f X ξ = ( ξ h ) f X + Q 1 ( f 2 X + h 2 f 2 X ) = h 2 X Q 1 f 2 X f ( ξ h ) X .
Subtracting (20) from (19) yields (17). □
The following result generalizes Proposition 2.3 in [7] for Q = id .
Proposition 2. 
Let a weak a.c.m. structure ( f , Q , ξ , η , g ) satisfy ξ f = 0 ; see (7). Then,
g ( h X , Y ) g ( h Y , X ) = ( 1 / 2 ) N ( 2 ) ( X , Y ) ;
hence, h is self-adjoint if and only if N ( 2 ) 0 .
Proof. 
Note that h ξ = 2 N ( 3 ) ( ξ ) = 0 and h X ξ for X ξ . Using ξ f = 0 , we obtain
2 h X = f X ξ + f X ξ .
From (5) and (22), we obtain (21), which completes the proof. □
The following result generalizes Theorem 4.2 in [6].
Proposition 3. 
Let M ( f , Q , ξ , η , g ) be a weak q.c.m. manifold. If ξ is a Killing vector field, then the tensor h is skew-symmetric (and h 2 is nonpositive definite); if the contact distribution ker η is integrable, then h is self-adjoint (and h 2 is nonnegative definite).
Proof. 
Using (9) and (11)–(12), we can calculate
g ( X ξ , Y ) ± g ( Y ξ , X ) = g ( Q 1 ( f f h ) X , Y ) ± g ( Q 1 ( f f h ) Y , X ) = g ( Q 1 f ( h ± h * ) X , Y ) = g ( ( h ± h * ) X , Q 1 f Y ) ,
where h * is the conjugate tensor to h. According to the above, if ξ is a Killing vector field, that is, g ( X ξ , Y ) + g ( Y ξ , X ) = 0 for all X , Y , then h + h * = 0 , and if the distribution ker η is integrable then g ( [ Y , X ] , ξ ) = g ( X ξ , Y ) g ( Y ξ , X ) = 0
For a weak a.c.m. manifold M ( f , Q , ξ , η , g ) , we will build an f-basis consisting of mutually orthogonal nonzero vectors at a point x M . Let e 1 ( ker η ) x be a unit eigenvector of the self-adjoint operator Q > 0 with the eigenvalue λ 1 > 0 . Then, f e 1 ( ker η ) x is orthogonal to e 1 and Q ( f e 1 ) = f ( Q e 1 ) = λ 1 f e 1 . Thus, the subspace orthogonal to the plane s p a n { e 1 , f e 1 } is Q-invariant. There exists a unit vector e 2 ( ker η ) x such that e 2 s p a n { e 1 , f e 1 } and Q e 2 = λ 2 e 2 for some λ 2 > 0 . Obviously, Q ( f e 2 ) = f ( Q e 2 ) = λ 2 f e 2 . All five vectors { ξ , e 1 , f e 1 , e 2 , f e 2 } are nonzero and mutually orthogonal. Continuing in the same manner, we find a basis { ξ , e 1 , f e 1 , , e n , f e n } of T x M consisting of mutually orthogonal vectors; see [12]. Note that g ( f e i , f e i ) = g ( Q e i , e i ) = λ i and trace Q = 2 i = 1 n λ i .
The following condition is stronger than ξ Q = 0 , see (10), and is valid when Q = id :
( X Q ) Y = 0 ( X , Y ker η ) .
The exterior derivative of Φ is given by
d Φ ( X , Y , Z ) = ( 1 / 3 ) { X Φ ( Y , Z ) + Y Φ ( Z , X ) + Z Φ ( X , Y ) Φ ( [ X , Y ] , Z ) Φ ( [ Z , X ] , Y ) Φ ( [ Y , Z ] , X ) } .
The next result completes Theorem 3.2 in [7].
Proposition 4. 
Let a weak q.c.m. manifold satisfy the condition (23). If h is self-adjoint, then η is a contact form and d Φ = 0 .
Proof. 
According to Lemma 1, conditions (6)–(8) are true. From (6), we obtain
( X η ) ( Q Y ) ( Y η ) ( Q X ) + ( f X η ) ( f Y ) ( f Y η ) ( f X ) = 4 g ( f X , Y ) .
According to (7) and Proposition 2, (21) is true; thus, N ( 2 ) 0 holds by symmetry of h. Using (5), we obtain
( f X η ) ( Y ) ( Y η ) ( f X ) ( f Y η ) ( X ) + ( X η ) ( f Y ) = 0 .
Replacing X with f X in (25) and using ξ η = 0 (since ξ ξ = 0 ; see (8)) and ( Y η ) ( ξ ) = 0 , we obtain
( Y η ) ( Q X ) ( Q X η ) ( Y ) ( f Y η ) ( f X ) + ( f X η ) ( f Y ) = 0 .
Subtracting (26) from (24) gives
2 ( X η ) ( Y ) 2 ( Y η ) ( X ) + ( X η ) ( Q ˜ Y ) 2 ( Y η ) ( Q ˜ X ) + ( Q ˜ X η ) ( Y ) = 4 Φ ( X , Y ) .
Using (23), we find ( X η ) ( Q ˜ Y ) = ( Y η ) ( Q ˜ X ) = 0 ; therefore,
( X η ) ( Y ) ( Y η ) ( X ) + ( 1 / 2 ) ( Q ˜ X η ) ( Y ) = 2 Φ ( X , Y ) .
Hence, using ( X η ) ( Y ) ( Y η ) ( X ) = 2 d η ( X , Y ) and ( Q ˜ X η ) ( Y ) = 2 d η ( Q ˜ X , Y ) , we obtain
d η ( X + 1 2 Q ˜ X , Y ) = Φ ( X , Y ) .
In particular, d Φ = 0 . In terms of the f-basis, we obtain 1 2 ( λ i + 1 ) d η ( e i , Y ) = Φ ( e i , Y ) and Φ ( e i , e j ) = 0 , Φ ( e i , f e j ) = λ i δ i j , where λ i > 0 . Therefore,
η ( d η ) n ( ξ , e 1 , f e 1 , , e n , f e n ) = ( d η ) n ( e 1 , f e 1 , , e n , f e n ) 0 ,
and η is a contact form. □
Theorem 2. 
If a weak q.c.m. manifold M ( f , Q , ξ , η , g ) satisfies the condition (1), then Q = id and M ( f , ξ , η , g ) is a Sasakian manifold.
Proof. 
Using (1) in (2), we obtain the following for any X , Y T M :
g ( Q ˜ X , Y ) ξ + η ( Y ) h X = 0 .
Since h X ξ , we obtain Q ˜ = 0 and h = 0 ; therefore, M ( f , ξ , η , g ) is a quasi-contact metric manifold. According to ([5] Theorem 2.2) (h is self-adjoint), M ( f , ξ , η , g ) is a contact metric manifold. According to the conditions and ([3] Theorem 6.3), M ( f , ξ , η , g ) is a Sasakian manifold. □
On a contact metric manifold M 2 n + 1 , we have R i c ( ξ , ξ ) = 2 n trace h 2 ; see ([3] Corollary 7.1). The following theorem generalizes this property and generalizes ([5] Theorem A).
Theorem 3. 
Let M ( f , Q , ξ , η , g ) be a weak q.c.m. manifold such that K ( ξ , X ) + K ( ξ , f X ) 0 for all nonzero X ξ . Then,
max 1 i n { λ i } · R i c ( ξ , ξ ) n trace h 2 + 1 4 n ( trace Q 1 ) 2 .
If trace Q ˜ = 0 and the equality in (27) holds, then Q ˜ = 0 , λ i = 1 ( 1 i n ) and R i c ( ξ , ξ ) = 2 n trace h 2 ; moreover, if ξ is a Killing vector field, then M ( f , ξ , η , g ) is a K-contact manifold.
Proof. 
From (17) with X = e i and then X = f e i , we can obtain formulas with sectional curvature,
λ i K ( ξ , e i ) + K ( ξ , f e i ) = λ i 2 + 1 2 g ( h 2 e i , e i ) , λ i K ( ξ , f e i ) + K ( ξ , e i ) = λ i 2 + 1 2 g ( h 2 f e i / f e i , f e i / f e i ) ) ,
using an f-basis { ξ , e 1 , , e n , f e 1 , , f e n } . From the above, we obtain
i = 1 n λ i K ( ξ , e i ) + K ( ξ , f e i ) = n trace h 2 + i = 1 n λ i 2 .
Using the equality trace Q = 1 + 2 i = 1 n λ i and the well-known inequality i = 1 n λ i 2 1 n ( i = 1 n λ i ) 2 , from (28), we obtain (27). If the equality in (27) is true, then λ 1 = = λ n . Note that trace Q = 2 n + 1 + trace Q ˜ . According to the condition trace Q ˜ = 0 , we can obtain λ i = 1 and Q ˜ = 0 ; thus, M ( f , ξ , η , g ) is a q.c.m. manifold and R i c ( ξ , ξ ) = 2 n trace h 2 . If ξ is a Killing vector field, then according to ([5] Theorem A), M ( f , ξ , η , g ) is a K-contact metric manifold. □
It is well known that a K-contact structure satisfies the following condition:
R X , ξ ξ = X η ( X ) ξ ,
thus, the sectional curvature of all planes containing ξ is equal to 1.
The following result complements ([3] Theorem 7.2) and ([5] Theorem A) on K-contact manifolds.
Theorem 4. 
Let a weak q.c.m. manifold M ( f , Q , ξ , η , g ) satisfy (29). If ξ is a Killing vector field, then, Q = id and M ( f , ξ , η , g ) is a K-contact manifold.
Proof. 
According to (29), we obtain K ξ , X = 1 for nonzero vectors X ξ . Using this in (17), we obtain
Q ( X ) f ( f X ) = 2 h 2 X + ( Q + Q 1 ) f 2 X .
Using (3) and Q = id + Q ˜ , we simplify the above equation with X ξ to the following:
2 h 2 X = f 2 X Q X ( Q + Q 1 ) f 2 X = Q X + η ( X ) ξ Q X + ( Q + Q 1 ) Q X η ( X ) ( Q + Q 1 ) ξ = 2 Q X + Q 2 X + X = 2 Q ˜ X + Q 2 X X = 2 Q ˜ X + Q ˜ 2 X + 2 Q ˜ X = Q ˜ 2 X .
Therefore, 2 h 2 = Q ˜ 2 0 , and consequently, trace h 2 0 . On the other hand, by Proposition 3 and the conditions, h is skew-symmetric and h 2 0 . Therefore, Q ˜ = 0 , and we conclude that M ( f , ξ , η , g ) is a q.c.m. manifold with a Killing vector field ξ . Hence, according to ([5] Theorem A), M ( f , ξ , η , g ) is a K-contact manifold. □
It is well known that a contact metric structure is Sasakian if and only if
R X , Y ξ = η ( Y ) X η ( X ) Y .
The following result complements ([3] Proposition 7.6) on contact metric manifolds and ([6] Theorem 4.3) on q.c.m. manifolds.
Theorem 5. 
Let a weak q.c.m. manifold M ( f , Q , ξ , η , g ) satisfy conditions trace h 2 0 and (30). Then, Q = id and M ( f , ξ , η , g ) is a Sasakian manifold.
Proof. 
According to (30), we can obtain R ξ , X ξ = X for X ξ . As in the proof of Theorem 4, we conclude that 2 h 2 = Q ˜ 2 0 . From this and the conditions, we obtain trace Q ˜ 2 = 0 ; hence, Q ˜ = 0 and M ( f , ξ , η , g ) is a q.c.m. manifold with condition (30). Hence, according to ([6] Theorem 4.3), M ( f , ξ , η , g ) is a Sasakian manifold. □

4. Conclusions

This paper contains substantial new mathematics that successfully extends important concepts and theorems about contact Riemannian manifolds for the case of weak q.c.m. manifolds and provides new tools for studying K-contact and Sasakian structures.

Funding

This research received no external funding.

Data Availability Statement

Data are contained within the article.

Conflicts of Interest

The author declares no conflicts of interest.

Abbreviations

The following abbreviations are used in this manuscript:
a.c.malmost-contact metric
q.c.mquasi-contact metric

References

  1. Chinea, D.; Gonzalez, C. A classification of almost contact metric manifolds. Ann. Mat. Pura Appl. 1990, 156, 15–36. [Google Scholar] [CrossRef]
  2. Gray, A.; Hervella, L.M. The sixteen classes of almost Hermitian manifolds and their linear imvarients. Ann. Mat. Pura Appl. 1980, 123, 35–58. [Google Scholar] [CrossRef]
  3. Blair, D.E. Riemannian Geometry of Contact and Symplectic Manifolds, 2nd ed.; Springer: New York, NY, USA, 2010. [Google Scholar]
  4. Blair, D.E.; Showers, D.K.; Komatu, Y. Nearly Sasakian structures. Kodai Math. Sem. Rep. 1976, 27, 175–180. [Google Scholar] [CrossRef]
  5. Bae; Park, J.; H, J.; Sekigawa, K. Quasi contact metric manifolds with Killing characteristic vector fields. Bull. Korean Math. Soc. 2020, 57, 1299–1306. [Google Scholar]
  6. Chai, Y.D.; Kim, J.H.; Park, J.H.; Sekigawa, K.; Shin, W.M. Notes on quasi contact metric manifolds. An. Ştiinţ Univ. Al. I. Cuza Iaşi Mat. (N.S.) 2016, 1, 349–359. [Google Scholar]
  7. Kim, J.H.; Park, J.H.; Sekigawa, K. A generalization of contact metric manifolds. Balkan J. Geom. Appl. 2014, 19, 94–105. [Google Scholar]
  8. Patra, D.S.; Rovenski, V. On the rigidity of the Sasakian structure and characterization of cosymplectic manifolds. Differ. Geom. Its Appl. 2023, 90, 102043. [Google Scholar] [CrossRef]
  9. Rovenski, V.; Wolak, R. New metric structures on g-foliations. Indag. Math. 2022, 33, 518–532. [Google Scholar] [CrossRef]
  10. Rovenski, V. Generalized Ricci solitons and Einstein metrics on weak K-contact manifolds. Commun. Anal. Mech. 2023, 15, 177–188. [Google Scholar] [CrossRef]
  11. Rovenski, V. Weak nearly Sasakian and weak nearly cosymplectic manifolds. Mathematics 2023, 11, 4377. [Google Scholar] [CrossRef]
  12. Rovenski, V. On the splitting of weak nearly cosymplectic manifolds. Differ. Geom. Its Appl. 2024, 94, 102142. [Google Scholar] [CrossRef]
  13. Rovenski, V. Characterization of Sasakian manifolds. Asian-Eur. J. Math. 2024, 17, 2450030. [Google Scholar] [CrossRef]
  14. Rovenski, V. Weak almost contact structures: A survey. arXiv 2024, arXiv:2408.13827. [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.

Share and Cite

MDPI and ACS Style

Rovenski, V. Weak Quasi-Contact Metric Manifolds and New Characteristics of K-Contact and Sasakian Manifolds. Mathematics 2024, 12, 3230. https://doi.org/10.3390/math12203230

AMA Style

Rovenski V. Weak Quasi-Contact Metric Manifolds and New Characteristics of K-Contact and Sasakian Manifolds. Mathematics. 2024; 12(20):3230. https://doi.org/10.3390/math12203230

Chicago/Turabian Style

Rovenski, Vladimir. 2024. "Weak Quasi-Contact Metric Manifolds and New Characteristics of K-Contact and Sasakian Manifolds" Mathematics 12, no. 20: 3230. https://doi.org/10.3390/math12203230

APA Style

Rovenski, V. (2024). Weak Quasi-Contact Metric Manifolds and New Characteristics of K-Contact and Sasakian Manifolds. Mathematics, 12(20), 3230. https://doi.org/10.3390/math12203230

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop