Fukaya category

In symplectic topology, a discipline within mathematics, a Fukaya category of a symplectic manifold $(M, \omega)$ is a category $\mathcal F (M)$ whose objects are Lagrangian submanifolds of $M$ , and morphisms are Floer chain groups: $\mathrm{Hom} (L_0, L_1) = FC (L_0,L_1)$ . Its finer structure can be described in the language of quasi categories as an A_∞-category.

They are named after Kenji Fukaya who introduced the $A_{\infty }$ language first in the context of Morse homology, and exist in a number of variants. As Fukaya categories are A_∞-categories, they have associated derived categories, which are the subject of the celebrated homological mirror symmetry conjecture of Maxim Kontsevich. This conjecture has been computationally verified for a number of comparatively simple examples.

References

Paul Seidel, Fukaya categories and Picard-Lefschetz theory, Zurich lectures in Advanced Mathematics
Fukaya, Kenji; Oh, Yong-Geun; Ohta, Hiroshi; Ono, Kaoru (2009), Lagrangian intersection Floer theory: anomaly and obstruction. Part I, AMS/IP Studies in Advanced Mathematics, 46.1, American Mathematical Society, Providence, RI; International Press, Somerville, MA, ISBN 978-0-8218-4836-4, MR 2553465
Fukaya, Kenji; Oh, Yong-Geun; Ohta, Hiroshi; Ono, Kaoru (2009), Lagrangian intersection Floer theory: anomaly and obstruction. Part II, AMS/IP Studies in Advanced Mathematics, 46.2, American Mathematical Society, Providence, RI; International Press, Somerville, MA, ISBN 978-0-8218-4837-1, MR 2548482
The thread on MathOverflow 'Is the Fukaya category "defined"?'

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.