Next Article in Journal
Moving Information Horizon Approach for Dynamic Game Models
Next Article in Special Issue
On Differential Equations Characterizing Legendrian Submanifolds of Sasakian Space Forms
Previous Article in Journal
Application of Differential Evolution Algorithm Based on Mixed Penalty Function Screening Criterion in Imbalanced Data Integration Classification
Previous Article in Special Issue
On the Betti and Tachibana Numbers of Compact Einstein Manifolds
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Closed Form for Slant Submanifolds of Generalized Sasakian Space Forms

1
Departamento de Economía, Métodos Cuantitativos e Historia Económica. Área de Estadística e Investigación Operativa, Universidad Pablo de Olavide. Ctra. de Utrera, km. 1. 41013 Sevilla, Spain
2
Department of Geometry and Topology, Faculty of Mathematics, University of Sevilla, Apdo. Correos 1160, 41080 Sevilla, Spain
*
Author to whom correspondence should be addressed.
First and third authors are partially supported by the PAIDI group FQM-327 (Junta de Andalucía, Spain) and the MEC-FEDER grant MTM2011-22621. The third author is member of IMUS (Instituto de Matemáticas de laUniversidda de Sevilla).
Mathematics 2019, 7(12), 1238; https://doi.org/10.3390/math7121238
Submission received: 4 November 2019 / Revised: 7 December 2019 / Accepted: 9 December 2019 / Published: 13 December 2019
(This article belongs to the Special Issue Inequalities in Geometry and Applications)

Abstract

:
The Maslov form is a closed form for a Lagrangian submanifold of C m , and it is a conformal form if and only if M satisfies the equality case of a natural inequality between the norm of the mean curvature and the scalar curvature, and it happens if and only if the second fundamental form satisfies a certain relation. In a previous paper we presented a natural inequality between the norm of the mean curvature and the scalar curvature of slant submanifolds of generalized Sasakian space forms, characterizing the equality case by certain expression of the second fundamental form. In this paper, first, we present an adapted form for slant submanifolds of a generalized Sasakian space form, similar to the Maslov form, that is always closed. And, in the equality case, we studied under which circumstances the given closed form is also conformal.

1. Introduction

It was proven by V. Borrelli, B.-Y. Chen and J. M. Morvan [1], and independently by A. Ros and F. Urbano [2], that if M is a Lagrangian submanifold, with dim ( M ) = m , of C m , with mean curvature vector H and scalar curvature τ , then H 2 2 ( m + 2 ) m 2 ( m 1 ) τ , with equality if and only if M is either totally geodesic or a (piece of a) Whitney sphere. Moreover, they proved that M satisfies the equality case at every point if and only if its second fundamental form σ is given by
σ ( X , Y ) = m m + 2 { g ( X , Y ) H + g ( J X , H ) J Y + g ( J Y , H ) J X } ,
for any tangent vector fields X and Y. Thus, they found a simple relationship between one of the main intrinsic invariants, τ , and the main extrinsic invariant H.
It was also proven in [2], that the Maslov form, which is a closed form for a Lagrangian submanifold of C m , is a conformal form if and only if M satisfies (1).
Later, D. E. Blair and A. Carriazo [3] established an analogue inequality for anti-invariant submanifolds in R 2 m + 1 with its standard Sasakian structure and characterized the equality case with a specific expression of the second fundamental form, similar to Equation (1). In a previous paper [4], we studied the corresponding inequality for slant submanifolds of generalized Sasakian space forms; we also characterized the equality case with an specific expression of the second fundamental form; and finally, we presented some examples satisfying the equality case.
Both B.-Y. Chen, [5] and A. Carriazo, [6], have studied the existence of closed forms for slant submanifolds in different environments. The existence of closed forms is particularly interesting, as they provide conditions about submanifolds admitting an immersion in a certain environment.
The purpose of this paper was to obtain some results similar to those of [2] for slant submanifolds of a generalized Sasakian space form. After a section with the main preliminaries, we show that for a slant submanifold of a generalized Sasakian manifold, the Maslov form is not always closed. Therefore, in the following section, we present a form that is always closed for a slant submanifold, so it really plays the role of the Maslov form in the cited papers. Later, if the submanifold satisfies the equality case in the corresponding inequality, that is, if the second fundamental form takes a particular expression [4], we study if the vector field associated with the given form is a conformal vector field.

2. Preliminaries

