Paper detail

Lower Ricci Curvature, Branching, and Bi-Lipschitz Structure of Uniform Reifenberg Spaces

We study here limit spaces $(M_α,g_α,p_α)\stackrel{GH}{\rightarrow} (Y,d_Y,p)$, where the $M_α$ have a lower Ricci curvature bound and are volume noncollapsed. Such limits $Y$ may be quite singular, however it is known that there is a subset of full measure $\cR(Y)\subseteq Y$, called {\it regular} points, along with coverings by the almost regular points $\cap_ε\cup_r\cR_{ε,r}(Y)=\cR(Y)$ such that each of the {\it Reifenberg sets} $\cR_{ε,r}(Y)$ is bi-Hölder homeomorphic to a manifold. It has been an ongoing question as to the bi-Lipschitz regularity the Reifenberg sets. Our results have two parts in this paper. First we show that each of the sets $\cR_{ε,r}(Y)$ are bi-Lipschitz embeddable into Euclidean space. Conversely, we show the bi-Lipschitz nature of the embedding is sharp. In fact, we construct a limit space $Y$ which is even uniformly Reifenberg, that is, not only is each tangent cone of $Y$ isometric to $\RR^n$ but convergence to the tangent cones is at a uniform rate in $Y$, such that there exists no $C^{1,β}$ embeddings of $Y$ into Euclidean space for any $β>0$. Further, despite the strong tangential regularity of $Y$, there exists a point $y\in Y$ such that every pair of minimizing geodesics beginning at $y$ branches to any order at $y$. More specifically, given {\it any} two unit speed minimizing geodesics $γ_1$, $γ_2$ beginning at $y$ and {\it any} $0\leq θ\leq π$, there exists a sequence $t_i\to 0$ such that the angle $\angle γ_1(t_i)yγ_2(t_i)$ converges to $θ$.