On Zoll Contact 5-Spheres

Julian Chaidez; Shira Tanny

REVIEW 2 major objections 4 minor 30 references

On Zoll Contact 5-Spheres

T0 review · 2 major / 4 minor · reviewed 2026-08-04 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Every Zoll contact form on the standard contact 5-sphere is strictly contactomorphic to a scaling of the standard Zoll contact form.

desk verdict This paper settles the first open higher-dimensional case of Zoll contact sphere rigidity, and its main theorem is a genuine advance; the proof is coherent and worth serious referee time, with the main caveat being a load-bearing index bound imported from the authors' earlier paper. read the letter →

arxiv 2509.09639 v1 pith:MNFC7ZGI submitted 2025-09-11 math.SG

Julian Chaidez , Shira Tanny This is my paper · ORCID

classification math.SG MSC 53D1053D3553D4257R17

keywords ZollcontactformReebflow5-sphereBoothby-WangquotientfakesymplecticprojectiveplanehomologySeiberg-Witteninvariantssystolicratio

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves a rigidity theorem: on the standard contact 5-sphere, any contact form whose Reeb flow is Zoll—every point lies on a closed Reeb orbit of the same minimal period—must be strictly contactomorphic to a scaling of the standard Zoll contact form. This resolves the first open case of Zoll rigidity for contact spheres after the known three-dimensional result. The proof uses the symplectic quotient construction, contact homology, and Seiberg–Witten invariants to show that the quotient must be the standard projective plane. As consequences, the standard boundary of a ball in C^3 is a unique local maximizer of the systolic ratio and is characterized by equality of the zeroth and second Gutt–Hutchings capacities.

What carries the argument

The central device is the symplectic quotient of a Zoll contact sphere: the Reeb flow gives an S^1-bundle over a symplectic 4-manifold with the homology of CP^2, and two Zoll forms are strictly contactomorphic exactly when their quotients are symplectomorphic. Contact homology then rules out the negative first Chern class (c1 = −3[Ω]), while Seiberg–Witten theory forces the positive case (c1 = 3[Ω]) to be symplectomorphic to the standard projective plane.

What would settle it

Construct a Zoll contact form on the standard contact S^5 whose symplectic quotient has first Chern class −3[Ω] (equivalently, a fake symplectic projective plane with c1 = −3[Ω]); or directly exhibit a Zoll contact form on S^5 not strictly contactomorphic to a scaling of the standard form. A cheaper check is to verify the index-comparison lemma cited in the paper's reference [7] under the exact hypotheses used in Proposition 3.3.

Watch

Extended reading notes

Core claim

Every Zoll contact form on the standard contact 5-sphere is strictly contactomorphic to a scaling of the standard Zoll contact form induced by the inclusion S^5 ⊂ C^3. This is the first affirmative answer to Zoll rigidity for contact spheres beyond dimension three.

Load-bearing premise

The proof relies on a cited index-comparison lemma that bounds the Conley–Zehnder index of any orbit of a nondegenerate perturbation near a Zoll form by the Robbin–Salamon index of the corresponding Zoll orbit plus n; if that bound fails or has a different constant, the exclusion of the Chern class −3[Ω] collapses.

Editorial extensions

If this is right

