Pith. sign in

REVIEW 2 major objections 5 minor 50 references

Resonances and string point invertibility for compact rank one symmetric spaces

T0 review · 2 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read For compact rank one symmetric spaces, string point invertibility over a field of characteristic p holds exactly when p equals the Euler characteristic, and the same condition yields uniform resonance bounds on critical levels of loop homology classes.

desk verdict A substantial, likely correct extension of Hingston-Rademacher resonance and string point invertibility to CROSS, held back mainly by an unproved foundational BV structure theorem. read the letter →

arxiv 2608.04691 v1 pith:JWLIPD2E submitted 2026-08-05 math.SG math.AT

Kai Cieliebak , Alexandru Oancea , Egor Shelukhin This is my paper · ORCID
classification math.SGmath.AT
keywords compactranksymmetricconditionhomologylooppointspaces
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

This paper studies loop spaces, the sets of all maps from a circle into a manifold. Loop spaces carry algebraic operations called string topology, including a multiplication and a Batalin-Vilkovisky (BV) operator, and these operations encode information about closed geodesics. The authors work out these operations completely for the projective spaces CP^n, HP^n and OP^2, and for the 2-sphere, over every coefficient field.

A key property they test is string point invertibility, which asks whether the fundamental class of the manifold can be built from the point class by repeatedly taking string brackets with other loop classes. They prove this happens exactly when the field has characteristic equal to the Euler characteristic of the manifold, so for CP^2 the characteristic must be 3. This is a homological analogue of a notion from symplectic geometry, and it connects to Viterbo's conjecture on spectral norms of Lagrangians, though those spectral consequences were already known by other methods.

The main new geometric outputs are two theorems about closed geodesics. The resonance theorem says that for any Finsler metric on such a space, the critical length of a loop homology class is, up to a bounded error, a fixed constant times the degree of the class. The density theorem says that the total reciprocal of the average indices of simple closed geodesics whose mean frequency is near a global constant must be at least 1/(n+i-2). These generalize results of Hingston and Rademacher from spheres to the projective spaces, and they also cover the 2-sphere with odd characteristic, which was previously open.

Extended reading notes

Core claim

Theorem 5.3 (Theorem A): for M one of CP^d, HP^d, or OP^2, M is string point invertible over a field of characteristic p if and only if p equals the Euler characteristic chi(M)=d+1. Under exactly these assumptions, Theorems 6.7 and 7.1 establish resonance inequalities |lambda deg(X)-Cr(X)| <= C for all nonzero loop homology classes X, and the density bound sum_{gamma in S_epsilon} 1/hat i(gamma) >= 1/(n+i-2) for closed Reeb orbits with mean frequency near the global mean.

Load-bearing premise

The existence of a twisted BV algebra structure on Rabinowitz loop homology with coefficients in any BV local system, stated as Theorem 2.3 with its proof omitted because it is said to differ only superficially from Abouzaid's construction. All BV operator formulas, the 7-term relation, and the decreasing induction over negative powers of the Uebele class in Theorems 4.9-4.13 depend on this structure; a failure of the twisted 7-term relation, especially in the presence of the spin local system eta, would invalidate the computations underlying all three main theorems.

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.

Referee Report

2 major / 5 minor

Summary. The paper computes the Batalin-Vilkovisky (BV) algebra structures on Rabinowitz loop homology, loop homology, and loop cohomology for the compact rank one symmetric spaces CP^d, HP^d, OP^2, and S^2, with arbitrary field coefficients. Building on these computations and on Uebele's theorem, it characterizes string point invertibility for these spaces (Theorem A), proves resonance inequalities for critical levels with respect to arbitrary Reeb flows on unit cotangent bundles (Theorems 6.7 and 6.8), and establishes a density theorem for closed Reeb orbits with mean frequency near the global mean (Theorem 7.1). The paper also extends resonance and density results to finite quotients of spheres using local coefficient systems. The central structural logic is coherent and the paper contains many explicit, detailed computations, but two load-bearing points are not fully justified in the submitted version.

