Clairaut anti-invariant submersions from Lorentzian trans-Sasakian manifolds

Mohd Danish Siddiqi (Department of Mathematics, Faculty of Science, Jazan University, Jazan, Saudi Arabia)
Sudhakar Kumar Chaubey (Section of Mathematics, Department of Information Technology, University of Technology and Applied Sciences, Shinas, Oman)
Aliya Naaz Siddiqui (Department of Mathematics, Maharishi Markandeshwar Deemed to University, Ambala, India)

Arab Journal of Mathematical Sciences

ISSN: 1319-5166

Article publication date: 7 October 2021

Issue publication date: 2 July 2024

1004

Abstract

Purpose

The central idea of this research article is to examine the characteristics of Clairaut submersions from Lorentzian trans-Sasakian manifolds of type (α, β) and also, to enhance this geometrical analysis with some specific cases, namely Clairaut submersion from Lorentzian α-Sasakian manifold, Lorentzian β-Kenmotsu manifold and Lorentzian cosymplectic manifold. Furthermore, the authors discuss some results about Clairaut Lagrangian submersions whose total space is a Lorentzian trans-Sasakian manifolds of type (α, β). Finally, the authors furnished some examples based on this study.

Design/methodology/approach

This research discourse based on classifications of submersion, mainly Clairaut submersions, whose total manifolds is Lorentzian trans-Sasakian manifolds and its all classes like Lorentzian Sasakian, Lorenztian Kenmotsu and Lorentzian cosymplectic manifolds. In addition, the authors have explored some axioms of Clairaut Lorentzian submersions and illustrates our findings with some non-trivial examples.

Findings

The major finding of this study is to exhibit a necessary and sufficient condition for a submersions to be a Clairaut submersions and also find a condition for Clairaut Lagrangian submersions from Lorentzian trans-Sasakian manifolds.

Originality/value

The results and examples of the present manuscript are original. In addition, more general results with fair value and supportive examples are provided.

Keywords

Citation

Siddiqi, M.D., Chaubey, S.K. and Siddiqui, A.N. (2024), "Clairaut anti-invariant submersions from Lorentzian trans-Sasakian manifolds", Arab Journal of Mathematical Sciences, Vol. 30 No. 2, pp. 134-149. https://doi.org/10.1108/AJMS-05-2021-0106

Publisher

:

Emerald Publishing Limited

Copyright © 2021, Mohd Danish Siddiqi, Sudhakar Kumar Chaubey and Aliya Naaz Siddiqui

License

Published in the Arab Journal of Mathematical Sciences. Published by Emerald Publishing Limited. This article is published under the Creative Commons Attribution (CC BY 4.0) licence. Anyone may reproduce, distribute, translate and create derivative works of this article (for both commercial and non-commercial purposes), subject to full attribution to the original publication and authors. The full terms of this licence may be seen at http://creativecommons.org/licences/by/4.0/legalcode


1. Introduction

The conception of Riemannian immersion is studied extensively together with starting the study of Riemannian geometry. In fact, Riemannian manifolds are studied first as surfaces imbedded in R3. In 1956, Nash [1] proved that a revolution for Riemannian manifold that all Riemannian manifolds are isometrically embedded at any small part of Euclidean space. Consequently, the differential geometry of the Riemannian immersion is commonly noted, and it can be found in different text books such as ([2, 3]).

Contrastingly, “dual” concept of Riemannian immersions is one of the famous research fields in differential geometry and is the theory of Riemannian submersions, which was first investigated by O’Neill [4] and Gray [5]. Watson [6] popularized the knowledge of Riemannian submersions considering almost Hermitian manifolds in terms of almost Hermitian submersions. Afterward, almost Hermitian submersions are discussed with in various subcategories of almost Hermitian manifolds. Also, Riemannian submersions are enhanced considering many subcategories of almost contact metric manifolds in terms of contact Riemannian submersions. Several materials about Riemannian, almost Hermitian or contact Riemannian submersions are available in reference [2].

Most of the research linked to the theory of anti-invariant Riemannian, Lagrangian submersions and Clairaut anti-invariant submersions is available in Şahin’s book [3]. Afterward, several kinds of Riemannian submersions appeared, for example: semi-invariant, slant, pointwise-slant, semi-slant, hemi-slant and generic submersions. Most of the studies related to these can also be found in Şahin’s book [3].

In 1972, Bishop [7] proposed the concept and conditions of a Clairaut submersion in terms of a natural generalization of a surface of revolution. Under these circumstances, for every geodesic σ at the surface S, function γSinΘ is constant through σ, here γ is a metric between the point at surface and rotation axis, also Θ defines angle within σ and meridian through σ.

The concept of anti-invariant Riemannian and Clairaut anti-invariant submersion has been fitting a very progressive geometric analysis field since Şahin [8] essentially described such submersions of almost Hermitian manifolds on Riemannian manifolds. Indeed, anti-invariant Riemannian and Clairaut anti-invariant submersion have been examined in various types of geometrical manifolds, namely Kähler [810], almost product [11], Sasakian [12, 13], Kenmotsu [13], cosymplectic [30], paracosymplectic [14, 15] and trans-Sasakian manifolds [1618]. Note that this concept of anti-invariant Riemannian submersion is generalized to conformal anti-invariant submersions [1921].

In [22], Allison proposed Clairaut submersions in case the total manifold is Lorentzian. In addition, it is discovered that Clairaut submersions are used for static spacetime applications. Basically, a static spacetime can be considered as a Lorentzian manifold.

On the other hand, in 2013, De et al. [23] presented the concept of Lorentzian trans-Sasakian manifolds. Trans-Sasakian structure together with Lorentzian metric can be applied naturally at the odd dimensional manifold. Motivated by above research studies mentioned in this paper, we have examined the Clairaut anti-invariant submersions from Lorentzian trans-Sasakian manifolds.

