Infinite families of manifolds of positive kth\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$k\mathrm{th}$$\end{document}-intermediate Ricci curvature with k small

Positive kth\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$k\mathrm{th}$$\end{document}-intermediate Ricci curvature on a Riemannian n-manifold, to be denoted by Rick>0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\,\mathrm{Ric}\,}}_k>0$$\end{document}, is a condition that interpolates between positive sectional and positive Ricci curvature (when k=1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$k =1$$\end{document} and k=n-1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$k=n-1$$\end{document} respectively). In this work, we produce many examples of manifolds of Rick>0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\,\mathrm{Ric}\,}}_k>0$$\end{document} with k small by examining symmetric and normal homogeneous spaces, along with certain metric deformations of fat homogeneous bundles. As a consequence, we show that every dimension n≥7\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n\ge 7$$\end{document} congruent to 3mod4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$3\,{{\,\mathrm{mod}\,}}4$$\end{document} supports infinitely many closed simply connected manifolds of pairwise distinct homotopy type, all of which admit homogeneous metrics of Rick>0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\,\mathrm{Ric}\,}}_k>0$$\end{document} for some k<n/2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$k<n/2$$\end{document}. We also prove that each dimension n≥4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n\ge 4$$\end{document} congruent to 0 or 1mod4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$1\,{{\,\mathrm{mod}\,}}4$$\end{document} supports closed manifolds which carry metrics of Rick>0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\,\mathrm{Ric}\,}}_k>0$$\end{document} with k≤n/2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$k\le n/2$$\end{document}, but do not admit metrics of positive sectional curvature.

A complete Riemannian manifold (M, g) is said to have positive kth-intermediate Ricci curvature, to be denoted by Ric k > 0, if for every point p ∈ M and every set of k + 1 orthonormal tangent vectors x, e 1 , . . . , e k ∈ T p M, the sum of the sectional curvatures of the planes spanned by x, e i is positive, i.e. k i=1 sec g (x, e i ) > 0.
If n = dim M, then Ric 1 > 0 and Ric n−1 > 0 correspond to the classical conditions of positive sectional curvature sec > 0 and positive Ricci curvature Ric > 0, respectively. Note that Ric k > 0 implies Ric l > 0 for any l ≥ k; thus, the smaller the k, the more restrictive the condition Ric k > 0. We refer the reader to Sect. 2 for background, context, and a more general definition of Ric k .
At the present state of knowledge, no purely topological obstructions are known for a closed manifold M to admit a metric of Ric k > 0 with k > 1, except those already obstructing the existence of metrics of Ric > 0 or positive scalar curvature (e.g. Bonnet-Myers Theorem or index-theoretical results by Atiyah-Singer-Lichnerowicz-Hitchin; see [56]).
As the dimension of the manifold under consideration increases, the condition sec > 0 appears to be stronger and stronger. In fact, we only know of two dimensions supporting infinitely many simply connected closed manifolds of sec > 0 of pairwise distinct homotopy type (7 and 13, given by Eschenburg and Bazaikin spaces respectively). Furthermore, in dimensions above 24, the only known examples are compact rank one symmetric spaces. In contrast, the condition Ric > 0 appears to be weaker and weaker as the dimension grows. In particular, every dimension ≥ 4 is known to support infinitely many simply connected closed manifolds of Ric > 0 of pairwise distinct real homotopy type [41].
The main goal of this article is to generate examples of manifolds of Ric k > 0. An elementary way to produce new examples is to take the Riemannian product of two manifolds M n = N 1 × N 2 . However, such a product metric will be of Ric k > 0 only for k > n 2 , even if both factors are of sec > 0; see Proposition 2.2. In order to distinguish our examples from such trivial constructions, we put primary focus in this article on spaces M n of Ric k > 0 with k ≤ n 2 and, more generally, on spaces of Ric k > 0 where k is small compared to their dimension. (It is remarkable that the bound k ≤ n 2 also shows up in various structural results on manifolds of Ric k > 0, see [26,54].) The following theorem is a particular instance of the results in this work.
Theorem A Every dimension n ≥ 7 congruent to 3 mod 4 supports infinitely many closed simply connected manifolds of pairwise distinct homotopy type, all of which admit homogeneous metrics of Ric k > 0 for some k < n/2.
The families of spaces referenced in Theorem A, which are generalized versions of the so-called Aloff-Wallach spaces from [1], are defined in (1.3) below. The reader can find the precise k for each of the spaces and a discussion about their topology in Theorem G and the paragraph following it, respectively. Besides the spaces in Theorem A, we construct many other manifolds of Ric k > 0 for some k < n 2 , including the unit tangent bundles or projectivized tangent bundles of compact rank one symmetric spaces.
A number of results is involved in our constructions, and they all can be found in Sect. 1; we believe each of them is of independent interest. Our methods generalize those that were used to construct all homogeneous spaces of sec > 0, whose classification was achieved in the 1970s. In particular, we will study curvature properties of symmetric spaces, normal homogeneous spaces, and certain homogeneous spaces that fiber over symmetric spaces via fat homogeneous bundles.
Because we study homogeneous metrics here, we have many isometric actions at our disposal. By taking appropriate quotients, we obtain many manifolds of Ric k > 0 which, by Synge's theorem, cannot carry metrics of sec > 0. Subsequently, we establish the following result, which we prove in Sect. 1.3.
Theorem B Each dimension n ≥ 4 congruent to 0 or 1 mod 4 supports (non-simply connected) closed manifolds which admit metrics of Ric k > 0 for some k ≤ n/2, but not metrics of sec > 0.

Summary of results
In this section, we discuss the main results of this article, put them into context, and examine their implications. Specifically, we deal with normal homogeneous and symmetric spaces in Sect. 1.1, we discuss fat homogeneous bundles in Sect. 1.2, and we examine some important consequences in relation to non-simply connected examples, manifolds of Ric 2 > 0, and Riemannian submersions in Sect. 1.3.

Normal homogeneous and symmetric spaces
We start with the class of compact homogeneous spaces G/H with finite fundamental group and G connected. It is a classical result that normal homogeneous metrics on G/H (i.e. descending from a bi-invariant metric on G) are of Ric > 0; see e.g. the work of Nash [39,Proposition 3.4] or Berestovskii [6,Theorem 1]. As we shall see in Theorem C below, for most spaces, normal metrics are actually "more curved" than simply Ric > 0 from the perspective of positive kth-intermediate Ricci curvature.
First, we observe that for any two normal metrics g, g on G/H , the minimum k for which g is of Ric k > 0 agrees with the minimum k for which g is of Ric k > 0; see Corollary 3.3. Hence, in order to facilitate our discussion, we introduce the following notation: b(G/H ) . . = min{k ∈ N : Ric k > 0 for a normal homogeneous metric g on G/H }. Theorem C can be seen as a classification of those homogeneous spaces G/H with b(G/H ) = dim G/H − 1. In general, it would be a large undertaking to determine b(−) for every homogeneous space. Indeed, only the opposite and most restrictive case, b(G/H ) = 1, is fully known. Berger classified all pairs (G, H ) for which G/H admits a normal homogeneous metric of sec > 0 [7], with an omission corrected by Wilking [50]. The rather short list consists of manifolds diffeomorphic to compact rank one symmetric spaces and three other spaces: the so-called Berger spaces B 7 . . = SO 5 /SO 3 and B 13 . . = SU 5 /Sp 2 U 1 , and Wilking's space (SO 3 × SU 3 )/U 2 . For descriptions of these spaces, see, for example, [53].
There are two subclasses of homogeneous spaces, though, for which it is manageable to determine b(−); namely symmetric spaces and spaces of the form (G × G × G)/ G. We will discuss symmetric spaces here. For the spaces (G × G × G)/ G, see the discussion around Theorem E below.
In Sect. 4 we determine b(G/K ) for every symmetric space G/K of compact type. In particular, we list the values b(G/K ) for the irreducible symmetric spaces in Table 3 at the end of this article. Very recently, during the writing of this paper, Amann, Quast and Zarei obtained the same result independently, and used it to study the higher connectedness of symmetric spaces [3].
In order to determine b(G/K ) for each symmetric space G/K , the basic observation where p is the orthogonal complement of k in g (the Lie algebras of K and G, respectively), and Z p (x) is the centralizer of x in p. The centralizers that may have maximal dimension determine some particularly nice class of totally geodesic submanifolds of G/K . By standard theory of root systems, one can calculate the dimensions of such totally geodesic submanifolds, thus deriving the value of b(G/K ). The proof in [3] is, in essence, equivalent to ours, the main difference being that we make use of the Dynkin diagrams instead of the explicit description of the roots.
We now summarize the main facts of our study of symmetric spaces. Throughout this article, G + p (R p+q ) . . = SO p+q /(SO p × SO q ) denotes the oriented real Grassmannians, and G p (C p+q ) . . = SU p+q /S(U p × U q ), G p (H p+q ) . . = Sp p+q /(Sp p × Sp q ) the complex and quaternionic Grassmannians. Table 3