Given a Riemannian manifold ( M ˜ , g ) , a tangent vector field X on M ˜ is called closed if its dual 1-form is closed. That is equivalent to
g ( Y , ˜ Z X ) = g ( Z , ˜ Y X ) ,
for all Y and Z on M ˜ , where ˜ is the Levi–Civita connection.
Moreover, X is called conformal if L X g = ρ g , for ρ a function on M ˜ , where L is the Lie derivative. A closed vector field X is conformal in and only if
˜ Y X = f Y ,
for any tangent vector field Y on M ˜ and for certain function f on M ˜ .
In such a case, considering an orthonormal basis { e 1 , , e m } on M ˜ , it holds that ˜ e i X = f e i , for i = 1 , , m .
Now, we will recall some notions about almost-contact Riemannian geometry. For more details about this subject, we recommend the book [7].
An odd-dimensional Riemannian manifold ( M ˜ , g ) is said to be an almost contact metric manifold if there exists on M ˜ , a ( 1 , 1 ) tensor field ϕ , a unit vector field ξ (called the structure or Reeb vector field) and a 1-form η , such that
η ( ξ ) = 1 , ϕ 2 ( X ) = X + η ( X ) ξ
and
g ( ϕ X , ϕ Y ) = g ( X , Y ) η ( X ) η ( Y ) ,
for any vector fields X and Y on M ˜ . In particular, in an almost contact metric manifold we also have
ϕ ξ = 0 , η ϕ = 0 and η ( X ) = g ( X , ξ ) .
Such a manifold is said to be a contact metric manifold if d η = Φ , where Φ ( X , Y ) = g ( X , ϕ Y ) is called the fundamental 2-form of M ˜ . The almost contact metric structure of M is said to be normal if [ ϕ , ϕ ] ( X , Y ) = 2 d η ( X , Y ) ξ , for any X and Y. A normal contact metric manifold is called a Sasakian manifold. It can be proven that an almost contact metric manifold is Sasakian if an only if
( ˜ X ϕ ) Y = g ( X , Y ) ξ η ( Y ) X ,
for any X and Y on M.
In [8], J.A. Oubiña introduced the notion of a trans-Sasakian manifold. An almost contact metric manifold M ˜ is a trans-Sasakian manifold if there exists two functions α and β on M ˜ such that
( ˜ X ϕ ) Y = α ( g ( X , Y ) ξ η ( Y ) X ) + β ( g ( ϕ X , Y ) ξ η ( Y ) ϕ X ) ,
for any X and Y on M ˜ . If β = 0 , M ˜ is said to be an α-Sasakian manifold. Sasakian manifolds appear as examples of α -Sasakian manifolds, with α = 1 . If α = 0 , M ˜ is said to be a β-Kenmotsu manifold. Kenmotsu manifolds are particular examples with β = 1 . If both α and β vanish, then M ˜ is a cosymplectic manifold. In particular, from (4) it is easy to see that the following equation holds for a trans-Sasakian manifold:
˜ X ξ = α ϕ X + β ( X η ( X ) ξ ) .
It was proven by J.C. Marrero that, for dimensions greater or equal than 5, the only existing trans-Sasakian manifolds are α -Sasakian and β -Kenmotsu ones [9].
In [10], P. Alegre, D.E. Blair and A. Carriazo introduced the notion of a generalized Sasakian space form as an almost contact metric manifold ( M ˜ , ϕ , ξ , η , g ) whose curvature tensor is given by
R ˜ ( X , Y ) Z = f 1 g ( Y , Z ) X g ( X , Z ) Y + f 2 g ( X , ϕ Z ) ϕ Y g ( Y , ϕ Z ) ϕ X + 2 g ( X , ϕ Y ) ϕ Z + f 3 η ( X ) η ( Z ) Y η ( Y ) η ( Z ) X + g ( X , Z ) η ( Y ) ξ g ( Y , Z ) η ( X ) ξ ,
where f 1 , f 2 and f 3 are differential functions on M ˜ . These manifolds are denoted by M ˜ ( f 1 , f 2 , f 3 ) ; generalize the notion of Sasakian space form, M ˜ ( c ) , whose curvature tensor satisfies the expression (6), with
f 1 = c + 3 4 , f 2 = f 3 = c 1 4 ,
where c is the constant ϕ -sectional curvature.
Now we recall some general definitions and facts about submanifolds. Let M be a submanifold isometrically immersed in a Riemannian manifold ( M ˜ ,g). We denote by ∇ the induced Levi–Civita connection on M. Thus, the Gauss and Weingarten formulas are respectively given by
˜ X Y = X Y + σ ( X , Y ) , ˜ X V = A V X + D X V ,
for vector fields X and Y tangent to M and a vector field V normal to M, where σ denotes the second fundamental form, A V the shape operator in the direction of V and D the normal connection. The second fundamental form and the shape operator are related by
g ( A V X , Y ) = g ( σ ( X , Y ) , V ) .
M is called a totally geodesic submanifold if σ vanishes identically.
We denote by R and R ˜ , the curvature tensors of M and M ˜ , respectively. They are related by Gauss and Codazzi’s equations
R ˜ ( X , Y ; Z , W ) = R ( X , Y ; Z , W ) + g ( σ ( X , Z ) , σ ( Y , W ) ) g ( σ ( X , W ) , σ ( Y , Z ) ) ,
( R ˜ ( X , Y ) Z ) = ( ˜ X σ ) ( Y , Z ) ( ˜ Y σ ) ( X , Z ) ,
where ( R ˜ ( X , Y ) Z ) denotes the normal component of R ˜ ( X , Y ) Z and
( ˜ X σ ) ( Y , Z ) = D X ( σ ( Y , Z ) ) σ ( X Y , Z ) σ ( Y , X Z ) ,
is the derivative of Van der Waerden-Bortolotti.
On the other hand, the mean curvature vector H is defined by
H = ( 1 / d i m M ) trace σ ,
and M is said to be minimal if H vanishes identically.
The scalar curvature τ of M at p M is defined by
τ = 1 i < j d i m M K ( e i , e j ) ,
where K ( e i , e j ) denotes the sectional curvature of M associated with the plane section spanned by e i and e j , for any tangent vector fields e i and e j in a local orthonormal frame of M.
For a submanifold of an almost contact manifold, we denote
ϕ X = T X + N X and ϕ V = t V + n V
the tangent and normal part of ϕ X and ϕ V for any X tangent vector field and V normal vector field. If the ambient space is trans-Sasakian, taking the tangent and normal part at (4) we obtain:
( X T ) Y t σ ( X , Y ) A N Y X = α ( g ( X , Y ) ξ η ( Y ) X ) + β ( g ( T X , Y ) ξ η ( Y ) T X ) ,
( X N ) Y + σ ( X , T Y ) n σ ( X , Y ) = β η ( Y ) N X ,
( X t ) V A n V X + T A V X = β g ( N X , V ) ξ ,
( X n ) V + σ ( X , t V ) + N A V X = 0 .
And from (5):
X ξ = α T X + β ( X η ( X ) ξ ) ,
σ ( X , ξ ) = α N X .
Now, we recall the definition of slant submanifolds. These submanifolds were defined by B.-Y. Chen in [5] on almost Hermitian geometry. Later, A. Lotta defined slant submanifolds on the almost contact metric setting in [11]: given a submanifold M tangent to ξ , for each nonzero vector X tangent to M at p, such that X is not proportional to ξ p , we denote by θ ( X ) as the angle between ϕ X and T p M . Then, M is said to be slant if the angle θ ( X ) is a constant, which is independent of the choice of p M and X T p M < ξ p > . The angle θ of a slant immersion is called the slant angle of the immersion. Invariant and anti-invariant immersions are slant immersions with slant angles θ = 0 and θ = π / 2 , respectively. A slant immersion, which is neither invariant nor anti-invariant, is called a proper slant immersion. Slant submanifolds of Sasakian manifolds were studied by J.L. Cabrerizo, A. Carriazo, L.M. Fernández and M. Fernández in [12,13].
From now on, we denote by m + 1 = 2 n + 1 the dimension of M and 2 m + 1 = 4 n + 1 the dimension of M ˜ . We assume m 2 . Then, for a slant submanifold holds:
T 2 X = cos 2 θ ( X + η ( X ) ξ ) ,
t N X = sin 2 θ ( X + η ( X ) ξ ) ,
N T X + n N X = 0 ,
and because of the dimensions,
n 2 V = cos 2 θ V , N t V = sin 2 θ V and T t V + t n V = 0 ,
for any X , Y tangent vector fields and V normal vector field.
Given a proper slant submanifold M 2 n + 1 , with slant angle θ , immersed in an almost contact manifold M ˜ 4 n + 1 , we considered an adapted slant reference, [6]; it was built as follows. Given e 1 a unit tangent vector field, orthogonal to ξ , we took:
e 2 = ( sec θ ) T e 1 , e 1 * = ( csc θ ) N e 1 , e 2 * = ( csc θ ) N e 2 .
For k > 1 , then proceeding by induction, for each l = 1 , , n 1 , we chose a unit tangent vector field e 2 l + 1 of M, such as e 2 l + 1 , which is orthogonal to e 1 , e 2 , , e 2 l 1 , e 2 l , ξ and took:
e 2 l + 2 = ( sec θ ) T e 2 l + 1 , e ( 2 l + 1 ) * = ( csc θ ) N e 2 l + 1 , e ( 2 l + 2 ) * = ( csc θ ) N e 2 l + 2 .
In this way
{ e 1 , , e m , ξ , e 1 * , , e m * }
is an orthonormal reference such that e 1 , , e m belong to the contact distribution, D and e 1 * , , e m * are normal to M. Moreover, it can be directly computed that:
T e 2 j 1 = ( cos θ ) e 2 j , T e 2 j = ( cos θ ) e 2 j 1 , j = 1 , , k ; N e i = ( sin θ ) e i * , t e i * = ( sin θ ) e i , i = 1 , , m ; n e ( 2 j 1 ) * = ( cos θ ) e ( 2 j ) * , n e ( 2 j ) * = ( cos θ ) e ( 2 j 1 ) * , j = 1 , , k .
Finally, a slant submanifold of an ( α , β ) trans-Sasakian generalized Sasakian space form M ˜ 2 m + 1 ( f 1 , f 2 , f 3 ) , is called *-slant submanifold, [4], if its second fundamental form σ is given by the following expression:
σ ( X , Y ) = m + 1 m + 2 g ( X , Y ) η ( X ) η ( Y ) H + 1 sin 2 θ g ( ϕ X , H ) α m + 2 m + 1 η ( X ) N Y + 1 sin 2 θ g ( ϕ Y , H ) α m + 2 m + 1 η ( Y ) N X .
They are specially interesting because it was proven in [4] that this expression of the second fundamental form characterizes the equality case of the following inequality involving the squared mean curvature H 2 and the scalar curvature τ :
( m + 1 ) 2 H 2 2 m + 2 m 1 τ m ( m + 2 ) m 1 ( ( m + 1 ) f 1 + 3 f 2 cos 2 θ 2 f 3 2 α sin 2 θ ) .