There are no exotic Zoll contact structures on the standard contact 5-sphere: every Zoll Reeb flow is strictly contactomorphic to the standard one up to scaling.
The boundary of a smooth star-shaped domain in C^3 locally maximizes the systolic ratio if and only if it is strictly contactomorphic to a scaling of the standard ball boundary.
For smooth convex domains in C^3, equality of the Gutt–Hutchings capacities c_0(X) = c_2(X) characterizes the standard ball boundary.
The main theorem extends to any contact 5-manifold homeomorphic to S^5 whose contact structure is not CH-negative, a condition defined via the grading of contact homology.
A Zoll contact form on a CH-negative contact 5-sphere would correspond exactly to a fake symplectic projective plane with c1 = −3[Ω], tying a failure of the theorem to the existence of an exotic smooth structure on a symplectic CP^2.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The same quotient-plus-Chern-class argument may extend to higher-dimensional contact spheres if a higher-dimensional analogue of the 4-manifold classification is developed; dimension five is special because the signature formula pins the Chern class to ±3[Ω].
The CH-negative condition is testable in principle: computing the full contact homology of an explicit Zoll contact 5-sphere would settle whether non-standard Zoll forms can exist.
The imported index-comparison lemma is the most economical point for an independent check; a small change in its constant would affect the exclusion of c1 = −3[Ω] and potentially open the door to counterexamples.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Quick take: this is a real advance. It resolves the first non-three-dimensional case of an explicitly open rigidity problem: every Zoll contact form on the standard contact 5-sphere is strictly contactomorphic to a scaling of the standard one. The paper is compact, honest, and the high-level strategy is sound.

What's new: the contact-homology bound on the Chern class of the quotient, Proposition 3.3, is the new input that makes higher dimensions tractable. The rest of the proof is a clean assembly of known tools: quotient by the Reeb flow, exclude c1 = -3[Ω] with contact homology, then invoke the four-dimensional monotone classification of Liu/Ohta-Ono. The self-contained Seiberg-Witten proof of that classification is a useful service for readers; it is not novel but it is correct and well written.

The corollaries follow correctly from the main theorem plus prior work: the local systolic maximizer statement from Abbondandolo-Benedetti, and the capacity characterization from Ginzburg-Gürel-Mazzucchelli. I have no substantive objection there.

Where I would want care: Proposition 3.3 rests on the inequality CZ_D(η) ≤ RS_D(γ)+n, imported as 'cf. Lemma 4.7 in [7]' without stating hypotheses or constants. This is the natural verification point. The stress-test worry about a larger constant is speculative—if the lemma says what the text claims, then in the relevant range RS+n ≤ 0 and the grading contradiction goes through. But the manuscript itself does not let the reader check the constant, and the lemma is from the authors' own earlier paper. Since [7] is peer-reviewed, this is not circular or improper, but I would ask the authors to quote the lemma explicitly in a revised version. Similarly, the standard-sphere contact homology computation is cited from [7]; again likely fine, but a black box.

Minor: the passage from action-filtered contact homology to full contact homology is compressed, though plausible. I found no internal contradiction and no fabricated entities.

Bottom line: this deserves a serious referee, not a desk rejection. I would send it out and let the referee verify [7, Lem 4.7] and the grading conventions. For anyone working on Zoll Reeb flows or quantitative symplectic topology, this is a must-read.

Referee Report

2 major / 4 minor

Summary. The paper proves that every Zoll contact form on the standard contact 5-sphere S^5 is strictly contactomorphic to a scaling of the standard Zoll contact form induced by S^5 ⊂ C^3. The proof passes to the Boothby–Wang symplectic quotient X, a fake symplectic projective plane, and shows that under the standard contact structure the first Chern class cannot be −3[Ω] (Proposition 3.1), using contact homology and a Conley–Zehnder/Robbin–Salamon index bound. It then proves that a fake symplectic projective plane with c1 = 3[Ω] is symplectomorphic to (CP^2, Ω_FS) via Seiberg–Witten invariants and Gromov's theorem. Corollaries give a local systolic maximizer characterization and a Gutt–Hutchings capacity characterization of the standard boundary in C^3.

Significance. If correct, this is a substantial advance: it answers the next open case (dimension 5) of Zoll contact rigidity after the three-dimensional result, and yields sharp geometric characterizations of the standard contact sphere. The paper has a clear and coherent structure: symplectic quotient, contact-homology grading obstruction, and a self-contained Seiberg–Witten/Gromov classification of fake projective planes. The main risk is the reliance on a load-bearing index-comparison lemma imported from the authors' previous paper [7] without a proof or precise statement. The computational and topological arguments in the present paper are otherwise well organized and the four-dimensional classification part is largely self-contained.

