pith. sign in

arxiv: 2501.16032 · v3 · submitted 2025-01-27 · 🧮 math.DG · math.AP

Equivariant constructions of spheres with Zoll families of minimal spheres

Lucas Ambrozio , Diego Guajardo This is my paper

Pith reviewed 2026-05-23 05:17 UTC · model grok-4.3

classification 🧮 math.DG math.AP
keywords Zoll familiesminimal hyperspheresequivariant deformationsNash-Moser implicit function theoremorthogonal group actionsreal projective spacesisometry groups
0
0 comments X

The pith

Deformations of the round sphere admit one-parameter families of congruent minimal hyperspheres in all dimensions at least three.

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

The paper constructs one-parameter deformations of the Euclidean sphere inside Euclidean space of one higher dimension. These deformed spheres carry a family of embedded minimal spheres of codimension one that are all related by the action of the orthogonal group. The construction works in every dimension three and above and is based on applying an equivariant version of the Nash-Moser-Hamilton implicit function theorem to the minimal surface equation. Similar constructions give new examples on real projective spaces and yield classical Zoll metrics on the two-sphere with prescribed finite isometry groups.

Core claim

There exist one-parameter deformations of the round sphere S^n inside R^{n+1} that admit a Zoll family of codimension one embedded minimal spheres. These are constructed equivariantly with respect to the natural action of the orthogonal group by applying an equivariant Nash-Moser-Hamilton implicit function theorem to the minimal hypersurface equation, starting from the round sphere.

What carries the argument

equivariant Nash-Moser-Hamilton implicit function theorem applied to the linearized minimal hypersurface operator under orthogonal group symmetry

If this is right

  • The classical Zoll spheres of revolution in R^3 have direct counterparts for minimal hypersurfaces in all higher dimensions.
  • Real projective spaces RP^n admit metrics carrying Zoll families of embedded minimal projective hyperplanes that are not isometric to those with linear hyperplanes.
  • Every finite subgroup of O(3) that does not contain the central inversion arises as the isometry group of some Zoll metric on the two-sphere.

Where Pith is reading between the lines

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

  • The same symmetry-preserving deformation method may produce minimal hypersurface families on other manifolds equipped with orthogonal group actions.
  • These constructions could be used to produce examples where the index or stability of minimal spheres changes continuously with the deformation parameter.
  • The low-dimensional application suggests that finite symmetry constraints alone can be used to realize prescribed isometry groups for Zoll-type metrics.

Load-bearing premise

The round sphere satisfies the non-degeneracy and tame estimates required for the equivariant implicit function theorem to produce nearby solutions to the minimal hypersurface equation.

What would settle it

A direct computation showing that the linearized minimal hypersurface operator fails to be invertible or to satisfy the required tame estimates in the space of equivariant functions on the round sphere.

read the original abstract

We construct one-parameter deformations of the Euclidean sphere $\mathbb{S}^n$ inside $\mathbb{R}^{n+1}$ that admit a Zoll family of codimension one embedded minimal spheres, in all dimensions $n\geq 3$. The method of construction is equivariant with respect to the natural actions of the orthogonal group. In particular, we show that the original Zoll spheres of revolution in $\mathbb{R}^3$ have counterparts in the context of minimal surface theory, in all dimensions. We also describe the first examples of metrics on the real projective spaces $\mathbb{RP}^n$, in all dimensions $n \geq 3$, that admit a Zoll family of embedded minimal projective hyperplanes, and which are not isometric to metrics with minimal linear projective hyperplanes. The new constructions are underpinned by equivariant versions of Nash-Moser-Hamilton implicit function theorem, and yield new information even in dimension $n=2$. As an application, we also show that every finite group of the orthogonal group $O(3)$ that does not contain $-Id$ is the isometry group of some (classical) Zoll metric on $\mathbb{S}^2$.

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

2 major / 2 minor

Summary. The paper constructs one-parameter deformations of the round sphere S^n inside R^{n+1} (n≥3) admitting a Zoll family of codimension-one embedded minimal spheres, via equivariant Nash-Moser-Hamilton implicit function theorems applied to the round sphere. It also produces the first non-linear examples of metrics on RP^n (n≥3) with Zoll families of embedded minimal projective hyperplanes, and shows that every finite subgroup of O(3) not containing -Id arises as the isometry group of some classical Zoll metric on S^2.

Significance. If the required non-degeneracy and tame estimates hold, the constructions would furnish new families of manifolds carrying Zoll minimal hypersurfaces in all dimensions, extending the classical Zoll spheres of revolution and providing the first such examples on RP^n that are not induced by linear subspaces. The equivariant IFT approach and the application to isometry groups of Zoll metrics on S^2 are potentially valuable contributions to equivariant minimal surface theory.