The work is ordered as follows. Section 2 presents basic notion and definition for Lorentzian trans-Sasakian manifolds. Section 3 includes particular background of Riemannian submersions. Section 4 presents definition of anti-invariant and Lagrangian submersions. In section 5, we study anti-invariant submersions and Clairaut anti-invariant submersion from trans-Sasakian manifolds onto Riemannian manifolds admitting horizontal Reeb vector field. In section 6, we deal with some axioms of Clairaut Lagrangian submersion and provide some examples and some of their characteristic properties.

2. Lorentzian trans-Sasakian manifolds

A (2n + 1)-dimensional differentiable manifold M is named the Lorentzian Trans-Sasakian manifold [23] in case it allows (1, 1) tensor field ϕ, the global vector field ζ named Reeb vector field or contra-variant vector field, that is, in case η is a dual 1-form of ζ, and the Lorentzian metric g that satisfies [24].

(2.1)ϕ2U=U+η(U)ζ,η(ζ)=1,ϕζ=0,
(2.2)g(ϕU,ϕV)=g(U,V)+η(U)η(V),
where both U and V refer to any vector fields at M. Also, using previous axioms gives
(2.3)η°ϕ=0andη(U)=g(U,ζ).
Here, (ϕ, ζ, η, g) [23] is named Lorentzian structure of M. A Lorentzian trans-Sasakian manifold M also satisfies [25].
(2.4)(DUϕ)V=α[g(U,V)ζη(V)U]+β[g(ϕU,V)ζη(V)ϕU]
for functions α and β and D is Levi-Civita connection with respect to the Lorentzian metric g at M. Moreover, (M, ϕ, ζ, η, g) is named the Lorentzian trans-Sasakian manifold from type (α, β); for more details, see ([26]). It can be deduced from (2.1) that
(2.5)DUζ=αϕUβ(U+η(U)ζ).
Remark 1.

  1. If α = 0 and β ≠ 0(or β = 1), therefore the manifold turns into the Lorentzian β-Kenmotsu manifold (or Lorentzian Kenmotsu manifold) [23].

  2. If α ≠ 0(or α = 1) and β = 0, therefore this manifold turns into the Lorentzian α-Sasakian manifold (or Lorentzian Sasakian manifold) [23].

  3. In case α = 0 and β, therefore, the manifold turns into the Lorentzian cosymplectic manifold [23].

3. Riemannian submersions

An essential background of Riemannian submersions is given at this part.

Suppose (M, g) and (N, gN) are Riemannian manifolds, such that dim(M) > dim(N). The subjective mapping ψ: (M, g) → (N, gN) is named the Riemannian submersion [4] if:

  • (S1) The rank(ψ) = dim(N).

Therefore, for all q ∈ N, ψ1(q)=ψq1 is the k-dimensional submanifold of M and is named the fiber, with

k=dim(M)dim(N).

The vector field at M is named vertical (resp. horizontal) in case it is still as a tangent (orthogonal) relating to the fibers. The vector field X at M is named basic in case X is horizontal and ψ-connecting to the vector field X* at N, which means ψ*(Xp) = Xψ(p) for any p ∈ M, where ψ* is derivative or differential map of ψ. V and H define the projections at vertical distribution kerψ* and horizontal distribution kerψ*, in the same order. Usually, a manifold (M, g) is named the total manifold and (N, gN) is named base manifold of the submersion ψ: (M, g) → (N, gN).

  • (S2) ψ* preserves the lengths of horizontal vectors.

This condition is equivalent to say that the derivative map ψ* of ψ, restricted to kerψ*, is the linear isometry. The geometrical description of Riemannian submersions is represented by O’Neill’s tensors T and A, determined as:

(3.1)TE1F1=VDVE1HF1+HDVE1VF1,
(3.2)AE1F1=VDHE1HF1+HDHE1VF1
for any vector fields E1 and F1 at M, with D is Levi-Civita connection of g. Clearly, TE1 in addition to AE1 are skew-symmetric operators at tangent bundle of M reversing vertical and the horizontal distributions. To sum up, tensor fields properties T as well as A, Suppose V1, W1 are vertical and X1, Y1 are horizontal vector fields at M, therefore
(3.3)TV1W1=TW1V1,
(3.4)AX1Y1=AY1X1=12V[X1,Y1].

On the other hand, from (3.1) and (3.2), we obtain

(3.5)DV1W1=TV1W1+D^V1W1,
(3.6)DV1X1=TV1X1+HDV1X1,
(3.7)DX1V1=AX1V1+VDX1V1,
(3.8)DX1Y1=HDX1Y1+AX1Y1,
where D^V1W1=VDV1W1. Moreover, if X1 is basic, then we have HDV1X1=AX1V1. It appears that T is acting at fibers as second fundamental form, whereas A is acting at horizontal distribution and measuring obstruction to integrability of the distribution. Further details are given in the paper of O’Neill [4] in addition to this book [2].

At the end, the concept of second fundamental form of the map within Riemannian manifolds is recalled. Suppose (M, g) and (N, gN) are Riemannian manifolds and f: (M, g) → (N, gN) is the smooth map. Therefore, second fundamental form of f is written as

(3.9)(Df*)(U,V)=DUff*Ff*(DUV)
for U, V ∈ Γ(TM), with ∇f defining the pull-back connection, and D defines the Riemannian connections of the metrics g and gN. Symmetry is widely known property of second fundamental form, and further, f is named totally geodesic [31] in case (Df*)(E,F)=0 for any U, V ∈ Γ(TM) (as in [19, p. 119]), and f is named the harmonic map [29] in case trace(Df*)=0 (as in [19, p. 73]).

4. Anti-invariant Riemannian submersions