Significance. If the results are correct, the paper makes a substantial contribution to string topology and symplectic dynamics. It provides the first computation of the full BV algebra structure on Rabinowitz loop homology for a broad class of symmetric spaces with arbitrary field coefficients, and it extends the Hingston-Rademacher resonance and density theorems from spheres to complex, quaternionic, and octonionic projective spaces. The string point invertibility criterion is a clean and surprising statement, and the density bound for Reeb orbits is a strong quantitative result. The authors are careful about the delicate cases CP^1 and about the spin local system used in the resonance arguments. However, the paper's reliance on an unproved foundational theorem (Theorem 2.3) and a nontrivial unproved assertion in the proof of Theorem 5.3 currently leaves the central claims without complete justification.

major comments (2)
  1. [§5, proof of Theorem 5.3] The necessity direction of Theorem 5.3 rests on the assertion, made in the paragraph following equation (23) and repeated in the CP^d case, that 'the only way to reach [M] from [pt] is by applying P_u^d' when p divides d+1 and p <= d. This assertion is not proved. The proof only computes the effect of P_u and asserts by y-linearity that no other operator can reach [M], but it does not rule out operators P_c for classes c involving a positive power of the Uebele class y. For example, for CP^d with d >= 2, the class c = y u a has degree shift exactly n = dim M, and one computes {a^d, y u a} = ± d y a^d; the paper does not prove that ev_*(y a^d) = 0, so P_{y u a} could in principle send [pt] to a nonzero multiple of [M]. A rigorous proof requires either a filtration argument or an explicit statement that ev_* annihilates all classes of the form y^k z with k >= 1 (which is true, e.g., by the Serre spectral sequence for the evaluation fibration, but is not stated). As written, the necessity of the condition p = chi(M) is not established for any prime p properly dividing d+1.
  2. [§2, Theorem 2.3] Theorem 2.3 asserts the existence of a twisted BV algebra structure on Rabinowitz loop homology with coefficients in any BV local system, but the proof is omitted with the justification that it 'differs only superficially from Abouzaid's construction in [1,§10]'. This theorem, and in particular the twisted 7-term relation, is a load-bearing input for all the BV operator computations in Section 4, including those with the spin local system eta used in the resonance and density theorems. Since the main results of the paper depend on this structure, the authors should either provide the proof in full or give a detailed and precise statement of how Abouzaid's construction adapts, with explicit attention to the spin local system. Without this, the computations in Theorems 4.9-4.13 and all downstream results are conditional on an unverified foundational claim.
minor comments (5)
  1. [§2, proof of Theorem 2.7] There is a typo: 'thay' should be 'they'.
  2. [§6, proof of Theorem 6.8] There is a typo: 'characateristic' should be 'characteristic'.
  3. [§3.2 heading] The heading 'Cohomology of the the unit cosphere bundle' contains a duplicated 'the'.
  4. [§5, proof of Theorem 5.3] The sentence 'If the prime p equals d+1, and since d >= 2, we find that p = d+1 is odd' is only immediate once one notes that d must be even; this is true because d+1 is prime and d >= 2, but the argument would be clearer if stated explicitly.
  5. [§4.2.2, proof of Theorem 4.11] The notation H^{1-*}_Λ and H^*Λ is used interchangeably with H^{1-*}(Λ,Λ_0) and H^*Λ; the distinction between reduced and unreduced groups could be clarified at first use.

Circularity Check

0 steps flagged · score 1.0 of 10

No circularity: the central BV, string point invertibility, and resonance results are derived from external prior computations and are not assumed as inputs; the main caveats are omitted proofs and an unproved uniqueness claim, not circular reductions.

full rationale

