Poincar\'e duality for loop spaces
Pith reviewed 2026-05-24 14:55 UTC · model grok-4.3
The pith
Rabinowitz Floer homology and cohomology satisfy Poincaré duality that preserves their graded Frobenius algebra structure.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
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.
What carries the argument
Rabinowitz Floer homology and cohomology equipped with graded Frobenius algebra structure, with duality realized through Tate vector spaces.
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.
Where Pith is 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.
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.
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.
Figures
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.
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.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Standard properties and definitions of Rabinowitz Floer homology and cohomology
- standard math Properties of Tate vector spaces
Forward citations
Cited by 1 Pith paper
-
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...
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
-
[9]
A. Banyaga and D. E. Hurtubise. Cascades and perturbed Mors e-Bott func- tions. Algebr. Geom. Topol., 13(1):237–275, 2013
work page 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. Berger and J. L. Kazdan
work page 1978
-
[11]
R. Bott. On the iteration of closed geodesics and the Sturm inte rsection theory. Comm. Pure Appl. Math. , 9:171–206, 1956
work page 1956
-
[12]
R. Bott and L. W. Tu. Differential forms in algebraic topology , volume 82 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1982
work page 1982
- [13]
-
[14]
F. Bourgeois and A. Oancea. Symplectic homology, autonomous Hamiltonians, and Morse-Bott moduli spaces. Duke Math. J. , 146(1):71–174, 2009
work page 2009
-
[15]
M. Chas and D. Sullivan. String topology. arXiv:math/9911159, 1 999
work page internal anchor Pith review Pith/arXiv arXiv
-
[16]
K. Cieliebak and U. Frauenfelder. A Floer homology for exact con tact embed- dings. Pacific J. Math. , 239(2):251–316, 2009
work page 2009
-
[17]
K. Cieliebak and U. Frauenfelder. Morse homology on noncompac t manifolds. J. Korean Math. Soc. , 48(4):749–774, 2011
work page 2011
-
[18]
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
work page 2010
-
[19]
K. Cieliebak, N. Hingston, and A. Oancea. Homotopy invariance o f string topology operations. In progress
-
[20]
K. Cieliebak, N. Hingston, and A. Oancea. Index growth and leve l-potency. In progress
-
[21]
K. Cieliebak, N. Hingston, and A. Oancea. Loop coproduct in Mor se and Floer homology. arXiv preprint, 2020
work page 2020
-
[22]
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]
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
work page 2009
-
[24]
K. Cieliebak and A. Oancea. Multiplicative structures on cones an d duality. arXiv preprint, 2020
work page 2020
-
[25]
K. Cieliebak and A. Oancea. Symplectic homology and the Eilenberg –Steenrod axioms. Algebr. Geom. Topol., 18(4):1953–2130, 2018
work page 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
work page 2001
-
[27]
R. L. Cohen and J. R. Klein. Umkehr maps. Homology Homotopy Appl. , 11(1):17–33, 2009
work page 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
work page 2008
-
[29]
M. C. Crabb. Loop homology as fibrewise homology. Proc. Edinb. Math. Soc. (2), 51(1):27–44, 2008
work page 2008
-
[30]
T. Ekholm and A. Oancea. Symplectic and contact differential gr aded algebras. Geom. Topol., 21(4):2161–2230, 2017
work page 2017
-
[31]
U. Frauenfelder. The Arnold-Givental conjecture and momen t Floer homology. Int. Math. Res. Not. , (42):2179–2269, 2004
work page 2004
-
[32]
H. Freudenthal. Zum Hopfschen Umkehrhomomorphismus. Ann. of Math. (2) , 38(4):847–853, 1937
work page 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
work page 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
work page 1990
-
[35]
V. L. Ginzburg. The Conley conjecture. Ann. of Math. (2) , 172(2):1127–1180, 2010
work page 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
work page 2010
-
[37]
V. L. Ginzburg and B. Z. G¨ urel. Conley conjecture revisited. Int. Math. Res. Not. IMRN , (3):761–798, 2019
work page 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
work page 2013
-
[39]
M. Goresky and N. Hingston. Loop products and closed geodes ics. Duke Math. J., 150(1):117–209, 2009
work page 2009
-
[40]
K. Gruher and P. Salvatore. Generalized string topology opera tions. Proc. Lond. Math. Soc. (3) , 96(1):78–106, 2008
work page 2008
-
[41]
W. Gysin. Zur Homologietheorie der Abbildungen und Faserungen von Man- nigfaltigkeiten. Comment. Math. Helv. , 14:61–122, 1942
work page 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
work page 2019
- [43]
- [44]
- [45]
-
[46]
N. Hingston and H.-B. Rademacher. Resonance for loop homolog y of spheres. J. Differential Geom. , 93(1):133–174, 2013
work page 2013
-
[47]
N. Hington and N. Wahl. Homotopy invariance of the string topolo gy coprod- uct. arXiv:1908.03857, 2019
-
[48]
H. Hopf. Zur Algebra der Abbildungen von Mannigfaltigkeiten. J. Reine Angew. Math. , 163:71–88, 1930
work page 1930
-
[49]
T. Kragh. The Viterbo transfer as a map of spectra. J. Symplectic Geom. , 16(1):85–226, 2018
work page 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
work page 2008
- [51]
-
[52]
Y. Long. Index theory for symplectic paths with applications , volume 207 of Progress in Mathematics . Birkh¨ auser Verlag, Basel, 2002
work page 2002
-
[53]
M. McLean. Local Floer homology and infinitely many simple Reeb or bits. Algebr. Geom. Topol., 12(4):1901–1923, 2012
work page 1901
-
[54]
W. J. Merry. Lagrangian Rabinowitz Floer homology and twisted c otangent bundles. Geom. Dedicata, 171:345–386, 2014
work page 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
work page 2003
-
[56]
A. Oancea. Fibered symplectic cohomology and the Leray-Serr e spectral se- quence. J. Symplectic Geom. , 6(3):267–351, 2008
work page 2008
-
[57]
A. F. Ritter. Topological quantum field theory structure on sy mplectic coho- mology. J. Topol., 6(2):391–489, 2013
work page 2013
-
[58]
D. Salamon and J. Weber. Floer homology and the heat flow. Geom. Funct. Anal., 16(5):1050–1138, 2006
work page 2006
-
[59]
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
work page 1992
-
[60]
P. Seidel. A biased view of symplectic cohomology. In Current developments in mathematics, 2006 , pages 211–253. Int. Press, Somerville, MA, 2008
work page 2006
-
[61]
J.-P. Serre. Homologie singuli` ere des espaces fibr´ es. Applica tions. Ann. of Math. (2) , 54:425–505, 1951
work page 1951
- [62]
- [63]
- [64]
-
[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
work page 2010
-
[66]
R. Thom. Classes caract´ eristiques et i-carr´ es.C. R. Acad. Sci. Paris , 230:427– 429, 1950
work page 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
work page 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 : kai.cieliebak@math.uni-augsburg.de Department of Mathematics and Statistics, Co...
work page 1998
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.