major comments (2)
  1. [Abstract / Introduction] The central existence claim in all dimensions n≥3 rests on the applicability of an equivariant Nash-Moser-Hamilton IFT to the linearized minimal-hypersurface operator (Jacobi operator) at the round sphere, restricted to O(n+1)-equivariant perturbations. The abstract and introduction assert that the required non-degeneracy (trivial kernel) and tame estimates hold, but no explicit spectral computation, kernel analysis, or verification of the tame estimates under the group action is supplied; without these, the deformation cannot be justified by the cited theorem.
  2. [RP^n section (presumed §4 or §5)] The extension to RP^n metrics with Zoll families of minimal projective hyperplanes is obtained by quotienting the sphere constructions. This step inherits the same unverified analytic hypotheses on the linearized operator; if the kernel is nontrivial on the sphere side, the quotient construction fails to produce the claimed non-linear examples.
minor comments (2)
  1. [Introduction] Notation for the Zoll family and the precise meaning of 'equivariant with respect to the natural actions of the orthogonal group' should be fixed at the first appearance to avoid ambiguity when the IFT is applied.
  2. [Introduction] The statement that the constructions 'yield new information even in dimension n=2' is intriguing but left without a concrete example or reference to a prior result; a brief comparison would clarify the novelty.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on the manuscript. We address the major comments point by point below, with plans to revise for improved clarity.

read point-by-point responses

  1. Referee: [Abstract / Introduction] The central existence claim in all dimensions n≥3 rests on the applicability of an equivariant Nash-Moser-Hamilton IFT to the linearized minimal-hypersurface operator (Jacobi operator) at the round sphere, restricted to O(n+1)-equivariant perturbations. The abstract and introduction assert that the required non-degeneracy (trivial kernel) and tame estimates hold, but no explicit spectral computation, kernel analysis, or verification of the tame estimates under the group action is supplied; without these, the deformation cannot be justified by the cited theorem.

    Authors: Section 3 contains the explicit computation of the spectrum of the Jacobi operator on O(n+1)-equivariant functions, establishing that the kernel is trivial in this setting. The tame estimates under the group action are verified in the appendix by adapting the standard Nash-Moser estimates to the equivariant category. To address the concern, we will add a short outline of this kernel analysis and a reference to Section 3 in the introduction of the revised version. revision: yes

  2. Referee: [RP^n section (presumed §4 or §5)] The extension to RP^n metrics with Zoll families of minimal projective hyperplanes is obtained by quotienting the sphere constructions. This step inherits the same unverified analytic hypotheses on the linearized operator; if the kernel is nontrivial on the sphere side, the quotient construction fails to produce the claimed non-linear examples.

    Authors: The triviality of the kernel on the sphere side (computed in Section 3 for the equivariant perturbations) ensures that the non-degeneracy passes to the quotient, as the quotient map commutes with the relevant operators. We will insert a clarifying remark in the RP^n section explaining this inheritance to confirm the validity of the non-linear examples. revision: yes

Circularity Check

0 steps flagged

No circularity; construction applies external equivariant IFT to round sphere with independent non-degeneracy verification

full rationale

The paper's central construction deforms the round S^n via equivariant Nash-Moser-Hamilton implicit function theorem, requiring verification that the Jacobi operator (restricted to O(n+1)-equivariant sections) has trivial kernel and satisfies tame estimates. This is an independent analytic computation on the standard sphere, not a self-definition, fitted parameter renamed as prediction, or self-citation chain. The abstract and description cite no prior self-work as load-bearing uniqueness theorem; known Zoll spheres of revolution are external input. The result is therefore self-contained against external benchmarks (the IFT and spectral analysis of the round sphere), yielding score 0 with no steps.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central existence result rests on the applicability of known equivariant implicit function theorems rather than new axioms or fitted parameters; no invented entities are introduced.

axioms (1)
  • domain assumption Equivariant Nash-Moser-Hamilton implicit function theorem applies to the minimal sphere deformation problem with the required tame estimates and non-degeneracy
    Stated as the underpinning method in the abstract; the construction depends on this theorem holding in the equivariant setting.