No significant circularity. The paper's central claims—Theorem 5.3 (string point invertibility iff char K = chi(M)), Theorem 6.7 (resonance), and Theorem 7.1 (density)—are derived from earlier external computations of loop BV algebras (Menichi, Hepworth, Chataur-Le Borgne, Cadek-Moravec) and from Uebele's level algebra theorem, none of which assume the target conclusions. The self-references that do appear—the splitting theorem [11], reduced loop homology [14], the BV Frobenius structure [27], and string point invertibility [40]—are prior results with independent proofs, not restatements of the present theorems. Two caveats are noted, but neither is a circular reduction: (1) Theorem 2.3, the twisted BV algebra structure on Rabinowitz loop homology, is stated with its proof omitted and is said to differ only superficially from Abouzaid's construction; all BV operator formulas and the decreasing induction in Theorems 4.9-4.13 depend on it, so this is a missing verification gap, especially with the spin local system, but it is not an input equivalent to the output. (2) The necessity direction of Theorem 5.3 contains an unproved 'only way to reach [M] from [pt]' assertion; the y-linearity of the BV operator and formula (23) do not by themselves rule out operators such as P_{yua}, so this is a genuine proof gap, but it is not a case where the theorem is assumed or restated as its own input. No fitted parameter is renamed as a prediction, and no known result is merely reorganized under new coordinates. The score of 1 reflects minor self-citation and omitted justifications, not circularity.

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

The central claims depend on standard theorems and on the authors' own earlier framework, but no numerical parameters are fitted to data and no new entities are postulated. The main axiomatic load is the twisted BV structure theorem (Theorem 2.3), whose proof is omitted, together with the prior integral loop homology computations and Uebele's level algebra theorem.

assumptions (7)
  • standard math Uebele's level algebra theorem: for an SC-manifold of dimension at least 3, Gr pH_*Lambda is isomorphic to K[y,y^{-1}] tensor H^{-*}(S^*M) as algebras, with y the homological Uebele class.
    Invoked in Section 3.3 (Theorem 3.6) and used to obtain the multiplicative structure of Rabinowitz loop homology for CROSS in Theorems 4.9 and 4.10. If this theorem had hidden coefficient-field restrictions beyond those checked, the loop BV computations would fail.
  • standard math Integral loop homology BV algebra presentations for CP^d, HP^d, OP^2 due to Menichi, Hepworth, Chataur-Le Borgne, and Cadek-Moravec.
    Theorem 4.1 is the starting point for all field-coefficient loop homology computations. The paper reduces these integral presentations to fields, including the subtle case where the characteristic divides d+1 and an extra generator u arises.
  • standard math Bott-Samelson theorem: any SC-manifold has the integral cohomology ring of its model CROSS.
    Used in Section 3.2 to identify H^{-*}(S^*M) for the zero-level block of Rabinowitz loop homology and to justify the level algebra structure.
  • domain assumption Existence of a twisted BV algebra structure on Rabinowitz loop homology for any BV local system (Theorem 2.3, proof omitted, attributed to a superficial modification of Abouzaid's construction).
    All BV operator computations, the 7-term relation, and the decreasing induction for negative powers of y rely on this structure. The proof is not given in the paper, so this assumption carries the weight of the local-system and twisted BV formalism.
  • domain assumption Ziller's theorem: the energy functional on the free loop space of a globally symmetric space is perfect over any field, with strong completing manifolds at critical Morse-Bott levels.
    Used in Theorem 4.8 to determine the additive structure of loop homology in characteristic dividing d+1, in particular the existence of the extra generator u.
  • standard math The splitting theorem for Rabinowitz loop homology pH_*Lambda is isomorphic to H_*Lambda direct sum H^{1-2n-*}Lambda, with Poincare duality exchanging factors (from Cieliebak-Hingston-Oancea).
    Used throughout to pass from Rabinowitz loop homology to loop (co)homology BV algebras, and to define the cohomological Uebele class theta.
  • standard math Index theory estimates: the index of a cohomology class carried by an iterated Reeb orbit lies in the interval [hat i(delta)-n, hat i(delta)+n], together with iteration inequalities of Liu-Long and Fekete's lemma.
    Used in Lemma 7.2 to convert resonance into the density estimate, and in Proposition 6.5 to obtain two-sided linear bounds via subadditivity and superadditivity.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Resonances and string point invertibility for compact rank one symmetric spaces." pith.science (2026). https://pith.science/paper/JWLIPD2E

@misc{pith2026260804691,
  author       = {Pith},
  title        = {Pith review of: Resonances and string point invertibility for compact rank one symmetric spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JWLIPD2E}},
  note         = {Machine review of arXiv:2608.04691}
}
read the original abstract

