Riemannian Submersions

## **Chapter 8** Clairaut Submersion

*Sanjay Kumar Singh and Punam Gupta*

#### **Abstract**

In this chapter, we give the detailed study about the Clairaut submersion. The fundamental notations are given. Clairaut submersion is one of the most interesting topics in differential geometry. Depending on the condition on distribution of submersion, we have different classes of submersion such as anti-invariant, semiinvariant submersions etc. We describe the geometric properties of Clairaut antiinvariant submersions and Clairaut semi-invariant submersions whose total space is a Kähler, nearly Kähler manifold. We give condition for Clairaut anti-invariant submersion to be a totally geodesic map and also study Clairaut anti-invariant submersions with totally umbilical fibers. We also give the conditions for the semi-invariant submersions to be Clairaut map and also for Clairaut semi-invariant submersion to be a totally geodesic map. We also give some illustrative example of Clairaut anti-invariant and semi-invariant submersion.

**Keywords:** Riemannian submersion, nearly Kähler manifolds, Kähler manifolds, anti-invariant submersion, semi-invariant submersion, clairaut submersion, totally geodesic maps

#### **1. Introduction**

Riemannian submersion between two Riemannian manifolds was first introduced by O'Neill [1] and Gray [2]. After that Watson [3] introduced almost Hermitian submersions. Later, the notion of anti-invariant submersions and Lagrangian submersion from almost Hermitian manifolds onto Riemannian manifolds were introduced by Sahin [4] and studied by Taştan [5, 6], Gündüzalp [7], Beri et al. [8], Ali and Fatima [9], in which the fibers of submersion are antiinvariant with respect to the almost complex structure of total manifold. After that several new types of Riemannian submersions were defined and studied such as semi-invariant submersion [10, 11], slant submersion [12, 13], generic submersion [14–17], hemi-slant submersion [18], semi-slant submersion [19], pointwise slant submersion [20–22] and conformal semi-slant submersion [23]. Also, these kinds of submersions were considered in different kinds of structures such as nearly Kähler, Kähler, almost product, para-contact, Sasakian, Kenmotsu, cosymplectic and etc. In book [24], we find the recent developments in this field.

In 1735, A.C. Clairaut [25] obtained the very important result in the theory of surfaces, which is Clairaut's theorem and stated that for any geodesic *α* on a surface of revolution *S*, the function *r*sin *θ* is constant along *α*, where *r* is the distant from a point on the surface to the rotation axis and *θ* is the angle between *α* and the meridian through *α*. Bishop [26] introduced the idea of Riemannian submersions and gave a necessary and sufficient conditions for a Riemannian submersion to be Clairaut. Allison [27] considered Clairaut semi-Riemannian

submersions and showed that such submersions have interesting applications in the static space-times.

In [28], Tastan and Gerdan gave new Clairaut conditions for anti-invariant submersions whose total manifolds are Sasakian and Kenmotsu and got many interesting results. In [29], Tastan and Aydin studied Clairaut anti-invariant submersions whose total manifolds are cosymplectic. Gündüzalp [30] introduced Clairaut antiinvariant submersions from a paracosymplectic manifold and gave characterization theorems. In [31], Lee et al. studied Clairaut anti-invariant submersions whose total manifolds are Kähler.

Kähler manifolds [32, 33] have an especially rich geometric and topological structure because of Kähler identity. Kähler manifolds are very important in differential geometry, which has applications in several different fields such as supersymmetric gauge theory and superstring theory in theoretical physics, signal processing in information geometry. The simplest example of Kähler manifold is a complex Euclidean space ℂ*<sup>n</sup>* with the standard Hermitian metric.

Nearly Kähler manifolds introduced by Gray and Hervella [32], are the geometrically interesting class among the sixteen classes of almost Hermitian manifolds. The geometrical meaning of nearly Kähler condition is that the geodesics on the manifolds are holomorphically planar curves. Gray [2] studied nearly Kähler manifolds broadly and gave example of a non-Kählerian nearly Kähler manifold, which is 6-dimensional sphere.

Motivated by this, the authors [34] studied Clairaut anti-invariant submersions from nearly Kähler manifolds onto Riemannian manifolds with some examples and obtained conditions for Clairaut Riemannian submersion to be totally geodesic map. The authors investigated conditions for the Clairaut anti-invariant submersions to be a totally umbilical map. The authors [34] studied Clairaut semi-invariant submersions from Kähler manifolds onto Riemannian manifolds with some examples. The authors also obtained conditions for Clairaut semi-invariant Riemannian submersion to be totally geodesic map and investigated conditions for the semi-invariant submersion to be a Clairaut map.

#### **2. Almost complex manifold**

An almost complex structure on a smooth manifold *M* is a smooth tensor field *φ* of type 1, 1 ð Þ such that *<sup>φ</sup>*<sup>2</sup> ¼ �*I*. A smooth manifold equipped with such an almost complex structure is called an almost complex manifold. An almost complex manifold ð Þ *M*, *φ* endowed with a chosen Riemannian metric *g* satisfying

$$\mathbf{g}\left(\rho \mathbf{X}, \rho \mathbf{y}\mathbf{Y}\right) = \mathbf{g}\left(\mathbf{X}, \mathbf{Y}\right) \tag{1}$$

for all *X*, *Y* ∈*TM*, is called an almost Hermitian manifold. An almost Hermitian manifold *M* is called a nearly Kähler manifold [2] if

$$(\nabla\_X \varrho)Y + (\nabla\_Y \varrho)X = \mathbf{0} \tag{2}$$

for all *X*, *Y* ∈ *TM*. If ð Þ ∇*Xφ Y* ¼ 0 for all *X*, *Y* ∈ *TM*, then *M* is known as Kähler manifold [33]. Every Kähler manifold is nearly Kähler but converse need not be true.

#### **3. Riemannian submersion**

Definition 1.1 [1, 35] Let *M*, *gm* and *<sup>N</sup>*, *gn* be Riemannian manifolds, where dimð Þ¼ *M m*, dimð Þ¼ *N n* and *m* >*n*. A Riemannian submersion *π* : *M* ! *N* is a map of *M* onto *N* satisfying the following axioms:

i. *π* has maximal rank.

ii. The differential *π* <sup>∗</sup> preserves the lengths of horizontal vectors.

For each *<sup>q</sup>*<sup>∈</sup> *<sup>N</sup>*, *<sup>π</sup>*�1ð Þ*<sup>q</sup>* is an ð Þ *<sup>m</sup>* � *<sup>n</sup>* -dimensional Riemannian submanifold of *<sup>M</sup>*. The submanifolds *<sup>π</sup>*�1ð Þ*<sup>q</sup>* , *<sup>q</sup>*<sup>∈</sup> *<sup>N</sup>*, are called fibers. A vector field on *<sup>M</sup>* is called vertical if it is always tangent to fibers. A vector field on *M* is called horizontal if it is always orthogonal to fibers. A vector field *X* on *M* is called basic if *X* is horizontal and *π*-related to a vector field *X*<sup>0</sup> on *N*, that is, *π* <sup>∗</sup>*Xp* ¼ *X*<sup>0</sup> *<sup>π</sup>* <sup>∗</sup> ð Þ *<sup>p</sup>* for all *p*∈ *M:* We denote the projection morphisms on the distributions ker*<sup>π</sup>* <sup>∗</sup> and ker ð Þ *<sup>π</sup>* <sup>∗</sup> <sup>⊥</sup> by <sup>V</sup> and H, respectively. The sections of V and H are called the vertical vector fields and horizontal vector fields, respectively. So

$$\mathcal{V}\_p = T\_p\left(\pi^{-1}(q)\right), \qquad \mathcal{H}\_p = T\_p\left(\pi^{-1}(q)\right)^\perp.$$

The second fundamental tensors of all fibers *<sup>π</sup>*�<sup>1</sup>ð Þ*<sup>q</sup>* , *<sup>q</sup>*<sup>∈</sup> *<sup>N</sup>* gives rise to tensor field *T* and *A* in *M* defined by O'Neill [1] for arbitrary vector field *E* and *F*, which is

$$T\_E F = \mathcal{H} \nabla^M\_{\mathcal{V}E} \mathcal{V} F + \mathcal{V} \nabla^M\_{\mathcal{V}E} \mathcal{H} F,\tag{3}$$

$$A\_E F = \mathcal{H} \nabla^{M}\_{\mathcal{H}E} \mathcal{V} F + \mathcal{V} \nabla^{M}\_{\mathcal{H}E} \mathcal{H} F,\tag{4}$$

where V and H are the vertical and horizontal projections.

To discuss geodesics, we need a linear connection. We denote the Levi-Civita connection on *M* by ∇^ and the adapted connection of the submersion by ∇. From Eqs. (3) and (4), we have

$$
\nabla\_V \mathbf{W} = T\_V \mathbf{W} + \hat{\nabla}\_V \mathbf{W},\tag{5}
$$

$$
\nabla\_V X = \mathcal{H}\nabla\_V X + T\_V X,\tag{6}
$$

$$
\nabla\_X V = A\_X V + \mathcal{V} \nabla\_X V,\tag{7}
$$

$$
\nabla\_X Y = \mathcal{H}\nabla\_X Y + A\_X Y,\tag{8}
$$

for all *<sup>V</sup>*,*<sup>W</sup>* <sup>∈</sup>Γð Þ ker*<sup>π</sup>* <sup>∗</sup> and *<sup>X</sup>*, *<sup>Y</sup>* <sup>∈</sup>Γð Þ ker*<sup>π</sup>* <sup>∗</sup> <sup>⊥</sup>, where <sup>V</sup>∇*VW* <sup>¼</sup> <sup>∇</sup>^*VW:* If *<sup>X</sup>* is basic, then *AXV* ¼ H∇*VX:*

It is easily seen that for *p*∈ *M*, *U* ∈V*<sup>p</sup>* and *X* ∈ H*<sup>p</sup>* the linear operators

$$T\_U, A\_X: T\_P M \to T\_P M$$

are skew-symmetric, that is,

$$\mathbf{g}(A\_X \mathbf{E}, F) = -\mathbf{g}(\mathbf{E}, A\_X \mathbf{F}) \text{ and} \\ \mathbf{g}(T\_U \mathbf{E}, F) = -\mathbf{g}(\mathbf{E}, T\_U F), \tag{9}$$

for all *E*, *F* ∈ *TpM:* We also see that the restriction of *T* to the vertical distribution *T*j ker*<sup>π</sup>* <sup>∗</sup> �ker*<sup>π</sup>* <sup>∗</sup> is exactly the second fundamental form of the fibers of *<sup>π</sup>*. Since *TU* is skew-symmetric, therefore *π* has totally geodesic fibers if and only if *T* � 0.

