Homology of Lagrangian submanifolds in cotangent bundles (Q1766470): Difference between revisions

Let \(T^*(S^{2k+1})\) be the cotangent bundle of the \((2k+1)\)-dimensional sphere endowed with its canonical symplectic structure and \(L\subset T^*(S^{2k+1})\) a compact, connected Lagrangian submanifold with \(H_1(L;\mathbb{Z})=0\) and without boundary. The author proves that the singular cohomology \(H^*(L;\mathbb{Z}_2)\) of \(L\), with \(\mathbb{Z}_2\)-coefficients, is isomorphic to the singular cohomology of the zero-section, i.e., \(H^*(L;\mathbb{Z}_2)\cong H^*(S^{2k+1};\mathbb{Z}_2)\). The proof is based on techniques of symplectic topology and starts with the existence of a Lagrangian embedding \(S^{2k+1}\hookrightarrow\mathbb{C}P^k\times\mathbb{C}^{k+1}\) due to \textit{M. Audin, F. Lalonde} and \textit{L. Polterovich} ``Symplectic rigidity: Lagrangian submanifolds'', in [\textit{M. Audin},(ed.); \textit{J. Lafontaine}, (ed.) Holomorphic Curves in Symplectic Geometry. Progress in Math. 117, Birkhäuser Verlag, Basel, (1994; Zbl 0802.53001)], the main ingredient being computations in Floer homology [see for more details concerning Floer theory]. After the first draft of this paper was written, P. Seidel (``Exact Lagrangian submanifolds of \(T^*S^n\) and the graded Kronecker quiver'', Manuscript, http://arxiv.org/math.SG/0401212) using other methods, has generalized this result, dealing with topological restrictions on Lagrangian submanifolds in the cotangent bundles \(T^*(S^n)\), where \(n\) can also be even. On the other hand, the author shows that his result admits a generalization to the \((2k+1)\)-dimensional lens space Lens\(_m^{2k+1}:=S^{2k+1}/\mathbb{Z}_m\), namely if \(L\subset T^*(Lens_m^{2k+1})\) is a compact, connected and Lagrangian submanifold without boundary with \(\pi_1(L)=\mathbb{Z}_m\), then \(H^*(L;\mathbb{Z}_2)\cong H^*(\text{Lens}_m^{2k+1};\mathbb{Z}_2)\). The author's results illustrate once again the fact that low-dimensional topological invariants of Lagrangian submanifolds determine their entire homology [for other examples of this phenomenon, see \textit{P. Seidel} [Bull. Soc. Math. Fr. 128, 103--149 (2000; Zbl 0992.53059)] and \textit{P. Biran} [Proceedings of the international congress of mathematicians, ICM 2002, Beijing, China, August 20--28, 2002. Vol. II: Invited lectures. Beijing: Higher Education Press. 241--255 (2002; Zbl 1021.53058)]; [``Lagrangian non-intersections'' (in preparation); ``Homological uniqueness of Lagrangian submanifolds'', Manuscript, http://www.tau.ac.il/Publications/Publications.html].