High-dimensional tennis balls

Abstract

We show that there exist constants $\alpha ,\epsilon >0$ such that for every positive integer $n$ there is a continuous odd function $f:S^m\to S^n$, with $m\ge \alpha n$, such that the $\epsilon$-expansion of the image of $f$ does not contain a great circle. We also show how this result is connected to a conjecture of Vitali Milman about well-complemented almost Euclidean subspaces of spaces uniformly isomorphic to ${\ell }_2^n$.

21 pages