major comments (2)

[Section 3, proof of Proposition 3.3] The inequality CZ_D(η) ≤ RS_D(γ)+n, imported as 'cf. Lemma 4.7 in [7]', is the only step that prevents positive gradings in the filtered contact homology, and therefore it is exactly what excludes c1 = −3[Ω] and drives Theorem 2. The manuscript does not state the lemma's hypotheses, the precise class of perturbations, or the proof; it gives only a one-sentence gloss. This is a load-bearing external dependency, and because [7] is the authors' own previous paper, the reader cannot independently verify the constant. If the correct constant were larger than n, the contradiction in Proposition 3.3 would collapse. Please include a full statement of Lemma 4.7 from [7] with all hypotheses and constants, or provide a proof/derivation in an appendix.
[Section 3, proof of Proposition 3.3, final paragraph] The passage from the index bound for each nondegenerate perturbation α_i to the assertion that the action-filtered group CH^L(Y,α) has no positive grading is only sketched ('by taking i→∞'). Since α is Zoll and hence degenerate, the filtered contact homology for α is not literally the filtered complex of a nondegenerate form; the limiting/continuation argument needs to be made explicit or a precise statement in Pardon [23, §1.8] should be quoted. This is needed to justify the contradiction with the existence of a positively graded element in CH(Y,ξ).

minor comments (4)

[Section 3, proof of Proposition 3.3] The displayed chain 'RS_D(γ)+n ≤ −2n+2' is arithmetically inconsistent with the preceding RS_D(γ) ≤ −2(n−1); it should be RS_D(γ)+n ≤ −n+2. The conclusion |η|≤0 still follows after this correction.
[Section 2, Lemma 2.1 proof] The notation 'Φ = F ∘ rΨ: Y → Y' appears to have a typo: the map should be from Y to Z, and the function F should be defined using the Reeb flow on the appropriate manifold (or the composition reordered). Please fix the notation.
[Section 3, Remark 3.2] The grading convention is said to differ from that of [7], but the exact shift is not given. Since the index bound is imported from [7], stating the precise grading conversion would help the reader compare the constants.
[Section 2, equations (2.1)–(2.2)] The normalization of Ω ensures that [Ω] generates H^2(X;Z) in the sphere case (Lemma 2.3), but the orientation convention used in ⟨[Ω], PD[Ω]⟩ = 1 in Proposition 3.3 is not explicitly stated. A brief orientation/clarification would avoid ambiguity.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the proof is a chain of independent external results plus in-paper lemmas.

full rationale

The derivation chain is self-contained in the relevant sense: Lemma 2.1 and Lemma 2.3 are proved in-paper from the Boothby–Wang quotient and Gysin/homotopy sequences; Lemma 3.4 is proved in-paper; Theorem 4.1 is proved in-paper using Seiberg–Witten invariants, Taubes' symplectic surface theorem, and Gromov's classification, with the Liu/Ohta–Ono results cited as background rather than as a substitute for the proof. The main external input from the authors' own prior work is the Conley–Zehnder/Robbin–Salamon comparison CZ ≤ RS + n, cited as '[7, Lem 4.7]' in the proof of Proposition 3.3. That lemma is a standalone estimate about non-degenerate perturbations of a symplectic matrix; its hypotheses do not include the target Zoll-rigidity conclusion, and it is not a fitted parameter or a renamed version of the theorem. Even if its constant or hypotheses were incorrect, that would be a correctness or verification risk, not circularity. The contact homology computation of the standard sphere is also cited from [7], but it is a standard calculation and is used only to supply a positively graded element, not to force the conclusion. No equation in the paper is defined in terms of the quantity it is used to predict, and no prediction is statistically or structurally forced by a prior fit. Therefore no circular step is present.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No fitted constants or ad hoc parameters appear. The proof is a chain of established theorems from symplectic topology, gauge theory, and pseudoholomorphic curve theory. The only author-overlap input is [7], used as a published black-box lemma; this is disclosed but should be independently checked.

