arXiv++ Combinatorics

We prove oscillation stability for the Banach space $\ell_\infty$: every weak-* Borel, uniformily continuous map from the unit sphere of this space to a compact metric space can be made arbitrarily close to a constant map when restricted to the unit sphere of a suitable linear isometric subcopy of $\ell_\infty$. We also give a new proof of oscillation stability for the Urysohn sphere (a result by Nguyen Van Thé--Sauer): every uniformily continuous map from the Urysohn sphere to a compact metric space can be made arbitrarily close to a constant map when restricted to a suitable isometric subcopy of the Urysohn sphere. Both proofs are based on Carlson-Simpson's dual Ramsey theorem.

Oscillation stability is an important concept in Banach space theory which happens to be closely connected to discrete Ramsey theory. For example, Gowers proved oscillation stability for the Banach space $c_0$ using his now famous Ramsey theorem for $\mathrm{FIN}_k$ as the key ingredient. We develop the theory behind this connection and introduce the notion of compact big Ramsey degrees, extending the theory of (discrete) big Ramsey degrees. We then prove existence of compact big Ramsey degrees for the Banach space $\ell_\infty$ and the Urysohn sphere, with an explicit characterization in the case of $\ell_\infty$.