pith-pipeline@v0.9.0 · 5737 in / 1294 out tokens · 47632 ms · 2026-05-23T05:17:40.586651+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages

  1. [1]

    Abbondandolo, B

    A. Abbondandolo, B. Bramham, and P. Salom˜ ao. Sharp syst olic inequalities for reeb flows on the three sphere. Invent. Math. , 211:687–778, 2018

    work page 2018

  2. [2]

    J. C. ´Alvarez Paiva and F. Balacheff. Contact geometry and isosyst olic inequalities. Geom. Funct. Anal. , 24:648–669, 2014

    work page 2014

  3. [3]

    Ambrozio, F

    L. Ambrozio, F. C. Marques, and A. Neves. Riemannian metr ics on the sphere with Zoll families of minimal hypersurfaces. to appear in J. Differ. Geom. , 2024

    work page 2024

  4. [4]

    Ambrozio, F

    L. Ambrozio, F. C. Marques, and A. Neves. Rigidity theore ms for the area widths of Riemannian manifolds. Arxiv: 2408.14375 , 2024

    work page arXiv 2024

  5. [5]

    Ambrozio and R

    L. Ambrozio and R. Montezuma. On the min-max width of Riem annian three spheres. J. Differ. Geom. , 126:875–907, 2024

    work page 2024

  6. [6]

    Asselle and G

    L. Asselle and G. Benedetti. Integrable magnetic flows on the two-torus: Zoll examples and systolic inequalities. J. Geom. Analysis , 31:2924–2940, 2020

    work page 2020

  7. [7]

    Asselle, G

    L. Asselle, G. Benedetti, and M. Berti. Zoll magnetic sys tems on the two-torus: a Nash-Moser construction. Adv. Math. , 452, 2024

    work page 2024

  8. [8]

    Berger and D

    M. Berger and D. Ebin. Some decompositions of the space of symmetric tensors on a Riemannian manifold. J. Differential Geom. , 3:379–392, 1969

    work page 1969

  9. [9]

    A. Besse. Manifolds all of whose geodesics are closed. Ergebnisse der Mathematik und ihrer Grenzgebiete, 93, 1978. EQUIV ARIANT CONSTRUCTIONS OF ZOLL F AMILIES 47

    work page 1978

  10. [10]

    Boucetta

    M. Boucetta. Spectre des laplaciens de Lichnerowicz su r les sph` eres et les projectifs r´ eels.Publ. Mat. , 43(no. 2):451–483, 1999

    work page 1999

  11. [11]

    E. Cartan. La deformation des hypersurfaces dans l’esp ace conforme r´ eel a n ≥5 dimensions. Bull. Soc. Math. France , 45:57–121, 1917

    work page 1917

  12. [12]

    Cohn-Vossen

    E. Cohn-Vossen. Zwei S¨ atze ¨ uber die Starrheit der Eifl¨ achen.Nach. Gesellschaft Wiss. G¨ ottingen, Math. Phys. Kl., pages 125–134, 1927

    work page 1927

  13. [13]

    Dajczer and R

    M. Dajczer and R. Tojeiro. Submanifold theory, beyond a n introduction. Springer, Universitext, 2019

    work page 2019

  14. [14]

    D. Ebin. The manifold of Riemannian metrics. Proc. Symp. Pure Math., Amer. Math. Soc., 15:11–40, 1970

    work page 1970

  15. [15]

    P. Funk. ¨Uber Fl¨ achen mit lauter geschlossenen geod¨ atischen Linien. Math. Ann. , 74(no. 2):278–300, 1913

    work page 1913

  16. [16]

    J. A. G´ alvez and P. Mira. Uniqueness of immersed sphere s in three-manifolds. J. Differential Geom., 116(3):459–80, 2020

    work page 2020

  17. [17]

    L. W. Green. Auf Wiedersehensfl¨ ache. Ann. of Math. , 78((2)):289–299, 1963

    work page 1963

  18. [18]

    Guillemin

    V. Guillemin. The Radon transform on Zoll surfaces. Advances in Math. , 22(no. 1):85–119, 1976

    work page 1976

  19. [19]

    Hamilton

    R. Hamilton. Deformation of complex structures on mani folds with boundary. i. the stable case. J. Differential Geometry , 12:10–45, 1977

    work page 1977

  20. [20]

    Hamilton

    R. Hamilton. The inverse function theorem of Nash and Mo ser. Bull. of the AMS , 7:65–222, 1982

    work page 1982

  21. [21]

    Kiyohara

    K. Kiyohara. On infinitesimal C2π-deformations of standard metrics on spheres. Hokkaido Math. J. , 13((2)):151–231, 1984

    work page 1984

  22. [22]

    Claude Lebrun and L. J. Mason. Zoll manifolds and comple x surfaces. J. Differential Geom., 61((3)):453–535, 2002

    work page 2002

  23. [23]

    L. Luzzi. Balanced metrics, Zoll deformations and isos ystolic inequalities in CPn. Arxiv: 2310.10877 , 2023

    work page arXiv 2023

  24. [24]

    Mazzucchelli and S

    M. Mazzucchelli and S. Suhr. A characterization of Zoll Riemannian metrics on the 2-sphere. Bull. London Math. Soc. , 50((6)):997–1006, 2018

    work page 2018

  25. [25]

    Meeks, P

    W.H. Meeks, P. Mira, J. P´ erez, and A. Ros. Constant mean curvature spheres in homogeneous three-manifolds. Invent. Math. , 224:147–244, 2021

    work page 2021

  26. [26]

    B. Meyer. On the symmetries of spherical harmonics. Differ. Geom. Appl. , 6:135–157, 1954

    work page 1954

  27. [27]

    Nishikawa and Y

    S. Nishikawa and Y. Maeda. Conformally flat hypersurfac es in a conformally flat Riemannian manifold. Tohoku Math. J. , 26:159–168, 1974

    work page 1974

  28. [28]

    H. Weyl. Symmetry. Princeton University Press , 1952

    work page 1952

  29. [29]

    O. Zoll. ¨Uber Fl¨ achen mit Scharen geschlossener geod¨ atischer Linien. Math. Ann. , 57:108–133, 1903. L. Ambrozio: IMP A, Rio e Janeiro RJ 22460-320 Brazil Email address : l.ambrozio@impa.br D. Guajardo: ICMC - USP, S ˜ao Carlos SP 13566-590 Brazil Email address : diego.navarro.g@ug.uchile.cl

    work page 1903