## The dual foliation of some singular Riemannian foliations

## Yi Shi

School of Mathematical Sciences, Shanxi University, Taiyuan 030006, China, e-mail: shiyi@sxu.edu.cn

Abstract: In this paper, we use the methods of subriemannian geometry to study the dual foliation of the singular Riemannian foliation induced by isometric Lie group actions on a complete Riemannian manifold M . We show that under some conditions, the dual foliation has only one leaf.

Key Words: dual foliation, torus actions, subriemannian geometry

MSC(2010) Subject Classification: 53C12, 53C17.

## 1 Introduction

We recall some basic notions about singular Riemannian foliations, for further details we refer the readers to [1, 8, 13, 16]. A singular Riemannian foliation F on a Riemannian manifold M is a decomposition of M into smooth injectively immersed submanifolds L p ( ), called leaves, such that it is a singular foliation and any geodesic starting orthogonally to a leaf remains orthogonal to all leaves it intersects. Such a geodesic is called a horizontal geodesic . For all p ∈ M , we denote by H p the orthogonal complement to the tangent space T p ( L p ( )), and call it the horizontal space at p . If all the leaves have the same dimension, then F is called a regular Riemannian foliation .

A curve is called horizontal if it meets the leaves of F perpendicularly. In [16], Wilking associates to a given singular Riemannian foliation F the so-called dual foliation F # . The dual leaf through a point p ∈ M is defined as all points q ∈ M such that there is a piecewise smooth, horizontal curve from p to q . We denote by L # p the dual leaf through p . Wilking proved that when M has positive curvature, the horizontal connectivity holds on M , i.e. the dual foliation has only one leaf. Wilking also used the theory of dual foliations to show that the Sharafutdinov projection is smooth. For more applications of dual foliations, the reader is referred to [7, 9, 10, 11, 12, 16].

Let ( M, F ) be a singular Riemannian foliation F on Riemannian manifold M . Applying Wilking's theorem, we can get the horizontal connectivity by assuming that M has positive curvature. However, in this paper we are interested in getting the horizontal connectivity by applying the methods of subriemannian geometry. For a more extensive exposition of subriemannian geometry, we refer the readers to [4, 5, 14].

Recall that a subriemannian geometry on a manifold M consists of a distribution, which is to say a vector subbundle H ⊂ TM of the tangent bundle of M , together with

a fiber inner-product on H . We call H the horizontal distribution. A curve on M is called horizontal if it is tangent to H .

Let H be the horizontal distribution on M , the Lie brackets of vector fields in H generate the flag

$$H = H ^ { 1 } \subset H ^ { 2 } \subset \dots \subset H ^ { r } \subset \dots \subset T M$$

with where

$$[ H, H ^ { r } ] = s p a n \{ [ X, Y ] \, \colon X \in H, Y \in H ^ { r } \}$$

At a point p ∈ M , this flag gives a flag of subspaces of T M p :

$$H _ { p } = H _ { p } ^ { 1 } \subset H _ { p } ^ { 2 } \subset \dots \subset H _ { p } ^ { r } \subset \dots \subset T _ { p } M$$

We say that H is bracket generating at p if there is an r ∈ Z + such that H r p = T M p , and H is bracket generating if for all x ∈ M there is an r x ( ) ∈ Z + such that H r x ( ) x = T M x . The smallest integer r such that H r p = T M p is called the step of the distribution at p .

Chow s ′ Theorem ([6]). Let M be a connected manifold and H ∈ TM be a bracket generating distribution, then the set of points that can be connected to p ∈ M by a horizontal path coincides with M .

When Chow's condition fails on some subset of M , sometimes the horizontal connectivity also fails ([5], P. 82).

Suppose a compact connected Lie group G acts isometrically on manifold M . Throughout the paper, every action will be assumed to be effective . It is well known that the action of G induces a singular Riemannian foliation ( M, F ) on M . Let M ′ denote the union of all principal orbits in M . An basic fact is that the restricted foliation ( M , ′ F| M ′ ) is a regular Riemannian foliation on M ′ . Denote by H ′ the collection of horizontal spaces H x with x ∈ M ′ , then H ′ is the horizontal distribution of F| M ′ on M ′ . Contrast to Chow's Theorem, to connect any two points on M by a horizontal curve, we only need to assume that H ′ is bracket-generating at one point:

Lemma 1.1. Let G be a compact connected Lie group, acting isometrically on a complete Riemannian manifold M . If H ′ is bracket-generating at some point p ∈ M ′ , then the dual foliation has only one leaf. If M is compact, then there exists a constant C = C M,G ( ) such that any two points of M can be connected by a horizontal curve of length ≤ C .

