Pith. sign in

REVIEW 2 major objections 3 minor 72 references

Quantitative contact Hamiltonian dynamics

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

Pith's one-line read Contact spectral invariants obey a triangle inequality

desk verdict A genuinely new contact spectral invariant framework with real applications, but the advertised weakly+ monotone generality is propped up by a pair-of-pants product proven in detail only for Liouville domains over Z2. read the letter →

arxiv 2507.13234 v2 pith:GTL4TJOM submitted 2025-07-17 math.SG math.DS

classification math.SGmath.DS MSC 53D4053D1057R17
keywords contactHamiltonianFloerhomologyspectralinvariantsrigidityorderabilitytranslatedpointsgappedmodulespair-of-pantsproductsymplectic
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

Contact Hamiltonian Floer homology assigns groups to an admissible contact Hamiltonian on the boundary of a symplectic filling that satisfies a mild monotonicity condition. This paper extracts real-valued spectral invariants c(W,h,θ) from those groups and proves they satisfy spectrality, shift, monotonicity, stability, descent, and a triangle inequality. With those properties, it gives alternative proofs of the contact big fiber theorem, orderability of boundaries whose symplectic-homology unit is not eternal, and existence of translated points for contactomorphisms of small oscillation energy. The relevance is that these are quantitative rigidity results for arbitrary contact Hamiltonian flows, going beyond the Reeb dynamics that ordinary symplectic homology sees.

What carries the argument