We first recall idea of an anti-invariant Riemannian submersion where its total manifold is the almost contact metric manifold.

Definition 4.1.

([18, 27]) Let M be (2n + 1)-dimensional almost contact metric manifold among almost contact metric constructor (ϕ, ζ, η, g) and N is the Riemannian manifold among Riemannian metric gN. Considering there is Riemannian submersion ψ: MN where vertical distribution kerψ* defines anti-invariant with respect to ϕ, which means, ϕkerψ*kerψ*. Therefore, Riemannian submersion π is named the anti-invariant Riemannian submersion. Similar submersions are called the anti-invariant submersions.

Here, horizontal distribution kerψ* is given as.

(4.1)kerψ*=ϕkerψ*μ,
with μ refers to orthogonal complementary distribution of ϕkerψ* at kerψ*, and it is invariant with respect to ϕ.

It is said that the anti-invariant ψ: MN allows vertical Reeb vector field in case Reeb vector field ξ is tangent to kerψ* and allows horizontal Reeb vector field in case Reeb vector field ξ is normal to kerψ*. Clearly, μ includes Reeb vector field ξ if ψ: MN allows horizontal Reeb vector field ξ.

Now, we begin to study anti-invariant submersions admitting vertical Reeb vector field from Lorentzian trans-Sasakian manifolds (M, ϕ, ζ, η, g) of type (α, β) using (nontrivial) example.

Example 4.2.

Suppose M is three-dimensional Euclidean space written as

M={(x,y,z)R3yz0}.
We consider the Lorentzian trans-Sasakian structure (ϕ, ζ, η, g) at M with α=12z20 and β=1z0 [23] given by the following:

ζ=z,η=dz,g=100010001
and ϕ is (1, 1) tensor field denoted as ϕ(E1) = − E2, ϕ(E2) = − E1, ϕ(E3) = 0.

An orthonormal ϕ-basis of this structure is written as

E1=zx+yz,E2=zy,E3=z.

Here, the map ψ:(M,ϕ,ξ,η,g)(R,g1) is introduced as:

ψ(x,y,z)=x+y2,
where g1 is Lorentzian metric on R. Therefore, Jacobian matrix of ψ is given as:
12120

Since the rank of this matrix equals 1, the map π is the submersion. Using some calculation leads to

kerψ*=spanU=E1+E22,V=E3,
and
kerψ*=spanW=E1+E22.

Immediate calculations show that ψ ensures the condition (S2). Thus, ψ is the Riemannian submersion. Moreover, we got ϕ(U) = W. Therefore, ψ is the anti-invariant submersion admitting vertical Reeb vector field.

Remark.

Throughout this research, as a total manifold of an anti-invariant submersion, let us consider a Lorentzian trans-Sasakian manifold (M, ϕ, ζ, η, g) of type (α, β) such that both α ≠ 0 and β ≠ 0.

Notion of Lagrangian submersion is considered the specific case from notion of anti-invariant submersion. We next recall the definition of the Lagrangian submersion from Lorentzian trans-Sasakian manifold onto a Riemannian manifold.

Definition 4.3.

([12]) Let ψ be the anti-invariant Riemannian submersion from the almost contact metric manifold (M, ϕ, ξ, η, g) on the Riemannian manifold (N, gN). In case μ = {0} or μ = span{ξ}, i.e. kerψ*=ϕ(kerψ*) or kerψ*=ϕ(kerψ*)<ξ>, in the same order, therefore ψ is called the Lagrangian submersion.

Let ψ is the anti-invariant submersion from the Lorentzian trans-Sasakian manifold (M, ϕ, ζ, η, g) on the Riemannian manifold (N, gN). For any X1kerψ*, we write

(4.2)ϕX1=BX1+CX1,
with BXΓ(kerπ*) and CXΓ(kerπ*).
Definition 4.4.

([7]) Suppose S is the revolution surface at R3 with rotation axis L. For all qS, where γ(q) represents the distance between q and L. Choosing the geodesic σ:URS on S, Suppose Θ(l) is an angle between σ(l) and the meridian curve through σ(l), l ∈ U. By the famous Clairaut’s theorem, we know that for all geodesics σ on S, the product γSinΘ is constant along σ, which means the independence of l.

Using geometrical analysis of Riemannian submersions, Bishop [7] described the idea of Clairaut submersion as follows.

Definition 4.5.

([7]) The Riemannian submersion ψ: MN is known as the Clairaut submersion in case there is positive function γ at M, that is, for all geodesics σ at M, the function (γ˚σ)SinΘ is constant, where, for all l, Θ(l) is an angle within σ^(l) and horizontal space σ(l).

Bishop also provided the necessary and sufficient condition for the Riemannian submersion turns into the Clairaut submersion as follows.

Theorem 4.6.

([7]) Let ψ: MN be the Riemannian submersion with connected fibers. Therefore ψ is the Clairaut submersion with γ = exp(ω) if and only if all fibers are totally umbilical and have the mean curvature vector field H=Dω, where Dω is gradient of the function ω with respect to g.

5. Anti-invariant submersions admitting horizontal Reeb vector field from Lorentzian trans-Sasakian manifolds

The anti-invariant submersions are studied in this part from trans-Sasakian manifolds conceding horizontal Reeb vector field. First, the modern necessary and sufficient condition for similar submersions turns into a Clairaut submersion, and then a few distinctive outcomes for this sort of submersions are shown.

We observe from Definition 4.5, the source of the knowledge of a Clairaut submersion comes from geodesic on its total space. As a result, the necessary and sufficient condition of the curve on total space explored remains geodesic.

Now, the following results are given:

Theorem 5.1.

