Pith. sign in

REVIEW 2 minor 52 references

An isomorphism equates the Z_d-equivariant Rabinowitz Floer homology of a Legendrian lift to the quantum homology of its Lagrangian base.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.3

2026-07-01 02:06 UTC pith:HCSUSAGO

load-bearing objection The paper defines Rabinowitz Floer homology for Legendrian lifts in prequantization bundles and proves an isomorphism to the quantum homology of the base Lagrangian, with explicit ring computations as the main payoff.

arxiv 2606.31674 v1 pith:HCSUSAGO submitted 2026-06-30 math.SG

Rabinowitz Floer homology for Legendrian submanifolds in prequantization bundles

Hanwool Bae , Jungsoo Kang , Sungho Kim This is my paper
classification math.SG
keywords Rabinowitz Floer homologyLegendrian submanifoldsprequantization bundlesquantum homologymonotone Lagrangiansequivariant homologyLagrangian spheresMaslov number
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper defines Rabinowitz Floer homology for Legendrian lifts of closed monotone Lagrangians in prequantization bundles, under the condition that the minimal Maslov number exceeds 2. It proves that the Z_d-equivariant version of this homology is isomorphic as a module to the quantum homology of the projected Lagrangian, where d is the degree of the covering, and that the map is a ring isomorphism when the Maslov number satisfies a stricter bound. The identification is then used to compute explicit quantum homology rings for Lagrangian spheres in quadrics and two-step flag manifolds. Further consequences include vanishing theorems for quantum homology when the base admits a polarization and the Lagrangian is disjoint from a trace set, plus obstructions to topologically simple fillings.

Core claim

Under the assumption that the minimal Maslov number N_L exceeds 2, the Z_d-equivariant Rabinowitz Floer homology of the Legendrian lift L is isomorphic to the quantum homology of the base Lagrangian L; when N_L is larger still, the isomorphism preserves the ring structures. The construction relies on the prequantization bundle structure and the monotonicity of L to set up the chain complexes and the covering action.

What carries the argument

The Z_d-equivariant Rabinowitz Floer homology of the Legendrian lift, built from the action functional on the covering space and filtered by the covering degree d.

Load-bearing premise

The minimal Maslov number of the Lagrangian must exceed 2 (plus monotonicity) both to define the Rabinowitz Floer homology and to obtain the isomorphism.

What would settle it

An explicit computation, for any single monotone Lagrangian sphere in a quadric with N_L greater than 2, showing that the rank or ring structure of its Z_d-equivariant Rabinowitz Floer homology differs from the known quantum homology of the sphere.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The quantum homology ring of Lagrangian spheres in quadrics is computed explicitly via the isomorphism.
  • The quantum homology ring of Lagrangian spheres in two-step flag manifolds is computed explicitly via the isomorphism.
  • Quantum invertibility of the symplectic form implies vanishing of the quantum homology of L.
  • The isomorphism yields obstructions to the existence of topologically simple fillings of the Legendrian L.
  • When the base admits a polarization and L is disjoint from the Lagrangian trace, the quantum homology of L vanishes.

Where Pith is reading between the lines

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

  • The same isomorphism technique might extend to other contact manifolds that are not necessarily prequantization bundles, provided an analogous covering action can be defined.
  • Computations of quantum homology via this route could be checked against independent algebraic geometry methods for additional classes of monotone Lagrangians.
  • Vanishing results might translate into new constraints on the existence of Lagrangian fillings in higher-dimensional contact manifolds.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 2 minor

Summary. The paper defines Rabinowitz Floer homology for a Legendrian lift ℒ of a closed monotone Lagrangian L in a prequantization bundle Y o (Σ,ω), assuming minimal Maslov number N_L > 2. It establishes an isomorphism between the ℤ_d-equivariant Rabinowitz Floer homology of ℒ and the quantum homology of L (with d the degree of the covering ℒ o L), which is a ring isomorphism under a stricter condition on N_L. The isomorphism is applied to compute the quantum homology ring of Lagrangian spheres in quadrics and two-step flag manifolds, and to obtain vanishing results for quantum homology when (Σ,ω) admits a polarization and L is disjoint from the Lagrangian trace, together with implications for fillings of ℒ.

Significance. If the isomorphism holds, the work supplies a concrete bridge between Rabinowitz Floer homology in the contact setting and quantum homology, permitting explicit computations in both directions and yielding vanishing theorems and filling obstructions as direct consequences. The applications to quadrics and flag manifolds constitute verifiable output that strengthens the result.

