Raanan Schul (SUNY Stony Brook) Lipschitz Functions vs. Projections Abstract: We discuss joint work with Jonas Azzam. ``All Lipschitz maps from $R^7$ to $R^3$ are orthogonal projections''. This is of course quite false as stated. It turns out however, that there is a surprising grain of truth in this statement. We show that all Lipschitz maps from $R^7$ to $R^3$ (with 3-dimensional image) can be precomposed with a map $g:R^7\to R^7$ such that $f\circ g$ will satisfy, when we write the domain as $R^4\times R^3$ and restrict to $E$, a large portion of the domain, that $f\circ g$ will be constant in the first coordinate and biLipschitz in the second coordinate. Geometrically speaking, the map $g$ distorts $R^7$ in a controlled manner, so that the fibers of $f$ are straightened out. Our results are quantitative. The target space can be replaced by any metric space! The size of the set $E$ on which behavior is good is an important part of the discussion and examples such as Kaufman's 1979 construction of a singular map $[0,1]^3$ onto $[0,1]^2$ are an important enemy. On route we will discuss a new extension theorem which is used to construct the bilipschitz map $g$, improving results of Jones (88) and David (88). In particular, if $g:R^7\to R^7$ is a Lipschitz map, then it agrees with a globally defined biLipschitz map $\hat{g}:R^7\to R^7$ on a large piece of the domain. This was previously known only by increasing the dimension of the target space of $\hat{g}$ (David and Semmes, 91). |
|