Let ψ: (M, ϕ, ζ, η, g) → (N, gN) is the anti-invaraint Riemannian submersion from Lorentzian trans-Sasakian manifold of type (α, β) onto the Riemannian manifold allowing horizontal Reeb vector field. In case σ:URM is regular curve and V1(l) in addition to Z1(l) defines vertical and horizontal components of the tangent vector field σ^(l)=G of σ(l), in the same order, therefore σ is geodesic if and only if through σ the following equation

(5.1)VDσ^BZ1+AZ1ϕV1+TV1ϕV1+(TV1+AZ1)CZ1+αη(Z1)V1+βη(Z1)BZ1=0
(5.2)HDσ^CZ1+HDσ^ϕV1+(TV1+AZ1)BZ1+α[η(Z1)Z1+vζ]
+β[η(Z1)ϕ(V1)+η(Z1)CZ1]=0.
hold, where s is constant speed of σ.

Proof.In view of Eqn (2.4), we find

(5.3)(Dσ^ϕ)σ^=ϕDσ^σ^+α[g(σ^,σ^)ζη(σ^)σ^]+β[g(ϕσ^,σ^)ζη(σ^)ϕσ^]
Since σ^=V1+Z1, g(σ^,σ^)=s, and η(V1) = 0, we can note
(5.4)DV1+Z1ϕ(V1+Z1)=ϕDσ^σ^+α[vζη(V1)σ^η(Z1)σ^]β[η(Z1)(ϕV1+ϕZ1)].

Now, from a straight forward calculation, we find

(5.5)DV1ϕV1+DV1ϕZ1+DZ1ϕV1+DZ1ϕZ1=ϕDσ^σ^+α[vζη(Z1)V1η(Z1)Z1]
β[η(Z1)(ϕV1+ϕZ1)].

In fact η (V1) = 0. By using Eqns (3.3), (3.4), (3.5) and (3.6), we find

(5.6)H(Dσ^ϕV1+Dσ^CZ1)+(TV1+AZ1)(BZ1+CZ1)+VDσ^BZ1+AZ1ϕV1+TV1ϕV1
=ϕDσ^σ^+α[vζη(Z1)V1η(Z1)Z1]β[η(Z1)BZ1+CZ1+ϕV1].

Now capturing the vertical and horizontal components from Eqn (5.6), we find the following equations:

(5.7)VDσ^BZ1+AZ1ϕV1+TV1ϕV1+(TV1+AZ1)CZ1=VϕDσ^σ^αη(Z1)V1βη(Z1)BZ1
and
(5.8)HDσ^CZ1+HDσ^ϕV1+(TV1+AZ1)BZ1
=HϕDσ^σ^αvζαη(Z1)Z1βη(Z1)ϕV1βη(Z1)CZ1.

From equations (5.7) and (5.8), it is simply observed that σ is geodesic if and only if (5.1) and (5.2) hold. □

Using Theorem (5.1) in addition to Remark (1), the following corollaries are obtained.

Corollary 5.2.

Suppose ψ: (M, ϕ, ζ, η, g) → (N, gN) is the anti-invaraint Riemannian submersion from Lorentzian α-Sasakian manifold of type (α, 0) onto the Riemannian manifold allowing horizontal Reeb vector field. In case σ:URM is regular curve and V1(l) in addition to Z1(l) defines vertical and horizontal components of tangent vector field σ^(l)=G of σ(l), in the same order, therefore σ is geodesic if and only if through σ the following equations

(5.9) VDσ^BZ1+AZ1ϕV1+TV1ϕV1+(TV1+AZ1)CZ1+αη(Z1)V1=0
(5.10) HDσ^CZ1+HDσ^ϕV1+(TV1+AZ1)BZ1+α[η(Z1)Z1+vζ]=0.
maintain, where s is constant speed of σ.

Corollary 5.3.

Suppose ψ: (M, ϕ, ζ, η, g) → (N, gN) is the anti-invariant Riemannian submersion from Lorentzian β-Kenmotsu manifold of type (0, β) onto the Riemannian manifold admitting horizontal Reeb vector field. In case σ:URM is the regular curve and V1(l) in addition to Z1(l) defines vertical and horizontal components of tangent vector field σ^(l)=G of σ(l), in the same order, therefore σ is geodesic if and only if through σ the following equation

(5.11) VDσ^BZ1+AZ1ϕV1+TV1ϕV1+(TV1+AZ1)CZ1+βη(Z1)BZ1=0
(5.12) HDσ^CZ1+HDσ^ϕV1+(TV1+AZ1)BZ1+β[η(Z1)ϕ(V1)+η(Z1)CZ1]=0.
hold, where s is constant speed of σ.

Corollary 5.4.

Suppose ψ: (M, ϕ, ζ, η, g) → (N, gN) is an anti-invaraint Riemannian submersion from Lorentzian cosymplectic manifold of type (0, 0) onto the Riemannian manifold allowing horizontal Reeb vector field. If σ:URM is the regular curve and V1(l) in addition to Z1(l) defines vertical and horizontal components of the tangent vector field σ^(l)=G of σ(l), in the same order, therefore σ is geodesic if and only if through σ the following equation

(5.13) VDσ^BZ1+AZ1ϕV1+TV1ϕV1+(TV1+AZ1)CZ1=0
(5.14) HDσ^CZ1+HDσ^ϕV1+(TV1+AZ1)BZ1=0.
hold, where s is constant speed of σ.

Theorem 5.5.

Suppose ψ: (M, ϕ, ζ, η, g) → (N, gN) is the anti-invariant Riemannian submersion from Lorentzian trans-Sasakian manifold of type (α, β) onto the Riemannian manifold allowing horizontal Reeb vector field. Therefore ψ is Clairaut submersion with γ = exp(ω) if and only if through σ

