TOTALLY GEODESIC RIEMANNIAN FOLIATIONS ON COMPACT LIE GROUPS LLOHANN D. SPERANC¸A Abstract. In 86 Ranjan questioned whether a submersion π : G → B from a compact simple Lie group with bi-invariant metric is a coset foliation or not, provided the submersion is Riemannian with totally geodesic fibers. Here we answer this question affirmatively, even when the submersion is defined only in an open subset of G (assuming suitable compactness hypothesis). 1. Introduction The present work is dedicated to the simple question: how to fill a given geomet- ric space with a geometric pattern? Or, following Thurston [23]: how to construct a manifold out of stripped fabric? For instance, starting with a Lie group G, we could use its algebraic structure to construct a pattern: any Lie subgroup H < G + induces a decomposition of G by both right cosets, FH = {gH | h ∈ G}, and left − cosets, FH = {Hg | h ∈ G}. Such decompositions are called as coset foliations. In general, a foliation1 F on M is the decomposition of M into the integrable maximal submanifolds of an involutive subbundle V = T F ⊆ TM. Such subman- ifolds are called leaves. Existence, obstructions and classifications of foliations are deep topological subjects (see e.g. Haefliger [9] and Thurston [25, 24, 23]) and they acquire a geometric flavor by imposing distance rigidity between leaves: a foliation is called Riemannian if its leaves are locally equidistant (see e.g. Molino [17] or Ghys [6]). The decomposition into the fibers of a Riemannian submersion is a main ex- ample of a Riemannian foliation: a submersion π : M → B is Riemannian if the ⊥ restriction dπp|(ker dπp) is an isometry to Tπ(p)B for every p ∈ M (see e.g. O’Neill [19] or Gromoll–Walschap [7]). The classification of Riemannian submersions from compact Lie groups with bi-invariant metrics was asked by Grove [8, Problem 5.4]. arXiv:1703.09577v4 [math.DG] 13 Jul 2020 Indeed, in such groups all known Riemannian foliations with totally geodesic leaves are coset foliations. Therefore, following Ranjan [20], it is natural to ask whether coset foliations are the only Riemannian foliations with totally geodesic leaves on such groups. The affirmative answer to this question is supported by the following conjecture, commonly called “Grove’s Conjecture” (see also Munteanu– Tapp [18]): 2010 Mathematics Subject Classification. MSC 53C35, MSC 53C20 and MSC 53C12. Key words and phrases. Lie groups, Riemannian foliations, symmetric spaces, holonomy, non- negative sectional curvature. This work was partially supported by CNPq grant number 404266/2016-9 and FAPESP grant number 2017/10892-7. 1Only non-singular foliations with connected leaves are considered in this paper. 1 2 LLOHANN D. SPERANC¸A Conjecture 1. Let G be a compact simple Lie group with a bi-invariant metric. A Riemannian submersion π : G → B with connected totally geodesic fibers is induced either by left or right cosets. Here Ranjan’s question together with Conjecture 1 are proved affirmatively, with- out the simplicity assumption. Theorem 1.1. Let π : G → B be a Riemannian submersion with totally geodesic connected fibers on G, a compact connected Lie group with bi-invariant metric. Then π is isometric to a coset foliation. Actually, our proof has only one non-local instance, which can be circumvented by suitable compactness hypothesis. In particular, the proof works well for foliations on compact groups and reduce the general problem to foliations whose leaves are totally geodesic flats (as the foliation defined by the fibers of a vector bundle): Theorem 1.2. Let F be a Riemannian foliation with connected totally geodesic leaves on a connected open subset U of a compact Lie group with bi-invariant met- ric G. Then V = T F splits as V = ∆0 ⊕ ∆1, where ∆0 defines a totally geodesic Riemannian foliation by Euclidean spaces and ∆1 is isometric to a coset foliation. Moreover, F is a coset foliation if it satisfies one of the following additional hy- pothesis: (a) L˜e, the universal cover of a fixed leaf, has no Euclidean factors; (b) Le is complete and the integrability tensor of F is bounded along Le; (c) the closure of Le is a compact subset of G. The proof is essentially algebraic, with two main geometrical instances: Theo- rems 1.3 and 1.4. Both are interesting on their own: Theorem 1.3 is a refinement of the celebrated Ambrose–Singer Theorem for foliations with totally geodesic fibers on spaces with non-negative sectional curvature; Theorem 1.4 could be readily used in an attempt to generalize Theorem 1.1 to symmetric spaces. The author is tempted to believe that the foliation defined by ∆0 is (locally) of a metric product G = G′ × Rk, therefore it is a coset foliation. The thesis of Theorem 1.1 follows once we show that g decomposes in ideals g = g+ ⊕ g− such that, for every vectors X, Y orthogonal to leaves, v v (1) [X, Y ] = [X−, Y−] − [X+, Y+] , v where denotes the orthogonal projection to V = T F and X±, Y± are the g±- components of X, Y . It follows from [18, Corollary 4.2] that π is given by cosets (see section 1.1 for details). The decomposition g+ ⊕ g− is obtained by refining [18, Theorem 1.5] and ideas in [20]. We observe that the hypothesis on Theorem 1.1 can not be relaxed: Kerin– Shankar [12] presented infinite families of Riemannian submersions from compact Lie groups with bi-invariant metrics that can not be realized as principal bundles (for instance, the composition h ◦ pr : SO(16) → S8 of the orthonormal frame bundle pr : SO(16) → S15 with the Hopf map S15 → S8 is one such submersion.) Moreover, the simple group SO(8) admits a foliation, FSO(8), by totally geodesic round 7-spheres (obtained by trivializing the orthonormal frame bundle SO(8) → 7 S ). Kerin–Shankar examples does not have totally geodesic fibers and FSO(8) is not Riemannian. RIEMANNIAN FOLIATIONS ON COMPACT LIE GROUPS 3 The general classification of Riemannian foliations is wide open. For instance, classifications neither for totally geodesic Riemannian foliations on symmetric spaces, nor for generic Riemannian foliations on Lie groups are known (we refer to Lytchak [15], Lytchak–Wilking [16] and Wilking [26] for important developments in other cases). The author believes that the proof here can be partially replicated for the symmetric space case, giving important first steps. 1.1. Preliminaries and description of each step. Given a Riemannian foliation F on M, we might think of F locally as an stripped fabric (or a Riemannian submersion) with leaves vertically placed. At each point x ∈ M, we decompose ⊥ TxM as the tangent to the leaf Vx and its orthogonal complement Hx = (Vx) . We call Vx as the vertical space and Hx as the horizontal space at x. Given X ∈ TM, we denote Xh,Xv the horizontal and vertical components of X, respectively. A vector field X is said to be basic horizontal if it is H-valued and, for every vertical field V ,[X, V ] is vertical. Equivalently, if F is induced by a submersion π, X is basic if dπ(X) is fiberwise constant. The flow of a basic horizontal vector field X induces local diffeomorphisms between leaves (as a standard computation shows – see e.g. Hirsch [11, Proposition 17.6]). These (local) diffeomorphisms are called (local) holonomy transformations. It is known that holonomy transformations are (local) isometries if and only if leaves are totally geodesic (see e.g. Gromoll– Walschap [7, Lemma 1.4.3]), which is the case at hand. Given a Riemannian foliation F, the Gray–O’Neill integrability tensor A: H× H→V is defined by 1 ¯ ¯ v AX Y = 2 [X, Y ] , where X,¯ Y¯ are horizontal extensions of X, Y . We follow Ranjan [20] and denote AξX as the opposite dual of A defined by: ξ A X, Y = − hAX Y, ξi . Let φt be the flow of a basic horizontal field X and c an integral curve of φt. For any given ξ ∈Vc(0), we define its holonomy field along c by ξ(t)= dφt(ξ). Alternatively, ξ(t) is the only vector field along c that satisfies ξ ∇X ξ(t)= A X, ξ(0) = ξ. # The dual leaf at p ∈ M, Lp , is the subset of points in M that can be joined to p by horizontal curves (compare Wilking [27] or Gromoll–Walschap [7, section 1.8]). When the leaves of F are the fibers of a principal G-bundle π : P → B, the integrability tensor, infinitesimal holonomy fields and dual leaves replace classi- cal objects: given a connection 1-form ω : T P → g, the curvature 2-form satis- fies Ω(X, Y ) = −2ω(AX Y ); for any holonomy field along a horizontal curve c, ωc(t)(ξ(t)) = ωc(0)(ξ(0)). That is, ξ(t) is the restriction to c of the action field # defined by ξ; Lp is the holonomy bundle through p (see e.g. [14, secnomition II] for a definition of the last). The celebrated Ambrose–Singer Theorem [1, Theorem # 2] identifies the Lie algebra of the holonomy group of π with ω(TpP (p)) = ω(Lp ). Theorem 1.3 refines this result in the case of Riemannian foliations/submersions on non-negatively curved ambient spaces: 4 LLOHANN D. SPERANC¸A Theorem 1.3. Let F be a totally geodesic Riemannian foliation on a manifold M # of non-negative sectional curvature. Let Lp be the dual leaf of F through p. Then # TLp ∩Vp = span{AX Y | X, Y ∈ Hp}. Theorem 1.3 is used twice: to obtain a local version of the splitting theorem [15, Corollary 3.3] and as one of the last steps in the paper.