minor comments (2)
  1. [Abstract] Abstract: the phrase 'under a more restrictive condition on N_L' is left unspecified; stating the precise numerical threshold would improve immediate readability without altering the theorem statements.
  2. The manuscript would benefit from an explicit comparison table or diagram relating the chain complexes, differentials, and operations used in the Rabinowitz Floer side versus the quantum homology side, to make the isomorphism construction more transparent at a glance.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation of minor revision. No major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper defines Rabinowitz Floer homology of the Legendrian lift under the explicit standing hypotheses of monotonicity and N_L > 2 (standard to control disk bubbling), then constructs an isomorphism to the independently studied quantum homology of the base Lagrangian L. No central step reduces by construction to a fitted parameter, self-citation chain, or renamed input; the isomorphism and its ring version under stricter N_L are presented as new results whose consequences (computations on quadrics, vanishing theorems) are derived afterward. The derivation chain is self-contained against external benchmarks in symplectic geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard background in symplectic geometry (Floer theory axioms, quantum homology definitions) and domain assumptions like monotonicity and Maslov number bounds; no free parameters or invented entities are evident from the abstract.

axioms (2)
  • standard math Standard properties of Floer homology and quantum homology hold in this setting.
    Invoked implicitly when defining the new homology and the isomorphism.
  • domain assumption L is closed monotone Lagrangian with N_L > 2.
    Stated explicitly as the condition under which the definition and isomorphism are established.

pith-pipeline@v0.9.1-grok · 5754 in / 1468 out tokens · 30718 ms · 2026-07-01T02:06:12.729350+00:00 · methodology

0 comments
read the original abstract

Let $Y$ be a prequantization bundle over an integral symplectic manifold $(\Sigma,\omega)$. Let $L$ be a closed monotone Lagrangian submanifold that admits a Legendrian lift $\mathcal{L}$ in $Y$. Under the assumption that the minimal Maslov number $N_L$ of $L$ is greater than 2, we define the Rabinowitz Floer homology of $\mathcal{L}$. We then establish an isomorphism between the $\mathbb{Z}_d$-equivariant Rabinowitz Floer homology of $\mathcal{L}$ and the quantum homology of $L$, where $d$ is the degree of the covering map $\mathcal{L}\to L$. Under a more restrictive condition on $N_L$, we show that this map is a ring isomorphism. Using this isomorphism, we compute the quantum homology ring of Lagrangian spheres in quadrics and two-step flag manifolds. Furthermore, we investigate the implications of the quantum invertibility of $\omega$ for the vanishing of the quantum homology of $L$ and the obstructions to topologically simple fillings of $\mathcal{L}$. We also show that if $(\Sigma,\omega)$ admits a polarization and $L$ is disjoint from the Lagrangian trace, the quantum homology of $L$ vanishes.

Figures

Figures reproduced from arXiv: 2606.31674 by Hanwool Bae, Jungsoo Kang, SungHo Kim.