Let *π* : *M*, *gm* ! *<sup>N</sup>*, *gn* be a smooth map between Riemannian manifolds. Then the differential *π* <sup>∗</sup> of *π* can be observed as a section of the bundle *Hom TM*, *<sup>π</sup>*�<sup>1</sup> ð Þ! *TN <sup>M</sup>*, where *<sup>π</sup>*�<sup>1</sup>*TN* is the bundle which has fibers *<sup>π</sup>*�<sup>1</sup> ð Þ *TN <sup>x</sup>* <sup>¼</sup> *<sup>T</sup> f x*ð Þ*N*. *Hom TM*, *<sup>π</sup>*�<sup>1</sup> ð Þ *TN* has a connection <sup>∇</sup> induced from the Riemannian connection ∇*<sup>M</sup>* and the pullback connection ∇*<sup>N</sup>* [36, 37]. Then the second fundamental form of *π* is given by

$$\pi\_\*(\nabla \pi\_\*)(E, F) = \nabla\_E^N \pi\_\* F - \pi\_\* \left(\nabla\_E^M F\right), \quad \text{for all } E, F \in \Gamma(TM). \tag{10}$$

We also know that *π* is said to be totally geodesic map [36] if ð Þ ∇*π* <sup>∗</sup> ð Þ¼ *E*, *F* 0, for all *E*, *F* ∈ Γð Þ *TM* .

#### **4. Clairaut submersion from Riemannian manifold**

Let *S* be a revolution surface in <sup>3</sup> with rotation axis *L*. For any *p*∈*S*, we denote by *r p*ð Þ the distance from *p* to *L*. Given a geodesic *α* : *J* ⊂ ! *S* on *S*, let *θ*ð Þ*t* be the angle between *α*ð Þ*t* and the meridian curve through *α*ð Þ*t* , *t*∈*I*. A well-known Clairaut's theorem [25] named after Alexis Claude de Clairaut, says that for any geodesic on *S*, the product *r*sin *θ* is constant along *α*, i.e., it is independent of *t*. For proof, see [38, p.183]. In the theory of Riemannian submersions, Bishop [26] introduced the notion of Clairaut submersion in the following way:

Definition 1.2 [26] A Riemannian submersion *π* : ð Þ! *M*, *g N*, *gn* is called a Clairaut submersion if there exists a positive function *r* on *M*, which is known as the girth of the submersion, such that, for any geodesic *α* on *M*, the function ð Þ *r*∘ *α* sin *θ* is constant, where, for any *t*, *θ*ð Þ*t* is the angle between *α*\_ð Þ*t* and the horizontal space at *α*ð Þ*t* .

For further use, we are stating one important result of Bishop.

Theorem 1.1 [26] A curve *<sup>h</sup>* in *<sup>M</sup>* is a geodesic if and only if *<sup>X</sup>*\_ <sup>þ</sup> <sup>2</sup>*AXU* <sup>þ</sup> *TUU* <sup>¼</sup> <sup>0</sup> and <sup>∇</sup>*EU* <sup>þ</sup> *TUX* <sup>¼</sup> 0, where \_ *h t*ðÞ¼ *E* ¼ *X* þ *U*, *X* is horizontal and *U* is vertical. Bishop also gave the following necessary and sufficient condition for a

Riemannian submersion to be a Clairaut submersion, which is

Theorem 1.2 [26] Let *π* : ð Þ! *M*, *g N*, *gn* be a Riemannian submersion with connected fibers. Then, *<sup>π</sup>* is a Clairaut submersion with *<sup>r</sup>* <sup>¼</sup> *<sup>e</sup><sup>f</sup>* if and only if each fiber is totally umbilical and has the mean curvature vector field *H* ¼ �*gradf*, where *gradf* is the gradient of the function *f* with respect to *g*.

**Proof:** Let *π* : *M* ! *N* be a Riemannian submersion. For a geodesic *h* in *M*, we use \_ *h s*ðÞ¼ *<sup>E</sup>* <sup>¼</sup> *<sup>X</sup>* <sup>þ</sup> *<sup>U</sup>*, where *<sup>X</sup>* is horizontal and *<sup>U</sup>* is vertical. and <sup>ℓ</sup> <sup>¼</sup> \_ *h s*ð Þ 2 . Let *<sup>θ</sup>*ð Þ*<sup>s</sup>* be the angle between \_ *h s*ð Þ and the horizontal space at *h s*ð Þ. Then

$$\mathbf{g}(X(\mathfrak{s}), X(\mathfrak{s})) = \mathfrak{e}\cos^2\theta(\mathfrak{s}),\tag{11}$$

$$\mathbf{g}\left(U(\mathbf{s}), U(\mathbf{s})\right) = \ell \sin^2 \theta(\mathbf{s}). \tag{12}$$

Differentiating (12), we get

$$\log\left(\nabla\_{h(\boldsymbol{s})}U(\boldsymbol{s}), U(\boldsymbol{s})\right) = \ell \sin\theta(\boldsymbol{s})\cos\theta(\boldsymbol{s})\frac{d\theta(\boldsymbol{s})}{ds}.\tag{13}$$

Using Theorem 1.1, (13) becomes

$$-\mathbf{g}\left(T\_{U(\mathbf{s})}X(\mathbf{s}), U(\mathbf{s})\right) = \ell \sin\theta(\mathbf{s}) \cos\theta(\mathbf{s}) \frac{d\theta(\mathbf{s})}{d\mathbf{s}}.\tag{14}$$

Since *TU* is skew-symmetric, so form above equation, we have

$$\log\left(T\_{U(\varepsilon)}U(\mathfrak{s}), X(\mathfrak{s})\right) = \ell' \sin\theta(\mathfrak{s}) \cos\theta(\mathfrak{s}) \frac{d\theta(\mathfrak{s})}{d\mathfrak{s}}.\tag{15}$$

Now, *<sup>π</sup>* is a Clairaut submersion with *<sup>r</sup>* <sup>¼</sup> *<sup>e</sup><sup>f</sup>* if and only if *<sup>d</sup> ds <sup>e</sup> <sup>f</sup>* <sup>∘</sup> *hsin<sup>θ</sup>* <sup>¼</sup> <sup>0</sup>*:* Using (12, 15) in *<sup>d</sup> ds <sup>e</sup> <sup>f</sup>* <sup>∘</sup> *hsin<sup>θ</sup>* <sup>¼</sup> 0, we have

$$\frac{d}{ds}(U(s), U(s))\frac{d}{ds}(f \circ h)(s) + \mathbf{g}\left(T\_{U(s)}U(s), X(s)\right) = \mathbf{0},\tag{16}$$

$$\mathbf{g}\left(U(\mathfrak{s}), U(\mathfrak{s})\right)\mathbf{g}\left(\mathbf{grad}\,\mathfrak{f}, E(\mathfrak{s})\right) + \mathbf{g}\left(T\_{U(\mathfrak{s})}U(\mathfrak{s}), X(\mathfrak{s})\right) = \mathbf{0}.\tag{17}$$

Consider any geodesic *h* on *M* with initial vertical tangent vector, so *gradf* turns out to be horizontal. Therefore, the function *f* is constant on any fiber, the fibers being connected. Therefore (17) reduces to

$$\mathbf{g}\left(U(\mathfrak{s}), U(\mathfrak{s})\right)\mathbf{g}\left(\mathbf{grad}f, X(\mathfrak{s})\right) + \mathbf{g}\left(T\_{U(\mathfrak{s})}U(\mathfrak{s}), X(\mathfrak{s})\right) = \mathbf{0},\tag{18}$$

$$\lg(U(s), U(s)) \text{grad}f + T\_{U(s)}U(s) = 0. \tag{19}$$

Setting *U* ¼ *U*<sup>1</sup> þ *U*2, where *U*1, *U*<sup>2</sup> are vertical vector fields and using the fact that *T* is symmetric for vertical vector fields, we obtain

$$\lg(U\_1, U\_2) \text{grad}f + T\_{U\_1} U\_2 = \mathbf{0} \tag{20}$$

holds for all vertical vector fields *U*1, *U*2*:*.

Since the restriction of *T* to the vertical distribution *T*j ker*<sup>π</sup>* <sup>∗</sup> �ker*<sup>π</sup>* <sup>∗</sup> is exactly the second fundamental form of the fibers of *π:* It means that any fiber is totally umbilical with mean curvature vector field *H* ¼ �*gradf:*

Conversely, suppose the fibers are totally umbilic with normal curvature vector field *H* ¼ �*gradf* so that we have

$$\text{sg}(U, U)H + T\_U U = \mathbf{0}.\tag{21}$$

Since *gradf* is orthogonal to fibers, so

$$\mathbf{g}(U,U)\mathbf{g}(\operatorname{grad}\mathbf{f},E)=-\mathbf{g}(U,U)\mathbf{g}(H,X)=-\mathbf{g}(T\_UU,X).\tag{22}$$

Since (18) holds. so ð Þ *r*∘ *h sinθ* is constant along any geodesic *h*.

Example 1.1 [24] Consider the warped product manifold *M*1�*fM*<sup>2</sup> of Riemannian manifolds *M*1, *g*<sup>1</sup> and *<sup>M</sup>*2, *<sup>g</sup>*<sup>2</sup> , where *<sup>f</sup>* : *<sup>M</sup>*<sup>1</sup> ! ð Þ 0, <sup>∞</sup> . The fibers of the first projection *p*<sup>1</sup> : *M*1�*fM*<sup>2</sup> ! *M*<sup>1</sup> are totally umbilical with mean curvature vector field *<sup>H</sup>* ¼ �*grad logf* <sup>1</sup>*=*<sup>2</sup> . Thus, if *<sup>M</sup>*<sup>2</sup> is connected, *<sup>p</sup>*<sup>1</sup> is a Clairaut submersion with *<sup>r</sup>* <sup>¼</sup> *<sup>f</sup>* 1*=*2 .

#### **5. Anti-invariant Riemannian submersion**

Definition 1.3 [39] Let ð Þ *M*, *φ*, *g* be an almost Hermitian manifold and *N* be a Riemannian manifold with Riemannian metric *gn*. Suppose that there exists a Riemannian submersion *π* : *M* ! *N*, such that the vertical distribution ker*π* <sup>∗</sup> is anti-invariant with respect to *φ*, i.e., *φ*ker*π* <sup>∗</sup> ⊆ker*π*<sup>⊥</sup> <sup>∗</sup> . Then, the Riemannian submersion *π* is called an anti-invariant Riemannian submersion. We will briefly call such submersions as anti-invariant submersions.

Let *π* be an anti-invariant Riemannian submersion from nearly Kähler manifold *M*, *φ*, *gm* onto Riemannian manifold *<sup>N</sup>*, *gn* . For any arbitrary tangent vector fields *U* and *V* on *M*, we set

$$(\nabla\_U \rho)V = P\_U V + Q\_U V \tag{23}$$

where *PUV*, *QUV* denote the horizontal and vertical part of ð Þ ∇*Uφ V*, respectively. Clearly, if *M* is a Kähler manifold then *P* ¼ *Q* ¼ 0.

If *M* is a nearly Kähler manifold then *P* and *Q* satisfy

