arxiv:math/ v1 [math.dg] 31 Jan 2006

Transcription

1 NON-NEGATIVE CURVATURE OBSTRUCTIONS IN COHOMOGENEITY ONE AND THE KERVAIRE SPHERES arxiv:math/ v1 [math.dg] 31 Jan 006 KARSTEN GROVE, LUIGI VERDIANI, BURKHARD WILKING, AND WOLFGANG ZILLER Deicate to Eugenio Calabi on his 80th birthay Most examples of manifols with non-negative sectional curvature are obtaine via prouct an quotient constructions, starting from compact Lie groups with bi-invariant metrics. In [GZ1] a new large class of non-negatively curve compact manifols was constructe by using Lie group actions whose quotients are one-imensional, so calle cohomogeneity one actions. It was shown that if the action has two singular orbits of coimension two, then the manifol carries an invariant metric with non-negative sectional curvature. This in particular gives rise to non-negatively curve metrics on all sphere bunles over S 4, which inclue the Milnor exotic spheres. In [GZ1] it was also conjecture that any cohomogeneity one manifol shoul carry an invariant metric with non-negative sectional curvature. The most interesting application of this conjecture woul be the Kervaire spheres, which can be presente as particular n 1 imensional Brieskorn varieties M n 1 C n+1 efine by the equations z 0 + z 1 + z n = 0, z 0 + z n = 1. For n o an o, they are homeomorphic to spheres, an are exotic spheres if n 1 1 mo 8. As was iscovere by E.Calabi in imension 5 an later generalize in [HH], the Brieskorn variety M n 1 carries a cohomogeneity one action by SO()SO(n) efine by (e iθ, A)(z 0,, z n ) = (e iθ z 0, e iθ A(z 1,, z n ) t ). It was observe in [BH] (see [Se] for n = 3) that M n 1 oes not amit an SO() SO(n) invariant metric with positive curvature, if n 3,. On the other han, the non-principal orbits of this action have coimension an n 1. Hence, if n = 3, they carry an invariant metric with non-negative curvature. If n = the action is a linear action on the lens space L(1, ). If = 1 the action is the linear tensor prouct action on S n 1 an if = it is a linear action on T 1 S n. Hence in all these cases one has an invariant metric with non-negative curvature. In all remaining cases we prove: Theorem A. For n 4 an 3, the Brieskorn variety M n 1 SO() SO(n) invariant metric with non-negative sectional curvature. oes not support an If n = 4, the normal SU() subgroup in SO(4) acts freely on M 7. Its quotient is S4, since the inuce cohomogeneity action on the base is the sum action of SO() SO(3) on S 4. In [GZ1] it was shown that such principal bunles amit another cohomogeneity The first name author was supporte in part by the Danish Research Council, the secon name author was supporte in part by a GNSAGA an the last name author by the Francis J. Carey Term Chair. The first an the last two authors were also supporte by grants from the National Science Founation. 1

