Positive sectional curvature on the Kervaire nine-sphere

Abstract

Using the compatible-disk theorem of Deng, Hu, and Zhang, we obtain positive sectional curvature on the Kervaire nine-sphere. We construct a smooth conjugation-equivariant attaching map whose twist is exactly a Milnor--Munkres commutator. Its stabilized clutching data identify the resulting sphere with the boundary of the plumbing of two tangent disk bundles over the five-sphere. We describe the marked quotient metrics and give a positive lower bound in terms of the curvature norms of a fixed connection. The real Dirac index excludes even nonnegative sectional curvature on four of the eight smooth nine-sphere types. The construction covers the standard and Kervaire types; the remaining two index-zero types admit positive scalar curvature, but their positive-sectional-curvature existence is not decided here.