arxiv: 2605.05041 · v1 · submitted 2026-05-06 · 🧮 math.DG · math.AP

Recognition: unknown

An Optimal Regularity Theory for Immersed Stable Minimal Hypersurfaces with Small Singular Set

Paul Minter, Zhengyi Xiao

Pith reviewed 2026-05-08 15:49 UTC · model grok-4.3

classification 🧮 math.DG math.AP

keywords minimal hypersurfacesstable minimal surfacesregularity theorysingular setsHausdorff dimensionimmersed hypersurfacesgeometric measure theoryminimal immersions

0 comments

The pith

A properly immersed two-sided stable minimal hypersurface in the unit ball, singular only on a closed set S with vanishing (n-2)-Hausdorff measure, has singular set of Hausdorff dimension at most n-7.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that if M^n is a properly immersed, two-sided, stable minimal hypersurface in the unit ball minus a closed set S where the (n-2)-Hausdorff measure of S vanishes, then the Hausdorff dimension of the singular set of M is at most n-7. This bound is optimal in general for minimal hypersurfaces. The result identifies the precise size of the non-immersed singular set S that guarantees this optimal regularity for the immersion itself. Consequently the objects form a compact class under upper bounds on mass.

Core claim

If M^n is a properly immersed, two-sided, stable minimal hypersurface in B^{n+1}_1(0) excluding a closed set S with H^{n-2}(S)=0, then dim_H sing(M) ≤ n-7. Thus the closure of M inside the ball is given by a smooth minimal immersion outside a closed set of Hausdorff dimension at most n-7, and such hypersurfaces form a compact class under mass upper bounds.

What carries the argument

The vanishing (n-2)-Hausdorff measure condition on the non-immersed singular set S, which serves as the exact a priori size assumption that lets stability of the immersion imply the optimal dimension bound dim_H sing(M) ≤ n-7.

If this is right

The closure of M inside the ball is a smooth minimal immersion outside a closed set of Hausdorff dimension at most n-7.
These hypersurfaces form a compact class under upper bounds on mass.
The assumption H^{n-2}(S)=0 on the non-immersed set is the optimal size needed to obtain the optimal regularity bound.
The result extends classical regularity theory by allowing a controlled positive-dimensional set of points where the hypersurface fails to be immersed.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The theorem isolates the minimal size of S that still permits full use of stability to control immersion singularities.
Compactness under mass bounds suggests that sequences of such hypersurfaces with uniformly bounded mass converge to limits of the same type.
The dimension n-7 is the same threshold that appears in the classical regularity theory for stationary varifolds, indicating the bound is sharp in the immersed setting as well.

Load-bearing premise

The non-immersed singular set S must be closed and satisfy vanishing (n-2)-Hausdorff measure.

What would settle it

An explicit example of a properly immersed two-sided stable minimal hypersurface in the unit ball whose non-immersed singular set S has H^{n-2}(S)=0 yet whose own singular set has Hausdorff dimension strictly larger than n-7 would falsify the claim.

Figures

Figures reproduced from arXiv: 2605.05041 by Paul Minter, Zhengyi Xiao.

**Figure 1.** Figure 1: Visualisation of which families of cones are finer than one another. An arrow indicates a finer family from a given family. Notice that there are two maximal elements, namely Pmax{0,n+1−Q}(Q) and Hn−1(2Q). • if the cone has spine dimension ≤ n − 2 (so is in P≤n−2) then one is allowed to perturb the individual hyperplanes independently of one another, including those which coincide. In particular, one is n… view at source ↗

read the original abstract

We show that if $M^n$ is a properly immersed, two-sided, stable minimal hypersurface in $B^{n+1}_1(0)\setminus S$, where $S$ is closed with $\mathcal{H}^{n-2}(S)=0$, then $\text{dim}_{\mathcal{H}}\text{sing}(M)\leq n-7$, namely $\overline{M}\cap B^{n+1}_1(0)$ is represented by a smooth minimal immersion outside a closed set of generally unavoidable singularities which has Hausdorff dimension at most $n-7$. This provides the optimal a priori size assumption on the non-immersed singular set in order to guarantee optimal regularity. Consequently, such objects form a compact class under mass upper bounds.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper shows that H^{n-2}(S)=0 on the non-immersed set is enough to recover the full n-7 regularity bound for immersed stable minimal hypersurfaces via the classical varifold theory.

read the letter

