Quantitative nullhomotopy and rational homotopy type

Abstract

In \cite{GrOrang}, Gromov asks the following question: given a nullhomotopic map $f:S^m\to S^n$ of Lipschitz constant $L$, how does the Lipschitz constant of an optimal nullhomotopy of $f$ depend on $L$, $m$, and $n$? We establish that for fixed $m$ and $n$, the answer is at worst quadratic in $L$. More precisely, we construct a nullhomotopy whose \emph{thickness} (Lipschitz constant in the space variable) is $C(m,n)(L+1)$ and whose \emph{width} (Lipschitz constant in the time variable) is $C(m,n)(L+1{)}^2$. More generally, we prove a similar result for maps $f:X\to Y$ for any compact Riemannian manifold $X$ and $Y$ a compact simply connected Riemannian manifold in a class which includes complex projective spaces, Grassmannians, and all other simply connected homogeneous spaces. Moreover, for all simply connected $Y$, asymptotic restrictions on the size of nullhomotopies are determined by rational homotopy type.

19 pages, 2 figures; version accepted for publication in Geometric and Functional Analysis (GAFA)

Cited by in corpus (5)

• Quantitative null-cobordism
• Plato's cave and differential forms
• Scalable spaces
• A hardness of approximation result in metric geometry
• Lipschitz null-homotopy of mappings $S^3\to S^2$