3. The Maslov Form

For any submanifold of any almost contact manifold, we consider the Maslov form ω H as the dual form of ϕ H ; that is
ω H ( X ) = g ( X , ϕ H ) ,
for any X tangent vector field in the submanifold. We can also define a canonical 1-form on M by
Θ = 1 = 1 m ω i i * ,
where ω i i * are the connection forms given by Cartan’s structure equations.
We can relate these two forms for certain slant submanifolds. In [12], proper slant submanifolds such as for any tangent vector fields X and Y were studied with:
( X T ) Y = cos 2 θ ( g ( X , Y ) ξ η ( Y ) X ) .
They were called slant Sasakian submanifolds in [6]; however, we can point that they are α -Sasakian manifolds with the induced structure ϕ ¯ = sec θ T . That aims us to defined slant trans-Sasakian submanifolds as those verifying:
( X ϕ ¯ ) Y = α ¯ ( g ( X , Y ) ξ η ( Y ) X ) + β ¯ ( g ( ϕ ¯ X , Y ) ξ η ( Y ) ϕ ¯ X ) .
For a slant trans-Sasakian submanifold of a trans-Sasakian manifold the relation between the structure functions is given by
sec θ α ¯ = α and β ¯ = β .
From (25) and (12) it is deduced that
A N Y X = A N X Y + α sin 2 θ ( η ( Y ) X η ( X ) Y ) ,
for any X , Y tangent vector fields.
Then, for such a submanifold, the relation between Θ and the Maslov form is given in the following theorem.
Theorem 1.
Let M m + 1 be a slant trans-Sasakian submanifold of a generalized Sasakian space form M ˜ 2 m + 1 ( f 1 , f 2 , f 3 ) endowed with an ( α , β ) trans-Sasakian structure. Then:
ω H = sin θ m + 1 ( Θ + m α sin θ η ) .
Proof. 
Considering an adapted slant basis, it holds
ω H ( e i ) = g ( e i , ϕ H ) = g ( N e i , H ) = sin θ g ( e i * , H ) ,
for i = 1 , , m . Moreover,
Θ = l = 1 2 n i = 1 2 n σ l i l * ω i + l = 1 2 n σ l ξ l * η .
But,
σ l ξ l * = g ( σ ( e l , ξ ) , e l * ) = csc θ g ( N e l , N e l ) = sin θ ,
and
σ l i l * = g ( σ ( e l , e i ) , e l * ) = csc θ g ( σ ( e l , e i ) , N e l ) = csc θ g ( A N e l e i , e l ) = csc θ g ( A N e i e l , e l ) = g ( σ ( e l , e l ) , e i * ) = σ l l i * ,
where we have used (27); that is, M is a slant trans-Sasakian submanifold.
And therefore, from (30)–(32),
Θ + m α sin θ η = i = 1 2 n ( t r σ i * ) ω i .
As σ ( ξ , ξ ) = 0 :
H = 1 m + 1 j = 1 m σ ( e j , e j ) .
Now, from (29) and (33), it holds that
ω H ( e i ) = sin θ m + 1 j = 1 2 k σ j j i * = sin θ m + 1 ( Θ + m α sin θ η ) ( e i ) ,
for i = 1 , , m . Finally, as ω H ( ξ ) = g ( t H , ξ ) = 0 , the proof is finished. □
Following the same steps that [5] did for slant submanifolds of an almost Hermitian manifold or [6] for an almost contact manifold, and after a long computation, the differentials of θ and η can be proven. The proof is straightforward so we have omitted it.
Lemma 1.
Let M m + 1 , a proper slant submanifold of a generalized Sasakian space, form M ˜ 2 m + 1 endowed with an ( α , β ) trans-Sasakian structure, with M tangent to ξ and m 2 . Then, the 1-forms Θ and η satisfy:
d Θ = 2 sin θ cos θ ( α 2 + f 2 ( m + 1 ) ) j = 1 k ω 2 j 1 ω 2 j j = 1 k ω ( 2 j 1 ) * ω ( 2 j ) * + ( 2 sin 2 θ ( α 2 + f 2 ( m + 1 ) ) + α 2 + f 2 f 1 β 2 ) j = 1 k ω 2 j 1 ω ( 2 j 1 ) * + j = 1 k ω 2 j ω ( 2 j ) * ,
and
d η = 2 α cos θ j = 1 k ω 2 j 1 ω 2 j 2 α sin θ j = 1 k ω 2 j 1 ω ( 2 j 1 ) * 2 α sin θ j = 1 k ω 2 j ω ( 2 j ) * + 2 α cos θ j = 1 k ω ( 2 j 1 ) * ω ( 2 j ) * ,
where θ is the slant angle of M.
As we are considering a trans-Sasakian manifold with a dimension greater or equal than 5, from [9], it must be an α -Sasakian or a β -Kenmotsu manifold. So we distinguish both two cases in the following theorems.
Theorem 2.
Let M m + 1 be a proper slant trans-Sasakian submanifold of a connected generalized Sasakian space form M ˜ 2 m + 1 ( f 1 , f 2 , f 3 ) endowed with an α-Sasakian structure. Then, the Maslov form is closed if and only if f 1 = 0 . In such a case, it holds f 2 = f 3 = α 2 .
Proof. 
As M ˜ 2 m + 1 is α -Sasakian, from Proposition 4.1 of [14], α is constant. From (28),
d ω H = sin θ m + 1 ( d Θ + m α sin θ d η ) .
Then, from (34) and (35), it is deduced that d ω H = 0 if and only if it holds α 2 + f 2 = 0 and f 1 = 0 . Moreover, Theorem 4.2 of [14] establishes that both conditions are equivalent, as f 1 α 2 = f 2 = f 3 .  □
Remark 1.
If the ambient space is a Sasakian space form M ˜ 2 m + 1 ( c ) , the Maslov form is closed if and only if c = 3 , as it was proved in [6].
Theorem 3.
Let M m + 1 be a proper slant trans-Sasakian submanifold of a generalized Sasakian space form M ˜ 2 m + 1 ( f 1 , f 2 , f 3 ) endowed with a β-Kenmotsu structure. Then, the Maslov form is closed if and only if
f 1 = β 2 a n d f 2 = 0 .
In such a case, it holds f 3 = ξ ( β ) .
Proof. 
Again from (28), (34) and (35), d ω H = 0 if and only if f 2 = 0 and f 1 + β 2 = 0 . The last condition is obtained from Proposition 4.3 in [14], where it was proven that f 1 f 3 + ξ ( β ) + β 2 = 0 . □
Remark 2.
We note that on the opposite that for Lagrangian submanifold of C n , [2], or totally real submanifolds of R 2 m + 1 , [3], the Maslov is not always closed. That aims us to look for an adapted form that is closed in more cases.

