Skip to main content

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))

  • 678 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

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 69.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping 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, arXiv: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