pith. sign in

arxiv: 2507.22373 · v1 · submitted 2025-07-30 · 🧮 math.DG · math.AP

Uniqueness of Cylindrical Tangent Cones C_(p,q) times mathbb{R}

Benjy Firester , Raphael Tsiamis , Yipeng Wang This is my paper

Pith reviewed 2026-05-19 03:25 UTC · model grok-4.3

classification 🧮 math.DG math.AP
keywords area-minimizing hypersurfacestangent conescylindrical conessingularity analysisminimal hypersurfacesgeometric measure theoryuniqueness of cones
0
0 comments X

The pith

The cylindrical tangent cone C(S² × S⁴) × ℝ is the unique one for area-minimizing hypersurfaces in ℝ⁹.

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

The paper proves that any tangent cone to an area-minimizing hypersurface in nine-dimensional Euclidean space must be exactly the cylindrical cone over the product of a two-sphere and a four-sphere times the real line. This finishes the full list of uniqueness statements for all cones of the form C_{p,q} × ℝ. A sympathetic reader cares because these cones describe the possible local shapes near singularities, which in turn control how smooth the hypersurface is almost everywhere. The argument invokes the area-minimizing condition to apply known monotonicity and regularity results that rule out all other candidates.

Core claim

We show the uniqueness of the cylindrical tangent cone C(S² × S⁴) × ℝ for area-minimizing hypersurfaces in ℝ⁹, completing the uniqueness of all tangent cones of the form C_{p,q} × ℝ proved by Simon for dimensions at least 10 and Székelyhidi for the Simons cone.

What carries the argument

The cylindrical tangent cone C(S² × S⁴) × ℝ, whose uniqueness follows from area-minimality forcing any other candidate to coincide with this model via monotonicity and regularity theory.

If this is right

  • Uniqueness now holds for every cylindrical tangent cone C_{p,q} × ℝ in the dimension where it can appear.
  • Singular points of area-minimizing hypersurfaces in ℝ⁹ have their possible tangent cones fully classified when the cone is cylindrical.
  • The result can be combined with existing theory to bound the dimension of the singular set in this setting.

Where Pith is reading between the lines

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

  • The same blow-up and comparison techniques might adapt to show uniqueness for non-cylindrical tangent cones in ℝ⁹.
  • Numerical minimization routines in nine dimensions could be run to check whether computed surfaces approach only this cone under rescaling.
  • The completed classification may help analyze stability of these cones under small perturbations of the ambient metric.

Load-bearing premise

The hypersurface is area-minimizing rather than merely stationary in Euclidean space.

What would settle it

An area-minimizing hypersurface in ℝ⁹ whose tangent cone at some point is a different cylinder C_{p,q} × ℝ with (p,q) not equal to (2,4) would falsify the uniqueness claim.

read the original abstract

We show the uniqueness of the cylindrical tangent cone $C(\mathbb{S}^2 \times \mathbb{S}^4) \times \mathbb{R}$ for area-minimizing hypersurfaces in $\mathbb{R}^9$, completing the uniqueness of all tangent cones of the form $C_{p,q} \times \mathbb{R}$ proved by Simon for dimensions at least 10 and Sz\'ekelyhidi for the Simons cone.

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.

Referee Report

1 major / 0 minor

Summary. The manuscript proves the uniqueness of the cylindrical tangent cone C(𝕊² × 𝕊⁴) × ℝ for area-minimizing hypersurfaces in ℝ⁹. This completes the uniqueness of all tangent cones of the form C_{p,q} × ℝ, extending Simon's results for dimensions at least 10 and Székelyhidi's result for the Simons cone.

Significance. If the result holds, it completes the classification of cylindrical tangent cones for area-minimizing hypersurfaces in this dimension, relying on monotonicity, regularity theory, and the area-minimizing assumption to force coincidence with the given cone. This fills a specific gap in the existing literature on tangent cone uniqueness.