Let G × M → M denote an isometric action by principal orbits of a compact Lie group G on a complete Riemannian manifold M . The orbit space B := M/G is also a manifold, and inherits a quotient metric from M for which π : M → B becomes a Riemannian submersion. π is then said to be a homogeneous submersion or fibration .

The following corollary of Lemma 1.2 gives a generalization of Theorem 3.1 in [10].

Corollary 1.2. Let π : M → B = M/G be a homogeneous G -fibration with compact connected Lie group G . If the horizontal distribution H is bracket-generating at some point p ∈ M , then π : M → B is a principal G -bundle.

$$H ^ { r + 1 } = H ^ { r } + [ H, H ^ { r } ] \ f o r \ r \geq 1$$

Using Lemma 1.2 we can also get the following:

Theorem 1.3. Suppose circle T 1 acts isometrically on a complete manifold M . If M is simply connected, then the dual foliation has only one leaf. If M is compact, then there exists a constant C = C M,T ( 1 ) such that any two points of M can be connected by a horizontal curve of length ≤ C .

Notice that Wilking's horizontal connectivity theorem doesn't hold for nonnegatively curved manifolds in general, but as showed in [3], the horizontal connectivity phenomenon often occurs for nonnegatively curved spaces. The main result of this paper continues this investigation:

Theorem 1.4. Suppose torus T k acts isometrically on a complete nonnegatively curved Riemannian manifold M . Then either the dual foliation has only one leaf, or else M locally splits.

As an application of Theorem 1.3 and Theorem 1.4, the following theorem gives a generalization of Theorem 4 in [3].

Theorem 1.5. Suppose torus T k acts isometrically on a complete, simply connected Riemannian manifold M . Then the dual foliation has only one leaf if one of the following holds:

- (a) the action of T k is free.
- (b) M has nonnegative curvature.

## 2 Bracket-generating at one point

In this section, we use the methods of subriemannian geometry to give a proof of Lemma 1.1. The proof of Corollary 1.2 follows as an application of Lemma 1.1.

Proof of Lemma 1.1 Suppose that H ′ is bracket-generating at some point p ∈ M ′ . Since M ′ is open and dense in M , by the continuity of Lie brackets, H ′ is also bracketgenerating in a neighbourhood U p ⊂ M ′ of p . By the Ball-box theorem ([14], P. 29) we know that there is a positive constant /epsilon1 0 and a box neighborhood Box( /epsilon1 0 , p ) ⊂ U p of p , such that any point in Box( /epsilon1 0 , p ) can be connected to p by a horizontal curve of length ≤ /epsilon1 0 .

We claim that G p ( ) ⊂ L # p , where G p ( ) is the orbit of p . For any q ∈ G p ( ), assume q = gp for some g ∈ G . Denote the differential of g by g ∗ , for any two vector fields X Y , ∈ H ′ , we have g ∗ [ X,Y ] = [ g X, g Y ∗ ∗ ]. Assume that H ′ is bracket-generating at p ∈ M ′ with step r , i.e., ( H ′ ) r p = T M p . Then by ( H ′ ) r q = g ∗ (( H ′ ) r p ) = g ∗ ( T M p ) = T M q , H ′ is also bracket-generating at q with step r . Since g ∗ is a isometric map, there is a same size box neighborhood Box( /epsilon1 0 , q ) of q , as that of p , such that any point in Box( /epsilon1 0 , q ) can be connected to q by a horizontal curve of length ≤ /epsilon1 0 . Since G p ( ) is compact connected, we can cover G p ( ) by finitely many successive box neighborhoods. Denote the number of these covering boxes by N 0 . Then any two points x, y ∈ G p ( ) can be connected by a horizontal curve with length ≤ 2 N /epsilon1 0 0 . This proves that G p ( ) ⊂ L # p .

For any x / G p ∈ ( ), since G p ( ) is compact, there is a minimal geodesic γ : [0 , 1] → M from x to G p ( ). Thus γ must be a horizontal geodesic. By γ (1) ∈ G p ( ) ⊂ L # p , we get x ∈ L # p . This proves that L # p = M , i.e., the dual foliation has only one leaf.

If M is compact, then for any x , x 1 2 ∈ M , we have two minimal geodesics γ i : [0 , 1] → M from γ i (0) = x i to G p ( ) for i = 1 2. , Thus both γ 1 and γ 2 are horizontal geodesics. We have proved that γ 1 (1) and γ 2 (1) can be connected by a horizontal curve of length ≤ 2 N /epsilon1 0 0 . Denote by diam M ( ) the diameter of M , since length( γ i ) ≤ diam M ( ) for i = 1 2, , x 1 and x 2 can be connected by a horizontal curve of length ≤ C M,G ( ) := 2 diam M ( ) + 2 N /epsilon1 0 0 . /square