assumptions (6)

domain assumption Pardon's construction of contact homology with virtual fundamental cycles is well-defined, invariant, and has a complete action filtration.
Used throughout Section 3 to compare filtered and full contact homology; cited to [23].
domain assumption The Conley-Zehnder/Robbin-Salamon comparison bound CZ(psi) <= RS(phi)+n holds for nondegenerate psi near a symplectic matrix phi.
Imported as Lemma 4.7 of [7] in the proof of Proposition 3.3; it is the key step excluding c1 = -3[Omega].
domain assumption The contact homology of the standard contact sphere is Sym[x_k] with |x_k| = 2n-2+2k.
Cited to [7, Lem 2.7]; provides the positively graded element used for the contradiction in Proposition 3.3.
domain assumption Seiberg-Witten invariants satisfy the conjugation property, index vanishing, the Li-Liu wall crossing formula, and Taubes's symplectic surface theorem.
The proof of Theorem 4.1 in Section 4 relies on these properties, cited to [24], [16], and [25].
domain assumption Gromov's theorem: a closed symplectic 4-manifold with the homology of CP^2 containing a symplectic sphere of self-intersection one is symplectomorphic to (CP^2, Omega_FS).
Used as Theorem 4.9 at the end of Section 4.
standard math Hirzebruch signature formula for almost complex 4-manifolds.
Used in equation (4.1) to derive c1^2 = 9 and hence c1 = +/-3[Omega].

how reviews work

0 comments

Cite this review

Pith. "Pith review of On Zoll Contact 5-Spheres." pith.science (2026). https://pith.science/paper/MNFC7ZGI

@misc{pith2026250909639,
  author       = {Pith},
  title        = {Pith review of: On Zoll Contact 5-Spheres},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MNFC7ZGI}},
  note         = {Machine review of arXiv:2509.09639}
}

read the original abstract

We prove that any contact form on the standard contact 5-sphere with Zoll Reeb flow is strictly contactomorphic to a scaling of the standard Zoll contact form.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 2 linked inside Pith

[7]

Contact homology and higher dimensional closing lemmas.Journal of Modern Dynamics, 20:67–153, 2024

Julian Chaidez, Ipsita Datta, Rohil Prasad, and Shira Tanny. Contact homology and higher dimensional closing lemmas.Journal of Modern Dynamics, 20:67–153, 2024

2024
[1]

On the local systolic optimality of Zoll contact forms.Geometric and Functional Analysis, 33(2):299–363, 2023

Alberto Abbondandolo and Gabriele Benedetti. On the local systolic optimality of Zoll contact forms.Geometric and Functional Analysis, 33(2):299–363, 2023

2023
[2]

Symplectic capacities of domains close to the ball and Banach–Mazur geodesics in the space of contact forms.Duke, 174(8):1567–1646, 2025

Alberto Abbondandolo, Gabriele Benedetti, and Oliver Edtmair. Symplectic capacities of domains close to the ball and Banach–Mazur geodesics in the space of contact forms.Duke, 174(8):1567–1646, 2025

2025
[3]

Sharp systolic inequalities for Reeb flows on the three-sphere.Inventiones mathematicae, 211(2):687–778, 2018

Alberto Abbondandolo, Barney Bramham, Umberto L Hryniewicz, and Pedro AS Salomão. Sharp systolic inequalities for Reeb flows on the three-sphere.Inventiones mathematicae, 211(2):687–778, 2018

2018
[4]

GabrieleBenedettiandJungsooKang.Alocalcontactsystolicinequalityindimensionthree.JEMS,23(3):721–764
[5]

Springer Science & Business Media, 1978

Arthur L Besse.Manifolds all of whose geodesics are closed, volume 93. Springer Science & Business Media, 1978

1978
[6]