4. An Adapted Closed Form

As the Maslov form is not always closed for slant submanifolds it is necessary to find a new form related with this Maslov form but including the special slant character of the submanifold.
Both the Maslov form and Θ can be considered forms at M ˜ or M. As both η and Θ vanish at T M , it is the same defining them on M ˜ or M; however, it is not the same considering d η or d η M and d Θ or d Θ M . Although both B.-Y. Chen and A. Carriazo, [5] and [6], studied conditions for d ω H and d Θ vanishing at the manifold; their real interest was finding a closed form at the submanifold, not at the manifold.
Therefore, we consider the restrictions of Θ and η at the submanifold. From (34) and (35) it is deduced:
d η M = 2 α cos θ j = 1 m ω 2 j 1 ω 2 j
and
d Θ M = 2 sin θ cos θ ( α 2 + f 2 ( m + 1 ) ) j = 1 m ω 2 j 1 ω 2 j .
So we find that, for obtaining a closed form, the relation between Θ and η is not the given by the Maslov form at (28).
Again, we particularize to α -Sasakian or a β -Kenmotsu manifolds. Firstly, we consider an α -Sasakian manifold. It was proven in [14], that if α 0 and M ˜ ( f 1 , f 2 , f 3 ) is connected, then α is constant, and the functions are constant and related by f 1 α 2 = f 2 = f 3 . We can write:
f 1 = c + 3 α 2 4 , f 2 = f 3 = c α 2 4 .
From now on, we suppose M ˜ is connected.
Lemma 2.
Let M m + 1 be a slant submanifold of an α-Sasakian generalized Sasakian space form M ˜ 2 m + 1 ( f 1 , f 2 , f 3 ) , with α 0 . Then, the form Θ sin θ α 2 + f 2 ( m + 1 ) α η is closed at M.
Proof. 
It is directly deduced from (36) and (37) that α d Θ sin θ ( α 2 + f 2 ( m + 1 ) ) d η = 0 , and as α is constant, the result is proven. □
Moreover, the field associated to the closed form is
m + 1 sin θ t H sin θ m + α 2 + f 2 ( m + 1 ) α ξ ,
so we already have the following theorem.
Theorem 4.
Let M m + 1 be a slant submanifold of an α-Sasakian generalized Sasakian space form M ˜ 2 m + 1 ( f 1 , f 2 , f 3 ) , with α 0 . Then, the field t H + sin 2 θ m + 1 m α + α 2 + f 2 ( m + 1 ) α ξ is closed.
Corollary 1.
Let M m + 1 a slant submanifold of a Sasakian space form M ˜ 2 m + 1 ( c ) ; the field t H + sin 2 θ c + 3 4 ξ is closed.
Note that this result improves the one obtained by A. Carriazo in [6] giving a closed form for a slant submanifold of any Sasakian space form.
Corollary 2.
Let M 2 m + 1 be a compact and simply connected manifold. Then, M can not be immersed in a generalized Sasakian space form, M ˜ 4 m + 1 ( 0 , α 2 , α 2 ) , endowed with an α-Sasakian structure, α 0 , like a slant submanifold.
Proof. 
If M m + 1 is a slant submanifold of M ˜ 4 m + 1 ( 0 , α 2 , α 2 ) , with an α -Sasakian structure. By Theorem 4 the vector field
t H + sin 2 θ m + 1 m α + α 2 + f 2 ( m + 1 ) α ξ 0 ,
is closed, and the corresponding form is also closed. Therefore it represents a cohomology class in H 1 ( M ; R ) . But, as M is compact, it can not be an exact form. So H 1 ( M ; R ) is a nontrivial cohomology class and M could not be simply connected what is a contradiction. □
On the other hand, for a β -Kenmotsu manifold d η = 0 and from Theorem 1, ω H = sin θ m + 1 Θ . The following lemma studies when it is a closed form.
Lemma 3.
Let M m + 1 be a proper slant submanifold of a β-Kenmotsu generalized Sasakian space form M ˜ 2 m + 1 , with M tangent to ξ and m 2 . Then, the Maslov form at M is closed if and only if f 2 = 0 .
Proof. 
For a β -Kenmotsu manifold ω H = sin θ m + 1 Θ . And writing (37) for α = 0 ,
d Θ M = 2 sin θ cos θ f 2 ( m + 1 ) j = 1 m ω 2 j 1 ω 2 j .
Therefore, the Maslov form is closed in M if and only f 2 = 0 . □
Note, that in such a case f 1 f 3 + ξ ( β ) + β 2 = 0 ([14], Proposition 4.3). Moreover, we observe that, on the opposite that for α -Sasakian manifolds, we cannot find a closed form for a slant submanifold of any generalized Sasakian space form with a β -Kenmotsu structure.
However, for f 2 = 0 , we have obtained a closed vector field as follows.
Theorem 5.
Let M m + 1 be a slant submanifold of an β-Kenmotsu generalized Sasakian space form M ˜ 2 m + 1 ( f 1 , 0 , f 3 ) . Then, the field t H + sin 2 θ m m + 1 ξ is closed.
Again, we can present a topological obstruction for slant immersions:
Corollary 3.
Let M 2 m + 1 be a compact and simply connected manifold. Then, M cannot be immersed in a generalized Sasakian space form, M ˜ 4 m + 1 ( f 1 , 0 , f 3 ) , endowed with an β-Kenmotsu structure, as a slant submanifold.
From now on, we will write t H + a ξ and t H + b ξ , with
a = sin 2 θ m + 1 m α + α 2 + f 2 ( m + 1 ) α and b = sin 2 θ m m + 1 ,
for the correspondent closed vector fields.

