##
**A general regularity theory for stable codimension 1 integral varifolds.**
*(English)*
Zbl 1307.58005

From the abstract: ”We give a necessary and sufficient geometric structural condition, which we call \(\alpha\)-Structural Hypothesis, for a stable codimension 1 integral varifold on a smooth Riemannian manifold to correspond to an embedded smooth hypersurface away from a small set of generally unavoidable singularities. The \(\alpha\)-Structural Hypothesis says that no point of the support of the varifold has a neighborhood in which the support is the union of three or more embedded \(C^{1,\alpha}\) hypersurfaces-with-boundary meeting (only) along their common boundary. We establish that whenever a stable integral \(n\)-varifold on a smooth \((n+1)\)-dimensional Riemannian manifold satisfies the \(\alpha\)-Structural Hypothesis for some \(\alpha \in (0,1/2)\), its singular set is empty if \(n \leq 6\), discrete if \(n=7\) and has Hausdorff dimension \( \leq n-7\) if \(n \geq 8\); in view of well-known examples, this is the best possible general dimension estimate on the singular set of a varifold satisfying our hypotheses. We also establish compactness of mass-bounded subsets of the class of stable codimension 1 integral varifolds satisfying the \(\alpha\)-Structural Hypothesis for some \(\alpha \in (0,1/2)\).

The \(\alpha\)-Structural Hypothesis on an \(n\)-varifold for any \(\alpha \in (0,1/2)\) is readily implied by either the following two hypotheses: (i) the varifold corresponds to an absolutely area minimizing rectifiable current with no boundary, (ii) the singular set of the varifold has vanishing \((n-1)\)-dimensional Hausdorff measure. Thus, our theory subsumes the well-known regularity theory for codimension 1 area minimizing rectifiable currents and settles the long standing question as to which weakest size hypothesis on the singular set of a stable minimal hypersurface guarantees the validity of the above regularity conclusions.

An optimal strong maximum principle for stationary codimension 1 integral varifolds follows from our regularity and compactness theorems.”

The \(\alpha\)-Structural Hypothesis on an \(n\)-varifold for any \(\alpha \in (0,1/2)\) is readily implied by either the following two hypotheses: (i) the varifold corresponds to an absolutely area minimizing rectifiable current with no boundary, (ii) the singular set of the varifold has vanishing \((n-1)\)-dimensional Hausdorff measure. Thus, our theory subsumes the well-known regularity theory for codimension 1 area minimizing rectifiable currents and settles the long standing question as to which weakest size hypothesis on the singular set of a stable minimal hypersurface guarantees the validity of the above regularity conclusions.

An optimal strong maximum principle for stationary codimension 1 integral varifolds follows from our regularity and compactness theorems.”

Reviewer: Marcelo Furtado (Brasília)

### MSC:

58E05 | Abstract critical point theory (Morse theory, Lyusternik-Shnirel’man theory, etc.) in infinite-dimensional spaces |

49N60 | Regularity of solutions in optimal control |

49Q05 | Minimal surfaces and optimization |

49Q15 | Geometric measure and integration theory, integral and normal currents in optimization |

### Keywords:

first variation; minimal hypersurface; regularity theory; second variation; stable varifold; stationary varifold
PDF
BibTeX
XML
Cite

\textit{N. Wickramasekera}, Ann. Math. (2) 179, No. 3, 843--1007 (2014; Zbl 1307.58005)

### References:

[1] | W. K. Allard, ”On the first variation of a varifold,” Ann. of Math., vol. 95, pp. 417-491, 1972. · Zbl 0252.49028 |

[2] | F. J. Almgren Jr., ”Some interior regularity theorems for minimal surfaces and an extension of Bernstein’s theorem,” Ann. of Math., vol. 84, pp. 277-292, 1966. · Zbl 0146.11905 |

[3] | F. J. Almgren Jr., Almgren’s Big Regularity Paper: Q-Valued Functions Minimizing Dirichlet’s Integral and the Regularity of Area Minimizing Rectifiable Currents up to Codimension Two, River Edge, NJ: World Scientific Publ. Co., Inc., 2000, vol. 1. · Zbl 0985.49001 |