On contact manifolds.Annals of Mathematics, 68(3):721–734, 1958

William M Boothby and Hsieu-Chung Wang. On contact manifolds.Annals of Mathematics, 68(3):721–734, 1958

1958
[8]

YakovEliashberg,AGlvental,andHelmutHofer.Introductiontosymplecticfieldtheory.VisionsinMathematics: GAFA 2000 Special Volume, Part II, pages 560–673, 2010

2000

Show all 30 references

[9]

On the spectral characterization of Besse and Zoll Reeb flows.Annales de l’Institut Henri Poincaré C, 38(3):549–576, 2021

Viktor L Ginzburg, Başak Z Gürel, and Marco Mazzucchelli. On the spectral characterization of Besse and Zoll Reeb flows.Annales de l’Institut Henri Poincaré C, 38(3):549–576, 2021

2021
[10]

AMS, 2023

Robert Gompf and András I Stipsicz.4-manifolds and Kirby calculus, volume 20. AMS, 2023

2023
[11]

Pseudoholomorphic curves in symplectic manifolds.Invent

Mikhael Gromov. Pseudoholomorphic curves in symplectic manifolds.Invent. math., 82(2):307–347, 1985

1985
[12]

The Radon transform on Zoll surfaces.Advances in Mathematics, 22(1):85–119, 1976

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

1976
[13]

J.Gutt.GeneralizedConley-Zehnderindex.InAnn.Fac.Toulouse: Mathématiques,volume23,pages907–932,2014

2014
[14]

Symplectic capacities from positive𝑆1–equivariant symplectic homology

Jean Gutt and Michael Hutchings. Symplectic capacities from positive𝑆1–equivariant symplectic homology. Algebraic & geometric topology, 18(6):3537–3600, 2018

2018
[15]

The equivalence of Ekeland-Hofer and equivariant symplectic homology capacities.arXiv:2412.09555, 2024

Jean Gutt and Vinicius GB Ramos. The equivalence of Ekeland-Hofer and equivariant symplectic homology capacities.arXiv:2412.09555, 2024

2024 arXiv
[16]

General wall crossing formula.Mathematical Research Letters, 2:797–810, 1995

Tian-Jun Li and A Liu. General wall crossing formula.Mathematical Research Letters, 2:797–810, 1995

1995
[17]

Some new applications of general wall crossing formula, Gompf’s conjecture and its applications

Ai-Ko Liu. Some new applications of general wall crossing formula, Gompf’s conjecture and its applications. Mathematical Research Letters, 3(5):569–585, 1996

1996
[18]

The isospectral problem for p-widths: An application of Zoll metrics.arXiv:2405.19719, 2024

Jared Marx-Kuo. The isospectral problem for p-widths: An application of Zoll metrics.arXiv:2405.19719, 2024

2024 arXiv
[19]

On the structure of besse convex contact spheres.Transactions of the AMS, 376(03):2125–2153, 2023

Marco Mazzucchelli and Marco Radeschi. On the structure of besse convex contact spheres.Transactions of the AMS, 376(03):2125–2153, 2023

2023
[20]

Oxford University Press, 2017

Dusa McDuff and Dietmar Salamon.Introduction to symplectic topology. Oxford University Press, 2017

2017
[21]

Symplectic 4-manifolds with b 2+= 1.Geometry and Physics, pages 237–244, 2021

Hiroshi Ohta and Kaoru Ono. Symplectic 4-manifolds with b 2+= 1.Geometry and Physics, pages 237–244, 2021

2021
[22]

JCÁlvarezPaivaandFlorentBalacheff.Contactgeometryandisosystolicinequalities.GAFA,24(2):648–669,2014

2014
[23]

Contact homology and virtual fundamental cycles.JAMS, 32(3):825–919, 2019

John Pardon. Contact homology and virtual fundamental cycles.JAMS, 32(3):825–919, 2019

2019
[24]

ETH, 2000