The main takeaway is that a properly immersed two-sided stable minimal hypersurface in the ball minus a closed set S with vanishing (n-2)-Hausdorff measure still has singular set of dimension at most n-7 in its closure. This is the usual Schoen-Simon bound, but the paper pins down the weakest assumption on the exceptional set that lets the varifold remain integral and stable under blow-ups. The argument works because S is negligible for the monotonicity formula and the Simons inequality, so dimension reduction goes through unchanged and the singularities of the varifold match those of the immersed hypersurface. The compactness statement under mass bounds follows right away as a corollary. What is new is the clean framing of H^{n-2}(S)=0 as the optimal threshold for this conclusion in the immersed setting; it does not seem to be a direct restatement of earlier results. The paper does well by staying close to the classical toolkit without introducing extra machinery or hidden fitting. The reduction to the integral varifold case is direct and avoids circularity. Soft spots are minor. The two-sided assumption is standard but could limit some applications, and one would check the details on how the varifold is defined near S to confirm no measure loss occurs in the limit. No load-bearing gaps appear from the outline. This is for people working on regularity and compactness for minimal hypersurfaces who need to handle immersed objects with controlled bad sets. It is worth sending to a serious referee because the statement is sharp, the evidence is classical but applied in a useful new way, and the compactness consequence is immediate.

Referee Report

0 major / 3 minor

Summary. The manuscript proves that if M^n is a properly immersed, two-sided, stable minimal hypersurface in the unit ball B^{n+1}_1(0) excluding a closed set S with H^{n-2}(S)=0, then the Hausdorff dimension of sing(M) is at most n-7. Consequently, the closure of M is a smooth minimal immersion outside a closed singular set of dimension <= n-7, and such hypersurfaces form a compact class under mass upper bounds. The result is obtained by associating an integral varifold to M outside S and applying the classical Schoen-Simon regularity theorem.

Significance. If the derivation holds, the result is significant because it supplies the sharp threshold on the a priori singular set S that permits the classical n-7 bound to carry over to the immersed setting. This clarifies the interface between immersed hypersurfaces and integral varifolds, yields a compactness theorem useful for variational problems, and identifies the precise size (H^{n-2}=0) at which S becomes negligible for monotonicity formulas and stability. The reduction to the varifold case via the given measure-zero hypothesis is a clean strength.

minor comments (3)

[Introduction] The introduction should explicitly cite the Schoen-Simon theorem (and any supporting results on varifold stability) rather than assuming familiarity.
[§2] Clarify in §2 or the proof sketch whether two-sidedness is used only for the stability inequality or also for orientability of the varifold.
[Proof of Theorem 1.1] Add a brief remark on why H^{n-2}(S)=0 is exactly the threshold that preserves the integral varifold property under blow-ups; this would make the optimality statement self-contained.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report, the accurate summary of our main theorem, and the recommendation to accept the manuscript. The referee correctly identifies the significance of the H^{n-2} threshold on the a priori singular set S for extending the classical Schoen-Simon regularity result to the immersed setting.

Circularity Check

0 steps flagged

No significant circularity; derivation applies classical external theorems

full rationale

The central result follows by associating the immersed hypersurface outside S to an integral varifold (using the given H^{n-2}(S)=0 hypothesis to preserve integrality and stability under blow-ups), then invoking the classical Schoen-Simon regularity theorem and standard dimension-reduction arguments from minimal surface theory. These are independent, externally established results with no reduction to the paper's own fitted quantities, self-definitions, or load-bearing self-citations. The assumption on S is the standard threshold for the monotonicity formula and Simons inequality to hold, not a constructed input. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on background facts from geometric measure theory and the existing regularity theory for stable minimal hypersurfaces; no new free parameters or invented entities are introduced in the abstract.

axioms (2)

standard math Standard properties of Hausdorff measure and dimension on Euclidean space
Invoked to quantify the size of S and the dimension of sing(M)
domain assumption Existence and basic regularity properties of stable minimal hypersurfaces
The stability and two-sidedness assumptions are taken from prior literature on minimal hypersurface theory

pith-pipeline@v0.9.0 · 5426 in / 1286 out tokens · 38284 ms · 2026-05-08T15:49:21.540679+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

23 extracted references · 3 canonical work pages · 1 internal anchor

[1]

Annals of mathematics , volume=

On the first variation of a varifold , author=. Annals of mathematics , volume=. 1972 , publisher=