Proof of Corollary 1.2 For p ∈ M , let G p be the isotropy group of the action of G at p . By Lemma 1.1 we know that L # p = M , then by [16] one can connect any two points of M by a piecewise horizontal geodesic. In [10] it was shown that, if γ is a horizontal geodesic with respect to a homogeneous fibration of a manifold M , then the isotropy groups of the action coincide for every point of γ . Hence, we get that the isotropy group of any point must coincide with G p . Since the action of G is effective, we have that G p is the identity, so the action of G is free, and π : M → B is a principal G -bundle. /square

## 3 Torus action and horizontal connectivity

In this section, we study the dual foliation of the singular Riemannian foliation induced by isometric torus actions and prove Theorem 1.3, Theorem 1.4 and Theorem 1.5.

Proof of Theorem 1.3 If there is a singular orbit x = T 1 ( x ) on M , then the horizontal space at x is H x = T M x . Since the exponential map exp x : H x → M is onto, we get that L # x = M . Thus we can assume all the orbits are regular, and we get a codimension one globally horizontal distribution H on M . If H is not integrable at some point p ∈ M , then H is bracket-generating at p . By Lemma 1.1 we get that L # p = M . So it is enough to show that there is no globally integrable horizontal distribution H on M .

If H is integrable on M , since M is simply connected, by Theorem 1.5 in [2] there are no exceptional orbits on M , so T 1 acts freely on M , it follows that the orbit space B := M/T 1 is also a manifold, and inherits the quotient metric from M for which π : M → B becomes a Riemannian submersion with fiber F = T 1 . By the long exact homotopy sequence of the fibration π , B is simply connected since M is. We claim that M is homeomorphic to B × T 1 .

Since H is integrable, by the Frobenius theorem, for any p ∈ M L , # p is the integral leaf of H that contains p . Since π is a locally trivial bundle, π | L # p : L # p → B is a covering map and therefore a diffeomorphsm, B being simply connected. Hence L # p is a section of π : M → B . Since it was proved already that π : M → B is a principal bundle, the existence of a global section implies immediately that M is homeomorphic to B × T 1 . However, this is a contradiction since M is simply connected.

We have proved the horizontal connectivity on M , assume now that M is compact, denote by diam M ( ) the original diameter of M , by diam H ( M ) the horizontal diameter of M defined by horizontal metric. If there is a singular orbit x = T 1 ( x ) on M ,

then L # x = M , thus diam H ( M ) ≤ 2 diam M ( ). If all the orbits are regular, then we get a codimension one globally horizontal distribution H on M . Since H is bracketgenerating at some point p ∈ M , by Lemma 1.1, we get that diam H ( M ) ≤ C = C M,T ( 1 ). /square

The following lemma will be used in the proof of Theorem 1.4:

Lemma 3.1. Let G be a compact connected Lie group, acting isometrically on a complete Riemannian manifold M . For any p ∈ M , define the subset S ⊂ G via S := { g ∈ G | gp ∈ L # p ∩ G p ( ) } . Then S is a subgroup of G and the action of S on M preserves L # p .

Proof. To show that S is a subgroup of G , we need to prove that g -1 1 g 2 ∈ S for any g , g 1 2 ∈ S . It is enough to show that g -1 1 g 2 ( p ) ∈ L # p . By [16] one can connect p and g i ( p ) by a piecewise horizontal geodesic γ i , i = 1 2. , It follows that one can connect g -1 1 p and p = g -1 1 ( g p 1 ) by the piecewise horizontal geodesic g -1 1 ◦ γ 1 , thus g -1 1 p ∈ L # p . Also, one can connect g -1 1 p and g -1 1 ( g p 2 ) by the piecewise horizontal geodesic g -1 1 ◦ γ 2 . Since g -1 1 p ∈ L # p , g -1 1 g 2 ( p ) ∈ L # p as desired.

We claim that the action of S on M preserves L # p . For any g ∈ S and q ∈ L # p , we need to show that gq ∈ L # p . Since one can connect p and q by a piecewise horizontal geodesic γ , one can connect gp and gq by the piecewise horizontal geodesic g ◦ γ . Since g ∈ S , by definition gp ∈ L # p . Thus gq ∈ L # p as claimed.

Proof of Theorem 1.4 Suppose the dual foliation has more than one leaf. Since T k acts transitively on the space of dual leaves, all dual leaves have the same dimension. Then by theorem 2 and 3 in [16] these dual leaves form a regular Riemannian foliations F # . Let M ′ denote the union of all principal orbits in M , and let p ∈ M ′ . Since the torus is an abelian group, the isometric action of T k induces k commuting Killing fields on M . Consider a Killing field X which is perpendicular to L # p at p , we will prove that X is perpendicular to L # p for all x ∈ L # p . To prove this we may assume that x ∈ L # p ∩ M ′ since M ′ is open and dense in M . Denote the normal space of L # p at x by N x ( L # p ). We first plan to show that X q ( ) ∈ N L q ( # p ) for all q ∈ L # p ∩ T k ( p ).

Denote the one-parameter subgroup of T k corresponding to X by φ s , s ( ) ∈ R . Define the subset S ⊂ T k via S := { g ∈ T k | gp ∈ L # p ∩ T k ( p ) } , by Lemma 3.1 the action of S on M preserves L # p . Let q ∈ L # p ∩ T k ( p ), by definition q = gp for some g ∈ S . Since T k is abelian, g ◦ φ s ( )( p ) = φ s ( )( q ). Denote the differential of g by g ∗ , then g ∗ ( X p ( )) = X q ( ). Since X p ( ) ∈ N L p ( # p ) and the action of S preserves L # p , we get that X q ( ) = g ∗ ( X p ( )) ∈ N L q ( # p ).

Denote the codimension of L # p by n , then n ≤ k . We can choose n Killing fields X , 1 · · · , X n such that { X p , 1 ( ) · · · , X n ( p ) } is an orthonormal basis of N L p ( # p ). We claim that the normal bundle of L # p is spanned by { X , 1 · · · , X n } .

For any x ∈ L # p ∩ M ′ , we can find some q ∈ L # p ∩ T k ( p ) and a piecewise horizontal geodesic γ in M ′ connect x and q . Since X q ( ) ∈ N L q ( # p ), by the proof of Corollary 8 in [16] X is perpendicular to L # p along γ . Thus X is perpendicular to L # p for all x ∈ L # p ∩ M ′ , which in turn shows X is perpendicular to L # p .

For any x ∈ L # p , we can find some q ∈ L # p ∩ T k ( p ) and an horizontal geodesic c from q = (0) to c x = (1). It is clear that c { X q , 1 ( ) · · · , X n ( q ) } is an orthonormal basis

/negationslash of N L q ( # p ). Set W = span R { X , . . . , X 1 n } and X t ( ) = X c t ( ( )) for X ∈ W t , ∈ [0 , 1], let W t ( ) = { X t ( ) | X ∈ W } . We will show that X t ( ) = 0 for any non-zero X ∈ W and t ∈ [0 , 1], thus dim( W t ( )) ≡ n . Indeed, if X t ( 0 ) = 0 for some X := ∑ i ≤ n a X i i ∈ W and t 0 ∈ [0 , 1], then X can be written also as a variation of c by horizontal geodesics with a fixed value c t ( 0 ) at time t 0 . Therefore X is everywhere tangential to L # p , so X (0) = ∑ i ≤ n a X i i ( q ) ⊥ N L q ( # p ). But then X (0) = 0 and a i = 0 for every i ≤ n , hence X = 0.

Since we have proved that any X ∈ W is perpendicular to L # p , now by dim( W t ( )) ≡ n , we get that the normal bundle of L # p is spanned by n linearly independent commuting Killing fields X , 1 · · · , X n . Thus the horizontal distribution with respect to F # is integrable, then by Theorem 1.3 in [15] M locally splits. /square

Proof of Theorem 1.5 (a) We first consider the case that the action of T k is free. We get a sequence of principal T 1 -bundles

$$M = M _ { 0 } \xrightarrow { \pi _ { 1 } } M _ { 1 } \xrightarrow { \pi _ { 2 } } \cdots M _ { k - 1 } \xrightarrow { \pi _ { k } } M _ { k } = M / T ^ { k },$$

so M i is simply connected for any 0 ≤ i ≤ k . Notice that for any 0 ≤ i ≤ k -1, there is a subgroup T k -i of T k acts freely on M i , so this action induces a Riemannian foliation F i on M i . For any p i ∈ M i , denote by L # p i the dual leaf of F i that through p i . We claim that if L # p i = M i for some p i ∈ M i and 1 ≤ i ≤ k -1, then L # p i -1 = M i -1 for any p i -1 ∈ π -1 i ( p i ). This in fact shows L # p = M for any p ∈ M .

/negationslash

By Theorem 1.3 we get L # p k -1 = M k -1 for any p k -1 ∈ M k -1 . Now suppose L # p i = M i for some p i ∈ M i and 1 ≤ i ≤ k -1. Assume to the contrary that L # p i -1 = M i -1 for some p i -1 ∈ π -1 i ( p i ). By [16] L # p i -1 is a complete smooth immersed submanifold of M i -1 of dimension dim( L # p i -1 ) ≤ dim( M i ), it is easy to see that π i | L # p i -1 : L # p i -1 → L # p i = M i is a smooth surjective map, thus dim( L # p i -1 ) = dim( M i ). Thus by the implicit function theorem π i | L # p i -1 : L # p i -1 → L # p i = M i is a locally diffeomorphsm, and therefore a diffeomorphsm, M i being simply connected. Now using the same method as that of Theorem 1.3, we get that M i -1 is homeomorphic to M i × T 1 , which is a contradiction since M i -1 is simply connected.

(b) We next consider the case that M has nonnegative curvature. Suppose the dual foliation has more than one leaf, then these dual leaves form a regular Riemannian foliations F # . Denote by H # the horizontal distribution with respect to F # . Then by Theorem 1.4 M locally splits. Since M is simply connected, M globally splits. Then M is isometric to the Riemannian product L # p × A , where L # p is a dual leaf and A is an integral manifold of H # . Therefore L # p is not dence. By Proposition 9.1 in [16] there is a closed subgroup T n /subsetnoteql T k and a Riemannian submersion σ : M → T k -n = T /T k n , where the fibers of σ are closures of leaves of F # . By the long exact homotopy sequence of σ , T k -n is simply connected since M is. This is a contradiction since T k -n is not simply connected. /square

Acknowledgement . The author thanks Martin Kerin for helpful comments on a previous version of this paper.

## References

- [1] Alexandrino,M., Briquet, R. and T¨ben, D.: o Progress in the theory of singular Riemannian foliations, Diff. Geom. Appl., 31 (2), 248-267 (2013)
- [2] Alexandrino, M. and T¨ben, D.: o Singular Riemannian foliations on simply connected spaces, Diff. Geom. Appl., 24 (4), 383-397 (2006)
- [3] Angulo-Ardoy, P., Guijarro, L. and Walschap, G.,: Twisted submersions in nonnegative sectional curvature, Arch. Math. (Basel), 101 (2), 171-180 (2013)
- [4] Bellaiche, A. and Risler, J. J., (eds): Sub-Riemannian Geometry, Birkh¨user, a Basel, 1996
- [5] Calin, O. and Chang, D. C.: Sub-Riemannian Geometry: General Theory and Examples, Encyclopedia of Mathematics and Its Applications, vol. 126 . Cambridge University Press, Cambridge, 2009
- [6] Chow, W. L.: Uber Systeme von linearen partiellen Differentialgleichungen erster Ordnung, Math. Ann, 117 , 98-105 (1939)
- [7] Fang, F., Grove, K. and Thorbergsson, G.: Tits geometry and positive curvature, to appear in Acta Math., arXiv:1205.6222 [math.DG].
- [8] Gromoll, D. and Walschap, G.: Metric Foliations and Curvature, Progress in Mathematics 268 , Birkh¨user Verlag, Basel, 2009. a
- [9] Grove, K. and Ziller, W.: Polar manifolds and actions, J. Fixed Point Theory Appl., 11 (2), 279-313 (2012)
- [10] Guijarro, L. and Walschap, G.: When is a Riemannian submersion homogeneous?, Geom. Dedicata, 125 , 47-52 (2007)
- [11] Guijarro, L. and Walschap, G.: The dual foliation in open manifolds with nonnegative sectional curvature, Proc. Amer. Math. Soc., 136 (4), 1419-1425 (2008)
- [12] Lytchak, A.: Polar foliations on symmetric spaces, Geom. Funct. Anal, 24 (4), 1298-1315 (2014)
- [13] Molino, P.: Riemannian Foliations, Birkh¨user Boston, Inc., Boston, MA, 1988 a
- [14] Montgomery, R.: A tour of subriemannian geometries, their geodesics and applications. Mathematical Surveys and Monographs, 91 . American Mathematical Society, Providence, RI, 2002
- [15] Walschap, G.: Metric foliations and curvature, J. Geom. Anal, 2 , 373-381 (1992)
- [16] Wilking, B.: A duality theorem for Riemannian foliations in nonnegative sectional curvature, Geom. Funct. Anal, 17 , 1297-1320 (2007)
Yi Shi
The dual foliation of some singular Riemannian foliations
In this paper, we use the methods of subriemannian geometry to study the dual
foliation of the singular Riemannian foliation induced by isometric Lie group
actions on a complete Riemannian manifold M. We show that under some
conditions, the dual foliation has only one leaf.