if and only if M is irreducible and either
(i) M has rank 1 or 2 but M SU 3 /SO 3 , or (ii) M is isomorphic to one of the following spaces of rank 3 or 4: Table 1 in Sect. 4. (f) If M has rank 2, the value of b(M) is given in Table 2 in Sect. 4.
We remark that if we consider general homogeneous (non-symmetric) metrics g and replace b(M) with the minimal k for which g satisfies Ric k > 0, then Items (a) to (d) in Theorem D would not hold. For example, the rank 2 reducible symmetric space S 3 × S 3 admits a homogeneous metric of Ric 2 > 0; see Remark 1.2. We also note that Item (b) does not hold for normal metrics on homogeneous spaces. Indeed, in Sect. 3.4, we will observe that every odd dimension 2n+3 ≥ 7 contains infinitely many homogeneous spaces G/H of distinct homotopy type with b(G/H ) = dim G/H − 2 that do not locally split off any factor. Moreover, building upon the results in [16], we conclude that for many of them, the moduli space of metrics of Ric dim G/H −2 > 0 has infinitely many connected components.
We now discuss normal metrics on homogeneous spaces of the form (G × G × G)/ G, where G is a compact semisimple Lie group. The motivation for considering these spaces comes from a construction of Burkhard Wilking, shared with the third author in a personal communication, that the Cheeger deformation of the product of round metrics on S 3 × S 3 via the diagonal action by S 3 < S 3 × S 3 is of Ric 2 > 0. We refer the reader unfamiliar with Cheeger deformations to [56,Section 2]. Cheeger deformations do not generally result in homogeneous metrics, however in this particular case Wilking's metric on S 3 × S 3 is isometric to a normal homogeneous metric on (S 3 × S 3 × S 3 )/ S 3 . His construction generalizes as follows.
Theorem E For any compact semisimple Lie group G, it holds that: Consequently, G×G admits a metric of Ric k > 0 for k = 2b(G) which is left-invariant and invariant under right G-diagonal multiplication.
We will explore some consequences of the resulting metric on G × G in Sect. 1.3. Observe that the spaces M . . = G 3 / G for which b(M) ≤ (dim M)/2 are precisely those for which b(G) ≤ (dim G)/2. From Theorem D, we know that the only Lie groups satisfying b(G) ≤ (dim G)/2 are the simple ones of rank ≤ 2 and F 4 . The particular case G = SU 2 ∼ = S 3 is very remarkable, in that it yields a normal metric of Ric 2 > 0.

Remark 1.2
The homogeneous space (S 3 ×S 3 ×S 3 )/ S 3 is the only simply connected one we know of that satisfies b(−) = 2; compare to Item (a) in Theorem D. Observe that normal homogeneous metrics on S 3 × S 3 do not satisfy Ric 2 > 0. Indeed, they are products of round metrics, and hence b(S 3 ×S 3 ) = dim S 3 +1 = 4 (cf. Proposition 3.5).

Fat homogeneous bundles
After the compact rank one symmetric spaces and the Berger spaces B 7 , B 13 , the next examples of closed manifolds of sec > 0 were constructed by Wallach in 1972 [46]; namely the spaces W 6 . . = SU 3 /U 2 1 , W 12 . . = Sp 3 /Sp 3 1 and W 24 . . = F 4 /Spin 8 now known as the Wallach flag manifolds. Their common feature is that they arise as total spaces of fat homogeneous bundles over compact rank one symmetric spaces. We refer the reader unfamiliar with fat homogeneous bundles to Sect. 5 for definitions and references. Throughout this article we understand a metric on G/H to be homogeneous if it is G-invariant, i.e. our definition depends on the pair (G, H ).
Wallach's construction can be stated as follows: if H < K < G is a nested triple of compact Lie groups such that the induced bundle K /H → G/H → G/K is fat and G/K is a rank one symmetric space, then G/H admits a homogeneous metric of sec > 0 [56,Proposition 4.3]. This approach was subsequently used by Aloff and Wallach [1] to construct homogeneous metrics of sec > 0 on the spaces W 7 p,q ; see (1.3). This family completes the list of simply connected homogeneous manifolds admitting a metric of sec > 0, up to diffeomorphism [53]. Observe that Wallach's construction results in metrics with "more" curvature than the corresponding normal metrics since, by Berger's classification, none of the spaces W 6 , W 12 , W 24 , W 7 p,q admit normal homogeneous metrics of sec > 0, with a subtle exception in the case of W 7 1,1 ; see Remark 1.1. Wallach's construction has been generalized to several other curvature conditions (such as almost positive curvature [51], quasi-positive curvature [29,44] or strongly positive curvature [11]). Here, we present the following generalization of Wallach's result:

Theorem F Let K /H → G/H → G/K be a fat homogeneous bundle with G/K a symmetric space. Then G/H admits a homogeneous metric of
Fat homogeneous bundles are very rigid; indeed, a full classification of them was established by Bérard-Bergery [5]. In Sect. 5.2, we examine fat homogeneous bundles whose base space G/K is symmetric and satisfies b(G/K ) ≤ (dim G/K )/2. By Theorem F, the corresponding total spaces G/H admit homogeneous metrics of Ric k > 0 for some k < (dim G/H )/2. Theorem 5.4 provides a list of such total spaces G/H and the k for which Ric k > 0. Here we only discuss in detail the necessary cases for the proof of Theorem A. The following triples induce fat homogeneous bundles: The inclusions are induced by standard diagonal block embeddings, except for the first one, where p, q are coprime integers with pq > 0, and (1. 2) The corresponding bundles have the Grassmannian G 2 (C n+1 ) . . = SU n+1 /S(U 2 ×U n−1 ) as base space, and the respective total spaces are the generalized Aloff-Wallach spaces Note that W 4n−1 1,1 equals the unit tangent bundle T 1 CP n . Applying Theorem F, in combination with the value of b(G 2 (C n+1 )) from Table 2 in Sect. 4, we obtain the first row of Item (a) in Theorem G below.
The last four rows of Item (a) in Theorem G below correspond to other infinite series of manifolds that arise as total spaces of fat homogeneous bundles (let n ≥ 2): , which can be described as the total space of a circle bundle over G 2 (C n+1 ) whose Euler class is a generator of H 2 (G 2 (C n+1 ); Z) = Z, • the projectivized tangent bundle P H T HP n . . = Sp n+1 /(Sp 2 1 × Sp n−1 ) of HP n , and • the unit tangent bundle T 1 S n . . = SO n+1 /SO n−1 of the sphere S n .
Observe that P C T CP 2 and P H T HP 2 coincide with the Wallach spaces W 6 and W 12 (and moreover recall that the projectivized tangent bundle of the Cayley plane coincides with W 24 ). We refer to Sect. 5.2 and Theorem 5.4 for the corresponding constructions and values, from where Item (b) below can be likewise extracted.

