On the geometry of trans-para-Sasakian manifolds
Simeon Zamkovoy

TL;DR
This paper introduces trans-para-Sasakian manifolds, exploring their geometric properties and curvature, and establishing conditions for them to be η-Einstein or Einstein, expanding the understanding of these structures.
Contribution
It defines trans-para-Sasakian manifolds and investigates their curvature properties, providing new conditions for Einstein and η-Einstein classifications.
Findings
Identification of curvature properties of trans-para-Sasakian manifolds
Conditions for manifolds to be η-Einstein or Einstein
Extension of trans-Sasakian geometry to the para setting
Abstract
In this paper, we introduce the trans-para-Sasakian manifolds and we study their geometry. These manifolds are an analogue of the trans-Sasakian manifolds in the Riemannian geometry. We shall investigate many curvature properties of these manifolds and we shall give many conditions under which the manifolds are either Einstein or Einstein manifolds.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
On the geometry of trans-para-Sasakian manifolds
Simeon Zamkovoy
University of Sofia ”St. Kl. Ohridski”
Faculty of Mathematics and Informatics
Blvd. James Bourchier 5
1164 Sofia, Bulgaria
Abstract.
In this paper, we introduce the trans-para-Sasakian manifolds and we study their geometry. These manifolds are an analogue of the trans-Sasakian manifolds in the Riemannian geometry. We shall investigate many curvature properties of these manifolds and we shall give many conditions under which the manifolds are either Einstein or Einstein manifolds.
Key words and phrases:
trans-para-Sasakian manifolds, 3-dimensional trans-para-Sasakian manifolds, sectional curvature
1991 Mathematics Subject Classification:
53D15
1. Introduction
In Grey-Hervella classification of almost Hermitian manifolds (see [3]), there appears a class, , of Hermitian manifolds which are closely related to locally conformal manifolds. An almost contact structure on a manifold is called a trans-Sasakian structure (see [8]) if the product manifold belongs to the class . The class (see [6], [7]) coincides with the class of trans-Sasakian structures of type . In fact, in (see [7]), local nature of the two subclasses, namely the and the structures, of trans-Sasakian structures are characterized completely. We note the that trans-Sasakian structures of type , and are cosympletic (see [1]), Kenmotsu (see [4]) and Sasakian (see [4]), respectively. We consider the trans-para-Sasakian manifolds as an analogue of the trans-Sasakian manifolds. A trans-para-Sasakian manifold is a trans-para-Sasakian structure of type , where and are smooth functions. The trans-para-Sasakian manifolds of types , and are respecively the para-cosympletic, para-Sasakian (in case , these are just the para-Sasakian manifolds; in case , these are the quasi-para-Sasakian manifolds, see [11]) and para-Kenmotsu (for the case see [12]). In the second section, we give the formal definition of trans-para-Sasakian manifolds of type and we prove some basic properties. We give an example for a 3-dimensional trans-para-Sasakian manifold. In the last section, we investigate the curvature properties of the trans-para-Sasakian manifolds. Further, we find many conditions under which the manifolds are either Einstein or Einstein manifolds.
2. Preliminaries
A (2n+1)-dimensional smooth manifold has an almost paracontact structure if it admits a tensor field of type , a vector field and a 1-form satisfying the following compatibility conditions
[TABLE]
The tensor field induces an almost paracomplex structure [5] on each fibre on and is a -dimensional almost paracomplex distribution. Since is non-degenerate metric on and is non-isotropic, the paracontact distribution is non-degenerate.
An immediate consequence of the definition of the almost paracontact structure is that the endomorphism has rank , and , (see [1, 2] for the almost contact case).
If a manifold with -structure admits a pseudo-Riemannian metric such that
[TABLE]
then we say that has an almost paracontact metric structure and is called compatible. Any compatible metric with a given almost paracontact structure is necessarily of signature .
Note that setting , we have
Further, any almost paracontact structure admits a compatible metric.
Definition 2.1**.**
If (where then is a paracontact form and the almost paracontact metric manifold is said to be a paracontact metric manifold.
A paracontact metric manifold for which is Killing is called a manifold. A paracontact structure on naturally gives rise to an almost paracomplex structure on the product . If this almost paracomplex structure is integrable, then the given paracontact metric manifold is said to be a para-Sasakian. Equivalently, (see [10]) a paracontact metric manifold is a para-Sasakian if and only if
[TABLE]
for all vector fields and (where is the Livi-Civita connection of ).
Definition 2.2**.**
If then the manifold is said to be a trans-para-Sasakian manifold.
From we have
[TABLE]
Definition 2.3**.**
A -dimensional almost paracontact metric manifold is called
normal if , where is the Nijenhuis torsion tensor of (see [10]).
Denoting by the Lie differentiation of , we see
Proposition 2.4**.**
Let be a trans-para-Sasakian manifold. Then we have
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
where
Since the proof of follows by routine calculation, we shall omit it.
From we see that is normal.
Example 2.5*.*
Let us consider the 3-dimensional manifold , where are the standard coordinates in .We choose the vector fields
[TABLE]
which are linearly independent at each point of . We define an almost paracontact structure and a pseudo-Riemannian metric in the following way:
[TABLE]
By the definition of Lie bracket, we have
[TABLE]
Then is a 3-dimensional almost paracontact manifold. The Koszul equality becomes
[TABLE]
We have for , where and .
Again, by virtue of (2.10) and we obtain
[TABLE]
Thus from above the calculation the condition (2.9) and (2.10) are satisfied and the structure is a trans-para-Sasakian structure of type , where and . Consequently is a trans-para-Sasakian manifold.
Finally, the sectional curvature , where , of a plane section spanned by and the vector orthogonal to is called -sectional curvature, where denoting by the curvature tensor of .
3. Some curvatureb properties of trans-para-Sasakian manifolds
We begin with the following Lemma.
Lemma 3.1**.**
Let be a trans-para-Sasakian manifold. Then we have
[TABLE]
[TABLE]
Proof.
Using , we obtain
[TABLE]
[TABLE]
[TABLE]
From here and (2.9), we get
[TABLE]
[TABLE]
[TABLE]
[TABLE]
which in view of and (2.10) gives (3.15). ∎
yields the following
Proposition 3.2**.**
If is a trans-para-Sasakian manifold, then it is of sectional curvature .
In a trans-para-Sasakian manifolds the functions and can not be arbitrary. This fact is shown in the following
Theorem 3.3**.**
In trans-para-Sasakian manifold, we have
[TABLE]
[TABLE]
Proof.
Using (3.15) in , we get
[TABLE]
[TABLE]
From (3.15), we get
[TABLE]
while gives us (3.15)
[TABLE]
The above two equations provide (3.16) and (3.17). ∎
From , we have the following
Proposition 3.4**.**
In a dimensional tras-para-Sasakian manifold, we have
[TABLE]
[TABLE]
where is the Ricci tensor and is the Ricci operator given by
[TABLE]
Corollary 3.5**.**
If in a dimensional trans-para-Sasakian manifold we have , then
[TABLE]
and hence
[TABLE]
[TABLE]
From here on, we shall assume that .
The Weyl-projective curvature tensor is defined as
[TABLE]
Hence we can state the following
Theorem 3.6**.**
A Weyl projectively flat trans-para-Sasakian manifold is an Einstein manifold.
Proof.
Suppose that . Then from equation (3.24), we have
[TABLE]
From (3.25), we obtain
[TABLE]
Putting in (3.26), we get
[TABLE]
Again taking , and using (3.15) and (3.22), we get
[TABLE]
∎
Theorem 3.7**.**
A trans-para-Sasakian manifold satisfying is an Einstein manifold and also it is a manifold of scalar curvature .
Proof.
Using (3.15) and (3.22) in (3.24), we get
[TABLE]
and
[TABLE]
Now,
[TABLE]
[TABLE]
By assumption , so we have
[TABLE]
[TABLE]
Therefore
[TABLE]
[TABLE]
From this, it follows that,
[TABLE]
[TABLE]
[TABLE]
Let , be an orthonormal basis. Then summing up for of the relation (3.32) for yields
[TABLE]
From (3.30), we have
[TABLE]
Taking in (3.34) and using (3.22) we obtain
[TABLE]
∎
The Weyl-conformal tensor is defined by
[TABLE]
[TABLE]
We have the following
Theorem 3.8**.**
A conformally flat trans-para-Sasakian manifold is an Einstein manifold.
Proof.
Suppose that . Then from (3.36), we get
[TABLE]
[TABLE]
From the identity (3.37), we have
[TABLE]
[TABLE]
Again taking in (3.38), and using (3.15) and (3.22) we get
[TABLE]
∎
Theorem 3.9**.**
A trans-para-Sasakian manifold satisfying is an Einstein manifold.
Proof.
From identity (3.36), we have and
[TABLE]
[TABLE]
Now,
[TABLE]
[TABLE]
By assumption , so we have
[TABLE]
[TABLE]
Therefore
[TABLE]
[TABLE]
From this, it follows that,
[TABLE]
[TABLE]
[TABLE]
Let , be an orthonormal basis. Then summing up for of the relation (3.42) for yields
[TABLE]
From (3.40), we have
[TABLE]
∎
The concicular curvature tensor is defined by
[TABLE]
We have the following
Theorem 3.10**.**
A trans-para-Sasakian manifold satisfying is an Einstein manifold and a manifold of scalar curvature .
Proof.
From equality (3.45), we have and
[TABLE]
Now,
[TABLE]
[TABLE]
By assumption , so we have
[TABLE]
[TABLE]
Therefore
[TABLE]
[TABLE]
From this, it follows that,
[TABLE]
[TABLE]
[TABLE]
Let , be an orthonormal basis. Then summing up for of the relation (3.48) for yields
[TABLE]
[TABLE]
Using (3.22) in (3.49), we have
[TABLE]
and ∎
The projective Ricci tensor is defined by
[TABLE]
We have the following
Theorem 3.11**.**
A trans-para-Sasakian manifold satisfying is an Einstein manifold and a manifold of scalar curvature .
Proof.
From the identity , we get
[TABLE]
Putting and using (3.15) and (3.52) we have
[TABLE]
Using (3.52) in (3.53), we obtain that and . ∎
The pseudo-projective curvature tensor is defined by
[TABLE]
[TABLE]
where are constants such that .
We have the following
Theorem 3.12**.**
If a trans-para-Sasakian manifold is pseudo-projectively flat, then it is an Einstein manifold and a manifold of scalar curvature .
Proof.
Suppose that , then from (3.54), we get
[TABLE]
[TABLE]
Taking the inner product on both sides of (3.55) by , we get
[TABLE]
[TABLE]
Putting and using (3.15) and (3.22) in (3.56), we get
[TABLE]
[TABLE]
From the identity (3.57), we obtain that and . ∎
Theorem 3.13**.**
A trans-para-Sasakian manifold is satisfying the relation is an Einstein manifold and a manifold of scalar curvature .
Proof.
From equality (3.54), we have . Now,
[TABLE]
[TABLE]
By assumption , so we have
[TABLE]
[TABLE]
Therefore
[TABLE]
[TABLE]
From this, it follows that,
[TABLE]
[TABLE]
[TABLE]
Let , be an orthonormal basis. Then summing up for of the relation (3.59) for yields
[TABLE]
Taking the trace of the identity, we obtain
[TABLE]
From identity (3.61), we get
[TABLE]
Taking in (3.62) and using (3.22) we obtain
[TABLE]
∎
The PC-Bochner curvature tensor on is defined by [9]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
where .
Using the PC-Bochner curvature tensor we have
Theorem 3.14**.**
If a trans-para-Sasakian manifold is para-contact conformally flat, then .
Proof.
Suppose that the manifold is para-contact conformally flat. Then the condition holds. Putting and using (3.16), we obtain
[TABLE]
Since , we have . ∎
Theorem 3.15**.**
If a trans-para-Sasakian manifold satisfies the condition , then it is either an Einstein manifold with scalar curvature or .
Proof.
Suppose that the condition holds.This condition implies that
[TABLE]
Putting and using (3.16), we obtain
[TABLE]
∎
Acknowledgments
S.Z. is partially supported by Contract DN 12/3/12.12.2017 and Contract 80-10-24/17.04.2018 with the Sofia University St.Kl.Ohridski .
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] D. E. Blair, Contact Manifolds in Riemannian Geometry , Lecture Notes in Mathematics (Berlin) 509(1976).
- 2[2] D. E. Blair, Riemannian Geometry of Contact and Symplectic Manifolds , Birkhäuser Boston (2002).
- 3[3] A. Gray and L. M. Hervella, The sixteen classes of almost Hermitian manifolds and their linear invariants, Ann. Mat. Pura Appl., 123(4)(1980), 35-58.
- 4[4] D. Janssens, L. Vanhecke, Almost contact structures and curvature tensors , Kodai Math. J., 4(1981), 1-27.
- 5[5] S. Kaneyuki, F. L. Willams, Almost paracontact and parahodge structures on manifolds , Nagoya Math. J. 99(1985) 173-187.
- 6[6] J. C. Marrero, The local structure of trans-Sasakian manifolds , Ann. Mat. Pura Appl., 162(4)(1992), 77-86.
- 7[7] J. C. Marrero and D. Chinea, On trans-Sasakian manifolds , Proceedings of the XI Vth Spanish-Portuguese Conference on Mathematics, Vol. I-III (Spanish) (Puerto de la Cruz, 1989), 655-659, Univ. La Laguna, La Laguna, 1990.
- 8[8] J. A. Oubina, New classes of almost contact metric structures , Publ. Math. Debrecen, 32(1985), 187-193.
