A cotangent fibre generates the Fukaya category (Q639540): Difference between revisions

The following theorem, which shows that the wrapped Fukaya category of a cotangent bundle is expressible in terms of purely homotopy-theoretic data, is proved. Theorem 1.1. If \(Q\) is an oriented closed smooth manifold, then any cotangent fibre generates the wrapped Fukaya category of \(T^*Q\) with background class \(b\in H^*(T^*Q,\mathbb{Z}_2)\) given by the pullback of the second Stiefel-Whitney class of \(Q\). The triangulated closure of this Fukaya category is quasi-isomorphic to the category of twisted complexes over \(C_{-*}(\Omega_q Q)\). As a consequence, \(K_0({\mathcal W}(T^*Q))\cong \mathbb{Z}_M\), and the homomorphism \(K_0({\mathcal W}(T^*Q))\to\mathbb{Z}\) is realized by taking the Euler characteristic class of morphism to (or from) the zero section of \(T^*Q\). The author remarks there is a different version of the Fukaya category of a cotangent bundle when \(Q\) is real analytic [\textit{D. Nadler} and \textit{E. Zaslow}, J. Am. Math. Soc. 22, No. 1, 233--286 (2009; Zbl 1227.32019)], which is equivalent to the category of constructive sheaves on \(Q\) [\textit{D. Nadler}, Sel. Math., New Ser. 15, No. 4, 563--619 (2009; Zbl 1197.53116)]. Proof of Theorem 1 is done constructing maps \[ H^*({\mathcal F}): HW^*_b(T^*_q Q) \to H_{-*}(\Omega_q q),\tag{1}\] \[H^*({\mathcal C}{\mathcal L}): SH^*_b(T^*Q) \to H_{n-*}({\mathcal L}Q),\tag{2}\] \[H^*({\mathcal O}{\mathcal C}): HH_*(CW^*_b(T^*_q Q)) \to SH^{*+n}_b(T^* Q),\tag{3}\] \[H^*({\mathcal G}): HH_*(C_{-*}(\Omega_q Q)) \to H_{-*}({\mathcal L} Q).\tag{4}\] Here, \({\mathcal F}\) is an \(A_\infty\), homomorphism from the wrapped Floer cochain complex of a cotangent fibre to the Pontryagin differential graded algebra \(C_{-*}(\Omega_q Q)\) of chains on the based loop space constructed in [\textit{M. Abouzaid} and \textit{M. Boyarchenko}, J. Symplectic Geom. 4, No. 1, 43--62 (2006; Zbl 1116.53055)] (hereafter referred to as [1]). (2) is a closed string analogue of (1) first proposed by \textit{K. Cieliebak} and \textit{J. Latschev} [The role of string topology in symplectic field theory. Abreu, Miguel (ed.) et al., New perspectives and challenges in symplectic field theory. Dedicated to Yakov Eliashberg on the occasion of his 60th birthday. Providence, RI: American Mathematical Society (AMS). CRM Proceedings and Lecture Notes 49, 113--146 (2009; Zbl 1214.53067)]. The author claims that using the propose of Cieliebak and Latschev is the main new idea in this paper. (3) is defined in [1]. (4) is a version of Goodwillie's isomorphism [\textit{T. G. Goodwillie}, Topology 24, 187--215 (1985; Zbl 0569.16021)]. These maps satisfy the relation \[ H^*({\mathcal G})\circ HH_*({\mathcal F})= H^*({\mathcal C}{\mathcal L})\circ H^*({\mathcal O}{\mathcal C}).\tag{5} \] Theorem 1.1 follows from (5), Theorem.1.1 of [1] and Corollary 1.2 of the author [Publ. Math., Inst. Hautes Étud. Sci. 112, 191--240 (2010; Zbl 1215.53078)] (hereafter referred to as [2]). Roughly speaking, the underlying graded abelian group \(CW^i_b(T^*_aQ)\) of the wrapped Floer complex is the abelian group freely generated by chords of Maslov index \(i\), where a chord is a Hamiltonian flow on \(T^*Q\) satisfying a generic condition (described as (2.1)). The \(A_\infty\) structure on \(CW^*_b(T^*_q Q)\) is defined by counting maps whose sources are elements of the compactified moduli space \(\overline{\mathcal R}_d\) of discs with outgoing boundary marked point and \(d\) incoming ones. After explaining these notions, the \(A_\infty\) homomorphism \({\mathcal F}^d: (CW^*_b(L))^{\otimes d}\to C_*(\Omega(q))\) is defined in \S2.5. The description of \S2 mainly follows [2] and contains no new results. Delicate discussions on orientations induced by relative spin structures are given in Appendix A. Throughout this paper a cubical chain complex is used. But for the convenience to define map \({\mathcal G}\), etc., this complex is not standard (cf. Lemma 2.11). Discussions by using standard cubical chains are given in Appendix C. In \S3, recasting the construction of Cielebak and Latschev in the language of Floer theory, the map \(H^*({\mathcal C}{\mathcal G})\) is defined. Then it is shown that \[ H^*({\mathcal C}{\mathcal L})\circ \text{PSS}: H_{2n-*}(T^* Q, S^* Q)\to H_{n-*}({\mathcal L} Q), \] is just the composition of Poincaré dual and inclusion of constant loops (Lemma 3.6). Here \(\text{PSS}: H_{2n-*}(T^a stQ, S^* Q)\to SH^*_b(T^*Q)\) is the isomorphism defined in [\textit{S. Piunikhin}, \textit{D. Salamon} and \textit{M. Schwarz}, Symplectic Floer-Donaldson theory and quantum cohomology. Thomas, C. B. (ed.), Contact and symplectic geometry. Cambridge: Cambridge University Press. Publ. Newton Inst. 8, 171--200 (1996; Zbl 0874.53031)]. Hence \(H_*({\mathcal C}{\mathcal L})\) maps the identity of symplectic cohomology to the fundamental class of \(Q\). Because the fundamental class of \(Q\) lies in the image of \(H^*(Q)\), which is shown by factoring the inclusion of \(H_*(Q)\) in \(H_*({\mathcal L}Q)\) (Appendix B). Definitions of the maps \({\mathcal G}: CC_*(C_{-*}(\Omega_q Q))\to C^{{\mathcal L}}_{-*}({\mathcal L}Q)\) and \({\mathcal O}{\mathcal C}: CC_*(CW^*_b(T^*_q Q))\to SC^*_b(T^a stQ)\) are given in \S4 following Goodwillie's map and Section 5.3 of [1]. Non-standard cubical chains are used to show that \({\mathcal G}\) is a chain map. A proof that \({\mathcal G}\) is a chain map using standard cubical chains is given in Appendix C. In \S5, a map \({\mathcal H}: CC_*(CW^*_b(T^*_q Q))\to C_{-*}({\mathcal L}Q)\) is introduced, and shown that it gives a homotopy between \((-1)^{n(n+ 1)/2}{\mathcal G}\circ CC_*({\mathcal F})\) and \({\mathcal C}{\mathcal L}\circ{\mathcal O}{\mathcal C}\) (Lemma 5.4). Hence we have (5) and Theorem 1.1 is proved.