The limit lamination metric for the Colding-Minicozzi minimal lamination (Q2567520)

Colding and Minicozzi have developed a theory for minimal surfaces in Riemannian three-manifolds, in which sequences of properly embedded minimal surfaces can give rise to minimal laminations in the limit, called Colding-Minicozzi limit minimal laminations in this paper. The convergence is \(C^\alpha\) for \(\alpha \in (0,1)\) away from a locally finite collection of properly embedded Lipschitz curves, and is not \(C^1\) along those curves. Furthermore, the limit lamination is a foliation in a neighborhood of those curves, and the author had conjectured that those curves should be \(C^{1,1}\) curves orthogonal to the leaves. The author has already proven this in a separate paper [Duke Math. J. 123, No. 2, 329--334 (2004; Zbl 1086.53005)], but gives a different proof in this paper (which is actually his original proof). It is also shown that the curvature of those curves is locally bounded where it is defined, and the bound is universal (in a sense explained in the paper) when the Riemannian three-manifold is compact. When the three-manifold is the unit ball in Euclidean 3-space, the author makes a conjecture related to this question of a bound on the curvature of those curves. The result described above is then used to prove a result called the Lamination Metric Theorem, which has numerous applications.