Linear K-Systems: Floer Cohomology I – Statement

  • Chapter
  • First Online:
Kuranishi Structures and Virtual Fundamental Chains

Part of the book series: Springer Monographs in Mathematics ((SMM))

  • 688 Accesses

Abstract

We axiomatize the properties enjoyed by the system of moduli spaces of solutions of Floer’s equation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
EUR 29.95
Price includes VAT (Germany)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
EUR 106.99
Price includes VAT (Germany)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
EUR 139.09
Price includes VAT (Germany)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info
Hardcover Book
EUR 139.09
Price includes VAT (Germany)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    In the geometric situation when \(\mathcal M(\alpha _-,\alpha _+)\) is the moduli space of the solution of Floer’s equation (15.2) (see Sect. 15.1), the maps ev, ev+ are defined as the limits τ →−, τ → +, respectively.

  2. 2.

    We note that \({\mathcal M}({\alpha },{\alpha }) = \emptyset \) in particular.

  3. 3.

    In the case of the linear K-system obtained from periodic Hamiltonian systems, we take \(o_R=\Theta _R^{-}\) for each critical submanifold R, where \(\Theta _R^{-}\) is defined as the determinant of the index bundle of a certain family of elliptic operators. See [FOOO4, Definition 8.8.2] for the precise definition. Then [FOOO4, Proposition 8.8.6] yields the isomorphism (16.2). Note the moduli space written as \(\mathcal M(\alpha _-,\alpha _+)\) in this book was written as \(\mathcal M(R_{\alpha _+},R_{\alpha _-})\) in [FOOO4]. See Remark 16.2 (1). On the other hand, in [FOOO4, Proposition 8.8.7] we take \(o_{R}=\det TR \otimes \Theta _R^{-}\). Note that we use singular chains in [FOOO4], while we use differential forms in the current book. So the choices of o R are slightly different.

  4. 4.

    See [FOOO4, Section 8.8].

  5. 5.

    Note that \(o_{R_{\alpha }}\) may not coincide with the principal O(1) bundle giving an orientation of R α. For example, \(o_{R_{\alpha }}\) may be nontrivial even in the case when R α is orientable. On the other hand, if \({\mathcal M}(\alpha _-,\alpha _+)\) is orientable then \(o_{{\mathcal M}(\alpha _-,\alpha _+)}\) is trivial.

  6. 6.

    The right hand side is a finite union by Condition (IX).

  7. 7.

    We do not assume any compatibility of the orientation isomorphism at the corner, because what we will use is Stokes’ formula where the boundary but not the corner appears.

  8. 8.

    Namely, we collect the same data as in Conditions 16.1 as far as critical submanifolds are concerned.

  9. 9.

    We use \(\mathcal F\) to denote a linear K-system. Here F stands for Floer.

  10. 10.

    In Item (5) we put deg e = 2. The Novikov ring \(\Lambda _{\mathrm {nov}}^R\) here is the same as the one introduced in [FOOO3], where the indeterminate e has degree 2.

  11. 11.

    Here the case \(\mathcal C_1=\mathcal C_2\) is also included.

  12. 12.

    The right hand side is a finite sum by Condition (IX).

  13. 13.

    In Condition 16.17 (V) \(\mathcal N(\alpha _1,\alpha _2)\) is required to be the empty set if E(α 1) = E(α 2) + c.

  14. 14.

    We denote by \({\mathcal N}_{12}\) the interpolation space of the morphism \(\mathfrak N_{21}\). See Remark 18.33.

  15. 15.

    So the order of factors in (16.41) does not matter as we note in Remark 16.2.

  16. 16.

    Hereafter we use the superscript i to label the elements in the inductive system.

  17. 17.

    In other words, it is a homotopy of homotopies.

References

  1. M. Abouzaid, P. Seidel, An open string analogue of Viterbo functoriality. Geom. Topol. 14(2), 627–718 (2010)

    Article  MathSciNet  Google Scholar 

  2. F. Bourgeois, A. Oancea, Symplectic homology, autonomous Hamiltonians, and Morse-Bott moduli spaces. Duke Math. J. 146(1), 71–174 (2009)

    Article  MathSciNet  Google Scholar 

  3. K. Cieliebak, A. Floer, H. Hofer, Symplectic homology. II A general construction. Math. Z. 218(1), 103–122 (1995)

    MATH  Google Scholar 

  4. A. Floer, H. Hofer, Symplectic homology. I. Open sets in \({\mathbb C}^n\). Math. Z. 215(1), 37–88 (1994)

    Google Scholar 

  5. K. Fukaya, Y.-G. Oh, H. Ohta, K. Ono, Lagrangian Intersection Floer Theory-Anomaly and Obstruction, Part I. AMS/IP Studies in Advanced Mathematics 46.1 (International Press/American Mathematical Society, 2009). MR2553465

    Google Scholar 

  6. K. Fukaya, Y.-G. Oh, H. Ohta, K. Ono, Lagrangian Intersection Floer Theory-Anomaly and Obstruction, Part II. AMS/IP Studies in Advanced Mathematics 46.2 (International Press/American Mathematical Society, 2009). MR2548482

    Google Scholar 

  7. K. Fukaya, Y.-G. Oh, H. Ohta, K. Ono, Spectral Invariants with Bulk, Quasi-morphisms and Lagrangian Floer Theory. Memoirs of the American Mathematical Society 1254 (2019), 266pp, ar**v:1105.5123

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Singapore Pte Ltd.

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Fukaya, K., Oh, YG., Ohta, H., Ono, K. (2020). Linear K-Systems: Floer Cohomology I – Statement. In: Kuranishi Structures and Virtual Fundamental Chains. Springer Monographs in Mathematics. Springer, Singapore. https://doi.org/10.1007/978-981-15-5562-6_16

Download citation

Publish with us

Policies and ethics

Navigation