(5.15) [g(Dω,Z1)βη(Z1)]V12=g(αη(Z1)Z1+HDσ^CZ1+(TV1+AZ1)BZ1,ϕV1)
holds, where V1(l) and Z1(l) are vertical and horizontal components of the tangent vector field σ^(l) of the geodesic σ(l) at M, in the same order.

Proof. Consider σ(l) as the geodesic having the speed s at M, therefore,

(5.16)s=σ^(l)2.

Now, from Eqn (5.16), we achieve that

(5.17)g(V1(l),V1(l))=vSin2Θ(l)andg(Z1(l),Z1(l))=vCos2Θ(l),
where Θ(l) is the angle within σ^(l) and horizontal space at σ(l). Now, by the derivative of first part of Eqn (5.17), we find
(5.18)ddlg(V1(l),V1(l))=2g(Dσ^(l)V1(l),V1(l))=2vSinΘCosΘdΘdl(l),

Using the Lorentzian trans-Sasakian structure, we find

(5.19)g(ϕDσ^(l)V1(l),ϕV1(l))=vSinΘCosΘdΘdl(l),

Once again, from Eqn (2.4), we have

(5.20)ϕDσ^V1=Dσ^ϕV1αg(α^,V1)ζβg(ϕσ^,V1)ζ.
Hence,
(5.21)g(ϕDσ^V1,ϕV1)=g(HϕDσ^V1,ϕV1),
since η(V) = 0, g(ϕV1, ζ) = 0 and using the fact that ϕV1 is horizontal.

Thus, from Eqn (5.19), we obtain

(5.22)g(HϕDσ^V1,ϕV1)=vSinΘCosΘdΘdl(l).

From Eqn (5.2), we find along σ,

(5.23)g(HDσ^CZ1+(TV1+AZ1)BZ1+αη(Z1)Z1+βη(Z1)ϕ(V1),ϕV1)=vSinΘCosΘdΘdl,
since g(ϕV1, ζ) = 0.

On contrary, ψ is Clairaut submersion with γ = exp(ω) if and only if

(5.24)ddl[exp(ω)SinΘ]=0exp(ω)dωdlSinΘ+CosΘdΘdl=0.

Now, taking the product of Eqn (5.24) with nonzero factor vSinΘ, we find

(5.25)dωdlvSin2Θ+vSinΘCosΘdΘdl=0.

Using equations (5.23) and (5.24), we obtain

(5.26)dωdl[σ(l)]V12=g(αη(Z1)Z1+HDσ^CZ1+(TV1+AZ1)BZ1,ϕV1)+βη(Z1)V12.

In fact dωdl[σ(l)]=σ^[ω]=g(Dω,σ^)=g(Dω,Z1), the expression (5.29) follows from (5.26). □

Now, the following corollaries are given:

Corollary 5.6.

Suppose ψ: (M, ϕ, ζ, η, g) → (N, gN) is the anti-invariant Riemannian submersion from Lorentzian α-Sasakian manifold of type (α, 0) onto the Riemannian manifold allowing horizontal Reeb vector field. Therefore ψ is Clairaut submersion with γ = exp(ω) if and only if through σ

(5.27) [g(Dω,Z1)]V12=g(αη(Z1)Z1+HDσ^CZ1+(TV1+AZ1)BZ1,ϕV1)
holds, where V1(l) and Z1(l) are vertical and horizontal components of the tangent vector field σ^(l) of the geodesic σ(l) at M, in the same order.

Corollary 5.7.

Suppose ψ: (M, ϕ, ζ, η, g) → (N, gN) is the anti-invariant Riemannian submersion from Lorentzian β-Kenmotsu manifold of type (0, β) onto the Riemannian manifold allowing horizontal Reeb vector field. Therefore ψ is Clairaut submersion with γ = exp(ω) if and only if through σ

(5.28) [g(Dω,Z1)βη(Z1)]V12=g(HDσ^CZ1+(TV1+AZ1)BZ1,ϕV1)
holds, where V1(l) and Z1(l) are vertical and horizontal components of tangent vector field σ^(l) of the geodesic σ(l) at M, in the same order.

Corollary 5.8.

Suppose ψ: (M, ϕ, ζ, η, g) → (N, gN) is the anti-invariant Riemannian submersion from Lorentzian cosymplectic manifold of type (α, β) onto the Riemannian manifold admitting horizontal Reeb vector field. Therefore ψ is Clairaut submersion with γ = exp(ω) if and only if along σ

(5.29) g(Dω,Z1)V12=g(HDσ^CZ1+(TV1+AZ1)BZ1,ϕV1)
holds, where V1(l) and Z1(l) are vertical and horizontal components of the tangent vector field σ^(l) of the geodesic σ(l) at M, in the same order.

Now, from Eqn (5.29), we also obtain the following conclusion.

Corollary 5.9.

Suppose ψ is the Clairaut anti-invariant submersion from Lorentzian trans-Sasakian manifold (M, ϕ, ζ, η, g) of type (α, β) on the Riemannian manifold (N, gN). Therefore,

(5.30)g(Dω,ζ)=β.

Proof. Since ζ is a horizontal Reeb vector field. Setting Z1 = ζ and using the fact dωdl[σ(l)]=σ^[ω]=g(Dω,σ^)=g(Dω,Z1), the expression (5.26) gives (5.30). □

Corollary 5.10.

Suppose ψ is the Clairaut anti-invariant submersion from Lorentzian α-Sasakian (or Lorentzian Sasakian) manifold (M, ϕ, ζ, η, g) of type (α, 0) onto the Riemannian manifold (N, gN). Therefore,

(5.31) g(Dω,ζ)=0.

Proof. Since for Lorentzian α-Sasakian (or Lorentzian Sasakian) β = 0, and using similar fact as we have used in proof of Corollary 5.9 together, we find the desired result. □

Theorem 5.11.