The central object is the contact spectral invariant c(W,h,θ):=−inf{η | θ∈im(HF∗(W,η#h)→SH∗(W))}, where η#h is the contact Hamiltonian obtained by twisting h with the η-shifted Reeb flow. The filtration parameter η is a time-shift of a translated point, so the parameter set R∖S_h is not linearly ordered; the paper packages this into an oscRh-gapped module, a persistence module indexed by a poset. The load-bearing identity is the pair-of-pants product HF∗(h)⊗HF∗(g)→HF∗(h•g), built from a maximum principle on a pair-of-pants with a slit; that product makes the triangle inequality possible and also upgrades the spectral invariants into partial contact quasi-states and quasi-measures.

What would settle it

Run the Section 3 computation on the unit cosphere bundle D*S^n: the paper predicts c(0,u^k)=−2π⌊k/2⌋ and c(0,au^k)=−2π⌊k/2⌋ for all k≥0. A mismatch there, or a weakly+ monotone filling where the pair-of-pants product fails to be compact, would refute Theorem 2.11.

Watch

Extended reading notes

Core claim

The paper's central claim is that for any closed contact manifold M strongly filled by a weakly+ monotone symplectic manifold W, every admissible contact Hamiltonian h on M produces a persistence module P(W,h)={HF∗(W,η#h)}_η over the non-totally-ordered parameter set R∖S_h, and the resulting spectral invariants c(h,θ) are finite exactly for non-eternal classes θ∈SH∗(W). Theorem 2.11 asserts that c(h,θ) has spectrality, shift, monotonicity, stability, descent, and the triangle inequality c(h,θ1)+c(g,θ2)≤c(h#g,θ1∗θ2)+2max{oscRh,oscRg}. From these properties the paper obtains the contact big fiber theorem for weakly+ monotone fillings, orderability when the unit is not eternal, and translated-point existence below the minimal Reeb period; along the way it introduces 'gapped modules', persistence modules parametrized by a partially ordered set, as the algebraic structure that houses this filtration.

Load-bearing premise

The framework assumes the pair-of-pants product and the gapped-module chain model work for arbitrary weakly+ monotone strong fillings with Novikov coefficients, while the detailed proof in the paper covers Liouville domains with Z2 coefficients and calls the general case analogous.

Editorial extensions

If this is right

  • Every boundary of a weakly+ monotone strong filling whose symplectic-homology unit is not eternal is orderable: it admits no contractible positive loop of contactomorphisms.
  • Every contact involutive map on such a boundary has a non-displaceable fibre; for Liouville fillings with nonzero symplectic homology this is the contact big fiber theorem.
  • Every contactomorphism with oscillation energy below the minimal Reeb period has a translated point, and conversely a contactomorphism with no translated points forces the unit in symplectic homology to be eternal.
  • The invariants satisfy |c(φ,θ)−c([id],θ)|≤|φ|_S, linking them to the natural norm on the universal cover of the contactomorphism group.
  • For Reeb-invariant, Poisson-commuting Hamiltonians the invariants define a partial contact quasi-state and quasi-measure, giving contact analogues of the rigidity functionals used in symplectic topology.

Reading between the lines

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

  • The gapped-module formalism suggests that contact rigidity is governed by the geometry of the shift set S_h rather than by a linearly ordered action spectrum, so one could try to define barcode-type invariants for contactomorphisms without a total order.
  • If the conjectural filtered chain model for general weakly+ monotone fillings is constructed, the same invariants should extend to non-exact fillings such as negative line bundles, where Liouville-domain arguments do not apply.
  • The explicit correction term 2max{oscRh,oscRg} in the triangle inequality hints that a sharper, correction-free inequality should hold for Reeb-invariant Hamiltonians; systematic examples could show whether the correction is optimal.
  • Testing the contact quasi-measure axioms on prequantization spaces, where Reeb-invariant functions and displaceable sets are explicit, could connect these invariants to known contact rigidity thresholds.
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 / 3 minor

Summary. The paper develops quantitative invariants for contact Hamiltonian dynamics on the boundary of a weakly+ monotone strong filling W. It defines contact spectral invariants c(W,h,θ) via images of the contact Hamiltonian Floer groups HF∗(η#h) in symplectic homology, and proves for them spectrality, shift, monotonicity, stability, descent, and a triangle inequality (Theorem 2.11). The triangle inequality is derived from a pair-of-pants product in contact Hamiltonian Floer homology (Theorem 2.12). The framework is then applied to prove the contact big fiber theorem (Theorem 1.4), orderability (Theorem 1.6), and existence results for translated points (Theorems 1.7 and 1.8), and to construct partial contact quasi-states and quasi-measures (Theorems 2.17 and 2.20). The paper also introduces gapped persistence modules parametrized by a partially ordered set and gives a computational example for unit cotangent bundles of spheres.

Significance. If the results hold in the stated generality, this is a substantial contribution to contact rigidity: it provides a unified quantitative framework that goes beyond Liouville fillings and recovers or strengthens several known results in contact non-squeezing, orderability, and translated points. The paper is careful to distinguish its approach from concurrent work, and the spectral invariants are defined intrinsically from Floer-theoretic data with no fitted parameters. The maximum-principle argument in Section 11.4 is detailed and appears to be the key new analytic input. However, the significance is conditional on the pair-of-pants product being available in the full weakly+ monotone/Novikov-field setting, since Theorem 2.11(5), and hence the quasi-state, quasi-measure, and big-fiber applications, rely on it.

major comments (2)
  1. [§11.3, Theorem 2.12] The pair-of-pants product that underlies the triangle inequality is constructed in detail only for Liouville domains with Z2 coefficients. Section 11.3 states that the general weakly+ monotone case involving Novikov rings is 'analogous' to the closed case. Theorem 2.12, however, is stated for arbitrary weakly+ monotone strong fillings. The missing ingredients are load-bearing: Novikov-field counts with control of weakly+ monotone bubbling, orientations, compatibility of the product with continuation maps and zig-zag isomorphisms, and the identification of the induced map on direct limits with the usual symplectic homology product. Since Theorem 2.11(5) is invoked in the weakly+ setting to prove Theorem 2.17, Theorem 2.20, and Theorem 1.4, the advertised scope of the main applications is not justified as written. This is the main gap the authors need to close, either by supplying the full construction or by restricting the theorems to the case actually proven.
  2. [§2.1.4, Lemma 2.5] The proof of Lemma 2.5 applies the product of Theorem 2.12 to constant contact Hamiltonians −2ε and a+ε, concluding that HF∗(−2ε) ⊗ HF∗(a+ε) → HF∗(a−ε) exists. Theorem 2.12 is stated under the hypothesis that the contact Hamiltonians vanish near t=0 and t=1, which constants do not satisfy. A reparametrization argument of the type used in the proof of Theorem 2.11 would likely supply the missing hypothesis, but that step is not written. Since Lemma 2.5 is used in the proof of Theorem 1.8, this appeal should be made explicit and justified.
minor comments (3)
  1. [§10.2, Example 10.17] The text explicitly concedes that a filtered chain model for HF∗(η#h) over a Novikov field for general weakly+ monotone fillings is conjectural. This concession should be stated as a restriction on the gapped-module interpretation: the equality (10.4) between the algebraic spectral invariant and c(W,h,θ) is only established in the Liouville setting, and Example 10.17 should not be read as covering weakly+ monotone fillings.
  2. [§11.1 and §10.2] There are several typos: 'Riemannian surface' should be 'Riemann surface' in §11.1, 'Reimannian' appears in the introduction to Section 11, 'Rloer homology' in §10.2 should be 'Rabinowitz Floer homology', 'a priory' in §8.4 should be 'a priori', and 'elemenot' in Definition 2.16(6) should be 'element'.
  3. [Abstract and Introduction] Given the status of Theorem 2.12 in Section 11.3, the abstract and introduction should explicitly indicate the precise setting in which the triangle inequality is proven, or else the reader is led to expect more generality than the manuscript currently supplies.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the contact spectral invariants are defined from Floer-theoretic data rather than fitted to the applications, and the main theorems are proved from stated constructions; the admitted gaps are completeness issues, not circular reductions.

full rationale

Definition 2.9 defines c(W,h,theta) as -inf{eta | theta lies in the image of HF_*(eta#h) -> SH_*(W)}, so the invariants are computed from the Floer homology of the shifted Hamiltonians, not tuned to produce the theorems that use them. The triangle inequality in Theorem 2.11(5) is proved from Theorem 2.12 together with the explicit estimate (6.1), and Theorem 2.12 is supported by the pair-of-pants construction in Section 11. The paper itself flags a limitation: Section 11.3 says "For the sake of simplicity, we give details for the case of Liouville domains and Z2 coefficients. The general case involves Novikov rings and is analogous to the definition of the pair-of-pants product in the closed case." That is an admitted proof gap if the analogy fails, but it is not circularity, because the product is constructed from Floer data and compactness estimates rather than assumed to equal the desired inequality. Similarly, Section 10.2 remarks that a filtered chain model for weakly+ monotone fillings is only conjectural, but that caveat concerns an algebraic reformulation and does not make the spectral invariants of Theorem 2.11 depend on their own conclusions. The self-citations [35], [63], and [25] point to published work or the earlier version of this project; [35] supplies the maximum-principle foundation for the Floer homology, [63] supplies zig-zag isomorphisms, and neither restates the present theorems as a black box. No fitted input is renamed as a prediction, and no uniqueness theorem from the authors' prior work is used to force the choice of invariants. The honest finding is therefore that the derivation chain is non-circular; the main risk is incompleteness of the advertised weakly+ monotone / Novikov-field generality, not circularity.

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

The paper introduces no new physical or unexplained entities. Gapped modules are defined algebraic structures, and the only numerical inputs are geometric invariants such as the Reeb oscillation oscRh, the spectrum Sh, and the minimal Reeb period, none of which are fitted to make the theorems work.

assumptions (6)
  • domain assumption Contact Hamiltonian Floer homology HF(W,h;k), its continuation maps, and the direct limit to SH(W) are well defined for admissible h on a weakly+ monotone strong filling.
    Invoked throughout Section 2.1.2 and Definition 2.3; established in [35] via a maximum principle and not re-proved in this paper.
  • domain assumption Weakly+ monotonicity of the filling W is sufficient for the needed Floer homology and symplectic homology to be defined.
    Definition 2.2 is an input hypothesis for the main theorems and is imported from [33,58,52].
  • standard math Poincare duality between SH_* and SH^{-*}, the inverse limit descriptions, and the long exact sequence involving Rabinowitz Floer homology.
    Used in Lemmas 2.5 and 5.3 and in Section 10.3, citing [19] and [21].
  • standard math The Aleksandrov maximum principle bounds solutions in the conical end and gives compactness for the pair-of-pants moduli space.
    Used in Proposition 11.3 and Theorem 11.2 to prove the compactness needed for the pair-of-pants product.
  • domain assumption Admissible contact Hamiltonians form an open subset in the C^2 topology, allowing zig-zag isomorphisms to be constructed.
    Section 2.1.3 follows [63] and is used in Proposition 2.4 and in the proofs of spectral properties.
  • domain assumption The unit e in SH(W) is not eternal in all theorems where that condition is assumed.
    This is a hypothesis of Theorems 1.4, 1.6, 2.17, and 2.20; Proposition 2.6 verifies it for Liouville domains with nonzero symplectic homology.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quantitative contact Hamiltonian dynamics." pith.science (2026). https://pith.science/paper/GTL4TJOM

@misc{pith2026250713234,
  author       = {Pith},
  title        = {Pith review of: Quantitative contact Hamiltonian dynamics},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GTL4TJOM}},
  note         = {Machine review of arXiv:2507.13234}
}
abstract

This paper presents a systematic quantitative study of contact rigidity phenomena based on the contact Hamiltonian Floer theory established by Merry-Uljarevi\'c. Our quantitative approach applies to arbitrary admissible contact Hamiltonian functions on the contact boundary $M = \partial W$ of a ${\rm weakly}^{+}$-monotone symplectic manifold $W$. From a theoretical standpoint, we develop a comprehensive contact spectral invariant theory. As applications, the properties of these invariants enable us to establish several fundamental results: the contact big fiber theorem, sufficient conditions for orderability, and the existence results of translated points. Furthermore, we uncover a non-traditional filtration structure on contact Hamiltonian Floer groups, which we formalize through the introduction of a novel type of persistence modules, called gapped modules, that are only parametrized by a partially ordered set. Among the various properties of contact spectral invariants, we highlight that the triangle inequality is derived through an innovative analysis of a pair-of-pants construction in the contact-geometric framework.

Figures

Figures reproduced from arXiv: 2507.13234 by the authors.

Figure 1
Figure 1. such that the complement of S is biholomorphic to R×(0, 1)⊔R×(0, 1). Let a1 a2 b a1 a2 b [PITH_FULL_IMAGE:figures/full_fig_p047_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

72 extracted references · 69 canonical work pages

  1. [1]

    Aarnes,Quasi-states and quasi-measures, Adv

    Johan F. Aarnes,Quasi-states and quasi-measures, Adv. Math.86 (1991), 41–67

  2. [2]

    Pure Appl

    Alberto Abbondandolo and Matthias Schwarz,On the Floer homology of cotangent bundles, Comm. Pure Appl. Math.59 (2006), 254–316

  3. [3]

    Alberto Abbondandolo and Matthias Schwarz,Estimates and computations in Rabinowitz-Floer homology, J. Topol. Anal.1 (2009), 307–405

  4. [4]

    Topol.14 (2010), 1569–1722

    Alberto Abbondandolo and Matthias Schwarz,Floer homology of cotangent bundles and the loop product, Geom. Topol.14 (2010), 1569–1722

  5. [5]

    Pure Appl

    Alberto Abbondandolo and Matthias Schwarz,Corrigendum: On the Floer homology of cotan- gent bundles, Comm. Pure Appl. Math.67 (2014), 670–691

  6. [6]

    Merry, Orderability, contact non-squeezing, and Rabinowitz Floer homology, J

    Peter Albers and Will J. Merry, Orderability, contact non-squeezing, and Rabinowitz Floer homology, J. Symplectic Geom.16 (2018), 1481–1547

  7. [7]

    Ulrich Bauer and Michael Lesnick,Induced matchings and the algebraic stability of persistence barcodes, J. Comput. Geom.6 (2015), 162–191

  8. [8]

    Fixed Point Theory Appl.24 (2022), Paper No

    Gabriele Benedetti and Jungsoo Kang,Relative Hofer-Zehnder capacity and positive symplectic homology, J. Fixed Point Theory Appl.24 (2022), Paper No. 44, 32

Show all 72 references
  1. [9]

    DOI 10.4171/QT/222 (2024)

    Paul Biran, Octav Cornea, and Jun Zhang, Persistence K-theory, Quantum Topol. DOI 10.4171/QT/222 (2024)

  2. [10]

    Topol.19 (2015), 365–411

    Matthew Strom Borman and Frol Zapolsky,Quasimorphisms on contactomorphism groups and contact rigidity, Geom. Topol.19 (2015), 365–411

  3. [11]

    Magnus Bakke Botnan and William Crawley-Boevey,Decomposition of persistence modules, Proc. Amer. Math. Soc.148 (2020), 4581–4596

  4. [12]

    Filip Broćićand Dylan Cant,Bordism classes of loops and Floer’s equation in cotangent bundles, Journal of Fixed Point Theory and Applications26 (2024), 26

  5. [13]

    Dylan Cant,Shelukhin’s Hofer distance and a symplectic cohomology barcode for contactomor- phisms, arXiv preprint, arXiv:2309.00529, 2023

  6. [14]

    Symplectic Geom

    Dylan Cant,Contactomorphisms of the sphere without translated points, J. Symplectic Geom. 22 (2024), 1–10, arXiv preprint, arXiv:2210.11002

  7. [15]

    Dylan Cant, Remarks on eternal classes in symplectic cohomology , arXiv preprint arXiv:2410.03914, 2024

  8. [16]

    Baptiste Chantraine, Vincent Colin, and Georgios Dimitroglou Rizell,Positive Legendrian iso- topies and Floer theory, Ann. Inst. Fourier (Grenoble)69 (2019), 1679–1737

  9. [17]

    Guibas, and Steve Oudot, Proximity of persistence modules and their diagrams, SCG ’09, 2009

    Frédéric Chazal, David Cohen-Steiner, Marc Glisse, Leonidas J. Guibas, and Steve Oudot, Proximity of persistence modules and their diagrams, SCG ’09, 2009

  10. [18]

    Frédéric Chazal, Vin de Silva, Marc Glisse, and Steve Oudot,The structure and stability of persistence modules, SpringerBriefs in Mathematics, Springer, [Cham], 2016

  11. [19]

    43, 2010, pp

    Kai Cieliebak, Urs Frauenfelder, and Alexandru Oancea,Rabinowitz Floer homology and sym- plectic homology, Annales scientifiques de l’Ecole normale supérieure, vol. 43, 2010, pp. 957– 1015

  12. [20]

    58 DANIJEL DJORDJEVIĆ, IGOR ULJAREVIĆ, AND JUN ZHANG

    Kai Cieliebak, Nancy Hingston, and Alexandru Oancea,Loop coproduct in Morse and Floer homology, Journal of Fixed Point Theory and Applications25 (2023), 59. 58 DANIJEL DJORDJEVIĆ, IGOR ULJAREVIĆ, AND JUN ZHANG

  13. [21]

    Kai Cieliebak and Alexandru Oancea,Symplectic homology and the Eilenberg-Steenrod axioms, Algebr. Geom. Topol.18 (2018), 1953–2130, Appendix written jointly with Peter Albers

  14. [22]

    Cohen, John D

    Ralph L. Cohen, John D. S. Jones, and Jun Yan,The loop homology algebra of spheres and projective spaces, Categorical Decomposition Techniques in Algebraic Topology: International Conference in Algebraic Topology, Isle of Skye, Scotland, June 2001, Springer, 2004, pp. 77–92

  15. [23]

    Algebra Appl

    William Crawley-Boevey,Decomposition of pointwise finite-dimensional persistence modules, J. Algebra Appl. 14 (2015), 1550066, 8

  16. [24]

    Adi Dickstein, Yaniv Ganor, Leonid Polterovich, and Frol Zapolsky,Symplectic topology and ideal-valued measures, Selecta Mathematica30 (2024), 88

  17. [25]

    Danijel Djordjević, Igor Uljarević, and Jun Zhang, Quantitative characterization in contact Hamiltonian dynamics–I, arXiv preprint, arXiv:2309.00527, 2023

  18. [26]

    Topol.10 (2006), 1635–1747

    YakovEliashberg, SangSeonKim, andLeonidPolterovich, Geometry of contact transformations and domains: orderability versus squeezing, Geom. Topol.10 (2006), 1635–1747

  19. [27]

    Michael Entov, Quasi-morphisms and quasi-states in symplectic topology, Proceedings of the International Congress of Mathematicians—Seoul 2014. Vol. II, Kyung Moon Sa, Seoul, 2014, pp. 1147–1171

  20. [28]

    Michael Entov and Leonid Polterovich,Quasi-states and symplectic intersections, Comment. Math. Helv. 81 (2006), 75–99

  21. [29]

    Math., vol

    Michael Entov and Leonid Polterovich,Symplectic quasi-states and semi-simplicity of quantum homology, Toric topology, Contemp. Math., vol. 460, Amer. Math. Soc., Providence, RI, 2008, pp. 47–70

  22. [30]

    Michael Entov and Leonid Polterovich,Rigid subsets of symplectic manifolds, Compos. Math. 145 (2009), 773–826

  23. [31]

    Qi Feng and Jun Zhang, Spectrally-large scale geometry via set-heaviness, arXiv preprint, arXiv:2503.14961, 2025

  24. [32]

    Trudinger,Elliptic partial differential equations of second order, vol

    David Gilbarg and Neil S. Trudinger,Elliptic partial differential equations of second order, vol. 224, Classics in Mathematics, no. 2, Springer Berlin, Heidelberg, 2001

  25. [33]

    Salamon,Floer homology and Novikov rings, The Floer memorial volume, Springer, 1995, pp

    Helmut Hofer and Dietmar A. Salamon,Floer homology and Novikov rings, The Floer memorial volume, Springer, 1995, pp. 483–524

  26. [34]

    52, American Mathematical Society, 2025

    Dusa McDuff and Dietmar Salamon, J-holomorphic curves and symplectic topology, vol. 52, American Mathematical Society, 2025

  27. [35]

    Merry and Igor Uljarević,Maximum principles in symplectic homology, Israel J

    Will J. Merry and Igor Uljarević,Maximum principles in symplectic homology, Israel J. Math. 229 (2019), 39–65

  28. [36]

    Yong-Geun Oh,Bordered contact instantons and their Fredholm theory and generic transver- salities, arXiv preprint, arXiv:2209.03548

  29. [37]

    J.130 (2005), 199–295

    Yong-Geun Oh, Spectral invariants, analysis of the Floer moduli space, and geometry of the Hamiltonian diffeomorphism group, Duke Math. J.130 (2005), 199–295

  30. [38]

    Yong-Geun Oh,Contact Hamiltonian dynamics and perturbed contact instantons with Legen- drian boundary condition, arXiv preprint, arXiv: 2103.15390, 2021

  31. [39]

    QUANTITATIVE CONTACT HAMILTONIAN DYNAMICS 59

    Yong-Geun Oh,Geometry and analysis of contact instantons and entanglement of Legendrian links I, arXiv preprint, arXiv: 2111.02597, 2021. QUANTITATIVE CONTACT HAMILTONIAN DYNAMICS 59

  32. [40]

    Yong-Geun Oh,Contact instantons, anti-contact involution and proof of Shelukhin’s conjecture, arXiv preprint, arXiv:2212.03557, 2022

  33. [41]

    Yong-Geun Oh,Geometric analysis of perturbed contact instantons with Legendrian boundary conditions, arXiv preprint, arXiv: 2205.12351, 2022

  34. [42]

    Yong-Geun Oh,Gluing theories of contact instantons and of pseudoholomoprhic curves in SFT, arXiv preprint, arXiv: 2205.00370, 2022

  35. [43]

    Yong-Geun Oh, Foliation de Rham cohomology of generic Reeb foliations, arXiv preprint, arXiv:2504.16453, 2025

  36. [44]

    Yong-Geun Oh and Yasha Savelyev, Strict contactomorphisms are scarce, arXiv preprint, arXiv:2504.16458, 2025

  37. [45]

    Yong-Geun Oh and Seungook Yu,Legendrian contact instanton cohomology and its spectral invariants on the one-jet bundle, arXiv preprint, arXiv: 2301.06704, 2023

  38. [46]

    Yong-Geun Oh and Seungook Yu,Contact instantons with Legendrian boundary condition: a priori estimates, asymptotic convergence and index formula, Internat. J. Math.35(2024), Paper No. 2450019, 60

  39. [47]

    Sergey Piunikhin, Dietmar Salamon, and Matthias Schwarz,Symplectic Floer-Donaldson theory and quantum cohomology, Contact and symplectic geometry (Cambridge, 1994)8 (1996), 171– 200

  40. [48]

    Leonid Polterovich,The geometry of the group of symplectic diffeomorphisms, Lectures in Math- ematics ETH Zürich, Birkhäuser Verlag, Basel, 2001

  41. [49]

    34, Amer- ican Mathematical Society, 2014

    Leonid Polterovich and Daniel Rosen,Function theory on symplectic manifolds, vol. 34, Amer- ican Mathematical Society, 2014

  42. [50]

    74, AMS, Providence, RI, 2020

    Leonid Polterovich, Daniel Rosen, Karina Samvelyan, and Jun Zhang,Topological persistence in geometry and analysis, University Lecture Series, vol. 74, AMS, Providence, RI, 2020

  43. [51]

    (N.S.)22 (2016), 227–296

    Leonid Polterovich and Egor Shelukhin,Autonomous Hamiltonian flows, Hofer’s geometry and persistence modules, Selecta Math. (N.S.)22 (2016), 227–296

  44. [52]

    Alexander Ritter,Circle actions, quantum cohomology, and the Fukaya category of Fano toric varieties, Geometry & Topology20 (2016), 1941–2052

  45. [53]

    Ritter,Topological quantum field theory structure on symplectic cohomology, Jour- nal of Topology6 (2013), 391–489

    Alexander F. Ritter,Topological quantum field theory structure on symplectic cohomology, Jour- nal of Topology6 (2013), 391–489

  46. [54]

    Ritter,Floer theory for negative line bundles via Gromov–Witten invariants, Ad- vances in Mathematics262 (2014), 1035–1106

    Alexander F. Ritter,Floer theory for negative line bundles via Gromov–Witten invariants, Ad- vances in Mathematics262 (2014), 1035–1106

  47. [55]

    Sheila Sandon, On iterated translated points for contactomorphisms ofR2n+1 and R2n × S1, International Journal of Mathematics23 (2012), 1250042

  48. [56]

    Sheila Sandon, A Morse estimate for translated points of contactomorphisms of spheres and projective spaces, Geometriae Dedicata165 (2013), 95–110

  49. [57]

    Matthias Schwarz,On the action spectrum for closed symplectically aspherical manifolds, Pacific J. Math. 193 (2000), 419–461

  50. [58]

    60 DANIJEL DJORDJEVIĆ, IGOR ULJAREVIĆ, AND JUN ZHANG

    P Seidel, π1 of symplectic automorphism groups and invertibles in quantum homology rings, Geometric and Functional Analysis7 (1997), 1046–1096. 60 DANIJEL DJORDJEVIĆ, IGOR ULJAREVIĆ, AND JUN ZHANG

  51. [59]

    2006, International Press of Boston, 2008, pp

    Paul Seidel, A biased view of symplectic cohomology, Current Developments in Mathematics, vol. 2006, International Press of Boston, 2008, pp. 211–254

  52. [60]

    Symplectic Geom.15 (2017), 1173– 1208

    Egor Shelukhin,The Hofer norm of a contactomorphism, J. Symplectic Geom.15 (2017), 1173– 1208

  53. [61]

    Yuhan Sun, Igor Uljarevic, and Umut Varolgunes,Contact big fiber theorems, arXiv preprint arXiv:2503.04277 (2025)

  54. [62]

    Igor Uljarević,Viterbo’s transfer morphism for symplectomorphisms, J. Topol. Anal.11 (2019), 149–180

  55. [63]

    Igor Uljarević,Selective symplectic homology with applications to contact non-squeezing, Com- positio Mathematica 159 (2023), 2458–2482

  56. [64]

    Igor Uljarević and Jun Zhang, Contact quasi-states and their applications, arXiv preprint arXiv:2503.18750 (2025)

  57. [65]

    Math.184 (2011), 1–57

    Michael Usher,Boundary depth in Floer theory and its applications to Hamiltonian dynamics and coisotropic submanifolds, Israel J. Math.184 (2011), 1–57

  58. [66]

    Michael Usher,Hofer’s metrics and boundary depth, Ann. Sci. Éc. Norm. Supér. (4)46 (2013), 57–128

  59. [67]

    Michael Usher and Jun Zhang,Persistent homology and Floer-Novikov theory, Geom. Topol. 20 (2016), 3333–3430

  60. [68]

    Ann.292 (1992), 685–710

    Claude Viterbo,Symplectic topology as the geometry of generating functions, Math. Ann.292 (1992), 685–710

  61. [69]

    Oh Yong-Geun,Rational contact instantons and Legendrian Fukaya category, arXiv preprint, arXiv:2411.13830, 2024

  62. [70]

    Sun Yuhan, Spectral diameter of negatively monotone manifolds , arXiv preprint, arXiv: 2410.21416, 2024

  63. [71]

    Math.41 (1977), 1–22

    Wolfgang Ziller,The free loop space of globally symmetric spaces, Invent. Math.41 (1977), 1–22

  64. [72]

    Afra Zomorodian and Gunnar Carlsson, Computing persistent homology, Discrete Comput. Geom. 33 (2005), 249–274. Email address: danijel_djordjevic@matf.bg.ac.rs F aculty of mathematics, University of Belgrade, Studentski trg 16, 11158 Bel- grade, Serbia Email address: igoru@matf...

Pith tools

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