Abstract
We prove that every conformal submersion from a round sphere onto an Einstein manifold with fibers being geodesics is—up to an isometry—the Hopf fibration composed with a conformal diffeomorphism of the complex projective space of appropriate dimension. We also show that there are no conformal submersions with minimal fibers between manifolds satisfying certain curvature assumptions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
One of the common problems of Riemannian geometry and theory of foliations is the existence of foliations and distributions, satisfying certain geometric properties, on a given Riemannian manifold. Examining the natural representation of the product of orthogonal groups yields several interesting classes of distributions [14], described by their extrinsic geometry: totally geodesic, totally umbilical, and minimal. When the orthogonal distribution to the foliation belongs to one of these classes, we call the foliation Riemannian, conformal, or an \(\mathrm{SL}(q)\)-foliation (respectively), where q is the dimension of the distribution. Of special interest are those foliations for which both distributions, tangent and orthogonal to the leaves, belong to one (not necessarily the same) of the families in the above classification. The aim of this paper is to study one such case—of a conformal foliation with minimal fibers, with a particular focus on conformal fibrations of spheres (here always considered “round”, i.e., equipped with the standard Riemannian metric induced from Euclidean space) by great circles.
Fibrations of spheres by great circles have been thoroughly examined from the topological and differential point of view [6, 7]. It was established that they exist only on spheres of odd dimension, the leaf space of such fibration is diffeomorphic to the complex projective space of appropriate dimension [12], and that any such fibration deformation retracts to the Hopf fibration [15]. Fibrations of spheres, satisfying additional geometric assumption: giving rise to a Riemannian foliation by their fibers, were examined in [4, 18, 22]. A generalization of this assumption—when the fibration defines a conformal foliation, and its one-dimensional fibers are not necessarily great circles—was examined on the three-dimensional sphere in [10]. Due to these works, Riemannian submersions from spheres and conformal submersions from the 3-sphere are fully classified from the point of view of Riemannian geometry. They all can be related to the Hopf fibration by a pair of isometries (in Riemannian foliation case) or conformal diffeomorphisms (in the case of a conformal foliation of \(S^3\)) of their domain and image.
In this paper, we examine conformal submersions from round spheres of any odd dimension (greater than 3), with fibers being great circles, using direct methods of Riemannian geometry, introduced in [16], and applied to conformal submersions in [9]. This approach seems to require some assumptions on the geometry of the image of the submersion. Due to existence of solutions of the Yamabe problem [1, 19, 20, 23], one can freely assume that the image has constant scalar curvature—up to a conformal change of the metric. In this paper, a stronger assumption is considered—that the image of the submersion is conformal to an Einstein manifold. Thus, instead of conformally constant scalar curvature, we assume what might be viewed as a one-step stronger condition [2]—that some metric in the conformal class of the image has constant Ricci curvature.
We prove that the only Einstein manifold, that can be the image of a conformal submersion from the sphere with fibers being great circles, is isometric to the complex projective space with the Fubini-Study metric. Moreover, in this case, the submersion is the composition of the Hopf fibration and a conformal diffeomorphism of the complex projective space. In the second part of the paper, we examine conformal submersions with minimal fibers and find some restrictions on the scalar curvature of their image. These restrictions apply in particular to manifolds with metrics of constant scalar curvature, and, hence, can be expressed in terms of conformal classes of Riemannian metrics.
2 Definitions
Let (M, g), \((B, g_\mathrm{B})\) be smooth Riemannian manifolds, of dimensions m, b (resp.) satisfying inequality \(m \ge b\). Let \(\pi : (M,g) \rightarrow (B, g_\mathrm{B})\) be a submersion, i.e., a smooth mapping of maximal rank. For every \(q \in B\), the set \(\pi ^{-1}(q)\) is a submanifold of M, called the fiber of \(\pi\) over q. All the fibers of submersion \(\pi\) are submanifolds of dimension \(k = m - b\). Elements of TM tangent to the fibers form the smooth, integrable vertical distribution; its orthogonal complement with respect to g is called the horizontal distribution. Vectors and vector fields with values in the horizontal (resp. vertical) distribution will be called horizontal (resp. vertical). Orthogonal (with respect to g) projections onto the horizontal and vertical distributions will be denoted by \(\mathcal {H}\) and \(\mathcal {V}\), respectively.
Definition 1
Let (M, g), \((B, g_\mathrm{B})\) be smooth Riemannian manifolds. A submersion \(\pi : (M, g) \rightarrow (B, g_\mathrm{B})\) is called conformal (or: horizontally conformal) if its differential \(\pi _{*}\) restricted to the horizontal distribution of \(\pi\) is a conformal map, i.e., there exists a function \(f \in C^{\infty }(M)\), such that for all horizontal vectors X, Y, we have:
The function f in the above equation will be called the dilation of submersion \(\pi\); a conformal submersion with \(f=0\) is called a Riemannian submersion [16].
In what follows, \(\nabla\) will always denote the Levi-Civita connection on M and R—its curvature tensor, with convention \(R(X,Y)Z = \nabla _X \nabla _Y Z - \nabla _Y \nabla _X Z - \nabla _{[X,Y]} Z\). For all \(\phi \in C^\infty (M)\), we denote by \(\nabla \phi\) the gradient (with respect to g) of the function \(\phi\), i.e., \(g(\nabla \phi ,X) = X(\phi )\) for all \(X \in TM\), and by \({\text {Hess}}\phi\) its hessian, \({\text {Hess}}\phi (X,Y) = g(\nabla _X \nabla \phi , Y) = g(\nabla _Y \nabla \phi , X)\) for all \(X,Y \in TM\). Following O’Neill [16], we define a (1, 2)-tensor A by the formula:
where E, F are any smooth vector fields on M (one can show that the value of A at a point depends only on the values of these fields at that point). Recall that for all vectors E, the (1, 1) tensor \(A_E\) is antisymmetric with respect to g, i.e., \(g(A_E F, G) = - g(A_E G, F)\) for all \(E,F,G \in TM\). For all horizontal vectors X,Y, we have the following formula [9]:
Definition 2
Let \(\pi : (M, g) \rightarrow (B, g_\mathrm{B})\) be a submersion, let \(\{ X_{1} , \ldots , X_\mathrm{b} \}\) be an orthonormal basis of the horizontal distribution on M at the point p, \(\{ U_{1}, \ldots , U_{k} \}\) be an orthonormal basis of the vertical distribution at p, and \(\{ Y_{1} , \ldots , Y_\mathrm{b} \}\) be an orthonormal basis of the tangent space of B at the point q. Let \(R_\mathrm{B}\) denote the curvature tensor of the Levi-Civita connection on \((B, g_\mathrm{B})\). We define the quantities:
We will call \(S_{mix}\) the mixed scalar curvature of M and \(K_{\mathcal {H}}\) the horizontal scalar curvature of M; \(K_\mathrm{B}\) is the scalar curvature of B.
For linearly independent vectors \(X,Y \in T_pM\), the sectional curvature of the tangent plane \(X \wedge Y\) is defined as:
For vectors \(X_\mathrm{B}, Y_\mathrm{B} \in T_q B\), we analogously compute the sectional curvature of the tangent plane \(X_\mathrm{B} \wedge Y_\mathrm{B}\) and denote it by \(\sec _\mathrm{B}(X_\mathrm{B}, Y_\mathrm{B})\).
For all \(\phi \in C^{\infty }(M)\), analogously to the Laplacian:
where \(E_i\) form an orthonormal basis of the tangent space at a point, we introduce the Laplacian along fibers of \(\pi\), defined by the formula:
where \(\{ U_{1}, \ldots , U_{k} \}\) form an orthonormal basis of the vertical distribution at a point.
The Ricci tensor of a manifold \((B, g_\mathrm{B})\) will be denoted by \({\text {Ric}}_\mathrm{B}\). Recall that \((B,g_\mathrm{B})\) is Einstein if there exists \(\lambda _\mathrm{B} \in \mathbb {R}\), such that \({\text {Ric}}_\mathrm{B} = \lambda _\mathrm{B} g_\mathrm{B}\).
In Sect. 4, we will use the following tensor, describing extrinsic geometry of the fibers of a submersion.
Definition 3
Let \(\pi : (M, g) \rightarrow (B, g_\mathrm{B})\) be a submersion. We define the second fundamental form of the fibers as the (1, 2)-tensor h given by:
for all vertical U, V.
Note that \(h(U,V) = h(V,U)\). We define the mean curvature vector field H of the fibers, the value of which at \(p \in M\) is given by the formula \(H = \sum _{i=1}^k h(U_i , U_i)\), for an orthonormal basis \(\{ U_1 , \ldots , U_k \}\) of the vertical distribution at p. We call the fibers of a submersion minimal if \(H= 0\) on M. If \(h(U,V) = \frac{1}{k} g(U,V) H\) for all vertical U, V, then the fibers are called totally umbilical.
We will also use the following notation for the norm of a vector: \(\Vert E \Vert = \sqrt{ g(E,E)}\) for every vector E on a Riemannian manifold (M, g).
3 Conformal submersions from spheres with fibers being geodesics
We consider a conformal submersion from a sphere, the fibers of which are geodesics, and relate this submersion to the Hopf fibration. We consider only odd-dimensional spheres, as by topological arguments only those admit such submersions. Indeed, by the Ehresmann theorem, every submersion from a sphere defines a fibration [3]. A short argument [13] shows that a circle fibration defines a unit vector field on a 2–1 cover of the sphere (using a unit vector field tangent to fibers, determined up to sign), and hence—for spheres of dimension at least 2—a unit vector field on the sphere itself, as it is simply connected. Due to the Euler characteristic, such vector field can exist on a sphere of odd-dimension only.
In this section, g will always denote the round metric on a sphere.
Lemma 1
Let \(\pi : (S^{2n+1}, g) \rightarrow ( B , g_\mathrm{B})\), \(n>1\), be a conformal submersion with fibers being geodesics and let \(( B , g_\mathrm{B})\)be an Einstein manifold. Then, there exists a function \(\phi \in C^\infty (S^{2n+1})\), such that for all unit, horizontal \(X \in TS^{2n+1}\), we have:
Proof
All the formulas in this proof will be considered at a point \(p \in M\), but can be easily seen independent on the choice of that point. For \(X,Y \in T_p M\)—orthonormal, horizontal vectors, we have: [24]
The above equation can be obtained from the formula for a conformal change of the sectional curvature and the curvature relations for a Riemannian submersion [16].
Let \(X_{1}, \ldots , X_{2n}\) be an orthonormal basis of the horizontal distribution at \(p \in S^{2n+1}\). Then, for all \(i \in \{ 1, \ldots , 2n \}\), we have:
where the sums are taken over all vectors of the orthonormal basis except \(X_i\).
Let \(U \in T_p M\) be a unit vertical vector. Observe that since \(A_{X_{i}}X_{j}\) is vertical and the vertical distribution is spanned by U, we have:
also, since \(A_{X_{i}}U\) is horizontal and \(A_{X_i}\) is antisymmetric, from (3), we obtain:
Since \(\pi\) is a conformal submersion, \(\pi _{*}X_{i}\) and \(\pi _{*}X_{j}\) are orthogonal on \((B,g_\mathrm{B})\) for \(i \ne j\). As \((B, g_\mathrm{B})\) is Einstein, we have:
while on \(S^{2n+1}\):
Using the above with \(\varDelta f = \sum _{j=1}^{2n} {\text {Hess}}f (X_j, X_j) + {\text {Hess}}f (U,U)\) and \(\Vert \nabla f \Vert ^2 = \sum _{j=1}^{2n} (X_j(f))^2 + (U(f))^2\) in (6), we can obtain the following:
From the curvature formula for totally geodesic fibers and directions: vertical and horizontal [24], we obtain:
However, for fibers being geodesics, we have:
and on the sphere \(\sec (X_{i},U) = 1\). Using this together with (7) and (8) yields:
Note that the above equation does not depend on the choice of the unit horizontal vector \(X_{i}\). Hence, there exists a function \(\phi \in C^{\infty }(S^{2n+1})\)—the right-hand side of (9)—depending only on the dilation of f, such that for all unit, horizontal X equation (4) holds. \(\square\)
Proposition 1
Let \(\pi : ( S^{2n+1}, g) \rightarrow ( B , g_\mathrm{B})\), \(n>1\), be a conformal submersion with fibers being geodesics and let \((B,g_\mathrm{B})\) be Einstein manifold. Then, the dilation of \(\pi\) is constant along the fibers of \(\pi\).
Proof
Let \(\pi : ( S^{2n+1}, g) \rightarrow ( B , g_\mathrm{B})\), \(n>1\), be a conformal submersion with fibers being geodesics. Using Lemma 1, we can write (5) for all orthonormal, horizontal vectors \(X,Y \in T_p M\) as:
Let \(T^\sharp _U\) be defined by the formula \(g(T^\sharp _U X,Y) = g( \frac{1}{2} \mathcal {V} [X,Y] , U )\). Then, for orthonormal, horizontal X, Y, we have from (3) \(A_X Y = \frac{1}{2} \mathcal {V} [X,Y]\), and hence:
Using the fact that \(S^{2n+1}\) has constant curvature 1, we can write (10) as:
Let X be a unit horizontal vector at \(p \in M\). Let us introduce the following notation:
If \(T_U^\sharp X \ne 0\), the maximum of the right-hand side of (12) among all pairs of orthonormal, horizontal vectors X, Y is reached, by the Schwarz inequality, for \(Y = \pm T_U^\sharp X / \Vert T_U^\sharp X \Vert\). Note that \(g(X,T_U^\sharp X) = g(\frac{1}{2} \mathcal {V}[X,X] , U) =0\) and for all X, Y, such that Y is orthogonal to both X and \(T_U^\sharp X\), both sides of (12) attain their minimum on the set of pairs of linearly independent vectors from \(\mathcal {H}_p\). On the other hand, if \(T_U^\sharp X = 0\), then \(S(X) = s(X) = e^{2f} + 2e^{2f} \phi - e^{2f}\Vert \nabla f \Vert ^2\).
Hence, by the above remark:
and for all Y orthogonal to both X and \(T_U^\sharp X\), we have:
It shows that \(s=s(X)\) in fact does not depend on \(X \in \mathcal {H}_p\). If \(T_U^\sharp X = 0\), we obtain that \(S(X) = s(X) =s\). If \(T_U^\sharp X \ne 0\), using the assumption that \((B,g_\mathrm{B})\) is Einstein and taking an orthonormal basis \(X_n\) of \(\mathcal {H}_p\) where \(X_1 = X\) and \(X_2 = T_U^\sharp X / \Vert T_U^\sharp X \Vert\), we obtain:
and it follows that \(S=S(X)\) also does not depend on \(X \in \mathcal {H}_p\). Comparing (14) and (15), we obtain for all unit horizontal vectors X:
Note that from definition (13) and independence of S and s on X, it follows that:
As \(\pi _*\) is an isomorphism between \(\mathcal {H}_p\) and \(T_{\pi (p)}B\), it follows that \(S-s\) is a function on B, constant on the fiber \(\pi ^{-1} (\{p\})\).
Assume that \(T_U^\sharp \ne 0\) at \(p \in M\). In what follows, we consider an orthonormal basis of \(\mathcal {H}_p\), such that for all odd \(1 \le i < 2n = \dim B\), we have \(X_{i+1} = T_U^\sharp X_i / \Vert T_U^\sharp X_i \Vert\).
For a unit vertical field U, we have:
where in the last line we used (16).
Let U be a unit vertical vector field. We have for all horizontal vectors X, Y:
Since fibers are geodesic and U is a unit field, we also have for all horizontal X:
and
Let \(\phi _t\) denote the flow of U. We have [11]:
From (20) and \([U,U]=0\), it follows that \(\phi _t\) preserves both horizontal and vertical distribution. Hence, for \(X,Y \in \mathcal {H}_p\), we have:
Solving the above ODE, we obtain:
which we can write as:
On the other hand, (21) implies that:
Let \(X_i\) be an orthonormal basis of \(\mathcal {H}_p\). Then, from (22), it follows that vectors:
form an orthonormal basis at \(\mathcal {H}_{\phi _{s} (p)}\) and by (23) \(\phi _{{s}*} U\) is unit. The norm of \(T_U^\sharp\) at \(\phi _{s} (p)\) can be computed using \(Y_i\), and thus equals to:
Hence, if \(T_U^\sharp X \ne 0\) for some \(X \in \mathcal {H}_p\), then along the fiber through p, we have \(\Vert T_U^\sharp \Vert ^2 = c e^{-4f}\) for some \(c > 0\). From (18), we obtain:
along the fiber through p, and it follows that f is constant along all fibers through points where \(T_U^\sharp \ne 0\).
If \(T_U^\sharp = 0\) at \(p \in M\), then from (24), it follows that \(T_U^\sharp =0\) along the fiber through p. Let \(N \subset B\) be the set of points \(q \in B\), such that \(T_U^\sharp =0\) on the fiber \(\pi ^{-1}(\{q\})\). We will show that f is constant along fibers over N.
Suppose that q is an interior point of N, i.e., there exists an open set \(V \subset N\) with \(q \in V\). Then, \(W = \pi ^{-1}(V)\) is an open subset of \(S^{2n+1}\), and at every point \(p \in W\), we have \(T_U^\sharp = 0\). But then, the horizontal distribution \(\mathcal {H}\) of \(\pi\) is integrable on the open set W, and so on W, there exists a foliation \(\mathcal {F}\) tangent to \(\mathcal {H}\). As \(\pi\) is a conformal fibration by geodesics, \(\mathcal {F}\) is a codimension one Riemannian foliation of W with all leaves totally umbilical, orthogonal to a disjoint family of great circles. As \(W \subset S^{2n+1}\), leaves of \(\mathcal {F}\) must be intersections of \(S^{2n+1}\) with parallel \((2n+1)\)-dimensional planes, and, hence, cannot be orthogonal to any disjoint family of great circles. Thus, set N has empty interior.
If \(q \in N\), then it is not an interior point of N, and hence, there exists a sequence \(q_n \rightarrow q\), where \(q_n \notin N\). As we proved above, f is constant along all the fibers \(\pi ^{-1}( \{ q_n \})\), and by continuity of f, it must be constant along the fiber \(\pi ^{-1}(\{q\})\). Therefore, f is constant along the fibers over N, and, hence, along all fibers of \(\pi\). \(\square\)
Corollary 1
Let \(\pi : ( S^{2n+1} , g ) \rightarrow ( B , g_\mathrm{B})\), \(n>1\), be a conformal submersion with fibers being geodesics and let \((B,g_\mathrm{B})\)be an Einstein manifold. Then, there exist isometries \(\varLambda : (\mathbb {C}P^n, g_\mathrm{FS}) \rightarrow ( B , g_\mathrm{B})\), \(\Upsilon : ( S^{2n+1} , g ) \rightarrow ( S^{2n+1} , g )\)and a conformal diffeomorphism \(\Phi\)of \(\mathbb {C}P^n\), such that \(\pi = \varLambda \circ \Phi \circ \pi _\mathrm{H} \circ \Upsilon\), where \(\pi _\mathrm{H}\)is the Hopf fibration and \(g_\mathrm{FS}\)is the Fubini-Study metric.
Proof
From Proposition 1, it follows that \(f = h \circ \pi\) for some function \(h \in C^\infty (B)\). Considering metric \(g_h = e^{-2h} g_\mathrm{B}\) on B, we obtain a Riemannian submersion \(\pi : (S^{2n+1} , g ) \rightarrow (B , g_h)\), and by the classification from [4], it follows that there exist isometries \(\varPsi : ( \mathbb {C}P^n , g_\mathrm{FS}) \rightarrow (B,g_\mathrm{h})\) and \(\Upsilon : ( S^{2n+1} , g ) \rightarrow ( S^{2n+1} , g )\), such that \(\pi = \varPsi \circ \pi _\mathrm{H} \circ \Upsilon\).
Moreover, as \(\varPsi ^{-1}\) is an isometry, \(g_\mathrm{h} = (\varPsi ^{-1})^*g_\mathrm{FS}\) is an Einstein metric on B. As metrics \(g_\mathrm{h}\) and \(g_\mathrm{B}\) are conformal and both have constant scalar curvatures, it follows from [17] that there exists an isometry \(\varXi : (B, g_\mathrm{h}) \rightarrow (B, g_\mathrm{B})\) and since \(g_\mathrm{h} = e^{-2h}g_\mathrm{B}\), \(\varXi\) is a conformal diffeomorphism of \((B, g_\mathrm{h})\). Let \(\Phi = \varPsi ^{-1} \circ \varXi ^{-1} \circ \varPsi\), then \(\Phi\) is a conformal diffeomorphism of \((\mathbb {C}P^n , g_\mathrm{FS})\), and we have:
It remains to show that \(\varLambda = \varXi \circ \varPsi\) is an isometry from \((\mathbb {C}P^n , g_\mathrm{FS})\) to \((B, g_\mathrm{B})\). Indeed:
\(\square\)
Clearly, the same argument applies for submersions \(\pi : ( S^{2n+1} ,g ) \rightarrow ( B , e^{2\psi } g_\mathrm{B})\), \(n>1\), where \(\psi \in C^\infty (B)\) and \(g_\mathrm{B}\) is an Einstein metric. In fact, we have the following.
Corollary 2
Let \(\pi : ( S^{2n+1} , g ) \rightarrow ( B , g_\mathrm{B})\), \(n>1\), be a conformal submersion with fibers being geodesics, and let \((B,g_\mathrm{B})\)be conformal to an Einstein manifold. Then, \(\pi = \Phi \circ \pi _H \circ \Upsilon\), where \(\pi _\mathrm{H}\)is the Hopf fibration, \(\Upsilon\)is an isometry of \(( S^{2n+1} , g )\), \(\Phi : (\mathbb {C}P^n , g_\mathrm{FS}) \rightarrow (B, g_\mathrm{B})\)is a conformal diffeomorphism, and \(g_\mathrm{FS}\)is the Fubini-Study metric.
Proof
The proof follows from Corollary 1 for an Einstein manifold \((B, g_\mathrm{E})\) conformal to \((B, g_\mathrm{B})\), by composing the map \(\varLambda \circ \Phi \circ \pi _H \circ \Upsilon\) obtained there with the conformal map from \((B,g_\mathrm{E})\) to \((B,g_\mathrm{B})\). \(\square\)
4 Curvature of the image of a conformal submersion with minimal fibers
Unlike Riemannian submersions [16], conformal submersion do not yield any obvious pointwise estimates for curvatures of their images. The relations between curvatures of the domain and the image of a conformal submersion contain the dilation of the submersion and its (first and second) derivatives, which can be made arbitrary at a single point by composing given submersion with a conformal diffeomorphism of its image. This part of the paper continues author’s previous work [24] to obtain some global curvature conditions for existence of conformal submersions with fibers of particular geometry.
Let \(\pi : (M,g) \rightarrow (B,g_\mathrm{B})\) be a conformal submersion with minimal fibers. Recall the notation \(b= \dim B\). Using the formula from [21], we can express the mixed scalar curvature \(S_\mathrm{mix}\) in the following way:
where h is the second fundamental form of the fibers (see Definition 3) and:
for any orthonormal basis \(\{ U_{1}, \ldots , U_{k} \}\) of the vertical distribution.
Let \(\{ X_{1}, \ldots X_\mathrm{b} \}\) be an orthonormal (with respect to g) basis of the horizontal distribution of \(\pi\). Then, from (5), which holds for any conformal submersion, we obtain:
For minimal fibers and an orthonormal basis of the vertical distribution \(\{ U_{1} , \ldots , U_{k} \}\), we have:
Using the above in (26), we obtain the following.
Proposition 2
Let \(\pi : (M, g) \rightarrow (B, g_\mathrm{B})\)be a conformal submersion with minimal fibers and let \(\{ X_{1} , \ldots , X_\mathrm{b} \}\)be an orthonormal basis of the horizontal distribution on M. Then, the following equality holds:
where \(\varDelta\) denotes the Laplacian on M.
Using similar formulas, some existence conditions were formulated for conformal submersions with totally umbilical fibers [24], in particular the following.
Proposition 3
Let M be a closed manifold with non-positive sectional curvature. Then, there exist no conformal submersions with totally umbilical fibers from M onto a non-flat manifold of non-negative scalar curvature.
Below, we prove an analogous result: with the opposite signs of considered curvatures and for conformal submersions with minimal fibers.
Lemma 2
Let \(\pi : (M,g) \rightarrow (B,g_\mathrm{B})\)be a conformal submersion with minimal fibers. For any integer \(c > 1\), the following differential operator acting on \(C^{\infty }(M)\)is elliptic:
If \(b>2\), we have:
and if \(b=2\), we have:
Proof
Suppose that \(\pi : (M,g) \rightarrow (B, g_\mathrm{B})\) is a conformal submersion with minimal fibers and assume that \(b>1\). Then, (25) and (27) yield:
Since the fibers are minimal, we have at any point \(p \in M\):
where vectors \(U_{i}\), \(i \in \{ 1, \ldots , k\}\) form an orthonormal basis of the vertical subspace at p. Hence, for all \(\phi \in C^{\infty }(M)\):
where vectors \(U_{i}\), \(i \in \{ 1, \ldots , k\}\) form an orthonormal basis of the vertical subspace and vectors \(X_{j}\), \(j \in \{ 1, \ldots , b\}\) form an orthonormal basis of the horizontal subspace. From (31), it follows that operators \(\mathcal {L}_{b}\) are elliptic for \(b>1\). Using the fact that for all vectors \(X \in TM\), we have:
and rearranging terms of (30), we eventually obtain (28) for \(b>2\) and (29) for \(b=2\).
Proposition 4
Let (M, g) be a closed Riemannian manifold of non-negative sectional curvature and let \((B, g_\mathrm{B})\)be a closed Riemannian manifold of non-positive scalar curvature. If there exists a conformal submersion \(\pi\)with minimal fibers from (M, g) onto \((B, g_\mathrm{B})\), then:
-
1.
\((B, g_\mathrm{B})\)is a flat manifold.
-
2.
(M, g) is locally a metric product of a flat manifold and a manifold of non-negative curvature.
-
3.
If \(b > 1\), submersion \(\pi\)has constant dilation.
-
4.
If \(b = 1\), submersion \(\pi\)has dilation constant along fibers.
Proof
By the assumptions on the curvatures of (M, g) and \((B, g_\mathrm{B})\) for \(b>2\), we have from (28):
and for \(b=2\), (29) yields:
Operators \(- \mathcal {L}_{b}\) for \(b>1\) are elliptic and vanish on constant functions. Hence, they satisfy the strong maximum principle [5] and from inequality (32) or (33) and the assumption that M is closed, we obtain that \(f = const\), and \(\pi : (M,g) \rightarrow (B, e^{2f} \cdot g_\mathrm{B})\) is a Riemannian submersion. From the results on Riemannian submersions [4]—or (30) for \(f=0\)—it follows that \((B, e^{2f} \cdot g_\mathrm{B})\) is flat, and hence, so is \((B, g_\mathrm{B})\), as \(f=const\); fibers of \(\pi\) are totally geodesic, i.e., \(\Vert h \Vert =0\), and all sectional curvatures on (M, g) of planes with at least one horizontal direction vanish.
The fundamental equation [16] for the Riemannian submersion \(\pi : (M,g) \rightarrow (B, e^{2f} \cdot g_\mathrm{B})\) for horizontal, orthonormal vectors X and Y yields
from which it follows that \(A=0\) and the horizontal distribution is integrable and totally geodesic. Since the fibers of the submersion are totally geodesic, (M, g) is locally a metric product [8] of a flat manifold and a manifold of non-negative curvature.
For \(b=1\), note that for a unit vector X in the only horizontal direction, we have:
Equation (25) yields:
and it follows that the dilation f is constant along the fibers of \(\pi\), which implies in (34) that \(A=0\). Again, we can consider Riemannian submersion \(\pi : (M,g) \rightarrow (B, e^{2f} \cdot g_\mathrm{B})\) with 1-dimensional (and hence integrable) geodesic horizontal distribution. \(\square\)
Corollary 3
There are no conformal submersions with minimal fibers from a closed manifold of non-negative curvature onto a non-flat manifold with non-positive scalar curvature.
Together with Proposition 3, Corollary 3 yields the following.
Corollary 4
Let (M, g) be a closed Riemannian manifold and let \(\pi : (M,g) \rightarrow (B,g_\mathrm{B})\)be a conformal submersion with totally geodesic fibers. If the sectional curvature of (M, g) and the scalar curvature of \((B,g_\mathrm{B})\)are of constant signs, then they are of the same sign.
If \(\pi : (M,g) \rightarrow (B,g_\mathrm{B})\) is a conformal submersion, then \(\pi : (M,g) \rightarrow (B,e^{2\psi } g_\mathrm{B})\) is a conformal submersion for every \(\psi \in C^\infty (B)\). For \(K_\mathrm{B} < 0\), inequalities (32), (33) become sharp and thus cannot be satisfied by any \(f \in C^\infty (M)\) on a closed manifold M. Hence, we obtain the following result.
Corollary 5
Let \((B,g_\mathrm{B})\)be a closed Riemannian manifold. If, in the conformal class of \(g_\mathrm{B}\), there exists a metric with negative scalar curvature, then there are no conformal submersions with minimal fibers from a closed manifold (M, g) onto \((B, g_\mathrm{B})\), such that \(K_{\mathcal {H}} + 3 S_\mathrm{mix} \ge 0\). In particular, there are no conformal submersions with minimal fibers onto \((B,g_\mathrm{B})\)from closed manifolds with non-negative sectional curvature.
Note that from the existence of solutions to Yamabe problem, it follows that every class of conformal metrics has a metric of constant scalar curvature. Thus, the above corollary limits conformal classes of Riemannian manifolds that may be images of certain conformal submersions.
References
Aubin, T.: Equations differentielles non lineaires et probleme de Yamabe concernant la courbure scalaire. J. Math. Pures Appl. 55, 269–296 (1976)
Besse, A.L.: Einstein Manifolds. Springer-Verlag, Berlin (1987)
Ehresmann, C.: Les connexions infinitesimales dans un espace fibre differentiable, Colloque de topologie (espaces fibres), Bruxelles, 1950, Georges Thone, pp. 29–55. Liege; Masson et Cie, Paris (1951)
Escobales Jr., R.H.: Riemannian submersions with totally geodesic fibers. J. Differ. Geom. 10(2), 253–276 (1975)
Evans, L.C.: Partial Differential Equations. AMS, Providence (1998)
Gluck, H., Warner, F.W.: Great circle fibrations of the three-sphere. Duke Math. J. 50, 107–132 (1983)
Gluck, H., Warner, F., Yang, C.T.: Division algebras, fibrations of spheres by great spheres and the topological determination of space by the gross behavior of its geodesics. Duke Math. J. 50, 1041–1076 (1983)
Gromoll, D., Walschap, G.: Metric Foliations and Curvature. Birkhauser, Basel (2009)
Gudmundsson, S.: On the geometry of harmonic morphisms. Math. Proc. Camb. Philos. Soc. 108, 461–466 (1990)
Heller, S.G.: Conformal fibrations of \(S^{3}\) by circles. In: Loubeau, E., Montaldo, S. (eds.) Harmonic Maps and Differential Geometry, pp. 195–202, Contemp. Math. 542, AMS, Providence (2011)
Kobayashi, S., Nomizu, N.: Foundations of Differential Geometry I. Interscience, New York (1963)
McKay, B.: The Blaschke conjecture and great circle fibrations of spheres. Am. J. Math. 126(5), 1155–1191 (2004)
McKay, B.: The Blaschke conjecture and great circle fibrations of spheres, arXiv:math/0112027 [math.DG]
Naveira, A.M.: A classification of Riemannian almost-product manifolds. Rend. Mat. 7(3), 577–592 (1983)
Cahn, P., Gluck, H., Nuchi, H.: Germs of fibrations of spheres by great circles always extend to the whole sphere. Algebra Geom. Topol. 18, 1323–1360 (2018)
O’Neill, B.: The fundamental equations of a submersion. Mich. Math. J. 13, 459–469 (1966)
Obata, M.: Certain conditions for a Riemannian manifold to be isometric with a sphere. J. Math. Soc. Jpn. 14, 333–340 (1962)
Ranjan, A.: Riemannian submersions of spheres with totally geodesic fibers. Osaka J. Math. 22, 243–260 (1985)
Schoen, R.: Conformal deformation of a Riemannian metric to constant scalar curvature. J. Differ. Geom. 20, 479–495 (1984)
Trudinger, N.: Remarks concerning the conformal deformation of Riemannian structures on compact manifolds. Ann. Scuola Norm. Sup. Pisa 22, 265–274 (1968)
Walczak, P.: An integral formula for a Riemannian manifold with two orthogonal complementary distributions. Colloq. Math. 58, 243–252 (1990)
Wilking, B.: Index parity of closed geodesics and rigidity of Hopf fibrations. Invent. Math. 144, 281–295 (2001)
Yamabe, H.: On a deformation of Riemannian structures on compact manifolds. Osaka Math. J. 12, 21–37 (1960)
Zawadzki, T.: Existence conditions for conformal submersions with totally umbilical fibers. Differ. Geom. Appl. 35, 69–85 (2014)
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
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Zawadzki, T. On conformal submersions with geodesic or minimal fibers. Ann Glob Anal Geom 58, 191–205 (2020). https://doi.org/10.1007/s10455-020-09720-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10455-020-09720-x