major comments (1)
  1. [uniqueness proof] The uniqueness argument requires a strictly positive first eigenvalue for the Jacobi operator on the link 𝕊² × 𝕊⁴ (to exclude nontrivial Jacobi fields and ensure no other stationary cone shares the same density). The manuscript invokes existing regularity and monotonicity results but provides neither an explicit computation of this spectral gap (e.g., via separation of variables or spherical harmonics on the product) nor a citation confirming the gap in this dimension. This step is load-bearing for the central claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying this important technical point in the uniqueness argument. We address the comment below and will incorporate the necessary clarification in the revised version.

read point-by-point responses

  1. Referee: [uniqueness proof] The uniqueness argument requires a strictly positive first eigenvalue for the Jacobi operator on the link 𝕊² × 𝕊⁴ (to exclude nontrivial Jacobi fields and ensure no other stationary cone shares the same density). The manuscript invokes existing regularity and monotonicity results but provides neither an explicit computation of this spectral gap (e.g., via separation of variables or spherical harmonics on the product) nor a citation confirming the gap in this dimension. This step is load-bearing for the central claim.

    Authors: We agree that the strict positivity of the first eigenvalue of the Jacobi operator on the link S² × S⁴ is essential to the uniqueness proof, as it rules out nontrivial Jacobi fields and ensures the cone is isolated in the space of stationary varifolds with the same density. Our argument applies the general regularity and monotonicity theory developed by Simon and others, but we acknowledge that the manuscript does not contain an explicit verification or reference for the spectral gap in this specific dimension. In the revision we will add a short subsection (or appendix) that computes the first eigenvalue via separation of variables, using the known spectra of the Laplacian on S² and on S⁴ together with the standard formula for the Jacobi operator on a minimal cone. This computation confirms that the eigenvalue is strictly positive, consistent with the stability of these cylindrical cones. We believe the addition will make the proof self-contained and fully address the referee’s concern. revision: yes

Circularity Check

0 steps flagged

No circularity: uniqueness derived from external regularity theory

full rationale

The manuscript proves uniqueness of the tangent cone C(S² × S⁴) × ℝ for area-minimizing hypersurfaces in ℝ⁹ by completing the classification begun in Simon's work for dimensions ≥10 and Székelyhidi's treatment of the Simons cone. The argument proceeds via standard blow-up, monotonicity formula, and stability inequality applied to the link S² × S⁴, invoking pre-existing regularity results rather than any self-referential definition, fitted parameter renamed as prediction, or load-bearing self-citation. No equation or claim in the paper reduces by construction to its own inputs; the spectral gap on the Jacobi operator is treated as supplied by the cited external theory. The derivation is therefore self-contained against independent benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result relies on the established framework of geometric measure theory for area-minimizing hypersurfaces; no new free parameters or invented entities appear in the abstract.

axioms (1)
  • domain assumption Standard axioms and regularity theory of area-minimizing hypersurfaces in Euclidean space (geometric measure theory).
    The uniqueness argument invokes minimality to apply monotonicity formulas and tangent-cone analysis developed in prior literature.

pith-pipeline@v0.9.0 · 5601 in / 1253 out tokens · 50817 ms · 2026-05-19T03:25:31.358936+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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.

  1. Special Lagrangians with Cylindrical Tangent Cones

    math.DG 2026-04 unverdicted novelty 6.0

    New special Lagrangian submanifolds are constructed near the origin in C^{n+1} with isolated singularities, cylindrical tangent cones C times R, and connectivity of Y minus the origin that differs from the cone.

Reference graph

Works this paper leans on

1 extracted references · 1 canonical work pages · cited by 1 Pith paper

  1. [1]

    [AA81] W. K. Allard and F. J. Almgren. On the radial behavior of minimal surfaces and the uniqueness of their tangent cones. Ann. of Math. (2) 113 (2):215–265, 1981. [Dav04] A. Davini. On calibrations for Lawson’s cones. Rend. Sem. Mat. Univ. Padova 111:55–70, 2004. [HS85] R. Hardt and L. Simon. Area minimizing hypersurfaces with isolated singularities. J...

    work page arXiv 1981