Here’s a cute open problem professor Guth told me about yesterday (also appeared in [Guth 2007], although that version is slightly stronger and more general:
Problem: Does there exist s.t. with , we have that’s bi-lipschitz with constant 2 and ?
Here bi-lipschitz with constant is defined in the infinitesimal sense, i.e. .
i.e. given any open set of a very small measure, say , does there always exist a map that locally does not deform the metric too much ( i.e. bi-lipschitz with constant ) and “folds” the set into the unit ball.
My initial thought are to approximate the set with some kind of skeleton (perhaps a 1-dimensional set that has contained in its neighborhood) and fold the skeleton instead. Not sure exactly what to do yet…maybe Whitney’s construction? Or construction similar to creating the nerve in Čech homology? Obviously there is a smaller lipschitz constant allowed when we pass to the skeleton, but that might not be an issue since we can pick the measure of our set arbitrarily small.
By the way, personally I believe the answer is affective…There got to be a way to “fold stuff in” when we don’t have much stuff to start with, right?