REVIEW 4 major objections 4 minor 1 cited by
Analysis of singularities of area-minimizing currents, Part III: branch points of planar frequency $\neq$ 2, higher order asymptotics, and the local topology
T0 review · 4 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash
Pith's one-line read This paper proves that at H^{n−2}-almost every branch point of an area-minimizing current whose planar frequency is not 2, the tangent function is unique and of the explicit algebraic form Re(c (x1+ix2)^{ℓ/q}); with an additional full-proje
desk verdict Real advance whose main theorems are conditional on the companion Part II preprint; send to a referee who will check both the imported decay estimate and the excess-decay engine. 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 central object is the planar frequency function N_{T,P,Z}(ρ), an intrinsic frequency of the current relative to a plane, introduced in Part I of this series. Its approximate monotonicity (Theorem 3.2) is the organizing principle: it gives a well-defined limiting frequency N_{T,Pl}(Z), guarantees the existence of non-trivial homogeneous tangent functions (Theorem 3.4), and supplies the uniform a priori estimates (Lemma 3.6) that feed a stratification argument (Theorem 3.7) bounding the dimension of the branch set. The finer asymptotic analysis then rests on an L²–L∞ estimate (Theorem 4.19) which bounds the L∞ distance of the current to a union of disjoint nearly harmonic graphs by its L²
What would settle it
Compute the link (intersection with a small sphere) of an explicit locally area-minimizing complex-algebraic variety at a branch point that satisfies the full-projection condition (1.6) and has planar frequency p/q≠2—for example, the point (0,a,0), a≠0, of w² = x³(x²−y³) in C³. If that link is not a topological 3-sphere (equivalently, the punctured neighborhood is not simply connected), the topological disk conclusion of Theorem 1.12 would be false; a direct computation of the fundamental group settles it.
Extended reading notes
Core claim
For an n-dimensional locally area-minimizing current in R^{n+m}, m≥2, the paper proves that at H^{n−2}-almost every branch point of planar frequency ≠2 the tangent function is unique and of the explicit algebraic form Σ m_j Re(c_j (x1+ix2)^{ℓ/q}) with c_j·c_j=0, with quantitative higher-order asymptotics; that the set of such branch points locally decomposes into finitely many disjoint locally (n−2)-rectifiable sets; and that under the full-projection (strong non-isolation) condition at a point of planar frequency p/q≠2, the support is homeomorphic to an n-dimensional disk with an explicit C^{1,μ} parametrization.
Load-bearing premise
The load-bearing premise is the locally uniform decay estimate (1.3)—that for almost every branch point the L² distance to the unique tangent plane decays like ρ^{2+2μ}—which the paper inherits from its companion paper Part II; if that decay estimate is false or not fully proved, the planar frequency is not well-defined and all main theorems lose their input.
Editorial extensions
If this is right
- At H^{n−2}-almost every branch point of planar frequency ≠2, the branching order is a rational number ℓ/q with q ≤ density, and the tangent function is explicitly represented as a sum of Re(c (x1+ix2)^{ℓ/q}) components; this is a strong algebraic rigidity statement.
- The branch set of planar frequency ≠2 locally splits into finitely many pairwise disjoint, locally (n−2)-rectifiable sets, strengthening the earlier Hausdorff-dimensional bound to a structural decomposition.
- Combine with the non-branch-point analysis (earlier paper) and the planar-frequency-2 case (next paper) to obtain that the full interior singular set decomposes into finitely many locally (n−2)-rectifiable pieces.
- At branch points with planar frequency p/q ≠2 and the full-projection condition, the local topology is that of a disk and the parametrization is explicit, giving a quantitative version of the classical two-dimensional result.
- The proofs avoid center-manifold constructions entirely for these points; the center manifold is needed only at planar-frequency-2 branch points.
Reading between the lines
- The explicit model w^{q} = c z^{p} suggests that the local sheet ordering of a typical branch point is governed by the q-th roots of a holomorphic germ; one could verify this in explicit complex-algebraic examples by computing their links and checking that the branching pattern is exactly that of the model.
- The full-projection condition (1.6) is a non-degeneracy assumption that is plausibly automatic for H^{n−2}-almost every branch point, once the rectifiability decomposition of the branch set is in hand; testing whether (1.6) can be dropped for generic currents would sharpen the topological result.
- The L²–L∞ separation mechanism (Theorem 4.19) is likely transferable to other variational settings—such as stationary integral varifolds with stable regular parts or mod-p minimizing hypersurfaces—where a current sits close to a union of disjoint harmonic graphs, and would yield analogous local-disk conclusions there.
- A quantitative open question suggested by the paper: determine the optimal Hölder exponent μ in the C^{1,μ} parametrization, and whether higher regularity of the singular set (e.g., real analyticity when q=2, α=3/2) holds in all dimensions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper is the third part of a series developing an intrinsic `planar frequency' framework for n-dimensional locally area-minimizing rectifiable currents in codimension at least 2. For branch points of planar frequency different from 2, it claims three main results: (i) higher-order asymptotics and H^{n-2}-a.e. uniqueness of a tangent function of the explicit algebraic form Re(c(x_1+ix_2)^{p/q}); (ii) local decomposition of the corresponding branch set into finitely many locally (n-2)-rectifiable pieces with locally finite measure; and (iii) a topological disk theorem: under a planar-frequency interval condition and the full-projection/strong-non-isolation hypothesis (1.6), the support is C^{1,\mu}-parameterized as (g(y)+z^q, y, f(z,y)) near the branch point, hence homeomorphic to an n-disk. The paper also contains worked complex-algebraic examples showing the necessity of the strong-non-isolation hypothesis, and it explicitly avoids center manifolds for the frequency-≠2 part of the theory.
Significance. If correct, the paper would substantially generalize the Chang-Micallef-White structure theory from dimension 2 to arbitrary dimension at H^{n-2}-a.e. branch point, give precise algebraic tangent functions, and yield rectifiability plus local finiteness of the branch set. The presentation has real strengths: the hypotheses are explicit (Hypotheses 1.4 and 1.5, assumptions (1.5)-(1.6)), the examples T1, T2, V, V1, V2 convincingly illustrate the optimality of the spine/full-projection condition, and Remark 1.13 candidly states the regularity limitations of the conclusions. However, the central results are logically downstream of the decay estimate (1.3) imported from the companion preprint [KruWic-b, Theorem 1.1], and the supplied text does not provide the full proof of the excess-decay engine (Theorem 10.3) on which Theorems 1.8, 1.10, and 1.12 rest. The paper's value is therefore contingent on independent verification of Part II and on completion of the missing proof details.
major comments (4)
- [§1.8, Hypothesis 1.5 and Eq. (1.3)] Theorems 1.7, 1.8, 1.10, and 1.12 all rely on the locally uniform decay estimate (1.3) for H^{n-2}-a.e. branch point. This is imported from Theorem X = [KruWic-b, Theorem 1.1] of the companion Part II, which is an arXiv preprint that is neither journal-published nor machine-checked. Corollary 3.3, Lemma 3.6, Theorem 3.7, and the subsequent blow-up machinery all use (1.3) as input. If the proof of Theorem X has a gap, for instance in the rapid-planar-decay / weak-non-planar-approximation dichotomy or in the uniform selection of µ_K, then B_q may fail to contain H^{n-2}-a.e. branch point and the main theorems lose their starting hypothesis. This is an honest dependency rather than a circularity, but it is load-bearing. The manuscript should either include a self-contained proof of (1.3) or state explicitly that the final theorems are conditional on verification of Part II.
- [§10, Theorem 10.3] The paper says that the main results are obtained by iterating Lemma 10.1 and its strengthened version Theorem 10.3, but the supplied text contains no statement or proof of Theorem 10.3 before the presentation breaks off. The blow-up procedure of Section 5.3 and the fine-blow-up classification of Section 8 are preparatory; without the full proof of Theorem 10.3, the claimed H^{n-2}-a.e. uniqueness in Theorem 1.8, the rectifiability in Theorem 1.10, and the topological disk conclusion in Theorem 1.12 cannot be checked from this manuscript. Please include the complete statement and proof, or a precise pointer to the part of the submission where they appear.
- [§3.2 and Theorem 1.8(iii)] Theorem 3.4 establishes existence of at least one tangent function, homogeneous of degree N_{T,Pl}(Z), for each sequence of radii. Theorem 1.8 asserts H^{n-2}-a.e. uniqueness of the tangent function. The excerpt provided does not contain the uniqueness proof; it also does not specify whether uniqueness is among all tangent functions or only among blow-ups constructed relative to the tangent plane. Since this uniqueness is one of the headline results and feeds the asymptotic expansion in Theorem 1.8(iv), it needs a complete proof or an explicit reference to a subsection that is actually present in the submission.
- [§1.8, Theorem 1.12(b)] The theorem asserts that the map (z,y) ↦ (g(y)+z^q, y, f(z,y)) is injective and that its image is homeomorphic to an n-disk. The displayed bounds (1.8)-(1.10) control f by terms involving |(z^q,y)|^{p/q+µ/(8nq)}, but these estimates alone do not imply injectivity over the full product domain, especially for z across different branches at fixed y. The proof must explicitly establish the stated homeomorphism and the identification in conclusion (a) that the singular set is exactly the graph {(g(y),y,h(y))}. These points are part of the central topological claim and are not verifiable from the material supplied.
minor comments (4)
- [§1.3 and Remark 1.11] The abstract speaks of a decomposition of the set of branch points of frequency ≠2, while Theorem 1.10 gives the decomposition only for B^{(<2)}_q; the B^{(>2)}_q part appears in Remark 1.11 only on compact sets avoiding B^{(=2)}_q. Please make this scope clear in the abstract and theorem statements.
- [§1.8, Theorem 1.12] After the orthogonal change of coordinates, the phrase `fixes vectors in {0}×R^m' is ambiguous. If the rotation preserves the normal space setwise, say so explicitly; the subsequent coordinate representation (g(y)+z^q, y, f(z,y)) depends on this convention.
- [Throughout] There are several typographical slips: `framekwork' in the abstract, `TOPLOGICAL' in the Section 1 header, `Theroem 9.3' in Section 1.7, and `mininimizing' in Lemma 5.10. These should be corrected in a final version.
- [§1.7 and Remark 1.13] The q=2, α=3/2 case is said to follow from [Kru14]; it would be helpful to state explicitly in Remark 1.13 what is proved there and whether it applies directly to the coordinate system of Theorem 1.12.
Circularity Check
Main theorems are conditional on the same-authors' Part II decay estimate; this is load-bearing self-citation, but the paper's own excess-decay and classification arguments are not definitionally circular.
-
self citation load bearing
[Definition 1.6 and following paragraph; Theorem X in Section 1.3]
"In Definition 1.6, one can take μ=μ_K as in Theorem X(b)(iv) for a suitable choice of compact set K⊂U, and thereby guarantee that H^{n−2}-a.e. branch point Z∈C_{1/2}(0) of T is an element of B_q."
The set B_q — the common object of the paper's main theorems — is defined by Hypothesis 1.5, i.e. by the decay estimate (1.3). The paper does not prove (1.3) here; it imports it from Theorem X = [KruWic-b, Theorem 1.1], a companion preprint by the same authors. Consequently the 'H^{n−2}-a.e. branch point' quantification appearing in Theorems 1.7, 1.8, 1.10 and 1.12 is exactly the content of that self-citation, not an independent derivation in this paper. All later machinery — Corollary 3.3, Lemma 3.6, Theorem 3.7, tangent-function existence, and the blow-up analysis — is conditional on this imported input. This is load-bearing self-citation rather than a reduction of the conclusions to the hypotheses by definition.
full rationale
No definitional circularity is present: the tangent functions and planar frequency are intrinsic quantities, their algebraic form is obtained via a classification argument (with the c·c=0 condition cited from the external Micallef–White work), and the topological n-disk theorem's 'full projection' hypothesis is shown necessary by complex-algebraic counterexamples rather than being inserted as the conclusion. The central excess-decay and stratification arguments are genuine analytic estimates, not identities. The only significant circularity burden is the reliance on the same-authors' Part II for the decay estimate (1.3) that defines B_q and guarantees it contains H^{n−2}-a.e. branch point. This makes the main theorems conditional on an unverified companion result, but it does not make the new theorems equivalent to that input by construction. Hence a moderate score of 4 is appropriate.
Assumptions & free parameters
assumptions (4)
- domain assumption Locally uniform decay estimate (1.3) holds at H^{n−2}-a.e. branch point of each density (Theorem X, [KruWic-b, Theorem 1.1])
- domain assumption Planar frequency monotonicity formula (Theorem 3.2 here, from [KruWic-a, Theorem 4.4])
- domain assumption Classification of homogeneous Dirichlet energy minimizers on R²: tangent functions with spine dimension n−2 have the form Re(c(x1+ix2)^{ℓ/q}) with c·c = 0
- standard math Almgren's strong Lipschitz approximation theorem (Theorem 2.2)
invented entities (2)
-
Planar frequency function N_{T,Pl}(Z)
-
Tangent functions / fine blow-up class φ^{(Z)}
Cite this review
Pith. "Pith review of Analysis of singularities of area-minimizing currents, Part III: branch points of planar frequency $\neq$ 2, higher order asymptotics, and the local topology." pith.science (2026). https://pith.science/paper/PRUGOBME
@misc{pith2026260713356,
author = {Pith},
title = {Pith review of: Analysis of singularities of area-minimizing currents, Part III: branch points of planar frequency $\neq$ 2, higher order asymptotics, and the local topology},
year = {2026},
howpublished = {\url{https://pith.science/paper/PRUGOBME}},
note = {Machine review of arXiv:2607.13356}
}
abstract
This is the third part in a series of papers developing a new framework to study the local structure of $n$-dimensional area-minimizing rectifiable currents $T$ of codimension $\geq 2$. Parts I and II introduced an intrinsic frequency function for $T$ -- planar frequency -- and used its monotonicity properties, among other things, to establish that ${\mathcal H}^{n-2}$-a.e. branch point is a rapid-decay branch point where the planar frequency is at least $1 + \alpha$. This paper analyses branch points of planar frequency $\neq 2$. It establishes: (1) higher order asymptotics: at ${\mathcal H}^{n-2}$-a.e. such point, the current admits an expansion of finite order $>1$, with precise decay estimates for the remainder term; (2) branch set decomposition: the set of such branch points locally decomposes into finitely many pairwise disjoint, locally $n-2$ rectifiable sets (of locally finite measure); (3) topological control: near any branch point satisfying a specific planar-frequency criterion, the support of $T$ is homeomorphic to an $n$-dimensional disk and admits a $C^{1, \mu}$ parametrization. (Classical complex algebraic examples show that when this frequency criterion fails, the current need not be locally homeomorphic to an $n$-disk). The work here (as well as in parts I & II) avoids the use of center manifolds -- a technically demanding foundational component of the classical Almgren framework -- and uses instead intrinsic geometric arguments based on the monotonicity formula for planar frequency. In part IV, a center manifold is utilised to analyse planar frequency 2 points, where the center manifold becomes necessary and geometrically canonical, satisfying additional simplifying properties. Reduced reliance on center manifolds in our framekwork is necessitated by the structural results it establishes for $T$.
Forward citations
Cited by 1 Pith paper
-
Area-minimizing submanifolds are not generically smooth, except for geodesics, minimal surfaces, and minimal hypersurfaces
For d≥3 and c≥2, open sets of metrics force every mod-2 area-minimizer to have singular set of Hausdorff dimension at least d−3; the Veronese RP2 cone is mod-2 minimizing.
Reference graph
Works this paper leans on
-
[1]
Allard, W. K. On the first variation of a varifold. Ann.\ of Math.\ 95.3 (1972): 417-491
1972
-
[2]
Almgren, Jr. F. J. Almgren's big regularity paper: Q -valued functions minimizing Dirichlet's integral and the regularity of area-minimizing rectifiable currents up to codimension two. World Scientific Monograph Series in Mathematics. 1 World Scientific Publishing Co. Inc., River Edge, NJ (2000)
2000
-
[3]
Extensions of Schoen-Simon-Yau and Schoen-Simon theorems via iteration \'a la De Giorgi
Bellettini, C. Extensions of Schoen-Simon-Yau and Schoen-Simon theorems via iteration \'a la De Giorgi. Inventiones Mathematicae, 240 (2025), 1-34
2025
-
[4]
Two dimensional area minimizing integral currents are classical minimal surfaces
Chang, S. Two dimensional area minimizing integral currents are classical minimal surfaces. Jour. Amer. Math. Soc. 1(4), (1988): 699--778
1988
-
[5]
Frontiere orientate di misura minima Sem
De Giorgi, E. Frontiere orientate di misura minima Sem. Mat. Scuola Norm. Sup. Pisa (1961), 1-56
1961
-
[6]
De Lellis, C., Hirsch, J., Marchese, A., Spolaor, L. and Stuvard, S. Fine structure of the singular set of area minimizing hypersurfaces modulo p . arXiv:2201.10204 (2022)
arXiv 2022
-
[7]
De Lellis, C., Minter, P. and Skorobogatova, A. The fine structure of the singular set of area-minimizing integral currents III: frequency 1 flat singular points and H ^ m-2 -a.e. uniqueness of tangent cones. arXiv:2304.11553 (2023)
arXiv 2023
-
[8]
De Lellis, C. and Skorobogatova, A. The fine structure of the singular set of area-minimizing integral currents I: the singularity degree of flat singular points. Ars Inven. Anal., 61, (2025). arXiv:2304.11552 (2023)
arXiv 2025
Show all 33 references
-
[9]
and Skorobogatova, A
De Lellis, C. and Skorobogatova, A. The fine structure of the singular set of area-minimizing integral currents II: rectifiability of flat singular points of singularity degree larger than 1. arXiv:2304.11555 (2023)
2023 arXiv
-
[10]
and Spadaro, E
De Lellis, C. and Spadaro, E. Almgren's Q-valued functions revisited. Mem. Amer. Math. Soc. 211 (2011) no. 991, vi+79 pp
2011
-
[11]
and Spadaro, E
De Lellis, C. and Spadaro, E. Regularity of area-minimizing currents I: gradient L^ p estimates. GAFA 24.6 (2014): 1831--1884
2014
-
[12]
and Spadaro, E
De Lellis, C. and Spadaro, E. Regularity of area-minimizing currents II: center manifold. Ann.\ of Math. (2016): 499--575
2016
-
[13]
and Spadaro, E
De Lellis, C. and Spadaro, E. Regularity of area-minimizing currents III: blow-up. Ann.\ of Math. (2016): 577--617
2016
-
[14]
Geometric measure theory
Federer, H. Geometric measure theory. Springer, 2014
2014
-
[15]
Constant frequency and the higher regularity of branch sets
Krummel, B. Constant frequency and the higher regularity of branch sets. arXiv:1410.7339 (2014)
2014 arXiv
-
[16]
and Wickramasekera, N
Krummel, B., Minter, P. and Wickramasekera, N. A branch set stratification for stationary varifolds with Epsilon-Regularity. arXiv:2606.01511 (2026)
2026 arXiv
-
[17]
and Wickramasekera, N
Krummel, B. and Wickramasekera, N. Analysis of singularities of area minimising currents, Part I: planar frequency, branch points of rapid decay, and weak locally uniform approximation. arXiv:2304.10653
-
[18]
and Wickramasekera, N
Krummel, B. and Wickramasekera, N. Analysis of singularities of area minimising currents, Part II: a uniform height bound, estimates away from branch points of rapid decay, and uniqueness of tangent cones. arXiv:2304.10272
-
[19]
and Wickramasekera, N
Krummel, B. and Wickramasekera, N. Analysis of singularities of area minimising currents, Part IV: branch points of planar frequency 2 , higher order asymptotics, and the local topology. preprint
-
[20]
and Wickramasekera, N
Krummel, B. and Wickramasekera, N. Analysis of singularities of area minimizing currents, Part V: general Riemannian manifolds. preprint
-
[21]
and Wickramasekera, N
Krummel, B. and Wickramasekera, N. Fine properties of branch point singularities: stationary graphs and stable minimal hypersurfaces near points of density < 3 . arXiv:2111.12246v1 (2021)
2021 arXiv
-
[22]
and Wickramasekera, N
Krummel, B. and Wickramasekera, N. Fine properties of branch point singularities: Dirichlet energy minimizing multi-valued functions. arXiv:1711.06222 (2017)
2017 arXiv
-
[23]
and White, B
Micallef, M. and White, B. The structure of branch points in minimal surfaces and in pseudoholomorphic curves. Annals of Math., 141 (1995), 35--85
1995
-
[24]
and Stanbury, S
Minter, P. and Stanbury, S. Area minimising hypersurfaces mod p do not admit immersed branch points. arXiv:2603.03100 (2026)
2026 arXiv
-
[25]
and Wickramasekera, N
Minter, P. and Wickramasekera, N. A structure theory for stable codimension 1 integral varifolds with applications to area minimising hypersurfaces mod p . Jour. Amer. Math. Soc., 37(2024),861--927
2024
-
[26]
and Xiao, Z
Minter, P. and Xiao, Z. An optimal regularity theory for immersed stable minimal hypersurfaces with small singular set., arXiv 2605.05041 (2026)
2026 arXiv
-
[27]
and Valtorta, D
Naber, A. and Valtorta, D. The singular structure and regularity of stationary and minimizing varifolds. Jour. Euro. Math. Soc. 22(10) (2015), 3305-3382
2015
-
[28]
and Simon L
Schoen, R. and Simon L. Regularity of stable minimal hypersurfaces. Comm. Pure Appl. Math. 34(1981), 741--797
1981
-
[29]
Lecture Notes on Geometric Measure Theory
Simon, L. Lecture Notes on Geometric Measure Theory. Proceedings of the Centre for Mathematical Analysis, Australian National University, 3. (1983)
1983
-
[30]
Cylindrical Tangent Cones and the singular set of minimal submanifolds
Simon, L. Cylindrical Tangent Cones and the singular set of minimal submanifolds. J. Diff. Geo. (1993) 38:585--652
1993
-
[31]
Rectifiability of the singular sets of multiplicity 1 minimal surfaces and energy minimizing maps
Simon, L. Rectifiability of the singular sets of multiplicity 1 minimal surfaces and energy minimizing maps. Surveys in Diff.\ Geom.\ (1995), 246--305
1995
-
[32]
Tangent cones to 2-dimensional area-minimizing integral currents are unique
White, B. Tangent cones to 2-dimensional area-minimizing integral currents are unique. Duke Math.\ J.\ 50 (1983), 143--160
1983
-
[33]
A general regularity theory for stable codimension 1 integral varifolds
Wickramasekera, N. A general regularity theory for stable codimension 1 integral varifolds. Ann.\ of Math. (2014): 843--1007
2014
Reviewed August 2, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.