Curvatures of embedded minimal disks blow up on subsets of \(C^1\) curves (Q2351866)

Let \(D_n\) be a sequence of minimal disks that are properly embedded in an open subset \(U\) of \(\mathbb R^3\) or more generally of a \(3\)-dimensional Riemannian manifold. By passing to a subsequence \(D_n\), it can be assumed that there is a relatively closed subset \(K\) of \(U\) such that the curvatures of the \(D_n\) blow up at each point of \(K\) (i.e., such that for each \(p\in K\), there are points \(p_n\in D_n\) converging to \(p\) such that curvature of \(D_n\) at \(p_n\) tends to infinity as \(n\to\infty )\) and such that \(D_n\setminus K\) converges smoothly on compact subsets of \(U\setminus K\) to a minimal lamination \(L\) of \(U\setminus K\). It is natural to ask what kinds of singular sets \(K\) and laminations \(L\) can arise in this way. The main theorem in this paper is: Theorem 1. Every point of \(K\) contains a neighborhood \(W\) such that \(K\cap W\) is (after a rotation of \(\mathbb R^3\)) contained in the graph of a \(C^1\) function from \(\mathbb R\) to \(\mathbb R^2\).