Quantitative null-cobordism

Abstract

For a given null-cobordant Riemannian $n$-manifold, how does the minimal geometric complexity of a null-cobordism depend on the geometric complexity of the manifold? In [Gro99], Gromov conjectured that this dependence should be linear. We show that it is at most a polynomial whose degree depends on $n$. This construction relies on another of independent interest. Take $X$ and $Y$ to be sufficiently nice compact metric spaces, such as Riemannian manifolds or simplicial complexes. Suppose $Y$ is simply connected and rationally homotopy equivalent to a product of Eilenberg-MacLane spaces: for example, any simply connected Lie group. Then two homotopic L-Lipschitz maps $f,g:X\to Y$ are homotopic via a $CL$-Lipschitz homotopy. We present a counterexample to show that this is not true for larger classes of spaces $Y$.

28 pages, 5 figures. Comments welcome!

References in corpus (1)

• Quantitative nullhomotopy and rational homotopy type

Cited by in corpus (9)

• Yang-Mills measure on the two-dimensional torus as a random distribution
• Plato's cave and differential forms
• On the simplicial volume and the Euler characteristic of (aspherical) manifolds
• Invariant measure and universality of the 2D Yang-Mills Langevin dynamic
• A zoo of growth functions of mapping class sets
• Scalable spaces
• Algorithmic aspects of immersibility and embeddability
• A hardness of approximation result in metric geometry
• Lipschitz null-homotopy of mappings $S^3\to S^2$