Sphericity of $\kappa$-classes and positive curvature via block bundles

TL;DR

This paper characterizes rational Pontryagin numbers realized by fiber homotopy trivial bundles over spheres, explores their cobordism classes, and applies these results to demonstrate the existence of elements with positive curvature properties in certain manifolds.

Contribution

It provides a complete classification of Pontryagin numbers for specific fiber bundles and links these to positive curvature metrics, extending understanding of manifold topology and geometry.

Findings

Classification of Pontryagin numbers for fiber bundles over spheres.

Construction of manifolds with extremal cobordism properties.

Existence of elements in homotopy groups with positive curvature metrics.

Abstract

Given a simply connected manifold $M$, we completely determine which rational monomial Pontryagin numbers are attained by fiber homotopy trivial $M$-bundles over the $k$-sphere, provided that $k$ is small compared to the dimension of $M$. Furthermore we study the vector space of rational cobordism classes represented by such bundles. We give upper and lower bounds on its dimension and we construct manifolds for which these bounds are attained. The proof is based on the classical approach to studying diffeomorphism groups via block bundles and surgery theory and we make use of ideas developed by Krannich--Kupers--Randal-Williams. As an application, we show the existence of elements of infinite order in the homotopy groups of the spaces of positive Ricci and positive sectional curvature, provided that $M$ is spin, has a non-trivial rational Pontryagin class and admits such a metric. This is done by constructing $M$-bundles over spheres with non-vanishing $\hat{A}$-genus. Furthermore, we give a vanishing theorem for generalised Morita--Miller--Mumford classes for fiber homotopy trivial bundles over spheres. In the appendix co-authored by Jens Reinhold it is (partially) determined which classes of the rational oriented cobordism ring contain an element that fibers over a sphere of a given dimension.