5. About Conformal Forms for α -Sasakian Space Forms

As we said in the Introduction, for those Lagrangian submanifolds of C m verifying the equality case, the Maslov form, that is closed, is also conformal. Now we study if the closed form presented in the previous section is conformal for those slant submanifolds verifying the equality case at (23).
We are considering a connected manifold, so α , f 1 , f 2 and f 3 are constant functions.
We want to compute X ( t H + a ξ ) , for any X tangent vector field. It is a long computation. Firstly, we compute N for later use. Using the expression of the second fundamental form of a *-slant submanifold, (22), and (20) in (13):
( X N ) Y = m + 1 m + 2 ( g ( X , Y ) η ( X ) η ( Y ) ) n H g ( X , T Y ) H + 2 1 sin 2 θ g ( ϕ X , H ) m + 2 m + 1 η ( X ) n N Y + 1 sin 2 θ g ( ϕ Y , H ) m + 2 m + 1 η ( Y ) n N X 1 sin 2 θ g ( ϕ T Y , H ) N X .
Lemma 4.
Let M be *-slant submanifold of an generalized Sasakian space form M ˜ ( f 1 , f 2 , f 3 ) endowed with an α-Sasakian structure. For every X tangent vector field belonging to the contact distribution it holds:
X ( t H + a ξ ) = g ( D X H , N X ) X + 1 sin 2 θ m + 1 m + 2 g 2 ( H , N X ) a T X 3 sin 2 θ m + 1 m + 2 g ( H , N X ) t n H + 1 sin 2 θ m + 1 m + 2 g ( H , n N X ) t H + g ( H , n N X ) ξ .
Proof. 
Firstly, from Codazzi’s equation we will compute D X H , and after, X ( t H + a ξ ) . Writing Codazzi’s equation, (9), for a generalized Sasakian space form, for any unit orthogonal X , Y tangent vector fields in the contact distribution, using (3) (6), R ( X , Y ) Y ) gives:
3 m + 2 m + 1 f 2 g ( X , T Y ) N Y = D X H + 3 m + 2 m + 1 g ( Y , T X ) N Y + 2 sin 2 θ g ( ( X N ) Y , H ) N Y + g ( N Y , D X H ) N Y + g ( N Y , H ) ( X N ) Y + 1 sin 2 θ g ( ( Y N ) X , H ) N Y g ( ( Y N ) Y , H ) N X g ( N X , H ) ( Y N ) Y g ( N X , D Y H ) N Y g ( N Y , D Y H ) N X g ( N Y , H ) ( Y N ) X .
Then, using (40), we obtain:
3 m + 2 m + 1 ( f 2 + 1 ) g ( X , T Y ) N Y = D X H + 1 sin 2 θ 2 g ( N Y , D X H ) N Y g ( N X , D Y H ) N Y g ( N Y , D Y H ) N X + 1 sin 2 θ m + 1 m + 2 g ( N X , H ) n H 2 sin 2 θ g ( N Y , H ) g ( n N Y , H ) N X 3 g ( N Y , H ) g ( X , T Y ) H 3 g ( X , T Y ) H 2 + 4 sin 2 θ g ( N X , H ) g ( n N Y , H ) 2 sin 2 θ g ( N Y , H ) g ( n N X , H ) N Y .
At this point, we use that, taking into account Corollary 1, t H + a ξ is a closed vector field.
g ( X ( t H + a ξ ) , Y ) = g ( Y ( t H + a ξ ) , X ) .
Then, using (16)
g ( X t H , Y ) = g ( Y t H , X ) 2 a g ( T Y , X ) ,
and therefore, (14) gives
g ( N X , D Y H ) = g ( X , t D Y H ) = g ( X , Y t H A n H Y + T A H Y ) = g ( N Y , D X H ) + 2 a g ( T X , Y ) g ( σ ( T Y , X ) , H ) + g ( σ ( Y , T X ) , H ) .
Now, using (22) carries to
g ( N X , D Y H ) = g ( N Y , D X H ) + 2 a g ( T X , Y ) + m + 1 m + 2 2 g ( Y , T X ) H 2 + m + 1 m + 2 2 sin 2 θ ( g ( N Y , H ) g ( N T X , H ) g ( N X , H ) g ( N T Y , H ) ) .
So (43) gives
3 m + 2 m + 1 ( f 2 + 1 ) g ( X , T Y ) N Y = D X H + 1 sin 2 θ g ( N Y , D X H ) N Y g ( N Y , D Y H ) N X + 1 sin 2 θ m + 1 m + 2 2 a m + 2 m + 1 g ( T X , Y ) + g ( Y , T X ) H 2 + 2 sin 2 θ g ( N X , H ) g ( n N Y , H ) N Y g ( N X , H ) n H 2 sin 2 θ g ( N Y , H ) g ( n N Y , H ) N X + 3 g ( N Y , H ) g ( Y , T X ) H .
Now, for dimensions over or equal than 5, we can consider X orthogonal to Y and T Y . Multiplying by N X ,
0 = g ( D X H , N X ) g ( N Y , D Y H ) + 1 sin 2 θ m + 1 m + 2 { g ( N X , H ) g ( n N X , H ) 2 g ( N Y , H ) g ( n N Y , H ) } .
Interchanging X and Y at (47), and adding it to the previous equation:
g ( N X , H ) g ( n N X , H ) = g ( N Y , H ) g ( n N Y , H ) .
For T Y , that is also orthogonal to X , T X ,
g ( N X , H ) g ( n N X , H ) = g ( N T Y , H ) g ( n N T Y , H ) = cos 2 θ g ( N Y , H ) g ( n N Y , H ) .
From (48) and (51), we get g ( N X , H ) g ( n N X , H ) = 0 for every X unit vector field in the contact distribution. Moreover, developing 0 = g ( N ( X + Y ) , H ) g ( n N ( X + Y ) , H ) , we obtain
g ( N X , H ) g ( n N Y , H ) = g ( N Y , H ) g ( n N X , H ) .
Also, at (47), we get
g ( D X H , N X ) = g ( N Y , D Y H ) ,
so g ( D X H , N X ) is independent of X unit vector field in the contact distribution.
Now, multiplying (46) by N Y ,
0 = 2 g ( D X H , N Y ) + 3 sin 2 θ m + 1 m + 2 g ( N X , H ) g ( n N Y , H ) .
But (44) for any X, a unitary vector field orthogonal to Y , T Y , in the contact distribution it states:
g ( N X , D Y H ) g ( σ ( T X , Y ) , H ) = g ( N Y , D X H ) g ( σ ( T Y , X ) , H ) .
Using (52) and (22) at (53)
7 2 sin 2 θ m + 1 m + 2 g ( N X , H ) g ( n N Y , H ) = 7 2 sin 2 θ m + 1 m + 2 g ( N Y , H ) g ( n N X , H ) ,
where X , Y can be interchanged. Comparing (50) with (54) it is proven that
g ( N X , H ) g ( n N Y , H ) = 0 ,
and consequently, by (52),
g ( D X H , N Y ) = 0 ,
for each X orthogonal to Y and T Y at the contact distribution.
It only rests on us to compute g ( D X H , N T X ) in order to know D X H . Multiplying (46) by N T X we obtain:
g ( D X H , N T X ) = cos 2 θ sin 2 θ m + 1 m + 2 g ( H , N X ) 2 .
Therefore, taking an orthogonal basis { e 1 * , , e n * } at T M ,
D X H = g ( D X H , e j * ) e j * = = 1 sin 2 θ g ( D X H , N X ) N X 1 sin 4 θ m + 1 m + 2 g ( H , N X ) 2 N T X ,
for any X unit tangent field orthogonal to ξ .
Finally, for any X at the contact distribution, and any Z tangent vector field,
g ( X ( t H + a ξ ) , Z ) = g ( X t H , Z ) a g ( T X , Z )
= g ( t X H + A n H X T A H X , Z ) a g ( T X , Z )
= g ( D X H , N Z ) + g ( n H , h ( X , Z ) ) + g ( H , h ( X , T Z ) ) a g ( T X , Z )
= g g ( D X H , N X ) N X 1 sin 4 θ m + 1 m + 2 g ( H , N X ) 2 N T X , N Z
+ m + 1 m + 2 1 sin 2 θ g ( N X , H ) g ( N Z , n H ) + 1 sin 2 θ g ( N Z , H ) m + 2 m + 1 η ( Y ) g ( N X , n H )
+ m + 1 m + 2 1 sin 2 θ g ( N X , H ) g ( N T Z , H ) + 1 sin 2 θ g ( N T Z , H ) g ( N X , H )
a g ( T X , Z ) ,
where we used (22). This last equation, using (19), direct gives the desired expression of X t H + c 1 4 cos 2 θ ξ . □
The quid point of the above proof is to deduce, from Codazzi’s equation and the expression of the second fundamental form, that g ( D X H , N X ) is independent of X and also that g ( D X H , N Y ) = 0 for Y orthogonal to X , T X . This is the same sketch than A. Ros and F. Urbano did in [2].
Now, we repeat the same steps in order to obtain ξ ( t H + a ξ ) .
Lemma 5.
Let M be *-slant submanifold of a Sasakian space form M ˜ ( c ) ; it holds:
ξ ( t H + a ξ ) = T t H .
Proof. 
Using that, from Corollary 1, t H + a ξ is a closed vector field,
g ( ξ ( t H + a ξ ) , Y ) = g ( Y ( t H + a ξ ) , ξ ) ,
so using (16),
g ( ξ t H , X ) = g ( X t H , ξ ) = g ( t H , X ξ ) = g ( t H , T X ) = g ( T t H , X ) ,
for any X tangent vector field, which finishes the proof. □
Theorem 6.
Let M be *-slant submanifold of a generalized Sasakian space form M ˜ ( f 1 , f 2 , f 3 ) , endowed with an α-Sasakian structure. Then, for every X tangent vector field it holds:
X ( t H + a ξ ) = g ( D X H , N X ) + η ( X ) g ( H , n N X ) ( X η ( X ) ξ ) + 1 sin 2 θ m + 1 m + 2 g ( H , N X ) 2 a T X + 3 sin 2 θ m + 1 m + 2 g ( H , N X ) + η ( X ) t n H + 1 sin 2 θ m + 1 m + 2 g ( H , n N X ) t H + g ( H , n N X ) ξ .
Proof. 
It is a direct consequence of Lemmas 4 and 5. □
So, in general, for a *-slant submanifold of a generalized Sasakian space form, the closed form is not conformal. However, for the corresponding vector field, the covariant derivative with respect to X is in the direction of X , T X , t n H and ξ .

