The Singular Structure and Regularity of Stationary and Minimizing Varifolds

Abstract

If one considers an integral varifold $I^m\subseteq M$ with bounded mean curvature, and if $S^k(I)\equiv\{x\in M: \text{ no tangent cone at $x$ is }k+1\text{-symmetric}\}$ is the standard stratification of the singular set, then it is well known that $\dim S^k\le k$. In complete generality nothing else is known about the singular sets $S^k(I)$. In this paper we prove for a general integral varifold with bounded mean curvature, in particular a stationary varifold, that every stratum $S^k(I)$ is $k$-rectifiable. In fact, we prove for $k$-a.e. point $x\in S^k$ that there exists a unique $k$-plane $V^k$ such that every tangent cone at $x$ is of the form $V\times C$ for some cone $C$. In the case of minimizing hypersurfaces $I^{n-1}\subseteq M^n$ we can go further. Indeed, we can show that the singular set $S(I)$, which is known to satisfy $\dim S(I)\le n-8$, is in fact $n-8$ rectifiable with uniformly finite $n-8$ measure. An effective version of this allows us to prove that the second fundamental form $A$ has apriori estimates in $L_{weak}^7$ on $I$, an estimate which is sharp as $|A|$ is not in $L^7$ for the Simons cone. In fact, we prove the much stronger estimate that the regularity scale $r_I$ has $L_{weak}^7$-estimates. The above results are in fact just applications of a new class of estimates we prove on the quantitative stratifications $S_{\epsilon ,r}^k$ and $S_{\epsilon }^k\equiv S_{\epsilon ,0}^k$. Roughly, $x\in S_{\epsilon }^k\subseteq I$ if no ball $B_r(x)$ is $\epsilon$-close to being $k+1$-symmetric. We show that $S_{\epsilon }^k$ is $k$-rectifiable and satisfies the Minkowski estimate $Vol(B_r{S}_{\epsilon }^k)\le C_{\epsilon }{r}^{n-k}$. The proof requires a new $L^2$-subspace approximation theorem for integral varifolds with bounded mean curvature, and a $W^{1,p}$-Reifenberg type theorem proved by the authors in \cite{NaVa+}.

Varifold version of harmonic maps paper by authors. arXiv admin note: substantial text overlap with arXiv:1504.02043

Cited by in corpus (13)

• Rectifiable-Reifenberg and the Regularity of Stationary and Minimizing Harmonic Maps
• Cheeger $N$-clusters
• Structure theory of non-collapsed limits of Ricci flows
• Smoothness of collapsed regions in a capillarity model for soap films
• Boundary unique continuation on $C^1$-Dini domains and the size of the singular set
• Area minimizing currents mod $2Q$: linear regularity theory
• Morse index, Betti numbers and singular set of bounded area minimal hypersurfaces
• Fine properties of branch point singularities: Dirichlet energy minimizing multi-valued functions
• Quantitative stratification for some free-boundary problems
• Quantitative stratification of $F$-subharmonic functions
• On the isoperimetric properties of Planar N-clusters
• A global bound for the singular set of area-minimizing hypersurfaces
• An upper Minkowski bound for the interior singular set of area minimizing currents