2 KARSTEN GROVE, LUIGI VERDIANI, BURKHARD WILKING, AND WOLFGANG ZILLER one action by SO(4) with non-principal orbits of coimension two an hence an invariant metric with non-negative sectional curvature. We o not know if any of the remaining manifols M n 1 amit non-negative curvature. In aition to the cohomogeneity one Brieskorn varieties, we construct several other infinite families of cohomogeneity one manifols that cannot support invariant metrics of non-negative curvature (see Theorem 3.). In particular, we get such an infinite family for any coimensions bigger than two (see Corollary 3.4). Together with the examples of the Brieskorn varieties we obtain the following counterpart to the positive result of [GZ1]: Theorem B. For any pair of integers (l, l + ) (, ) with l ±, there is an infinite family of cohomogeneity one manifols M with singular orbits of coimensions l ± an no invariant metric of non-negative sectional curvature. Our results are in contrast to the homogeneous case, where all compact manifols amit an invariant metric of non-negative curvature, an they leave the classification of nonnegatively curve cohomogeneity one manifols wie open. We point out though that all cohomogeneity one manifols amit invariant metrics with almost non-negative sectional curvature (see [ST]). We also point out that our obstructions are global in nature since each half, as homogeneous isc bunles over the singular orbits, naturally amit invariant metrics with non-negative curvature. In Section 1 we escribe the cohomogeneity one action on M n 1 an the invariant metrics. In Section we erive the obstructions to non-negative curvature an prove Theorem A. In section 3 we exhibit other infinite families of cohomogeneity manifols that o not amit invariant metrics with non-negative curvature. 1. Cohomogeneity one Brieskorn varieties an invariant metrics For any integer 1 the Brieskorn variety M n 1 is the smooth (n 1)-imensional submanifol of C n+1 efine by the equations { z 0 + z1 + z zn = 0, z 0 + z z n = 1. When = 1, M1 n 1 is iffeomorphic to the stanar sphere via (z 0, Z) Z/ Z. When =, M n 1 is iffeomorphic to the unit tangent bunle of S n since X +iy lies in M n 1 iff X, X = Y, Y = 1, X, Y = 0. When n =, M3 is the Lens space L(1, ) while, for n 3 the Brieskorn varieties are simply connecte. The group G = SO() SO(n) acts on M n 1 by (e iθ, A)(z 0, Z) = (e iθ z 0, e iθ AZ), (z 0, Z) C C n. z 0 is invariant uner this action an one easily sees that two points belong to the same G-orbit if an only if they have the same value of z 0. Furthermore, using the Schwarz inequality, we have that 0 z 0 t 0, where t 0 is the unique positive solution of t 0 +t 0 = 1. In particular, the manifol is cohomogeneity one an M/ G = [0, t 0 ].

3 NON-NEGATIVE CURVATURE OBSTRUCTIONS IN COHOMOGENEITY ONE AND THE KERVAIRE SPHERES3 In orer to escribe the possible orbit types for this action, we consier the Lens space M 3 Mn 1, efine by M 3 = {(z 0, z 1, z, 0,...,0)} M n 1. The points of M 3 such that 0 < z 0 < t 0 have a common isotropy subgroup, namely { ( ǫ, iag(ǫ, ǫ, A)) if o H = Z SO(n ) = (ǫ, iag(1, 1, A)) if even where ǫ = ±1 an A SO(n ). Conversely, M 3 coincies with the fixe point set of H. There are three orbit types, the principal ones, corresponing to the interior of the interval [0, t 0 ], an two singular ones corresponing to the bounary points. One singular orbit, enote by B, is given by z 0 = 0 an has coimension. Choosing p = (0, 1, i, 0,..., 0) M 3, the isotropy subgroup of p is K = SO() SO(n ) = (e iθ, iag(r(θ), A)). where R(θ) is a counterclockwise rotation with angle θ. The secon singular orbit, B +, is given by z 0 = t 0 an has coimension n 1. If we choose p + = (t 0, i t 0, 0,..., 0), the corresponing isotropy subgroup is { O(n 1) = (et B, iag(et B, B)) if o K + = Z SO(n 1) = (ǫ, iag(1, B )) if even where ǫ = ±1, B O(n 1) an B SO(n 1). A tubular neighborhoo of the singular orbit G/K ± is equivariantly iffeomorphic to the homogeneous vector bunle G K ±D ±, where D ± can be ientifie with the normal isc to the orbit B ± = Gp ± = G /K ± at p ±. The group K ± acts linearly on D ±, an transitively on the sphere D ± = S ± = K ± / H. Furthermore, M is the union of these tubular neighborhoos M = G K D G K +D + glue along a principal orbit G/H. The isotropy groups K ± are isotropy groups of the en points of a minimal geoesic joining the singular orbits for an invariant metric on M. The largest normal subgroup common to G an K, which is the ineffective kernel of the G action on B, is the cyclic group generate by (e iπ/, I) for n even an (e iπ/, I) for n o. On the other han, the action of e iθ SO() K on the slice D is given by R(θ) since e iπ H. Hence the singular orbit B is the fixe point set of a group of isometries an thus is totally geoesic if 3. This implies, as was observe in [BH], that M cannot carry a G invariant metric with positive curvature if n 4 an 3 since B oes not amit a homogeneous metric with positive curvature. We now escribe the Riemannian metrics g on M n 1 invariant uner the action of G = SO() SO(n). Let γ be a geoesic orthogonal to one an hence all G orbits, which we can assume lies in M H an ens at p + chosen as above. Its beginning point γ(0) will lie in B M H, which consists of the two circles {(0, z, iz) z = 1} an {(0, z, iz) z = 1}. By changing the sign of the thir basis vector if necessary, we can assume that γ(0) lies in the first circle where the isotropy group is constant equal to K. We can hence

4 4 KARSTEN GROVE, LUIGI VERDIANI, BURKHARD WILKING, AND WOLFGANG ZILLER assume, changing p if necessary, that γ is parameterize by arc length with γ(0) = p an γ(l) = p + an all isotropy groups are escribe as above. For 0 < t < L, γ(t) is a regular point with constant isotropy group H an the metric on the principal orbits Gγ(t) = G/H is a family of homogeneous metrics g t. Thus on the regular part the metric is etermine by g γ(t) = t + g t an since the regular points are ense it also escribes the metric on M. By means of Killing vector fiels, we ientify the tangent space to G / H at γ(t), t (0, L) with an A(H)-invariant complement n of the isotropy subalgebra h of H in g an the metric g t is ientifie with an A(H) invariant inner prouct on n. The complement n can be chosen as the orthogonal complement to h with the respect to a fixe A(H)-invariant scalar prouct Q in g. In our case a convenient choice of Q on so() + so(n) is Q(a + A, b + B) = ab 1 tr(a B) where a, b so() an A, B so(n). We obtain a Q-orthogonal ecomposition: T γ(t) G(γ(t)) n p 1 + p + m 1 + m for t (0, L), where p i are one-imensional trivial A(H)-moules an m i are (n )- imensional irreucible A(H)-moules. A Q-orthonormal basis of n is given by X = ( 1 I+E 1)/ p 1, Y = ( 1 I E 1)/ p, E i = E 1(i+) m 1, F i = E (i+) m for i = 1..n, where E ij is the stanar basis for so(n) an I = E 1 so(). The same ientification at the singular points takes the form k = h + p 1, T γ(0) B p + m 1 + m, k + = h + m, T γ(l) B + p 1 + p + m 1. Any A(H)-invariant scalar prouct on n must be a multiple of Q on the irreucible H-moules m i an the inner proucts between m 1 an m are escribe in terms of an A(H)-equivariant isomorphism. Up to a factor, the only such isomorphism m 1 m is given by E i F i. Furthermore, p 1 + p must be orthogonal to m 1 + m. In terms of this basis, g t can therefore be escribe as follows: g t (X, X) = f 1(t), g t (Y, Y ) = f (t), g t (X, Y ) = f 1 (t) g t (E i, E i ) = h 1(t), g t (F i, F i ) = h (t), g t (E i, F i ) = h 1 (t) with all other inner proucts being 0. If these 6 functions are smooth, an g t is positive efinite, they efine a smooth metric on the regular part of M. Some further conitions are require to ensure that the metric g t + t can be smoothly extene to the singular orbits. The precise necessary an sufficient conitions were etermine in [BH]. For our purposes it is sufficient to consier only a few of these smoothness conitions. They are, assuming that 3:

5 NON-NEGATIVE CURVATURE OBSTRUCTIONS IN COHOMOGENEITY ONE AND THE KERVAIRE SPHERES5 (1.1) f 1 (0) = 0, f 1 (0) = /, f 1 (0) = f 1 (0) = 0 h 1 (0) = h (0), h 1 (0) = h (0) = 0, h 1(0) = h 1 (0) = 0, h 1 (L) = 0, h (L) = 0 The first two follow from the fact that p 1 collapses at B an that the circle K / H has length π/ in the metric Q. The inner prouct f 1 (0) = 0 since the slice D an B are orthogonal. Since K fixes Y, it follows that X, Y, restricte to the slice, is a function of the square of the istance to the origin. Hence f 1 (t) is an even function of t which implies that f 1(0) = 0. We have h 1 (0) = 0 an h 1 (0) = h (0) since the isotropy representation of K on m 1 +m is irreucible. The remaining erivatives vanish at t = 0 since B is totally geoesic. Now h 1 (L) = 0 means that the secon funamental form of B + restricte to m 1 is 0. Inee, this follows from the fact that the secon funamental form is equivariant uner the action of K +, an that this action on the slice D + is equivalent to its action on the subspace of T p+ (B + ) spanne by X + Y = E 1 an m 1. Finally, h (L) = 0 since m collapses at p +.. Obstructions an Proof of Theorem A From now on we assume that M = M n 1 with 3 an n 4 an that M is equippe with a G = SO() SO(n)-invariant C -metric g. Our starting point is the following global fact: Lemma.1. If (M, g) is non-negatively curve, then h 1 (t) = 0 an h 1 (t) is constant for t [0, L]. Proof. Let E i m 1 as before an consier the vector fiel Ẽi obtaine by parallel transport of E i (γ(l)) along γ(t) for t [0, L]. By A(H)-equivariance, the parallel transport along γ preserves m 1 + m an hence Ẽi(γ(0)) m 1 + m. Recall that B is totally geoesic an that the secon funamental form of B + restricte to m 1 is 0. Since the normal geoesic connecting p to p + is a minimizing connection between B an B +, the secon variation formula implies that R(Ẽi, γ )γ, Ẽi = 0. Since g has non-negative curvature, R(Ẽi, γ )γ = 0 an hence Ẽi is a Jacobi fiel along γ, which has the same initial conitions as E i at γ(l). Thus both must agree, which means that E i is parallel along γ an hence h 1 is constant for t [0, L]. The orthogonal complement m 1 of m 1 in m 1 + m is both invariant uner parallel translation an uner the symmetric enomorphism R(, γ )γ. Therefore any Jacobi fiel with initial conitions in m 1 stays in m 1. By (1.1) we have m 1 = m for t = 0 an hence m 1 an m are orthogonal everywhere. The remainer will be a proof by contraiction. By computing the sectional curvature of two particular -planes, the non-negativity conition gives upper an lower bouns for h (t) for t small, which when combine yiels. We can replace all functions, e.g. h 1 (t), by ah 1 (t/a) corresponing to multiplying the metric by a. From now on we will normalize the metric so that h 1 (0) = 1. It follows from (1.1) that h (0) = 1 as well.

6 6 KARSTEN GROVE, LUIGI VERDIANI, BURKHARD WILKING, AND WOLFGANG ZILLER Let A, B n be linearly inepenent. The corresponing Killing vector fiels span a two plane tangent to the principal orbits at the regular points of γ(t). The sectional curvature of such a two plane can be compute using the Gauss equations R(A, B, B, A) = R(A, B, B, A) 1 4 g t(a, B) g t(a, A) g t (B, B) where R(A, B, A, B) is the intrinsic curvature of the principal orbit G/ H. The latter can be compute by any of the well known formulas for the curvature tensor of a homogeneous space (cf. [Be, 7.30] or [GZ]). We choose the vectors A = E 1 + F an B = E + F 1, which is possible since n 4. Using the fact that [A, B] = 0, a curvature computation shows: R(A, B, B, A) = 1 (1 h ) f 1 + f f 1 f1 f f1 In the following we set h h δ(t) = 1 h (t) an hence the non-negative curvature conition can be formulate as: (.) (δ ) f 1 + f f 1 (f 1 f f 1 ) δ Since F 1 /h is a parallel vectorfiel, it follows that sec(γ (t), F 1 ) = h /h, an hence the function h (t) is concave. Using the smoothness conition h (0) = 0 an h (0) = 1 it follows that δ(t) 0. We first claim that δ(t) > 0 for t > 0. If not, there woul be a t 0 > 0 with δ(t 0 ) = 0 but δ(t) > 0 for t > t 0 since h (L) = 0 (cf. (1.1)). But then (.) implies that δ /δ = log(δ) is boune from above, which by integrating from t 0 + ǫ to t 0 + η leas to a contraiction when ǫ 0. f The smoothness conitions (1.1) imply that f 1 (0) = 0 an lim 1 t 0 f 1 = 0 an since f (0) 0, (.) implies that: (.3) log(δ) (1 + η) f 1 for t (0, L) where η(t) is a positive function with lim t 0 η(t) = 0. To obtain a lower boun, we consier the family of -planes spanne by A r = X + r Y an B = F 1. A necessary conition for R(A, B, B, A) to be non-negative for all r is A computation shows that R(X, F 1, X, F 1 ) R(Y, F 1, Y, F 1 ) R(X, F 1, Y, F 1 ) R(X, F 1, X, F 1 ) = 1 8 δ( 4 f 1 f 1 δ ) (f 1 + f 1 ) + 1 f 1f 1δ R(Y, F 1, Y, F 1 ) = 1 8 δ( 4 f f 1 δ ) (f + f 1 ) + 1 f f δ R(X, F 1, Y, F 1 ) = 1 8 δ( 4 f 1 f f 1 δ ) (f 1 + f 1 )(f + f 1 ) f 1δ, If we set a = f (0), an using δ(0) = δ (0) = 0, it follows that R(X, F 1, X, F 1 ) R(Y, F 1, Y, F 1 ) R(X, F 1, Y, F 1 ) = a 16 (1 + η 1)δ + a 16 (1 + η )f 1 f 1δ 0

7 NON-NEGATIVE CURVATURE OBSTRUCTIONS IN COHOMOGENEITY ONE AND THE KERVAIRE SPHERES7 where η i are functions with lim t 0 η i (t) = 0, i = 1,. Combining with inequality (.3) gives 1 (1 η 3 (t)) f 1 (t)f 1 (t) log(δ) (1 + η 3 (t)) f 1 (t) for a suitable positive function η 3 with lim t 0 η 3 (t) = 0. In particular f 1 (0) 1 an since f 1(0) = (cf.(1.1)), we obtain. This finishes the proof of our main Theorem. Remark. The first inequality is alreay enough to rule out the existence of invariant non-negatively curve metrics of class C +1 for = m+1 >. Inee, since f 1(0) =, (.3) implies that log(δ) (1 + η(t)) t. Integrating gives that for each α > we have δ(t) t α provie that t lies in a sufficiently small interval (0, ε(α)). On the other han, using the action of the cohomogeneity one Weyl group at B (see e.g. [AA]), one shows that if is o δ(t) = 0 for t [ L, 0]. Thus the metric can not be of class C k for any integer k >. The choice of the given -planes can be motivate as follows. For the first set of - planes, the contribution given by the secon funamental form is non-positive. This forces the intrinsic sectional curvature to be non-negative. Since [A, B] = 0, the plane has intrinsic curvature 0 in a bi-invariant metric, an non-negative curvature of M gives a strong upper boun for h. For the secon family, we choose -planes whose intrinsic sectional curvature shoul be negative, since it forces the contribution from the secon funamental form to be positive, giving a lower boun for h. This can be one by consiering two planes containing E 1 so() since non-negative curvatures for such -planes woul imply that SO() splits off isometrically, contraicting the fact that X = 1 A + E 1 must vanish at the singular orbit B. 3. Other Examples an Proof of Theorem B It turns out that there are many more examples of compact cohomogeneity one manifols which o not amit invariant non-negatively curve metrics. Recall that any choice of groups H {K, K + } G with K ± / H = S l ± efine a cohomogeneity one manifol M = G K D l +1 G K +D l ++1. Suppose K /H =S l 1 is a sphere, an let sl: K O(l) be the corresponing representation. Suppose furthermore that µ: K SO(k) is an irreucible faithful representation with µ(h ) SO(k 1). We can then efine a cohomogeneity one manifol M with G := SO(n). View SO(k) as the upper k k-block of SO(n) an set (3.1) K = µ(k ) SO(n k) SO(k) SO(n k) SO(n) K + = µ(h ) SO(n k + 1) SO(k 1) SO(n k + 1) SO(n) H = µ(h ) SO(n k) K ±

8 8 KARSTEN GROVE, LUIGI VERDIANI, BURKHARD WILKING, AND WOLFGANG ZILLER Theorem 3.. Let K /H =S l 1 with l 3 an µ: K SO(k) an irreucible faithful representation such that a) µ(h ) SO(k 1) b) µ(k ) oes not act transitively on S k 1 c) sl is not a subrepresentation of S µ ) n k + Then M as efine by (3.1) oes not amit a G invariant C metric of non-negative sectional curvature. Proof. We assume that there is an invariant non-negatively curve metric on M. Let c: [0, L] M enote a shortest geoesic from the singular orbit G/K to G/K + an exten c to a geoesic c: R M. We can assume that H leaves c pointwise fixe. Let W n = h so(n) be the subspace spanne by E i,j with 1 i k, k + 1 j n an W(t) its image in T c(t) M. Then W(t) is invariant uner parallel translation since it is complementary an hence orthogonal to the fixe point set of SO(n k) H in n. Notice that W(0) an W(L) are tangent to B = G/K an we first claim that the secon funamental form of B vanishes on them. Inee, the action of K on W is given by µˆ ρ n k, where as usual we enote by ρ n k the representation of SO(n k) on R n k. Hence S (W) = S (µ)ˆ S (ρ n k ) Λ (µ)ˆ Λ (ρ n k ). Furthermore, Λ (ρ n k ) so(n k) is irreucible an S (ρ n k ) is a trivial representation plus an irreucible one. The claim follows from equivariance of the secon funamental form uner the action of K since the slice representation of K is given by sl ˆ I an by assumption sl / S (µ). We now consier the geoesic c [0,L] as a point in the space of all path in M which start an en in G/K. Clearly c is a critical point of the energy functional an we claim that it has inex n k with respect to any G-invariant metric. To see this, observe that since geoesics from G/K to G/K + are minimal, this path space can be approximate by broken geoesics starting an ening orthogonal to G/K an with break points in G/K + without changing the inex an nullity of the critical point c. On this subspace of imension im(k /H) + im(k + /H) the energy clearly has nullity im(k /H) an inex im(k + /H) = n k. On the other han, we can exten each vector in W(0) to a parallel vectorfiel along c an by the previous observation the bounary terms in the variational formula for the energy vanish. Hence the Hessian of the energy is negative semiefinite on this k(n k)- imensional vectorspace. Since the inex is only (n k) it follows that there exists a subspace W 1 W of imension at least (k 1)(n k) which is containe in the nullspace of the Hessian an hence consists of parallel Jacobifiels. As in Lemma.1, it follows that these vectorfiels are actually given by Killing fiels. Since W 1 is also invariant uner the action of SO(n k) H we can assume, via a change of basis, that W 1 is spanne by the first k 1 rows in W. Let W be last row in W. Since µ is irreucible, it follows that W 1 (0) is orthogonal to W (0) an hence, as in the proof of Lemma.1, W 1 (t) is orthogonal to W (t) for all t. Using again that µ is irreucible, we can normalize the metric so that E i,j W is an orthonormal basis at t = 0. By the above it follows that E i,j W 1 remains orthonormal for all t. Since SO(n k) H acts irreucibly on W, we can set h(t) := E i,j for