Dietmar Salamon.Spin Geometry and Sieberg-Witten Invariants. ETH, 2000

2000
[25]

Clifford Henry Taubes.Grù ñSW: from pseudo-holomorphic curves to seiberg-witten solutions.Journal of Differential Geometry, 51(2):203–334, 1999

1999
[26]

Seiberg-Witten and Gromov invariants

Clifford Henry Taubes. Seiberg-Witten and Gromov invariants. InGeometry and physics. CRC Press, 2021

2021
[27]

On the volume of manifolds all of whose geodesics are closed.JDG, 9(4):513–517, 1974

Alan Weinstein. On the volume of manifolds all of whose geodesics are closed.JDG, 9(4):513–517, 1974

1974
[28]

Symplectic v-manifolds, periodic orbits of Hamiltonian systems, and the volume of certain Riemannian manifolds.Communications on Pure and Applied Mathematics, 30(2):265–271, 1977

Alan Weinstein. Symplectic v-manifolds, periodic orbits of Hamiltonian systems, and the volume of certain Riemannian manifolds.Communications on Pure and Applied Mathematics, 30(2):265–271, 1977

1977
[29]

Fine structure of Zoll spectra.journal of functional analysis, 143(2):415–460, 1997

Steve Zelditch. Fine structure of Zoll spectra.journal of functional analysis, 143(2):415–460, 1997

1997
[30]

Dieterich, 1901

Otto Zoll.Ueber flächen mit scharen von geschlossenen geodätischen linien. Dieterich, 1901. Department of Mathematics, University of Southern California, Los Angeles, CA, 90007, USA Email address:julian.chaidez@usc.edu Department of Mathematics, Weizmann Institute of Science, ...

1901

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.

[1] [7]

Contact homology and higher dimensional closing lemmas.Journal of Modern Dynamics, 20:67–153, 2024

Julian Chaidez, Ipsita Datta, Rohil Prasad, and Shira Tanny. Contact homology and higher dimensional closing lemmas.Journal of Modern Dynamics, 20:67–153, 2024

2024

[2] [1]

On the local systolic optimality of Zoll contact forms.Geometric and Functional Analysis, 33(2):299–363, 2023

Alberto Abbondandolo and Gabriele Benedetti. On the local systolic optimality of Zoll contact forms.Geometric and Functional Analysis, 33(2):299–363, 2023

2023

[3] [2]

Symplectic capacities of domains close to the ball and Banach–Mazur geodesics in the space of contact forms.Duke, 174(8):1567–1646, 2025

Alberto Abbondandolo, Gabriele Benedetti, and Oliver Edtmair. Symplectic capacities of domains close to the ball and Banach–Mazur geodesics in the space of contact forms.Duke, 174(8):1567–1646, 2025

2025

[4] [3]

Sharp systolic inequalities for Reeb flows on the three-sphere.Inventiones mathematicae, 211(2):687–778, 2018

Alberto Abbondandolo, Barney Bramham, Umberto L Hryniewicz, and Pedro AS Salomão. Sharp systolic inequalities for Reeb flows on the three-sphere.Inventiones mathematicae, 211(2):687–778, 2018

2018

[5] [4]

GabrieleBenedettiandJungsooKang.Alocalcontactsystolicinequalityindimensionthree.JEMS,23(3):721–764

[6] [5]

Springer Science & Business Media, 1978

Arthur L Besse.Manifolds all of whose geodesics are closed, volume 93. Springer Science & Business Media, 1978

1978

[7] [6]

On contact manifolds.Annals of Mathematics, 68(3):721–734, 1958

William M Boothby and Hsieu-Chung Wang. On contact manifolds.Annals of Mathematics, 68(3):721–734, 1958

1958

[8] [8]

YakovEliashberg,AGlvental,andHelmutHofer.Introductiontosymplecticfieldtheory.VisionsinMathematics: GAFA 2000 Special Volume, Part II, pages 560–673, 2010

2000