Abstract:We give an alternative proof of the Schoen--Simon--Yau curvature estimates and associated Bernstein-type theorems (1975), and extend the original result by including the case of $6$-dimensional (stable minimal) immersions. The key step is an $\epsilon$-regularity theorem, that assumes smallness of the scale-invariant $L^2$ norm of the second fundamental form.
Further, we obtain a graph description, in the Lipschitz multi-valued sense, for any stable minimal immersion of dimension $n\geq 2$, that may have a singular set $\Sigma$ of locally finite $\mathcal{H}^{n-2}$-measure, and that is weakly close to a hyperplane. (In fact, if $\mathcal{H}^{n-2}(\Sigma)=0$, the conclusion is strengthened to a union of smooth graphs.) This follows directly from an $\epsilon$-regularity theorem, that assumes smallness of the scale-invariant $L^2$ tilt-excess (verified when the hypersurface is weakly close to a hyperplane). A further direct consequence is that (for an immersed hypersurface of the type considered) any tangent cone supported on a hyperplane is the unique tangent. Specialising the multi-valued decomposition to the case of embeddings, we recover the Schoen--Simon theorem (1981).
In both $\epsilon$-regularity theorems the relevant quantity (respectively, length of the second fundamental form and tilt function) solves a non-linear PDE on the immersed minimal hypersurface. The proof is carried out intrinsically (without linearising the PDE) by implementing an iteration method à la De Giorgi (from the linear De Giorgi--Nash--Moser theory). Stability implies estimates (intrinsic weak Caccioppoli inequalities) that make the iteration effective despite the non-linear framework. (In both $\epsilon$-regularity theorems the method gives explicit constants that quantify the required smallness.)
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the geometric properties and regularity theory of stable minimal hypersurfaces. Specifically, the main objectives of the paper can be summarized as follows:
1. **Extension of Schoen - Simon - Yau Curvature Estimates**:
- The paper provides an alternative proof to verify the curvature estimates and the related Bernstein - type theorem for stable minimal hypersurfaces from two - dimensional to five - dimensional proposed by Schoen - Simon - Yau in 1975.
- Further, the paper extends these results to the six - dimensional case, which was an unsolved dimension before.
2. **ε - Regularity Theorem**:
- The key step in the paper is to prove an ε - regularity theorem, which assumes that the scale - invariant \(L^2\) norm of the second fundamental form is small enough.
- Specifically, if within a ball \(B_{2R}\), the scale - invariant \(L^2\) norm \(\frac{1}{(2R)^{n - 2}}\int_{M\cap B_{2R}}|A_M|^2\) is less than a certain constant \(\epsilon_0\), then at any point \(x\) in \(B_R\), the value of the second fundamental form \(|A_M|\) will be less than \(\frac{1}{R}\).
3. **Graph Description and Multivalued Function Decomposition**:
- The paper also proves that for any stable minimal immersion of dimension \(n\geq2\), if the \(H^{n - 2}\) measure of its singular set \(\Sigma\) is locally finite and weakly close to a hyperplane, then it can be described as a graph in the Lipschitz multivalued sense.
- If the \(H^{n - 2}\) measure of the singular set is zero, the conclusion is further strengthened to the union of smooth graphs.
4. **Generalization of Schoen - Simon Theorem**:
- Through the above multivalued function decomposition, the paper recovers the theorem proposed by Schoen - Simon in 1981, especially in the embedded case.
5. **Development of Compactness Theory**:
- The paper lays the foundation for further developing the compactness theory of branched stable minimal immersions, especially for dealing with those cases close to the classical cone.
### Main Theorems
- **Theorem 1 (Bernstein - type theorem)**:
- For a two - sided stable minimal hypersurface \(M\) properly immersed in \(\mathbb{R}^{n + 1}\), when \(n\in\{2,3,4,5,6\}\) and has Euclidean mass growth, \(M\) must be the union of affine hyperplanes.
- **Theorem 2 (Pointwise Curvature Estimates)**:
- Suppose \(M\) is a two - sided stable minimal hypersurface properly immersed in \(B_{4R}(0)\) and satisfies \(H^n(M\cap B_{4R}(0))\leq\Lambda(4R)^n\), then there exists a constant \(\beta > 0\) depending only on \(\Lambda\) and \(n\) such that:
\[
\sup_{x\in B_R(0)}|A_M|(x)\leq\frac{\beta}{R}
\]
- **Theorem 3 (ε - Regularity for the Second Fundamental Form)**:
- There exists a constant \(\epsilon_0 > 0\) depending only on \(n\) such that if \(\frac{1}{(2R)^{n - 2}}\int_{M\cap B_{2R}(0)}|A_M|^2\leq\epsilon_0\), then for any point \(x\) in \(M\cap B_{R/2}(0)\), we have \(|A_M|(x)\leq\frac{1}{R}\).