Constructible sheaves and the Fukaya category

Nadler, David; Zaslow, Eric

doi:10.1090/S0894-0347-08-00612-7

Constructible sheaves and the Fukaya category
HTML articles powered by AMS MathViewer

by David Nadler and Eric Zaslow

J. Amer. Math. Soc. 22 (2009), 233-286

DOI: https://doi.org/10.1090/S0894-0347-08-00612-7

Published electronically: September 3, 2008

PDF | Request permission

Abstract:

Let $X$ be a compact real analytic manifold, and let $T^*X$ be its cotangent bundle. Let $Sh(X)$ be the triangulated dg category of bounded, constructible complexes of sheaves on $X$. In this paper, we develop a Fukaya $A_\infty$-category $Fuk(T^*X)$ whose objects are exact, not necessarily compact Lagrangian branes in the cotangent bundle. We write $Tw Fuk(T^*X)$ for the $A_\infty$-triangulated envelope of $Fuk(T^*X)$ consisting of twisted complexes of Lagrangian branes. Our main result is that $Sh(X)$ quasi-embeds into $Tw Fuk(T^*X)$ as an $A_\infty$-category. Taking cohomology gives an embedding of the corresponding derived categories.

References

Michèle Audin, François Lalonde, and Leonid Polterovich, Symplectic rigidity: Lagrangian submanifolds, Holomorphic curves in symplectic geometry, Progr. Math., vol. 117, Birkhäuser, Basel, 1994, pp. 271–321. MR 1274934, DOI 10.1007/978-3-0348-8508-9_{1}1
Edward Bierstone and Pierre D. Milman, Semianalytic and subanalytic sets, Inst. Hautes Études Sci. Publ. Math. 67 (1988), 5–42. MR 972342, DOI 10.1007/BF02699126
Vladimir Drinfeld, DG quotients of DG categories, J. Algebra 272 (2004), no. 2, 643–691. MR 2028075, DOI 10.1016/j.jalgebra.2003.05.001
Alberto S. Dubson, Formule pour l’indice des complexes constructibles et des Modules holonomes, C. R. Acad. Sci. Paris Sér. I Math. 298 (1984), no. 6, 113–116 (French, with English summary). MR 741073
Y. Eliashberg, A. Givental, and H. Hofer, Introduction to symplectic field theory, Geom. Funct. Anal. Special Volume (2000), 560–673. GAFA 2000 (Tel Aviv, 1999). MR 1826267, DOI 10.1007/978-3-0346-0425-3_{4}
Kenji Fukaya, Morse homotopy and its quantization, Geometric topology (Athens, GA, 1993) AMS/IP Stud. Adv. Math., vol. 2, Amer. Math. Soc., Providence, RI, 1997, pp. 409–440. MR 1470740, DOI 10.1090/amsip/002.1/23
Kenji Fukaya and Yong-Geun Oh, Zero-loop open strings in the cotangent bundle and Morse homotopy, Asian J. Math. 1 (1997), no. 1, 96–180. MR 1480992, DOI 10.4310/AJM.1997.v1.n1.a5
V. Ginsburg, Characteristic varieties and vanishing cycles, Invent. Math. 84 (1986), no. 2, 327–402. MR 833194, DOI 10.1007/BF01388811
Mark Goresky and Robert MacPherson, Stratified Morse theory, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 14, Springer-Verlag, Berlin, 1988. MR 932724, DOI 10.1007/978-3-642-71714-7
Mikhail Grinberg and Robert MacPherson, Euler characteristics and Lagrangian intersections, Symplectic geometry and topology (Park City, UT, 1997) IAS/Park City Math. Ser., vol. 7, Amer. Math. Soc., Providence, RI, 1999, pp. 265–293. MR 1702946, DOI 10.1090/pcms/007/07
Mark Gross and Bernd Siebert, Affine manifolds, log structures, and mirror symmetry, Turkish J. Math. 27 (2003), no. 1, 33–60. MR 1975331
F. Reese Harvey and H. Blaine Lawson Jr., Finite volume flows and Morse theory, Ann. of Math. (2) 153 (2001), no. 1, 1–25. MR 1826410, DOI 10.2307/2661371
Anton Kapustin and Edward Witten, Electric-magnetic duality and the geometric Langlands program, Commun. Number Theory Phys. 1 (2007), no. 1, 1–236. MR 2306566, DOI 10.4310/CNTP.2007.v1.n1.a1
Masaki Kashiwara, Index theorem for constructible sheaves, Astérisque 130 (1985), 193–209. Differential systems and singularities (Luminy, 1983). MR 804053
Masaki Kashiwara, Quantization of contact manifolds, Publ. Res. Inst. Math. Sci. 32 (1996), no. 1, 1–7. MR 1384750, DOI 10.2977/prims/1195163179
Masaki Kashiwara and Pierre Schapira, Microlocal study of sheaves, Astérisque 128 (1985), 235 (English, with French summary). Corrections to this article can be found in Astérisque No. 130, p. 209. MR 794557
Masaki Kashiwara and Pierre Schapira, Sheaves on manifolds, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 292, Springer-Verlag, Berlin, 1994. With a chapter in French by Christian Houzel; Corrected reprint of the 1990 original. MR 1299726
Rajesh Kasturirangan and Yong-Geun Oh, Floer homology of open subsets and a relative version of Arnold’s conjecture, Math. Z. 236 (2001), no. 1, 151–189. MR 1812454, DOI 10.1007/PL00004822
Bernhard Keller, On the cyclic homology of exact categories, J. Pure Appl. Algebra 136 (1999), no. 1, 1–56. MR 1667558, DOI 10.1016/S0022-4049(97)00152-7
Maxim Kontsevich, Deformation quantization of algebraic varieties, Lett. Math. Phys. 56 (2001), no. 3, 271–294. EuroConférence Moshé Flato 2000, Part III (Dijon). MR 1855264, DOI 10.1023/A:1017957408559
Maxim Kontsevich and Yan Soibelman, Affine structures and non-Archimedean analytic spaces, The unity of mathematics, Progr. Math., vol. 244, Birkhäuser Boston, Boston, MA, 2006, pp. 321–385. MR 2181810, DOI 10.1007/0-8176-4467-9_{9}
S. Piunikhin, D. Salamon, and M. Schwarz, Symplectic Floer-Donaldson theory and quantum cohomology, Contact and symplectic geometry (Cambridge, 1994) Publ. Newton Inst., vol. 8, Cambridge Univ. Press, Cambridge, 1996, pp. 171–200. MR 1432464
Pietro Polesello and Pierre Schapira, Stacks of quantization-deformation modules on complex symplectic manifolds, Int. Math. Res. Not. 49 (2004), 2637–2664. MR 2077680, DOI 10.1155/S1073792804132819
Wilfried Schmid and Kari Vilonen, Characteristic cycles of constructible sheaves, Invent. Math. 124 (1996), no. 1-3, 451–502. MR 1369425, DOI 10.1007/s002220050060

Fukaya Categories and Picard-Lefschetz Theory,

Paul Seidel and Richard Thomas, Braid group actions on derived categories of coherent sheaves, Duke Math. J. 108 (2001), no. 1, 37–108. MR 1831820, DOI 10.1215/S0012-7094-01-10812-0
Jean-Claude Sikorav, Some properties of holomorphic curves in almost complex manifolds, Holomorphic curves in symplectic geometry, Progr. Math., vol. 117, Birkhäuser, Basel, 1994, pp. 165–189. MR 1274929, DOI 10.1007/978-3-0348-8508-9_{6}
Lou van den Dries and Chris Miller, Geometric categories and o-minimal structures, Duke Math. J. 84 (1996), no. 2, 497–540. MR 1404337, DOI 10.1215/S0012-7094-96-08416-1