arxiv: 2604.08822 · v2 · submitted 2026-04-09 · 🧮 math.DG

Recognition: unknown

Generic Metrics on S^{n+1} Preclude Linearly Stable Singular Tangent Cones of Area-Minimizing Boundaries

Zehua Cheng

Authors on Pith no claims yet

Pith reviewed 2026-05-10 16:37 UTC · model grok-4.3

classification 🧮 math.DG

keywords area-minimizing currentstangent coneslinear stabilitygeneric metricsBaire categoryJacobi operatorHardt-Simon expansionminimal surfaces

0 comments

The pith

For a dense set of C^3 metrics on S^{n+1}, area-minimizing boundaries cannot have singular tangent cones that are linearly stable in Euclidean space.

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

The paper shows that a residual subset of Riemannian metrics on the sphere makes it impossible for area-minimizing integral currents to possess singular tangent cones that remain linearly stable when measured against the flat metric. The argument first builds an explicit small metric perturbation that breaks the asymptotic conditions needed for any given stable cone to persist, then shows that the property of avoiding one fixed cone type is open, and finally applies the Baire category theorem to obtain a dense good set by intersecting countably many such open dense sets. A reader would care because the result indicates that the singularities of area minimizers are not rigid but can be removed by generic changes to the ambient geometry.

Core claim

We prove that for a residual subset G of Riemannian metrics on S^{n+1} in the C^3 topology, no area-minimizing integral n-current that is a boundary admits a singular tangent cone which is linearly stable in the Euclidean sense. The proof proceeds by developing a perturbation theorem that destroys compatibility for any isolated linearly stable cone C, establishing openness of the set of metrics without a prescribed cone type via compactness of currents, and assembling the pieces through a Baire category argument.

What carries the argument

The perturbation theorem for an isolated singularity with unique linearly stable tangent cone C, which produces a C^3-small metric change that violates the matching conditions in the Hardt-Simon expansion by using spectral properties of the Jacobi operator and surjectivity of the map from metric variations to linearized forcing terms.

If this is right

The set of metrics admitting no area-minimizer with a prescribed linearly stable cone type is open in the C^3 topology.
The complement of the good set G is a countable union of nowhere dense sets and hence meager.
The good set G is therefore residual and dense.
The same conclusion extends to non-isolated singularities by an outline that invokes Federer-Almgren dimension reduction.

Where Pith is reading between the lines

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

Linear stability of a tangent cone is a non-generic property that can be destroyed by arbitrarily small metric perturbations.
In typical geometries the tangent cones at singularities of area minimizers must fail to be linearly stable in the Euclidean sense.
The same perturbation technique might apply to other notions of stability or to minimal submanifolds in different ambient spaces.

Load-bearing premise

The map from compactly supported metric variations to forcing terms in the linearized minimal-surface equation on the cone C has dense range.

What would settle it

An explicit C^3 Riemannian metric on S^{n+1} together with an area-minimizing boundary current whose isolated singularity has a unique tangent cone that remains linearly stable under all small metric perturbations would contradict the result.

read the original abstract

We prove that for a residual (and hence dense) subset $\mathcal{G}$ of Riemannian metrics on $S^{n+1}$ in the $C^{3}$ topology, no area-minimizing integral $n$-current that is a boundary admits a singular tangent cone which is linearly stable in the Euclidean sense. The proof proceeds in three stages. First, we develop a perturbation theorem: given any area-minimizer possessing an isolated singularity whose unique tangent cone $C$ is linearly stable, we construct an explicit $C^{3}$-small metric perturbation that destroys the compatibility conditions required for $C$ to persist as a tangent cone. The construction rests on the Hardt--Simon asymptotic expansion near isolated singularities, the spectral theory of the Jacobi operator on the cross-section of $C$, and a surjectivity argument showing that the map from compactly supported metric variations to forcing terms in the linearised minimal-surface equation on $C$ has dense range. Second, we establish that the set of metrics admitting no area-minimizer with a prescribed cone type as tangent cone is open, using compactness of integral currents and upper-semicontinuity of the density function. Third, we assemble these ingredients via a Baire category argument, intersecting countably many open dense sets to obtain the residual set $\mathcal{G}$. An extension to non-isolated singularities is outlined using Federer--Almgren dimension reduction.

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 abstract sketches a standard Baire-category argument that generic C^3 metrics on the sphere kill linearly stable Euclidean tangent cones for area-minimizing boundaries, but the surjectivity step in the perturbation theorem is the unverified core.

read the letter