$$P\_U V = -P\_V U, \qquad Q\_U V = -Q\_V U. \tag{24}$$

Consider

$$(\ker \pi\_\*)^\perp = \varrho \ker \pi\_\* \oplus \mu,$$

where *<sup>μ</sup>* is the complementary distribution to *<sup>φ</sup>*ker*<sup>π</sup>* <sup>∗</sup> in ð Þ *ker<sup>π</sup>* <sup>∗</sup> <sup>⊥</sup> and *φμ*⊂*μ*. For *<sup>X</sup>* <sup>∈</sup>Γð Þ *ker<sup>π</sup>* <sup>∗</sup> <sup>⊥</sup>, we have

$$
\rho \mathbf{X} = a \mathbf{X} + \beta \mathbf{X}, \tag{25}
$$

where *αX* ∈Γð Þ ker*π* <sup>∗</sup> and *βX* ∈Γð Þ *μ* . If *μ* ¼ 0, then an anti-invariant submersion is known as Lagrangian submersion.

#### **5.1 Anti-invariant Clairaut submersions from nearly Kähler manifolds**

In this section, we give new Clairaut conditions for anti-invariant submersions from nearly Kähler manifolds after giving some auxiliary results.

Theorem 1.3 [34] Let *π* be an anti-invariant submersion from a nearly Kähler manifold ð Þ *M*, *φ*, *g* onto a Riemannian manifold *N*, *gn* . If *<sup>h</sup>* : *<sup>J</sup>* <sup>⊂</sup> ! *<sup>M</sup>* is a regular curve and *U s*ð Þ and *X s*ð Þ are the vertical and horizontal parts of the tangent vector field \_ *h s*ðÞ¼ *W* of *h s*ð Þ, respectively, then *h* is a geodesic if and only if along *h*

$$A\_X \rho U + A\_X \rho \mathbf{X} + T\_U \rho \mathbf{X} + \mathcal{V} \nabla\_X a \mathbf{X} + T\_U \rho U + \hat{\nabla}\_U a \mathbf{X} = \mathbf{0},\tag{26}$$

$$\mathcal{H} \left( \nabla\_{\dot{h}} \rho \mathbf{U} + \nabla\_{\dot{h}} \beta \mathbf{X} \right) + A\_X a \mathbf{X} + T\_U a \mathbf{X} = \mathbf{0}. \tag{27}$$

**Proof:** Let *π* be an anti-invariant submersion from a nearly Kähler manifold ð Þ *M*, *φ*, *g* onto a Riemannian manifold *N*, *gn* . Since *φ*<sup>2</sup> \_ *<sup>h</sup>* ¼ �\_ *h*. Taking the covariant derivative of this and using (2), we have

$$
\rho \left( \nabla\_{\dot{h}} \rho \right) \rho \dot{h} + \rho \left( \nabla\_{\dot{h}} \rho \dot{h} \right) = -\nabla\_{\dot{h}} \dot{h}.\tag{28}
$$

Since *U s*ð Þ and *X s*ð Þ are the vertical and horizontal parts of the tangent vector field \_ *h s*ðÞ¼ *<sup>W</sup>* of *h s*ð Þ, that is, \_ *h* ¼ *U* þ *X*. So (28) becomes

$$\begin{split}-\nabla\_{\dot{h}}\dot{h} &= \varrho(\nabla\_{U+X}\varrho(U+X)) + P\_{\dot{h}}\varrho\dot{h} + Q\_{\dot{h}}\varrho\dot{h} \\ &= \varrho(\nabla\_{U}\varrho U + \nabla\_{X}\varrho U + \nabla\_{U}\varrho X + \nabla\_{X}\varrho X) + P\_{\dot{h}}\varrho\dot{h} + Q\_{\dot{h}}\varrho\dot{h} \\ &= \varrho(\nabla\_{U}\varrho U + \nabla\_{X}\varrho U + \nabla\_{U}(aX + \beta X) + \nabla\_{X}(aX + \beta X)) \\ &+ P\_{\dot{h}}\varrho\dot{h} + Q\_{\dot{h}}\varrho\dot{h}.\end{split} \tag{29}$$

Using (5)–(8) in (29), we get

$$\begin{split} -\nabla\_{\dot{h}} \dot{h} &= \rho \left( \mathcal{H} \{ \nabla\_{\dot{h}} \rho \mathbf{U} + \nabla\_{\dot{h}} \beta \mathbf{X} \} + A\_X a \mathbf{X} + A\_X \beta \mathbf{X} + A\_X \rho \mathbf{U} \\ &+ T\_U \beta \mathbf{X} + T\_U a \mathbf{X} + \mathcal{V} \nabla\_X a \mathbf{X} + T\_U \rho \mathbf{U} + \hat{\nabla}\_U a \mathbf{X} \right) + P\_h \rho \dot{h} + Q\_h \rho \dot{h}. \end{split} \tag{30}$$

Let *<sup>Y</sup>*, *<sup>Z</sup>* <sup>∈</sup>*TM*. Since *<sup>φ</sup>*2*<sup>Z</sup>* ¼ �*Z*, on differentiation, we have

$$
\begin{aligned}
\varrho(\nabla\_Y \varrho \mathbf{Z}) + (\nabla\_Y \varrho) \varrho \mathbf{Z} &= -\nabla\_Y \mathbf{Z}, \\
\varrho^2(\nabla\_Y \mathbf{Z}) + \varrho(\nabla\_Y \varrho) \mathbf{Z} + (\nabla\_Y \varrho) \varrho \mathbf{Z} &= -\nabla\_Y \mathbf{Z},
\end{aligned}
$$

using (23) in above, we obtain

$$
\rho(P\_Y Z + Q\_Y Z) = -P\_Y \rho Z - Q\_Y \rho Z. \tag{31}
$$

By (31), we have

$$
\rho \left( P\_{\dot{h}} \rho \dot{h} + Q\_{\dot{h}} \rho \dot{h} \right) = P\_{\dot{h}} \dot{h} + Q\_{\dot{h}} \dot{h},
$$

since *P* and *Q* are skew-symmetric, so

$$
\rho \left( P\_{\dot{h}} \rho \dot{h} + Q\_{\dot{h}} \rho \dot{h} \right) = 0. \tag{32}
$$

Using (32) and equating the vertical and horizontal part of (30), we obtain

$$\mathcal{V}\boldsymbol{\rho}\nabla\_{\dot{h}}\dot{\boldsymbol{h}} = A\_X\boldsymbol{\rho}\boldsymbol{U} + A\_X\boldsymbol{\beta}\mathbf{X} + T\_U\boldsymbol{\beta}\mathbf{X} + \mathcal{V}\nabla\_X\boldsymbol{a}\mathbf{X} + T\_U\boldsymbol{\rho}\boldsymbol{U} + \hat{\nabla}\_U\boldsymbol{a}\mathbf{X},$$

$$\mathcal{H}\boldsymbol{\rho}\nabla\_{\dot{h}}\dot{\boldsymbol{h}} = \mathcal{H}\left(\nabla\_{\dot{h}}\boldsymbol{\rho}\boldsymbol{U} + \nabla\_{\dot{h}}\boldsymbol{\beta}\mathbf{X}\right) + A\_X\boldsymbol{a}\mathbf{X} + T\_U\boldsymbol{a}\mathbf{X}.$$

By using above equations, we can say that *h* is geodesic if and only if (26, 27) hold.

Theorem 1.4 [34] Let *π* be an anti-invariant submersion from a nearly Kähler manifold ð Þ *M*, *φ*, *g* onto a Riemannian manifold *N*, *gn* . Also, let *<sup>h</sup>* : *<sup>J</sup>* <sup>⊂</sup> ! *<sup>M</sup>* be a regular curve and *U s*ð Þ and *X s*ð Þ are the vertical and horizontal parts of the tangent vector field \_ *h s*ðÞ¼ *<sup>W</sup>* of *h s*ð Þ. Then *<sup>π</sup>* is a Clairaut submersion with *<sup>r</sup>* <sup>¼</sup> *<sup>e</sup><sup>f</sup>* if and only if along *h*

$$\mathbf{g}\,(\operatorname{grad}\mathbf{f},\mathbf{X})\mathbf{g}\,(\mathbf{U},\mathbf{U}) = \mathbf{g}\left(\mathcal{H}\nabla\_{h}\beta\mathbf{X} + A\_{X}a\mathbf{X} + T\_{U}a\mathbf{X} + P\_{h(\boldsymbol{\varepsilon})}\mathbf{U},\boldsymbol{\varrho}\mathbf{U}\right).$$

**Proof:** Let *<sup>h</sup>* : *<sup>J</sup>* <sup>⊂</sup> ! *<sup>M</sup>* be a geodesic on *<sup>M</sup>* and <sup>ℓ</sup> <sup>¼</sup> \_ *h s*ð Þ 2 . Let *θ*ð Þ*s* be the angle between \_ *h s*ð Þ and the horizontal space at *h s*ð Þ. Then

$$\mathbf{g}(X(\mathfrak{s}), X(\mathfrak{s})) = \ell \cos^2 \theta(\mathfrak{s}),\tag{33}$$

$$g(U(\mathfrak{s}), U(\mathfrak{s})) = \mathfrak{e}' \sin^2 \theta(\mathfrak{s}).\tag{34}$$

Differentiating (34), we get

$$2\lg\left(\nabla\_{\dot{h}(s)}U(s), U(s)\right) = 2\ell\sin\theta(s)\cos\theta(s)\frac{d\theta(s)}{ds}.\tag{35}$$

Using (1) in (35), we have

$$\operatorname{g}\left(\mathcal{H}\nabla\_{\dot{h}(\boldsymbol{\varsigma})}\rho U(\boldsymbol{\varsigma}),\rho U(\boldsymbol{\varsigma})\right) - \operatorname{g}\left(\left(\nabla\_{\dot{h}(\boldsymbol{\varsigma})}\rho\right)U(\boldsymbol{\varsigma}),\rho U(\boldsymbol{\varsigma})\right) = \boldsymbol{\ell}\,\sin\theta(\boldsymbol{\varsigma})\cos\theta(\boldsymbol{\varsigma})\frac{d\theta(\boldsymbol{\varsigma})}{d\boldsymbol{s}}.$$

Now by use of (23), we have

$$\operatorname{g}\left(\mathcal{H}\nabla\_{\dot{h}(\boldsymbol{s})}\rho\boldsymbol{U}(\boldsymbol{s}),\rho\boldsymbol{U}(\boldsymbol{s})\right) - \operatorname{g}\left(P\_{\dot{h}(\boldsymbol{s})}\boldsymbol{U} + Q\_{\dot{h}(\boldsymbol{s})}\boldsymbol{U},\rho\boldsymbol{U}(\boldsymbol{s})\right) = \boldsymbol{\ell}\,\sin\theta(\boldsymbol{s})\cos\theta(\boldsymbol{s})\frac{d\theta(\boldsymbol{s})}{d\boldsymbol{s}}.$$