Suppose ψ: (M, ϕ, ζ, η, g) → (N, gN) is a Clairaut anti-invariant submersion from Lorentzian trans-Sasakian manifold of type (α, β) onto a Riemannian manifold admitting horizontal Reeb vector field with γ = exp(ω). Then we have

(5.32) AϕV1ϕG1=G1(ω)V1
for G1 ∈ Γ(μ) and V1 ∈ (kerψ*) such that ϕV1 is basic vector.

Proof. Suppose ψ is the Clairaut anti-invariant submersion allowing horizontal Reeb vector field from a Lorentzian trans-Sasakian manifold onto a Riemannian manifold with γ = exp(ω). Now, by consequences of Theorem (4.6), we find

(5.33) TU1G1=g(U1,G1)Dω
for U1, G1 ∈ (kerψ*). If we spread Eqn (5.33) with ϕV1, V1 ∈ (kerψ*) such that ϕV1 is basic and using Eqn (3.3), we find

(5.34)g(DU1G1,ϕV1)=g(U1,G1)g(Dω,ϕV1).
(5.35)g(DU1ϕV1,G1)=g(U1,G1)g(Dω,ϕV1).
In fact g(G1, ϕV1) = 0. Through Eqn (2.4), we infer
(5.36)g(ϕDU1V1,G1)=g(U1,G1)g(Dω,ϕV1).

Adopting the Lorentzian trans-Sasakian structure, we notice

(5.37)g(DU1V1,ϕG1)=g(U1,G1)g(Dω,ϕV1).

Once again, adopting (3.3), we turn up

(5.38)g(TU1V1,ϕG1)=g(U1,G1)g(Dω,ϕV1).

Henceforth, through Eqn (5.33), we attain

(5.39)g(U1,V1)g(Dω,ϕG1)=g(U1,G1)g(Dω,ϕV1).
Putting U1 = V1 and shifting U1 with by G1 in Eqn (5.39), we acquire
(5.40)G12g(Dω,ϕG1)=g(U1,G1)g(Dω,ϕV1).
Adopting Eqn (5.39) with setting V1 = U1, we have
(5.41)g(Dω,ϕG1)=g2(U1,G1)U12G12g(Dω,ϕV1).

On the contrary, involving Eqn (2.4), we turn up

(5.42)g(DG1ϕV1,ϕW1)=g(ϕDG1,ϕW1).
for W1 ∈ Γ(μ) and W1ζ. Using Eqn (2.5), we get
(5.43)g(DG1ϕV1,ϕW1)=g(DG1,W1).

Adopting equations (3.3) and (5.33), we get

(5.44)g(DG1ϕV1,ϕW1)=g(V1,ϕG1)g(Dω,W1).
After all ϕV1 is basic vector and using the case that HDG1ϕV1=AϕV1G1, we turn up
(5.45)g(DG1ϕV1,ϕW1)=g(AϕG1V1,ϕW1).

Involving again, Eqns (5.44), (5.45) and the skew-symmetric nature of A, we turn up

(5.46)g(Dω,W1)g(V1,ϕG1)=g(AϕG1V1,ϕW1).
By reason of AϕV1ϕW1, G1 and V1 are vertical and ω is horizontal, we turn up expression (5.32).

Particularly if Dωϕ(kerψ*), then from (5.41) in proof of Theorem 5.11 and the equality case of Schwarz inequality, we have have that□

Corollary 5.12.

Suppose ψ: (M, ϕ, ζ, η, g) → (N, gN) is the Clairaut Lagrangian submersion allowing horizontal Reeb vector field from Lorentzian trans-Sasakian manifold of type (α, β) onto a Riemannian manifold with γ = exp(ω). If Dωϕ(kerψ*), then either ω is constant on ϕ(kerψ*) or fiber of ψ is one-dimensional.

6. Clairaut Lagrangian submersions

This section deals with some results of Clairaut Lagrangian submersions conceding with horizontal Reeb vector field. Moreover, when the function ω is constant, Dω=0. Thus by Theorem 4.6 and Corollary 5.12, we have the following results.

Corollary 6.1.

Suppose ψ: (M, ϕ, ζ, η, g) → (N, gN) is a Clairaut anti-invariant submersion allowing horizontal Reeb vector field from Lorentzian trans-Sasakian manifold of type (α, β) on the Riemannian manifold with γ = exp(ω) and dim(kerψ*) > 1, then fibers of ψ are totally geodesic if and only if

AϕV1ϕZ1=0
for V1 ∈ (kerψ*), ϕV1 is basic and Z1 ∈ μ.

Moreover, in case the submersion ψ at Theorem (5.11) is Lagrangian submersion, therefore AϕV1ϕZ1 is always vanish, because μ=0 or μ=spanζ. Also from Corollaries 5.9 and 5.10, we have Dωϕ(kerψ*). Hence, the following consequences of Theorem (5.11) and Corollary 5.12 are given.

Theorem 6.2.

Suppose ψ: (M, ϕ, ζ, η, g) → (N, gN) is the Clairaut Lagrangian submersion allowing horizontal Reeb vector field from Lorentzian trans-Sasakian manifold of type (α, β) onto a Riemannian manifold with γ = exp(ω). Therefore, fibers of ψ can be one-dimensional or totally geodesic.

Corollary 6.3.

Suppose ψ: (M, ϕ, ζ, η, g) → (N, gN) is the Clairaut Lagrangian submersion admitting horizontal Reeb vector field from Lorentzian α-Sasakian manifold of type (α, 0) onto a Riemannian manifold with γ = exp(ω). Therefore fibers of ψ can be one-dimensional or totally geodesic.

Corollary 6.4.

Suppose ψ: (M, ϕ, ζ, η, g) → (N, gN) is the Clairaut Lagrangian submersion allowing horizontal Reeb vector field from Lorentzian β-Kenmotsu manifold of type (0, β) onto a Riemannian manifold with γ = exp(ω). Therefore fibers of ψ can be one-dimensional or totally geodesic.

