A LIOUIIE-TYPE TEOREMS FOR SOME CLASSES OF COMPLETE RIEMANNIAN ALMOST PRODUCT MANIFOLDS AND FOR SPECIAL MAPPINGS OF COMPLETE RIEMANNIAN MANIFOLDS SERGEY STEPANO Abstract. In the present paper we prove Liouville-type theorems: non-existence theorems for some complete Riemannian almost product manifolds and submersions of complete Riemannian manifolds which generalize similar results for compact manifolds. Keywords: complete Riemannian manifold, two complementary orthogonal distributions, submersion, non-existence theorems. Mathematical Subject Classification 53C5; 53C0; 53C3. Introduction S. Bochner devised an analytic technique to obtain non-existence theorems for some geometric objects on a closed (compact, boundaryless) Riemannian manifold, under some curvature assumption (see []). Currently, there are two different points of view about classical Bochner technique; the first one uses the Green s divergence theorem, and the second uses the opf s theorem which were obtained from the Stokes s theorem and classical maximum principle for compact Riemannian manifold, respectively. In particular, a good account of applications of the Bochner technique in differential geometry of Riemannian almost product manifolds and submersions may be found in []. We recall here that a Riemannian almost product manifold is a Riemannian manifold (M, g) equipped with two complementary orthogonal distributions. For instance, the total space of any submersion of an arbitrary Riemannian manifold onto another Riemannian manifold admits such a structure. In the present paper we will use a generalized Bochner technique: our proofs will be based on generalized divergence theorems and a generalized maximal principle for complete, noncompact Riemannian manifolds (see [3]). We will prove Liouville type non- -existence theorems for some complete, noncompact Riemannian almost product manifolds, conformal and projective diffeomorphisms and submersions of complete, noncom- Stepanov Sergey Department of Mathematics, Finance University under the Government of Russian Federation, Leningradsky Prospect, 49-55, 5468 Moscow, Russian Federation e-mail: s.e.stepanov@mail.ru The author was supported by RBRF grant 6-0-00053-а (Russia).
pact Riemannian manifolds which generalize similar well known results for closed manifolds. This paper is based on our report on the conference Differential Geometry and its Applications (July -5, 06, Brno, Czech Republic).. Three global divergence theorems Let (M, g) an n-dimensional oriented Riemannian manifold (M, g) with volume form d ol g = det g dx... n dx for positively oriented local coordinates n x,..., x. Then we can define the divergence div X of the vector field X via the formula ( ix d olg ) ( div X ) d olg i X d = where denotes contraction with X (see [4, p. 8-83]). Furthermore, if ω is an (n )-form on (M, g), then we can write ω = i d ol where X X g = g ω for the odge star operator relative to g. Thus when ω is an (n )-form with compact support in an orientable n-dimensional Riemannian manifold (M, g) without boundary, the Stokes theorem dω = 0 follows the classic Green divergence theorem ( div X ) М d ol g = 0 M if the vector field X has compact support in a (not necessarily oriented) Riemannian manifold (M, g) (see [5, p. ]). On the other hand, there are some L p (M, g)-extensions of the classical Green divergence theorem to complete, noncompact Riemannian manifolds without boundary. Firstly, we formulate the following (see [6]) Theorem. Let (M, g) be geodesically complete Riemannian manifold and X be a smooth vector field on (M, g) which satisfies the conditions X L ( M, g) div X L ( M, g and, then div X d ol g = 0 where X is a norm of the vector field X ) ( ) M induced by the metric g. Later, L. Karp showed in [7] the generalized version of Theorem. Namely, he has provided the following theorem. Theorem. Let (M, g) be a complete, noncompact Riemannian manifold and X be a smooth vector field on (M, g) which satisfies the condition
lim inf X d olg = 0 (.) r B( r ) B( r ) r for the geodesic ball B(r) of radius r with the center at some fixed x M integral (i.e. if either (div X) + or (div X) is integrable) then ( X ). If div X has an div d ol g = 0. In particular, from the above theorem we conclude that if outside some compact set div X is everywhere 0 (or 0) then ( X ) div d ol g = 0. M In conclusion, we formulate the third generalized Green s divergence theorem (see [8]; [9]), which can be regarded, as a consequence of the above two theorems and Yau lemma from [0]. Theorem 3. Let X be a smooth vector field on a connected complete, noncompact and oriented Riemannian manifold (M, g), such that div X 0 (or div X 0) everywhere on (M, g). If the norm X L ( M, g), then div X = 0. The Laplace-Beltrami operator of any f C M is defined as Δ f = div ( grad f ) where grad f is the unique vector field that satisfies ( X,grad f ) df ( X ) M g = for all vector fields X g on M. The scalar function f C M is said to be harmonic if it satisfies Δ f = 0. It is well known, that if f C M is a harmonic function on any complete Riemannian manifold satisfying f p L ( M, g) for some < p <, then f is constant (see [0]). In addition, we recall that the scalar function f C M is called subharmonic (resp. superharmonic) if Δ f 0 (resp. Δ f 0). In particular, if (M, g) is compact then every harmonic (subharmonic and superharmonic) function is constant by the opf s theorem. On the other hand, Yau has proved in [0] that any subharmonic function f defined on a complete, noncompact Riemannian manifold with M C M df d g < is harmonic. Then based on this statement (or on the Theorem 3) we conclude that the following lemma is true. Lemma. If (M, g) is a complete, noncompact Riemannian manifold, then any superharmonic function f C M with gradient in L ( M,g) is harmonic.
Proof. Let (M, g) be a complete Riemannian manifold and f be a scalar function such that f C M, Δ 0 f and grad f L ( M, g). If we suppose that ϕ = f then the above conditions can be written in the form ϕ C M, Δ ϕ 0 and grad ϕ L ( M, g). In this case, from the Yau statement we conclude that Δ ϕ = 0 and hence f = ϕ is a harmonic function. 3. Liouville-type theorems for some complete Riemannian almost product manifolds Let (M, g) be an n-dimensional ( п ) Riemannian manifold with the Levi-Civita connection and TM = be an orthogonal decomposition of the tangent bundle TM into vertical and horizontal distributions of dimensions n m and m, respectively. We shall use the symbols and to denote the orthogonal projections onto and, respectively. In this case we can define a Riemannian almost product manifold (see []) as the triple (M, g, P) for P =, where (M, g) is a Riemannian manifold M and P is a (,)-tensor field on M satisfying PP = id and g (P, P) = g. In addition, the eigenspaces of P corresponding to the eigenvalues and, at each point, determine two orthogonal complementary distributions and. The second fundamental form Q and the integrability tensor F of are define by (see [, p. 48]) Q = ( Y + X ), F = ( Y X ) X Y for any smooth vector fields X and Y on M. It is well known that Q vanishes if and only if is a totally geodesic distribution. We recall that a distribution on a Riemannian manifold is totally geodesic if each geodesic which is tangent to it at point remains for its entire length (see [, p. 50]). On the other hand, F vanishes if and only if is an integrable distribution. A maximal connected integral manifold of is called a leaf of the foliation. The collection of leafs of is called a foliation of M. By interchanging and we define the corresponding tensor fields Q and F for =. We define now the ed scalar curvature of (M, g) as the function X Y
s = m n a= α = m+ sec ( E, E ) a α where sec ( E a,eα ) is the sectional curvature of the ed plane π = span{ Ea, Eα } for the local orthonormal frames { E,..., E m } and { E m +,..., E n } on TM adapted to and, respectively (see []; [3, p. 3]). It is easy to see that this expression is independent of the chosen frames. With this in hand we can now state the formula which can be found in [4] and [5]. Namely, the following formula: div ( ξ ξ ) = + where = trace = s + Q + Q F F ξ + ξ (.) Q ξ g and g ξ = trace Q are the mean curvature vectors of and, respectively (see []; [, p. 49]). п т g, Assume that and are totally umbilical distributions, i.e. ( ) ( ) and Q = т g (, ) ξ rewrite in the form (see [5]; [6]; [7]) div( ξ ξ )= s + Q = ξ (see []; [, p. 5]). In this case the formula (.) can be п т п т т F F ξ + ξ (.) If in addition to the assumption above we now suppose that (M, g) is a connected complete and oriented Riemannian manifold without boundary and with nonpositive ed scalar curvature s, then from (3.) we obtain the inequality div ( ξ ξ ) 0 same time, + ξ L ( M, g т +. If at the ξ ) then by Theorem 4 we conclude that div ( + ξ ) = 0 ξ. In this case, from (3.) we obtain ξ = ξ = N = 0. It means that and are two integrable distributions with totally geodesic integral manifolds (totally geodesic foliations). We fix now a point х М and let and М be the maximal integral manifolds of distributions through x, respectively. Then by the de Rham decomposition theorem (see [4, p. 87]) we conclude that if (M, g) is a simply connected Riemannian manifold then it is isometric to the direct product М ( M M, g ) of some Riemannian g manifolds ( M, ) and (, ) for the Riemannian metric and g which induced by g M g g g on and М, respectively. In addition, we recall that every simply connected mani- М
fold M is orientable. Summarizing, we formulate the statement which generalizes a theorem on two orthogonal complete totally umbilical distributions on compact Riemannian manifold with non positive ed scalar curvature that has been proved in []; [5]; [6] and [8]. Theorem 4. Let (M, g) be a complete, noncompact and simply connected Riemannian manifold with two orthogonal complementary totally umbilical distributions and such that their mean curvature vectors ξ and ξ satisfy the condition ξ + ξ L ( M, g). If the ed scalar curvature of (M, g) is nonpositive then and are integrable and (M, g) is isometric to a direct product ( M M, g ) some Riemannian manifolds (, g ) and M (, ) g s correspond to the canonical foliations of the product M M. of g M such that integral manifolds of and We consider now an (n )-dimensional totally geodesic distribution on (M, g). In this case the formula (.) can be rewrite in the form (see [5]) div ξ = s (.) F where frame s m = sec α = { e,...,en} ( e,e ) = Ric( e, e at a point α ) is the vertical Ricci curvature for an orthonormal x M such that x = { } span e and x = { } span e,...,e n. ence, an immediate consequence of (.) and Theorem 4 is following Corollary. Let (M, g) be an n-dimensional complete noncompact and simply connected Riemannian manifold with (n )-dimensional totally geodesic horizontal distribution. If the vertical Ricci curvature of (M, g) is nonpositive and ξ L ( M, g) for the mean curvature vector of, then is integrable and (M, g) is isometric to a direct product ( M g M, g ) of Riemannian manifolds (, ) dim M = the product M. g ( g M and M, ) such that and integral manifolds of and correspond to the canonical foliations of M The integral formula (.) can be reformulated as follows (see []) div ξ + div ξ = 4s + P F F. (.3)
m n ( E a ) ( a a= E α ) α = m+ where div ξ = g ξ, E and div ξ = g ξ, E. If and are inte- α grable distributions then (.3) can be rewrite in the form div ξ + div ξ = 4s + P. (.4) Suppose now that all integral manifolds of the vertical distribution are minimal submanifolds of the Riemannian manifold (M, g) and s 0. Then from (.4) we obtain div ξ = s + P 0. (.5) If at least one connected complete and oriented maximal integral manifold M of exists. We assume that M equipped with the Riemannian metric g inherited from (M, g) such that ξ L ( M, g ) for the mean curvature vector Н М at each point x M. Then by applying Theorem 3 to ξ Н 4 ξ of = which belongs to, from (.5) we get g div ξ = 0. Therefore, if all integral manifolds of are connected complete and oriented minimal submanifolds of the Riemannian manifold (M, g) and ξ Н is a L -vector field for every of them, then Р = 0. In this case and are two integrable distributions with totally geodesic integral manifolds (totally geodesic foliations) on (M, g) (see []). If at the same time, (M, g) is complete, noncompact and simply connected Riemannian manifold then by the de Rham decomposition theorem (see [4, p. 87]) it is isometric to the direct product ( M M, g ) of some Riemannian manifolds (, ) (, g g M and M ) for the Riemannian metric and which induced by g on and М, respectively. Summarizing, we formulate the statement which generalizes the main theorem of []. g g g М Theorem 5. Let (M, g) be complete, noncompact and simply connected Riemannian manifold. If the following three conditions are satisfied: ) (M, g) admits an integrable distribution such that an arbitrary integral manifold ( M, g ) of which equipped with the Riemannian metric g inherited from (M, g) is a connected complete and oriented minimal submanifold of (M, g);
) the orthogonal complementary distribution = is also integrable and its mean curvature vectors ξ satisfies the condition L ( M,g ) ξ ; 3) the ed scalar curvature s 0, then (M, g) is isometric to a direct product ( M g M, g ) of some Riemannian manifolds ( M, ) and M, ) such that integral manifolds of and correspond to the canonical foliations of the product M M. g ( g Remark. If in addition, at least one closed integral manifold M of exists, then, by applying the classic Green divergence theorem to ξ where М dol is the volume form of ( M,g ) g ( 8s + P ) dolg = 0. If ( M,g ), from (.5) we get is non-oriented we can consider its orientable double cover. In this case the inequality s > 0 is a condition of nonexistence of two orthogonal complementary foliations one of which consists of minimal submanifolds. 3. Applications to the theory of projective mappings of Riemannian manifolds We recall here the definition of pregeodesic and geodesic curves. Namely, a pregeodesic curve is a smooth curve γ : t J R γ ( t) M on a Riemannian manifold (M, g), which becomes a geodesic curve after a change of parameter. Let us change the parameter along γ so that t becomes an affine parameter. Then Х Х = 0 for Х = dγ dt, and γ is called a geodesic curve. By analyzing of the last equation, one can conclude that either γ is an immersion, i.e., dt 0 dγ for all t J, or ( t) γ is a point of M. Let (M, g) and ( M, g ) be Riemannian manifolds of dimension n. Then a smooth map : ( M, g) ( M g ) of Riemannian manifolds is a projective map if ( γ ) f, f is a pregeodesic in ( M, g ) for an arbitrary pregeodesic γ in (M, g) (see [9]). In particular, if a projective map f ( M,g) ( M, g : ) is called totally geodesic if it maps linearly parametrized geodesics of (M, g) to linearly parametrized geodesics of ( M, g ). An equiva-
lent definition is that f is connection-preserving, or affine. The global structure of these maps is investigates in the paper [0]. For a projective diffeomorphism f ( M,g) ( M,g ) : we have (see [, p. 35]) ( n )( dψ dψ dψ ) Ric = Ric + (3.) where Ric and Ric denote the Ricci tensors of (M, g) and ( M,g ), respectively, and for some constant C. Now we can formulate the following det g ψ = log + С (3.) ( n + ) det g Theorem 6. Let (M, g) be a connected complete, noncompact Riemannian manifold and f ( M,g) ( M, g : ) be a projective diffeomorphism onto another Riemannian manifold ( M, g ) such that Ric s trace g for the Ricci tensor Ric of (,g ) M and the scalar curva- det g ture s of (M, g). If the gradient of the function log has integrable norm on (M, g) det g then f is affine map. Proof. We conclude immediately from (3.) that Let ( trace Ric s) grad ψ Δ ψ = g + (3.3) n trace g Ric s then (3.3) shows Δψ 0. If (M, g) is a complete, noncompact Rie- mannian manifold and grad L ( M,g) ψ then by the Yau statement (see [0, p. 660]) we conclude that Δψ = 0 and ψ must be harmonic on (M, g). At the same time, we see from (3.3) that ψ is constant. Then according to the formula (40.8) from [, p. 33] we obtain g = 0. ence by [0], f is affine map. Let (M, g) and ( M, g ) be Riemannian manifolds of dimension n and m such that n > m. A surjective map f ( M, g) ( M, g : ) is a submersion if it has maximal rank m at any point x of M, that is, each differential map case, f ( y) for an arbitrary x (M, g) (see [, p.]). We call the submanifolds f ( y) of f is surjective, hence, for у М. In this у М is an (n m)-dimensional closed submanifold М of fibers.
Putting x ( ) х = Ker f, for any x M, we obtain an integrable vertical distribution which corresponds to the foliation of M determined by the fibres of f, since each x = T x f ( y) coincides with tangent space of f ( у) at x for ( x ) y f =. Let be the complementary distribution of determined by the Riemannian metric g, i.e. x = x at each x M. So, at any x M, one has the orthogonal decomposition T x (M) = x x where x is called the horizontal space at x. Thus we have defined a Riemannian almost product structure on (M, g). Consider now an n-dimensional simple connected complete Riemannian manifold (M, g), and suppose that a projective submersion f ( M, g) ( M, g ) : onto an m-dimensional (m < n) Riemannian manifold ( М, g ) exists. Then each pregeodesic line γ М which is an integral curve of the distribution Ker is mapped into a point f ( γ ) in M. Note that this fact does not contradict the definition of projective submersion. In addition, we have proved in [3] and [4] that (M, g) is isometric to a twisted product α ( M M,g + e g ) of some Riemannian manifolds (, ) M and M, ), and for g ( g smooth function α : М М R such that all fibres of submersion and their orthogonal complements correspond to the canonical foliations of M (see [3] and [4]). In this case, the following corollary of Theorem 4 is true. M Corollary. Let (M, g) be an n-dimensional complete, noncompact and simply connected Riemannian manifold and f ( M, g) ( M, g ) : be a projective submersion onto another m-dimensional (m < n) Riemannian manifold ( M, g ) such that the mean curvature vector ξ of the horizontal distribution ( ) ed scalar curvature Ker satisfies the condition ξ L ( M, g). If the s ( Ker ) of (M, g) is nonpositive then g) is isometric to a direct product ( M M, g ) g is integrable and (M, of some Riemannian manifolds ( M, ) ) ) g and ( M, such that integral manifolds of Ker f and ( Ker correspond g to the canonical foliations of the product M M. Moreover, we have proved in [4] that if a simple connected complete n-dimensional Riemannian manifold (M, g) has a nonnegative sectional curvature and admits a projec-
tive submersion onto another m-dimensional (m < n) Riemannian manifold ( M, g ) (M, g) is isometric to a direct product ( M M, g ) ( ) g, then of some Riemannian manifolds g g M, and ( M, ) such that the integral manifolds of Ker f and ( ) Ker correspond to the canonical foliations of the product M M. We can formulate now a statement which will supplement this theorem. The statement is a corollary of Theorem and Theorem 6. Corollary 3. Let (M, g) be an n-dimensional complete, noncompact and simply connected Riemannian manifold and f ( M, g) ( M, g ) : be a projective submersion onto another m-dimensional (m < n) Riemannian manifold ( M, g ) with connected fibres. If the ed scalar curvature then (M, g) is isometric to a direct product ( M M, g ) s g 0 of some Riemannian manifolds Ker ( ) and ( ) M, and ( M, ) such that the integral manifolds of g g Ker correspond to the canonical foliations of the product M M. Proof. Let (M, g) be an n-dimensional complete, noncompact and simply connected Riemannian manifold and f ( M, g) ( M, g ) : be a projective submersion onto another m- dimensional (m < n) Riemannian manifold ( M, g ) with connected fibres. It follows from the above, the fibre f ( y) for an arbitrary у М is an a (n m)-dimensional closed connected submanifold М of (M, g) equipped with the Riemannian metric g inherited from (M, g). The mean curvature vector Н ξ of = ( ) Ker belongs to М at each Т х point x M then, by applying the classic Green divergence theorem ol g М where ( div ξ ) d = 0 to ξ, from (.4) we get the following equation М dol is the volume form of ( M,g ) g ( + 4 P ) d olg = 0 (3.4) s. If ( M,g ) is non-oriented we can consider its orientable double cover. If the ed scalar curvature s 0 then from (3.4) we obtain that Р = 0 at each point of M. At the same time, we recall that M is an arbitrary fibre of the projective submersion f ( M, g) ( M, g ) Ker ( Ker ) :. Therefore, and are two integrable distributions with totally geodesic integral manifolds (totally geodesic
foliations) on the complete, noncompact and simply connected Riemannian manifold (M, g). Then by the well known de Rham decomposition theorem it is isometric to the direct product M M, g ) of some Riemannian manifolds ( M, ) and ( M, ) for ( g the Riemannian metric and which induced by g on and М, respectively. The proof of our corollary is complete. Using the equality (3.4) once again we get the following Corollary 4. Let (M, g) be an n-dimensional Riemannian manifold and ( M, g) ( M g g g g М f :, ) be a submersion onto another m-dimensional (m < n) Riemannian manifold ( M, g ) with connected fibres. If the ed scalar curvature s > 0 then ( M, g) ( M g f :, ) is not a projective submersion. Proof. For the case s ( + 4 P ) d olg > 0 we can rewrite (3.4) in the form М > 0. s The contradiction just obtained with the classic Green divergence theorem completes the proof of our corollary. 4. Applications to the theory of conformal mappings of Riemannian manifolds Let (M, g) and ( M, g ) be Riemannian manifolds of dimension n. Then a diffeomorphism f ( M,g) ( M,g ) g : is called conformal if it preserves angles between any pair curves. In this case, g σ = e g for some scalar function σ. In particular, if the function σ is constant then f is a homothetic mapping. If σ C M then (see [, p. 90]) e σ ( n ) Δσ ( n )( n ) s = s grad σ (4.) where s denote the scalar curvature ( M,g ). Now we can formulate the following Theorem 6. Let (M, g) be an n-dimensional (n 3) complete, noncompact Riemannian manifold and f ( M,g) ( M, g : ) be a conformal diffeomorphism onto another Rieman- σ σ nian manifold ( M, g ) such that g = e g and s e s for some function σ C M
and the scalar curvatures s and s of (M, g) and ( M, g ), respectively. If grad σ L ( M, g ), then f is a homothetic mapping. Proof. If f ( M,g) ( M, g : ) is a conformal diffeomorphism a connected complete noncompact and oriented Riemannian manifold (M, g) onto another Riemannian manifold σ ( M, g ) such that g = e g for some function σ C M σ ( n ) Δσ = s e s ( n )( n ), then from (4.) we obtain grad σ. (4.) Let σ s e s then () shows Δσ 0. It means that σ is a superharmonic function. By the condition of our theorem, the gradient of σ has integrable norm on (M, g) and we obtain from (4.) that Δσ = 0 and σ must be harmonic (see our Lemma). Since n 3, we see from (4.) that σ is constant. The proof of the theorem is complete. Let (M, g) and ( M, g ) be Riemannian manifolds of dimension n and m for n > m. A submersion f ( M, g) ( M, g : ) is called a horizontal conformal if horizontal distribution =( Ker ) is conformal mapping. Next, we consider a horizontal conformal submersion f ( M, g) ( M, g restricted to the : ) for the case m < n. We note here that horizontal conformal mappings were introduced by Ishihara [5]. From the above discussion, one can conclude that the notion of horizontally conformal mappings is a generalization of concept of Riemannian submersions. In addition, we note that a natural projection onto any factor of a double-twisted product ( M M, λ g + λ ) of any Riemannian manifolds (, ) g M and smooth positive functions λ : M M R for an arbitrary a =, is horizontal conformal submersion with a umbilical fibres (see [0]). Let f ( M, g) ( M, g a g a : ) be a horizontal conformal submersion and Ker be an umbilical distribution then (.) can be rewrite in the form div( ξ ξ )= s + п т п т т F ξ + ξ. (4.3) In this case, we can formulate a corollary of Theorem 4 which generalizes our theorem on the horizontal conformal submersions of compact Riemannian manifolds with non positive ed scalar curvature that has been proved in [6] (see also [7]). т
Corollary 5. Let (M, g) be an n-dimensional complete, noncompact and simply connected Riemannian manifold and f ( M, g) ( M, g ) : be a horizontal conformal submersion with umbilical fibres onto another m-dimensional (m < n) Riemannian manifold ( M, g ). If the mean curvature vector ξ of ( satisfy the condition Ker Ker ) + ξ L ( M,g) of (M, g) is nonpositive then product and the mean curvature vector ξ and the ed scalar curvature ξ of ( Ker f ) is integrable and (M, g) is isometric to a direct M, g ) of some Riemannian manifolds ( M, ) and ( M, such ( M g that integral manifolds of the product M M. Ker ( ) and g s g ) Ker correspond to the canonical foliations of 5. Applications to the theory of Riemannian submersions A submersion f : ( M, g) ( M, g ) is called Riemannian submersion if ( preserves ) х the length of the horizontal vectors at each point x M (see [3, p. 3]). In this case, the horizontal distribution =( is totally geodesic (see [7]). In the paper [8] and in the monograph [3, ( M, g) ( M g Ker f ) p. 35] was proved the following theorem. Let f :, ) be a Riemannian submersion with totally umbilical fibres. If (M, g) is a closed and orientable manifold with nonpositive ed sectional curvature (i.e. sec (X,Y) 0 for every horizontal vector field X and for every vertical vector field Y), then all fibres are totally geodesic and horizontal distribution =( Ker f ) is integrable, and the ed sectional curvature is equals to zero. We present a generalization of this theorem. The following result is deduced immediately from Corollary 6. Corollary 6. Let (M, g) be an n-dimensional complete, noncompact and simply connected Riemannian manifold and ( M, g ) be another m-dimensional (m < n) Riemannian manifold and f ( M, g) ( M, g : ) be a Riemannian submersion with totally umbilical fibres. If the ed scalar curvature satisfies the condition L ( M, g s is nonpositive and the mean curvature vector ξ of fibres ξ ) Ker ), then the horizontal distribution ( is integrable and the Riemannian manifold (M, g) is isometric to a direct product ( M M, g g ) of some Riemannian manifolds ( M, g ) and ( M, g ) such that the
integral manifolds of Ker ( ) and Ker correspond to the canonical foliations of the product M M. We know from [9] that there are no Riemannian submersions from closed Riemannian manifolds with positive Ricci curvature to Riemannian manifolds with nonpositive Ricci curvature. The following statement is a direct consequence of Corollary 3 and complements the above vanishing theorem. Corollary 7. Let (M, g) be an n-dimensional complete, noncompact and simply connected Riemannian manifold and f ( M, g) ( M, g ) : be a Riemannian submersion onto an (n )-dimensional Riemannian manifold ( M, g ). If the vertical Ricci curvature of (M, g) is nonpositive and the mean curvature vector ξ of fibres satisfies the condition L ( M, g ξ ), then the horizontal distribution ( ) Ker is integrable and the Riemannian manifold (M, g) is isometric to direct product ( M M, g ) of some Riemannian manifolds ( ) and ( such that g g M, M, ) dim M = and the integral manifolds ) g of Ker and ( Ker correspond to the canonical foliations of the product M M. 5. Applications to the theory of harmonic submersions of Riemannian manifolds A smooth mapping f ( M, g) ( M, g ) of the energy functional E ( f ) : is said to be harmonic if f provides an extremum Ω = f dol g Ω for each relatively closed open subset Ω M with respect to the variations of f that are compactly supported in Ω. If (M, g) is an n-dimensional Riemannian manifold and f ( M, g) ( M, g ) : is a harmonic submersion onto another m-dimensional (m < n) Riemannian manifold ( M, g ) then each its fibre (M, g ) is an (n m)-dimensional closed imbedded minimal submanifold of (M, g) (see [30]). Then from the above arguments and Theorem 4 we conclude that the following corollary is true. Corollary 9. Let (M, g) be an n-dimensional complete, noncompact and simply connected Riemannian manifold and f ( M, g) ( M, g ) : be a harmonic submersion onto another m-dimensional (m < n) Riemannian manifold ( M, g ) with connected fibres. If the hori-
zontal distribution ( Ker f ) is integrable and the ed scalar curvature is nonnegative, then (M, g) is isometric to a direct product of some Riemannian manifolds ( M, ) and (, ) g g ( M M, g ) g s M such that the integral manifolds of Ker and ( Ker ) correspond to the canonical foliations of the product M M. Using the Remark we get the following Corollary 8. Let (M, g) be an n-dimensional Riemannian manifold and ( M, g) ( M g f :, ) be a submersion onto another m-dimensional (m < n) Riemannian manifold ( M, g ) with connected fibres. If the horizontal distribution ( Ker ) is integrable and the ed scalar curvature harmonic. s is positive, then f : ( M, g) ( M, g ) is not References [] Wu.., The Bochner technique in differential geometry, arwood Acad. Publ., arwood (987). [] Stepanov S.E., Riemannian almost product manifolds and submersions. Journal of Mathematical Sciences, 99:6 (000), 788-83. [3] Pigola S., Rigoli M., Setti A.G., anishing and Finiteness Results in Geometric Analysis. A Generalization of the Bochner Technique, Birkhäuser erlag AG, Berlin (008). [4] Koboyashi S., Nomizu K., Foundations of differential geometry, olume I, Interscience Publishers, New York, 963. [5] Pigola S., Setti A.G., Global divergence theorems in nonlinear PDEs and geometry, Ensaios Matemáticos, 6 (04), -77. [6] Gaffney M.P., A special Stkes s theorem for complete Riemannian manifolds, Annals of Mathematics, Second Series, 60: (954), 40-45. [7] Karp L., On Stokes theorem for noncompact manifolds, Proceedings of the American Mathematical Society, 8:3 (98), 487-490. [8] Caminha A., Souza P., Camargo F., Complete foliations of space forms by hypersufaces, Bull. Braz. Math. Soc., New Series, 4:3 (00), 339-353.
[9] Caminha A., The geometry of closed conformal vector fields on Riemannian spaces, Bull. Braz. Math. Soc., New Series, 4: (0), 77-300. [0] Yau S.T., Some function-theoretic properties of complete Riemannian manifolds and their applications to geometry, Indiana Univ. Math. J., 5 (976), 659-670. [] Rocamora A.., Some geometric consequences of the Weitzenböck formula on Riemannian almost-product manifolds; weak-harmonic distributions, Illinois Journal of Mathematics, 3:4 (988), 654-67. [] Reinhart B.L., Differential Geometry of Foliations, Springer erlag, Berlin New York, 983. [3] Falcitelli M., Ianus S., Pastore A.M., Riemannian submersions and related topics, Word Scientific Publishing, Singapore, 004. [4] Walczak P.G., An integral formula for a Riemannian manifold with two orthogonal complementary distributions, Colloquium Mathematicum, LIII: (990), 43-5. [5] Stepanov S.E., An integral formula for a Riemannian almost-product manifold, Tensor, N. S., 55 (994), 09-4. [6] Stepanov S.E., Bochner s technique in the theory of Riemannian almost product structures, Mathematical notes of the Academy of Sciences of the USSR, 990, 48:, 778-78. [7] Stepanov S.E., A class of Riemannian almost-product structures, Soviet Mathematics (Izv. UZ), 33:7 (989), 5-59. [8] Luzynczyk M., Walczak P., New integral formula for two complementary orthogonal distributions on Riemannian manifolds, Annals of Global Analysis and Geometry, 48 (05), 95-09. [9] ebda J.J., Projective maps of rank are strongly projective, Differential geometry and its applications, (000), 7-80. [0] Fernández-López M., García-Río E., Kupeli D.N., U&nal & B., A curvature condition for a twisted product to be a warped product, Manuscripta Mat., 06: (00), 3-7. [] Eisenhart L. P., Riemannian Geometry, Princeton University Press, Princeton, 949.
[] Giachetta G., Mangiartti I., Sardanashvily G., New Lagrangian and amiltonian Methods in Field Theory, Word Scientific Publishing, Singapore (997). [3] Stepanov S.E., On the global theory of projective mappings, Mathematical Notes, 58: (995), 75-756. [4] Stepanov S.E., Geometry of projective submersions of Riemannian manifolds, Russian Mathematics (Iz. UZ), 43:9 (999), 44-50. [5] Ishihara T. A mapping of Riemannian manifolds which preserves harmonic functions, J. Math. Kyoto Univ., 9 (979), 5-9. [6] Stepanov S.E., Weyl submersions, Russian Mathematics (Izvestiya UZ, Matematika), 36:5 (99), 87-89. [7] Zawadzki T., Existence conditions for conformal submersions with totally umbilical fibers, Differential Geometry and its Applications, 35 (04), 69-85. [8] Bădiţoiu G., Ianuş S., Semi-Riemannian submersions with totally umbilical fibres, Rendiconti del Circolo Matematico di Palermo, 5: (00), 49-76. [9] Pro C., Wilhelm F., Riemannian submersions need not preserve positive Ricci curvature, Proc. Amer. Math. Soc., 4:7 (04), 59-535. [30] Stepanov S.E., О(п) О(m n)-structures on m-dimensional manifolds, and submersions of Riemannian manifolds, St. Petersburg Math. J., 7:6, 005-06 (996).