REVIEW 3 major objections 4 minor 1 cited by
On the Nature of Stationary Integral Varifolds near Multiplicity 2 Planes
T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read An $\varepsilon$-regularity theorem near multiplicity-two planes: with a topological separation condition, the varifold is a $C^{1,\alpha}$ two-valued graph with unique tangent cones of three types.
desk verdict First conditional epsilon-regularity near multiplicity-two planes in full generality; the main technical gap is a missing quantitative beta-propagation estimate in Proposition 3.4. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing objects are the $\beta$-coarse gap together with the topological structural condition, and the coarse and fine blow-up machinery those feed into. A $\beta$-coarse gap is a cylinder over the reference plane in which the density is everywhere $<2$, the mass is between $3/2$ and $5/2$ times that of a flat $n$-disk, and the scale-invariant $L^2$ distance to some parallel copy of the reference plane is $<\beta^2$; the structural condition demands that in every such cylinder the support has at least two connected components meeting the quarter-cylinder. This condition converts flatness into genuine sheeting: in a coarse gap the varifold is the sum of two disjoint smooth minimal graphs with $C^3$ bounds controlled by the excess. The second piece is the coarse blow-up of a sequence of varifolds converging to a double plane, obtained as the rescaled limit of the $Q$-valued Lipschitz approximation; the paper proves structural properties for all such blow-ups, notably the gradient non-concentration estimate, which bounds the energy near potential branch points with no structural hypothesis. The third piece is the fine $\varepsilon$-regularity theorem for varifolds dramatically closer to a classical cone (two planes or a twisted union of four half-planes) than to the double plane: there the singular set is a $C^{1,\mu}$ graph over the spine and all tangent cones lie in the cone class. The trichotomy organises these into the excess-decay iteration: either decay to a new plane, or a definite-size coarse gap fails to split, or arbitrarily small fine gaps fail to split.
What would settle it
The decisive test is to construct a stationary integral varifold (zero mean curvature) that is $\varepsilon$-close to a multiplicity-two plane, has density below two wherever it is flat, satisfies the split condition in every flat low-density cylinder at every scale and centre, and yet is not the graph of a two-valued Lipschitz function; the theorem predicts no such varifold exists. The known counterexamples each violate the split condition: the catenoid family has connected support in the coarse-gap cylinder, and the holomorphic variety $z_1^2 = z_2^3 z_3$ fails the condition in cylinders centred on regular points with vertical tangent planes, exactly as the paper's Remark G predicts.
Extended reading notes
Core claim
The central discovery is Theorem 2.5: fix $\beta\in(0,1)$; then there is $\varepsilon_0=\varepsilon_0(n,k,\beta)$ such that any stationary integral $n$-varifold $V$ in $B_2(0)$ with mass ratio between $3/2$ and $5/2$, with $L^2$ height excess $\hat E_V<\varepsilon_0$, and belonging to the class $V_\beta$ — meaning that in every $\beta$-coarse gap (a cylinder where the density is $<2$, the mass lies in $[3/2,5/2]$ times the flat value, and the $L^2$ distance to some parallel copy of the reference plane is $<\beta^2$) the support splits into at least two connected components reaching the inner quarter-cylinder — is on $C_{1/2}(0)$ the graph of a two-valued Lipschitz function $f$ that is generalised-$C^{1,\alpha}$, with $\sup|f|+\mathrm{Lip}(f)\leq C\hat E_V$. At every singular point in the half-ball the tangent cone exists and is unique, equal to a plane of multiplicity one or two, a transversely intersecting pair of planes, or a twisted stationary union of four half-planes; the tangent cones vary $\alpha$-Hölder continuously, and explicit quantitative decay to each tangent cone holds. The theorem puts no assumption on the set where the density is $\geq 2$. As a corollary it applies unconditionally to stationary two-valued Lipschitz graphs of arbitrary Lipschitz constant, yielding improved regularity and ruling out Lawson–Osserman-type cones accumulating at density-two branch points. The proof rests on a trichotomy: any stationary integral varifold sufficiently close to a double plane either decays towards an explicit classical cone at a definite scale, or contains a $\beta$-coarse gap of radius at least $\eta$ that fails the structural condition, or contains arbitrarily small fine gaps that fail the structural condition.
Load-bearing premise
The load-bearing premise is that the split-separation property survives zooming in, shifting the centre, and slightly tilting the reference plane: whenever a flat low-density cylinder splits into two sheets, its rescaled, recentred, and slightly rotated versions must still split, because the iteration that pushes the two-sheeted conclusion out to the whole half-ball needs the property at every smaller scale.
Editorial extensions
If this is right
- Stationary 2-valued Lipschitz graphs of any Lipschitz constant satisfy the topological structural condition for every $\beta$; so with small $L^2$-norm they are generalised-$C^{1,\alpha}$ on the half-ball with $\sup|f|+\mathrm{Lip}(f)\leq C\|f\|_{L^2}$, and no Lawson–Osserman-type cones can converge onto a density-two branch point.
- In codimension one no stationary twisted cones exist, so generalised-$C^{1,\alpha}$ regularity reduces to ordinary $C^{1,\alpha}$ regularity of two-valued functions, recovering and extending known results for stable codimension-one stationary varifolds with no triple junctions.
- A codimension-one stationary varifold whose regular part has infinite Morse index in every neighbourhood of a point with a multiplicity-two tangent cone must contain infinitely many flat low-density cylinders, at arbitrarily small scales and centres tending to the point, whose supports fail to split (Corollary 2.9).
- The excess-decay trichotomy gives a structural alternative for any stationary integral varifold close to a double plane: decay towards an explicit classical cone at a definite scale, a definite-size flat low-density cylinder that fails to split, or arbitrarily small fine gaps that fail to split — the multiplicity-two analogue of the dichotomy in the multiplicity-one theory.
- All results extend to integral varifolds with generalised mean curvature in $L^p$, $p>n$, and to smooth Riemannian ambient spaces.
Reading between the lines
- Read contrapositively, the result says the connected flat low-density neck, of which the catenoid is the prototype, is the only possible obstruction: a stationary varifold close to a double plane that fails to be a two-sheeted graph must exhibit such a neck at some scale. This makes the behaviour at density-two branch points a purely topological separation question, uniform across dimensions, codi
- The class $V_\beta$ is defined against one reference plane and is only stable under small rotations; the theorem would become rotation-invariant if the structural condition were imposed in cylinders over every plane, and pinning down the resulting $\varepsilon$-dependence is a natural next step for applications to varifold limits of embedded minimal surfaces.
- The quantitative decay at singular points is exactly the input a frequency-function argument needs; its sharpness can be tested by measuring the approach rate to the tangent cone in concrete examples such as holomorphic varieties, where the paper predicts the structural condition fails precisely at points whose tangent plane is vertical to the reference plane.
- The trichotomy does not give a uniform lower bound on the fine gaps that fail to split; a plausible strengthening is that such a bound holds under an a priori bound on the index of the regular part, which would make the infinite-Morse-index phenomenon detectable at one fixed scale.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies stationary integral n-varifolds near a multiplicity-two plane. It introduces a class V_β of varifolds satisfying a topological structural condition in β-coarse gaps, i.e. in cylinders over P0 where the density is below 2, the mass ratio is near 2, and the L2 height excess to a plane parallel to P0 is below β, the support must split into at least two significant connected components. The main Theorem 2.5 asserts that if V∈V_β and V is sufficiently close to the multiplicity-two plane P0, then on C_{1/2} the varifold is the graph of a Lipschitz two-valued function with quantitative estimates, all tangent cones at singular points are unique and belong to an explicit list of cones, and these tangent cones vary Hölder continuously. The paper also proves Theorem 2.8, which verifies the structural condition for stationary two-valued Lipschitz graphs, and Theorem 2.12, a trichotomy for general stationary integral varifolds close to a multiplicity-two plane. The proof has four main parts: coarse blow-ups, fine regularity near classical cones, regularity of coarse blow-ups, and the final iteration proving the main theorem. The presented text is detailed in the introductory and Part 2 portions, but the technical core of Part 3 is truncated in the provided manuscript.
Significance. If the main theorem is correct, this is a substantial advance: it gives the first ε-regularity theorem with unique tangent cones near multiplicity-two planes in arbitrary dimension and codimension under a checkable structural hypothesis, and it yields new corollaries for stationary two-valued Lipschitz graphs, including exclusion of Lawson–Osserman-type singularities accumulating at branch points. The paper is honest about the necessity of the structural condition, exhibiting catenoid and Scherk-type examples where it fails. The topological structural condition is a genuine hypothesis, not a rephrasing of the conclusion, and there are no free parameters fitted to the target result. The statements are precise, and the paper demonstrates a clear organisational strategy reminiscent of Simon's excess-decay method. The main reservation is quantitative: the iteration that proves Theorem 2.5 appears to require a quantitative control on how β degrades under rotations, and the manuscript does not supply that control.
major comments (3)
- [§3, Proposition 3.4; §2, Theorem 2.5] The proof of Theorem 2.5 iterates an excess-decay dichotomy infinitely often, and at each step the varifold is re-centered, rescaled, and rotated to the new approximating plane. The manuscript states in Section 2 that the class Vβ is preserved 'up to β changing by a controlled amount as seen in Proposition 3.4.' However, Proposition 3.4 only asserts the existence of some η = η(n,k,β,δ) and some eβ = eβ(n,k,β,δ) ∈ (0,β); it gives no quantitative lower bound for eβ and no modulus relating the loss in β to the rotation angle. If the loss is merely multiplicative, say eβ ≤ β/2, then the admissible excess ε0(n,k,β_j) may tend to 0 as the iteration proceeds, and the iteration can break down after finitely many steps. In that case the conclusions of Theorem 2.5 would hold only down to a positive radius rather than on all of C_{1/2}. This is a load-bearing point, not a cosmetic omission: the stated Proposition 3.4 is too weak to support the infinite propagation needed to reach B_{1/2}. The authors should either prove a quantitative version, e.g. eβ ≥ c(n,k)β when δ is chosen sufficiently small relative to β, or restructure the induction so that the relevant parameter does not degrade below a positive threshold.
- [§2, Remark 2.2(i) and proof of Proposition 3.4] The closure properties under translations and rescalings are stated ambiguously. Remark 2.2(i) claims that for x0 ∈ R^k × B^n_1(0) the map η_{x0,ρ} 'fixes P0', which is not literally true unless x0∈P0. The substance of the statement is that cylinders over P0 are preserved under translations parallel to P0^⊥, which is true because Cρ(x) = R^k × B^n_ρ(x) does not depend on the vertical coordinate. This should be clarified, and the proof of Proposition 3.4 should make explicit how the same invariance is used after a rotation, since after rotation the relevant gaps are cylinders over a plane close to, but not equal to, P0.
- [§3, Lemma 3.1 and Lemma 3.2] The transition from the topological structural condition to exact two-sheeted graphical structure is central, and the presented proof of Lemma 3.1 relies on a compactness argument for connected components. The argument is plausible, but the statement of Lemma 3.1 contains a small notational slip: the conclusion is written with f1,f2 : B^n_{1/8}(x0) → R^k, while the hypotheses concern V in C1(0) with no x0 in the statement; it should presumably be B^n_{1/8}(0). More substantively, Lemma 3.2 only applies when the cylinder radius ρ is bounded below by ρ0; this is fine for the stated lemma, but the final iteration in Theorem 2.5 must ensure that the scales at which the structural condition is invoked never fall below a positive threshold, or that a separate argument handles arbitrarily small scales. The paper should state explicitly how this is handled, since the same quantitative issue as in Proposition 3.4 arises here.
minor comments (4)
- [§2, Definition 2.4] The paper defines generalised-C1 and generalised-C1,α, but Theorem D later uses 'generalised-C1,μ' with an exponent μ. Please either define this notion explicitly or state that it is the C1,μ analogue of Definition 2.4 in an obvious sense.
- [§3, proof of Proposition 3.4] In the proof of Proposition 3.4, the statement 'V C_{ρ/128}(y;P0) is a sum of two (disjoint) minimal graphs' involves constants 1/128 and 1/16 that do not match the radii in Lemma 3.1 (which gives B^n_{1/8}). This is presumably harmless because constants are tracked informally, but the text should reconcile these radii for the reader.
- [§1, notation] The notation Cρ(x0) := R^k × B^n_ρ(x0) is used with x0 sometimes denoting a point in P0 and sometimes a point in R^{n+k}. Please add a sentence reminding the reader that for x0∈P0, B^n_ρ(x0) is identified with the ball in P0, and that for general x0 the cylinder is defined by projection onto P0.
- [Abstract and Section 2] The abstract states that the theorem yields 'a graph of a Lipschitz 2-valued function over P0 with small Lipschitz constant,' while Theorem 2.5 gives the more precise estimate ‖f‖_{C^{0,1}} ≤ C E_V. The abstract should mention that the constants are independent of β, as the theorem eventually claims, since this is a non-obvious point.
Circularity Check
No circularity: the topological structural condition is a genuine hypothesis, and the conclusions are not assumed by construction.
full rationale
I walked the claimed derivation chain. Theorem 2.5 assumes V ∈ Vβ, which is defined by a separation/topological-structural condition on β-coarse gaps; it does not assume a 2-valued graph, unique tangent cones, or generalised-C1,α structure. Those conclusions (A)–(C) are derived through coarse blow-ups (Part 2), the fine ε-regularity Theorem D (Part 3), and an excess-decay trichotomy (Theorem 2.12). Theorem D itself still assumes V ∈ Vβ and adds the fine-excess hypothesis (⋆); its conclusion is stronger, but the hypothesis is not defined in terms of the conclusion. Proposition 3.3 and Proposition 3.4 relate Vβ to sheeting and to small rotations, but these are substantive lemmas with proofs, not definitions of the conclusion. The possible lack of a quantitative lower bound for the post-rotation parameter β in Proposition 3.4 is a quantitative-robustness concern for the infinite iteration, not a circular reduction. Theorem 2.8 verifies Vβ for stationary 2-valued Lipschitz graphs; this is an application, and the verification uses Lemma 3.6 whose proof is independent. Citations to [Wic14], [MW24], [BK17], [KW21], [SW16], and related works are to published, independently established results; they support individual steps, but the main theorem is not logically forced by any single self-citation. No parameter is fitted and then renamed a prediction: ε0 depends only on n, k, β, and the topological structural condition is checked on the given varifold, not manufactured from the desired regularity. Therefore no circular step can be exhibited; the derivation is self-contained given its stated hypotheses.
Assumptions & free parameters
assumptions (6)
- domain assumption V is a stationary integral n-varifold in B_2(0) subset R^{n+k}, with n>=2, k>=1, using the standard Allard framework of varifolds, monotonicity, and compactness.
- standard math Almgren's Q-valued Lipschitz approximation theorem [Alm00, Corollary 3.11] with bad set estimates.
- standard math Allard's regularity theorem and the reverse Poincare inequality for stationary varifolds.
- standard math Simon's epsilon-regularity theorem for triple junction singularities [Sim93].
- ad hoc to paper Topological structural condition in beta-coarse gaps (Definition 2.1).
- standard math Sheeting and fine blow-up results from [Wic14], [MW24], and [BK17] as building blocks.
Cite this review
Pith. "Pith review of On the Nature of Stationary Integral Varifolds near Multiplicity 2 Planes." pith.science (2026). https://pith.science/paper/VX7MGWOQ
@misc{pith2026250713148,
author = {Pith},
title = {Pith review of: On the Nature of Stationary Integral Varifolds near Multiplicity 2 Planes},
year = {2026},
howpublished = {\url{https://pith.science/paper/VX7MGWOQ}},
note = {Machine review of arXiv:2507.13148}
}
abstract
We study stationary integral $n$-varifolds $V$ in the unit ball $B_1(0)\subset\mathbb{R}^{n+k}$. Allard's regularity theorem establishes the existence of $\epsilon = \epsilon(n,k)\in (0,1)$ for which if $V$ is $\epsilon$-close (as varifolds) to the plane $P_0 = \{0\}^k\times\mathbb{R}^n$ with multiplicity 1 then, in $B_{1/2}(0)$, $V$ is represented by a single $C^{1,\alpha}$ minimal graph. However, when instead $P_0$ occurs with multiplicity $Q\in \{2,3,\dotsc\}$, simple examples show that this conclusion, now as a multi-valued graph, may fail, even if $V$ corresponds to an area-minimising rectifiable current. In the present work we investigate the structure of such $V$ which are close to planes with multiplicity $Q>1$, focusing primarily on the case $Q=2$. We show that an $\epsilon$-regularity theorem holds when $V$ is close, as a varifold, to $P_0$ with multiplicity $2$, provided $V$ satisfies a certain topological structural condition on the part of its support where the density of $V$ is $<2$. The conclusion then is that, in $B_{1/2}(0)$, $V$ is represented by the graph of a Lipschitz $2$-valued function over $P_0$ with small Lipschitz constant; in fact, the function is $C^{1,\alpha}$ in a precise generalised sense, and satisfies estimates, implying that all tangent cones at singular points in $B_{1/2}(0)$ are unique and comprised of stationary unions of $4$ half-planes (which may form a union of two distinct planes or a single multiplicity $2$ plane). The theorem does not require any additional assumption on the part of $V$ with density $\geq 2$ (which a priori may be a relatively large set in $\mathcal{H}^n$-measure with high topological complexity). As a corollary, we show that our $\epsilon$-regularity theorem applies unconditionally to stationary $2$-valued Lipschitz graphs with arbitrary Lipschitz constant, yielding improved regularity and uniform a priori estimates.
Forward citations
Cited by 1 Pith paper
-
Regularity of branched stable minimal immersed hypersurfaces
For stable minimal immersed hypersurfaces with finite (n−2)-dimensional singular set, the non-branch singular set has dimension at most n−3, and examples attain this bound in every dimension n≥3.
Reference graph
Works this paper leans on
-
[3]
arXiv preprint arXiv:2111.12246,
-
[5]
[DLS23b] Camillo De Lellis and Anna Skorobogatova. The fine structure of the singular set of area-minimizing integral currents ii: rectifiability of flat singular points with singularity degree larger than 1.arXiv preprint arXiv:2304.11555,
-
[11]
[KW23b] Brian Krummel and Neshan Wickramasekera. Analysis of singularities of area minimizing currents ii: a uniform height bound, estimates away from branch points of rapid decay, and uniqueness of tangent cones. arXiv preprint arXiv:2304.10272 ,
-
[12]
Rectifiability of the singular set and uniqueness of tangent cones for semicalibrated currents
[MPSS24] Paul Minter, Davide Parise, Anna Skorobogatova, and Luca Spolaor. Rectifiability of the singular set and uniqueness of tangent cones for semicalibrated currents. arXiv preprint arXiv:2409.03037 ,
-
[1977]
A bernstein theorem for two-valued minimal graphs in dimension four
[Hie20] Fritz Hiesmayr. A bernstein theorem for two-valued minimal graphs in dimension four. arXiv preprint arXiv:2011.13792,
arXiv 2011
-
[1978]
Stable prescribed-mean-curvature integral varifolds of codimension 1: regularity and compactness
[BW19] Costante Bellettini and Neshan Wickramasekera. Stable prescribed-mean-curvature integral varifolds of codimension 1: regularity and compactness. arXiv preprint arXiv:1902.09669 ,
arXiv 1902
-
[1988]
[DLMS23] Camillo De Lellis, Paul Minter, and Anna Skorobogatova. The fine structure of the singular set of area- minimizing integral currents iii: Frequency 1 flat singular points and Hm−2 a.e. uniqueness of tangent cones. arXiv preprint arXiv:2304.11553 ,
-
[2016]
[DLS23a] Camillo De Lellis and Anna Skorobogatova. The fine structure of the singular set of area-minimizing integral currents i: the singularity degree of flat singular points. arXiv preprint arXiv:2304.11552 ,
Show all 12 references
-
[2020]
Dimension of the singular set for 2-valued stationary lipschitz graphs
[HS24] Jonas Hirsch and Luca Spolaor. Dimension of the singular set for 2-valued stationary lipschitz graphs. arXiv preprint arXiv:2401.00279 ,
-
[2021]
Analysis of singularities of area minimizing currents i: planar frequency, branch points of rapid decay, and weak locally uniform approximation
[KW23a] Brian Krummel and Neshan Wickramasekera. Analysis of singularities of area minimizing currents i: planar frequency, branch points of rapid decay, and weak locally uniform approximation. arXiv preprint arXiv:2304.10653,
-
[2023]
Fine structure of singularities in area-minimizing currents mod(q)
[DLMS24] Camillo De Lellis, Paul Minter, and Anna Skorobogatova. Fine structure of singularities in area-minimizing currents mod(q). arXiv preprint arXiv:2403.15889 ,
-
[2025]
[Kru14] Brian Krummel
Manuscript in preparation. [Kru14] Brian Krummel. Constant frequency and the higher regularity of branch sets. arXiv preprint arXiv:1410.7339,
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.