pith. sign in

arxiv: 2008.13161 · v3 · submitted 2020-08-30 · 🧮 math.SG · math.AT

Poincar\'e duality for loop spaces

Pith reviewed 2026-05-24 14:55 UTC · model grok-4.3

classification 🧮 math.SG math.AT
keywords Rabinowitz Floer homologyPoincaré dualitygraded Frobenius algebraopen-closed TQFTcotangent bundlesclosed geodesicsloop productTate vector spaces
0
0 comments X

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.

The paper establishes a Poincaré duality between Rabinowitz Floer homology and cohomology for both closed and open strings that preserves the graded Frobenius algebra structure on each side. This duality lifts to an equivalence between graded open-closed TQFTs. The constructions rely on Tate vector spaces to control the infinite-dimensional features of the underlying loop spaces and Floer complexes. Specializing to cotangent bundles unifies several previously observed dual statements about closed geodesics and supplies a proof of a relation between the loop product and coproduct that Sullivan had conjectured.

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

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

  • 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

Figures reproduced from arXiv: 2008.13161 by Alexandru Oancea, Kai Cieliebak, Nancy Hingston.

Figure 1
Figure 1. Figure 1: Sullivan’s relation. Puzzle (d) is resolved by Theorem 1.9 restricted to the first summand of the splitting Hq ˚Λ “ H ˚ Λ‘H1´˚Λ: the cohomology product on H ˚ Λ is the secondary product derived from a closed noncompact TQFT with vanishing primary product. Puzzle (e) is resolved in a somewhat unexpected way: The loop product ‚ on H˚Λ and the cohomology product ⊛ on H ˚ Λ extend to products m on Hq˚Λ and c ˚… view at source ↗
Figure 2
Figure 2. Figure 2: Morphism of 2 ´ Cob` with 1 outgoing and 2 incoming boundary components. At the level of objects, an open-closed TQFT is determined by the module C associated to the oriented circle, and by the module O asso￾ciated to the oriented interval. We refer in this case to the pair pO, Cq as defining an open-closed noncompact TQFT. Our next theorem addresses open-closed TQFT structures from the perspective of Poin… view at source ↗
Figure 3
Figure 3. Figure 3: The zipper and the cozipper. Theorem 2.6. (1) For all A, B P Hˇ ˚Λ and C P Hˇ ˚Ω we have p1.iq i!pA ‚ Bq “ i!A ‚Ω i!B, p1.iiq pi˚Cq ‚ A “ i˚pC ‚Ω i!Aq. (2) For all a, b P Hˇ ˚Λ and c P Hˇ ˚Ω we have p2.iq i ˚ pa ⊛ bq “ i ˚ a ⊛Ω i ˚ b, p2.iiq pi ! cq ⊛ a “ i ! pc ⊛Ω i ˚ aq. Proof. Part (1) is a consequence of the open-closed noncompact TQFT structure on pHˇ ˚Ω, Hˇ ˚Λq, see [PITH_FULL_IMAGE:figures/full_fig… view at source ↗
Figure 4
Figure 4. Figure 4: TQFT proof of the Hopf-Freudenthal-Gysin formulas. 2.3. Loop product with the point class. In the following discussion we assume that M is oriented and we use Z-coefficients. The long exact sequence (2) and the fact that ι is a ring map imply that im ε “ kerι is an ideal. By the description (3) of the map ε we have im ε “ ZχpMqrqs, where rqs P H0Λ is the class of the constant loop at the basepoint q P M. S… view at source ↗
Figure 5
Figure 5. Figure 5: I II III 1 4 1 ´ ǫ 1 ´ ǫ 1 ´τ τ 1 r 3τ {4 ´τ 1 ´τ ´ǫ 1 τ ǫτ [PITH_FULL_IMAGE:figures/full_fig_p047_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Morse cochain complex for S ˚M. Proof. We work in the Morse-Bott limit using the Morse-Bott complex with cascades [31, Appendix A], see also [13]. In view of the Morse￾Bott Correspondence Theorem [9, Theorem 1.1], see also [14], this is equivalent to working with a perturbation φ ´ π ˚f that is very small. We choose on S a horizontal distribution and a metric such that the horizontal distribution is orthog… view at source ↗
Figure 7
Figure 7. Figure 7: Proof of Lemma 4.13(c). with Dx, and, with respect to this identification, we have ev|BDx ” p ´ max. Denoting κx “ deg pev : Dx{BDx Ñ Spmax q and taking into account that p ` max P Spmax is a regular value, we obtain κ “ ÿ xPZ κx. Similarly, we can express the Euler characteristic as a sum over zeroes of s, i.e. χ “ ÿ xPZ εx, where εx “ ˘1 is a sign which records whether the vertical differential dsvertpxq… view at source ↗
Figure 8
Figure 8. Figure 8: The function h and the perturbation ∇˜ φ [PITH_FULL_IMAGE:figures/full_fig_p058_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Hamiltonian profile for the canonical splitting. The free R-module underlying the Floer chain complex of H splits as C :“ F C˚pHq “ CF ‘ CI , where CF is generated by the 1-periodic orbits near Vδ, and CI by the orbits near r1´ε, 1`εsˆBV . The action of orbits in CF is ď ´p1´ε´δqµ and the action of orbits in CI is ě ´p1 ´ εqpµ ´ ηµq, where ηµ ą 0 is the distance from µ to the action spectrum of BV . Thus a… view at source ↗
Figure 10
Figure 10. Figure 10: Profile with small slope µ. Their indices are indpp `q “ indppq, indpp ´q “ indppq ` n ´ 1, indpp F q “ indppq ` n, and the Morse coboundary operator B M satisfies B Mp ´ min “ p F min ` “ B M f ppminq ‰´ ` χ ¨ p ` max , B Mp ´ “ p F ` “ B M f ppq ‰´ for all p ‰ pmin, B Mp ` “ “ B M f ppq ‰` , B Mp F “ “ B M f ppq ‰F . Here “ B M f ppq ‰‹ is a notation for ř nqq ‹ , where B M f ppq “ ř nqq and ‹ “ ´, `, F… view at source ↗
Figure 11
Figure 11. Figure 11: Morse cochain complex for a profile with small slope µ. We claim that A “ HpCF ‘ C ´ I q “ pR{χR, 0q [PITH_FULL_IMAGE:figures/full_fig_p063_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: The 1-dimensional moduli space of discs with 1 interior puncture and 2 boundary punctures. 6. BV structures and Poincar´e duality For dim M “ n we denote Hq ˚Λ “ Hq˚`nΛ, H˚Λ “ H˚`nΛ, H˚M “ H˚`nM. We discuss in this section the BV algebra structure6 on these three R-modules and the extension of Poincar´e duality in this setting. This structure plays a crucial role in [22], where we give applications to the… view at source ↗
Figure 14
Figure 14. Figure 14: For simplicity, we focus on the restriction of c ˚ to SH˚ ą0 pBV q. For an easier connection to Lemma 4.8, we shall describe the equivalent degree ´n ` 1 product on SHă0 ˚ pV, BV q » SH´˚ ą0 pBV q, denoted (37) σP D : SHă0 ˚ pV, BV q b SHă0 ˚ pV, BV q Ñ SHă0 ˚´n`1 pV, BV q. In Lemma 4.8 and the surrounding sections 4.3 and 4.4 we used two Hamiltonian profiles as in [PITH_FULL_IMAGE:figures/full_fig_p078_… view at source ↗
Figure 13
Figure 13. Figure 13: The cut-off function χR. Define the deformation H Ñ L Ñ H by the s-dependent Hamiltonian HRpsq :“ H ` χRpsqpL ´ Hq, s P R, and consider the 1-parameter family H λ :“ p1 ´ λqHR ` λH “ H ` p1 ´ λqχRpsqpL ´ Hq, λ P r0, 1s. The map K is determined by the count of elements of 0-dimensional moduli spaces of solutions to the 1-parametric Floer problem M1 px; yq :“ [PITH_FULL_IMAGE:figures/full_fig_p079_13.png] view at source ↗
Figure 14
Figure 14. Figure 14: As before, we pick a 1-form β on Σ satisfying dβ “ 0 with positive weights 1 and negative weight 2, and we fix a generic 2- parameter family of almost complex structures J “ J λ0,λ1 compatible with the cylindrical ends on Σ and on Vp. Given x 0 , x1 P PIII` pHq and [PITH_FULL_IMAGE:figures/full_fig_p080_14.png] view at source ↗
Figure 14
Figure 14. Figure 14: The secondary product σP D is read on the top and right sides of the parametrizing square. Appendix B. Grading conventions Our standing convention is to grade Hamiltonian Floer homology by the Conley-Zehnder index of orbits, and Lagrangian Floer homology by the Conley-Zehnder index of chords. Given a preferred trivialization, the Conley-Zehnder index CZpγq of a Hamiltonian orbit γ is such that the Fredhol… view at source ↗
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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

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)
  1. 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.
  2. 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.
  3. 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

0 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

The work rests on prior definitions and properties of Rabinowitz Floer homology, cohomology, and Tate vector spaces; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Standard properties and definitions of Rabinowitz Floer homology and cohomology
    The paper builds directly on existing constructions in the field as stated in the abstract.
  • standard math Properties of Tate vector spaces
    Used systematically to handle infinite-dimensional aspects.

pith-pipeline@v0.9.0 · 5682 in / 1293 out tokens · 25055 ms · 2026-05-24T14:55:52.142707+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Reduced symplectic homology and string topology

    math.SG 2022-09 unverdicted novelty 7.0

    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

68 extracted references · 68 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Abbondandolo, A

    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

  2. [2]

    Abbondandolo and M

    A. Abbondandolo and M. Schwarz. On the Floer homology of cotan gent bun- dles. Comm. Pure Appl. Math. , 59(2):254–316, 2006

  3. [3]

    Abbondandolo and M

    A. Abbondandolo and M. Schwarz. Floer homology of cotangent b undles and the loop product. Geom. Topol., 14(3):1569–1722, 2010

  4. [4]

    Abbondandolo and M

    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

  5. [5]

    Abbondandolo and M

    A. Abbondandolo and M. Schwarz. Corrigendum: On the Floer hom ology of cotangent bundles. Comm. Pure Appl. Math. , 67(4):670–691, 2014

  6. [6]

    Abouzaid

    M. Abouzaid. On the wrapped Fukaya category and based loops. J. Symplectic Geom., 10(1):27–79, 2012

  7. [7]

    Abouzaid

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

  8. [8]

    Alexandroff and H

    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

  9. [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

  10. [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

  11. [11]

    R. Bott. On the iteration of closed geodesics and the Sturm inte rsection theory. Comm. Pure Appl. Math. , 9:171–206, 1956

  12. [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

  13. [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

  14. [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

  15. [15]

    String Topology

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

  16. [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

  17. [17]

    Cieliebak and U

    K. Cieliebak and U. Frauenfelder. Morse homology on noncompac t manifolds. J. Korean Math. Soc. , 48(4):749–774, 2011

  18. [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

  19. [19]

    Cieliebak, N

    K. Cieliebak, N. Hingston, and A. Oancea. Homotopy invariance o f string topology operations. In progress

  20. [20]

    Cieliebak, N

    K. Cieliebak, N. Hingston, and A. Oancea. Index growth and leve l-potency. In progress

  21. [21]

    Cieliebak, N

    K. Cieliebak, N. Hingston, and A. Oancea. Loop coproduct in Mor se and Floer homology. arXiv preprint, 2020

  22. [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. [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

  24. [24]

    Cieliebak and A

    K. Cieliebak and A. Oancea. Multiplicative structures on cones an d duality. arXiv preprint, 2020

  25. [25]

    Cieliebak and A

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

  26. [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

  27. [27]

    R. L. Cohen and J. R. Klein. Umkehr maps. Homology Homotopy Appl. , 11(1):17–33, 2009

  28. [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

  29. [29]

    M. C. Crabb. Loop homology as fibrewise homology. Proc. Edinb. Math. Soc. (2), 51(1):27–44, 2008

  30. [30]

    Ekholm and A

    T. Ekholm and A. Oancea. Symplectic and contact differential gr aded algebras. Geom. Topol., 21(4):2161–2230, 2017

  31. [31]

    Frauenfelder

    U. Frauenfelder. The Arnold-Givental conjecture and momen t Floer homology. Int. Math. Res. Not. , (42):2179–2269, 2004

  32. [32]

    Freudenthal

    H. Freudenthal. Zum Hopfschen Umkehrhomomorphismus. Ann. of Math. (2) , 38(4):847–853, 1937

  33. [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

  34. [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

  35. [35]

    V. L. Ginzburg. The Conley conjecture. Ann. of Math. (2) , 172(2):1127–1180, 2010

  36. [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

  37. [37]

    V. L. Ginzburg and B. Z. G¨ urel. Conley conjecture revisited. Int. Math. Res. Not. IMRN , (3):761–798, 2019

  38. [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

  39. [39]

    Goresky and N

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

  40. [40]

    Gruher and P

    K. Gruher and P. Salvatore. Generalized string topology opera tions. Proc. Lond. Math. Soc. (3) , 96(1):78–106, 2008

  41. [41]

    W. Gysin. Zur Homologietheorie der Abbildungen und Faserungen von Man- nigfaltigkeiten. Comment. Math. Helv. , 14:61–122, 1942

  42. [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

  43. [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

  44. [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

  45. [45]

    Hingston

    N. Hingston. Subharmonic solutions of Hamiltonian equations on t ori. Ann. of Math. (2) , 170(2):529–560, 2009

  46. [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

  47. [47]

    Hington and N

    N. Hington and N. Wahl. Homotopy invariance of the string topolo gy coprod- uct. arXiv:1908.03857, 2019

  48. [48]

    H. Hopf. Zur Algebra der Abbildungen von Mannigfaltigkeiten. J. Reine Angew. Math. , 163:71–88, 1930

  49. [49]

    T. Kragh. The Viterbo transfer as a map of spectra. J. Symplectic Geom. , 16(1):85–226, 2018

  50. [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

  51. [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

  52. [52]

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

  53. [53]

    M. McLean. Local Floer homology and infinitely many simple Reeb or bits. Algebr. Geom. Topol., 12(4):1901–1923, 2012

  54. [54]

    W. J. Merry. Lagrangian Rabinowitz Floer homology and twisted c otangent bundles. Geom. Dedicata, 171:345–386, 2014

  55. [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

  56. [56]

    A. Oancea. Fibered symplectic cohomology and the Leray-Serr e spectral se- quence. J. Symplectic Geom. , 6(3):267–351, 2008

  57. [57]

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

  58. [58]

    Salamon and J

    D. Salamon and J. Weber. Floer homology and the heat flow. Geom. Funct. Anal., 16(5):1050–1138, 2006

  59. [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

  60. [60]

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

  61. [61]

    J.-P. Serre. Homologie singuli` ere des espaces fibr´ es. Applica tions. Ann. of Math. (2) , 54:425–505, 1951

  62. [62]

    Shelukhin

    E. Shelukhin. String topology and a conjecture of Viterbo. arX iv:1904.06798, 2019

  63. [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

  64. [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

  65. [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

  66. [66]

    R. Thom. Classes caract´ eristiques et i-carr´ es.C. R. Acad. Sci. Paris , 230:427– 429, 1950

  67. [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

  68. [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...