We calculate the Batalin-Vilkovisky (BV) algebra structure of Rabinowitz loop homology for compact rank one symmetric spaces. As a consequence, we prove that such a space satisfies a natural homological condition called string point invertibility if and only if its Euler characteristic is equal to the characteristic of the coefficient field for loop homology. This implies certain cases of Viterbo's conjecture on a uniform bound on the spectral norm of exact Lagrangian submanifolds in cotangent disk bundles. Furthermore, we prove that whenever a compact rank one symmetric space is string point invertible, the critical levels of its loop homology classes with respect to an arbitrary Riemannian metric satisfy a resonance condition with respect to degrees and a density condition for closed geodesics. This generalizes results of Hingston and Rademacher for spheres to a broader class of compact rank one symmetric spaces.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

50 extracted references · 45 canonical work pages

  1. [1]

    Abouzaid

    M. Abouzaid. Symplectic cohomology and Viterbo’s theorem. InFree loop spaces in geometry and topology, volume 24 ofIRMA Lect. Math. Theor. Phys., pages 271–485. Eur. Math. Soc., Z¨ urich, 2015

    work page 2015

  2. [2]

    M. S. Atallah and E. Shelukhin. Hamiltonian no-torsion.Geom. Topol., 27(7):2833–2897, 2023

    work page 2023

  3. [3]

    A. L. Besse.Manifolds all of whose geodesics are closed, volume 93 ofErgeb- nisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas]. Springer-Verlag, Berlin, 1978. With appendices by D. B. A. Epstein, J.-P. Bourguignon, L. B´ erard-Bergery, M. Berger and J. L. Kazdan

    work page 1978

  4. [4]

    Biran and O

    P. Biran and O. Cornea. Rigidity and uniruling for Lagrangian submanifolds. Geom. Topol., 13(5):2881–2989, 2009

    work page 2009

  5. [5]

    R. Bott. On manifolds all of whose geodesics are closed.Ann. of Math. (2), 60:375–382, 1954

    work page 1954

  6. [6]

    Bott and H

    R. Bott and H. Samelson. On the Pontryagin product in spaces of paths. Comment. Math. Helv., 27:320–337, 1953

    work page 1953

  7. [7]

    Loop homology of quaternionic projective spaces

    M. ˇCadek and Z. Moravec. Loop homology of quaternionic projective spaces. arXiv:1004.1550, 2010

    work page Pith review arXiv 2010

  8. [8]

    Chas and D

    M. Chas and D. Sullivan. String topology. arXiv:math/9911159, 1999

    arXiv 1999

