Abstract
This is a mixture of survey article and research announcement. We discuss instanton Floer homology for 3 manifolds with boundary. We also discuss a categorification of the Lagrangian Floer theory using the unobstructed immersed Lagrangian correspondence as a morphism in the category of symplectic manifolds.
During the year 1998–2012, those problems have been studied emphasizing the ideas from analysis such as degeneration and adiabatic limit (instanton Floer homology) and strip shrinking (Lagrangian correspondence). Recently we found that replacing those analytic approach by a combination of cobordism type argument and homological algebra, we can resolve various difficulties in the analytic approach. It thus solves various problems and also simplify many of the proofs.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
M. Abouzaid, K. Fukaya, Y.-G. Oh, H. Ohta and K. Ono, Quantum cohomology and split generation in Lagrangian Floer theory, in preparation.
Akaho M.: Intersection theory for Lagrangian immersions. Math. Res. Lett., 12, 543–550 (2005)
Akaho M., Joyce D.: Immersed Lagrangian Floer theory. J. Differential Geom., 86, 381–500 (2010)
M.F. Atiyah, New invariants of 3- and 4-dimensional manifolds, In: The Mathematical Heritage of Hermann Weyl, Proc. Sympos. Pure Math., 48, Amer. Math. Soc., Providence, RI, 1988, pp. 285–299.
Atiyah M.F., Bott R.: The Yang–Mills equations over Riemann surfaces. Philos. Trans. Roy. Soc. London Ser. A, 308, 523–615 (1983)
N. Bottman, Pseudoholomorphic quilts with figure eight singularity, preprint, arXiv:1410.3834.
N. Bottman and K. Wehrheim, Gromov compactness for squiggly strip shrinking in pseudoholomorphic quilts, preprint, arXiv:1503.03486.
P.J. Braam and S.K. Donaldson, Floer’s work on instanton homology, knots, and surgery, In: The Floer Memorial Volume, (eds. H. Hofer, C.H. Taubes, A. Weinstein and E. Zehnder), Progr. Math., 133, Birkhäuser, Basel, 1995, pp. 195–256.
A. Daemi and K. Fukaya, Atiyah–Floer conjecture: a formulation, a strategy of prove and generalizations, preprint, arXiv:1707.03924.
A. Daemi, K. Fukaya and M. Lipyanskiy, Lagrangians, SO(3)-instantons, and an analogue of Atiyah–Floer conjecture, in preparation.
Donaldson S.K.: Connections, cohomology and the intersection forms of 4-manifolds. J. Differential Geom., 24, 275–341 (1986)
Donaldson S.K.: The orientation of Yang–Mills moduli spaces and 4-manifold topology. J. Differential Geom., 26, 397–428 (1987)
Donaldson S.K.: Polynomial invariants for smooth four-manifolds. Topology, 29, 257–315 (1990)
S.K. Donaldson, Gauge theory for non-athlete, Lecture at Univ. of Warwick, 1992.
S.K. Donaldson, Floer Homology Groups in Yang–Mills Theory. With the Assistance of M. Furuta and D. Kotschick, Cambridge Tracts in Math., 147, Cambridge Univ. Press, Cambridge, 2002.
Dostoglou S., Salamon D.A.: Self-dual instantons and holomorphic curves. Ann. of Math., 139, 581–640 (1994)
Floer A.: Morse theory for Lagrangian intersections. J. Differential Geom., 28, 513–547 (1988)
Floer A.: An instanton invariant for 3-manifolds. Comm. Math. Phys., 118, 215–240 (1988)
A. Floer, Instanton homology and Dehn surgery, In: The Floer Memorial Volume, (eds. H. Hofer, C.H. Taubes, A. Weinstein and E. Zehnder), Progr. Math., 133, Birkhäuser, Basel, 1995, pp. 77–97.
A. Floer, Instanton homology and Dehn surgery, In: The Floer Memorial Volume, (eds. by H. Hofer, C.H. Taubes, A. Weinstein and E. Zehnder), Progr. Math., 133, Birkhäuser, Basel, 1995, pp. 77–97.
K. Fukaya, Morse homotopy, \({A^{\infty}}\)-category, and Floer homologies, In: Proceedings of GARC Workshop on Geometry and Topology, (ed. H.J. Kim), Lecture Notes Ser., 18, Seoul Nat. Univ., 1994, pp. 1–102.
K. Fukaya, Floer homology for 3-manifolds with boundary, In: Topology Geometry and Field Theory, (eds. K. Fukaya, M. Furuta, T. Kohno and D. Kotschick), World Sci. Publ., River Edge, NJ, 1994, pp. 1–22.
K. Fukaya, Gauge Theory and Topology. (Japanese), Springer-Verlag, 1995.
Fukaya K.: Floer homology of connected sum of homology 3-spheres. Topology 35, 89–136 (1996)
K. Fukaya, Floer homology for 3-manifolds with boundary I, 1997, never to be published but is available at http://www.math.kyoto-u.ac.jp/~fukaya/fukaya.html.
Fukaya K.: Anti-self-dual equation on 4-manifolds with degenerate metric. Geom. Funct. Anal., 8, 466–528 (1998)
K. Fukaya, Floer homology and mirror symmetry II, In: Minimal Surfaces, Geometric Analysis and Symplectic Geometry, Baltimore, MD, 1999, Adv. Stud. Pure Math., 34, Math. Soc. Japan, Tokyo, 2002, pp. 31–127.
Fukaya K.: Floer homology of Lagrangian submanifolds. Sugaku Expositions, 26, 99–127 (2013)
K. Fukaya, SO(3)-Floer homology of 3-manifolds with boundary 1, preprint, arXiv:1506.01435.
K. Fukaya, Unobstructed immersed Lagrangian correspondence and filtered \({A_{\infty}}\) functor, preprint, arXiv:1706.02131.
K. Fukaya, Y.-G. Oh, H. Ohta and K. Ono, Lagrangian Intersection Floer Theory: Anomaly and Obstruction. Part I, AMS/IP Stud. Adv. Math., 46.1, Amer. Math. Soc., Providence, RI; International Press, Someville, MA, 2009.
K. Fukaya, Y.-G. Oh, H. Ohta and K. Ono, Lagrangian Intersection Floer Theory: Anomaly and Obstruction. Part II, AMS/IP Stud. Adv. Math., 46.2, Amer. Math. Soc., Providence, RI; International Press, Someville, MA, 2009.
K. Fukaya, Y.-G. Oh, H. Ohta and K. Ono, Anchored Lagrangian submanifolds and their Floer theory, In: Mirror Symmetry and Tropical Geometry, Contemp. Math., 527, Amer. Math. Soc., Providence, RI, 2010, pp. 15–54.
K. Fukaya, Y.-G. Oh, H. Ohta and K. Ono, Lagrangian Floer theory over integers: spherically positive symplectic manifolds, Pure Appl. Math. Q., 9 (2013), 189–289.
K. Fukaya, Y.-G. Oh, H. Ohta and K. Ono, Kuranishi structure, pseudo-holomorphic curve, and virtual fundamental chain: Part 1, preprint, arXiv:1503.07631.
K. Fukaya, Y.-G. Oh, H. Ohta and K. Ono, Kuranishi structure, pseudo-holomorphic curve, and virtual fundamental chain: Part 2, preprint, arXiv:1704.01848.
Fukaya K., Ono K.: Arnold conjecture and Gromov–Witten invariant. Topology, 38, 933–1048 (1999)
Goldman W.M.: The symplectic nature of fundamental groups of surfaces. Adv. in Math., 54, 200–225 (1984)
Herald C.M.: Legendrian cobordism and Chern–Simons theory on 3-manifolds with boundary. Comm. Anal. Geom., 2, 337–413 (1994)
Huebchmann J.: Symplectic and Poisson structures of certain moduli spaces. I. Duke Math. J., 80, 737–756 (1995)
Huybrechts D., Lehn M.: Stable pairs on curves and surfaces. J. Algebraic Geom., 4, 67–104 (1995)
Jeffrey L.C.: Extended moduli spaces of flat connections on Riemann surfaces. Math. Ann., 298, 667–692 (1994)
Keller B.: Introduction to A-infinity algebra and modules. Homology Homotopy Appl., 3, 1–35 (2001)
R. Lee and W. Li, Floer homologies for Lagrangian intersections and instantons, preprint.
K. Lefèvre-Hasegawa, Sur les \({A_{\infty}}\) catégories, Thése Doctorat, Univ. Paris 7, 2003.
Lekili Y., Lipyanskiy M.: Geometric composition in quilted Floer theory. Adv. Math., 236, 1–23 (2013)
Li W.: Floer homology for connected sums of homology 3-spheres. J. Differential Geom., 40, 129–154 (1994)
R. Lipshitz, P.S. Ozsváth and D.P. Thurston, Tour of bordered Floer theory, Proc. Natl. Acad. Sci. USA, 108 (2011), 8085–8092.
M. Lipyanskiy, Gromov–Uhlenbeck compactness, preprint, arXiv:1409.1129.
M. Lipyanskiy, Gromov–Uhlenbeck compactness and the Atiyah–Floer conjecture, talk at SCGP 2012-09-25, video is available at SCGP home page.
J. Lurie, On the classification of topological field theories, preprint, arXiv:0905.0465v1.
Lyubashenko V.: Category of \({A_{\infty}}\)-categories. Homology Homotopy Appl., 5, 1–48 (2003)
C. Manolescu and C. Woodward, Floer homology on the extended moduli space, In: Perspective in Analysis, Geometry, and Topology, Progr. Math., 296, Birkhäuser, New York, 2012, pp. 283–329.
S. Ma’u, K. Wehrheim and C. Woodward, \({A_{\infty}}\) functors for Lagrangian correspondences, preprint, arXiv:1601.04919.
Y.-G. Oh, Floer cohomology of Lagrangian intersections and pseudo-holomorphic disks. I, II, Comm. Pure Appl. Math., 46 (1993), 949–993; Comm. Pure Appl. Math., 46 (1993), 995–1012; Addendum, Comm. Pure Appl. Math., 48 (1995), 1299–1302.
D. Salamon, Lagrangian intersections, 3-manifolds with boundary, and the Atiyah–Floer conjecture, In: Proceedings of the International Congress of Mathematicians. Vol. 1, Zürich, 1994, Birkhäuser Verlag, Basel, 1995, pp. 526–536.
Salamon D., Wehrheim K.: Instanton Floer homology with Lagrangian boundary conditions. Geom. Topol., 12, 747–918 (2008)
G.B. Segal, The definition of conformal field theory, In: Differential Geometrical Methods in Theoretical Physics, Como, 1987, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., 250, Kluwer Acad. Publ., Dordrecht, 1988, pp. 165–171.
G.B. Segal, Geometric aspects of quantum field theory, In: Proceedings of the International Congress of Mathematicians. Vol. I, II, Kyoto, 1990, Math. Soc. Japan, Tokyo, 1991, pp. 1387–1396.
P. Seidel, Fukaya Categories and Picard–Lefschetz Theory, Zur. Lect. Adv. Math., Eur. Math. Soc. (EMS), Zürich, 2008.
K. Wehrheim, Anti-self-dual instantons with Lagrangian boundary conditions. I: Elliptic Theory; II: Bubbling, Comm. Math. Phys., 254 (2005), 45–89; Comm. Math. Phys., 258 (2005), 275–315.
K. Wehrheim, Lagrangian boundary conditions for anti-self-dual instantons and the Atiyah–Floer conjecture, In: Conference on Symplectic Topology, J. Symplectic Geom., 3, International Press, Somerville, MA, 2005, pp. 703–747.
Wehrheim K., Woodward C.T.: Quilted Floer cohomology. Geom. Topol., 14, 833–902 (2010)
Wehrheim K., Woodward C.T.: Functoriality for Lagrangian correspondences in Floer theory. Quantum Topol., 1, 129–170 (2010)
Wehrheim K., Woodward C.T.: Floer cohomology and geometric composition of Lagrangian correspondences. Adv. Math., 230, 177–228 (2012)
Wehrheim K., Woodward C.T.: Pseudoholomorphic quilts. J. Symplectic Geom., 13, 849–904 (2015)
K. Wehrheim, C.T. Woodward, Floer field theory for tangles, preprint, arXiv:1503.07615.
A. Weinstein, Symplectic geometry, Bull. Amer. Math. Soc. (N.S.), 5 (1981), 1–13.
Witten E.: Topological quantum field theory. Comm. Math. Phys., 117, 353–386 (1988)
Witten E.: Quantum field theory and the Jones polynomial. Comm. Math. Phys., 121, 351–399 (1989)
T. Yoshida, Floer homology and holomorphic curves —Atiyah conjecture, preprint, 1992.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by: Kaoru Ono
This article is based on the 17th Takagi Lectures that the author delivered at Research Institute for Mathematical Sciences, Kyoto University on June 18, 2016.
About this article
Cite this article
Fukaya, K. Categorification of invariants in gauge theory and symplectic geometry. Jpn. J. Math. 13, 1–65 (2018). https://doi.org/10.1007/s11537-017-1622-9
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11537-017-1622-9
Keywords and phrases
- Floer homology
- \({A_{\infty}}\) category
- Yang–Mills equation
- Lagrangian submanifold
- gauge theory
- pseudo holomorphic curve