Corollary 6.5.

Suppose ψ: (M, ϕ, ζ, η, g) → (N, gN) is the Clairaut Lagrangian submersion allowing horizontal Reeb vector field from Lorentzian cosymplectic manifold of type (α, β) onto a Riemannian manifold with γ = exp(ω). Therefore either fibers of ψ can be one-dimensional or totally geodesic.

7. Applications

The following result is Theorem 2 stated by Gauchman in [28].

Theorem 7.1.

Suppose ψ; (M, g) → (N, gN) is the Clairaut submersion with γ, where M is complete, connected and simply connected, and N is simply connected. Assume that any vertical leaf of ψ has no nontrivial Killing vector field. Suppose p is the point of M. Therefore M is isometric to the warped product N ×fB, where B is the vertical leaf through p and f:NR is determined using this equation γ = f˚ψ.

In [23] De and Srakar prove that trans-Sasakian structures are complete and connected. Indeed, Riemannian manifold also preserved the characteristic of simple connectedness. Therefore, the following results are obtained.

Theorem 7.2.

ψ: (M, ϕ, ζ, η, g, α, β) → (N, gN) is a Clairaut Lagrangian submersion with γ, where (M, ϕ, ζ, η, g) is complete, connected, and simply connected Lorentzian trans-Sasakian manifold, and Riemannian manifold (N, gN) is simply connected. Assume that any vertical leaf of ψ has no nontrivial Killing vector field. Let p be a point of (M, ϕ, ζ, η, g). Then Lorentzian trans-Sasakian manifold of (α, β) type is isometric to a warped product N ×fB, where B is the vertical leaf through p and f:NR is defined by the equation γ = f˚ψ.

Remark.

For particular values of α and β easily we can turn up the similar results like Theorem (7.2) for α-Lorentzian Sasakian manifold (Lorentzian Sasakian manifold), β-Lorentzian Kenmotsu manifold (Lorentzian Kenmotsu manifold), and Lorentzian cosymplectic manifold.

Now, we describe some examples of Clairaut submersion from Lorentzian trans-Sasakian manifolds (M, ϕ, ξ, η, g) of type (α, β).

Example 7.3.

Suppose M is three-dimensional Euclidean space written as

M={(x,y,z)R3yz0}.

We consider the Lorentzian trans-Sasakian structure (ϕ, ξ, η, g, α, β) at M with α = 0 and β = 1 [23] given by the following:

ζ=z,η=dz,g=100010001
and ϕ is the (1, 1) tensor field determined as
  • ϕ(E1) = − E2, ϕ(E2) = − E1, ϕ(E3) = 0. An orthonormal ϕ-basis of this constructor is written

as
E1=zx,E2=zy,E3=zz.

Here, the map ψ:(M,ϕ,ξ,η,g,α,β)(R,g1) is written as:

ψ(x,y,z)=x+y2,z,

where g1 is the usual metric at R. Now, by a straightforward computation, we turn up

kerψ*=spanU=E1+E22,
and
kerψ*=spanV=E1+E22,W=E3.
Easily, we observe that ψ is the Riemannian submersion. Moreover, we have ϕ(U) = V. Therefore, ψ is the anti-invariant submersion allowing horizontal Reeb vector field. Particularly, ψ is Lagrangian submersion. Furthermore, after all the fibers of ψ are one-dimensional, then they are simply totally umbilical. At this point, it is proved that fibers are not considered totally geodesic, and it is found that the function of R3 obeying TU1U1=Dω. Therefore, after some sort of calculation, we turn up
(7.1)DU1U1=12(DE1E1DE1E2DE2E1DE2E2).

Adopting the Lorentzian trans-Sasakian structure results in

DE1E1=DE2E2=E3andDE1E2=DE2E1=0
DU1U1=zz

Using (3.5), we turn up

TU1U1=zz.

For any function ω of (R3,ϕ,ζ,η,g), the gradient of ω with respect to the metric g is

Dω=i,j3ωxixj=ωxx+ωyyωzz.
Here, at this point, it is clear to observe that ω=z22 for the function of z and TU1U1=Dω=ζ. Also for any U2 ∈ (kerψ*), we have
TU2U2=U22Dω.

Henceforth, using Theorem (5.26), the submersion ψ is Clairaut submersion.

Example 7.4.

Suppose M is three-dimensional Euclidean space written as

M={(x,y,z)R3yz0}.

We consider the Lorentzian trans-Sasakian structure (ϕ, ξ, η, g, α, β) at M with α = − 1 and β = 0 given by the following:

ζ=z,η=dz,g=100010001
and ϕ is (1, 1) tensor field determined as
  • ϕ(E1) = − E1, ϕ(E2) = − E2, ϕ(E3) = 0. An orthonormal ϕ-basis is written as

E1=ex+zx,E2=ey+zy,E3=z.

Moreover, we have

DEiE3=Ei,i=1,2,DEiEi=2E3,i=1,2DEiEj=0,ijandi=j=3.

Here, the map ψ:(M,ϕ,ζ,η,g,α,β)(R,g1) is defined by the following:

ψ(x,y,z)=x+y2,z,
where g1 is usual metric at R. Now, by a straightforward computation, we turn up
kerψ*=spanU=E1+E22,
and
kerψ*=spanV=E1+E22,W=E3.

Easily, we observe that ψ is the Riemannian submersion. Moreover, we have ϕ(U) = V. Therefore, ψ is the anti-invariant submersion admitting horizontal Reeb vector field. Particularly, ψ is Lagrangian submersion. Furthermore, after all the fibers of ψ are one-dimensional, then they are simply totally umbilical. At this point, it is proved that fibers are not totally geodesic, and it is found that the function of R3 obeying TU1U1=Dω. Therefore, after some sort of calculation, we turn up

