A regularity and compactness theory for immersed stable minimal hypersurfaces of multiplicity at most 2 (Q946811)

From the abstract: ``We prove that a stable minimal hypersurface of an open ball which is immersed away from a closed (singular) set of finite co-dimension 2 Hausdorff measure and weakly close to a multiplicity 2 hyperplane must in the interior be the graph over the hyperplane of a 2-valued function satisfying a local \(C^{1,\alpha}\) estimate. This regularity is optimal under our hypotheses. As a consequence, we also establish compactness of the class of stable minimal hypersurfaces of an open ball which have volume density ratios uniformly bounded by \(3 - \delta\) for any fixed \(\delta \in (0, 1)\) and interior singular sets of vanishing co-dimension 2 Hausdorff measure.'' The compactness result is obtained from the main regularity result applied to a sequence \(M_k\) of orientable stable minimal hypersurfaces and a dimension reducing principle of Federer, to obtain convergence of a subsequence to a stationary varifold \(V\) such that, in an interior ball where the singular sets have vanishing co-dimension 2 Hausdorff measure, the support of \(\|V\|\) is an orientable immersed smooth stable hypersurface away from a relatively closed subset \(S\). This set \(S\) is empty for \(2\leq n\leq 6\), a discrete set for \(n=7\), and for \(n\geq 8\) has vanishing co-dimension \(7-\gamma\) Hausdorff measure, for any \(\gamma>0\). The author also obtains, in an interior ball, a decomposition theorem of the singular set of \(V\) on the varifold closure of the set of such branched minimal hypersurfaces with volume density ratio sufficiently close to 2, as a union of two disjoint subsets \(B\) and \(S\). The set \(B\) is the set of branch points of \(V\), where \(V\) has a multiplicity 2 tangent plane, and either it is the empty set or \( \mathcal{H}^{n-2}(B)>0\). In the final section 9, a Bernstein type theorem is derived for complete, non-compact stable minimal hypersurfaces \(M\) of \(\mathbb{R}^{n+1}\), where \(2\leq n\leq 6\), satisfying the condition \(\mathcal{H}^n(M\cap B_R^{n+1}(0))\leq (3-\delta)w_nR^n\), for all \(R>0\), concluding that \(M\) must be a union of affine hyperplanes. The proof of the results is heavily based on a previous work of the author [see \textit{N. Wickramasekera}, J. Diff. Geom. 68, No.~3, 433--512 (2004; Zbl 1085.53055)] and on a height excess decay lemma 6.3, giving a generalization for the case of hypersurfaces with a singular set (that includes branch points; self intersection points are considered as regular points).