The main result is that a residual set of C^3 metrics on S^{n+1} forces every area-minimizing boundary to have only unstable tangent cones at singularities. The three-stage plan is: perturb any fixed linearly stable cone C via a small metric change that breaks the Hardt-Simon compatibility conditions, prove the set of metrics avoiding a given cone type is open by compactness of currents and upper-semicontinuity of density, then intersect countably many such open dense sets with Baire category. A brief note on extending to non-isolated singularities via Federer-Almgren reduction is added at the end. The combination of spectral theory on the Jacobi operator with a dense-range claim for metric variations is the concrete new piece; it applies existing tools to a generic statement rather than inventing new machinery. The openness and Baire steps are routine and do not introduce circularity. The argument stays grounded in established results like Hardt-Simon expansions and does not rely on fitted parameters or self-referential constructions. The soft spot is exactly the perturbation theorem. The abstract states that compactly supported metric variations produce a dense set of forcing terms in the linearized minimal-surface equation on C, but the function spaces, the precise spectral gap used, and the surjectivity proof are not shown. If that map fails to be dense, the whole first stage fails. Since only the abstract is available, this cannot be checked. The paper is for people already working on tangent-cone stability and generic regularity in geometric measure theory. A reader who knows the Hardt-Simon and Jacobi-operator literature will see the intended strategy clearly and can judge whether the surjectivity claim is plausible. I would send it to peer review. The outline is coherent and the claim is specific enough to deserve referee time, though the authors will need to supply the full details of the perturbation map before acceptance.

Referee Report

1 major / 2 minor

Summary. The paper claims that for a residual (hence dense) subset of C^3 Riemannian metrics on S^{n+1}, no area-minimizing integral n-current that is a boundary admits a singular tangent cone which is linearly stable in the Euclidean sense. The proof is in three stages: a perturbation theorem for isolated singularities with unique linearly stable tangent cone C, using Hardt-Simon asymptotic expansion, spectral theory of the Jacobi operator, and surjectivity of the metric variation map to forcing terms; an openness result for the set of metrics without such prescribed cone types as tangent cones, via compactness of integral currents and upper-semicontinuity of the density; and a Baire category argument to obtain the residual set by intersecting open dense sets. An extension to non-isolated singularities is outlined using Federer-Almgren dimension reduction.

Significance. If the result holds, it would be significant for the field of geometric measure theory as it establishes that linearly stable singular tangent cones for area-minimizing boundaries are non-generic with respect to C^3 metric perturbations on the sphere. This provides a generic regularity statement, showing that such singularities can be avoided or destroyed by small changes in the metric. The strategy employs standard GMT tools in a coherent way, and the Baire category assembly is a strength for obtaining dense sets of good metrics. Credit is due for the explicit perturbation construction based on the Jacobi operator.

major comments (1)

[Perturbation theorem] The surjectivity argument showing that the map from compactly supported metric variations to forcing terms in the linearized minimal-surface equation on C has dense range is load-bearing for the perturbation theorem. This step must be verified in detail as it enables the destruction of the compatibility conditions for the stable cone C.

minor comments (2)

The abstract provides a high-level outline; expanding on the precise statement of the perturbation theorem and the openness property in the introduction would aid readability.
[Extension to non-isolated singularities] The outline using Federer-Almgren dimension reduction is brief; a short paragraph sketching how the perturbation and openness extend to this case would be beneficial.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive feedback on the perturbation theorem. We address the major comment below and will incorporate the suggested expansion in the revised version.

read point-by-point responses

Referee: [Perturbation theorem] The surjectivity argument showing that the map from compactly supported metric variations to forcing terms in the linearized minimal-surface equation on C has dense range is load-bearing for the perturbation theorem. This step must be verified in detail as it enables the destruction of the compatibility conditions for the stable cone C.

Authors: We agree that this surjectivity is central to the perturbation construction, as it allows us to break the compatibility conditions arising from the kernel of the Jacobi operator via the Hardt-Simon expansion. The manuscript establishes the dense range by combining the discrete spectrum of the Jacobi operator on the link of C with the observation that compactly supported C^3 metric variations near the singularity can produce arbitrary smooth forcing terms in the linearized equation (via the variation formula for the second fundamental form). To make this fully detailed and self-contained as requested, we will expand the relevant subsection in the revision with explicit local coordinate computations, a precise statement of the range density in the appropriate weighted Sobolev space, and verification that the induced forcing terms are dense in the orthogonal complement to the kernel. This addresses the load-bearing nature of the step without altering the overall strategy. revision: yes

Circularity Check

0 steps flagged

No circularity; proof assembles external GMT tools without self-referential reduction

full rationale

The abstract describes a standard three-stage argument for a generic result: a perturbation theorem based on the Hardt-Simon expansion and Jacobi operator spectral theory (with a surjectivity claim on metric variations), openness via compactness and upper-semicontinuity of density, and a Baire-category intersection, plus a Federer-Almgren outline for non-isolated cases. All cited ingredients are independent external results in geometric measure theory, not derived from or reduced to quantities defined inside the paper. No equation or step is shown to equal its own input by construction, and no self-citation chain is invoked as load-bearing. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The proof relies on standard background results from geometric measure theory and analysis; no free parameters, new entities, or ad-hoc axioms are introduced beyond those already established in the cited tools.

axioms (3)

standard math Baire category theorem
Used to obtain the residual set G as the intersection of countably many open dense sets.
domain assumption Compactness of integral currents
Invoked to establish openness of the set of metrics without a prescribed cone type as tangent cone.
domain assumption Upper-semicontinuity of the density function
Applied in the openness argument for the set of good metrics.

pith-pipeline@v0.9.0 · 5531 in / 1353 out tokens · 29774 ms · 2026-05-10T16:37:41.149452+00:00 · methodology