This paper addresses J. Cheeger and D. Gromoll's question about which vector bundles admit a complete metric of nonnegative curvature, and it relates their question to the issue of which sphere bundles admit a metric of positive curvature. We show that any vector bundle that admits a metric of nonnegative curvature must admit a connection, a tensor, and a metric on the base space, which together satisfy a certain differential inequality. On the other hand, a slight sharpening of this condition is sufficient for the associated sphere bundle to admit a metric of positive curvature. Our results sharpen and generalize M. Strake and G. Walschap's conditions under which a vector bundle admits a connection metric of nonnegative curvature.
IntroductionA well-known question in Riemannian geometry is to what extent the converse of Cheeger and Gromoll's soul theorem holds. Their theorem states that any complete noncompact manifold, M, with nonnegative sectional curvature is diffeomorphic to the normal bundle of a compact totally geodesic submanifold, ⊂ M, called the soul of M (see [5]). The converse question is the classification problem: Which vector bundles over compact nonnegatively curved base spaces can admit complete metrics of nonnegative curvature? There are vector bundles that are known not to admit nonnegative curvature, but in all such examples the base space has an infinite fundamental group (see [13], [17], [1], [2]). Trivial positive results include all vector bundles over S 1 , S 2 , and S 3 , T S n for any n, and more generally all homogeneous vector bundles over homogeneous spaces. As for nontrivial positive results, D. Yang obtained nonnegatively curved metrics on rank 2 vector bundles over C P n #C P n (see [20]). More recently, K. Grove and W. Ziller constructed nonnegatively curved metrics on all vector bundles over S 4 and S 5 (see [7]).Our first result is a necessary condition for a vector bundle to admit a metric of nonnegative curvature. Suppose that M is an open (i.e., complete and noncompact)