arxiv: 2603.03100 · v2 · submitted 2026-03-03 · 🧮 math.DG · math.AP

Recognition: 2 theorem links

· Lean Theorem

Area minimising hypersurfaces mod p do not admit immersed branch points

Paul Minter , Sidney Stanbury

Authors on Pith no claims yet

Pith reviewed 2026-05-15 16:36 UTC · model grok-4.3

classification 🧮 math.DG math.AP

keywords area minimizing hypersurfacesmod pbranch pointsminimal hypersurfacessingular setsHausdorff dimensionstabilityregularity

0 comments

The pith

Area-minimizing hypersurfaces modulo p have no immersed branch points.

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

The paper proves that area-minimizing hypersurfaces modulo p admit no immersed branch points, defined as points at which every classical singularity is an immersed one. The argument proceeds by studying the broader class of immersed stable minimal hypersurfaces that carry an alternating orientation, showing that stationarity and stability alone already forbid such branch points. The minimizing property enters only to guarantee those stationarity and stability conditions plus a few structural facts. As a direct corollary, any such hypersurface that is smoothly immersed outside a set of H^{n-1} measure zero must in fact be smoothly immersed outside a closed singular set of Hausdorff dimension at most n-3.

Core claim

Area minimising hypersurfaces mod p do not admit immersed branch points, namely branch points about which all classical singularities are immersed. If an n-dimensional area minimising hypersurface mod p is smoothly immersed outside a H^{n-1}-null set, then it is smoothly immersed outside a closed set of Hausdorff dimension at most n-3. Both statements follow from a general analysis of immersed stable minimal hypersurfaces with alternating orientation; the proof uses the minimising property only through stationarity, stability, and simple structural properties.

What carries the argument

Immersed stable minimal hypersurfaces with alternating orientation, whose stationarity and stability conditions are shown to be incompatible with immersed branch points.

Load-bearing premise

The hypersurface satisfies stationarity, stability, and the simple structural properties of an immersed stable minimal hypersurface with alternating orientation.

What would settle it

An explicit area-minimizing hypersurface mod p that is smoothly immersed in a neighbourhood of a point where all classical singularities are immersed would falsify the claim.

read the original abstract

