Abstract
In this paper, we investigate some geometric properties of Clairaut submersions whose total space is a locally product Riemannian manifold.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Given a \(C^{\infty }\)-submersion F from a (semi)-Riemannian manifold \((N,g_{N})\) onto a (semi)-Riemannian manifold \((B,g_{B})\), according to the circumstances on the map \(F:(N,g_{N})\rightarrow (B,g_{B})\), we get the following:
Riemannian submersion (Falcitelli et al. 2004; O’Neill 1966; Gray 1967), almost Hermitian submersion (Watson 1976), paracontact paracomplex submersios (Gündüzalp and Ṣahin 2014), quaternionic submersion (Ianus et al. 2008), slant submersion (Akyol and Gündüzalp 2016; Gündüzalp 2013b; Gündüzalp and Akyol 2018; Ṣahin 2011), anti-invariant submersion (Beri et al. 2016; Ṣahin 2010), Clairaut submersion (Bishop 1972; Gündüzalp 2019; Taṣtan and Gerdan 2017; Lee et al. 2015; Allison 1996), conformal anti-invariant submersion (Akyol 2017; Akyol and Ṣahin 2016), etc.
In the present paper, we take into account Clairaut anti-invariant submersions from a locally product Riemannian manifold onto a Riemannian manifold. In Sect. 2, we recall some concepts, which are needed in the following section. In Sect. 3, we first obtain necessary and sufficient conditions for a curve on the manifold N of anti-invariant submersions to be geodesic. Then we present a new characterization for Clairaut anti-invariant submersions. Also, we present an example.
2 Preliminaries
2.1 Riemannian submersions
A \(C^{\infty }\)-submersion \(F:N\rightarrow B\) between two Riemannian manifolds \((N,g_{N})\) and \((B,g_{B})\) is called a Riemannian submersion if it satisfies conditions:
-
(i)
the fibres \(F^{-1}(b)\), \(b\in B,\) are r-dimensional Riemannian submanifolds of N, where \(r=dim(N)-dim(B).\)
-
(ii)
\(F_{*}\) preserves the lengths of horizontal vectors.
The vectors tangent to the fibres are called vertical and those normal to the fibres are called horizontal. We denote by \((kerF_{*})\) the vertical distribution, by \((kerF_{*})^{\bot }\) the horizontal distribution and by v and h the vertical and horizontal projection. A horizontal vector field \(X_{1}\) on N is said to be fundamental if \(X_{1}\) is F-related to a vector field \(X_{*1}\) on B.
A Riemannian submersion \(F : N\rightarrow B\) defines two (1, 2) tensor fields \({\mathcal {T}}\) and \({\mathcal {A}}\) on N, by the formulas:
and
for any \(X_{1},X_{2}\in \chi (N)\) (see Falcitelli et al. 2004). Using (1) and (2), one can get
for any \(X_{1},X_{2}\in \Gamma ((kerF_{*})^{\bot }),\) \(U_{1},U_{2}\in \Gamma (kerF_{*}).\) In addition, if \(X_{1}\) is basic then \(h(\nabla _{U_{1}}X_{1})=h(\nabla _{X_{1}}U_{1})={\mathcal {A}}_{X_{1}}U_{1}.\)
The fundamental tensor fields \({\mathcal {T}}, {\mathcal {A}}\) satisfy:
2.2 Anti-invariant submersions
Let N be a n-dimensional smooth manifold. If it is endowed with a structure \((P,g_{N}),\) where P is a (1, 1) tensor, and \(g_{N}\) is a Riemannian metric, satisfying
for any \(X_{1},X_{2}\in \chi (N)\), it is called an almost product Riemannian manifold. An almost product Riemannian manifold N is called a locally product Riemannian manifold if
where \(\nabla \) is the Riemannian connection on N (Yano and Kon 1984).
Definition 2.1
(Gündüzalp 2013a) Let \((N,g_{N},P)\) be an almost product Riemannian manifold and \((B,g_{B})\) a Riemannian manifold. Suppose that there exists a Riemannian submersion \(F: N \rightarrow B\) such that \(kerF_{*}\) is anti-invariant with respect to P, i.e., \(P(kerF_{*})\subseteq (kerF_{*})^{\bot }.\) At that time, we call F is an anti-invariant Riemannian submersion.
In this case, the horizontal distribution \((kerF_{*})^{\bot }\) decomposed as
where \(\eta \) is the complementary orthogonal distribution of \(P(kerP_{*})\) in \((kerF_{*})^{\bot }\) and it is invariant with respect to P.
For any \(X_{1}\in \Gamma (kerF_{*})^{\bot },\) we write
where \(DX_{1}\) and \(EX_{1}\) are vertical and horizontal components of \(PX_{1}.\) If \(\eta ={0}\), at that time an anti-invariant submersion is called a Lagrangian submersion.
3 Clairaut anti-invariant submersions
Let M be a revolution surface in \(R^{3}\) with rotation axis d. \(\forall x\in M\), we state by r(x) the distance from x to d. Given a geodesic \(c:J\subset R\rightarrow M\) on M, let \(\varphi (s)\) be the angle between c(s) and the meridian curve through \(c(s), s\in J.\) A well-known Clairaut’s theorem tells that for any geodesic c on M the product \(r\sin \varphi \) is constant along c, i.e., it is independent of s. In the submersion theory, Bishop (1972) shows the concept of Clairaut submersion in the following way.
Definition 3.1
(Bishop 1972) A Riemannian submersion \(F:(N,g_{N},P)\rightarrow (B,g_{B})\) is called a Clairaut submersion if there exists a positive function r on N such that, for any geodesic c on N, the function \((r\circ c)\sin \varphi \) is constant, where, for any s, \(\varphi (s)\) is the angle between \(\dot{c}(s)\) and the horizontal space at c(s). Moreover, he gave a necessary and sufficient condition for a Riemannian submersion to be a Clairaut submersion.
Theorem 3.1
(Bishop 1972) Let \(F:(N,g_{N},P)\rightarrow (B,g_{B})\) be Riemannian submersion with connected fibres. Then, F is a Clairaut submersion with \(r=e^{g}\) if and only if each fibre is completely umbilical and has the mean curvature vector field \(H=-\nabla g,\) where \(\nabla g\) is the gradient of the function g with respect to \(g_{N}.\)
Proposition 3.1
Let F be an anti-invariant submersion from a locally product Riemannian manifold \((N,g_{N},P)\) onto a Riemannian manifold \((B,g_{B}).\) If \(c:J\subset R\rightarrow N\) is a regular curve and \(U_{1}(s)\) and \(X_{1}(s)\) are the vertical and horizontal parts of the tangent vector field \(\dot{c}(s)=W\) of c(s), respectively, then c is a geodesic if and only if along c
and
Proof
From (10), we obtain
Since \(\dot{c}=U_{1}+X_{1},\) we can write
By direct computations, we get
Using (12), we get
Taking the vertical and horizontal pieces of this equation. we have
and
From (17) and (18), it is simple to see that c is a geodesic if and only if (13) and (14) hold. \(\square \)
Theorem 3.2
Let F be an anti-invariant submersion from a locally product Riemannian manifold \((N,g_{N},P)\) onto a Riemannian manifold \((B,g_{B}).\) At that time F is a Clairaut submersion with \(r=e^{g}\) if and only if along c the following equation holds
where \(U_{1}(s)\) and \(X_{1}(s)\) are the vertical and horizontal parts of the tangent vector field \(\dot{c}(s)\) of the geodesic c(s) on N, severally.
Proof
Let c(s) be a geodesic with speed \(\sqrt{b}\) on N, at that time, we get
Thence, we conclude that
where \(\varphi (s)\) is the angle between \(\dot{c}(s)\) and the horizontal space at c(s). Differentiating the second expression in (20), we get
Thus, using (9) and (10), we obtain
By (14), we arrive at along c,
Moreover, F is a Clairaut anti-invariant submersion with \(r=e^{g}\) if and only if
Striking recent equation with non-zero element \(b\sin \varphi ,\) we obtain
Since \(\frac{dg}{ds}(c(s))=\dot{c}[g]=g_{N}(\nabla g,\dot{c})=g_{N}(\nabla g,X_{1}),\) the claim (19) follows from (25). \(\square \)
Theorem 3.3
Let F be a Clairaut anti-invariant submersion from a locally product Riemannian manifold \((N,g_{N},P)\) onto a Riemannian manifold \((B,g_{B})\) with \(r=e^{g}.\) At that time, we get
for \(X_{1}\in \eta \) and \(U_{3}\in kerF_{\star }\) such that \(PU_{3}\) is basic.
Proof
From Theorem 3.1, we obtain
where \(U_{1},U_{2}\in kerF_{\star }.\) If we crash this equation by \(PU_{3}\), \(U_{3}\in kerF_{\star }\) such that \(PU_{3}\) is fundamental and from (3), we get
Thus, we have
since \(g_{N}(U_{2},PU_{3})=0.\)
By (10), we get
Using (9), we arrive at
Again, using (3), we obtain
Thus, by (27),
If take \(U_{1}=U_{3}\) and exchange \(U_{1}\) with \(U_{2}\) in (28), we provide
Using (28) with \(U_{1}=U_{3}\) and (29), we get
On the other hand, using (10), we obtain
for any \(X_{1}\in \eta .\) Thus, using (9), we get
Since \(PU_{3}\) is fundamental and from \(h\nabla _{U_{2}}PU_{3}={\mathcal {A}}_{PU_{3}}U_{2}\), we have
Using (31),(32) and the anti-symmetry of \({\mathcal {A}},\) we find
Since \({\mathcal {A}}_{PU_{3}}PX_{1},\) \(U_{2}\) and \(U_{3}\) are vertical and \(\nabla g\) is horizontal, we derive (26).
Now, if \(\nabla g\in PkerF\star \), then from (30) and the equality situation of Schwarz inequality, we get the following. \(\square \)
Corollary 3.1
Let F be a Clairaut anti-invariant submersion from a locally product Riemannian manifold \((N,g_{N},P)\) onto a Riemannian manifold \((B,g_{B})\) with \(r=e^{g}.\) If \(\nabla g\in PkerF\star \), at that time, either g is constant on \(PkerF\star \) or the fibres of F are 1-dimensional.
Furthermore, while the function g is constant, \(\nabla g\equiv 0.\) Hence, by Theorem 3.1 and Corollary 3.1, we get that:
Corollary 3.2
Let F be a Clairaut anti-invariant submersion from a locally product Riemannian manifold \((N,g_{N},P)\) onto a Riemannian manifold \((B,g_{B})\) with \(r=e^{g}\) and \(\nabla g\in PkerF\star .\) If \(dim(kerF*)>1,\) at that time, the fibres of F are completely geodesic if and only if \({\mathcal {A}}_{PU_{3}}PX_{1}=0\) for \(U_{3}\in kerF_{*}\) such that \(PU_{3}\) is fundamental and \(X_{1}\in \eta .\)
In addition, if the anti-invariant submersion F in Theorem 3.3 is Lagrangian, at that time, \({\mathcal {A}}_{PU_{3}}PX_{1}=0\) always zero, since \(\eta =\{0\}.\) Hence, we obtain that:
Corollary 3.3
Let F be a Clairaut Lagrangian submersion from a locally product Riemannian manifold \((N,g_{N},P)\) onto a Riemannian manifold \((B,g_{B})\) with \(r=e^{g}.\) Then either the fibres of F are one dimensional or they are totally geodesic.
Now, we present example of a Clairaut submersion.
Example 3.1
Let N be a Euclidean 3-space defined by \(N=\{(x_{1},x_{2},x_{3})\in R^{3}:(x_{1},x_{2})\ne (0,0)\) and \(x_{3}\ne 0\}\).
We consider the product structure \((P,g_{N})\) on N given by \(g_{N}=e^{2x_{3}}(dx_{1})^{2}+e^{2x_{3}}(dx_{2})^{2}+(dx_{3})^{2}\) and \(P(a,b,c)=(a,-b,c).\)
A P-basis can be given by \(\{e_{1}=e^{-x_{3}}\frac{\partial }{\partial x_{1}},e_{2}=e^{-x_{3}}\frac{\partial }{\partial x_{2}}, e_{3}=\frac{\partial }{\partial x_{3}}\}.\)
Let B be \(\{(t,x_{3})\in R^{2}\}.\) We select the metric \(g_{B}\) on B, \(g_{B}=e^{2x_{3}}(dt)^{2}+(dx_{3})^{2}\). Now, we defined a map \(F: (N,P,g_{N})\rightarrow (B,g_{B})\) by
At that time, by direct calculations, we get
and
Then, it is simple to see that F is a Riemannian submersion. Furthermore \(PU_{1}=X_{1}\)implies that \(P(kerF_{*})\subset (kerF_{*})^{\bot }.\) Consequently, F is anti-invariant Riemannian submersion. Furthermore, the fibres of F are frankly completely umbilical, from they are 1-dimensional. In this place, we will find that a \(g\in C^{\infty }(N)\) filling \({\mathcal {T}}_{U_{1}}U_{1}=-\nabla g.\)
The Riemannian connection \(\nabla \) of the metric tensor \(g_{N}\) is given by
for any \(U_{1},U_{2},U_{3}\in \chi (N).\) Using the above formula for the Riemannian metric \(g_{N},\) we can simply calculate that
and
Hence, we get
By (3), we have
Moreover, for any \(g\in C^{\infty }(N)\) the gradient of g with respect to \(g_{N}\) is given by
At that time, it is simple to see that \(\nabla g=\frac{\partial }{\partial x_{3}}\) for the function \(g=x_{3}\) and \({\mathcal {T}}_{U_{1}}U_{1}=-\nabla g=-x_{3}.\) In addition to, for all \(U_{2}\in \Gamma (kerF_{*})\), we obtain
Hence, by Theorem 3.1, the submersion F is Clairaut.
References
Akyol, M.A.: Conformal anti-invariant submersions from cosymplectic manifolds. Hacet. J. Math. Stat. 46(2), 177–192 (2017)
Akyol, M.A., Gündüzalp, Y.: Hemi-slant submersions from almost product Riemannian manifolds. Gulf J. Math. 4(3), 15–27 (2016)
Akyol, M.A., Ṣahin, B.: Conformal anti-invariant submersions from almost Hermitian manifolds. Turk. J. Math. 40, 43–70 (2016)
Allison, D.: Lorentzian Clairaut submersions. Geom. Dedicate 63(3), 309–319 (1996)
Beri, A., Kụpeli Erken, I., Murathan, C.: Anti-invariant Riemannian submersions from Kenmotsu manifolds onto Riemannian manifolds. Turk. J. Math. 40(3), 540–552 (2016)
Bishop, R.L.: Clairaut Submersions, Differential Geometry (in Honor of Kentaro Yano), pp. 21–31. Kinokuniya, Tokyo (1972)
Falcitelli, M., Ianus, S., Pastore, A.M.: Riemannian Submersions and Related Topics. World Scientific, Singapore (2004)
Gray, A.: Pseudo-Riemannian almost product manifolds and submersions. J. Math. Mech. 16, 715–737 (1967)
Gündüzalp, Y.: Anti-invariant Riemannian submersions from almost product Riemannian manifolds. Math. Sci. Appl. E-Notes 1(1), 58–66 (2013)
Gündüzalp, Y.: Slant submersions from almost product Riemannian manifolds. Turk. J. Math. 37, 863–873 (2013)
Gündüzalp, Y.: Anti-invariant pseudo-Riemannian submersions and Clairaut submersions from paracosymplectic manifolds. Mediterr. J. Math. 16, 94 (2019). https://doi.org/10.1007/s00009-019-1359-1
Gündüzalp, Y., Akyol, M.A.: Conformal slant submersions from cosymplectic manifolds. Turk. J. Math. 42, 2672–2689 (2018)
Gündüzalp, Y., Ṣahin, B.: Para-contact para-complex semi-Riemannian submersions. Bull. Malays. Math. Sci. Soc. 37(1), 139–152 (2014)
Ianus, S., Mazzocco, R., Vilcu, G.E.: Riemannian submersions from quaternionic manifolds. Acta Appl. Math. 104, 83–89 (2008)
Lee, J., Park, J.H., Ṣahin, B., Song, D.Y.: Einstein conditions for the base of anti-invariant Riemannian submersions and Clairaut submersions. Taiwan. J. Math. 19(4), 1145–1160 (2015)
O’Neill, B.: The fundamental equations of a submersion. Mich. Math. J. 13, 459–469 (1966)
Ṣahin, B.: Anti-invariant Riemannian submersions from almost Hermitian manifolds. Cent. Eur. J. Math 8(3), 437–447 (2010)
Ṣahin, B.: Slant submersions from almost Hermitian manifolds. Bull. Math. Soc. Sci. Math. Roumanie Tome. 54(102), 93–105 (2011)
Taṣtan, H.M., Gerdan, S.: Clairaut anti-invariant submersions from Sasakian and Kenmotsu manifolds. Mediterr. J. Math. 14(6), 235 (2017)
Watson, B.: Almost Hermitian submersions. J. Differ. Geom. 11(1), 147–165 (1976)
Yano, K., Kon, M.: Structures on Manifolds. World Scientific, Singapure (1984)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Gündüzalp, Y. Clairaut anti-invariant submersions from locally product Riemannian manifolds. Beitr Algebra Geom 61, 605–614 (2020). https://doi.org/10.1007/s13366-020-00488-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13366-020-00488-6