Show all 50 references
  1. [9]

    Chataur and J.-F

    D. Chataur and J.-F. Le Borgne. On the loop homology of complex projective spaces.Bull. Soc. Math. France, 139(4):503–518, 2011

    2011

  2. [10]

    Cieliebak, N

    K. Cieliebak, N. Hingston, and A. Oancea. Loop coproduct in Morse and Floer homology.J. Fixed Point Theory Appl., 25(2):Paper No. 59, 84, 2023

    2023

  3. [11]

    Cieliebak, N

    K. Cieliebak, N. Hingston, and A. Oancea. Poincar´ e duality for loop spaces. Compos. Math., 161(12):3140–3212, 2026

    2026

  4. [12]

    Cieliebak and A

    K. Cieliebak and A. Oancea. CoFrobenius bialgebras, Poincar´ e duality, and graded TQFT. arXiv:2209.02979. RESONANCES AND STRING POINT INVERTIBILITY FOR CROSS 67

    arXiv

  5. [13]

    Cieliebak and A

    K. Cieliebak and A. Oancea. Symplectic homology and the Eilenberg–Steenrod axioms.Algebr. Geom. Topol., 18(4):1953–2130, 2018

    1953

  6. [14]

    Cieliebak and A

    K. Cieliebak and A. Oancea. Reduced symplectic homology and string topol- ogy.Tunis. J. Math., 8(2):203–264, 2026

    2026

  7. [15]

    R. L. Cohen, J. D. S. Jones, and J. Yan. The loop homology algebra of spheres and projective spaces. InCategorical decomposition techniques in alge- braic topology (Isle of Skye, 2001), volume 215 ofProgr. Math., pages 77–92. Birkh¨ auser, Basel, 2004

    2001

  8. [16]

    Coornaert.Dimension topologique et syst` emes dynamiques, volume 14 of Cours Sp´ ec

    M. Coornaert.Dimension topologique et syst` emes dynamiques, volume 14 of Cours Sp´ ec. (Paris). Paris: Soci´ et´ e Math´ ematique de France, 2005

    2005

  9. [17]

    E. Getzler. Batalin-Vilkovisky algebras and two-dimensional topological field theories.Comm. Math. Phys., 159(2):265–285, 1994

    1994

  10. [18]

    V. L. Ginzburg, V. L. Ginzburg, B. Z. G¨ urel, and B. Z. G¨ urel. On the generic existence of periodic orbits in Hamiltonian dynamics.J. Mod. Dyn., 3(4):595– 610, 2009

    2009

  11. [19]

    V. L. Ginzburg and B. Z. G¨ urel. Local Floer homology and the action gap.J. Symplectic Geom., 8(3):323–357, 2010

    2010

  12. [20]

    Goresky and N

    M. Goresky and N. Hingston. Loop products and closed geodesics.Duke Math. J., 150(1):117–209, 2009

    2009

  13. [21]

    Gromov.Metric structures for Riemannian and non-Riemannian spaces, volume 152 ofProgress in Mathematics

    M. Gromov.Metric structures for Riemannian and non-Riemannian spaces, volume 152 ofProgress in Mathematics. Birkh¨ auser Boston, Inc., Boston, MA, 1999

    1999

  14. [22]

    Guillermou and N

    S. Guillermou and N. Vichery. Viterbo’s spectral bound conjecture for homo- geneous spaces. arXiv:2203.13700, 2022

    2022 arXiv

  15. [23]

    D. Hein, U. Hryniewicz, and L. Macarini. Transversality for local Morse ho- mology with symmetries and applications.Math. Z., 293(3-4):1513–1599, 2019

    2019

  16. [24]

    Hepworth

    R. Hepworth. String topology for complex projective spaces. arXiv:0908.1013, 2009

    2009 arXiv

  17. [25]

    Hingston and A

    N. Hingston and A. Oancea. The space of paths in complex projective space with real boundary conditions. InProceedings of the G¨ okova Geometry- Topology Conference 2014, pages 192–233. G¨ okova Geometry/Topology Con- ference (GGT), G¨ okova, 2015

    2014

  18. [26]

    Hingston and H.-B

    N. Hingston and H.-B. Rademacher. Resonance for loop homology of spheres. J. Differential Geom., 93(1):133–174, 2013

    2013

  19. [27]

    Latschev and A

    J. Latschev and A. Oancea. BV bialgebra structures in Floer theory and string topology. arXiv:2402.16794, 2024

    2024

  20. [28]

    Leclercq and F

    R. Leclercq and F. Zapolsky. Spectral invariants for monotone Lagrangians.J. Topol. Anal., 10(3):627–700, 2018

    2018

  21. [29]

    Liu and Y

    C. Liu and Y. Long. An optimal increasing estimate of the iterated Maslov-type indices.Chin. Sci. Bull., 43(13):1063–1066, 1998

    1998

  22. [30]

    Liu and Y

    C.-G. Liu and Y. Long. Iteration inequalities of the Maslov-type index theory with applications.J. Differential Equations, 165(2):355–376, 2000

    2000

  23. [31]

    Long.Index theory for symplectic paths with applications, volume 207 of Progress in Mathematics

    Y. Long.Index theory for symplectic paths with applications, volume 207 of Progress in Mathematics. Birkh¨ auser Verlag, Basel, 2002

    2002

  24. [32]

    L. Menichi. String topology for spheres.Comment. Math. Helv., 84(1):135–157,

  25. [33]

    Morgan and G

    J. Morgan and G. Tian.Ricci flow and the Poincar´ e conjecture, volume 3 of Clay Mathematics Monographs. American Mathematical Society, Providence, RI; Clay Mathematics Institute, Cambridge, MA, 2007

    2007

  26. [34]

    A. Oancea. Morse theory, closed geodesics, and the homology of free loop spaces. InFree loop spaces in geometry and topology, volume 24 ofIRMA Lect. 68 K. CIELIEBAK, A. OANCEA, AND E. SHELUKHIN Math. Theor. Phys., pages 67–109. Eur. Math. Soc., Z¨ urich, 2015. With an appendix...

    2015

  27. [35]

    Rademacher

    H.-B. Rademacher. Existence of closed geodesics on positively curved Finsler manifolds.Ergodic Theory Dynam. Systems, 27(3):957–969, 2007

    2007

  28. [36]

    A. F. Ritter. Topological quantum field theory structure on symplectic coho- mology.J. Topol., 6(2):391–489, 2013

    2013

  29. [37]

    Salamon and E

    D. Salamon and E. Zehnder. Morse theory for periodic solutions of Hamiltonian systems and the Maslov index.Comm. Pure Appl. Math., 45(10):1303–1360, 1992

    1992

  30. [38]

    Samelson

    H. Samelson. On manifolds with many closed geodesics.Portugal. Math., 22:193–196, 1963

    1963

  31. [39]

    P. Seidel. A biased view of symplectic cohomology. InCurrent developments in mathematics, 2006, pages 211–253. Int. Press, Somerville, MA, 2008

    2006

  32. [40]

    Shelukhin

    E. Shelukhin. Symplectic cohomology and a conjecture of Viterbo.Geom. Funct. Anal., 32(6):1514–1543, 2022

    2022

  33. [41]

    Shelukhin

    E. Shelukhin. Viterbo conjecture for Zoll symmetric spaces.Invent. Math., 230(1):321–373, 2022

    2022

  34. [42]

    Stegemeyer

    M. Stegemeyer. Extensions of the loop product and coproduct, the space of antipodal paths and resonances of closed geodesics.J. Fixed Point Theory Appl., 27(3):Paper No. 69, 67, 2025

    2025

  35. [43]

    H. Tamanoi. Loop coproducts in string topology and triviality of higher genus TQFT operations.J. Pure Appl. Algebra, 214(5):605–615, 2010

    2010

  36. [44]

    P. Uebele. Periodic Reeb flows and products in symplectic homology.J. Sym- plectic Geom., 17(4):1201–1250, 2019

    2019

  37. [45]

    C. Viterbo. Inverse reduction inequalities for spectral numbers and applica- tions. arXiv:2203.13172, 2022

    2022 arXiv

  38. [46]

    C. Viterbo. Symplectic homogenization.J. ´Ec. polytech. Math., 10:67–140, 2023

    2023

  39. [47]

    J. A. Wolf.Spaces of constant curvature. McGraw-Hill Book Co., New York- London-Sydney, 1967

    1967

  40. [48]

    T. Yang. A Batalin-Vilkovisky algebra structure on the Hochschild cohomology of truncated polynomials.Topology Appl., 160(13):1633–1651, 2013

    2013

  41. [49]

    W. Ziller. The free loop space of globally symmetric spaces.Invent. Math., 41(1):1–22, 1977. Universit¨at Augsburg Universit¨atsstrasse 14, D-86159 Augsburg, Germany Email address:kai.cieliebak@math.uni-augsburg.de Institut de Recherche Math´ematique A vanc´ee, IRMA Universit´...

    1977

  42. [2009]

    With an appendix by Gerald Gaudens and Luc Menichi

Pith tools

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