6. About Conformal Forms for β -Kenmotsu Space Forms

At Section 4 we obtained that, for a β -Kenmotsu generalized Sasakian space form M ˜ ( f 1 , 0 , f 3 ) , the vector field t H + sin 2 θ m m + 1 ξ = t H + b ξ is always closed. So, the associated form plays the role of the Maslov form for Lagrangian submanifolds of Kaehler manifolds. In this section we study if it is conformal for a *-slant submanifold.
The study is similar to the one made at Section 5, so we omit the proofs.
Lemma 6.
Let M be *-slant submanifold of a β-Kenmotsu generalized Sasakian space form M ˜ ( f 1 , 0 , f 3 ) . Then, for every X tangent vector field belonging to the contact distribution it holds:
X ( t H + b ξ ) = g ( D X H , N X ) + β sin 2 θ m m + 1 X + m + 1 m + 2 1 sin 2 θ g ( H , N X ) 2 H 2 T X 3 sin 2 θ m + 1 m + 2 g ( H , N X ) t n H + 1 sin 2 θ m + 1 m + 2 g ( H , n N X ) t H + β g ( N X , H ) ξ .
Again, the quid point of the proof is to deduce, from Codazzi’s equation and the expression of the second fundamental form, that g ( D X H , N X ) is independent of X and that g ( D X H , N Y ) = 0 for X orthogonal to Y.
Now, we repeat the same steps in order to obtain ξ ( t H + b ξ ) .
Lemma 7.
Let M be *-slant submanifold of a β-Kenmotsu space form M ˜ ( f 1 , 0 , f 3 ) ; it holds:
ξ t H = β t H .
Finally, we get:
Theorem 7.
Let M be *-slant submanifold of a β Kenmotsu space form M ˜ ( f 1 , 0 , f 3 ) . Then, for every X tangent vector field it holds:
X ( t H + b ξ ) = = g ( D X H , N X ) + β η ( X ) g ( H , n N X ) + β sin 2 θ m m + 1 ( X η ( X ) ξ ) + m + 1 m + 2 1 sin 2 θ g ( H , N X ) 2 H 2 T X 3 sin 2 θ m + 1 m + 2 g ( H , N X ) t n H + 1 sin 2 θ m + 1 m + 2 g ( H , n N X ) t H β η ( X ) t H + β g ( N X , H ) ξ .
Proof. 
It is a direct consequence from Lemmas 6 and 7. □
Again, for a *-slant submanifold of a β -Kenmotsu generalized Sasakian space form, the closed form is not conformal. However, for the corresponding vector field, the covariant derivative with respect to X is in the direction of X , T X , t H , t n H and ξ .