Theorem G The following hold:
(a) Each homogeneous space G/H in the following table carries a homogeneous metric of Ric k > 0 for the corresponding value of k, where n ≥ 2: We remark that Wilking (resp. Tapp) constructed on each W 4n−1 p,q with pq < 0 (resp. pq = 0) inhomogeneous metrics of positive sectional curvature on an open dense subset [51] (resp. of non-negative sectional curvature and positive at a point [44]).
The unit tangent bundle T 1 S n is especially interesting in the cases n = 3, 7, since the corresponding spheres S n are parallelizable and hence T 1 S n is diffeomorphic to S n−1 × S n . Observe that the corresponding metrics of Ric k > 0 with k = 2, 6 given by Theorem G improve the standard product metrics, which are only of Ric k > 0 for k = 4, 8, respectively. The case n = 3 is somehow exceptional since the metric given by the fat bundle construction is only of Ric 3 > 0 (cf. Theorem 5.4). However, T 1 S 3 = SO 4 /SO 2 is Sp 1 ×Sp 1 -equivariantly diffeomorphic to the homogeneous space (S 3 × S 3 )/ S 1 , which does admit a metric of Ric 2 > 0, as it will be discussed in Remark 1.3; see Remark 5.2 for details.
The spaces G 2 /SU − 2 and G 2 /U − 2 appearing in Item (b) carry metrics of Ric 3 > 0 by Theorem 5.4, and are diffeomorphic to the unit tangent bundle T 1 S 6 (for which the homogeneous metric given by Theorem G is "only" of Ric 5 > 0) and to G + 2 (R 7 ), respectively [28]. The spaces SU 3 /SO 3 , G + 2 (R 5 ), G + 2 (R 7 ), and G 2 /SO 4 are the only (simply connected) irreducible symmetric spaces of rank > 1 we know of to admit metrics of Ric 3 > 0; see Table 1 in Sect. 4. It is an open question whether there exists an irreducible symmetric space of rank > 1 which admits a metric of Ric 2 > 0, much less of sec > 0 (see [17] for the construction of a metric on G + 2 (R 7 ) of sec > 0 on an open dense subset).

Isometric quotients and manifolds of Ric 2 > 0
The metrics considered in the previous subsections have considerably large isometry groups, and hence their quotients constitute a large class of examples. It is straightforward to see that quotient spaces of large enough dimension inherit metrics of positive intermediate Ricci curvature by O'Neill's curvature equations for Riemannian submersions; see Corollary 2.3. Also recall that Synge's Theorem states that if a closed manifold is orientable, not simply connected, and even-dimensional, or if it is nonorientable and odd-dimensional, then it cannot admit a metric of sec > 0. So by taking appropriate quotients of previous examples, we will now establish Theorem B using Synge's Theorem.

Proof of Theorem B
For any n ≥ 3, the Grassmannian G 2 (R n+2 ) = SO n+2 /S(O 2 ×O n ) of (non-oriented) 2-planes in R n+2 is an irreducible symmetric space of dimension 2n and rank 2. It is a Z 2 -quotient of the oriented 2-plane Grassmannian G + 2 (R n+2 ). By Theorem D (cf. Table 2), its symmetric metric is of Ric k > 0, for k = n = (dim G 2 (R n+2 ))/2, whenever n ≥ 3. It is well known that G 2 (R n+2 ) is orientable if and only if n is even (this follows, for example, from a characterization of the orientability of homogeneous spaces [35, p. 275]). Thus, for each even n ≥ 4, the orientable but non-simply connected manifold G 2 (R n+2 ) cannot admit a Riemannian metric of sec > 0, by Synge's Theorem. This shows Theorem B for dimensions ≥ 8 that are multiples of 4.
The unit tangent bundle T 1 S n = SO n+1 /SO n−1 induces a Riemannian covering over the projectivized tangent bundle The latter inherits a homogeneous metric of Ric k > 0 with the same k as T 1 S n , namely k = n − 1 < (dim P R T RP n )/2. Recall that P R T RP n is non-orientable if n is odd since it fits into a smooth fiber bundle RP n−1 → P R T RP n → RP n whose fiber is nonorientable. Thus P R T RP n does not admit metrics of sec > 0 by Synge's Theorem. This proves Theorem B for dimensions ≥ 5 congruent to 1 mod 4.
The case of dimension 4 in Theorem B follows from the metric of Ric 2 > 0 on SO 3 × SO 3 resulting from Theorem E. The quotient of SO 3 × SO 3 under the left action by the product subgroup O 2 × O 2 is diffeomorphic to RP 2 × RP 2 . Then RP 2 × RP 2 inherits a metric of Ric 2 > 0 by Corollary 2.3, but cannot admit a metric of sec > 0.

Remark 1.3 The Wilking metric of Ric 2 > 0 on S 3 × S 3 is left-invariant and right
S 3 -invariant, see Theorem E. By Corollary 2.3 it induces metrics of Ric 2 > 0 on S 2 × S 2 and S 2 × S 3 , by taking the quotients of the left action of a maximal torus of S 3 ×S 3 , and of the right S 1 -action, respectively. The manifolds S 2 ×S 2 , S 2 ×S 3 , and S 3 × S 3 are the only simply connected ones we know of to admit metrics of Ric 2 > 0, besides those of sec > 0.
The approach followed above can be extended to other homogeneous spaces of low dimensions to generate more examples of manifolds admitting metrics of Ric k > 0 but not sec > 0. Specifically, one can consider bi-invariant metrics on a compact simple Lie group G, as well as the homogeneous metrics on G 2 given in Theorem E. Both have large groups of isometries acting freely, and thus give rise to many isometric quotients. We can, for instance, consider subgroups H of G or G 2 of the form H = S · , where S is a closed connected subgroup with rank S < rank G, and is a finite subgroup of a torus T ⊂ G orthogonal to S. If we restrict to quotients G/H or G 2 /H of even dimension, and take subgroups such that H has at least 3 connected components, then the quotients cannot admit metrics of sec > 0 by Synge's Theorem. In order to obtain quotients of Ric k > 0 where k is at most half of their dimensions, by Theorem D we have to restrict to simple Lie groups of rank ≤ 2 and to F 4 , and their squares. Thus, for example, taking S a (possibly trivial) even-dimensional torus in the groups G = SU 3 , Sp 2 , G 2 , F 4 with bi-invariant metrics, we obtain examples in dimensions 8, 10, 14, 50 and 52. We can argue similarly with squares G 2 endowed with the metrics from Theorem E, thus obtaining examples in many even dimensions ≤ 104 = 2 dim F 4 . The case of the group F 4 × F 4 is rather interesting, in that it allows to show that each finite subgroup of the 8-torus can be realized as the fundamental group of a closed n-manifold of Ric k > 0 for some k < n/2. Indeed, F 4 × F 4 carries a homogeneous metric of Ric 44 > 0 (by Theorem E and Table 3). Taking the quotient under any finite subgroup of a maximal torus T 8 we obtain a manifold of dimension 104 with fundamental group equal to and a metric of Ric 44 > 0.
We conclude this subsection with an observation regarding Riemannian submersions and the Wilking metric of Ric 2 > 0 on S 3 × S 3 discussed above Theorem E. The right action by S 3 on S 3 × S 3 induces a metric on (S 3 × S 3 )/ S 3 that inherits the left action by S 3 × S 3 . As such it is a homogeneous metric (i.e. S 3 × S 3 -invariant), which must be normal since (S 3 × S 3 )/ S 3 is an irreducible symmetric pair. Under the natural diffeomorphism (S 3 ×S 3 )/ S 3 ∼ = S 3 (see Remark 3.7) the metric becomes bi-invariant on S 3 , which is round and hence submerges onto a metricḡ of constant curvature on S 2 . Altogether, we have a Riemannian submersion from Wilking's metric g: ( In this language, the Petersen-Wilhelm Conjecture suggests that f (1) exists and is equal to 1. The submersion in (1.4) shows that if f (2) exists, then its value is strictly greater than 2.