Figure 1
Figure 1. Figure 1: An element of MN (˜ql , p˜k; A; DH). There is a canonical projection map Π : MN (˜ql , p˜k; A; DH) → NN (q, p; A; D), Π(v) := (π ◦ v1, . . . , π ◦ vN ) (3.15) This map restricts to Π : M∗ N (˜ql , p˜k; A; DH) → N ∗ N (q, p; A; D). Proposition 3.11. Let J reg (Y,L) ⊂ JY be the subset of JY whose horizontal part JΣ belongs to J reg (Σ,L) defined in Proposition 2.4. Then for every choice of (˜p, k),(˜q, l) ∈ … view at source ↗
Figure 2
Figure 2. Figure 2: An element of MN(˜rk ′′, p˜k, q˜k ′; A; DP H) There is a canonical projection map Π : MN(˜rk ′′, p˜k, q˜k ′; A; D P H) −→ NN(r, p, q; A; D P ), (3.37) defined by Π(v) := w, where w := (π ◦ v 2H 1 , . . . , π ◦ v H N2+N3 ). We have the same projection map with MN and NN replaced by M∗ N and N ∗ N, respectively. Proposition 3.23. Let J reg,P (Y,L) be the subset of JY consisting of JY whose horizontal part JΣ… view at source ↗
Figure 3
Figure 3. Figure 3: The limit configuration of vν when N = 0 Since dim L ≥ 3, we may take the underlying simple chains of pearls of Π(v∞,I) and Π(v∞,II). We denote by N ∗ 1 (∅, q; A∗ I ; D) and N ∗ 1 (r, p; A∗ II; D) the moduli spaces containing these under￾lying simple chains of pearls, respectively. They have dim N ∗ 1 (∅, q; A ∗ I ; D) = dim L − indfL (q) + µL(A ∗ I ) ≥ 0, dim N ∗ 1 (r, p; A ∗ II; D) = indfL (r) − indfL (p… view at source ↗
Figure 4
Figure 4. Figure 4: Possible configurations of broken curves [PITH_FULL_IMAGE:figures/full_fig_p069_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: While the SFT-limit of {v˜ν}ν∈N could consist of more than two levels, our argument remains valid as we derive a contradiction by analyzing the topmost component. In the first case of [PITH_FULL_IMAGE:figures/full_fig_p069_5.png] view at source ↗
Figure 5
Figure 5. Figure 5: Possible configurations of SFT-broken curves [PITH_FULL_IMAGE:figures/full_fig_p070_5.png] view at source ↗

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

52 extracted references · 52 canonical work pages · 2 internal anchors

  1. [1]

    Casim Abbas, Pseudoholomorphic strips in symplectisations. I . A symptotic behavior , Ann. Inst. H. Poincar\'e C Anal. Non Lin\'eaire 21 (2004), no. 2, 139--185

    work page 2004

  2. [2]

    1, 27 -- 79

    Mohammed Abouzaid, On the wrapped Fukaya category and based loops , Journal of Symplectic Geometry 10 (2012), no. 1, 27 -- 79

    work page 2012

  3. [3]

    3, 407--456

    Peter Albers and Urs and Frauenfelder, Floer homology for negative line bundles and reeb chords in prequantization spaces, Journal of Modern Dynamics 3 (2009), no. 3, 407--456

    work page 2009

  4. [4]

    Peter Albers and Urs Frauenfelder, Leaf-wise intersections and R abinowitz F loer homology , J. Topol. Anal. 2 (2010), no. 1, 77--98

    work page 2010

  5. [5]

    Merry, Translated points and R abinowitz F loer homology , Journal of Fixed Point Theory and Applications 13 (2013), no

    Peter Albers and Will J. Merry, Translated points and R abinowitz F loer homology , Journal of Fixed Point Theory and Applications 13 (2013), no. 1, 201--214

    work page 2013

  6. [6]

    2, 263--293

    Alberto Abbondandolo, Alessandro Portaluri, and Matthias Schwarz, The homology of path spaces and F loer homology with conormal boundary conditions , Journal of Fixed Point Theory and Applications 4 (2008), no. 2, 263--293

    work page 2008

  7. [7]

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

    work page 2010

  8. [8]

    Pure Appl

    , Corrigendum: O n the F loer homology of cotangent bundles , Comm. Pure Appl. Math. 67 (2014), no. 4, 670--691

    work page 2014

  9. [9]

    Paul Biran and Kai Cieliebak, Symplectic topology on subcritical manifolds, Comment. Math. Helv. 76 (2001), no. 4, 712--753

    work page 2001

  10. [10]

    Paul Biran and Octav Cornea, Quantum structures for L agrangian submanifolds , arXiv:0708.4221, 2007

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  11. [11]

    Paul Biran and Octav Cornea, Rigidity and uniruling for L agrangian submanifolds , Geom. Topol. 13 (2009), no. 5, 2881--2989

    work page 2009

  12. [12]

    Woodward, Augmentation varieties and disk potentials III , 2024

    Kenneth Blakey, Soham Chanda, Yuhan Sun, and Chris T. Woodward, Augmentation varieties and disk potentials III , 2024

    work page 2024

  13. [13]

    Frederic Bourgeois, Yakov Eliashberg, Helmut Hofer, Kris Wysocki, and Eduard Zehnder, Compactness results in symplectic field theory, Geom. Topol. 7 (2003), no. 2, 799--888

    work page 2003

  14. [14]

    Biran, Lagrangian non-intersections, Geom

    P. Biran, Lagrangian non-intersections, Geom. Funct. Anal. 16 (2006), no. 2, 279--326

    work page 2006

  15. [15]

    Paul Biran and Michael Khanevsky, A F loer- G ysin exact sequence for L agrangian submanifolds , Comment. Math. Helv. 88 (2013), no. 4, 899--952

    work page 2013

  16. [16]

    Joonghyun Bae, Jungsoo Kang, and Sungho Kim, Rabinowitz F loer homology for prequantization bundles and F loer G ysin sequence , Mathematische Annalen (2024)

    work page 2024

  17. [17]

    Fr\' e d\' e ric Bourgeois and Alexandru Oancea, An exact sequence for contact- and symplectic homology, Invent. Math. 175 (2009), no. 3, 611--680

    work page 2009

  18. [18]

    Bott and Harold Samelson, On the P ontryagin product in spaces of paths , Commentarii Mathematici Helvetici 27 (1953), 320--337

    Roderick F. Bott and Harold Samelson, On the P ontryagin product in spaces of paths , Commentarii Mathematici Helvetici 27 (1953), 320--337

    work page 1953

  19. [19]

    Baptiste Chantraine, Georgios Dimitroglou Rizell, Paolo Ghiggini, and Roman Golovko, Geometric generation of the wrapped F ukaya category of W einstein manifolds and sectors , Ann. Sci. \' E c. Norm. Sup\' e r. (4) 57 (2024), no. 1, 1--85

    work page 2024

  20. [20]

    2, 251--316

    Kai Cieliebak and Urs Frauenfelder, A floer homology for exact contact embeddings, Pacific Journal of Mathematics 239 (2009), no. 2, 251--316

    work page 2009

  21. [21]

    Kai Cieliebak, Urs Frauenfelder, and Alexandru Oancea, Rabinowitz F loer homology and symplectic homology , Ann. Sci. \' E c. Norm. Sup\' e r. (4) 43 (2010), no. 6, 957--1015

    work page 2010

  22. [22]

    , International Mathematics Research Notices 2004 (2004), no

    Cheol-Hyun Cho, Holomorphic discs, spin structures, and F loer cohomology of the C lifford torus. , International Mathematics Research Notices 2004 (2004), no. 35, 1803

    work page 2004

  23. [23]

    12, 3140--3212

    Kai Cieliebak, Nancy Hingston, and Alexandru Oancea, Poincar \'e duality for loop spaces , Compositio Mathematica 161 (2025), no. 12, 3140--3212

    work page 2025

  24. [24]

    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 ( I sle of S kye, 2001), Progr. Math., vol. 215, Birkh\" a user, Basel, 2004, pp. 77--92

    work page 2001

  25. [25]

    Kai Cieliebak and Alexandru Oancea, Symplectic homology and the E ilenberg- S teenrod axioms , Algebr. Geom. Topol. 18 (2018), no. 4, 1953--2130, Appendix written jointly with Peter Albers

    work page 2018

  26. [26]

    Kai Cieliebak and Alexandru Oancea, Topological F robenius algebras , arXiv:2209.02979, 2022

    work page arXiv 2022

  27. [27]

    2, 203--264

    Kai Cieliebak and Alexandru Oancea, Reduced symplectic homology and string topology, Tunisian Journal of Mathematics 8 (2026), no. 2, 203--264

    work page 2026

  28. [28]

    Lisi, Morse- B ott split symplectic homology , J

    Lu\' s Diogo and Samuel T. Lisi, Morse- B ott split symplectic homology , J. Fixed Point Theory Appl. 21 (2019), no. 3, Paper No. 77, 77

    work page 2019

  29. [29]

    , Symplectic homology of complements of smooth divisors, J. Topol. 12 (2019), no. 3, 967--1030

    work page 2019

  30. [30]

    S. K. Donaldson, Symplectic submanifolds and almost-complex geometry, J. Differential Geom. 44 (1996), no. 4, 666--705

    work page 1996

  31. [31]

    5, 2903--2936

    Georgios Dimitroglou Rizell, Knotted L egendrian surfaces with few R eeb chords , Algebraic & Geometric Topology 11 (2011), no. 5, 2903--2936

    work page 2011

  32. [32]

    1, 29--105

    , Lifting pseudo-holomorphic polygons to the symplectisation of p R and applications , Quantum Topology 7 (2016), no. 1, 29--105

    work page 2016

  33. [33]

    4, 905--978

    Georgios Dimitroglou Rizell and Roman Golovko, Legendrian submanifolds from B ohr-- S ommerfeld covers of monotone L agrangian tori , Communications in Analysis and Geometry 31 (2023), no. 4, 905--978

    work page 2023

  34. [34]

    Sullivan, The persistence of a relative R abinowitz- F loer complex , Geometry & Topology 28 (2024), no

    Georgios Dimitroglou Rizell and Michael G. Sullivan, The persistence of a relative R abinowitz- F loer complex , Geometry & Topology 28 (2024), no. 5, 2145--2206

    work page 2024

  35. [35]

    Eliashberg, H

    Y. Eliashberg, H. Hofer, and D. Salamon, Lagrangian intersections in contact geometry, Geom. Funct. Anal. 5 (1995), no. 2, 244--269

    work page 1995

  36. [36]

    Urs Frauenfelder and Jungsoo Kang, Real holomorphic curves and invariant global surfaces of section, Proc. Lond. Math. Soc. (3) 112 (2016), no. 3, 477--511

    work page 2016

  37. [37]

    3, 369--388

    Emmanuel Giroux, Remarks on D onaldson's symplectic submanifolds , Pure and Applied Mathematics Quarterly 13 (2017), no. 3, 369--388

    work page 2017

  38. [38]

    2, 499--635

    Sheel Ganatra, John Pardon, and Vivek Shende, Sectorial descent for wrapped fukaya categories, Journal of the American Mathematical Society 37 (2023), no. 2, 499--635

    work page 2023

  39. [39]

    3, 1135--1168

    Shengda Hu and Fran c ois Lalonde, A relative S eidel morphism and the A lbers map , Transactions of the American Mathematical Society 362 (2009), no. 3, 1135--1168

    work page 2009

  40. [40]

    Tatsuki Kuwagaki, Adrian Petr, and Vivek Shende, On F ukaya categories and prequantization bundles , arXiv:2406.08852, 2024

    work page arXiv 2024

  41. [41]

    Asaf Kislev and Egor Shelukhin, Bounds on spectral norms and barcodes, Geom. Topol. 25 (2021), no. 7, 3257--3350

    work page 2021

  42. [42]

    1, 1--21

    Momchil Konstantinov and Jack Smith, Monotone L agrangians in CP ^n of minimal M aslov number n+1 , Mathematical Proceedings of the Cambridge Philosophical Society 171 (2021), no. 1, 1--21

    work page 2021

  43. [43]

    Merry, Lagrangian R abinowitz F loer homology and twisted cotangent bundles , Geom

    Will J. Merry, Lagrangian R abinowitz F loer homology and twisted cotangent bundles , Geom. Dedicata 171 (2014), 345--386

    work page 2014

  44. [44]

    52, American Mathematical Society, Providence, RI, 2012

    Dusa McDuff and Dietmar Salamon, J -holomorphic curves and symplectic topology , second ed., American Mathematical Society Colloquium Publications, vol. 52, American Mathematical Society, Providence, RI, 2012

    work page 2012

  45. [45]

    Kaoru Ono, Lagrangian intersection under L egendrian deformations , Duke Math. J. 85 (1996), no. 1, 209--225

    work page 1996

  46. [46]

    Ritter, Topological quantum field theory structure on symplectic cohomology, J

    Alexander F. Ritter, Topological quantum field theory structure on symplectic cohomology, J. Topol. 6 (2013), no. 2, 391--489

    work page 2013

  47. [47]

    4, 827--844

    Joel Robbin and Dietmar Salamon, The M aslov index for paths , Topology 32 (1993), no. 4, 827--844

    work page 1993

  48. [48]

    Seidel, _1 of symplectic automorphism groups and invertibles in quantum homology rings, Geometric And Functional Analysis 7 (1997), no

    P. Seidel, _1 of symplectic automorphism groups and invertibles in quantum homology rings, Geometric And Functional Analysis 7 (1997), no. 6, 1046--1096

    work page 1997

  49. [49]

    Paul Seidel, A remark on the symplectic cohomology of cotangent bundles, after K ragh , informal note (2010)

    work page 2010

  50. [50]

    5, 1289--1345

    David Treumann and Eric Zaslow, Cubic planar graphs and L egendrian surface theory , Advances in Theoretical and Mathematical Physics 22 (2018), no. 5, 1289--1345

    work page 2018

  51. [51]

    Symplectic Geom

    Peter Uebele, Periodic R eeb flows and products in symplectic homology , J. Symplectic Geom. 17 (2019), no. 4, 1201--1250

    work page 2019

  52. [52]

    Frol Zapolsky, The L agrangian F loer-quantum- PSS package and canonical orientations in F loer theory , arXiv:1507.02253, 2015

    work page internal anchor Pith review Pith/arXiv arXiv 2015