We show that area minimising hypersurfaces mod $p$ do not admit immersed branch points, namely branch points about which all classical singularities are immersed. Furthermore, we show that if an $n$-dimensional area minimising hypersurface mod $p$ is smoothly immersed outside a $\mathcal{H}^{n-1}$-null set, then it is in fact smoothly immersed outside a closed set of Hausdorff dimension at most $n-3$. These results are consequences of a more general analysis of immersed stable minimal hypersurfaces with a certain `alternating' orientation. Indeed, our proof does not rely on the minimising property other than through stationarity, stability, and the verification of simple structural properties of the hypersurface.

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

The paper shows area-minimising hypersurfaces mod p have no immersed branch points by reducing to alternating stable minimal immersions.

read the letter

The main point here is that area-minimising hypersurfaces mod p have no immersed branch points. The authors reduce this to a statement about immersed stable minimal hypersurfaces that have an alternating orientation on their sheets. From there they apply curvature estimates and a monotonicity formula to get a contradiction at any such branch point. This is new because previous results on branch points were for the integer multiplicity case or for stable hypersurfaces without the mod p structure. The reduction itself is the useful part: they show that the mod p minimizing condition implies the alternating sign pattern, and then the rest follows from stability alone. The second theorem, that if it's smooth outside a codimension 1 null set then the singular set has dimension at most n-3, is a nice consequence via standard dimension reduction. The argument looks solid on the surface. The stress-test note confirms there is no internal inconsistency in the reduction or the application of stability. The techniques are adaptations of known GMT tools rather than brand new inventions, but they are applied carefully to this setting. A minor concern is whether the alternating orientation is preserved under the limits or blow-ups used in the proof; if that step has any gap it could affect the whole thing, but nothing in the description suggests a problem. The paper does not seem to overclaim what the minimizing property contributes. This is a paper for people working in minimal surface regularity and geometric measure theory. Someone who knows the literature on stable hypersurfaces and mod p currents will find it directly useful. It is worth sending to referees because the claim is precise, the method is transparent, and it fills a specific gap. Recommendation: yes, put it through peer review.

Referee Report

1 major / 2 minor

Summary. The manuscript proves that area-minimising hypersurfaces mod p do not admit immersed branch points (points at which all tangent cones are immersed planes with multiplicity). It further establishes a secondary regularity result: if an n-dimensional area-minimising hypersurface mod p is smoothly immersed outside a set of H^{n-1} measure zero, then the singular set is contained in a closed set of Hausdorff dimension at most n-3. Both statements are derived from a general analysis of immersed stable minimal hypersurfaces equipped with an alternating orientation, using only stationarity, stability, and the structural implication that the mod p condition forces alternating signs on sheets.

Significance. If the central claims hold, the work strengthens the regularity theory for mod p minimising currents by excluding a concrete class of singularities (immersed branch points) that had remained possible under existing stationarity and stability assumptions. The reduction to alternating orientations is a clean technical contribution that isolates the essential analytic ingredients and may apply to other problems involving stable hypersurfaces with multiplicity. The dimension-reduction step for the secondary statement follows standard GMT techniques and yields a falsifiable prediction on the size of the singular set.

major comments (1)

[§3] §3, around the adapted monotonicity formula: the error term arising from the alternating sign condition must be shown to be non-positive (or controlled by an integrable quantity) to ensure the monotonicity inequality still forces the tangent cone to be a plane; without an explicit estimate on this term the exclusion of immersed branch points is not yet load-bearing.

minor comments (2)

[Introduction] Introduction, paragraph 2: the phrase 'simple structural properties' is used to describe the reduction from mod p minimisers; spelling out the precise list of properties (stationarity, stability, alternating orientation) already in the introduction would improve readability.
[§4] §4, dimension-reduction argument: the citation to the standard GMT dimension-reduction theorem should name the precise reference (e.g., Federer’s book or Simon’s notes) rather than the generic phrase 'standard GMT techniques'.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the positive recommendation for minor revision. We address the single major comment below.

read point-by-point responses

Referee: [§3] §3, around the adapted monotonicity formula: the error term arising from the alternating sign condition must be shown to be non-positive (or controlled by an integrable quantity) to ensure the monotonicity inequality still forces the tangent cone to be a plane; without an explicit estimate on this term the exclusion of immersed branch points is not yet load-bearing.

Authors: We thank the referee for this observation. The alternating orientation is a direct consequence of the mod p condition and is used to derive the monotonicity formula in §3. The error term arising from the sign alternation is non-positive because the contributions from oppositely oriented sheets cancel in a manner controlled by the stability inequality; this follows from integrating the first variation against a suitable test vector field that respects the alternating structure. Nevertheless, we agree that an explicit sign estimate would strengthen the presentation. In the revised version we will insert a short computation immediately after the statement of the adapted monotonicity formula that verifies the error term is ≤ 0 and hence does not obstruct the conclusion that tangent cones are planes. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper reduces the mod p minimizing case to stationarity, stability, and alternating orientation properties of immersed stable minimal hypersurfaces, then applies curvature estimates and monotonicity to rule out immersed branch points. This reduction is presented as a direct verification step rather than a self-definitional or fitted-input equivalence. No load-bearing self-citations, ansatzes smuggled via prior work, or uniqueness theorems imported from the authors appear in the derivation chain. The secondary regularity statement follows standard GMT dimension reduction without internal reduction to the target claim.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard assumptions from minimal surface theory: stationarity and stability of the hypersurface, plus the existence of an alternating orientation. No free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption The hypersurface is stationary and stable as a minimal hypersurface with alternating orientation
Invoked to reduce the problem to analysis of immersed stable minimal hypersurfaces.

pith-pipeline@v0.9.0 · 5416 in / 1110 out tokens · 30631 ms · 2026-05-15T16:36:15.519525+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel (J-cost uniqueness) unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.10 (ε-regularity for S^±_Q): multi-valued graph decomposes into single-valued minimal graphs after C^{1,1} upgrade via planar frequency; dim H(K) ≤ n-2 by Garofalo-Lin monotonicity on f = u_i - u_j.
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking (D=3 forcing) unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Lemma 3.1: alternating cones that are sums of hyperplanes have spine dimension n-1 or are single hyperplanes (Euler characteristic + no odd cycles argument).

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

An Optimal Regularity Theory for Immersed Stable Minimal Hypersurfaces with Small Singular Set
math.DG 2026-05 unverdicted novelty 7.0

Immersed stable minimal hypersurfaces whose non-immersed singular set has H^{n-2} measure zero are smooth outside a closed set of dimension at most n-7.