ArticlePDF Available

# Bi-Slant Submanifolds of Para Hermitian Manifolds

Authors:

## Abstract

In this paper, we introduce the notion of bi-slant submanifolds of a para Hermitian manifold. They naturally englobe CR, semi-slant, and hemi-slant submanifolds. We study their first properties and present a whole gallery of examples.
mathematics
Article
Bi-Slant Submanifolds of Para Hermitian Manifolds
Pablo Alegre 1,* and Alfonso Carriazo 2
1Departamento 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
2Departamento de Geometría y Topología, Universidad de Sevilla, c/Tarﬁa s/n, 41012 Sevilla, Spain
*Correspondence: psalerue@upo.es
Received: 26 June 2019; Accepted: 9 July 2019; Published: 11 July 2019


Abstract:
In this paper, we introduce the notion of bi-slant submanifolds of a para Hermitian manifold.
They naturally englobe CR, semi-slant, and hemi-slant submanifolds. We study their ﬁrst properties
and present a whole gallery of examples.
Keywords:
semi-Riemannian manifold; para Hermitian manifold; para Kaehler manifold;
para-complex; totally real; CR; slant; bi-slant; semi-slant; hemi-slant; anti-slant submanifolds
MSC: 53C15; 53C25; 53C40; 53C50
1. Introduction
In [
1
], B.-Y.Chen introduced slant submanifolds of an almost Hermitian manifold, as those
submanifolds for which the angle
θ
between
JX
and the tangent space is constant, for any tangent
vector ﬁeld
X
. They play an intermediate role between complex submanifolds (
θ=
0) and totally real
ones (
θ=π/
2). Since then, the study of slant submanifolds has produced an incredible amount of
results and examples in two different ways: various ambient spaces and more general submanifolds.
On the one hand, J. L. Cabrerizo, A. Carriazo, L. M. Fernández, and M. Fernández analyzed slant
submanifolds of a Sasakian manifold in [
2
], and B. Sahin did so in almost product manifolds in [
3
].
The study of slant submanifolds in a semi-Riemannian manifold has been also initiated: B.-Y. Chen,
O. Garay, and I. Mihai classiﬁed slant surfaces in Lorentzian complex space forms in [
4
,
5
]. K. Arslan, A.
Carriazo, B.-Y. Chen, and C. Murathan deﬁned slant submanifolds of a neutral Kaehler manifold in [
6
],
while A. Carriazo and M. J. Pérez-García did so in neutral almost contact pseudo-metric manifolds
in [
7
]. Moreover, M. A. Khan, K. Singh, and V. A. Khan introduced slant submanifolds in LP-contact
manifolds in [
8
], and P. Alegre studied slant submanifolds of Lorentzian Sasakian and para Sasakian
manifolds in [9]. Finally, slant submanifolds of para Hermitian manifolds were deﬁned in [10].
On the other hand, some generalizations of both slant and CR submanifolds have also been
deﬁned in different ambient spaces, such as semi-slant [
11
13
], hemi-slant [
14
,
15
], bi-slant [
16
], or
generic submanifolds [17].
In this paper, we continue on this line, introducing semi-slant, hemi-slant, and bi-slant
submanifolds of para Hermitian manifolds.
2. Preliminaries
Let
e
M
be a 2
n
-dimensional manifold. If it is endowed with a structure
(J
,
g)
, where
J
is a
(
1, 1
)
tensor and gis a semi-deﬁned metric, satisfying:
J2X=X,g(JX,Y) + g(X,JY) = 0, (1)
Mathematics 2019,7, 618; doi:10.3390/math7070618 www.mdpi.com/journal/mathematics
Mathematics 2019,7, 618 2 of 15
for any vector ﬁelds
X
,
Y
on
e
M
, it is called a para Hermitian manifold. It is said to be para Kaehler if,
J=0, where e
is the Levi–Civita connection of g.
Let now
M
be a semi-Riemannian submanifold of
(e
M
,
J
,
g)
. The Gauss and Weingarten formulas
are given by:
e
XY=XY+h(X,Y), (2)
e
XV=AVX+
XN, (3)
for any tangent vector ﬁelds
X
,
Y
and any normal vector ﬁeld
V
, where
h
is the second fundamental
form of
M
,
AV
is the Weingarten endomorphism associated with
V
, and
is the normal connection.
The Gauss and Codazzi equations are given by:
e
R(X,Y,Z,W) = R(X,Y,Z,W) + g(h(X,Z),h(Y,W)) g(h(Y,Z),h(X,W)), (4)
(e
R(X,Y)Z)= ( e
Xh)(Y,Z)(e
Yh)(X,Z), (5)
for any vectors ﬁelds X,Y,Z,Wtangent to M.
For every tangent vector ﬁeld X, we write:
JX =PX +FX, (6)
where
PX
is the tangential component of
JX
and
FX
is the normal one. For every normal vector
ﬁeld V,
JV =tV +f V ,
where tV and f V are the tangential and normal components of JV, respectively.
For such a submanifold of a para Kaehler manifold, taking the tangent and normal part and using
the Gauss and Weingarten formulas (2) and (3):
(XP)Y=XPY PXY=AFY X+th(X,Y), (7)
(XF)Y=
XFY FXY=h(X,PY) + f h(X,Y), (8)
for all tangent vector ﬁelds X,Y.
In [
10
], we introduced the notion of slant submanifolds of para Hermitian manifolds, taking into
account that we cannot measure the angle for light-like vector ﬁelds:
Deﬁnition 1
([
10
])
.
A semi-Riemannian submanifold
M
of a para Hermitian manifold
(e
M
,
J
,
g)
is called slant
submanifold if for every space-like or time-like tangent vector ﬁeld
X
, the quotient
g(PX
,
PX)/g(JX
,
JX)
is constant.
Remark 1.
It is clear that, if
M
is a para-complex submanifold, then
PJ
, and so, the above quotient is
equal to one. On the other hand, if
M
is totally real, then
P
0and the quotient equals zero. Therefore, both
para-complex and totally real submanifolds are particular cases of slant submanifolds. A neither para-complex
nor totally real slant submanifold will be called a proper slant.
Three cases can be distinguished, corresponding to three different types of proper slant
submanifolds:
Deﬁnition 2
([
10
])
.
Let
M
be a proper slant semi-Riemannian submanifold of a para Hermitian manifold
(e
M,J,g). We say that it is of:
Type 1
if for any space-like (time-like) vector ﬁeld X, PX is time-like (space-like), and |PX|
|JX|>1,
Mathematics 2019,7, 618 3 of 15
Type 2
if for any space-like (time-like) vector ﬁeld X, PX is time-like (space-like), and |PX|
|JX|<1,
Type 3
if for any space-like (time-like) vector ﬁeld X, PX is space-like (time-like).
These three types can be characterized as follows:
Theorem 1 ([10]).Let M be a semi-Riemannian submanifold of a para Hermitian manifold (e
M,J,g). Then,
(1) M
is a slant of Type 1 if and only if for any space-like (time-like) vector ﬁeld
X
,
PX
is time-like (space-like),
and there exists a constant λ(1, +)such that:
P2=λId. (9)
We write λ=cosh2θ, with θ>0.
(2) M
is a slant of Type 2 if and only if for any space-like (time-like) vector ﬁeld
X
,
PX
is time-like (space-like),
and there exists a constant λ(0, 1)such that:
P2=λId. (10)
We write λ=cos2θ, with 0<θ<2π.
(3) M
is a slant of Type 3 if and only if for any space-like (time-like) vector ﬁeld
X
,
PX
is space-like (time-like),
and there exists a constant λ(, 0)such that:
P2=λId. (11)
We write λ=sinh2θ, with θ>0.
In every case, we call θthe slant angle.
Remark 2.
It was proven in [
10
] that Conditions (9), (10), and (11) also hold for every light-like vector ﬁeld,
as every light-like vector ﬁeld can be decomposed as a sum of one space-like and one time-like vector ﬁeld.
Furthermore, every slant submanifold of Type 1 or 2 must be a neutral semi-Riemannian manifold.
Para-complex and totally real submanifolds can also be characterized by
P2
. In [
10
], we did not
consider that case, but it will be useful in the present study.
Theorem 2. Let M be a semi-Riemannian submanifold of a para Hermitian manifold (e
M,J,g). Then,
1) M is a para-complex submanifold if and only if P2=I d.
2) M is a totally real submanifold if and only if P2=0.
Proof. If Mis para-complex, P2=J2=Id directly. Conversely, if P2=Id, from:
g(JX,JX) = g(PX,PX) + g(FX,FX),
we have:
g(X,J2X) = g(X,P2X) + g(FX,FX),
then
g(X,X) = g(X,X) + g(FX,FX),
and hence, g(FX,FX) = 0, which implies F=0.
The second statement can be proven in a similar way.
Mathematics 2019,7, 618 4 of 15
3. Slant Distributions
In [
11
], N. Papaghiuc introduced slant distributions in a Kaehler manifold. Given an almost
Hermitian manifold,
(e
N
,
J
,
g)
, and a differentiable distribution
D
, it is called a slant distribution if for
any nonzero vector
XDx
,
xe
N
, the angle between
JX
and the vector space
Dx
is constant, that is
it is independent of the point
x
. If
PDX
is the projection of
JX
over
D
, they can be characterized as
P2
D=λI
. This, together with the deﬁnition of slant submanifolds of a para Hermitian manifold, aims
us to give the following:
Deﬁnition 3.
A differentiable distribution
D
on a para Hermitian manifold
(e
M
,
J
,
g)
is called a slant
distribution if for every non-light-like X D, the quotient g(PDX,PDX)/g(JX,JX)is constant.
A distribution is called invariant if it is a slant with slant angle zero, that is if
g(PDX
,
PDX)/g(JX
,
JX) =
1 for all non-light-like
XD
. It is called anti-invariant if
PDX=
0
for all XD. In other cases, it is called a proper slant distribution.
With this deﬁnition, every one-dimensional distribution deﬁnes an anti-invariant distribution in
e
M
, so we are just going to take under study non-trivial slant distributions, that is with dimensions
greater than one. Just like for slant submanifolds, we can consider three cases depending on the casual
character of the implied vector ﬁelds.
Obviously, a submanifold Mis a slant submanifold if and only if T M is a slant distribution.
Deﬁnition 4.
Let
D
be a proper slant distribution of a para Hermitian manifold
(˜
M
,
J
,
g)
. We say that it is of:
Type 1
if for every space-like (time-like) vector ﬁeld X, PDX is time-like (space-like), and |PDX|
|JX|>1,
Type 2
if for every space-like (time-like) vector ﬁeld X, if PDX is time-like (space-like), and |PDX|
|JX|<1,
Type 3
if for every space-like (time-like) vector ﬁeld X, PDX is space-like (time-like).
These slant distributions can be characterized as slant submanifolds as in Theorem 1[10].
Theorem 3. Let D be a distribution of a para Hermitian metric manifold e
M. Then,
(1) D
is a slant distribution of Type 1 if and only for any space-like (time-like) vector ﬁeld
X
,
PDX
is time-like
(space-like), and there exits a constant λ(1, +)such that:
P2
D=λI(12)
Moreover, in such a case, λ=cosh2θ.
(2) D
is a slant distribution of Type 2 if and only for any space-like (time-like) vector ﬁeld
X
,
PDX
is time-like
(space-like), and there exits a constant λ(0, 1)such that:
P2
D=λI(13)
Moreover, in such a case, λ=cos2θ.
(3) D
is a slant distribution of Type 3 if and only for any space-like (time-like) vector ﬁeld
X
,
PDX
is space-like
(time-like), and there exits a constant λ(0, +)such that:
P2
D=λI(14)
Moreover, in such a case, λ=sinh2θ.
In each case, we call θthe slant angle.
Mathematics 2019,7, 618 5 of 15
Proof.
If
D
is a slant distribution of Type 1, for any space-like tangent vector ﬁeld
XD
,
PDX
and
JX
are also time-like, where we have used
(1)
. They satisfy
|PDX|/|JX|>
1. Therefore, there exists
θ>
0
such that:
cosh θ=|PDX|
|JX|=pg(PDX,PDX)
pg(JX,JX). (15)
Considering PDXinstead of X, we obtain:
cosh θ=|P2
DX|
|JPDX|=|P2
DX|
|PDX|. (16)
Now,
g(P2
DX,X) = g(JPDX,X) = g(PDX,JX) = g(PDX,PDX) = |PDX|2. (17)
Therefore, using (15), (16), and (17):
g(P2
DX,X) = |PDX|2=|P2
DX||JX|=|P2
DX||X|.
Since both
X
and
P2
DX
are space-like, it follows that they are collinear, that is
P2
DX=λX
.
Finally, from (15), we deduce that λ=cosh2θ.
Everything works in a similar way for any time-like tangent vector ﬁeld
YD
, but now,
PDY
and JY are space-like, and so, instead of (15), we should write:
cosh θ=|PDY|
|JY|=pg(PDY,PDY)
pg(JY,JY).
Since
P2
DX=λX
, for any space-like or time-like
XD
, it also holds for light-like vector ﬁelds,
and so, we have that P2
D=λIdD.
The converse is just a simple computation.
For the second case, let
D
be a slant distribution of Type 2, for any space-like or time-like vector
ﬁeld XD,|PDX|/|JX|<1, and so, there exists θ>0 such that:
cos θ=|PDX|
|JX|=pg(PDX,PDX)
pg(JX,JX).
Proceeding as before, we prove that
g(P2
DX
,
X) = |P2
DX||X|
, and as both
X
and
P2
DX
are space-like
vector ﬁelds, it follows that they are collinear, that is
P2
DX=λX
. The converse is just a direct
computation.
Finally, if
D
is a slant distribution of Type 3, for any space-like vector ﬁeld
XD
,
PDX
is also
space-like, and there exists θ>0 such that:
sinh θ=|PDX|
|JX|=pg(PDX,PDX)
pg(JX,JX).
Once more, we can prove that
g(P2
DX
,
X) = |P2
DX||X|
and
P2
DX=λX
. Again, the converse is a
direct computation.
Remember that an holomorphic distribution satisﬁes
JD =D
, so every holomorphic distribution is
a slant distribution with angle zero, but the converse is not true. It is called a totally real distribution
if
JD TM
; therefore, every totally real distribution is anti-invariant but the converse does not
always hold. For holomorphic and totally real distributions, the following necessary conditions are
easy to prove:
Theorem 4. Let D be a distribution of a submanifold of a para Hermitian metric manifold e
M.
Mathematics 2019,7, 618 6 of 15
(1) If D is a holomorphic distribution, then |PDX|=|JX|, for all X D.
(2) If D is a totally real distribution, then |PDX|=0, for all X D.
However, the converse results do not hold if
D
is not
TM
; in such a case
TM =Dν
, and for a
unit vector ﬁeld X:
JX =PDX+PνX+FX.
Therefore from:
g(JX,JX) = g(PDX,PDX) + g(PνX,PνX) + g(FX,FX),
and |PDX|=|JX|, in the case that PDXis also space-like, it is only deduced that:
g(PνX,PνX) + g(FX,FX) = 2,
or, in the case it is time-like,
g(PνX,PνX) + g(FX,FX) = 0.
Therefore, in general FX 6=0, and Dis not invariant.
Similarly, it can be shown that the converse of the second statement does not always hold.
Theorem 5. Let M be a semi-Riemannian submanifold of a para Hermitian metric manifold e
M.
1) The maximal holomorphic distribution is characterized as D ={X/FX =0}.
2) The maximal totally real distribution is characterized as D={X/PX =0}.
Proof.
For the ﬁrst statement, if a distribution
D
is holomorphic, obviously
FeD=
0. For the converse,
consider
D={X/FX =
0
}
. We should prove that it is a holomorphic distribution. Let
XD
,
JX =T X be tangent to M, and:
g(FJX,V) = g(J2X,V) = g(X,V) = 0,
for all VTM. Therefore, FJX =0. That implies JX Dfor all XD, so Dis holomorphic.
The second statement is trivial.
4. Bi-Slant, Semi-Slant and Hemi-Slant Submanifolds
In [
11
], semi-slant submanifolds of an almost Hermitian manifold were introduced as those
submanifolds whose tangent space could be decomposed as a direct sum of two distributions,
one totally real and the other a slant distribution. In [
16
], anti-slant submanifolds were introduced as
those whose tangent space is decomposed as a direct sum of an anti-invariant and a slant distribution;
they were called hemi-slant submanifolds in [
14
]. Finally, in [
12
], the authors deﬁned bi-slant submanifolds
with both distributions slant ones.
Deﬁnition 5.
A semi-Riemannian submanifold
M
of a para Hermitian manifold
(e
M
,
J
,
g)
is called a bi-slant
submanifold if the tangent space admits a decomposition
TM =D1D2
with both
D1
and
D2
slant
distributions.
It is called a semi-slant submanifold if
TM =D1D2
with
D1
a holomorphic distribution and
D2
a
proper slant distribution. In such a case, we will write D1=DT.
It is called a hemi-slant submanifold if
TM =D1D2
with
D1
a totally real distribution and
D2
a
proper slant distribution. In such a case, we will write D1=D.
Mathematics 2019,7, 618 7 of 15
Remark 3.
As we have said before, being holomorphic (totally real) is a stronger condition than being a slant
with slant angle zero (π/2).
We write πi, the projections over Diand Pi=πiP,i=1, 2.
Let us consider two different para Kaehler structures over R4:
J=
0100
1000
0001
0010
,g=
1 0 0 0
01 0 0
0 0 1 0
0 0 0 1
,
and:
J1=
0010
0001
1000
0100
,g1=
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
.
Using the examples of slant submanifolds of
R4
given in [
10
] and making products, we can obtain
examples of bi-slant submanifolds in
R8
. To present different examples with all the combinations of
slant distributions, we consider the following para Kaehler structures over R8:
J2= JΘ
ΘJ!,g2= gΘ
Θg!,
J3= J1Θ
ΘJ!,g3= g1Θ
Θg!,
J4= J1Θ
ΘJ1!,g4= g1Θ
Θg1!,
where Θis the corresponding null matrix.
Example 1. For any a,b,c,dRwith a2+b26=1, and c2+d26=1,
x(u1,v1,u2,v2) = (au1,v1,bu1,u1,cu2,v2,du2,u2)
deﬁnes a bi-slant submanifold in
(R8
,
J2
,
g2)
, with slant distributions
D1=Span
u1,
v1
and
D2=
Span
u2,
v2. We can see the different types in the Table 1:
Table 1. Types for Example 1.
D1D2
Type 1 a2+b2>1, b2<1c2+d2>1, c2<1
Type 2 a2+b2>1, b2>1c2+d2>1, c2>1
time-like Type 3 a2+b2<1c2+d2<1
(R8,J2,g2)
P2
1=a2
1+a2+b2Id1
P2
2=c2
1+c2+d2Id2
Remark 4.
The decomposition of
TM
into two slant distributions is not unique, for example, if we choose
˜
D1=
Span
u1,
v2
and
˜
D2=Span
u2,
v1
in the previous example, both distributions are anti-invariant,
Mathematics 2019,7, 618 8 of 15
that is
P(˜
D1) = ˜
D2
and
P(˜
D2) = ˜
D1
; therefore,
P1=
0and
P2=
0. However, they are not totally
real distributions.
Example 2.
Taking
a=
0in the previous example, we obtain a semi-slant submanifold, and taking
b=
1, we
obtain a hemi-slant submanifold.
Example 3. For any a,b,c,d with a2b26=1, c2d26=1:
x(u1,v1,u2,v2) = (u1,av1,bv1,v1,u2,cv2,dv2,v2),
deﬁnes a bi-slant submanifold, with slant distributions
D1=Span
u1,
v1
and
D2=Span
u2,
v2
.
We can see the different types in the Table 2:
Table 2. Types for Example 3.
D1D2
Type 1 b2a2<1, b2>1d2c2<1, d2>1
Type 2 b2a2<1, b2<1d2c2<1, d2<1
space-like Type 3 b2a2>1d2c2>1
(R8,J2,g2)
P2
1=a2
1+a2b2Id1
P2
2=c2
1+c2d2Id2
Type 1 b2a2>1, a2>1d2c2<1, d2>1
Type 2 b2a2>1, a2<1d2c2<1, d2<1
space-like Type 3 b2a2<1d2c2>1
(R8,J3,g3)
P2
1=a2
1+a2b2Id1
P2
2=c2
1+c2d2Id2
Type 1 b2a2>1, a2>1d2c2>1, c2>1
Type 2 b2a2>1, a2<1d2c2>1, c2<1
space-like Type 3 b2a2<1d2c2<1
(R8,J4,g4)
P2
1=a2
1+a2b2Id1
P2
2=c2
1+c2d2Id2
Now, we are interested in those bi-slant submanifolds of an almost para Hermitian manifold that
are Lorentzian. Let us remember that the only odd-dimensional slant distributions are the totally real
ones and that Type 1 and 2 are neutral distributions. Taking this into account, the only possible cases
are the following:
(i)
M2s+1
1
with
TM =D1D2
, where
D1
is a one-dimensional, time-like, anti-invariant distribution
and D2is a space-like, Type 3 slant distribution.
(ii)
M2s+2
1
with
TM =D1D2
, where
D1
is a two-dimensional, neutral, slant distribution of Type 1 or
2 and D2is a space-like, Type 3 slant distribution.
With Examples 1and 3, we can obtain examples for Case (ii). It only remains to construct a
Case (i) example.
Example 4. Consider in R6the almost para Hermitian structure given by:
J5=
JΘ
Θ0 1
1 0
,g5=
gΘ
Θ1 0
01
,
with Θthe corresponding null matrix.
For any k >1,
x(u,v,w) = (u,kcosh v,v,ksinh v,w, 0)
Mathematics 2019,7, 618 9 of 15
deﬁnes a bi-slant submanifold in
(R6
,
J5
,
g5)
with
D1=Span
w
a totally real distribution and
D2=Span
u,
va Type 3 slant distribution with P2
2=1
k21Id|D2.
We can present a bi-slant submanifold, with the same angle for both slant distributions, that is not
a slant submanifold.
Example 5. The submanifold of (R8,J2,g2)deﬁned by:
x(u1,v1,u2,v2) = (u1,v1+u2,u1,u1,u2,v2,3u2,u2v1),
is a bi-slant submanifold. The slant distributions are
D1=Span
u1,
v1
and
D2=Span
u2,
v2
,
with P2
1=1
2Id1and P2
2=1
2Id2. It is not a slant submanifold.
5. Semi-Slant Submanifolds of a Para Kaehler Manifold
It is always interesting to study the integrability of the involved distributions.
Proof.
Let
M
be a semi-slant submanifold of a para Hermitian manifold. Both the holomorphic and
the slant distributions are Pinvariant.
Proof.
Let be
TM =DTD2
the decomposition with
DT
holomorphic and
D2
the slant distribution.
Of course DTis invariant as JDT=DTimplies PDT=DT. Now, consider XD2,
JX =P1X+P2X+FX.
Given
YDT
,
g(P1X
,
Y) = g(JX
,
Y) = g(X
,
JY) =
0, as
DT
is invariant. Moreover, for all
ZD2,g(P1X,Z) = 0. Therefore P1X=0 and PX =P2X, so PD2D2.
Theorem 6.
Let
M
be a semi-slant submanifold of a para Kaehler manifold. The holomorphic distribution is
integrable if and only if h(X,JY) = h(JX,Y)for all X,YDT.
Proof.
For
X
,
YDT
,
PX =JX
,
FX =
0,
PY =JY
, and
FY =
0. From (8), it follows that
F[X
,
Y] =
h(X
,
PY)h(Y
,
PX)
. Then,
[X
,
Y]DT
, that is
DT
is integrable, if and only if
h(X
,
JY) = h(JX
,
Y)
.
Theorem 7.
Let
M
be a semi-slant submanifold of a para Kaehler manifold. The slant distribution is integrable
if and only if:
π1(XPY YPX) = π1(AFY XAFX Y), (18)
for all X,YD2, where π1is the projection over the invariant distribution DT.
Proof. From (7), P1XY=π1(XPY th(X,Y)AFY X). Then:
P1[X,Y] = π1(XPY YPX +AFXYAFY X).
Then, (18) is equivalent to
P1[X
,
Y] =
0. As
P1[X
,
Y] = π1P[X
,
Y] =
0, it holds if and only if
P[X
,
Y]
D2. Finally, from Theorem 5,D2is Pinvariant, so we obtain [X,Y]D2.
Now, we study the conditions for the involved distributions being totally geodesic.
Proof.
Let
M
be a semi-slant submanifold of a para Kaehler manifold
e
M
. If the holomorphic
distribution DTis totally geodesic, then (XP)Y=0, and XYDTfor any X,YDT.
Mathematics 2019,7, 618 10 of 15
Proof. For a para Kaehler manifold taking X,YDT, (7)–(8), leads to:
XPY PXYth(X,Y) = 0, (19)
FXY+h(X,PY)f h(X,Y) = 0. (20)
If DTis totally geodesic, (XP)Y=0 and FXY=0, which imply the result.
Proof.
Let
M
be a semi-slant submanifold of a para Kaehler manifold
e
M
. The slant distribution
D2
is
totally geodesic if and only if (XF)Y=0, and (XP)Y=AFY Xfor any X,YD2.
Proof. If D2is a totally geodesic distribution, from (7) and (8), taking X,YD2:
XPY AFY XPXY=0, (21)
XFY FXY=0. (22)
which implies the given conditions. On the converse, if
(XP)Y=AFY X
, then
th(X
,
Y) =
0, which
implies
Jh(X
,
Y) = f h(X
,
Y)
. From (8) and
F=
0, it holds that
h(X
,
PY) = nh(X
,
Y)
. Then, for
PY D2:
λh(X,Y) = h(X,P2Y)=f2h(X,Y) = J2h(X,Y) = h(X,Y),
and as D2is a proper slant distribution, λ6=1, it must be h(X,Y) = 0 for all X,YD2.
Given two orthogonal distributions
D1
and
D2
over a submanifold, it is called a
D1D2
-mixed
totally geodesic if h(X,Y) = 0 for all XD1,YD2.
Proof.
Let
M
be a semi-slant submanifold of a para Hermitian manifold
e
M
.
M
is a mixed totally
geodesic if and only if ANXDifor any XDi,NTM,i=1, 2.
Proof. If Mis a DTD2mixed totally geodesic, for any XDT,YD2,
g(ANX,Y) = g(h(X,Y),N) = 0,
which implies ANXDT. The same proof is valid for XD2and for the converse.
Proof. Let Mbe a semi-slant submanifold of a para Kaehler manifold e
M. If F=0, then either Mis
DTD2
-mixed totally geodesic or
h(X
,
Y)
is a eigenvector of
f2
associated with the eigenvalue of one,
for all XDT,YD2.
Proof. Let be XDT,YD2, if F=0, from (8), f h(X,Y) = h(X,PY).
As DTis holomorphic, that is J-invariant, D2is P-invariant. Therefore,
f2h(X,Y) = f h(X,PY) = h(X,P2Y) = h(X,P2
2Y) = λh(X,Y),
with λ=cosh2θ(cos2θ, sinh2θ, respectively). However, also:
f2h(Y,X) = f h(Y,PX) = h(Y,P2X) = h(Y,X).
From both equations, either h(X,Y) = 0 or it is an eigenvalue of f2associated with λ=1.
Proof.
Let
M
be a mixed totally geodesic semi-slant submanifold of a para Kaehler manifold
e
M
. If
DT
is integrable, then PANX=ANPX, for all XDTand NTM.
Proof. From Theorem 6,h(X,JY) = h(Y,J X)for all X,YDT,
g(JANX,Y) = g(ANX,PY) = g(N,h(X,PY)) = g(N,h(Y,PX)) = g(ANPY,Y).
Mathematics 2019,7, 618 11 of 15
Given ZD2,
g(JANX,Z) = g(ANX,PZ) = g(N,h(X,PZ)) = 0,
because
M
is mixed totally geodesic. From both equations,
PANX=ANPX
, which ﬁnishes
the proof.
Finally, the mixed totally geodesic characterization can be summarized with:
Theorem 8.
Let
M
be a proper semi-slant submanifold of a para Kaehler manifold
e
M
.
M
is a
DTD2
-mixed
totally geodesic if and only if (XP)Y=AFY X and (XF)Y=0, for all X,Y in different distributions.
Proof.
On the one hand, if
M
is a
DTD2
-mixed totally geodesic, let
X
,
Y
belong to different
distributions. From (7) and (8), both conditions are deduced.
On the other hand, from (7) and
(XP)Y=AFY X
, it is deduced
th(X
,
Y) =
0. From (8) and
(XF)Y=0, it is deduced:
h(X,PY) = f h(X,Y), (23)
for all X,Yin different distributions.
Therefore, for XDTand YD2:
f2h(X,Y) = h(X,P2Y) = λh(X,Y)
and also:
f2h(Y,X) = h(Y,P2X) = h(Y,X).
As
M
is a proper semi-slant submanifold,
λ6=
1, and
h(X
,
Y) =
0, so
M
is a mixed totally geodesic.
6. Hemi-Slant Submanifolds of a Para Kaehler Manifold
We will also study the integrability of the involved distributions for a hemi-slant submanifold.
Proof.
Let
M
be a hemi-slant submanifold of a para Hermitian manifold. The slant distribution is
Pinvariant.
Proof.
Let be
TM =DD2
, the decomposition with
D
totally real, and
D2
the slant distribution.
Consider XD2,
JX =P1X+P2X+FX.
Given
YD
,
g(PX
,
Y) = g(JX
,
Y) = g(X
,
JY) =
0, as
D
is totally real, therefore
PD2D2
.
As P2
2=λId, given XD2,X=P1
λX, then XPD2, and it is proven that PD2=D2.
Lemma 1.
Let
M
be a hemi-slant submanifold of a para Kaehler manifold. The totally real distribution is
integrable if and only if AFX Y=AFY X for all X,YD.
Proof.
For
X
,
YD
,
PX =
0,
JX =FX
,
PY =
0, and
JY =FY
. From (7), it follows that
P[X
,
Y] =
AFX YAFY X. Then, [X,Y]D, that is Dis integrable, if and only if AFX Y=AFY X.
The following result is known for hemi-slant submanifolds of Kaehler manifolds [
14
]. We obtain
the equivalent one for hemi-slant submanifolds of para Kaehler manifolds:
Theorem 9.
Let
M
be a hemi-slant submanifold of a para Kaehler manifold. The totally real distribution is
always integrable.
Proof.
From the previous lemma, it is enough to prove
g(AFX Y
,
Z) = g(AFY X
,
Z)
, for
X
,
YD
and
Ztangent. Then,
g(AFX Y,Z) = g(h(Y,Z),FX) = g(th(Y,Z),X) =
Mathematics 2019,7, 618 12 of 15
using (7):
=g(PZY+AFY Z,X) = g(AFY Z,X) = g(AF Y X,Z),
which ﬁnishes the proof.
Now, we study the integrability of the slant distribution.
Theorem 10.
Let
M
be a hemi-slant submanifold of a para Kaehler manifold. The slant distribution is integrable
if and only if:
π1(XPY YPX) = π1(AFY XAFX Y), (24)
for all X,YD2, where π1is the projection over the totally real distribution D.
The proof is analogous to the one of Theorem 7.
Lemma 2.
Let
M
be a hemi-slant submanifold of a para Kaehler manifold
e
M
. The totally real distribution
D
is totally geodesic if and only if (XF)Y=0, and PXY=AF Y X for any X,YD.
Proof. From (7) and (8) for X,YD:
PXYAFY Xth(X,Y) = 0, (25)
XFY FXYf h(X,Y) = 0, (26)
which imply the given conditions.
The same proof of Lemma 5is valid for the slant distribution of a hemi-slant distribution.
Lemma 3.
Let
M
be a hemi-slant submanifold of a para Kaehler manifold
e
M
. The slant distribution
D2
is
totally geodesic if and only if (XF)Y=0, and PXY=AF Y X for any X,YD2.
Remember that the classical De Rham–Wu Theorem [
18
,
19
], says that two orthogonal,
complementary, and geodesic foliations (called a direct product structure) in a complete and simply
connected semi-Riemannian manifold give rise to a global decomposition as a direct product of two
leaves. Therefore, from the previous lemmas, it is directly deduced:
Theorem 11.
Let
M
be a complete and simply-connected hemi-slant submanifold of a para Kaehler manifold
e
M
.
Then,
M
is locally the product of the integral submanifolds of the slant distributions if and only if
(XF)Y=
0,
and PXY=AFY X for both any X,YDor X,YD2.
Finally, we can also study when a hemi-slant submanifold is mixed totally geodesic. We get a
result similar to Proposition 8, but now the proof is much easier.
Proof.
Let
M
be a hemi-slant submanifold of a para Kaehler manifold
e
M
.
M
is a
DD2
-mixed totally
geodesic if and only if (XP)Y=AFY Xand (XF)Y=0, for all X,Yin different distributions.
Proof.
Again, if
M
is a
DD2
-mixed totally geodesic and
X
,
Y
belong to different distributions,
from (7) and (8), both conditions are deduced.
Now, if we suppose both conditions, from (7) and (8), it is deduced that
th(x
,
Y) =
0 and
h(X
,
PY) = f h(X
,
Y)
. Therefore, taking
XD2
and
YD
, we get
th(X
,
Y) =
0 and
f h(X
,
Y) =
0.
Therefore, h(X,Y) = 0 and Mis a mixed totally geodesic.
Mathematics 2019,7, 618 13 of 15
7. CR-Submanifolds of a Para Kaehler Manifold
CR-submanifolds have been intensively studied in many environments [
20
]. Moreover, there
are also some works about CR submanifolds of para Kaehler manifolds [
21
]. A semi-Riemannian
submanifold
M
of an almost para Hermitian manifold is called a CR-submanifold if the tangent bundle
TM =DD
with
D
a holomorphic distribution, that is
JD =D
, and
D
a
totally real one, that is J D TM.
Now, we make a study similar to the one made for generalized complex space forms in [22].
Examples of CR-submanifolds can be obtained from Example 1. Taking
a=
1,
d=
0,
D1=Span
u1,
v1
is a totally real distribution, and
D2=Span
u2,
v2
is a holomorphic
distribution. Moreover:
(1) D1is Type 1 if b2<1
(2) D1is Type 2 if b2>1,
(3) D2is Type 2 if c2>1,
(4) D2is Type 3 if c2<1.
Therefore, we obtain examples of CR-submanifolds of Types 1-2, 1-3, 2-2, and 2-3. Taking
a=0, d=1 we can obtain the Types 2-1, 2-2, 3-1, and again 3-2 examples.
For a para Kaehler manifold with constant holomorphic curvature for every non-light-like vector
ﬁeld, that is e
R(X,JX,JX,X) = c, the curvature tensor is given by:
e
R(X,Y)Z=c
4{g(X,Z)Yg(Y,Z)X+g(X,JZ)JY g(Y,JZ)JX +2g(X,JY)JZ}; (27)
such a manifold is called a para complex space form.
Theorem 12.
Let
M
be a slant submanifold of a para Kaehler space form
e
M(c)
. Then,
M
is a proper CR
submanifold if and only if the maximal holomorphic subspace
Dp=TpMTJTpM
,
pM
, deﬁnes a non-trivial
differentiable distribution on M such as:
e
R(D,D,D,D) = 0,
where Ddenotes the orthogonal complementary of D on TM.
Proof. If Mis a CR submanifold, from (27):
e
R(X,Y)Z=2g(X,JY)JZ,
for all X,YDand ZD, and this is normal to M; therefore, the equality holds.
On the other hand, let
Dp=TpMTJTpM
be, and suppose
e
R(D
,
D
,
D
,
D) =
0. Again,
from (27),
e
R(X,JX,Z,W) = c
2g(X,X)g(JZ,W),
for every
XD
,
Z
,
WD
. Taking
X6=
0, a non-light-like vector, it follows that
g(JZ
,
W) =
0. Then,
JZ
is orthonormal to
D
, and it is normal. Therefore,
D
is anti-invariant, and
M
is a
CR submanifold.
There is a well-known result for CR submanifolds of a complex space form
e
M(c)
[
22
] establishing
that if the invariant distribution is integrable, then the holomorphic sectional curvature determined by
a unit vector ﬁeld,
XD
, is upper bounded by the global holomorphic sectional curvature. That is,
for every unit vector ﬁeld X:
H(X) = R(X,JX,JX,X)c.
Mathematics 2019,7, 618 14 of 15
The situation in the semi-Riemannian case, for a para complex space form, is completely different.
From (27) and (4), for every non-light-like tangent unit vector ﬁeld X, it holds that:
R(X,JX,JX,X) = c+g(h(X,X),h(JX,JX)) g(h(X,JX),h(X,JX)).
Now, if Dis integrable, from Theorem 6,h(JX,JX) = h(X,J2X) = h(X,X), and then:
H(X) = c+kh(X,X)k2kh(X,JX)k2.
A submanifold is called totally umbilical if there exists a normal vector ﬁeld
L
such as
h(X
,
Y) =
g(X
,
Y)L
for all tangent vector ﬁelds
X
,
Y
.Totally geodesic submanifolds are particular cases with
L=
0.
Theorem 13. There do not exist proper CR totally umbilical submanifolds of a para complex space form e
M(c)
with c 6=0.
Proof. From (27), it follows that:
(e
R(X,Y)Z)=c
4{g(X,JZ)FY g(Y,JZ)FX +2g(X,JY)FZ},
for all
X
,
Y
,
Z
tangent vectors ﬁelds. Supposing
M
is a proper CR submanifold, we can choose two
non-light-like vector ﬁelds XDand ZD; for them:
(e
R(X,JX)Z)=c
2g(X,X)FZ.
However, for a totally umbilical submanifold, Codazzi’s equation (5) gives:
(e
R(X,Y)Z)=
Xg(Y,Z)Lg(XY,Z)Lg(Y,XZ)L
Yg(X,Z)L+g(YX,Z)L+g(X,YZ)L=0.
Comparing both equations, if c6=0, it follows that FZ =0, which is a contradiction.
Moreover, the same proof is valid for asserting:
Corollary 1.
There do not exist proper semi-slant totally umbilical submanifolds of a para complex space form
e
M(c)with c 6=0.
Author Contributions: The authors contributed equally to this work.
Funding:
The work was supported by the MINECO-FEDER grant MTM2014-52197-P., the PAIDI group FQM-327
(Junta de Andalucía, Spain). The second author is also supported by the Instituto de Matemáticas de la Universidad
de Sevilla (IMUS).
Acknowledgments:
The authors would like to thank Benjamin Olea for his useful comments on some aspects of
this paper and the referees for their suggestions, which have improved it.
Conﬂicts of Interest: The authors declare no conﬂict of interest.
References
1. Chen, B.Y. Slant inmersions. Bull. Austral. Math. Soc. 1990,41, 135–147.
2.
Cabrerizo, J.L.; Carriazo, A.; Fernández, L.M.; Fernández, M. Slant submanifolds in Sasakian manifolds.
Glasgow Math. J. 2000,42, 125–138.
3.
Sahin, B. Slant submanifolds of an almost product Riemannian manifold. J. Korean Math. Soc.
2006
,43,
717–732.
4.
Chen, B.-Y.; Garay, O. Classiﬁcation of quasi-minimal surfaces with parallel mean curvature vector in
pseudo-Euclidean 4-space E4
2.Results Math. 2009,55, 23–38.
Mathematics 2019,7, 618 15 of 15
5.
Chen, B.Y.; Mihai, I. Classiﬁcation of quasi-minimal slant surfaces in Lorentzian complex space forms. Acta
Math. Hungar. 2009,122, 307–328.
6.
Arslan, K.; Carriazo, A.; Chen, B.Y.; Murathan, C. On slant submanifolds of neutral Kaehler manifolds.
Taiwan. J. Math. 2010,14, 561–584.
7.
Carriazo, A.; Pérez-García, M.J. Slant submanifolds in neutral almost contact pseudo-metric manifolds. Diff.
Geom. Appl. 2017,54, 71–80.
8.
Khan, M.A.; Singh, K.; Khan, V.A. Slant submanifolds of LP-contact manifolds. Diff. Geo. Dyn. Syst.
2010
,12,
102–108.
9.
Alegre, P.. Slant submanifolds of Lorentzian Sasakian and para Sasakian manifolds. Taiwan. J. Math.
2013
,
17, 897–910.
10.
Alegre, P.; Carriazo, A. Slant submanifolds of para Hermitian manifolds. Mediterr. J. Math.
2017
,14, 214,
doi:10.1007/s00009-017-1018-3
11. Papaghiuc, N. Semi-slant submanifolds of a Kaehlerian manifold. Ann. St. Univ. Iasi. Tom. 1994,40, 55–61.
12.
Cabrerizo, J.L.; Carriazo, A.; Fernández, L.M.; Fernández, M. Semi-slant submanifolds of a Sasakian
manifolds. Geom. Dedicata 1999,78, 183–199.
13. Li, H.; Liu, X. Semi-slant submanifolds of a locally product manifold. Ga. Math. J. 2005,12, 273–282.
14.
Sahin, B. Warped product submanifolds of Kaehler manifolds with a slant factor. Ann. Pol. Math.
2009
,
95
,
207–226.
15.
Tstan, H.M.; Gerdan, S. Hemi-slant submanifolds of a locally conformal Kähler manifold. Int. Electron. J.
Geo. 2015,8, 46–56.
16.
Carriazo, A. Bi-slant immersions. In Proceedings of the ICRAMS, Kharagpur, India, 20–22, December, 2000;
pp. 88–97.
17.
Ronsse, G.S. Generic and skew CR-submanifolds of a Kaehler manifold. Bull. Inst. Math. Acad. Sin.
1990
,
18
,
127–141.
18. Wu, H. On the de Rham decomposition theorem. Ill. J. Math. 1964,8, 291–311.
19.
Ponge, R.; Reckziegel, H. Twisted products in pseudo-Riemannian geometry. Geom. Dedicata
1993
,48, 15–25.
20. Bejancu, A. CR submanifolds of a Kaehler manifold. Trans. Am. Math. Soc. 1979,250, 333–345.
21.
Mihai, A.; Rosca, R. Skew-symmetric vector ﬁelds on a CR-submanifold of a para-Kaehlerian manifold.
IJMMS 2004,10, 535–540.
22.
Barros, M.; Urbano, F. CR-submanifolds of generalized complex space forms. An. Stiint. Al. I. Cuza. Univ.
Iasi. 1979,25, 855–863.
c
... The proof of the following Theorems are similar to the proof of ( [5], [6]). Therefore we skip its proof. ...
Article
Full-text available
In this paper, bi-slant pseudo-Riemannian submersions from para-Kaehler manifolds onto pseudo-Riemannian manifolds are introduced. We examine some geometric properties of three types of bi-slant submersions. We give non-trivial examples of such submersions. Moreover, we obtain curvature relations between the base space, total space and the fibers.
... The proof of the following Theorems is similar to the proof of ( [2], [3]). Therefore we skip its proof. ...
Article
In this paper, we examine the proper semi-slant pseudo-Riemannian submersions in para-Kaehler geometry and prove some fundamental results on such submersions. In particular we obtain curvature relations in para-Kaehler space forms. Moreover, we provide examples of proper semi-slant pseudo-Riemannian submersions.
... Analogous to [34], we generalize slant distributions by defining pointwise slant distributions inM. Furthermore, we study some basic characterizations for the distributions on our ambient manifold. ...
Article
Full-text available
The aim of this paper is to study the warped product pointwise semislant submanifolds in the para-cosymplectic manifold with the semi-Riemannian metric. For which, firstly we provide the more generalized definition of pointwise slant submanifolds and related characterization results followed by the definition of pointwise slant distributions and pointwise semislant submanifolds. We also derive some results for different foliations on distribution, and lastly, we defined pointwise semislant warped product submanifold, given existence and nonexistence results, basic lemmas, theorems, and optimal inequalities for the ambient manifold.
... In the literature, there exist very interesting works on bi-slant submanifolds of various spaces [9][10][11][12][13][14]. An important aspect of slant submanifolds is that they can be considered as a generalization of semi-slant, hemi-slant and CR submanifolds. ...
Article
Purpose Bi-slant submanifolds of S -manifolds are introduced, and some examples of these submanifolds are presented. Design/methodology/approach Some properties of D i -geodesic and D i -umbilical bi-slant submanifolds are examined. Findings The Riemannian curvature invariants of these submanifolds are computed, and some results are discussed with the help of these invariants. Originality/value The topic is original, and the manuscript has not been submitted to any other journal.
Article
Full-text available
This article covers the geometric study of pointwise slant and pointwise semi-slant submanifolds of a para-Cosymplectic manifold M? 2m+1 with the semi-Riemannian metric. We give an advanced definition of these type of submanifolds for the spacelike and timelike vector fields. We obtain the characterization results for the involutive and totally geodesic foliation for such type of manifold M? 2m+1.
Article
The main purpose of this paper is to study the properties of PR-semi-slant warped product submanifold of paraKenmotsu manifold. We obtain some necessary and sufficient conditions for the PR-semi-slant submanifold of paraKenmotsu manifold to be a PR-semi-slant warped product submanifold. Some examples of PR-semi-slant warped product submanifold of paraKenmotsu manifold also given in this paper.
Article
Full-text available
The main purpose of this paper is to study the properties of PR\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {PR}$$\end{document}-semi-slant warped product submanifold of paraKenmotsu manifold. We obtain some necessary and sufficient conditions for the PR\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {PR}$$\end{document}-semi-slant submanifold of paraKenmotsu manifold to be a PR\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {PR}$$\end{document}-semi-slant warped product submanifold. Some examples of PR\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {PR}$$\end{document}-semi-slant warped product submanifold of paraKenmotsu manifold also given in this paper.
Chapter
As a generalization of both holomorphic and totally real immersions, slant immersions of a Riemannian manifold into an almost Hermitian manifold were introduced by Chen in [8, 9]. The study of slant immersions into complex Euclidean spaces C2 and C4 was presented by Chen and Tazawa in [7, 10], while slant immersions of Kaehler C-spaces into complex projective spaces were given by Maeda et al. in [29]. Slant immersions of a Riemannian manifold into an almost contact metric manifold were introduced by Lotta in [27]. Then the geometry of slant immersions and slant submanifolds attained momentum after the research on this subject matter by [2, 30, 38] and many other references therein.
Chapter
In [11], Chen introduced slant submanifolds of an almost Hermitian manifold, as those submanifolds for which the angle between JX and the tangent space is constant, for any tangent vector field X. These submanifolds play an intermediate role between complex submanifolds and totally real ones.2000 Mathematics Subject Classification.53C1553C2553C4053C50
Article
Full-text available
In this paper, we introduce pointwise hemi-slant submanifolds of para-Kaehler manifolds. Using this notion, we investigate the geometry of warped product pointwise hemi-slant submanifolds. We provide some non-trivial examples of such submanifolds.
Article
Full-text available
In this paper, we introduce the notion of slant submanifolds of a para-Hermitian manifold. We study their first properties and present a whole gallery of examples.
Article
Full-text available
In the present paper, we study hemi-slant submanifolds of a locally conformal Kähler manifold. We give conditions for the integrability of anti-invariant and slant distributions which are involved in the definition of hemi-slant submanifold. We also get necessary and sufficient conditions for these distributions to define totally geodesic foliations. The paper ends with some results for hemi-slant submanifolds with parallel canonical structures.
Article
Full-text available
In this paper, we show new results on slant submanifolds of an almost contact metric manifold. We study and characterize slant submanifolds of K-contact and Sasakian manifolds. We also study the special class of three-dimensional slant submanifolds. We give several examples of slant submanifolds.
Article
In this paper we define slant submanifolds in neutral almost contact pseudo-metric manifolds, with motivations and examples. We also provide some natural examples of the ambient spaces.
Research
In press in Analele Ştiintifice ale Universităţii "Al.I.Cuza" din Iaşi, Matematica
Article
In this paper we introduce the notion of slant submanifolds of a Lorentzian almost contact manifold and of a Lorentzian almost para contact mani-fold.