REVIEW 3 minor 3 cited by
Poincar\'e duality for loop spaces
T0 review · 0 major / 3 minor · reviewed 2026-05-24 · grok-4.3
Pith's one-line read Rabinowitz Floer homology and cohomology satisfy Poincaré duality that preserves their graded Frobenius algebra structure.
desk verdict This paper proves Poincaré duality for Rabinowitz Floer homology and cohomology that preserves the graded Frobenius structure, lifts to open-closed TQFT duality, and proves Sullivan's conjecture on the loop product and coproduct. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
Rabinowitz Floer homology and cohomology equipped with graded Frobenius algebra structure, with duality realized through Tate vector spaces.
What would settle it
An explicit computation on a specific cotangent bundle where the induced map between homology and cohomology fails to intertwine the product and coproduct operations.
Extended reading notes
Core claim
We show that Rabinowitz Floer homology and cohomology carry the structure of a graded Frobenius algebra for both closed and open strings. We prove a Poincaré duality theorem between homology and cohomology that preserves this structure. This lifts to a duality theorem between graded open-closed TQFTs. We use in a systematic way the formalism of Tate vector spaces.
Load-bearing premise
Tate vector spaces correctly organize the infinite-dimensional data of the loop spaces and Floer complexes so that the duality maps are well-defined and structure-preserving.
Editorial extensions
If this is right
- Specialization to cotangent bundles produces well-defined Rabinowitz loop homology and cohomology.
- The duality unifies observed pairs of dual statements on critical levels, relations to the based loop space, manifolds with all geodesics closed, Bott index iteration, and level-potency.
- The graded Frobenius algebra structure supplies both meaning and a proof for the conjectured relation between the loop product and coproduct.
Reading between the lines
- The same Tate-vector-space technique may produce analogous dualities in other Floer theories whose complexes are infinite-dimensional.
- The resulting TQFT duality could be used to relate string topology operations on different manifolds in a systematic way.
- Computations of Rabinowitz loop homology on specific manifolds might now be transferred to the cohomology side via the duality map.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that Rabinowitz Floer homology and cohomology carry graded Frobenius algebra structures for closed and open strings. It establishes a Poincaré duality between homology and cohomology preserving this structure, which lifts to a duality between graded open-closed TQFTs, using the formalism of Tate vector spaces to handle infinite-dimensional loop spaces and Floer complexes. Specializing to cotangent bundles, it defines Rabinowitz loop homology/cohomology and unifies dual results on critical levels, based loop spaces, manifolds with all geodesics closed, Bott iteration, and level-potency; it also proves the relation between loop product and coproduct conjectured by Sullivan.
Significance. If the results hold, the work supplies a unified algebraic framework for duality phenomena in string topology and symplectic geometry, explaining multiple observed dualities for closed geodesics from a single perspective and giving rigorous meaning to Sullivan's conjectured relation. The systematic application of Tate vector spaces to produce well-defined duals and pairings compatible with the TQFT operations is a technical contribution that addresses a recurring obstacle in infinite-dimensional settings.
minor comments (3)
- The abstract and introduction refer to 'graded open-closed TQFTs' without an explicit definition or reference to the precise axioms used; a short subsection recalling the relevant TQFT operations and grading conventions would improve readability.
- Notation for the Rabinowitz action functional and its critical levels is introduced in §2 but reused with minor variants in the cotangent-bundle specialization (§6); a consolidated table of symbols would reduce ambiguity.
- The proof that the duality preserves the Frobenius algebra structure (Theorem 4.3) relies on compatibility of the Tate pairing with the product and coproduct; while the argument is sketched, an expanded diagram chase or explicit sign computation in an appendix would strengthen the presentation.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of our work on Poincaré duality for Rabinowitz Floer homology and its applications to loop spaces and string topology. The recommendation for minor revision is noted. As the report lists no major comments, we have no specific points requiring rebuttal or clarification at this stage.
Circularity Check
No circularity; derivation relies on established external formalisms
full rationale
The paper establishes a Poincaré duality for Rabinowitz Floer homology and cohomology (preserving graded Frobenius algebra structure and lifting to open-closed TQFTs) by systematically applying the Tate vector spaces formalism to handle infinite-dimensional aspects of loop spaces and Floer complexes. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations appear in the provided text. The central claims are presented as building on prior Floer homology literature and the Tate formalism as an independent tool, without equations or definitions that reduce the output to the inputs by construction. This is self-contained against external benchmarks, consistent with the most common honest finding of no circularity.
Assumptions & free parameters
assumptions (2)
- domain assumption Standard properties and definitions of Rabinowitz Floer homology and cohomology
- standard math Properties of Tate vector spaces
Cite this review
Pith. "Pith review of Poincar\'e duality for loop spaces." pith.science (2026). https://pith.science/paper/CR2QHMLW
@misc{pith2026200813161,
author = {Pith},
title = {Pith review of: Poincar\'e duality for loop spaces},
year = {2026},
howpublished = {\url{https://pith.science/paper/CR2QHMLW}},
note = {Machine review of arXiv:2008.13161}
}
read the original abstract
We show that Rabinowitz Floer homology and cohomology carry the structure of a graded Frobenius algebra for both closed and open strings. We prove a Poincar\'e duality theorem between homology and cohomology that preserves this structure. This lifts to a duality theorem between graded open-closed TQFTs. We use in a systematic way the formalism of Tate vector spaces. Specializing to the case of cotangent bundles, we define Rabinowitz loop homology and cohomology and explain from a unified perspective pairs of dual results that have been observed over the years in the context of the search for closed geodesics. These concern critical levels, relations to the based loop space, manifolds all of whose geodesics are closed, Bott index iteration, and level-potency. Moreover, the graded Frobenius algebra structure gives meaning and proof to a relation conjectured by Sullivan between the loop product and coproduct.
Figures
Figures from the paper (13 more)
Forward citations
Cited by 3 Pith papers
-
Abstract categorical residues and Calabi-Yau structures
A new 'categorical residue' construction shows that the formal punctured neighborhood of infinity of a smooth A-infinity category inherits a weak proper Calabi-Yau structure of one dimension lower.
-
Reduced symplectic homology and string topology
Reduced loop homology is introduced so the loop product and coproduct form a unital infinitesimal anti-symmetric bialgebra satisfying a modified Sullivan relation, established via reduced symplectic homology on Weinst...
-
Graded Frobenius Algebras
Graded Frobenius algebras are defined via a graph-based PROP, and an equivalence with explicit map-and-relation descriptions, including all required signs, is proved.
Reference graph
Works this paper leans on
-
[1]
A. Abbondandolo, A. Portaluri, and M. Schwarz. The homology of path spaces and Floer homology with conormal boundary conditions. J. Fixed Point Theory Appl., 4(2):263–293, 2008
work page 2008
-
[2]
A. Abbondandolo and M. Schwarz. On the Floer homology of cotan gent bun- dles. Comm. Pure Appl. Math. , 59(2):254–316, 2006
work page 2006
-
[3]
A. Abbondandolo and M. Schwarz. Floer homology of cotangent b undles and the loop product. Geom. Topol., 14(3):1569–1722, 2010
work page 2010
-
[4]
A. Abbondandolo and M. Schwarz. On product structures in Floe r homology of cotangent bundles. In Global differential geometry , volume 17 of Springer Proc. Math., pages 491–521. Springer, Heidelberg, 2012
work page 2012
-
[5]
A. Abbondandolo and M. Schwarz. Corrigendum: On the Floer hom ology of cotangent bundles. Comm. Pure Appl. Math. , 67(4):670–691, 2014
work page 2014
- [6]
- [7]
-
[8]
P. Alexandroff and H. Hopf. Topologie. I. Springer-Verlag, Berlin-New York, 1974 (1935). Berichtigter Reprint, Die Grundlehren der mathemat ischen Wis- senschaften, Band 45
work page 1974
Show all 68 references
-
[9]
Banyaga and D
A. Banyaga and D. E. Hurtubise. Cascades and perturbed Mors e-Bott func- tions. Algebr. Geom. Topol., 13(1):237–275, 2013
2013
-
[10]
A. L. Besse. Manifolds all of whose geodesics are closed , volume 93 of Ergeb- nisse der Mathematik und ihrer Grenzgebiete [Results in Mat hematics and Related Areas]. Springer-Verlag, Berlin, 1978. With appendices by D. B. A. Epstein, J.-P. Bourguignon, L. B´ erard-Bergery, M...
1978
-
[11]
R. Bott. On the iteration of closed geodesics and the Sturm inte rsection theory. Comm. Pure Appl. Math. , 9:171–206, 1956
1956
-
[12]
Bott and L
R. Bott and L. W. Tu. Differential forms in algebraic topology , volume 82 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1982
1982
-
[13]
Bourgeois
F. Bourgeois. A Morse-Bott approach to contact homology. I n Symplectic and contact topology: interactions and perspectives (Toronto , ON/Montreal, QC, 2001), volume 35 of Fields Inst. Commun. , pages 55–77. Amer. Math. Soc., Providence, RI, 2003
2001
-
[14]
Bourgeois and A
F. Bourgeois and A. Oancea. Symplectic homology, autonomous Hamiltonians, and Morse-Bott moduli spaces. Duke Math. J. , 146(1):71–174, 2009
2009
- [15]
-
[16]
Cieliebak and U
K. Cieliebak and U. Frauenfelder. A Floer homology for exact con tact embed- dings. Pacific J. Math. , 239(2):251–316, 2009
2009
-
[17]
Cieliebak and U
K. Cieliebak and U. Frauenfelder. Morse homology on noncompac t manifolds. J. Korean Math. Soc. , 48(4):749–774, 2011
2011
-
[18]
Cieliebak, U
K. Cieliebak, U. Frauenfelder, and A. Oancea. Rabinowitz Floer h omology and symplectic homology. Ann. Sci. ´Ec. Norm. Sup´ er. (4), 43(6):957–1015, 2010
2010
-
[19]
Cieliebak, N
K. Cieliebak, N. Hingston, and A. Oancea. Homotopy invariance o f string topology operations. In progress
-
[20]
Cieliebak, N
K. Cieliebak, N. Hingston, and A. Oancea. Index growth and leve l-potency. In progress
-
[21]
Cieliebak, N
K. Cieliebak, N. Hingston, and A. Oancea. Loop coproduct in Mor se and Floer homology. arXiv preprint, 2020
2020
-
[22]
Cieliebak, N
K. Cieliebak, N. Hingston, A. Oancea, and E. Shelukhin. Resonan ces and string point invertibility for compact rank one symmetric spaces. In progr ess. POINCAR ´E DUALITY FOR LOOP SPACES 85
-
[23]
Cieliebak and J
K. Cieliebak and J. Latschev. The role of string topology in symple ctic field theory. In New perspectives and challenges in symplectic field theory , volume 49 of CRM Proc. Lecture Notes , pages 113–146. Amer. Math. Soc., Providence, RI, 2009
2009
-
[24]
Cieliebak and A
K. Cieliebak and A. Oancea. Multiplicative structures on cones an d duality. arXiv preprint, 2020
2020
-
[25]
Cieliebak and A
K. Cieliebak and A. Oancea. Symplectic homology and the Eilenberg –Steenrod axioms. Algebr. Geom. Topol., 18(4):1953–2130, 2018
1953
-
[26]
R. L. Cohen, J. D. S. Jones, and J. Yan. The loop homology algeb ra of spheres and projective spaces. In Categorical decomposition techniques in alge- braic topology (Isle of Skye, 2001) , volume 215 of Progr. Math., pages 77–92. Birkh¨ auser, Basel, 2004
2001
-
[27]
R. L. Cohen and J. R. Klein. Umkehr maps. Homology Homotopy Appl. , 11(1):17–33, 2009
2009
-
[28]
R. L. Cohen, J. R. Klein, and D. Sullivan. The homotopy invariance of the string topology loop product and string bracket. J. Topol., 1(2):391–408, 2008
2008
-
[29]
M. C. Crabb. Loop homology as fibrewise homology. Proc. Edinb. Math. Soc. (2), 51(1):27–44, 2008
2008
-
[30]
Ekholm and A
T. Ekholm and A. Oancea. Symplectic and contact differential gr aded algebras. Geom. Topol., 21(4):2161–2230, 2017
2017
-
[31]
Frauenfelder
U. Frauenfelder. The Arnold-Givental conjecture and momen t Floer homology. Int. Math. Res. Not. , (42):2179–2269, 2004
2004
-
[32]
Freudenthal
H. Freudenthal. Zum Hopfschen Umkehrhomomorphismus. Ann. of Math. (2) , 38(4):847–853, 1937
1937
-
[33]
W. Fulton. Intersection theory , volume 2 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Rela ted Areas (3)] . Springer-Verlag, Berlin, 1984
1984
-
[34]
M. Furuta. Morse theory and Thom-Gysin exact sequence. In Einstein metrics and Yang-Mills connections (Sanda, 1990) , volume 145 of Lecture Notes in Pure and Appl. Math. , pages 69–77. Dekker, New York, 1993
1990
-
[35]
V. L. Ginzburg. The Conley conjecture. Ann. of Math. (2) , 172(2):1127–1180, 2010
2010
-
[36]
V. L. Ginzburg and B. Z. G¨ urel. Local Floer homology and the ac tion gap. J. Symplectic Geom., 8(3):323–357, 2010
2010
-
[37]
V. L. Ginzburg and B. Z. G¨ urel. Conley conjecture revisited. Int. Math. Res. Not. IMRN , (3):761–798, 2019
2019
-
[38]
V. L. Ginzburg, D. Hein, U. L. Hryniewicz, and L. Macarini. Closed Reeb orbits on the sphere and symplectically degenerate maxima. Acta Math. Vietnam. , 38(1):55–78, 2013
2013
-
[39]
Goresky and N
M. Goresky and N. Hingston. Loop products and closed geodes ics. Duke Math. J., 150(1):117–209, 2009
2009
-
[40]
Gruher and P
K. Gruher and P. Salvatore. Generalized string topology opera tions. Proc. Lond. Math. Soc. (3) , 96(1):78–106, 2008
2008
-
[41]
W. Gysin. Zur Homologietheorie der Abbildungen und Faserungen von Man- nigfaltigkeiten. Comment. Math. Helv. , 14:61–122, 1942
1942
-
[42]
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
-
[43]
Hingston
N. Hingston. On the growth of the number of closed geodesics o n the two- sphere. Internat. Math. Res. Notices , (9):253–262, 1993
1993
-
[44]
Hingston
N. Hingston. On the lengths of closed geodesics on a two-spher e. Proc. Amer. Math. Soc. , 125(10):3099–3106, 1997. 86 KAI CIELIEBAK, NANCY HINGSTON, AND ALEXANDRU OANCEA
1997
-
[45]
Hingston
N. Hingston. Subharmonic solutions of Hamiltonian equations on t ori. Ann. of Math. (2) , 170(2):529–560, 2009
2009
-
[46]
Hingston and H.-B
N. Hingston and H.-B. Rademacher. Resonance for loop homolog y of spheres. J. Differential Geom. , 93(1):133–174, 2013
2013
-
[47]
Hington and N
N. Hington and N. Wahl. Homotopy invariance of the string topolo gy coprod- uct. arXiv:1908.03857, 2019
1908
-
[48]
H. Hopf. Zur Algebra der Abbildungen von Mannigfaltigkeiten. J. Reine Angew. Math. , 163:71–88, 1930
1930
-
[49]
T. Kragh. The Viterbo transfer as a map of spectra. J. Symplectic Geom. , 16(1):85–226, 2018
2018
-
[50]
A. D. Lauda and H. Pfeiffer. Open-closed strings: two-dimensio nal extended TQFTs and Frobenius algebras. Topology Appl., 155(7):623–666, 2008
2008
-
[51]
Liu and Y
C.-G. Liu and Y. Long. Iteration inequalities of the Maslov-type in dex theory with applications. J. Differential Equations , 165(2):355–376, 2000
2000
-
[52]
Y. Long. Index theory for symplectic paths with applications , volume 207 of Progress in Mathematics . Birkh¨ auser Verlag, Basel, 2002
2002
-
[53]
M. McLean. Local Floer homology and infinitely many simple Reeb or bits. Algebr. Geom. Topol., 12(4):1901–1923, 2012
1901
-
[54]
W. J. Merry. Lagrangian Rabinowitz Floer homology and twisted c otangent bundles. Geom. Dedicata, 171:345–386, 2014
2014
-
[55]
A. Oancea. La suite spectrale de Leray-Serre en homologie de Floer des vari´ et´ es symplectiques compactes ` a bord de type contact. PhD thesis, Universit´ e Paris Sud, Orsay, France, September 2003. http://tel.archives- ouvertes.fr/tel- 00005504
2003
-
[56]
A. Oancea. Fibered symplectic cohomology and the Leray-Serr e spectral se- quence. J. Symplectic Geom. , 6(3):267–351, 2008
2008
-
[57]
A. F. Ritter. Topological quantum field theory structure on sy mplectic coho- mology. J. Topol., 6(2):391–489, 2013
2013
-
[58]
Salamon and J
D. Salamon and J. Weber. Floer homology and the heat flow. Geom. Funct. Anal., 16(5):1050–1138, 2006
2006
-
[59]
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
-
[60]
P. Seidel. A biased view of symplectic cohomology. In Current developments in mathematics, 2006 , pages 211–253. Int. Press, Somerville, MA, 2008
2006
-
[61]
J.-P. Serre. Homologie singuli` ere des espaces fibr´ es. Applica tions. Ann. of Math. (2) , 54:425–505, 1951
1951
-
[62]
Shelukhin
E. Shelukhin. String topology and a conjecture of Viterbo. arX iv:1904.06798, 2019
1904
-
[63]
Steenrod
N. Steenrod. The topology of fibre bundles . Princeton Landmarks in Mathe- matics. Princeton University Press, Princeton, NJ, 1999. Reprint of the 1957 edition, Princeton Paperbacks
1999
-
[64]
Sullivan
D. Sullivan. Open and closed string field theory interpreted in clas sical alge- braic topology. In Topology, geometry and quantum field theory , volume 308 of London Math. Soc. Lecture Note Ser. , pages 344–357. Cambridge Univ. Press, Cambridge, 2004
2004
-
[65]
H. Tamanoi. Loop coproducts in string topology and triviality of h igher genus TQFT operations. J. Pure Appl. Algebra , 214(5):605–615, 2010
2010
-
[66]
R. Thom. Classes caract´ eristiques et i-carr´ es.C. R. Acad. Sci. Paris , 230:427– 429, 1950
1950
-
[67]
P. Uebele. Periodic Reeb flows and products in symplectic homolog y. J. Sym- plectic Geom., 17(4):1201–1250, 2019. POINCAR ´E DUALITY FOR LOOP SPACES 87
2019
-
[68]
C. Viterbo. Functors and computations in Floer homology with ap - plications. II. Pr´ epublication Orsay 98-15, 1998. Available online at http://www.math.ens.fr/„viterbo/FCFH.II.2003.pdf. Universit¨at Augsburg Universit¨atsstrasse 14, D-86159 Augsburg, Germany E-mail address :...
1998
Reviewed May 24, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.