(7.2) DU1U1=12(DE1E1DE1E2DE2E1DE2E2).

Adopting the Lorentzian trans-Sasakian structure, we observe that

DU1U1=2z

Using (3.5), we turn up

TU1U1=2z.
For all functions ω at (R3,ϕ,ξ,η,g), the gradient of ω with respect to the metric g is
Dω=i,j3ωxixj=ωxx+ωyyωzz.
Now, at this point, it is clear to observe that ω = − 2z for the function of z and TU1U1=Dω=2ξ. Also for any U2 ∈ (kerψ*), we have
TU2U2=U22Dω.

Henceforth, by Theorem (5.26), the submersion ψ is Clairaut submersion.

References

1.Nash JN. The imbedding problem for Riemannian manifolds. Ann Math. 1956; 63(2): 20-63.

2.Falcitelli M, Ianus S, Pastore AM Riemannian submersions and related topics, River Edge, New Jerssey, NJ: World Scientific, 2004.

3.S˙ahin B. Riemannian Submersions, Riemannian Maps in Hermitian Geometry, and their Applications. Elsiever, 2017.

4.O'Neill B. The fundamental equations of a submersion. Mich Math J. 1966; 13: 458-69.

5.Gray A. Pseudo-Riemannian almost product manifolds and submersion. J Math Mech. 1967; 16: 715-37.

6.Watson B. Almost Hermitian submersions. J Differ Geom. 1976; 11(1): 147-65.

7.Bishop RL, Clairaut submersions, Differential Geometry, Tokyo: Kinokuniya. 1972: 1689-703, 21-31.

8.S˙ahin B. Anti-invariant Riemannian submersions from almost Hermitian manifolds. Cent Eur J Math. 2010; 8(3): 437-47.

9.Lee J, Park JH, S˙ahin B and Song DY. Einstein conditions for the base of anti-invariant Riemannian submerion and Clairaut submersion. Taiwanese J Math; 19(4). 2015: 1145-60.

10.Taştan HM. On Lagrangian submersions. Hacettepe J Math Stat. 2014; 43(6): 993-1000.

11.Gündüzalp Y. Clairaut anti-invaraiant submersions from almost product Riemannnian manifolds. Beitr Algebra Geom. 2020; 61: 605-14.

12.Taştan HM. Lagrangian submersions from normal almost contact manifolds. Filomat. 2017; 31(12): 3885-95.

13.Taştan HM, Gerdan S. Clairaut anti-invariant submersions from Sasakian and Kenmotsu manifolds. Mediterr J Math. 2017; 14: 235.

14.Gündüzalp Y. Anti-invariant Pseudo-Riemannian submersions and Clairaut anti-invaraiant submersions from Paracosymplectic manifolds. Mediterr J Math. 2019; 16: 94.

15.Siddiqi MD, Akyol MA. Anti-invariant ξ-Riemannian submersions from hyperbolic β-Kenmotsu manifolds. Cubo (Temuco). 2018; 20(1): 79-94.

16.Siddiqi MD, Akyol MA. Anti-invariant ξ-Riemannian submersions from almost hyperbolic contact manifolds. Int Elec J Geom. 2019; 12(1): 32-42.

17.Siddiqi MD. Submersions of contact CR-submanifolds of generalized quasi-Sasakian manifolds. J Dynamical Syst Geometric theories. 2020; 18(1): 81-95.

18.Taştan HM, Siddiqi MD. Anti-invariant and Lagrangian submersions from trans-Sasakian manifolds. Balkan J Geom App. 2020; 25(2) : 106-23.

19.Akyol MA, S˙ahin B. Conformal anti-invariant submersions from almost Hermitian manifolds. Turk J Math Stat. 2016; 40(1), 43-70.

20.Akyol MA, Sari R, Aksoy, E. Semi-invariant ξ-Riemannian submersion from almost contact metric manifolds. Int J Geom Meth Mode Phys. 2017; 14(5), 1750074.

21.Akyol MA. Conformal anti-invariant submersions from cosymplectic manifolds. Hacettepe J Math Stat. 2017; 46(2): 177-92.

22.Allison D. Lorentzian Clairaut submersions. Geom Dedicata. 1996; 63(3): 309-19.

23.De UC and De K. On Lorentzian trans-Sasakian manifolds. Commun Fac Sci Univ Ank Ser A1. 2013; 62(2): 1303-5991.

24.Blair DE Contact manifolds in Riemannian geometry, Lecture Notes in math, Berlin-New York, NY: Springer Verlag. 1976: 509.

25.Oubina JA. New classes of almost contact metric structures. Pub. Math. Debrecen. 1980; 32: 187-93.

26.Blair DE, Oubina JA. Conformal and related changes of metric on the product of two almost contact metric manifolds. Publications Matematiques Debrecen. 1990; 34: 199-207.

27.Yano K and Kon M Structures on manifolds, Singapore: World Scientific, 1984.

28.Gauchman H. On a decomposition of Riemannian manifolds, Houston J Math. 1981; 7(3): 365-372.

Further reading

29.Eells J, Sampson JH. Harmonic mapping of Riemannian manifolds. Amer J Math. 1964; 86: 109-60.

30.Taştan HM, Gerdan S. Clairaut anti-invariant submersions from Cosymplectic manifolds. Honam Math J. 2019; 41(4): 707-24.

31.Vilms J Totally geodesic maps, J Differ Geom. 1970; 4: 73-9.

Acknowledgements

The authors are grateful to the referee for the valuable suggestions and comments toward the improvement of the paper.

Corresponding author

Mohd Danish Siddiqi can be contacted at: msiddiqi@jazanu.edu.sa

Related articles