Along the curve *h*, using Theorem 1.3, we obtain

$$-\mathbf{g}\left(\mathcal{H}\nabla\_{\dot{h}}\theta \mathbf{X} + A\_X a \mathbf{X} + T\_U a \mathbf{X} + P\_{\dot{h}(s)} U, \rho U(s)\right) = t' \sin\theta(s) \cos\theta(s) \frac{d\theta(s)}{ds}.$$

Now, *<sup>π</sup>* is a Clairaut submersion with *<sup>r</sup>* <sup>¼</sup> *<sup>e</sup><sup>f</sup>* if and only if *<sup>d</sup> ds <sup>e</sup><sup>f</sup>* sin *<sup>θ</sup>* <sup>¼</sup> 0. Therefore

$$e^{f} \left(\frac{df}{ds}\sin\theta + \cos\theta\frac{d\theta}{ds}\right) = 0,$$

$$e^{f} \left(\frac{df}{ds}\ell\sin^{2}\theta + \ell\sin\theta\cos\theta\frac{d\theta}{ds}\right) = 0.$$

So, we obtain

$$\frac{d\mathcal{f}}{ds}(h(s))\mathbf{g}(U(s),U(s)) = \mathbf{g}\left(\mathcal{H}\nabla\_{\dot{h}}\beta\mathbf{X} + A\_X a\mathbf{X} + T\_U a\mathbf{X} + P\_{\dot{h}(s)}U, \rho U(s)\right). \tag{36}$$

Since *df ds* ð Þ¼ *h s*ð Þ *g gradf*, \_ *h s*ð Þ <sup>¼</sup> *g gradf* ð Þ , *<sup>X</sup>* . Therefore by using (36), we get the result.

Theorem 1.5 [34] Let *π* be an Clairaut anti-invariant submersion from a nearly Kähler manifold ð Þ *M*, *φ*, *g* onto a Riemannian manifold *N*, *gn* with *<sup>r</sup>* <sup>¼</sup> *<sup>e</sup><sup>f</sup>* . Then

$$A\_{\rho W}\rho X + Q\_W \rho X = X(f)W$$

for *<sup>X</sup>* <sup>∈</sup> ð Þ ker*<sup>π</sup>* <sup>∗</sup> <sup>⊥</sup>, *<sup>W</sup>* <sup>∈</sup>ker*<sup>π</sup>* <sup>∗</sup> and *<sup>φ</sup><sup>W</sup>* is basic.

**Proof:** Let *π* be an anti-invariant submersion from a nearly Kähler manifold ð Þ *M*, *φ*, *g* onto a Riemannian manifold *N*, *gn* with *<sup>r</sup>* <sup>¼</sup> *<sup>e</sup><sup>f</sup>* . We know that any fiber of Riemannian submersion *π* is totally umbilical if and only if

$$T\_V W = \mathbf{g}(V, W)H,\tag{37}$$

for all *V*,*W* ∈Γð Þ ker*π* <sup>∗</sup> , where *H* denotes the mean curvature vector field of any fiber in *M*. By using Theorem 1.2 and (37), we have

$$T\_V W = -\mathbf{g}(V, W)\text{grad}f.\tag{38}$$

Let *X* ∈*μ* and *V*, *W* ∈Γð Þ ker*π* <sup>∗</sup> , then by using (1) and (2), we have

$$\mathbf{g}\left(\nabla\_V \boldsymbol{\varrho} \boldsymbol{W}, \boldsymbol{\varrho} \mathbf{X}\right) = \mathbf{g}\left(\boldsymbol{\varrho} \nabla\_V \mathbf{W} + (\nabla\_V \boldsymbol{\varrho}) \mathbf{W}, \boldsymbol{\varrho} \mathbf{X}\right) = \mathbf{g}\left(\nabla\_V \mathbf{W}, \mathbf{X}\right) + \mathbf{g}\left(\mathbf{P}\_V \mathbf{W} + \mathbf{Q}\_V \mathbf{W}, \boldsymbol{\varrho} \mathbf{X}\right). \tag{39}$$

By using (1), we have

$$\mathbf{g}(\varrho Y, Z) = -\mathbf{g}(Y, \varrho Z),$$

where *Y*, *Z* ∈*TM*. Taking covariant derivative of above, we get

*Clairaut Submersion DOI: http://dx.doi.org/10.5772/intechopen.101427*

$$\mathbf{g}((\nabla\_X \boldsymbol{\varrho})Y, Z) = -\mathbf{g}(Y, (\nabla\_X \boldsymbol{\varrho})Z),$$

using (23), we get

$$\begin{split} \mathbf{g} \, (\mathbf{P}\_X \mathbf{Y} + \mathbf{Q}\_X \mathbf{Y}, \mathbf{Z}) &= -\mathbf{g} (\mathbf{Y}, \mathbf{P}\_X \mathbf{Z} + \mathbf{Q}\_X \mathbf{Z}) \\ &= \mathbf{g} (\mathbf{Y}, \mathbf{P}\_{\mathbf{Z}} \mathbf{X} + \mathbf{Q}\_{\mathbf{Z}} \mathbf{X}). \end{split} \tag{40}$$

Using (40), we have

$$\mathbf{g}\left(P\_W\boldsymbol{\varrho}\mathbf{X}+Q\_W\boldsymbol{\varrho}\mathbf{X},\mathbf{V}\right)=\mathbf{g}\left(\boldsymbol{\varrho}\mathbf{X},P\_V\mathbf{W}+Q\_V\mathbf{W}\right).\tag{41}$$

Using (5), (38), (41) in (39), we have

$$\operatorname{g}(\nabla\_V \varphi W, \varphi X) = -\operatorname{g}(V, W)(\operatorname{grad} f, X) + \operatorname{g}(V, Q\_W \varphi X).$$

Since *φW* is basic, so H∇*VφW* ¼ *AφWV*, therefore we have

$$\mathbf{g}\left(A\_{\varphi W}V, \varphi X\right) = -\mathbf{g}\left(V, W\right)(gradf, X) + \mathbf{g}\left(V, Q\_W \rho X\right),$$

$$\mathbf{g}\left(V, A\_{\varphi W}\rho X\right) + \mathbf{g}\left(V, Q\_W \rho X\right) = \mathbf{g}\left(V, W\right)(gradf, X) \tag{42}$$

because *A* is skew-symmetric. By using (42), we get the result.

Theorem 1.6 [34] Let *π* be a Clairaut anti-invariant submersion from a nearly Kähler manifold ð Þ *M*, *φ*, *g* onto a Riemannian manifold *N*, *gn* with *<sup>r</sup>* <sup>¼</sup> *<sup>e</sup><sup>f</sup>* and *gradf* ∈*φ*ker*π* <sup>∗</sup> . Then either *f* is constant on *φ*ker*π* <sup>∗</sup> or the fibers of *π* are 1-dimensional.

**Proof:** Using (5) and (38), we have

$$\mathbf{g}(\nabla\_V \mathbf{W}, \boldsymbol{\varrho} \boldsymbol{U}) = -\mathbf{g}(\boldsymbol{V}, \boldsymbol{W})\mathbf{g}(\boldsymbol{\varrho} \text{grad}\boldsymbol{\mathfrak{f}}, \boldsymbol{\varrho} \boldsymbol{U}),$$

where *U*,*V*,*W* ∈ Γð Þ ker*π* <sup>∗</sup> . Since *g W*ð Þ¼ , *φU* 0. therefore we have

$$\mathbf{g}\left(\mathcal{W}, \nabla\_{\mathcal{V}} \boldsymbol{\varrho} \boldsymbol{U}\right) = \mathbf{g}\left(\mathcal{V}, \mathcal{W}\right) \mathbf{g}\left(\mathbf{grad}\,\boldsymbol{f}, \boldsymbol{\varrho} \boldsymbol{U}\right). \tag{43}$$

By use of (1) and (23) in (43), we get

$$\mathbf{g}(\mathcal{W}, \mathcal{Q}\_V U) - \mathbf{g}(\rho \mathcal{W}, \nabla\_V U) = \mathbf{g}(V, \mathcal{W})\mathbf{g}(\operatorname{grad}\mathbf{f}, \rho U).$$

By using (5), we obtain

$$\mathbf{g}(\mathbf{W}, \mathbf{Q}\_V \mathbf{U}) - \mathbf{g}(\rho \mathbf{W}, T\_V \mathbf{U}) = \mathbf{g}(\mathbf{V}, \mathbf{W})\mathbf{g}(\mathbf{grad}\mathbf{f}, \rho \mathbf{U}).$$

Now, using (38), we get

$$\mathbf{g}\left(\mathbf{W}, \mathbf{Q}\_V \mathbf{U}\right) + \mathbf{g}\left(\mathbf{V}, \mathbf{U}\right)\mathbf{g}\left(\mathbf{grad}\,\mathbf{f}, \boldsymbol{\varrho}\mathbf{W}\right) = \mathbf{g}\left(\mathbf{V}, \mathbf{W}\right)\mathbf{g}\left(\mathbf{grad}\,\mathbf{f}, \boldsymbol{\varrho}\mathbf{U}\right) \tag{44}$$

Take *V* ¼ *U* in (44), we have

$$\mathbf{g}(V, V)\mathbf{g}(\operatorname{grad}\mathbf{f}, \operatorname{\rho}W) = \mathbf{g}(V, W)\mathbf{g}(\operatorname{grad}\mathbf{f}, \operatorname{\rho}V). \tag{45}$$

Interchange *V* with *W* in (45), we have

$$\mathbf{g}(\mathcal{W}, \mathcal{W})\mathbf{g}(\operatorname{grad}\mathbf{f}, \boldsymbol{\varrho}\boldsymbol{V}) = \mathbf{g}(\boldsymbol{V}, \mathcal{W})\mathbf{g}(\operatorname{grad}\mathbf{f}, \boldsymbol{\varrho}\boldsymbol{W}).\tag{46}$$

By (45) and (46), we have

$$\lg^2(V, W)\lg(\text{grad}\,\text{f}, \,\text{qV}) = \lg(V, V)\lg(W, W)\lg(\text{grad}\,\text{f}, \,\text{qV})\,\text{-}$$