[4] | E. De Giorgi, Frontiere Orientate di Misura Minima, Pisa: Editrice Tecnico Scientifica, 1961. · Zbl 0296.49031 |

[5] | H. Federer, ”The singular sets of area minimizing rectifiable currents with codimension one and of area minimizing flat chains modulo two with arbitrary codimension,” Bull. Amer. Math. Soc., vol. 76, pp. 767-771, 1970. · Zbl 0194.35803 |

[6] | H. Federer, Geometric Measure Theory, New York: Springer-Verlag, 1969, vol. 153. · Zbl 0176.00801 |

[7] | W. H. Fleming, ”On the oriented Plateau problem,” Rend. Circ. Mat. Palermo, vol. 11, pp. 69-90, 1962. · Zbl 0107.31304 |

[8] | R. Hardt and L. Simon, ”Boundary regularity and embedded solutions for the oriented Plateau problem,” Ann. of Math., vol. 110, iss. 3, pp. 439-486, 1979. · Zbl 0457.49029 |

[9] | T. Ilmanen, ”A strong maximum principle for singular minimal hypersurfaces,” Calc. Var. Partial Differential Equations, vol. 4, iss. 5, pp. 443-467, 1996. · Zbl 0863.49030 |

[10] | C. B. Morrey Jr., Multiple Integrals in the Calculus of Variations, New York: Springer-Verlag, 1966, vol. 130. · Zbl 0142.38701 |

[11] | M. P. Moschen, ”Principio di massimo forte per le frontiere di misura minima,” Ann. Univ. Ferrara Sez. VII, vol. 23, pp. 165-168 (1978), 1977. · Zbl 0384.49030 |

[12] | E. R. Reifenberg, ”Solution of the Plateau Problem for \(m\)-dimensional surfaces of varying topological type,” Acta Math., vol. 104, pp. 1-92, 1960. · Zbl 0099.08503 |

[13] | L. Rosales, ”The geometric structure of solutions to the two-valued minimal surface equation,” Calc. Var. Partial Differential Equations, vol. 39, iss. 1-2, pp. 59-84, 2010. · Zbl 1195.49051 |

[14] | R. Schoen and L. Simon, ”Regularity of stable minimal hypersurfaces,” Comm. Pure Appl. Math., vol. 34, iss. 6, pp. 741-797, 1981. · Zbl 0497.49034 |

[15] | J. Simons, ”Minimal varieties in riemannian manifolds,” Ann. of Math., vol. 88, pp. 62-105, 1968. · Zbl 0181.49702 |

[16] | L. Simon, Lectures on Geometric Measure Theory, Canberra: Australian National University Centre for Mathematical Analysis, 1983, vol. 3. · Zbl 0546.49019 |

[17] | L. Simon, ”A strict maximum principle for area minimizing hypersurfaces,” J. Differential Geom., vol. 26, iss. 2, pp. 327-335, 1987. · Zbl 0625.53052 |

[18] | L. Simon, ”Cylindrical tangent cones and the singular set of minimal submanifolds,” J. Differential Geom., vol. 38, iss. 3, pp. 585-652, 1993. · Zbl 0819.53029 |

[19] | L. Simon, Theorems on Regularity and Singularity of Energy Minimizing Maps, Basel: Birkhäuser, 1996. · Zbl 0864.58015 |

[20] | L. Simon and N. Wickramasekera, ”Stable branched minimal immersions with prescribed boundary,” J. Differential Geom., vol. 75, iss. 1, pp. 143-173, 2007. · Zbl 1109.53064 |

[21] | B. Solomon and B. White, ”A strong maximum principle for varifolds that are stationary with respect to even parametric elliptic functionals,” Indiana Univ. Math. J., vol. 38, iss. 3, pp. 683-691, 1989. · Zbl 0711.49059 |

[22] | N. Wickramasekera, ”A rigidity theorem for stable minimal hypercones,” J. Differential Geom., vol. 68, iss. 3, pp. 433-514, 2004. · Zbl 1085.53055 |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.