Structure of the article
In Sect. 3 we consider normal homogeneous spaces and give the proofs of Theorems C and E. Section 4 is devoted to the computation of b(G/K ) for any symmetric space G/K of compact type, and contains the proof of Theorem D. In Sect. 5, we review fat homogeneous bundles, we provide the proof of Theorem F, we discuss various families of fat homogeneous bundles, from where Theorem G follows, and we prove the topological claims in Theorem A. Finally, we include Table 3 with the values of b(G/K ) for all irreducible compact symmetric spaces G/K at the end of the article.

Background and context
In this section, we give a general overview of basic concepts related to intermediate Ricci curvature. Our goal is to compensate for the fact that there is limited existing literature on intermediate Ricci curvature. At the end of this section, we also include a discussion of other different intermediate curvature conditions that others have studied.

Definition and basic constructions
Here, we provide a more general definition of Ric k , namely as a map defined on flags that, when it is required to be positive, restricts to the definition given at the beginning of this article. To that end, let Fl(1, k + 1; T M) denote the partial flag bundle consisting of signature-(1, k + 1) flags tangent to M. In other words, elements of Fl(1, k Given a Riemannian metric on M, let ∇ and R denote the associated Levi-Civita connection and curvature tensor, respectively. For any vector x ∈ T p M, the directional curvature operator or Jacobi operator R x : where X and Y are any extensions of x and y to smooth vector fields, respectively.
x denote the directional curvature operator restricted to V k+1 composed with the orthogonal projection onto V k+1 . Then Ric k : where x is any unit vector in the line V 1 , and e 1 , . . . , e k is any orthonormal basis for the orthogonal complement of V 1 in V k+1 .
Given a signature-(1, 2, n) flag V 1 ⊂ V 2 ⊂ V n tangent to an n-manifold, notice that Ric 1 (V 1 , V 2 ) is the sectional curvature of the 2-plane V 2 , and Ric n−1 (V 1 , V n ) is the Ricci curvature Ric(x, x) for either choice of unit vector x ∈ V 1 . Furthermore, notice that this notion of Ric k is well-defined because the value of trace(R V k+1 Using this general definition, one can consider manifolds for which Ric k is constant on Fl(1, k + 1; T M). On the one hand, it is well known that manifolds of constant Ric 1 are characterized as (open parts of) space forms. On the other hand, manifolds of constant Ric n−1 (where n is the dimension) are precisely Einstein manifolds and have been extensively investigated; however their classification remains open, even in the homogeneous case. Rather surprisingly, it is not difficult to show that manifolds of constant Ric k with k < n − 1 must have constant Ric 1 , see [40,Section 5].
Regarding positive kth-intermediate Ricci curvature, Riemannian products give us an elementary way of constructing manifolds of Ric k > 0 from known examples. Since the Levi-Civita connection of a Riemannian product splits as the sum of the Levi-Civita of both factors, it is straightforward to check the following: Riemannian submersions give another source of examples of manifolds with Ric k > 0. An important subclass in this article is given by quotients of free, isometric actions by compact Lie groups.
It follows from O'Neill's horizontal curvature equation that a Riemannian submersion π : y) for all orthonormal vectors x, y in the horizontal distribution (ker dπ) ⊥ ; see [23] for further information. Thus, the following is an immediate consequence:

Related results and curvature conditions
We close this section by highlighting some existing work on manifolds of Ric k > 0 and related curvature conditions. Various classical results for manifolds with lower bounds on sectional or Ricci curvature have been extended appropriately to the context of Ric k > 0 by several authors. Synge's Theorem was generalized by Wilhelm [49], Heintze-Karcher's Inequality by Chahine [14], and Gromoll-Meyer's Theorem and Cheeger-Gromoll's Soul Theorem on open manifolds by Shen [42]. Moreover, various comparison results have been established by Guijarro and Wilhelm in the series of papers [24][25][26], while the third named author is carrying out a systematic study of manifolds of Ric k > 0 under the presence of isometric actions by large Lie groups [36,38]. We note that Wilking's Connectedness Principle, a foundational tool for studying isometric group actions on manifolds of positive sectional curvature, also generalizes to the setting of Ric k > 0 [52, Remark 2.4]. Now given a unit vector x ∈ T p M, let x ⊥ denote the orthogonal complement of span{x} in T p M. Then the restriction of the directional curvature operator R x to x ⊥ is a self-adjoint endomorphism. Verdiani and Ziller studied manifolds for which the sum of the k smallest eigenvalues of R x | x ⊥ is positive or non-negative in [45]. One advantage of defining Ric k as we have in this section is that one can easily see this condition is equivalent to Ric k being positive or non-negative as a consequence of the Min-Max Theorem applied to R x | x ⊥ : Proposition 2.4 On any Riemannian manifold, Ric k is positive (resp. non-negative) if and only if the sum of the k smallest eigenvalues of the operator R x | x ⊥ (counted with multiplicity) is positive (resp. non-negative) for all unit vectors x.
On the other hand, there has been active research on certain curvature conditions that interpolate between the classical positive Ricci and positive scalar curvature. These conditions have often been called k-Ricci curvature in the literature, which should not be mistaken with the curvature conditions under consideration in this work. We refer to the recent preprints [15,47] for further information on the topic.
Beyond this condition, many researchers have investigated other notions of partially positive curvature. For example, Gromov proposed the study of the so-called positive p-curvature, which interpolates between positive sectional curvature when p = n − 2 and positive scalar curvature when p = 0, where n is the dimension of the manifold. For more information, see [33] or [

Normal homogeneous spaces
This section is devoted to the investigation of the positive intermediate Ricci curvature condition in the context of normal homogeneous spaces. In particular, in Sect. 3.1 we derive various general properties of the smallest k for which normal homogeneous spaces satisfy Ric k > 0. In Sect. 3.2 we briefly discuss Nash-Berestovskii's result on homogeneous spaces with positive Ricci curvature, and prove Theorem C. In Sect. 3.3 we consider certain homogeneous spaces with diagonal isotropy groups, and prove Theorem E. Finally, as an interesting example, in Sect. 3.4 we discuss some curvature and topological properties of certain circle bundles over a product of two complex projective spaces.

Positive intermediate Ricci curvature on normal homogeneous spaces
Let G be a compact connected Lie group and H a closed subgroup of G, and denote their Lie algebras by g and h respectively. Endow the homogeneous space G/H with a normal homogeneous Riemannian metric. Let p be the orthogonal complement of h in g with respect to the Ad(G)-invariant inner product on g that defines the normal homogeneous metric on G/H . For each non-zero x ∈ p, let us define b(G/H , x) as the smallest integer b for which the following holds: for every set of orthonormal vectors y 1 , . . . , Note that this definition of b(G/H ) agrees with the definition given in Sect. 1 Moreover, Z p (x) is a linear subspace of ν x (Ad(H )x), the normal space at x to the orbit Ad(H )x ⊂ p.
Proof Fix x ∈ p \ {0}. If there is a set of orthonormal vectors y 1 , . . . , y b ∈ p perpendicular to x and such that [x, y i ] = 0 for all i, then span{x, y 1 , . . . , Consider now a set of orthonormal vectors y 1 , . . . , y dim Z p (x) ∈ p perpendicular to x. If [x, y i ] = 0 for all i, then span{x, y 1 , . . . , Remark 3.2 An immediate consequence (which also follows by a standard Riemannian submersion argument) is that for a nested triple H < K < G of compact Lie groups, we have b(G/K ) ≤ b(G/H ). Denote by h ⊂ k ⊂ g their Lie algebras and fix a bi-invariant metric on G. For any g i , where g 0 is the abelian factor, and g i , i ≥ 1, are simple ideals. Fix an Ad(G)-invariant inner product ·, · on g. By Schur's lemma, any other Ad(G)-invariant inner product ·, · on g satisfies ·, · | g i ×g i = s i ·, · , for some s i > 0 and each i ≥ 1, and ·, · | g 0 ×g 0 = A ·, · , for some linear automorphism A of g 0 . Since each g i , i ≥ 1, is simple, we have [g i , g i ] = g i , which together with the Ad(G)-invariance implies ·, · | g i ×g j = 0 for each i, j, i = j. Let m (respectively p) be the orthogonal complement of h in g with respect to ·, · (resp. with respect to ·, · ). Consider the linear isomorphism ϕ : m → p given by , which again is equivalent to [y i , x i ] = 0 for all i. Therefore, y ∈ Z m (x) if and only if ϕ(y) ∈ Z p (ϕ(x)). Since ϕ is an isomorphism, it follows that dim Z m (x) = dim Z p (ϕ(x)), and then by Proposition 3.1, we get that b(G/H , x) = b(G/H , ϕ(x)). Therefore, b(G/H ) does not depend on the choice of Ad(G)-invariant inner product on g.
For normal homogeneous spaces that are products, one can easily prove the following (cf. Proposition 2.2):

The case b(G/H) = dim G/H − 1 and the proof of Theorem C
Nash [39] and Berestovskii [6] proved that for a compact Lie group G and a closed subgroup H of G, the following are equivalent: Since we are interested in spaces admitting metrics of positive Ricci curvature, we will assume from now on that the normal homogeneous space G/H is such that G is semisimple.

Remark 3.6
Suppose G is semisimple and hence G/H has finite fundamental group. Then its universal covering space carries a natural homogeneous structure which can be described as G/H , where G is the universal cover of G andH is the connected Lie subgroup of G with Lie algebra h. Since b(−) depends on the corresponding Lie algebras and these remain unchanged under coverings, it clearly follows that b(G/H ) = b( G/H ).
We will now prove Theorem C, which states that, if the De Rham decomposition of the universal cover of G/H does not contain any S 2 -factor, then the previous conditions  To prove sufficiency, suppose G/H is isometric to a Riemannian product S 2 × M for some M. This, by De Rham decomposition theorem for naturally reductive spaces (see [30, §X.5]), implies that G/H = G 1 /H 1 × G 2 /H 2 for closed subgroups H i < G i < G, i ∈ {1, 2}, where G 1 /H 1 ∼ = S 2 and G 2 /H 2 ∼ = M are endowed with normal homogeneous metrics. Then, by Proposition 3.5: Theorem D (b) and Remark 4.1 imply that g splits as an orthogonal direct sum g = su 2 ⊕ g , for some compact semisimple Lie algebra g , and where the su 2 -factor is precisely su 2 = Rx ⊕ Z g (x) ⊥ = span{T , x, [T , x]}. Then so 2 = RT ⊂ su 2 and n ⊂ g ∩ su ⊥ 2 = g . By assumption G is simply connected and H is connected, thus G = SU 2 × G and H = SO 2 × N , where G is the connected Lie subgroup of G with Lie algebra g . Therefore which is impossible by Remark 4.1. Thus we get a contradiction, and this case is not possible.

In the previous proof, an important step was to show that if b(G/H
This can be obtained as a consequence of the following result, which, given any homogeneous space G/H , provides an upper bound for b(G/H ) in terms of b(G), whose value will be computed explicitly for any compact Lie group G in Sect. 4. We also state a straightforward lower bound for b(G/H ) in terms of the ranks of G and H , which generalizes an observation of Berger [

Proposition 3.8 Let G/H be a normal homogeneous space. Then
Proof Let x ∈ p \ {0}. Denote by H x the isotropy group at x of the restriction of the adjoint representation of G to H . In particular, Ad(H )x = H /H x . Since Z p (x) and the Lie algebra of H x are orthogonal subspaces of g, and both commute with x, we have: where in the last inequality we have used Proposition 3.1. Taking the maximum over all x ∈ p \ {0} in both sides of the inequality, we obtain the upper bound for b(G/H ) in the statement. The lower bound follows from the fact that any maximal abelian subalgebra t of h can be extended to a maximal abelian subalgebra s ⊃ t of g. Indeed, if x ∈ s ∩ t ⊥ ⊂ p, x = 0, then s ∩ t ⊥ ⊂ Z p (x), and hence b(

Diagonal subgroups and the proof of Theorem E
In this subsection we will consider normal metrics on homogeneous spaces of the form (K × G)/ K , where K < G are compact Lie groups and K is the diagonal embedding of K into the product K × G. Note that G is diffeomorphic to (K × G)/ K by the identification g → [1, g]. Our study is motivated by the fact, proved in Proposition 3.9 below, that normal metrics on (K × G)/ K are "at least as curved" as normal metrics (i.e. bi-invariant metrics) on G. Theorem E, which we will prove below, shows that in some cases normal metrics on (K × G)/ K are indeed "more curved" than bi-invariant metrics on G.
Proposition 3.9 Let G be a compact semisimple Lie group, and K a closed subgroup of G. Let K = {(k, k) : k ∈ K } < K × G. Then, we have:

c) Any homogeneous metric on (K × G)/ K is isometric to a left-invariant and right K -invariant metric on G.
Proof Let ·, · denote a bi-invariant metric on G. We endow K × G with the biinvariant product metric ·, · | k + ·, · . We consider the reductive decomposition k⊕p In other words, x ∈ Z p (x) if and only if y k ∈ Z k (y k ) and y ∈ Z g (y). Since the projection π g : p → g onto the second factor of k ⊕ g is a linear isomorphism, we get that dim Z p (x) ≤ dim Z g (π g (x)), for any x ∈ p, where π g (x) = 0 if x = 0. By Proposition 3.1, this implies that b((K × G)/ K ) ≤ b(G), which shows the second inequality in (a). For the first inequality in (a), let w ∈ k \ {0} be such that b(K ) = dim Z k (w).
This completes the prove of Item (a). Now assume that rank K = rank G. Let t be a maximal abelian subalgebra of k, which by assumption is also a maximal abelian subalgebra of g. Since centralizers are conjugated under the adjoint representation, and t intersects any orbit of the adjoint Finally, note that the natural diffeomorphism (K ×G)/ K ∼ = G given by [k, g] → gk −1 sends the canonical left (K ×G)-action on (K ×G)/ K given by (k, g)·[a, b] = [ka, gb] to the two-sided (K × G)-action on G given by (k, g) · b = gbk −1 . Thus, any homogeneous metric on (K × G)/ K is isometric to a metric on G which is left G-invariant and right K -invariant. This proves (c).
We will now focus on the particular case considered in Theorem E, namely that of the homogeneous spaces of the form (K × K × K )/ K , where K is a compact Lie group, and K = {(k, k, k) : k ∈ K }. Theorem E asserts that b(K 3 / K ) = 2b(K ) < b(K 2 ) if K is semisimple, thus showing that both inequalities in Proposition 3.9 (a) are strict in this particular case.

Proof of Theorem E Let
= G, and consider the homogeneous space G/H = K 3 / K . We will prove that b(G/H ) = 2b(K ). The corresponding Lie algebras are g = k 3 and h = {(v, v, v) : v ∈ k}. On G = K 3 we consider the biinvariant metric given by the product metric of a fixed bi-invariant metric on K . Then clearly p . . = h ⊥ = {(w, z, −w − z) : w, z ∈ k}. The Lie bracket splits factor-wise and we can compute the centralizer dim Z p (x) of an arbitrary vector x = (w, z, −w −z) ∈ p by considering the following subcases: In the first two cases we have dim from where the first claim in Theorem E holds. Finally, the claim that K 2 admits a metric of Ric k > 0 for k = 2b(K ) which is leftinvariant and invariant under right K -diagonal multiplication is a direct consequence of the existence of a (normal) homogeneous metric on K 3 / K with Ric 2b(K ) > 0, along with Proposition 3.9 (c).

Circle bundles over projective spaces
Here, we discuss properties of a family of homogeneous spaces M p,q k,l that are circle bundles over products of complex projective spaces. We follow the notation in the article by Wang and Ziller [48].
Consider the product S 2 p+1 × S 2q+1 with 1 ≤ p ≤ q. The Hopf action on each factor yields a free U 1 × U 1 -action on S 2 p+1 × S 2q+1 . Let k, l be coprime integers and consider the subgroup U l,−k 1 from (1.2) in Sect. 1.2. The corresponding quotient is a simply connected homogeneous space [48, p. 231], which we denote by where here U l,−k spaces M 1,2 k,l are commonly known as Witten spaces. The space M p,q k,l can also be seen as the total space of a circle bundle over CP p × CP q with Euler class kα 1 +lα 2 , where α 1 , α 2 denote the generators of H 2 (CP p ; Z), H 2 (CP q ; Z), respectively.
It is a routine calculation to check that, for kl = 0, normal metrics for the above homogeneous description satisfy Here we are mostly interested in the case p = 1, where one can alternatively prove that b(M 1,q k,l ) = 2q + 1 as follows: Proposition 3.5 in combination with Remark 3.2 implies However, the value 2q + 2 is ruled out by Theorem C since, by the homogeneous description above, it follows that M

Symmetric spaces
The purpose of this section is to determine, for each symmetric space G/K of compact type, the lowest k for which the symmetric metric on G/K satisfies Ric k > 0. Thus, in Sect. 4.1 we review the main tools needed and derive the recipe for the calculation of b(G/K ). Then, in Sect. 4.2 we discuss further properties of the values b(G/K ), from where Theorem D in Sect. 1.1 will follow. We refer the reader to the recent work [3] for an alternative discussion of the problem addressed in this section.

Root space decomposition and recipe to compute b(G/K)
Let M be a (not necessarily irreducible) symmetric space of compact type. Let (G, K ) be a symmetric pair representing M and consider the decomposition g = k ⊕ p, where p is the orthogonal complement of k in g with respect to the Killing form B g of g. As usual, we can identify p with the tangent space T o M, where o is a fixed point of K . We also have [k, p] ⊂ p and [p, p] ⊂ k.
Recall from Proposition 3.1 that for each non-zero x ∈ p, we have Our purpose is then to determine for each symmetric space M. We will use a direct approach by means of the classical theory of root systems; for more information on the restricted root decomposition in the compact setting, see [34,Chapter VI]. We note that Fix x ∈ p, x = 0. Consider a maximal abelian subspace a of p containing x. Let us put r . . = dim a = rank M. The endomorphisms ad(Y ) ∈ End(g), Y ∈ a, form a commuting family of B g -skew-adjoint operators, and hence diagonalize simultaneously. Moreover, the self-adjoint operators ad(Y ) 2 , Y ∈ a, leave both k and p invariant. For any linear form λ ∈ a * , let us consider Then p 0 = a, p λ = p −λ , k λ = k −λ , and we have the bracket relations [k λ , k μ ] ⊂ k λ+μ +k λ−μ , [k λ , p μ ] ⊂ p λ+μ +p λ−μ , and [p λ , p μ ] ⊂ k λ+μ +k λ−μ , for any λ, μ ∈ a * . Let us denote by = {λ ∈ a * : λ = 0, p λ = 0} the set of roots of M ∼ = G/K with respect to a ⊂ p. It is well-known that constitutes a (possibly non-reduced) root system on the dual space of a. Moreover, we have the B g -orthogonal decompositions where + ⊂ is any choice of positive roots (i.e. is the disjoint union of + and − + , and if the sum of two positive roots is a root, then it is also positive). Select = {α 1 , . . . , α r } ⊂ a set of simple roots for the root system such that x belongs to the closed Weyl chamber determined by the relations α i ≥ 0, for all i ∈ {1, . . . , r }. Then determines a set of positive roots is an arbitrary root (where of course the coefficients a i ∈ Z are either all non-negative or all non-positive), then λ(x) = 0 if and only if λ is a linear combination of roots in = x = {α i ∈ : α i (x) = 0}. Therefore, if we denote by + = + ∩ span the set of positive roots spanned by , it follows from the definition of the subspaces p λ that This is easily checked to be a Lie triple system (i.e. and hence Z p (x) ∼ = T o F is the tangent space of a totally geodesic submanifold F containing o ∈ M. As a totally geodesic submanifold of a symmetric space of compact type, F is a symmetric space of non-negative curvature. Indeed, in this case, F is (up to finite quotients) of the form B × T r −| | , where B is the compact semisimple factor with associated Lie triple system for all Y ∈ a, and T r −| | is the Euclidean factor with Lie triple system ∩ λ∈ ker λ ⊂ a. Since our aim is to determine b(M) = max x∈p\{0} dim Z p (x), in view of (4.1) we can restrict our attention to maximal proper subsets of . Indeed, if x is such that x = , this implies that x = 0, since is a basis of the dual space of a; and if | x | ≤ r − 2, then we can consider properly containing x , and take a non-zero x ∈ ∩ α i ∈ ker α i , which would then satisfy Z p (x) ⊂ Z p (x ) by (4.1).
Thus, let us put = k = \ {α k }, for each k ∈ {1, . . . , r }. Then we can choose We have to determine dim Z p (x) = dim B k × T 1 for each k, and then b(M) will be the maximum of all these values, where k runs through {1, . . . , r }. This is an easy combinatorial problem that can be done with the help of the Dynkin diagram of the root system of M along with the multiplicities of the roots (i.e. the dimensions of each p λ ). The approach is the following. In the Dynkin diagram of M delete the node corresponding to α k (and any edge connected to it). This gives rise to a new Dynkin diagram which, together with the multiplicities attached to each one of the remaining nodes, must then correspond in a unique way to some symmetric space of compact type (up to finite quotients and coverings). Such symmetric space is precisely B k . Finally, we observe that, for each symmetric space M and each k ∈ {1, . . . , r }, dim B k takes the value of a quadratic polynomial in k with positive leading coefficient. Thus its maximum is achieved at k = 1 or k = r , from where we directly obtain b(M) by just adding 1 to such maximum. All this study can be done case by case for each irreducible symmetric space; see Table 3 at the end of the article.
We note that Table 3 contains some redundancies stemming from the isomorphisms existing between some low dimensional symmetric spaces. These isomorphisms can be consulted in [27, pp. 519-520], but can also be derived from Table 3, as the Dynkin diagram and the multiplicities of the simple roots determine the simply connected compact symmetric space.

Discussion of particular cases and proof of Theorem D
We now discuss the values b(M) in various relevant cases. Theorem D will follow from this discussion.
First, observe that the first claim in Theorem D just refers to Table 3  Then, in view of (4.2), for any maximal proper ⊂ we must have | + | = r − 1 (and hence + = ) and dim p λ = 1 for all λ ∈ + . This means that, for any maximal proper ⊂ , B is a symmetric space of type (A 1 ) r −1 (equivalently, when one removes a node from the Dynkin diagram of M, one obtains a totally disconnected graph with no double nodes) and with all multiplicities equal to 1. If r = 1, this is trivially satisfied. If M is irreducible, it easily follows from the Dynkin diagrams and multiplicities in Table 3 that M must be isometric to If M is reducible, all factors have to be of type A 1 with multiplicity 1, that is, M is covered by a product of 2-spheres. All in all, this proves Theorem D (a). Now assume b(M) = dim M − 1. Then, there exists x ∈ a such that dim Z p (x) = dim p − 1. By (4.1) there is exactly one positive root α ∈ + such that p α is not contained in (and is orthogonal to) Z p (x), and we have dim p α = 1 for such root. Thus, {α} = + \ + . By the properties of root systems, is then reducible with a rank one factor (the span of α). Thus, the universal cover of M has a rank one factor, which must necessarily be isometric to S 2 , since dim p α = 1. The converse is direct from Proposition 3.5.
Let us consider the case b(M) = dim M −2. Then dim Z p (x) = dim p−2 for some x ∈ a, and by (4.1) we deduce that either there is exactly one α ∈ + \ + , and it satisfies dim p α = 2, or there are two different roots α, β such that {α, β} = + \ + and both with multiplicity 1. In the first case, similarly as above, the universal cover of M splits off a factor isometric to SU 2 = S 3 . Let us assume we are in the second case. If the roots in + \ span{α, β} are perpendicular to span{α, β}, then is reducible with a rank two factor of type A 2 (the span of α and β); since the multiplicities of the roots of this factor are all 1, M locally splits off a factor isometric to SU 3 /SO 3 . On the contrary, if there is a root in + \ span{α, β} not perpendicular to span{α, β}, we can assume without restriction of generality that there exists λ ∈ \ span{α, β} not perpendicular to α, and also λ, α > 0. Then, again by the properties of root systems, we have that λ − α ∈ , but λ − α / ∈ (since λ ∈ and α / ∈ ). This would imply that λ − α ∈ {α, β, −α, −β}, which contradicts λ / ∈ span{α, β}. The discussion in this paragraph and the previous one implies Theorem D (b).

Remark 4.1
In the particular case where M is a compact semisimple Lie group G, the discussion in the previous two paragraphs implies that b(G) = dim G − 1 is impossible, whereas b(G) = dim G − 2 if and only if g is a Lie algebra direct sum of the form su 2 ⊕ g , for some compact semisimple g . Even more, if for some  Table 3 at the end of the article.
For convenience of the reader, we list the simply connected irreducible symmetric spaces M of rank at least 2 with b(M) ≤ 6 in Table 1 below, as referenced in Theorem D (e).
In the case of rank 2 symmetric spaces, Proposition 3.  Table 2, all simply connected compact semisimple Table 1 Irreducible symmetric  spaces with Table 2 Symmetric spaces of rank two (9, 6) E 6 /Spin 10 U 1 32 11 (2, 2) G 2 14 4 symmetric spaces M of rank 2 are shown, together with their dimensions, the number g of principal curvatures and the multiplicities of the corresponding homogeneous hypersurfaces, from where one directly obtains b(M).
we recall the notion of fat homogeneous bundle and prove Theorem F. In Sect. 5.2 we discuss various families of fat homogeneous bundles and obtain Theorem 5.4 as a consequence, which in particular implies Theorem G. In Sect. 5.3 we compute the topology of the generalized Aloff-Wallach spaces.

Metrics on fat homogeneous bundles
The notion of fatness was introduced by Weinstein to study Riemannian submersions with totally geodesic fibers and positive vertizontal curvatures; see the discussion in [23,Section 2.8] or [20,55]. In this work we are only interested in the case where the submersion is given by a homogeneous bundle. Recall that a homogeneous bundle is the bundle K /H → G/H → G/K resulting from a nested triple of compact Lie groups H < K < G. Let h ⊂ k ⊂ g be the respective Lie algebras. We fix a bi-invariant metric ·, · on G and use it to define: Recall that there are canonical identifications With this notation, there is the following characterization of fat homogeneous bundles which we take as a definition (see [23,Proposition 2.8.3]).

Definition 5.1 A homogeneous bundle is fat if [x, y]
= 0 for all non-zero x ∈ m and y ∈ p.
We will now describe the metrics that will be used in the proof of Theorem F. For any t > 0, consider the bi-invariant product metric (K × G, t ·, · | k + ·, · ). The quotient with respect to the action by right multiplication k 1 (k 2 , g) = (k 2 k −1 1 , gk −1 1 ), g ∈ G, k 1 , k 2 ∈ K , of the diagonal subgroup K < K × G is a normal homogeneous metric on (K × G)/ K , denoted by ·, · t . Note that Proposition 3.9 applies in this case. Hence, the natural diffeomorphism (K × G)/ K ∼ = G given by [k, g] → gk −1 sends the action by left multiplication (k 1 , g 1 )[k 2 , g 2 ] = [k 1 k 2 , g 1 g 2 ] to the (K × G)action on G given by (k 1 , g 1 )g 2 = g 1 g 2 k −1 1 . In particular, the push-forward of the left (K × G)-invariant metric ·, · t on (K × G)/ K results in a left-invariant and right K -invariant metric on G, which we also denote by ·, · t . This discussion can be summarized in: where the first arrow is a Riemannian submersion.
The right action by H on (G, ·, · t ) is by isometries since H < K , and hence ·, · t induces a metric q t on G/H such that the quotient map is a Riemannian submersion. Since ·, · t is left-invariant and the left G-action on G commutes with the right H -action, it follows that q t is G-invariant, i.e. q t is homogeneous on G/H . Observe that ·, · t and q t are of sec ≥ 0 by O'Neill's formula. We will need the following result showing that, in some situations, ·, · t has fewer zerocurvature planes than the bi-invariant metric ·, · ; see [19,Satz 231] We are ready to prove Theorem F, which we restate here in a more precise manner: we can rearrange the vectors x, y i 0 so that either x ∈ p and y i 0 ∈ m or x ∈ m and y i 0 ∈ p. In either case, the last condition [x, y i 0 ] = 0 together with Definition 5.1 of fatness imply that x, y i 0 are linearly dependent, which is a contradiction.

Examples
The classification of fat homogeneous bundles was achieved in [5], it was revisited in [55, Section 3] and some cases were used in [20,Section 6]. In this article we consider various such bundles, which can be divided in three different sets.
The first set consists of those bundles induced by the following nested inclusions, where p, q are coprime integers with pq > 0 and n ≥ 2: The base spaces of the corresponding fat bundles are G 2 (C n+1 ), G 2 (H n+1 ), G 2 (C 6 ) and G + 2 (R 10 ), respectively. The total space Sp n+1 /(Sp 2 1 ×Sp n−1 ) corresponding to the second row equals the projectivized tangent bundle of HP n , denoted by P H T HP n , and the low-dimensional case P H T HP 2 is by definition the Wallach flag manifold W 12 .
The second set comes from the following source. Recall that a compact irreducible symmetric space G/K is Hermitian if K locally splits off a circle factor K = K U 1 (see [27, p. 518] for their classification). The nested inclusion K < K U 1 < G induces a fat homogeneous (circle) bundle; see [5,Section 4] or [55, p. 17]. From Theorem D we know that the Hermitian spaces of rank ≥ 2 and b(G/K ) ≤ (dim G/K )/2 are In the case of G + 2 (R n+1 ), the total space SO n+1 /SO n−1 of the corresponding fat bundle equals the unit tangent bundle T 1 S n . As mentioned in Sect. 1.2, the Euler class of SU n+1 /(SU 2 × SU n−1 ) → G 2 (C n+1 ) is a generator of H 2 (G 2 (C n+1 ); Z) = Z; this follows from [4, Lemma 12.2] since both spaces are simply connected.
The third set is similar to the previous one. Recall that a compact irreducible symmetric space G/K is quaternionic if K locally splits off an Sp 1 factor K = K Sp 1 and the isotropy representation of this Sp 1 factor is equivalent to the standard Hopf action on H n (see [9,Chapter 14.E] for their classification). The bundle G/K → G/K Sp 1 is fat and principal, with the group L acting being Sp 1 or SO 3 ; see [5, Section 8, Cas (B)] or [55, p. 17]. Moreover, the associated 2-sphere homogeneous bundle G/K × L S 2 → G/K Sp 1 is also fat, see Cas (A) and Cas (B) of Sections 7 and 8 in [5] or [55,Proposition 2.22]. The quaternionic spaces of rank ≥ 2 and b(G/K ) ≤ (dim G/K )/2 are For each such G/K there is exactly one associated Sp 1 bundle (and the corresponding 2-sphere bundle) as above, except in the case G 2 /SO 4 [5, Section 7, Cas (A) and Cas (B)]. The group SO 4 has two normal subgroups SU ± 2 corresponding to the image of SU 2 ×{1} and {1}×SU 2 under the covering SU 2 ×SU 2 → SO 4 , and both SU ± 2 can be enlarged to subgroups SU ± 2 < U ± 2 < SO 4 ; see [28, pp. 1-2]. In the case of G 2 (C n+1 ), the total space equals W 4n−1 1,1 ∼ = T 1 CP n and the associated 2-sphere bundle equals the projectivized tangent bundle P C T CP n of CP n .
We remark that P C T CP n is not only related to W 4n−1 1,1 but to any of the spaces W 4n−1 p,q . In fact, for any p, q there is a triple inducing a circle bundle W 4n−1 p,q → P C T CP n . For our purposes it is not relevant whether these circle bundles are fat, but they will be very useful for topological computations in Sect. 5.3.
The following theorem is obtained by applying Theorem F to the fat bundles above, in combination with the values b(−) from Table 3 at the end of the article. In order to keep track of the spaces in the theorem, observe that each table corresponds to the respective set of spaces discussed above, with the exception of P C T CP n being included in the first set (since, as explained in the previous paragraph, it is associated to any of the W 4n−1 p,q ).

Theorem 5.4
Each homogeneous space G/H in the following tables carries a homogeneous metric of Ric k > 0 for the corresponding value of k (we restrict to n ≥ 2 and distinguish between the cases n = 3 and n = 3 where it corresponds). Moreover, for each G/H in the third table (one whose top-left entry is 6/(2 × SU 2 )) the associated 2-sphere bundle G/H × L S 2 with L = Sp 1 or SO 3 carries a homogeneous metric of Ric k > 0 for the same k.
We finish with some topological comments. The spaces G 2 /SU + 2 and G 2 /U + 2 have the rational cohomology ring (but not the integral cohomology ring) of S 11 and CP 5 respectively; see [28] and [10, pp. 195-196]. The integral cohomology rings of several homogeneous spaces of exceptional Lie groups have been computed in [18, Section 5.1].

Topology
Here we compute various topological properties of the spaces W 4n−1 p,q . Throughout this section all cohomology groups are understood to be taken with integer coefficients. As in Sect. 1.2, p, q are assumed to be coprime integers with pq > 0 (although all computations also work for the case pq < 0). The main tool will be the Gysin sequence associated to the following circle bundles induced from the triples (5.2): π p,q : W 4n−1 p,q → P C T CP n .
The cohomology ring of P C T CP n was computed by Borel in [13, Proposition 31.1]: where S(−) denotes symmetric polynomials in the corresponding variables (of degree 2) and S + (−) ⊂ S(−) denotes those of positive degree. In particular, H * (P C T CP n ) has no torsion and is concentrated in even degrees, with non-trivial groups given by: The cohomology ring can be rewritten as follows: x n + x n−1 y + · · · + x y n−1 + y n = 0 x y(x n−1 + x n−2 y + · · · + x y n−2 + y n−1 ) = 0 , (5.3) where x, y are of degree 2. Moreover, as explained in [32, pp. 473-474] for the case n = 2, the generators x, y can be chosen so that the Euler class e(π p,q ) of π p,q equals e(π p,q ) = −qx + py ∈ H 2 (P C T CP n ).
With this information at hand one can fully compute the cohomology ring of W 4n−1 p,q using the Gysin sequence, which gives exact sequences For our purposes it will sufficient to look at cohomology groups of degree ≤ 2n. Multiplication by the Euler class e∪ is injective for 2k ≤ 2n, thus it follows that the cohomology groups H 2k−1 (W 4n−1 p,q ) vanish. Consequently we get isomorphisms H 2k (W 4n−1 p,q ) = H 2k (P C T CP n ) e ∪ H 2k−2 (P C T CP n ) . (5.4) For 2k < 2n there are no relations among the elements x k , x k−1 y, . . . , x y k−1 , y k from (5.3). Since p, q are coprime with pq = 0 it follows that the quotient (5.4) is isomorphic to Z.
The case 2k = 2n is bit more involved, so let us have a closer look at the map e∪. Using the first relation in (5.3) we can give the following bases to the spaces involved: H 2n−2 (P C T CP n ) = x n−1 , x n−2 y, . . . , x y n−2 , y n−1 ∼ = Z n , H 2n (P C T CP n ) = x n−1 y, x n−2 y 2 , . . . , x y n−1 , y n ∼ = Z n .
The quotient in (5.4) for k = n is a finite group whose order equals the absolute value of the determinant of the matrix T n ( p, q). We denote the latter by τ n ( p, q): τ n ( p, q) . . = | det T n ( p, q)| = |p n + p n−1 q + · · · + pq n−1 + q n |. Table 3 For each irreducible symmetric space M, we list the symmetric spaces B k , where k = \{α k }, along with b(M) = 1 + max{dim B k : 1 ≤ k ≤ r } and the index k max of the a simple root α k max for which the maximum is achieved. The symmetric spaces M and B k are listed up to finite quotients and coverings can be computed using [4,Lemma 12.2] in terms of the Euler class: since p, q are coprime, the element e(π p,q ) = −qx + py is indivisible in H 2 (P C T CP n ) and hence the total space W 4n−1 p,q is simply connected. The order of H 2n (W 4n−1 p,q ) can be extracted from Wilking's article [51, p. 119]. He also observed that τ n ( p, q) = 0 may occur if one allows pq < 0. For the case n = 2 the reader can find further details in the article of Kreck and Stolz [32, pp. 473-474].