1972
[2]

2000 , publisher=

Almgren's big regularity paper: Q-valued functions minimizing Dirichlet's integral and the regularity of area-minimizing rectifiable currents up to codimension 2 , author=. 2000 , publisher=

2000
[3]

Extensions of schoen--simon--yau and schoen--simon theorems via iteration

Bellettini, Costante , journal=. Extensions of schoen--simon--yau and schoen--simon theorems via iteration. 2025 , publisher=

2025
[4]

Journal of Differential Geometry , volume=

Transverse singularities of minimal two-valued graphs in arbitrary codimension , author=. Journal of Differential Geometry , volume=. 2017 , publisher=

2017
[5]

arXiv preprint arXiv:2507.13148 , year=

On the Nature of Stationary Integral Varifolds near Multiplicity 2 Planes , author=. arXiv preprint arXiv:2507.13148 , year=

work page arXiv
[6]

Archive for Rational Mechanics and Analysis , volume=

Degeneration of 7-Dimensional Minimal Hypersurfaces Which are Stable or Have a Bounded Index , author=. Archive for Rational Mechanics and Analysis , volume=. 2024 , publisher=

2024
[7]

Archive for Rational Mechanics and Analysis , volume=

Uniqueness of Regular Tangent Cones for Immersed Stable Hypersurfaces , author=. Archive for Rational Mechanics and Analysis , volume=. 2024 , publisher=

2024
[8]

On -Stable Minimal Hypersurfaces in

Hong, Han and Li, Haizhong and Wang, Gaoming , journal=. On -Stable Minimal Hypersurfaces in
[9]

arXiv preprint arXiv:2603.27168 , year=

Minimal Surfaces with Stratified Branching Sets , author=. arXiv preprint arXiv:2603.27168 , year=

work page arXiv
[10]

Journal of Differential Geometry , volume=

The structure of stable codimension one integral varifolds near classical cones of density 5/2 , author=. Journal of Differential Geometry , volume=. 2025 , publisher=

2025
[11]

Journal of Functional Analysis , volume=

A Campanato regularity theory for multi-valued functions with applications to minimal surface regularity theory , author=. Journal of Functional Analysis , volume=. 2025 , publisher=

2025
[12]

Calculus of Variations and Partial Differential Equations , volume=

The structure of stable codimension one integral varifolds near classical cones of density Q+1/2 , author=. Calculus of Variations and Partial Differential Equations , volume=. 2024 , publisher=

2024
[13]

Area minimising hypersurfaces mod $p$ do not admit immersed branch points

Area minimising hypersurfaces mod p do not admit immersed branch points , author=. arXiv preprint arXiv:2603.03100 , year=

work page internal anchor Pith review Pith/arXiv arXiv
[14]

Journal of the American Mathematical Society , volume=

A structure theory for stable codimension 1 integral varifolds with applications to area minimising hypersurfaces mod p , author=. Journal of the American Mathematical Society , volume=
[15]

Journal of the European Mathematical Society , volume=

The singular structure and regularity of stationary varifolds , author=. Journal of the European Mathematical Society , volume=
[16]

Annals of Mathematics , pages=

Minimal varieties in Riemannian manifolds , author=. Annals of Mathematics , pages=
[17]

Lectures on Geometric Measure Theory , author=
[18]

Journal of Differential Geometry , volume=

Cylindrical tangent cones and the singular set of minimal submanifolds , author=. Journal of Differential Geometry , volume=. 1993 , publisher=

1993
[19]

Acta Mathematica , year=

Curvature estimates for minimal hypersurfaces , author=. Acta Mathematica , year=
[20]

Communications on Pure and Applied Mathematics , volume=

Regularity of stable minimal hypersurfaces , author=. Communications on Pure and Applied Mathematics , volume=. 1981 , publisher=

1981
[21]

Journal of Differential Geometry , volume=

Stable branched minimal immersions with prescribed boundary , author=. Journal of Differential Geometry , volume=. 2007 , publisher=

2007
[22]

Journal of Differential Geometry , volume=

A regularity and compactness theory for immersed stable minimal hypersurfaces of multiplicity at most 2 , author=. Journal of Differential Geometry , volume=. 2008 , publisher=

2008
[23]

Annals of mathematics , pages=

A general regularity theory for stable codimension 1 integral varifolds , author=. Annals of mathematics , pages=. 2014 , publisher=

2014