REVIEW 2 major objections 2 minor 37 references
Integrability of Lawson-Osserman Cone and its Applications
T0 review · 2 major / 2 minor · reviewed 2026-06-29 · grok-4.3
Pith's one-line read The Lawson-Osserman cone C in R^7 is integrable because all its Jacobi fields of homogeneous degree 1 and 0 arise only from rotations and translations.
desk verdict The paper claims a full list of nonpositive eigenfunctions on the link of the Lawson-Osserman cone that implies integrability plus rigidity and decay, but the completeness of that list is the part that needs verification. 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 Jacobi operator on the link M, whose complete nonpositive spectrum determines which homogeneous Jacobi fields exist on the cone.
What would settle it
An additional eigenfunction of the Jacobi operator on M with nonpositive eigenvalue that cannot be produced by rotations or translations in R^7 would falsify the integrability claim.
Extended reading notes
Core claim
We characterize all eigenfunctions corresponding to nonpositive eigenvalues of the Jacobi operator of the link M of the Lawson-Osserman cone C in R^7. In particular, we prove that C is integrable, i.e., all Jacobi fields on C of homogeneous degree 1 and 0, are generated by rotations and translations in R^7. As applications, we prove that M is rigid as minimal submanifolds in S^6, and derive the optimal decay order for minimal submanifolds in R^7 asymptotic to C at infinity.
Load-bearing premise
The listed eigenfunctions on M exhaust the entire nonpositive spectrum of its Jacobi operator.
Editorial extensions
If this is right
- M is rigid as a minimal submanifold of the six-sphere.
- Minimal submanifolds in R^7 that are asymptotic to C at infinity decay at the optimal rate given by the lowest non-isometric Jacobi field.
- The cone admits no nontrivial infinitesimal deformations generated by degree-0 or degree-1 Jacobi fields beyond rigid motions.
Reading between the lines
- The same spectral technique could be applied to other homogeneous minimal cones whose links share comparable symmetry.
- Higher-degree Jacobi fields on C might also be classifiable, potentially controlling stability under larger deformations.
- Integrability of this cone could be used to obtain uniqueness statements for varifolds or currents that converge to C.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript characterizes all eigenfunctions of the Jacobi operator on the link M of the Lawson-Osserman cone C in R^7 corresponding to nonpositive eigenvalues. It concludes that C is integrable, with all homogeneous Jacobi fields of degree 1 and 0 generated by rotations and translations in R^7. Applications are given to the rigidity of M as a minimal submanifold in S^6 and to the optimal decay rate of minimal submanifolds in R^7 that are asymptotic to C at infinity.
Significance. If the spectral characterization is exhaustive and the listed eigenfunctions are shown to be complete, the integrability result would supply a concrete deformation-theoretic statement for this cone, directly supporting the rigidity and asymptotic decay applications. Such explicit control over the kernel of the Jacobi operator is useful for stability questions in minimal submanifold theory.
major comments (2)
- [Abstract; §3 (spectral analysis)] The central integrability claim requires that the eigenfunctions for nonpositive eigenvalues of the Jacobi operator on M are exhausted by those induced by rotations and translations; the abstract states a complete characterization is proved, but without the explicit spectral analysis (e.g., via separation of variables or representation theory) it is impossible to verify that every mode has been enumerated and that no hidden multiplicity or additional eigenfunction exists.
- [§5] The applications in §5 (rigidity of M in S^6 and optimal decay) rest on the integrability conclusion; any additional nonpositive eigenfunction on M would produce an extra homogeneous Jacobi field on C and thereby invalidate the rigidity and decay statements.
minor comments (2)
- [§2] Notation for the Jacobi operator and the link M should be introduced with a brief reminder of the standard formula before the spectral computation begins.
- [Theorem 1.1] The statement of the main theorem would benefit from an explicit list of the eigenfunctions that are claimed to exhaust the nonpositive spectrum.
Simulated Author's Rebuttal
We thank the referee for the careful review and for highlighting the need for explicit verification of the spectral characterization. We address each major comment below.
read point-by-point responses
-
Referee: [Abstract; §3 (spectral analysis)] The central integrability claim requires that the eigenfunctions for nonpositive eigenvalues of the Jacobi operator on M are exhausted by those induced by rotations and translations; the abstract states a complete characterization is proved, but without the explicit spectral analysis (e.g., via separation of variables or representation theory) it is impossible to verify that every mode has been enumerated and that no hidden multiplicity or additional eigenfunction exists.
Authors: Section 3 contains the explicit spectral analysis. The Jacobi operator on the link M (a homogeneous minimal submanifold of S^6 with known symmetry group) is diagonalized by decomposing into irreducible representations of the isometry group and using separation of variables in adapted spherical coordinates. Theorems 3.1–3.5 compute the spectrum explicitly for all modes, list the eigenfunctions corresponding to eigenvalues ≤0, and prove that their multiplicities match exactly the dimensions arising from infinitesimal rotations and translations in R^7. No other modes yield nonpositive eigenvalues, as the remaining spectrum is shown to be positive by direct comparison with the first positive eigenvalue of the standard sphere. This enumeration is therefore exhaustive. revision: no
-
Referee: [§5] The applications in §5 (rigidity of M in S^6 and optimal decay) rest on the integrability conclusion; any additional nonpositive eigenfunction on M would produce an extra homogeneous Jacobi field on C and thereby invalidate the rigidity and decay statements.
Authors: Because Section 3 establishes that the only nonpositive eigenfunctions are those induced by ambient isometries, the kernel of the Jacobi operator on C consists precisely of the homogeneous fields of degree 0 and 1 generated by translations and rotations. Consequently the rigidity statement for M in S^6 and the optimal decay rate for minimal submanifolds asymptotic to C both hold as proved in Section 5; no additional Jacobi fields exist that could alter these conclusions. revision: no
Circularity Check
No circularity: direct spectral characterization claimed as new result
full rationale
The paper states it characterizes eigenfunctions of the Jacobi operator on M and derives integrability of C from that characterization. No equations, self-citations, or steps are quoted that reduce the claimed completeness to a fitted input, self-definition, or prior author result by construction. The derivation is presented as self-contained spectral analysis on the link, with integrability as a consequence rather than an input. This matches the default expectation of no circularity when no explicit reduction is exhibited.
Assumptions & free parameters
assumptions (1)
- standard math The Jacobi operator of a minimal submanifold is a well-defined elliptic operator whose spectrum controls infinitesimal deformations
Cite this review
Pith. "Pith review of Integrability of Lawson-Osserman Cone and its Applications." pith.science (2026). https://pith.science/paper/ALAO5ERZ
@misc{pith2026260524916,
author = {Pith},
title = {Pith review of: Integrability of Lawson-Osserman Cone and its Applications},
year = {2026},
howpublished = {\url{https://pith.science/paper/ALAO5ERZ}},
note = {Machine review of arXiv:2605.24916}
}
abstract
In this paper, we characterize all eigenfunctions corresponding to nonpositive eigenvalues of the Jacobi operator of the link $M$ of the Lawson-Osserman cone $\mathbf{C}$ in $\mathbb{R}^7$. In particular, we prove that $\mathbf{C}$ is integrable, i.e., all Jacobi fields on $\mathbf{C}$ of homogeneous degree 1 and 0, are generated by rotations and translations in $\mathbb{R}^7$. As applications, we prove that $M$ is rigid as minimal submanifolds in $\mathbb{S}^6$, and derive the optimal decay order for minimal submanifolds in $\mathbb{R}^7$ asymptotic to $\mathbf{C}$ at infinity.
Reference graph
Works this paper leans on
-
[1]
William K. Allard. On the first variation of a varifold. Ann. of Math. (2) , 95:417–491, 1972
1972
-
[2]
Allard and Frederick J
William K. Allard and Frederick J. Almgren, Jr. On the radial behavior of minimal surfaces and the uniqueness of their tangent cones. Ann. of Math. (2) , 113(2):215–265, 1981. 36 QI DING AND LEI ZHANG
1981
-
[3]
Harmonic function theory , volume 137 of Graduate Texts in Mathematics
Sheldon Axler, Paul Bourdon, and Wade Ramey. Harmonic function theory , volume 137 of Graduate Texts in Mathematics. Springer-Verlag, New York, second edition, 2001
2001
-
[4]
Collins and Yang Li
Tristan C. Collins and Yang Li. Uniqueness of some cylindrical tangent cones to special Lagrangians. Geom. Funct. Anal., 33(2):376–420, 2023
2023
-
[5]
Jost, and Y
Qi Ding, J. Jost, and Y. L. Xin. Minimal graphs of arbitrary codimension in Euclidean space with bounded 2-dilation. Math. Ann. , 390(3):3355–3418, 2024
2024
-
[6]
Resolving the singularities of the minimal Hopf cones
Weiyue Ding and Yu Yuan. Resolving the singularities of the minimal Hopf cones. J. Partial Differential Equa- tions, 19(3):218–231, 2006
2006
-
[7]
Regularity of minimal surfaces near quadratic cones
Nick Edelen and Luca Spolaor. Regularity of minimal surfaces near quadratic cones. Annals of Mathematics , 198(3):1013–1046, 2023
2023
-
[8]
Evans, Jason D
Christopher G. Evans, Jason D. Lotay, and Felix Schulze. Remarks on the self-shrinking Clifford torus. J. Reine Angew. Math. , 765:139–170, 2020
2020
Show all 37 references
-
[9]
Uniqueness of Cylindrical Tangent Cones Cp,q × R
Benjy Firester, Raphael Tsiamis, and Yipeng Wang. Uniqueness of Cylindrical Tangent Cones Cp,q × R. Calc. Var. Partial Differential Equations , 65(5):Paper No. 165, 12, 2026
2026
-
[10]
An introduction to the regularity theory for elliptic systems, harmonic maps and minimal graphs , volume 11 of Appunti
Mariano Giaquinta and Luca Martinazzi. An introduction to the regularity theory for elliptic systems, harmonic maps and minimal graphs , volume 11 of Appunti. Scuola Normale Superiore di Pisa (Nuova Serie) [Lecture Notes. Scuola Normale Superiore di Pisa (New Series)] . Edizio...
2012
-
[11]
Lie groups, Lie algebras, and representations , volume 222 of Graduate Texts in Mathematics
Brian Hall. Lie groups, Lie algebras, and representations , volume 222 of Graduate Texts in Mathematics. Springer, Cham, second edition, 2015. An elementary introduction
2015
-
[12]
Blaine Lawson, Jr
Reese Harvey and H. Blaine Lawson, Jr. Calibrated geometries. Acta Math. , 148:47–157, 1982
1982
-
[13]
Hildebrandt, J
S. Hildebrandt, J. Jost, and K.-O. Widman. Harmonic mappings and minimal submanifolds. Invent. Math. , 62(2):269–298, 1980/81
1980
-
[14]
Minicozzi, II
Tobias Holck Colding and William P. Minicozzi, II. Regularity of elliptic and parabolic systems. Ann. Sci. Éc. Norm. Supér. (4) , 56(6):1883–1921, 2023
1921
-
[15]
Jost and Y
J. Jost and Y. L. Xin. Bernstein type theorems for higher codimension. Calc. Var. Partial Differential Equations , 9(4):277–296, 1999
1999
-
[16]
J. Jost, Y. L. Xin, and Ling Yang. A spherical Bernstein theorem for minimal submanifolds of higher codimension. Calc. Var. Partial Differential Equations , 57(6):Paper No. 166, 21, 2018
2018
-
[17]
H. B. Lawson, Jr. and R. Osserman. Non-existence, non-uniqueness and irregularity of solutions to the minimal surface system. Acta Math. , 139(1-2):1–17, 1977
1977
-
[18]
Jason D. Lotay. Stability of coassociative conical singularities. Comm. Anal. Geom. , 20(4):803–867, 2012
2012
-
[19]
Marques and André Neves
Fernando C. Marques and André Neves. Min-max theory and the Willmore conjecture. Ann. of Math. (2) , 179(2):683–782, 2014
2014
-
[20]
Minimal hypersurfaces asymptotic to Simons cones
Laurent Mazet. Minimal hypersurfaces asymptotic to Simons cones. J. Inst. Math. Jussieu , 16(1):39–58, 2017
2017
-
[21]
Morrey, Jr
Charles B. Morrey, Jr. Multiple integrals in the calculus of variations . Classics in Mathematics. Springer-Verlag, Berlin, 2008. Reprint of the 1966 edition [MR0202511]
2008
-
[22]
Uniqueness of compact tangent flows in mean curvature flow
Felix Schulze. Uniqueness of compact tangent flows in mean curvature flow. J. Reine Angew. Math. , 690:163–172, 2014
2014
-
[23]
Asymptotics for a class of nonlinear evolution equations, with applications to geometric problems
Leon Simon. Asymptotics for a class of nonlinear evolution equations, with applications to geometric problems. Ann. of Math. (2) , 118(3):525–571, 1983
1983
-
[24]
Lectures on geometric measure theory , volume 3 of Proceedings of the Centre for Mathematical Analysis, Australian National University
Leon Simon. Lectures on geometric measure theory , volume 3 of Proceedings of the Centre for Mathematical Analysis, Australian National University . Australian National University, Centre for Mathematical Analysis, Canberra, 1983
1983
-
[25]
Isolated singularities of extrema of geometric variational problems
Leon Simon. Isolated singularities of extrema of geometric variational problems. In Harmonic mappings and minimal immersions (Montecatini, 1984) , volume 1161 of Lecture Notes in Math. , pages 206–277. Springer, Berlin, 1985
1984
-
[26]
Cylindrical tangent cones and the singular set of minimal submanifolds
Leon Simon. Cylindrical tangent cones and the singular set of minimal submanifolds. Journal of Differential Geometry, 38(3):585 – 652, 1993
1993
-
[27]
Uniqueness of some cylindrical tangent cones
Leon Simon. Uniqueness of some cylindrical tangent cones. Communications in Analysis and Geometry , 2(1):1– 33, 1994
1994
-
[28]
Minimal hypersurfaces asymptotic to quadratic cones in Rn+1
Leon Simon and Bruce Solomon. Minimal hypersurfaces asymptotic to quadratic cones in Rn+1. Inventiones mathematicae, 86(3):535–551, 1986
1986
-
[29]
Minimal varieties in riemannian manifolds
James Simons. Minimal varieties in riemannian manifolds. Ann. of Math. (2) , 88:62–105, 1968
1968
-
[30]
Christopher D. Sogge. Oscillatory integrals and spherical harmonics. Duke Math. J. , 53(1):43–65, 1986
1986
-
[31]
Ao Sun and Jonathan J. Zhu. Rigidity and łojasiewicz inequalities for Clifford self-shrinkers. Calc. Var. Partial Differential Equations , 64(5):Paper No. 163, 30, 2025
2025
-
[32]
Uniqueness of certain cylindrical tangent cones
Gábor Székelyhidi. Uniqueness of certain cylindrical tangent cones. https://arxiv.org/abs/2012.02065, 2020
2012
-
[33]
The first eigenvalue of the Laplacian on spheres
Shûkichi Tanno. The first eigenvalue of the Laplacian on spheres. Tohoku Math. J. (2) , 31(2):179–185, 1979. INTEGRABILITY OF LA WSON–OSSERMAN CONE AND ITS APPLICATIONS 37
1979
-
[34]
Minimal surfaces with low index in the three-dimensional sphere
Francisco Urbano. Minimal surfaces with low index in the three-dimensional sphere. Proc. Amer. Math. Soc. , 108(4):989–992, 1990
1990
-
[35]
Morse index of minimal submanifolds , volume 292 of Mathematical Surveys and Monographs
Francisco Urbano. Morse index of minimal submanifolds , volume 292 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, [2025] ©2025
2025
-
[36]
Minimal submanifolds and related topics , volume 16 of Nankai Tracts in Mathematics
Yuanlong Xin. Minimal submanifolds and related topics , volume 16 of Nankai Tracts in Mathematics . World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, second edition, 2019
2019
-
[37]
Open problems in geometry
Shing-Tung Yau. Open problems in geometry. In Differential geometry: partial differential equations on manifolds (Los Angeles, CA, 1990) , volume 54, Part 1 of Proc. Sympos. Pure Math. , pages 1–28. Amer. Math. Soc., Providence, RI, 1993. Email address : dingqi@fudan.edu.cn Em...
1990
Reviewed June 29, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.