9 NON-NEGATIVE CURVATURE OBSTRUCTIONS IN COHOMOGENEITY ONE AND THE KERVAIRE SPHERES9 E i,j W. non-negative curvature implies that the function h is concave, an since h(0) = 1, h (0) = 0, it follows that h(t) 1. As before we set δ = 1 h 0. Let Y 1 = E k,k+1 an Y = E k,k+ an set X 1 = A a E k 1,k+1 an X = A a E k 1,k+, where a SO(k 1) is an element in the upper (k 1) (k 1) block. We now consier the -plane spanne by A = X 1 + Y an B = X + Y 1. Clearly A an B commute. A computation shows that: (3.3) R(A, B, B, A) = 1 4 δ Q([Y, X ] [X 1, Y 1 ], P 1 t ([Y, X ] [X 1, Y 1 ])) 1 4 δ 0 where Q(X, Y ) = 1 tr(xy ) is a bi-invariant metric of SO(n) an g t(x, Y ) = Q(X, P t (Y )) for X, Y n. Since h(l) = 0, it follows as in the previous section that δ(t) > 0 when t > 0. Notice that [Y, X ] [X 1, Y 1 ] = s=k 1 s=1 a s,k 1 E s,k if a = (a i,j ) SO(k 1) an is hence an arbitrary vector in the last column of the upper k k-block. Since this column can be regare as the tangent space of SO(k)/ SO(k 1) = S k 1 an since by assumption K oes not act transitively on S k 1, we can choose a SO(k 1) such that [Y, X ] [X 1, Y 1 ] is perpenicular to the Lie algebra of K with respect to Q. This implies that there exists C > 0 an ǫ > 0 such that Q([Y, X ] [X 1, Y 1 ], Pt 1 ([Y, X ] [X 1, Y 1 ])) C for t (0, ǫ). Hence (3.3) implies that log(δ) C which again contraicts δ(0) = 0 an δ(t) > 0 for 0 < t < ǫ. By the classification of transitive actions on spheres, conition (b) in Theorem 3. only exclues µ = sl an the spin representations of Spin(7) an Spin(9). But notice that in the case of µ = sl, the above cohomogeneity one manifol M oes amit an invariant non-negatively curve metric, since it is iffeomorphic to the homogeneous space SO(n + 1)/µ(K) SO(n k + 1) enowe with the cohomogeneity one action of SO(n) SO(n + 1). On the other han, conition (a) is very restrictive. For K / H = SO(l)/ SO(l 1), such representations are calle class one representations of the symmetric pair (SO(l), SO(l 1)) an it is well known (see e.g. [Wa]) that they consist of the irreucible representations µ m of SO(l) on the homogeneous harmonic polynomials of egree m in l variables. It is now easy to see that for these special representations, conition (c) is satisfie as well. In particular we obtain: Corollary 3.4. For each l 3 an m, the pair (K, H ) = (SO(l), SO(l 1)) an the representation µ m efines a cohomogeneity one manifol as in (3.1) that oes not amit an invariant metric with non-negative curvature. In these examples the coimension of the singular orbits are l 3 an n k In particular, for any pair of integers (l, l + ) with l ± 3, there exists an infinite family of cohomogeneity one manifol with singular orbits of coimensions l ± an no invariant metric of non-negative sectional curvature. This, together with Theorem A, implies Theorem B. For a general K /H =S l 1 it is clear that S m (sl) restricte to H has a fixe vector. This implies that at least one of the irreucible subrepresentations µ of S m (sl) also satisfies

