We study the geometry of half lightlike submanifolds M of an indefinite cosymplectic manifold M̅. First, we construct two types of half lightlike submanifolds according to the form of the structure vector field of M̅, named by tangential and ascreen half lightlike submanifolds. Next, we characterize the lightlike geometries of such two types of half lightlike submanifolds.
1. Introduction
The class of codimension 2 lightlike submanifolds of a semi-Riemannian manifold is composed entirely of two classes by virtue of the rank of its radical distribution, called half lightlike and coisotropic submanifolds [1–4]. Half lightlike submanifold is a special case of r-lightlike submanifold [5, 6] such that r=1 and its geometry is more general than that of coisotropic submanifold. Moreover much of the works on half lightlike submanifolds will be immediately generalized in a formal way to arbitrary r-lightlike submanifolds. Recently several authors studied the geometry of lightlike submanifolds of indefinite cosymplectic manifolds. Much of them have studied so-called CR-types (CR, SCR, GCR, QCR, etc) lightlike submanifolds of indefinite cosymplectic manifolds. Unfortunately, an intrinsic study of lightlike submanifolds of indefinite cosymplectic manifolds is slight as yet. Only there are some limited papers on particular subcases recently studied [7–9].
The objective of this paper is to study the geometry of half lightlike submanifolds M of an indefinite cosymplectic manifold M-. There are many different types of half lightlike submanifolds of an indefinite cosymplectic manifold M- according to the form of the structure vector field of M-. We study two types of them here: tangential and ascreen half lightlike submanifolds. We provide several new results on each types by using the structure of M induced by the contact metric structure of M-.
2. Half Lightlike Submanifolds
An odd dimensional smooth manifold (M-,g-) is called a contact metric manifold if there exists a contact metric structure (J,θ,ζ,g-), where J is a (1,1)-type tensor field, ζ a vector field which is called the structure vector field of M- and θ a 1-form satisfying
(2.1)J2X=-X+θ(X)ζ,Jζ=0,θ∘J=0,θ(ζ)=1,g-(ζ,ζ)=1,g-(JX,JY)=g-(X,Y)-θ(X)θ(Y),θ(X)=g-(ζ,X),dθ(X,Y)=g-(JX,Y),
for any vector fields X, Y on M-. We say that M- has a normal contact structure if NJ+dθ⊗ζ=0, where NJ is the Nijenhuis tensor field of J. A normal contact metric manifold is called a cosymplectic [10, 11] for which we have
(2.2)∇-Xθ=0,∇-XJ=0,
for any vector field X on M-, where ∇- is the Levi-Civita connection of M-. A cosymplectic manifold M-=(M-,J,ζ,θ,g-) is called an indefinite cosymplectic manifold [7–9] if (M-,g-) is a semi-Riemannian manifold of index μ(>0).
For any indefinite cosymplectic manifold M-, applying ∇-X to Jζ=0 and using (2.2), we have J(∇-Xζ)=0. Applying J to this and using the fact θ(∇-Xζ)=0, we get
(2.3)∇-Xζ=0.
A submanifold M of a semi-Riemannian manifold M- of codimension 2 is called a half lightlike submanifold if the rank of the radical distribution Rad(TM)=TM∩TM⊥ is 1, where TM and TM⊥ are the tangent and normal bundles of M, respectively. Then there exist complementary nondegenerate distributions S(TM) and S(TM⊥) of Rad(TM) in TM and TM⊥, respectively, which are called the screen and coscreen distribution on M:
(2.4)TM=Rad(TM)⊕orthS(TM),TM⊥=Rad(TM)⊕orthS(TM⊥),
where the symbol ⊕orth denotes the orthogonal direct sum. We denote such a half lightlike submanifold by M=(M,g,S(TM)). Denote by F(M) the algebra of smooth functions on M and by Γ(E) the F(M) module of smooth sections of a vector bundle E over M. Choose L as a unit vector field of S(TM⊥) such that g-(L,L)=±1. In this paper we may assume that g-(L,L)=1 without loss of generality. Consider the orthogonal complementary distribution S(TM)⊥ to S(TM) in TM-. Certainly Rad(TM) and S(TM⊥) are vector subbundles of S(TM)⊥. Thus we have the following orthogonal decomposition:
(2.5)S(TM)⊥=S(TM⊥)⊕orthS(TM⊥)⊥,
where S(TM⊥)⊥ is the orthogonal complementary to S(TM⊥) in S(TM)⊥. It is well-known [1, 2] that, for any null section ξ of Rad(TM) on a coordinate neighborhood 𝒰⊂M, there exists a uniquely defined null vector field N∈Γ(ltr(TM)) satisfying
(2.6)g-(ξ,N)=1,g-(N,N)=g-(N,X)=g-(N,L)=0,∀X∈Γ(S(TM)).
Let tr(TM)=S(TM⊥)⊕orthltr(TM). We say that N, ltr(TM) and tr(TM) are the lightlike transversal vector field, lightlike transversal vector bundle and transversal vector bundle of M with respect to S(TM), respectively. Therefore TM- is decomposed as
(2.7)TM-=TM⊕tr(TM)={Rad(TM)⊕tr(TM)}⊕orthS(TM)={Rad(TM)⊕ltr(TM)}⊕orthS(TM)⊕orthS(TM⊥).
Let P be the projection morphism of TM on S(TM) with respect to the decomposition (2.4). The local Gauss and Weingarten formulas for M and S(TM) are given by (2.8)∇-XY=∇XY+B(X,Y)N+D(X,Y)L,(2.9)∇-XN=-ANX+τ(X)N+ρ(X)L,(2.10)∇-XL=-ALX+ϕ(X)N;(2.11)∇XPY=∇X*PY+C(X,PY)ξ,(2.12)∇Xξ=-Aξ*X-τ(X)ξ,
for all X, Y∈Γ(TM), where ∇ and ∇* are induced linear connections on TM and S(TM), respectively, B and D are called the local second fundamental forms of M, C is called the local second fundamental form on S(TM). AN, Aξ*, and AL are linear operators on TM and τ, ρ, and ϕ are 1-forms on TM. Since ∇- is torsion-free, ∇ is also torsion-free, and B and D are symmetric. From the facts B(X,Y)=g-(∇-XY,ξ) and D(X,Y)=g-(∇-XY,L), we know that B and D are independent of the choice of the screen distribution S(TM) and
(2.13)B(X,ξ)=0,D(X,ξ)=-ϕ(X),∀X∈Γ(TM).
We say that h(X,Y)=B(X,Y)N+D(X,Y)L is the second fundamental tensor of M. The induced connection ∇ of M is not metric and satisfies
(2.14)(∇Xg)(Y,Z)=B(X,Y)η(Z)+B(X,Z)η(Y),
for all X, Y, Z∈Γ(TM), where η is a 1-form on TM such that
(2.15)η(X)=g-(X,N),∀X∈Γ(TM).
But the connection ∇* on S(TM) is metric. The above three local second fundamental forms of M and S(TM) are related to their shape operators by
(2.16)B(X,Y)=g(Aξ*X,Y),g-(Aξ*X,N)=0,(2.17)C(X,PY)=g(ANX,PY),g-(ANX,N)=0,(2.18)D(X,PY)=g(ALX,PY),g-(ALX,N)=ρ(X),(2.19)D(X,Y)=g(ALX,Y)-ϕ(X)η(Y),∀X,Y∈Γ(TM).
By (2.16) and (2.17), we show that Aξ* and AN are Γ(S(TM))-valued shape operators related to B and C, respectively, and Aξ* is self-adjoint on TM and
(2.20)Aξ*ξ=0.
Replacing Y by ξ to (2.8) and using (2.12) and (2.13), we have
(2.21)∇-Xξ=-Aξ*X-τ(X)ξ-ϕ(X)L,∀X∈Γ(TM).
3. Tangential Half Lightlike Submanifolds
Let M be a half lightlike submanifold of an indefinite cosymplectic manifold M-. In general the structure vector field ζ of M-, defined by (2.1), belongs to TM-. Thus, from the decomposition (2.7) of TM-, the structure vector field ζ is decomposed as follows:
(3.1)ζ=ω+aξ+bN+eL,
where ω is a smooth vector field on S(TM), and a=θ(N), b=θ(ξ), and e=θ(L) are smooth functions on M-. First of all, we introduce the following result.
Proposition 3.1 (see [3]).
Let M be a half lightlike submanifold of an indefinite almost contact metric manifold M-. Then there exists a screen distribution S(TM) such that
(3.2)J(S(TM)⊥)⊂S(TM).
Note 1.
Although, in general, S(TM) is not unique, it is canonically isomorphic to the factor vector bundle S(TM)*=TM/Rad(TM) considered by Kupeli [12]. Thus all screen distributions are mutually isomorphic. For this reason, we consider only half lightlike submanifold M equipped with a screen distribution S(TM) such that J(S(TM)⊥)⊂S(TM), such a screen distribution S(TM) is called a generic screen distribution [8] of M.
Proposition 3.2.
Let M be a half lightlike submanifold of an indefinite cosymplectic manifold M-. Then the structure vector field ζ does not belong to
Rad
(TM) and
ltr
(TM).
Proof.
Assume that ζ belongs to Rad(TM) (or ltr(TM)). Then (3.1) deduces to ζ=aξ and a≠0 (or ζ=bN and b≠0). From this, we have
(3.3)1=g-(ζ,ζ)=a2g-(ξ,ξ)=0[or1=g-(ζ,ζ)=b2g-(N,N)=0].
It is a contradiction. Thus ζ does not belong to Rad(TM) and ltr(TM).
Note 2.
If the structure vector field ζ is tangent to M, that is, b=e=0, then ζ does not belong to Rad(TM) by Proposition 3.2. This enables one to choose a screen distribution S(TM) which contains ζ. This implies that if ζ is tangent to M, then it belongs to S(TM). Călin [13] also proved this result which we assume in this section.
Definition 3.3.
A half lightlike submanifold M of an indefinite cosymplectic manifold M- is said to be a tangential half lightlike submanifold [4] of M- if ζ is tangent to M.
For any tangential half lightlike submanifold M, we show that ζ belongs to S(TM), that is, a=b=e=0 by Note 2. Then there exists a nondegenerate almost complex distribution Ho on M with respect to J, that is, J(Ho)=Ho, such that
(3.4)S(TM)={J(Rad(TM))⊕J(ltr(TM))}⊕orthJ(S(TM⊥))⊕orthHo.
Thus the general decompositions (2.4) and (2.7) reduce, respectively, to
(3.5)TM=H⊕H′,TM-=H⊕H′⊕tr(TM),
where H and H′ are 2- and 1-lightlike distributions on M such that
(3.6)H=Rad(TM)⊕orthJ(Rad(TM))⊕orthHo,H′=J(ltr(TM))⊕orthJ(S(TM⊥)).H is an almost complex distribution of M with respect to J. Consider a pair of local null vector fields {U,V} and a local nonnull vector field W on S(TM) defined by
(3.7)U=-JN,V=-Jξ,W=-JL.
Denote by S the projection morphism of TM on H with respect to the decomposition (3.5). Then any vector field X on M and its action JX by J are expressed as follows:
(3.8)X=SX+u(X)U+w(X)W,JX=FX+u(X)N+w(X)L,
where u, v, and w are 1-forms locally defined on M by
(3.9)u(X)=g(X,V),v(X)=g(X,U),w(X)=g(X,W)
and F is a tensor field of type (1,1) globally defined on M by F=J∘S. Applying the operator ∇-X to (3.7) and the second equation of (3.8) (denote (3.8)2) and using (2.2), (2.8), (2.9), (2.10), (2.21), (3.7), (3.8) and (3.9), for all X,Y∈Γ(TM), we have
(3.10)B(X,U)=C(X,V),B(X,W)=D(X,V),C(X,W)=D(X,U),(3.11)∇XU=F(ANX)+τ(X)U+ρ(X)W,(3.12)∇XV=F(Aξ*X)-τ(X)V-ϕ(X)W,(3.13)∇XW=F(ALX)+ϕ(X)U,(3.14)(∇XF)(Y)=u(Y)ANX+w(Y)ALX-B(X,Y)U-D(X,Y)W.
Note 3.
From now on, M-=(Rq2m+1,J,ζ,θ,g-) will denote the semi-Euclidean manifold Rq2m+1 equipped with its usual cosymplectic structure given by
(3.15)θ=dz,ζ=∂z,g-=θ⊗θ-∑i=1q/2(dxi⊗dxi+dyi⊗dyi)+∑i=q+1m(dxi⊗dxi+dyi⊗dyi),J(∑i=1m(Xi∂xi+Yi∂yi)+Z∂z)=∑i=1m(Yi∂xi-Xi∂yi),
where (xi,yi,z) are the Cartesian coordinates and g- is a semi-Euclidean metric of signature (-,+,…,+;-,+,…,+;+) with respect to the canonical basis
(3.16){∂x1,∂x2,…,∂xm;∂y1,∂y2,…,∂ym;∂z}.
This construction will help in understanding how the indefinite cosymplectic structure is recovered in examples of this paper.
Example 3.4.
Consider a submanifold M of M-=(R29,J,ζ,θ,g-) given by the equations
(3.17)x1=y4,x2=1-y22,y2≠±1.
Then a local frame fields of TM are given by
(3.18)ξ=∂x1+∂y4,U1=∂x4-∂y1,U2=∂x3,U3=∂y3,U4=-y2x2∂x2+∂y2,U5=∂x4+∂y1,U6=ζ=∂z.
This implies Rad(TM)=Span{ξ}, Jξ=U1, and Rad(TM)∩J(Rad(TM))={0}. Next, JU2=-U3 implies that Ho={U2,U3} invariant with respect to the almost contact structure tensor J. By direct calculations, we have
(3.19)S(TM⊥)=Span{L=∂x2+y2x2∂y2},ltr(TM)=Span{N=12(-∂x1+∂y4)}.
We show that JL=-U4, JN=(1/2)U5, Jζ=0 and ∇-Xζ=0 for all X∈Γ(TM). Therefore M is a tangential half-lightlike submanifold of an indefinite cosymplectic manifold M-.
Theorem 3.5.
Let M be a tangential half lightlike submanifold of an indefinite cosymplectic manifold M-. Then the structure vector field ζ is parallel with respect to the connections ∇ and ∇*. Furthermore, ζ is conjugate to any vector field of M with respect to h and C.
Proof.
Replacing Y by ζ to (2.8) and using (2.3) and the fact ζ∈Γ(TM), we get
(3.20)∇Xζ+B(X,ζ)N+D(X,ζ)L=0,∀X∈Γ(TM).
Taking the scalar product with ξ and L to this equation by turns, we have
(3.21)∇Xζ=0,B(X,ζ)=0,D(X,ζ)=0,∀X∈Γ(TM).
From (3.21)1, we see that ζ is parallel with respect to the induced connection ∇. (3.21)2,3 implies that ζ is conjugate to any vector field on M with respect to the second fundamental form h. Replacing PY by ζ to (2.11) and using (3.21)1 and the fact ζ∈Γ(S(TM)), we get
(3.22)∇X*ζ+C(X,ζ)ξ=0,∀X∈Γ(TM).
Taking the scalar product with N to this equation, we have
(3.23)∇X*ζ=0,C(X,ζ)=0,∀X∈Γ(TM).
Thus ζ is also parallel with respect to the lieasr connection ∇* and conjugate to any vector field on M with respect to C. Thus we have our assertions.
Definition 3.6.
A half lightlike submanifold M of M- is totally umbilical [5] if there is a smooth vector field ℋ on tr(TM) on any coordinate neighborhood 𝒰 such that
(3.24)h(X,Y)=Hg(X,Y),∀X,Y∈Γ(TM).
In case ℋ=0, that is, h=0 on 𝒰, we say that M is totally geodesic.
It is easy to see that M is totally umbilical if and only if there exist smooth functions β and δ on each coordinate neighborhood 𝒰 such that
(3.25)B(X,Y)=βg(X,Y),D(X,Y)=δg(X,Y),∀X,Y∈Γ(TM).
Theorem 3.7.
Any totally umbilical tangential half lightlike submanifold M of an indefinite cosymplectic manifold M- is totally geodesic.
Proof.
Assume that M is totally umbilical. From (3.21) and (3.25), we have
(3.26)βg(X,ζ)=0,δg(X,ζ)=0,∀X∈Γ(TM).
Replacing X by ζ in this equations and using the fact g(ζ,ζ)=1, we have β=δ=0, that is, B=D=0. Thus we have h=0 and M is totally geodesic.
Definition 3.8.
Ascreen distribution S(TM) is called totally umbilical [5] (in M) if there is a smooth function γ on any coordinate neighborhood 𝒰 in M such that
(3.27)C(X,PY)=γg(X,Y),∀X,Y∈Γ(TM).
In case γ=0 on 𝒰, we say that S(TM) is totally geodesic (in M).
Theorem 3.9.
Let M be a tangential half lightlike submanifold of an indefinite cosymplectic manifold M- such that S(TM) is totally umbilical. Then S(TM) is totally geodesic.
Proof.
Assume that S(TM) is totally umbilical in M. Replacing Y by ζ to (3.27) and using (3.23), we have γg(X,ζ)=0 for all X∈Γ(TM). Replacing X by ζ to this equation and using the fact g(ζ,ζ)=1, we obtain γ=0. Thus S(TM) is totally geodesic in M.
Theorem 3.10.
Let M be a tangential half lightlike submanifold of an indefinite cosymplectic manifold M-. Then H is an integrable distribution on M if and only if
(3.28)h(X,FY)=h(FX,Y),∀X,Y∈Γ(H).
Moreover, if M is totally umbilical, then H is a parallel distribution on M.
Proof.
Taking Y∈Γ(H), we show that FY=JY∈Γ(H). Applying ∇-X to FY=JY and using (2.3), (2.8), (3.7), (3.8)2, and (3.9), we have
(3.29)B(X,FY)=g(∇XY,V),D(X,FY)=g(∇XY,W),(3.30)(∇XF)(Y)=-B(X,Y)U-D(X,Y)W,∀X∈Γ(TM).
By direct calculations from two equations of (3.29), we have
(3.31)h(X,FY)-h(FX,Y)=g([X,Y],V)N+g([X,Y],W)L.
If H is integrable, then [X,Y]∈Γ(H) for any X, Y∈Γ(H). This implies g([X,Y],V)=g([X,Y],W)=0. Thus we get h(X,FY)=h(FX,Y) for all X, Y∈Γ(H). Conversely if h(X,FY)=h(FX,Y) for all X, Y∈Γ(H), then we have g([X,Y],V)=g([X,Y],W)=0. This imply [X,Y]∈Γ(H) for all X,Y∈Γ(H). Thus H is an integrable distribution of M.
If M is totally umbilical, from Theorem 3.7 and (3.29), we have
(3.32)g(∇XY,V)=g(∇XY,W)=0,∀X∈Γ(TM),∀Y∈Γ(H).
This imply ∇XY∈Γ(H) for all X, Y∈Γ(H), that is, H is a parallel distribution on M.
Theorem 3.11.
Let M be a tangential half lightlike submanifold of an indefinite cosymplectic manifold M-. Then F is parallel on H with respect to the connection ∇ if and only if H is a parallel distribution on M.
Proof.
Assume that F is parallel on H with respect to ∇. For any X, Y∈Γ(H), we have (∇XF)Y=0. Taking the scalar product with V and W to (3.30) with (∇XF)Y=0, we have B(X,Y)=0 and D(X,Y)=0 for all X, Y∈Γ(H), respectively. From (3.29), we have g(∇XY,V)=0 and g(∇XY,W)=0. This imply ∇XY∈Γ(H) for all X,Y∈Γ(H). Thus H is a parallel distribution on M.
Conversely if H is a parallel distribution on M, from (3.29) we have
(3.33)B(X,FY)=0,D(X,FY)=0,∀X,Y∈Γ(H).
For any Y∈Γ(H), we show that F2Y=J2Y=-Y+θ(Y)ζ. Replacing Y by FY to (3.33) and using (3.21), we have B(X,Y)=0 and D(X,Y)=0 for any X,Y∈Γ(H). Thus F is parallel on H with respect to ∇ by (3.30).
Theorem 3.12.
Let M be a tangential half lightlike submanifold of an indefinite cosymplectic manifold M-. If F is parallel with respect to the induced connection ∇, then H is a parallel distribution on M and M is locally a product manifold LU×LW×MT, where LU and LW are null curves tangent to J(
ltr
(TM)) and J(S(TM⊥)), respectively, and MT is a leaf of H.
Proof.
Assume that F is parallel on TM with respect to ∇. Then F is parallel on H with respect to ∇. By Theorem 3.11, H is a parallel distribution on M. Applying the operator F to (3.14) with (∇XF)Y=0, we have
(3.34)u(Y)F(ANX)+w(Y)F(ALX)=0,∀X,Y∈Γ(TM),
due to FU=FW=0. Replacing Y by U and W to this equation by turns and using (3.9), we have F(ANX)=0 and F(ALX)=0. Taking the scalar product with W and N to (3.14) with (∇-XF)Y=0 by turns, we have
(3.35)D(X,Y)=u(Y)w(ANX)+w(Y)w(ALX),(3.36)w(Y)g(ALX,N)=0,∀X,Y∈Γ(TM).
Replacing Y by ξ to (3.35), we get ϕ=0 due to (2.13)2. Also replacing Y by W to (3.36), we have ρ=0 due to (2.18)2. From thess results, (3.11) and (3.13), we get ∇XU=τ(X)U and ∇XW=0 for all X∈Γ(H′). Thus J(ltr(TM)) and J(S(TM⊥)) are also parallel distributions on M. By the decomposition theorem of de Rham [14], we show that M=LU×LW×MT, where LU and LW are null curves tangent to J(ltr(TM)) and J(S(TM⊥)), respectively, and MT is a leaf of H.
Definition 3.13.
A half lightlike submanifold M of a semi-Riemannian manifold M- is said to be irrotational [12] if ∇-Xξ∈Γ(TM) for any X∈Γ(TM).
Note 4.
From (2.21) we see that a necessary and sufficient condition for M to be irrotational is D(X,ξ)=0=ϕ(X) for all X∈Γ(TM).
Theorem 3.14.
Let M be a tangential half lightlike submanifold of an indefinite cosymplectic manifold M-. Then one has the following assertions.
If V is parallel with respect to ∇, then M is irrotational, τ=0 and
(3.37)Aξ*X=u(Aξ*X)U+w(Aξ*X)W,∀X∈Γ(TM).
If U is parallel with respect to ∇, then one has τ=ρ=0 and
(3.38)ANX=u(ANX)U+w(ANX)W,∀X∈Γ(TM).
If W is parallel with respect to ∇, then M is irrotational and
(3.39)ALX=u(ALX)U+w(ALX)W,∀X∈Γ(TM).
Moreover, if all of V, U, and W are parallel on TM with respect to ∇, then S(TM) is totally geodesic in M and τ=ϕ=ρ=0 on Γ(TM). In this case, the null transversal vector field N of M is a constant on M.
Proof.
If V is parallel with respect to ∇, then, taking the scalar product with U and W to (3.12) by turns, we have τ=0 and ϕ=0 (M is irrotational), respectively. Thus we have F(Aξ*X)=0 for all X∈Γ(TM). From this result and (3.8), we obtain J(Aξ*X)=u(Aξ*X)N+w(Aξ*X)L. Applying J to this equation and using θ(Aξ*X)=0, we obtain (i). In a similar way, by using (3.11), (3.13), (3.21), and (3.23), we have (ii) and (iii).
Assume that all of V, U, and W are parallel on TM with respect to ∇. Substituting the equation of (i) into (3.10)-1, we have
(3.40)u(ANX)=v(Aξ*X)=g(Aξ*X,U)=0,∀X∈Γ(TM).
Also, substituting the equation of (iii) into (3.10)-3, we have
(3.41)w(ANX)=v(ALX)=g(ALX,U)=0,∀X∈Γ(TM).
From the last two equations and the equation of (ii), we see that AN=0. Thus S(TM) is totally geodesic in M and the 1-forms τ, ϕ, and ρ, defined by (2.9) and (2.10), satisfy τ=ϕ=ρ=0 on Γ(TM). Using this results, we see that N is a constant on M.
Theorem 3.15.
Let M be a totally umbilical tangential half lightlike submanifold of an indefinite cosymplectic manifold M- such that S(TM) is totally umbilical. Then M is locally a product manifold M=M4×MTo, where M4 and MTo are leaves of Ho⊥ and Ho, respectively.
Proof.
By Theorem 3.10, H is a parallel distribution M. Thus, for all X, Y∈Γ(Ho), we have ∇XY∈Γ(H). From (2.11) and (3.30), we have
(3.42)C(X,FY)=g(∇XFY,N)=g((∇XF)Y+F(∇XY),N)=g(F(∇XY),N)=-g(∇XY,JN)=g(∇XY,U),
due to FY∈Γ(Ho). If S(TM) is totally umbilical in M, then we have C=0 due to Theorem 3.7. By (2.11) and (3.42), we get
(3.43)g(∇XY,N)=0,g(∇XY,U)=0,∀X∈Γ(TM),∀Y∈Γ(Ho).
These results and (3.29) imply ∇XY∈Γ(Ho) for all X, Y∈Γ(Ho). Thus Ho is a parallel distribution on M and TM=Ho⊕orthHo⊥, where Ho⊥=Span{ξ,V,U,W}. By Theorems 3.5 and 3.7, we have B=D=AN=ϕ=0 and ALX=ρ(X)ξ. Thus (2.12) and (3.11)~(3.13) deduce, respectively, to
(3.44)∇Xξ=-τ(X)ξ,∇XU=τ(X)U+ρ(X)W,∇XV=-τ(X)V,∇XW=-ρ(X)V,∀X∈Γ(Ho⊥).
Thus Ho⊥ is also a parallel distribution on M. Thus we have M=M4×MTo, where M4 is a leaf of Ho⊥ and MTo is a leaf of Ho.
A half lightlike submanifold M of an indefinite cosymplectic manifold M- is said to be an ascreen half lightlike submanifold [4] of M- if the structure vector field ζ of M- belongs to the distribution Rad(TM)⊕ltr(TM).
For any ascreen half lightlike submanifold M, the vector field ζ is decomposed as
(4.1)ζ=aξ+bN.
In this case, we show that a≠0 and b≠0 by Proposition 3.2.
Definition 4.2.
A half lightlike submanifold M is called screen conformal [2, 3] if there exists a nonvanishing smooth function φ such that AN=φAξ*, or equivalently,
(4.2)C(X,PY)=φB(X,Y),∀X,Y∈Γ(TM).
Theorem 4.3.
Let M be an ascreen half lightlike submanifold of an indefinite cosymplectic manifold M-. Then M is screen conformal.
Proof.
Applying ∇-X to (4.1) and using (2.3), (2.9), and (2.21), we have
(4.3)aAξ*X+bANX={Xa-aτ(X)}ξ+{Xb+bτ(X)}N+{bρ(X)-aϕ(X)}L.
Taking the product with ξ, N, and L by turns and using (2.16)2 and (2.17)2, we get
(4.4)ANX=φAξ*X,Xa=aτ(X),Xb=-bτ(X),aϕ(X)=bρ(X),
for all X∈Γ(TM), where we set φ=-a/b. Thus M is screen conformal.
Substituting (4.1) into g(ζ,ζ)=1, we have 2ab=1. Consider the local unit timelike vector field V* on M and its 1-form v* defined by
(4.5)V*=-b-1Jξ,v*(X)=-g(X,V*),∀X∈Γ(TM).
Let U*=-a-1JN. Then U* is a unit timelike vector field on S(TM) such that g(V*,U*)=1. Applying J to (4.1) and using (2.1) and 2ab=1, we have
(4.6)0=aJξ+bJN=-V*+U*2i.e.,U*=-V*.
From this we show that J(Rad(TM))=J(ltr(TM)). Using this and Proposition 3.1, the tangent bundle TM of M is decomposed as follows:
(4.7)TM=Rad(TM)⊕orth{J(Rad(TM))⊕orthJ(S(TM⊥))⊕orthH*},
where H* is a nondegenerate and almost complex distribution on M with respect to the indefinite cosymplectic structure tensor J, otherwise S(TM) is degenerate. Consider the local unit spacelike vector field W* on S(TM) and its 1-form w* defined by
(4.8)W*=-JL,w*(X)=g(X,W*),∀X∈Γ(TM).
Denote by S* the projection morphism of TM on H*. Using (4.7), for any vector field X on M, the vector field JX is expressed as follows:
(4.9)JX=fX+av*(X)ξ-bη(X)V*-bv*(X)N+w*(X)L,
because JV*=aξ-bN, where f is a tensor field of type (1, 1) defined by
(4.10)fX=JS*X,∀X∈Γ(TM).
Applying J to (2.10) and (2.21) and using (2.2), (2.8) and (4.4)~(4.9), we get
(4.11)b∇XV*=f(Aξ*X)-aB(X,V*)ξ-ϕ(X)W*,(4.12)∇XW*=f(ALX)-aD(X,V*)ξ-2aϕ(X)V*,(4.13)bD(X,V*)=B(X,W*),∀X∈Γ(TM).
Example 4.4.
Consider a submanifold M of M-=(R25,J,ζ,θ,g-) given by the equation
(4.14)X(u1,u2,u3)=(u1,u2,u3,u2,12(u1+u3)).
By direct calculations we easily check that
(4.15)TM=Span{ξ=∂x1+∂y1+2∂z,U=∂x1-∂y1,V=∂x2+∂y2},TM⊥=Span{ξ,L=∂x2-∂y2},Rad(TM)=Span{ξ}.
We obtain the lightlike transversal and transversal vector bundles
(4.16)ltr(TM)=Span{N=14(-∂x1-∂y1+2∂z)},tr(TM)=Span{N,L}.
From this results, we show that Jξ=U, Rad(TM)∩J(Rad(TM))={0}, JN=-(1/4)U, JL=-V, JN=-(1/4)Jξ and J(Rad(TM)=J(ltr(TM), ζ=(1/22)ξ+2N and Jζ=0. Thus M is an ascreen half lightlike submanifold of an indefinite cosymplectic manifold M-.
Theorem 4.5.
Let M be an ascreen half lightlike submanifold of an indefinite cosymplectic manifold M-. If M is totally umbilical, then M and S(TM) are totally geodesic.
Proof.
Assume that M is totally umbilical. From (3.25) and (4.13), we have
(4.17)bδg(X,V*)=βg(X,W*),∀X∈Γ(TM).
Replacing X by W* and V* to this equation by turns, we have β=0 and δ=0, respectively. Thus we have h=0 and M is totally geodesic. By (4.2), we also have C=0. Thus S(TM) is also totally geodesic in M.
Taking Y∈Γ(H*). Then we have fY=JY∈Γ(H*) due to (4.9). Applying ∇-X to JY=fY and using (2.2), (2.8), (4.2), (4.5), and (4.9), we have (4.18)B(X,fY)=bg(∇XY,V*),D(X,fY)=g(∇XY,W*),(4.19)(∇Xf)Y=-ag(∇XY,V*)ξ+2aB(X,Y)V*-D(X,Y)W*,
for all X∈Γ(TM). By the procedure same as the proofs of Theorem 3.10 and Theorem 3.11 and by using (4.18) and (4.19), instead of (3.29) and (3.30), and that S(TM) is integrable due to (4.2), the following two theorems hold.
Theorem 4.6.
Let M be an ascreen half lightlike submanifold of an indefinite cosymplectic manifold M-. H* is an integrable distribution on M if and only if one has
(4.20)h(X,fY)=h(fX,Y),∀X,Y∈Γ(H*).
Moreover, if M is totally umbilical, then H* is a parallel distribution on M.
Theorem 4.7.
Let M be an ascreen half lightlike submanifold of an indefinite cosymplectic manifold M-. Then f is parallel on H* with respect to the induced connection ∇ if and only if H* is a parallel distribution on M.
Theorem 4.8.
Let M be an ascreen half lightlike submanifold of an indefinite cosymplectic manifold M-. If M is totally umbilical, then M is locally a product manifold Lξ×LV*×LW*×M*, where Lξ, LV*, and LW* are null, timelike, and spacelike curves tangent to
Rad
(TM), J(
Rad
(TM)), and J(S(TM⊥)), respectively, and M* is a leaf of H*.
Proof.
If M is totally umbilical, then H* is a parallel distribution on M by Theorem 4.6 and we have B=D=Aξ*=ϕ=0;ALX=ρ(X)ξ by Theorem 4.5. From (4.4)1, we also have AN=0. Using (2.12), (4.11), and (4.12), we have ∇Xξ=-τ(X)ξ and ∇XV*=∇XW*=0 due to fξ=0. This implies that all of the distributions Rad(TM), J(Rad(TM)), and J(S(TM⊥)) are parallel on M. Thus we have M=Lξ×LV*×LW*×M*, where Lξ, LV*, and LW* are null, timelike, and spacelike curves tangent to Rad(TM), J(Rad(TM)) and J(S(TM⊥)), respectively, and M* is a leaf of H*.
By straightforward calculations from (4.11) and (4.12) and the same method as the proof of Theorem 3.14, the following theorem holds.
Theorem 4.9.
Let M be an ascreen half lightlike submanifold of an indefinite cosymplectic manifold M-. Then one has the following assertions.
If V* is parallel with respect to ∇ on M, then M is irrotational and
(4.21)Aξ*X=B(X,W*)W*,B(X,V*)=0,ρ(X)=0,∀X∈Γ(TM).
If W* is parallel with respect to ∇ on M, then M is irrotational and
(4.22)ALX=D(X,W*)W*,D(X,V*)=0,ρ(X)=0,∀X∈Γ(TM).
Moreover, if V* and W* are parallel with respect to ∇, then one sees that Aξ*=0 and the screen distribution S(TM) is totally geodesic in M.
Theorem 4.10.
Let M be an ascreen half lightlike submanifold of an indefinite cosymplectic manifold M-. If V* and W* are parallel with respect to ∇, then M is locally a product manifold Lξ×LV*×LW*×M*, where Lξ, LV*, and LW* are null, timelike, and spacelike curves tangent to
Rad
(TM), J(
Rad
(TM)), and J(S(TM⊥)), respectively, and M* is a leaf of H*.
Proof.
If V* is parallel with respect to ∇, for any Y∈Γ(H*), we have
(4.23)B(X,Y)=g(Aξ*X,Y)=B(X,W*)g(Y,W*)=0,∀X∈Γ(TM).
Thus we get g(∇XY,V*)=b-1B(X,fY)=0 because fY∈Γ(H*). Also if W* is parallel with respect to ∇, then, for any Y∈Γ(H*), we have
(4.24)D(X,Y)=g(ALX,Y)=D(X,W*)g(Y,W*)=0,∀X∈Γ(TM).
From these results and (4.19), we show that f is parallel on H* with respect to ∇. Thus, by Theorem 4.7, we see that H* is a parallel distribution on M. As V* and W* are parallel with respect to ∇ and ∇Xξ=-τ(X)ξ due to Aξ*=0, we have our theorem.
DuggalK. L.BejancuA.Lightlike submanifolds of codimension two19921559821195442ZBL0777.53020DuggalK. L.JinD. H.Half lightlike submanifolds of codimension 21999221211611744500ZBL0995.53051JinD. H.Half lightlike submanifolds of an indefinite Sasakian manifold20111821731832817143ZBL1233.53006JinD. H.Special half lightlike submanifolds of an indefinite Sasakian manifoldBulletin of the Korean Mathematical Society. In pressDuggalK. L.BejancuA.1996364Dordrecht, The NetherlandsKluwer Academic Publishersviii+3001383318DuggalK. L.JinD. H.Totally umbilical lightlike submanifolds2003261496810.2996/kmj/10504966481966682ZBL1049.53011JinD. H.Geometry of lightlike hypersurfaces of an indefinite cosymplectic manifold201227118519510.4134/CKMS.2012.27.1.1852919024ZBL1243.53084JinD. H.LeeJ. W.Generic lightlike submanifolds of an indefinite cosymplectic manifold201120111661098610.1155/2011/6109862846137ZBL1236.53056KimS. K.2007Ulsan, Republic of KoreaUlsan UniversityBlairD. E.2002203Boston, Mass, USABirkhäuserxii+2601874240ZBL1130.76394LuddenG. D.Submanifolds of cosymplectic manifolds197042372440271883ZBL0197.47902KupeliD. N.1996366Dordrecht, The NetherlandsKluwer Academic Publishersx+177Mathematics and its Applications1392222CălinC.1998Lasi, RomaniaUniversity of Laside RhamG.Sur la reductibilité d'un espace de Riemann195226328344005217710.1007/BF02564308ZBL0048.15701