The fundamental group of a rigid Lagrangian cobordism (Q2423470): Difference between revisions

If \(L, L'\subset(M,\omega)\) are two compact, connected Lagrangian submanifolds, then \(\widetilde M=\mathbb{C}\times M\) is the symplectic manifold with the two-form \(\widetilde\omega=dx\wedge dy\oplus\omega\) and \(\pi:\widetilde M\to\mathbb{C}\) is the projection. A Lagrangian cobordism \((W;L,L')\) is a non-compact embedded Lagrangian \(W\subset\widetilde M\) such that \(\pi^{-1}([\varepsilon,1-\varepsilon]\times\mathbb{R})\cap W=\widehat W\), for some \(\varepsilon>0\), is a smooth-compact cobordism between \(L\) and \(L'\) and \(W\backslash\widehat W=(-\infty,\varepsilon)\times\{0\}\times L\cup (1-\varepsilon,\infty)\times\{0\}\times L'\). There are two morphisms associated to a Lagrangian submanifold \(L\subset M\): the symplectic area \(\omega:\pi_2(M,L)\to\mathbb{R}\) and the Maslov index \(\mu:\pi_2(M,L)\to\mathbb{Z}\). The positive generator of the subgroup defined by the image of the homomorphism \(\mu\) is called the minimal Maslov number of \(L\) and is denoted by \(N_L\). A Lagrangian \(L\) is called weakly exact if \(\omega\vert_{\pi_2(M,L)}=0\), and is called monotone if there is a positive real number \(\rho\in\mathbb{R}\) such that \(\omega(u)=\rho\mu(u)\) for every disc \(u:(D^2,S^1)\to(M,L)\). For inclusions \(L,L'\hookrightarrow W\) there are two maps \(\pi_1(L)\overset{i_\sharp}{\to}\pi_1(W)\) and \(\pi_1(L')\overset{i_\sharp}{\to}\pi_1(W)\) on the fundamental groups. A cobordism \((W;L,L')\) is called an \(h\)-cobordism if both maps \(i_\sharp\) are homotopy equivalences. In [Ann. Sci. Éc. Norm. Supér. (4) 51, No. 3, 773--809 (2018; Zbl 1398.57036)], the first author presented a description of the fundamental group of a monotone symplectic manifold \((M,\omega)\) in terms of Floer theoretic objects by studying the moduli spaces of augmentations. \par In this paper, the authors extend the construction of the Floer fundamental group to the monotone Lagrangian setting, for weakly exact or monotone Lagrangians with large minimal Maslov number, and use it to study the fundamental group of a Lagrangian cobordism \(W\subset (\mathbb{C}\times M, \omega _{st}\oplus \omega)\) between two Lagrangian submanifolds \(L, L'\subset (M, \omega)\). They prove that if \((W;L,L')\) is a weakly exact Lagrangian cobordism or a monotone Lagrangian cobordism with \(N_W > \dim(W)+1\), then the inclusions \(L,L'\hookrightarrow W\) induce surjective maps \(\pi_1(L)\overset{i_\sharp}{\to}\pi_1(W)\) and \(\pi_1(L')\overset{i_\sharp}{\to}\pi_1(W)\) on the fundamental groups. Moreover, if \(\pi_2(M,L)=0=\pi_2(M,L')\), then the maps \(\pi_1(L)\overset{i_\sharp}{\to}\pi_1(W)\) and \(\pi_1(L')\overset{i_\sharp}{\to}\pi_1(W)\) are isomorphisms. Next, the authors prove that if \(L,L'\) are Lagrangian submanifolds with \(\pi_2(M,L)=0=\pi_2(M,L')\), \((W;L,L')\) is an exact Lagrangian cobordism, \(W\) is orientable and spin, then it is an \(h\)-cobordism. Moreover, if \(\dim(W)\ge 6\), then there is a diffeomorphism \(W\cong\mathbb{R}\times L\). Finally, the authors show that if \((W;L,L')\) is a weakly exact or a monotone orientable and spin Lagrangian cobordism with \(N_W > \dim(W)+1\), \(L,L'\hookrightarrow W\) induce injective morphisms \(\pi_1(L)\overset{i_\sharp}{\to}\pi_1(W)\) and \(\pi_1(L')\overset{i_\sharp}{\to}\pi_1(W)\), then \(W\) is an \(h\)-cobordism.