Therefore either *f* is constant on *φ*ker*π* <sup>∗</sup> or *V* ¼ *aW*, where *a* is constant (by using Schwarz's Inequality for equality case).

Corollary 1.1 [34] Let *π* be a Clairaut anti-invariant submersion from a nearly Kähler manifold ð Þ *M*, *φ*, *g* onto a Riemannian manifold *N*, *gn* � � with *<sup>r</sup>* <sup>¼</sup> *<sup>e</sup><sup>f</sup>* and *gradf* ∈*φ*ker*π* <sup>∗</sup> . If dim ker ð Þ *π* <sup>∗</sup> >1, then the fibers of *π* are totally geodesic if and only if *A<sup>φ</sup>WφX* þ *QWφX* ¼ 0 for *W* ∈ker*π* <sup>∗</sup> such that *φW* is basic and *X* ∈*μ*.

**Proof:** By Theorem 1.5 and Theorem 1.6, we get the result.

Corollary 1.2 [34] Let *π* be an Clairaut Lagrangian submersion from a nearly Kähler manifold ð Þ *M*, *φ*, *g* onto a Riemannian manifold *N*, *gn* � � with *<sup>r</sup>* <sup>¼</sup> *<sup>e</sup><sup>f</sup>* . Then either the fibers of *π* are 1-dimensional or they are totally geodesic.

**Proof:** Let *π* be an Clairaut Lagrangian submersion from a Kähler manifold ð Þ *M*, *φ*, *g* onto a Riemannian manifold *N*, *gn* � � with *<sup>r</sup>* <sup>¼</sup> *<sup>e</sup><sup>f</sup>* . Then *<sup>μ</sup>* <sup>¼</sup> f g<sup>0</sup> , so *AφWφX* þ *QWφX* ¼ 0 always.

Now, we discuss some examples for Clairaut anti-invariant submersions from a nearly Kähler manifold.

Example 1.2 [34] Let 4, *φ*, *g* � � be a nearly Kähler manifold endowed with Euclidean metric *g* on <sup>4</sup> given by

$$\mathbf{g} = \sum\_{i=1}^{4} d\mathbf{x}\_i^2$$

and canonical complex structure

$$\rho(\mathfrak{x}\_j) = \begin{cases} -\mathfrak{x}\_{j+1} & j=1,3\\ \mathfrak{x}\_{j-1} & j=2,4 \end{cases}$$

The *<sup>φ</sup>*-basis is *ei* <sup>¼</sup> *<sup>∂</sup> ∂xi* <sup>j</sup>*<sup>i</sup>* <sup>¼</sup> 1, 2, 3, 4 n o. Let <sup>3</sup> , *g*1 � � be a Riemannian manifold endowed with metric *<sup>g</sup>*<sup>1</sup> <sup>¼</sup> <sup>P</sup><sup>3</sup> *<sup>i</sup>*¼<sup>1</sup>*dy*<sup>2</sup> *i* .

i. Consider a map *<sup>π</sup>* : 4, *<sup>φ</sup>*, *<sup>g</sup>* � � ! <sup>3</sup> , *g*1 � � defined by

$$
\pi(\mathbf{x}\_1, \mathbf{x}\_2, \mathbf{x}\_3, \mathbf{x}\_4) = \left(\frac{\mathbf{x}\_1 + \mathbf{x}\_2}{\sqrt{2}}, \mathbf{x}\_3, \mathbf{x}\_4\right).
$$

Then by direct calculations, we have

$$\begin{aligned} \ker \pi\_\* &= \operatorname{span} \left\{ X\_1 = \left( \frac{\partial}{\partial \mathbf{x}\_1} - \frac{\partial}{\partial \mathbf{x}\_2} \right) \right\}, \\\\ (\ker \pi\_\*)^\perp &= \operatorname{span} \left\{ X\_2 = \left( \frac{\partial}{\partial \mathbf{x}\_1} + \frac{\partial}{\partial \mathbf{x}\_2} \right), X\_3 = \frac{\partial}{\partial \mathbf{x}\_3}, X\_4 = \frac{\partial}{\partial \mathbf{x}\_4} \right\}. \end{aligned}$$

and *<sup>φ</sup>X*<sup>1</sup> ¼ �*X*2, therefore *<sup>φ</sup>*ð Þ ker*<sup>π</sup>* <sup>∗</sup> <sup>⊂</sup>ð Þ ker*<sup>π</sup>* <sup>∗</sup> <sup>⊥</sup>. Thus, we can say that *<sup>π</sup>* is an anti-invariant Riemannian submersion. Since the fibers of *π* are 1-dimensional, therefore fibers are totally umbilical.

Consider the Koszul formula for Levi-Civita connection ∇ for <sup>4</sup>

2*g*ð Þ¼ ∇*XY*, *Z Xg Y*ð Þþ , *Z Yg Z*ð Þ� ,*X Zg X*ð Þ� , *Y g Y*ð Þ� ½ � , *Z* , *X g X*ð Þþ ½ � , *Z* , *Y g X*ð Þ ½ � , *Y* , *Z*

for all *X*, *Y*, *Z* ∈ 4. By simple calculations, we obtain

$$
\nabla\_{e\_i} e\_j = \mathbf{0} \quad \text{for all } i, j = 1, 2, 3, 4.
$$

Hence *TXY* ¼ *TYX* ¼ *TXX* ¼ 0 for all *X*, *Y* ∈Γð Þ ker*π* <sup>∗</sup> . Therefore fibers of *π* are totally geodesic. Thus *π* is Clairaut trivially.

ii. Consider a map *<sup>π</sup>* : 4, *<sup>φ</sup>*, *<sup>g</sup>* � � ! <sup>3</sup> , *g*1 � � defined by

$$
\pi(\mathfrak{x}\_1, \mathfrak{x}\_2, \mathfrak{x}\_3, \mathfrak{x}\_4) = \left(\sqrt{\mathfrak{x}\_1^2 + \mathfrak{x}\_2^2}, \mathfrak{x}\_3, \mathfrak{x}\_4\right).
$$

Then by direct calculations, we have

$$\begin{aligned} \ker \pi\_\* &= \operatorname{span} \left\{ X\_1 = \left( \frac{\varkappa\_2}{\sqrt{\varkappa\_1^2 + \varkappa\_2^2}} \frac{\partial}{\partial \textbf{x}\_1} - \frac{\varkappa\_1}{\sqrt{\varkappa\_1^2 + \varkappa\_2^2}} \frac{\partial}{\partial \textbf{x}\_2} \right) \right\}, \\\ (\ker \pi\_\*)^\perp &= \operatorname{span} \left\{ X\_2 = \left( \frac{\varkappa\_2}{\sqrt{\varkappa\_1^2 + \varkappa\_2^2}} \frac{\partial}{\partial \textbf{x}\_1} + \frac{\varkappa\_1}{\sqrt{\varkappa\_1^2 + \varkappa\_2^2}} \frac{\partial}{\partial \textbf{x}\_2} \right), X\_3 = \frac{\partial}{\partial \textbf{x}\_3}, X\_4 = \frac{\partial}{\partial \textbf{x}\_4} \right\}. \end{aligned}$$

and *<sup>φ</sup>X*<sup>1</sup> ¼ �*X*2, therefore *<sup>φ</sup>*ð Þ ker*<sup>π</sup>* <sup>∗</sup> <sup>⊂</sup>ð Þ ker*<sup>π</sup>* <sup>∗</sup> <sup>⊥</sup>. Thus, we can say that *<sup>π</sup>* is an anti-invariant Riemannian submersion. Since the fibers of *π* are 1-dimensional, therefore fibers are totally umbilical. By using Koszul formula, we obtain

$$
\nabla\_{e\_i} e\_j = \mathbf{0} \quad \text{for all } i, j = \mathbf{1}, 2, 3, 4.
$$

Hence

$$T\_{X\_1}X\_1 = -\left(\frac{\varkappa\_2}{\sqrt{\varkappa\_1^2 + \varkappa\_2^2}}\frac{\partial}{\partial \varkappa\_1} + \frac{\varkappa\_1}{\sqrt{\varkappa\_1^2 + \varkappa\_2^2}}\frac{\partial}{\partial \varkappa\_2}\right).$$

*:*

Now, for the function *<sup>f</sup>* <sup>¼</sup> ln ffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi *x*2 <sup>1</sup> þ *x*<sup>2</sup> 2 � � <sup>p</sup> on 4, *<sup>φ</sup>*, *<sup>g</sup>* � �, the gradient of *<sup>f</sup>* with respect to *g* is given by

$$\text{grad}\mathbf{f} = \sum\_{i,j=1}^{4} \mathbf{g}^{ij} \frac{\partial \mathbf{f}}{\partial \mathbf{x}\_i} \frac{\partial}{\partial \mathbf{x}\_j} = \frac{\mathbf{x}\_2}{\sqrt{\mathbf{x}\_1^2 + \mathbf{x}\_2^2}} \frac{\partial}{\partial \mathbf{x}\_1} + \frac{\mathbf{x}\_1}{\sqrt{\mathbf{x}\_1^2 + \mathbf{x}\_2^2}} \frac{\partial}{\partial \mathbf{x}\_2}.$$

Therefore for *X*<sup>1</sup> ∈ Γð Þ ker*π* <sup>∗</sup> , *TX*1*X*<sup>1</sup> ¼ �*gradf*. Since k k *X*<sup>1</sup> ¼ 1, so *TX*1*X*<sup>1</sup> ¼ �k k *X*<sup>1</sup> 2 *gradf*. By using Theorem 1.2, we can say that *π* is an proper Clairaut anti-invariant submersion with *<sup>r</sup>* <sup>¼</sup> *<sup>e</sup><sup>f</sup>* for *<sup>f</sup>* <sup>¼</sup> ln ffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi *x*2 <sup>1</sup> þ *x*<sup>2</sup> 2 � � <sup>p</sup> .

**Remark:** From all results of this section, we can easily find conditions for anti-invariant Clairaut Submersions from Kähler manifolds.

#### **6. Semi-invariant Riemannian submersion**

Definition 1.4 Let ð Þ *M*, *φ*, *g* be an almost Hermitian manifold and *N* be a Riemannian manifold with Riemannian metric *gn*. A Riemannian submersion *π* : *M* ! *N* is called a semi-invariant Riemannian submersion [11] if there is a distribution D<sup>1</sup> ⊆ker*π* <sup>∗</sup> such that

$$\text{ker}\pi\_\* = \mathcal{D}\_1 \oplus \mathcal{D}\_2 \text{ and } \;\rho(\mathcal{D}\_1) = \mathcal{D}\_1, \quad \rho(\mathcal{D}\_2) \subseteq (\text{ker}\pi\_\*)^\perp,$$

where D<sup>2</sup> is orthogonal complementary to D<sup>1</sup> in ker*π* <sup>∗</sup> . For *V* ∈Γð Þ *kerπ* <sup>∗</sup> , we have

$$
\phi V = \phi V + aV,\tag{47}
$$

where *ϕV* ∈Γð Þ D<sup>1</sup> and *ωV* ∈Γð Þ *φ*D<sup>2</sup> .

Definition 1.5 A semi-invariant Riemannian submersion *π* is said to be a Lagrangian Riemannian submersion [4] if *<sup>φ</sup>*ð Þ¼ ker*<sup>π</sup>* <sup>∗</sup> ð Þ ker*<sup>π</sup>* <sup>∗</sup> <sup>⊥</sup>. Hence, if *<sup>π</sup>* is a Lagrangian Riemannian submersion then for any *V* ∈Γð Þ *kerπ* <sup>∗</sup> , *φV* ¼ *ωV*, *ϕV* ¼ 0 and for *<sup>X</sup>* <sup>∈</sup>Γð Þ *ker<sup>π</sup>* <sup>∗</sup> <sup>⊥</sup>, *<sup>φ</sup><sup>X</sup>* <sup>¼</sup> *<sup>α</sup>X*, *<sup>β</sup><sup>X</sup>* <sup>¼</sup> 0.

#### **6.1 Semi-invariant Clairaut submersions from Kähler manifolds**

In this section, we give new Clairaut conditions for semi-invariant submersions from Kähler manifolds after giving some auxiliary results.

Theorem 1.7 [40] Let *π* be a semi-invariant submersion from a Kähler manifold ð Þ *M*, *φ*, *g* onto a Riemannian manifold *N*, *gn* . If *<sup>h</sup>* : *<sup>J</sup>* <sup>⊂</sup> ! *<sup>M</sup>* is a regular curve and *U s*ð Þ and *X s*ð Þ are the vertical and horizontal parts of the tangent vector field \_ *h s*ðÞ¼ *W* of *h s*ð Þ, respectively, then *h* is a geodesic if and only if along *h*

$$\mathcal{V}\nabla\_X\phi U + \mathcal{V}\nabla\_X a\mathbf{X} + A\_X a U + A\_X \theta \mathbf{X} + \hat{\nabla}\_U \phi U + T\_U \beta \mathbf{X} + T\_U a U + \hat{\nabla}\_U a \mathbf{X} = \mathbf{0},\tag{48}$$

$$A\_X \phi U + A\_X a X + \mathcal{H}(\nabla\_{\dot{h}} a U + \nabla\_{\dot{h}} \beta X) + T\_U \phi U + T\_U a X = 0. \tag{49}$$

**Proof:** Let *π* be a semi-invariant submersion from a Kähler manifold ð Þ *M*, *φ*, *g* onto a Riemannian manifold *N*, *gn* . Since *φ*<sup>2</sup> \_ *<sup>h</sup>* ¼ �\_ *h*. Taking the covariant derivative of this and using (2), we have

$$
\rho \left( \nabla\_{\dot{h}} \rho \dot{h} \right) = -\nabla\_{\dot{h}} \dot{h}.\tag{50}
$$

Since *U s*ð Þ and *X s*ð Þ are the vertical and horizontal parts of the tangent vector field \_ *h s*ðÞ¼ *<sup>W</sup>* of *h s*ð Þ, that is, \_ *h* ¼ *U* þ *X*. So (50) becomes

$$\begin{aligned}-\nabla\_{\dot{h}}\dot{h} &= \rho(\nabla\_{U+X}\varphi(U+X)) \\\\ &= \rho(\nabla\_U\varphi U + \nabla\_X\varphi U + \nabla\_U\varphi X + \nabla\_X\varphi X) \\\\ &= \rho(\nabla\_U(\phi U + \alpha U) + \nabla\_X(\phi U + \alpha U) + \nabla\_U(aX + \beta X) + \nabla\_X(aX + \beta X)). \end{aligned} \tag{51}$$

Using (5)–(8) in (51), we get

$$\begin{split}-\nabla\_{\dot{h}}\dot{h} &= \varrho \left( \mathcal{H} \big( \nabla\_{\dot{h}} \varrho U + \nabla\_{\dot{h}} \beta \mathbf{X} \big) + A\_X a \mathbf{X} + A\_X \beta \mathbf{X} + A\_X \varrho U \\ &+ T\_U \beta \mathbf{X} + T\_U a \mathbf{X} + \mathcal{V} \nabla\_X a \mathbf{X} + T\_U \varrho U + \hat{\nabla}\_U a \mathbf{X} \big). \end{split} \tag{52}$$

Equating the vertical and horizontal part of (52), we obtain

$$\mathcal{V}\boldsymbol{\rho}\nabla\_{\dot{h}}\dot{h} = \mathcal{V}\nabla\_{X}\boldsymbol{\phi}\boldsymbol{U} + \mathcal{V}\nabla\_{X}a\boldsymbol{X} + A\_{X}a\boldsymbol{U} + A\_{X}\boldsymbol{\beta}\boldsymbol{X} + \hat{\nabla}\_{U}\boldsymbol{\phi}\boldsymbol{U} + T\_{U}\boldsymbol{\beta}\boldsymbol{X} + T\_{U}a\boldsymbol{U} + \hat{\nabla}\_{U}a\boldsymbol{X},$$

$$\mathcal{H}\boldsymbol{\rho}\nabla\_{\dot{h}}\dot{h} = A\_{X}\boldsymbol{\phi}\boldsymbol{U} + A\_{X}a\boldsymbol{X} + \mathcal{H}\left(\nabla\_{h}a\boldsymbol{U} + \nabla\_{\dot{h}}\boldsymbol{\beta}\boldsymbol{X}\right) + T\_{U}\boldsymbol{\phi}\boldsymbol{U} + T\_{U}a\boldsymbol{X}.$$

By using above equations, we can say that *h* is geodesic if and only if (48) and (49) hold.

Theorem 1.8 [40] Let *π* be a semi-invariant submersion from a Kähler manifold ð Þ *M*, *φ*, *g* onto a Riemannian manifold *N*, *gn* . Also, let *<sup>h</sup>* : *<sup>J</sup>* <sup>⊂</sup> ! *<sup>M</sup>* be a regular curve. *U s*ð Þ and *X s*ð Þ are the vertical and horizontal parts of the tangent vector field \_ *h s*ðÞ¼ *<sup>W</sup>* of *h s*ð Þ. Then *<sup>π</sup>* is a Clairaut submersion with *<sup>r</sup>* <sup>¼</sup> *<sup>e</sup><sup>f</sup>* if and only if along *<sup>h</sup>*

$$\begin{aligned} \mathbf{g}\left(\mathbf{grad}\,\mathbf{f},\mathbf{X}\right)\mathbf{g}\left(\mathbf{U},\mathbf{U}\right) &= \mathbf{g}\left(\mathcal{H}\nabla\_{\mathbf{b}}\beta\mathbf{X} + A\_{X}a\mathbf{X} + T\_{U}a\mathbf{X}, a\mathbf{U}\right) \\ &+ \mathbf{g}\left(\mathcal{V}\nabla\_{X}a\mathbf{X} + A\_{X}\beta\mathbf{X} + T\_{U}\beta\mathbf{X} + \hat{\nabla}\_{U}a\mathbf{X}, \phi\mathbf{U}\right). \end{aligned}$$

**Proof:** Let *<sup>h</sup>* : *<sup>J</sup>* <sup>⊂</sup> ! *<sup>M</sup>* be a geodesic on *<sup>M</sup>* and <sup>ℓ</sup> <sup>¼</sup> \_ *h s*ð Þ 2 . Let *θ*ð Þ*s* be the angle between \_ *h s*ð Þ and the horizontal space at *h s*ð Þ. Then

$$\mathbf{g}(X(\mathfrak{s}), X(\mathfrak{s})) = \mathfrak{e}\cos^2\theta(\mathfrak{s}),\tag{53}$$

$$\mathbf{g}\left(U(\mathbf{s}), U(\mathbf{s})\right) = \ell' \sin^2 \theta(\mathbf{s}).\tag{54}$$

Differentiating (54), we get

$$2\mathfrak{g}\left(\nabla\_{\hat{h}(\mathfrak{s})}U(\mathfrak{s}),U(\mathfrak{s})\right) = 2\ell\sin\theta(\mathfrak{s})\cos\theta(\mathfrak{s})\frac{d\theta(\mathfrak{s})}{d\mathfrak{s}}.\tag{55}$$

Using (1) in (55), we have

$$\operatorname{tg}\left(\nabla\_{\dot{h}(\boldsymbol{s})}\rho U(\boldsymbol{s}),\rho U(\boldsymbol{s})\right) = \boldsymbol{\ell}\,\sin\theta(\boldsymbol{s})\cos\theta(\boldsymbol{s})\frac{d\theta(\boldsymbol{s})}{ds}.$$

Now by use of (47), we have

$$\operatorname{g}\left(\nabla\_{\dot{h}(\boldsymbol{\varsigma})}\phi U(\boldsymbol{\varsigma}),\boldsymbol{\varrho}U(\boldsymbol{\varsigma})\right) + \operatorname{g}\left(\nabla\_{\dot{h}(\boldsymbol{\varsigma})}\phi U(\boldsymbol{\varsigma}),\boldsymbol{\varrho}U(\boldsymbol{\varsigma})\right) = \boldsymbol{\ell}\,\sin\theta(\boldsymbol{\varsigma})\cos\theta(\boldsymbol{\varsigma})\frac{d\theta(\boldsymbol{\varsigma})}{d\boldsymbol{\varsigma}}$$

Along the curve *h*, using Theorem 1.7 and (5)–(8), we obtain

$$\begin{aligned} \mathcal{E}\,\boldsymbol{\sigma}\,\boldsymbol{\sin}\theta(\boldsymbol{\varsigma})\cos\theta(\boldsymbol{\varsigma})\frac{d\theta(\boldsymbol{\varsigma})}{d\boldsymbol{s}} &= -\mathbf{g}\left(\mathcal{H}\nabla\_{\dot{h}}\beta\mathbf{X} + A\_{\mathcal{X}}a\mathbf{X} + T\_{\mathcal{U}}a\mathbf{X}, a\boldsymbol{U}\right)(\boldsymbol{\varsigma}) \\ &- \mathbf{g}\left(\mathcal{V}\nabla\_{\dot{X}}a\mathbf{X} + A\_{\mathcal{X}}\theta\mathbf{X} + T\_{\mathcal{U}}\beta\mathbf{X} + \hat{\nabla}\_{\mathcal{U}}a\mathbf{X}, \phi\mathcal{U}\right)(\boldsymbol{\varsigma}) \end{aligned}$$

Now, *<sup>π</sup>* is a Clairaut submersion with *<sup>r</sup>* <sup>¼</sup> *<sup>e</sup><sup>f</sup>* if and only if *<sup>d</sup> ds <sup>e</sup><sup>f</sup>* sin *<sup>θ</sup>* <sup>¼</sup> 0. Therefore

$$e^{f} \left(\frac{df}{ds}\sin\theta + \cos\theta\frac{d\theta}{ds}\right) = 0,$$

$$e^{f} \left(\frac{df}{ds}\ell\sin^{2}\theta + \ell\sin\theta\cos\theta\frac{d\theta}{ds}\right) = 0.$$

So, we obtain

$$\begin{split} \frac{d\mathbf{f}}{ds}(h(s))\mathbf{g}(U(s),U(s)) &= \mathbf{g}\left(\mathcal{H}\nabla\_{\hat{h}}\mathcal{J}\mathbf{X} + A\_X a\mathbf{X} + T\_U a\mathbf{X}, aU\right)(s) \\ &+ \mathbf{g}\left(\mathcal{V}\nabla\_X a\mathbf{X} + A\_X \mathcal{J}\mathbf{X} + T\_U \mathcal{J}\mathbf{X} + \hat{\nabla}\_U a\mathbf{X}, \phi U\right)(s), \end{split} \tag{56}$$

Since *df ds* ð Þ¼ *h s*ð Þ \_ *h g*½ �ðÞ¼ *<sup>s</sup> g gradf*, \_ *h s*ð Þ <sup>¼</sup> *g gradf* ð Þ , *<sup>X</sup>* . Therefore by using (56), we get the result.

Theorem 1.9 [40] Let *π* be a Clairaut semi-invariant submersion from a Kähler manifold ð Þ *M*, *φ*, *g* onto a Riemannian manifold *N*, *gn* with *<sup>r</sup>* <sup>¼</sup> *<sup>e</sup><sup>f</sup>* . Then

$$\begin{cases} \mathbf{g}(A\_{wW}V, \beta \mathbf{X}) + \mathbf{g}(\mathcal{H}\nabla\_V \phi \mathbf{W}, \beta \mathbf{X}) + \mathbf{g}(\mathcal{V}\nabla\_V a \mathbf{W}, a\mathbf{X}) + \mathbf{g}(\hat{\nabla}\_V \phi \mathbf{W}, a\mathbf{X}) \\ \quad = -\mathbf{g}(V, W)(\mathbf{X}f) \end{cases}$$

for *X* ∈ Γ*μ*, *V*, *W* ∈Γð Þ D<sup>2</sup> and *ωW* is basic.

**Proof:** Let *π* be a Clairaut semi-invariant submersion from a Kähler manifold ð Þ *M*, *φ*, *g* onto a Riemannian manifold *N*, *gn* with *<sup>r</sup>* <sup>¼</sup> *<sup>e</sup><sup>f</sup>* . We know that any fiber of Riemannian submersion *π* is totally umbilical if and only if

$$T\_V W = \mathbf{g}(V, W)H,\tag{57}$$

for all *V*,*W* ∈Γð Þ ker*π* <sup>∗</sup> , where *H* denotes the mean curvature vector field of any fiber in *M*. By using Theorem 1.2 and (57), we have

$$T\_V W = -\mathbf{g}(V, W)\text{grad}f.\tag{58}$$

Let *X* ∈*μ* and *V*, *W* ∈Γð Þ ker*π* <sup>∗</sup> , then by using (1) and (2), we have

$$\mathbf{g}\left(\nabla\_V \boldsymbol{\varrho} \boldsymbol{W}, \boldsymbol{\varrho} \boldsymbol{X}\right) = \mathbf{g}\left(\boldsymbol{\varrho} \nabla\_V \boldsymbol{W} + (\nabla\_V \boldsymbol{\varrho}) \boldsymbol{W}, \boldsymbol{\varrho} \boldsymbol{X}\right) = \mathbf{g}\left(\nabla\_V \boldsymbol{W}, \boldsymbol{X}\right). \tag{59}$$

Using (5), (58) in (59), we have

$$\operatorname{g}(\nabla\_V \varphi W, \varphi X) = -\operatorname{g}(V, W)(\operatorname{grad} f, X).$$

Since *ωW* is basic, so H∇*VωW* ¼ *AωWV*, therefore we have

$$\begin{split} & \mathbf{g}(A\_{aW}\mathbf{V}, \boldsymbol{\beta}\mathbf{X}) + \mathbf{g}(\mathcal{H}\nabla\_{V}\boldsymbol{\phi}\mathbf{W}, \boldsymbol{\beta}\mathbf{X}) + \mathbf{g}(\mathcal{V}\nabla\_{V}a\mathbf{W}, a\mathbf{X}) + \mathbf{g}\left(\hat{\nabla}\_{V}\boldsymbol{\phi}\mathbf{W}, a\mathbf{X}\right) \\ & = -\mathbf{g}(\mathbf{V}, \mathbf{W})(\mathbf{grad}\boldsymbol{\theta}, \mathbf{X}). \end{split} \tag{60}$$

Theorem 1.10 [40] Let *π* be a Clairaut semi-invariant submersion from a Kähler manifold ð Þ *M*, *φ*, *g* onto a Riemannian manifold *N*, *gn* with *<sup>r</sup>* <sup>¼</sup> *<sup>e</sup><sup>f</sup>* and *V*,*W* ∈Γð Þ D<sup>1</sup> Then *gradf* ∈Γð Þ *φ*ker*π* <sup>∗</sup> .

**Proof:** Let *V*,*W* ∈Γð Þ D<sup>1</sup> and *X* ∈ Γð Þ *μ* . Using (5), (47) and (58) in

∇*VφU* ¼ *φ*∇*VU* þ ð Þ ∇*Vφ U*,

we have

$$T\_V \phi U + \mathcal{V} \nabla\_V \phi U = aT\_V U + \beta T\_V U + \phi \mathcal{V} \nabla\_V U + a\mathcal{V} \nabla\_V U,$$

which gives

$$-\mathbf{g}(V,\phi U)\mathbf{g}(\operatorname{grad}f,X) = \mathbf{g}(V,U)\mathbf{g}(\operatorname{grad}f,\phi X).\tag{61}$$

By interchanging *U* and *V* in (61) and adding the resulting equation with (61), we get

$$
\lg(V, U)\lg(\operatorname{grad} f, \operatorname{\rho} X) = 0,
$$

which gives *g gradf* ð Þ¼ , *φX* 0. Therefore *gradf* ∈Γð Þ *φ*ker*π* <sup>∗</sup> .

Theorem 1.11 [40] Let *π* be a Clairaut semi-invariant submersion from a Kähler manifold ð Þ *M*, *φ*, *g* onto a Riemannian manifold *N*, *gn* with *<sup>r</sup>* <sup>¼</sup> *<sup>e</sup><sup>f</sup>* and *gradf* ∈Γð Þ *φ*ker*π* <sup>∗</sup> . Then either *f* is constant on *φ*ker*π* <sup>∗</sup> or the fibers of *π* are 1-dimensional.

**Proof:** Let *U*,*V* ∈Γð Þ D<sup>2</sup> . Using (5) and (58), we have

$$\mathbf{g}(\nabla\_V U, \boldsymbol{\varrho}U) = -\mathbf{g}(V, U)\mathbf{g}(\operatorname{grad}\boldsymbol{f}, \boldsymbol{\varrho}U),$$

which gives

$$\mathbf{g}(\varrho \nabla\_V U, U) = \mathbf{g}(V, U)\mathbf{g}(\operatorname{grad} f, \varrho U),$$

since ker*π* <sup>∗</sup> is integrable, so we have

$$\mathbf{g}\,(\varrho\nabla\_U V, U) = \mathbf{g}(V, U)\mathbf{g}(\operatorname{grad}\mathbf{f}, \varrho U),$$

which equals to

$$\mathbf{g}\left(\nabla\_U \varrho \mathbf{V} - (\nabla\_U \varrho) \mathbf{V}, \mathbf{U}\right) = \mathbf{g}\left(\mathbf{V}, \mathbf{U}\right)\mathbf{g}\left(\mathbf{grad}\mathbf{f}, \varrho \mathbf{U}\right).$$

Since *g*ð Þ¼ *φV*, *U* 0. therefore we have

$$\mathbf{g}(\rho V, \nabla\_U U) = -\mathbf{g}(V, U)\mathbf{g}(\mathbf{grad}f, \rho U). \tag{62}$$

By using (5) in (62), we obtain

$$\mathbf{g}(\varrho V, T\_U U) = -\mathbf{g}(V, U)\mathbf{g}(\varrho \text{grad}\, f, \varrho U).$$

Now, using (58), we get

$$\mathbf{g}(U,U)\mathbf{g}(\operatorname{grad}\mathbf{f},\boldsymbol{\varrho}\mathbf{V})=\mathbf{g}(V,U)\mathbf{g}(\operatorname{grad}\mathbf{f},\boldsymbol{\varrho}\mathbf{U}).\tag{63}$$

Interchanging *V* and *U* in (63), we have.

$$\mathbf{g}(V, V)\mathbf{g}(\operatorname{grad}\mathbf{f}, \operatorname{\varrho}U) = \mathbf{g}(V, U)\mathbf{g}(\operatorname{grad}\mathbf{f}, \operatorname{\varrho}V). \tag{64}$$

By (63) and (64), we have

$$\text{g}^2(V, U)\text{g}(\text{grad}f, \rho U) = \text{g}(V, V)\text{g}(U, U)\text{g}(\text{grad}f, \rho U)\dots$$

Therefore either *f* is constant on *φ*ker*π* <sup>∗</sup> or *V* ¼ *aU*, where *a* is constant (by using Schwarz's Inequality for equality case).

Since ker*π* <sup>∗</sup> is CR-submanifold of Kähler manifold ð Þ *M*, *φ*, *g* , therefore by using [41], Theorem 6.1, p. 96], we can state that.

Theorem 1.12 [40] Let *π* be a Clairaut semi-invariant submersion from a Kähler manifold ð Þ *M*, *φ*, *g* onto a Riemannian manifold *N*, *gn* with *<sup>r</sup>* <sup>¼</sup> *<sup>e</sup><sup>f</sup>* . If dim <sup>D</sup><sup>2</sup> <sup>&</sup>gt; 1, then fibers are totally geodesic.

#### *Advanced Topics of Topology*

Corollary 1.3 [40] Let *π* be a Clairaut Lagrangian submersion from a Kähler manifold ð Þ *M*, *φ*, *g* onto a Riemannian manifold *N*, *gn* � � with *<sup>r</sup>* <sup>¼</sup> *<sup>e</sup><sup>f</sup>* . Then either the fibers of *π* are 1-dimensional or they are totally geodesic.

Lastly, we discuss some examples for Clairaut semi-invariant submersions [40] from a Kähler manifold.

Example 1.3 Every Clairaut anti-invariant submersion from a Kähler manifold onto a Riemannian manifold is a Clairaut semi-invariant submersion with D<sup>1</sup> ¼ f g0 .

Example 1.4 Let 6, *φ*, *g* � � be a Kähler manifold endowed with Euclidean metric *g* on <sup>6</sup> given by

$$\mathbf{g} = \sum\_{i=1}^{6} d\mathbf{x}\_i^2$$

and canonical complex structure

$$\rho(\mathfrak{x}\_j) = \begin{cases} -\mathfrak{x}\_{j+1} & j = \mathbf{1}, \mathbf{3}, \mathbf{5} \\\ \mathfrak{x}\_{j-1} & j = \mathbf{2}, \mathbf{4}, \mathbf{6} \end{cases}$$

The *<sup>φ</sup>*-basis is *ei* <sup>¼</sup> *<sup>∂</sup> ∂xi* <sup>j</sup>*<sup>i</sup>* <sup>¼</sup> 1, … , 6 n o. Let <sup>3</sup> , *g*1 � � be a Riemannian manifold endowed with metric *<sup>g</sup>*<sup>1</sup> <sup>¼</sup> <sup>P</sup> 3 *i*¼1 *dy*<sup>2</sup> *i* .

Consider a map *<sup>π</sup>* : 6, *<sup>φ</sup>*, *<sup>g</sup>* � � ! <sup>3</sup> , *g*1 � � defined by

$$
\pi(\mathbf{x}\_1, \mathbf{x}\_2, \mathbf{x}\_3, \mathbf{x}\_4, \mathbf{x}\_5, \mathbf{x}\_6) = \left(\frac{\mathbf{x}\_1 + \mathbf{x}\_2}{\sqrt{2}}, \mathbf{x}\_3, \mathbf{x}\_4\right).
$$

Then by direct calculations, we have

$$\begin{aligned} \ker \pi\_\* &= \operatorname{span} \left\{ X\_1 = \left( \frac{\partial}{\partial \mathbf{x}\_1} - \frac{\partial}{\partial \mathbf{x}\_2} \right), X\_2 = \frac{\partial}{\partial \mathbf{x}\_3}, X\_3 = \frac{\partial}{\partial \mathbf{x}\_6} \right\}, \\\ (\ker \pi\_\*)^\perp &= \operatorname{span} \left\{ V\_1 = \left( \frac{\partial}{\partial \mathbf{x}\_1} + \frac{\partial}{\partial \mathbf{x}\_2} \right), V\_2 = \frac{\partial}{\partial \mathbf{x}\_3}, V\_3 = \frac{\partial}{\partial \mathbf{x}\_4} \right\}. \end{aligned}$$

and *φX*<sup>1</sup> ¼ �*V*1, *φX*<sup>2</sup> ¼ �*X*3, *φX*<sup>3</sup> ¼ �*X*<sup>2</sup> therefore D<sup>1</sup> ¼ *span X*f g 2,*X*<sup>3</sup> and D<sup>2</sup> ¼ *span X*f g<sup>1</sup> . Thus, we can say that *π* is a semi-invariant Riemannian submersion.

Consider the Koszul formula for Levi-Civita connection ∇ for <sup>6</sup>

$$\mathcal{Z}g(\nabla\_X Y, Z) = \mathcal{X}g(Y, Z) + \mathcal{Y}g(Z, X) - \mathcal{Z}g(X, Y) - \mathcal{g}([Y, Z], X) - \mathcal{g}([X, Z], Y) + \mathcal{g}([X, Y], Z)$$

for all *X*, *Y*, *Z* ∈ <sup>6</sup>*:* By simple calculations, we obtain

$$
\nabla\_{e\_i} e\_j = \mathbf{0} \quad \text{for all } i, j = \mathbf{1}, \dots, \mathbf{6}.
$$

Hence *TXY* ¼ *TYX* ¼ *TXX* ¼ 0 for all *X*, *Y* ∈Γð Þ ker*π* <sup>∗</sup> . Therefore fibers of *π* are totally geodesic. Thus *π* is Clairaut trivially.

#### **Classification**

2010 mathematics subject classification. 53C12, 53C15, 53C20, 53C55

*Clairaut Submersion DOI: http://dx.doi.org/10.5772/intechopen.101427*

### **Author details**

Sanjay Kumar Singh<sup>1</sup> \* and Punam Gupta<sup>2</sup>

1 Indian Institute of Science Education and Research, Bhopal, India

2 Dr. Harisingh Gour University, Sagar, India

\*Address all correspondence to: sanjayks@iiserb.ac.in

© 2021 The Author(s). Licensee IntechOpen. This chapter is distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/ by/3.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

### **References**

[1] O'Neill B. The fundamental equations of a submersion. Michigan Mathematical Journal. 1966;**13**:458-469

[2] Gray A. Nearly Kähler manifolds. Journal of Differential Geometry. 1970; **6**:283-309

[3] Watson B. Almost Hermitian submersions. Journal of Differential Geometry. 1976;**11**:147-165

[4] Sahin B. Anti-invariant Riemannian submersion from almost Hermitian manifolds. Central Europian Journal of Mathematics. 2010;**8**(3):437-447

[5] Tastan HM. On Lagrangian submersions. Hacettepe Journal of Mathematics and Statistics. 2014;**43**(6): 993-1000

[6] Tastan HM, Özdemir F, Sayar C. On anti-invariant Riemannian submersions whose total manifolds are locally product Riemannian. Journal of Geometry. 2017;**108**:411-422

[7] Gündüzalp Y. Anti-invariant Riemannian submersions from almost product Riemannian manifolds. Mathematical Sciences and Applications E-Notes. 2013;**1**:58-66

[8] Beri A, Kupeli EI, Murathan C. Anti-invariant Riemannian submersions from Kenmotsu manifolds onto Riemannian manifolds. Turkish Journal of Mathematics. 2016;**40**(3): 540-552

[9] Ali S, Fatima T. Anti-invariant Riemannian submersions from nearly Kähler manifolds. Univerzitet u Nišu. 2013;**27**:1219-1235

[10] Özdemir F, Sayar C, Tastan HM. Semi-invariant submersions whose total manifolds are locally product Riemannian. Quaestiones Mathematicae. 2017;**40**(7):909-926

[11] Sahin B. Semi-invariant submersion from almost Hermitian manifolds. Canadian Mathematical Bulletin. 2011; **56**:173-182

[12] Küpeli Erken I, Murathan C. On slant submersions for cosymplectic manifolds. Bulletin of the Korean Mathematical Society. 2014;**51**(6):1749-1771

[13] Sahin B. Slant submersions from almost Hermitian manifolds. Bulletin mathématique de la Société des Sciences Mathématiques de Roumanie. 2011;**54 (102)**(1):93-105

[14] Akyol MA. Generic Riemannian submersions from almost product Riemannian manifolds. GUJ Sci. 2017; **30**(3):89-100

[15] Ali S, Fatima T. Generic Riemannian submersions. Tamkang Journal of Mathematics. 2013;**44**(4):395-409

[16] Chen BY. Differential geometry of real submanifolds in Kähler manifold. Monatshefte für Mathematik. 1981;**91**: 257-274

[17] Ronsse GB. Generic and skew CRsubmanifolds of a Kähler manifold. Bulletin of the Institute of Mathematics, Academia Sinica. 1990;**18**:127-141

[18] Tastan HM, Sahin B, Yanan S. Hemislant submersions. Mediterranean Journal of Mathematics. 2016;**13**(4):2171-2184

[19] Park KS, Prasad R. Semi-slant submersions. Bulletin of the Korean Mathematical Society. 2013;**50**(3):951-962

[20] Aykurt SA, Ergüt M. Pointwise slant submersions from cosymplectic manifolds. Turkish Journal of Mathematics. 2016;**40**(3):582-593

[21] Chen BY, Garay O. Pointwise slant submanifolds in almost Hermitian *Clairaut Submersion DOI: http://dx.doi.org/10.5772/intechopen.101427*

manifolds. Turkish Journal of Mathematics. 2012;**364**:630-640

[22] Lee JW, Sahin B. Pointwise slant submersions. Bulletin of the Korean Mathematical Society. 2014;**51**:1115-1126

[23] Akyol MA. Conformal semi-slant submersions. International Journal of Geometric Methods in Modern Physics. 2017;**14**(7):1750114

[24] Sahin B. Riemannian Submersions, Riemannian Maps in Hermitian Geometry and their Applications. Cambridge: Elsevier Academic Press; 2017

[25] Clairaut AC. Mémoires de l'Académie royale des sciences. Mem. Acad. Paris Pour. 1735;**1733**:86

[26] Bishop RL. Clairaut submersions, Differential Geometry (in Honor of Kentaro Yano). Tokyo: Kinokuniya; 1972. pp. 21-31

[27] Allison D. Lorentzian Clairaut submersions. Geometriae Dedicata. 1996;**63**(3):309-319

[28] Tastan HM, Gerdan S. Clairaut anti-invariant submersions from Sasakian and Kenmotsu manifolds. Mediterranean Journal of Mathematics. 2017;**14**(6):235. 17 pp

[29] Tastan HM, Aydin SG. Clairaut anti-invariant submersions from cosymplectic manifolds. Honam Mathematical Journal. 2019;**41**(4): 707-724

[30] Gündüzalp Y. Anti-invariant pseudo-Riemannian submersions and Clairaut submersions from paracosymplectic manifolds. Mediterranean Journal of Mathematics. 2019;**16**(4):94. 18 pp

[31] Lee J, Park JH, Shahin B, Song DY. Einstein conditions for the base of anti-invariant Riemannian submersions and Clairaut submersions. Taiwanse

Journal of Mathematics. 2015;**19**(4): 1145-1160

[32] Gray A, Hervella M. The sixteen classes of almost Hermitian manifolds and their linear invariants. Annali di matematica pura ed applicata. 1980;**123**: 35-58

[33] Yano K. Structures on manifolds, Series in Pure Mathematics, 3. Singapore: World Scientific; 1984

[34] Gupta P, Rai AK. Clairaut antiinvariant submersion from nearly Kähler manifold. arXiv. Mat. Vesnik, Accepted. 2020. 2010.05552

[35] O'Neill B. Semi-Riemannian Geometry with Application to Relativity. New York: Academic Press; 1983

[36] Baird P, Wood JC. Harmonic Morphisms Between Riemannian Manifolds, London Mathematical Society Monographs. Vol. 29. Oxford: Oxford University Press, The Clarendon Press; 2003

[37] Bejancu A. Geometry of CR-Submanifolds. Dordrecht: Kluwer Academic Publishers; 1986

[38] Pressley A. Elementary Differential Geometry. Springer-Verlag London: Springer Undergraduate Mathematics Series; 2001

[39] Lee JW. Anti-invariant *ξ*<sup>⊥</sup>- Riemannian submersions from almost contact manifolds. Hacettepe Journal of Mathematics and Statistics. 2013;**42**(3): 231-241

[40] Gupta P, Singh SK. Clairaut semiinvariant submersion from Kähler manifold. Afrika Mat. Accepted. 2020. DOI: 10.13140/RG.2.2.30240.30725

[41] Yano K, Kon M. CR-Submanifolds of Kählerian and Sasakian Manifolds. Progress in Mathematics, 30. Birkhäuser, Boston: Mass; 1983

### *Edited by Francisco Bulnes*

Topology is an area of mathematics that establishes relations and transformations between spaces with a certain structure depending on their position and considering the structure of the ambient space where these relations exist. This book discusses various concepts and theories of topology, including diffeomorphisms, immersions, Hausdorff spaces, cobordisms, homotopy theory, symplectic manifolds, topology of quantum field theory, algebraic varieties, dimension theory, Koszul complexes, continuum theory, and metrizability, among others.

Published in London, UK © 2022 IntechOpen © ubrx / iStock

Advanced Topics of Topology

Advanced Topics of

Topology

*Edited by Francisco Bulnes*