10 10 KARSTEN GROVE, LUIGI VERDIANI, BURKHARD WILKING, AND WOLFGANG ZILLER conition (a) an one again shows that conition (c) is satisfie. This gives rise to at least one representation satisfying the conitions of Theorem 3. for any K / H. References [AA] A. V. Alekseevski an D. V. Alekseevski, G-manifols with one imensional orbit space, Av. in Sov. Math. 8 (199), [Be] A. Besse, Einstein manifols, Erg. er Math. un ihr. Grenz. Vol.10, Springer Verlag, Berlin, [BH] A. Back an W. Y. Hsiang, Equivariant geometry an Kervaire spheres, Trans. Amer. Math. Soc. 304 (1987), [Br] G. E. Breon, Introuction to compact transformation groups, Pure an Applie Mathematics (46), Acaemic Press, New York, 197. [GZ1] K. Grove an W. Ziller, Curvature an symmetry of Milnor spheres, Ann. of Math. 15 (000), [GZ] K. Grove an W. Ziller, Cohomogeneity one manifols with positive Ricci curvature, Inv. Math. 149 (00), [HH] W. C. Hsiang an W. Y. Hsiang, On compact subgroups of the iffeomorphism groups of Kervaire spheres, Ann. of Math. 85 (1967), [Se] C. Searle, Cohomogeneity an positive curvature in low imensions, Math. Z. 14 (1993), : Err. ibet. 6 (1997), [ST] L. Schwachöfer an W. Tuschmann, Metrics of positive Ricci curvature on quotient spaces, Math. Ann. 330 (004), [Wa] N.Wallach, Minimal Immersions of Symmetric Spaces into Spheres, in a Marcel Dekkar volume, 197. University of Marylan, College Park, MD 074 aress: kng@math.um.eu Universitá i Firenze, Via S. Marta 3, Firenze, Italy aress: veriani@ma.unifi.it University of Münster, Einsteinstrasse 6, Münster, Germany aress: wilking@math.uni-muenster.e University of Pennsylvania, Philaelphia, PA aress: wziller@math.upenn.eu