Author Contributions

All the authors contributed equally to this work.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Borrelli, V.; Chen, B.Y.; Morvan, J.M. Une caractérisation géométrique de la sphère de Whitney. C. R. Acad. Sci. Paris 1995, 321, 1485–1490. [Google Scholar]
  2. Ros, A.; Urbano, F. Lagrangian submanifolds of Cn with conformal Maslov form and the Whitney sphere. J. Math. Soc. Jpn. 1998, 50, 203–226. [Google Scholar] [CrossRef]
  3. Blair, D.E.; Carriazo, A. The contact Whitney sphere. Note Mat. 2000, 20, 125–133. [Google Scholar]
  4. Alegre, P.; Barrera, J.; Carriazo, A. A new class of slant submanifolds in generalized Sasakian space forms. Appear Med. J. Math. 2020. under review. [Google Scholar]
  5. Chen, B.Y. Geometry of Slant Submanifolds; Katholieke Universiteit Leuven: Leuven, Belgium, 1990. [Google Scholar]
  6. Carriazo, A. Obstructions to slant immersions in contact manifolds. Ann. Mat. Pura Appl. 2001, 179, 459–470. [Google Scholar] [CrossRef]
  7. Blair, D.E. Contact Manifolds in Riemannian Geometry, Lecture Notes in Mathematics 509; Springer: New York, NY, USA, 1976. [Google Scholar]
  8. Oubi na, J.A. New classes of almost contact metric structures. Publ. Math. Debrecen 1985, 32, 187–193. [Google Scholar]
  9. Marrero, J.C. The Local Structure of Trans-Sasakian Manifolds. Ann. Mat. ura Appl. CLXII 1992, 162, 77–86. [Google Scholar] [CrossRef]
  10. Alegre, P.; Blair, D.; Carriazo, A. Generalized Sasakian-space-forms. Israel J. Math. 2004, 141, 157–183. [Google Scholar] [CrossRef]
  11. Lotta, A. Slant submanifolds in contact geometry. Bull. Math. Soc. Roum. 1996, 39, 183–198. [Google Scholar]
  12. Cabrerizo, J.L.; Carriazo, A.; Fernández, L.M.; Fernández, M. Slant submanifolds in Sasakian manifolds. Glasgow Math. J. 2000, 42, 125–138. [Google Scholar] [CrossRef] [Green Version]
  13. Cabrerizo, J.L.; Carriazo, A.; Fernández, L.M.; Fernández, M. Structure on a slant submanifold of a contact manifold. Indian J. Pure Appl. Math. 2000, 31, 857–864. [Google Scholar]
  14. Alegre, P.; Carriazo, A. Structures on generalized Sasakian-space-forms. Differ. Geom. Appl. 2008, 26, 656–666. [Google Scholar] [CrossRef] [Green Version]

Share and Cite

MDPI and ACS Style

Alegre, P.; Barrera, J.; Carriazo, A. A Closed Form for Slant Submanifolds of Generalized Sasakian Space Forms. Mathematics 2019, 7, 1238. https://doi.org/10.3390/math7121238

AMA Style

Alegre P, Barrera J, Carriazo A. A Closed Form for Slant Submanifolds of Generalized Sasakian Space Forms. Mathematics. 2019; 7(12):1238. https://doi.org/10.3390/math7121238

Chicago/Turabian Style

Alegre, Pablo, Joaquín Barrera, and Alfonso Carriazo. 2019. "A Closed Form for Slant Submanifolds of Generalized Sasakian Space Forms" Mathematics 7, no. 12: 1238. https://doi.org/10.3390/math7121238

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