Lagrangian submanifolds and Lefschetz pencils (Q2491054)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Lagrangian submanifolds and Lefschetz pencils |
scientific article |
Statements
Lagrangian submanifolds and Lefschetz pencils (English)
0 references
19 May 2006
0 references
Let \((M,\omega)\) be a symplectic manifold such that \([\omega/2\pi]\in H^2(M;\mathbb{R})\) admits a lift to an integer cohomology class and let \(h\in H^2(M;\mathbb{Z})\) be one such lifting. Using asymptotically holomorphic techniques (see the first author, [Geom. Funct. Anal. 7, 971--995 (1997; Zbl 0912.53020)]; [\textit{S. K. Donaldson}, J. Differ. Geom. 44, 666--705 (1996; Zbl 0883.53032), J. Differ. Geom., 53, 205--236 (1999; Zbl 1040.53094)]) has proved the existence of a symplectic Lefschetz pencil whose fibers are homologous to the Poincaré dual of \(kh\), for \(k\) large enough. Such Lefschetz pencils are called Donaldson Lefschetz pencils by the authors. Let \(\mathcal{L}\) be a Lagrangian submanifold of \(M\) and let \(f: \mathcal{L}\to [0,1]\) be a Morse function. Following \textit{S. K. Donaldson's} ideas [Zbl 0883.53032], adapting ideas of the first author [Zbl 0912.53020] and using results from other papers [the first author, [Invent. Math. 139, 551--602 (2000; Zbl 1080.53084)]; the first author, \textit{D. Gayet} and \textit{J. P. Mohsen}, [Math. Ann. 321, 739--754 (2001; Zbl 1005.53049)]; \textit{S. K. Donaldson} [Zbl 1040.53094], the authors prove the existence of a sequence of Donaldson Lefschetz pencils \(\phi_k:M-B_k\to \mathbb{CP}^1\) with \(B_k\) and \(\mathcal{L}\) disjoint, such that, for \(k\) large, \(\phi_k(\mathcal{L})\) is a smooth embedded arc in \(\mathbb{CP}^1\). Moreover, they show that there exists a parametrization of this arc \(\gamma_k:[0,1]\to \phi_k(\mathcal{L})\) such that \((\gamma_k^{-1}\circ\phi_k)| _\mathcal{L}\) is a Morse function isotopic (among Morse functions) to \(f\). After proving a parametric version of this result for a given \(1\)-parametric family of simply connected Lagrangian submanifolds of \(M\), the authors construct a one-to-one correspondence between the set of Hamiltonian isotopy classes of Lagrangian (resp., twisted) spheres in \((M,\omega)\) and the quotient of the set of asymptotically stable sequences of (resp., twisted) matching paths up to homotopy (for a fixed sequence of Donaldson pencils) with respect to a natural action of the fundamental group of the space of all sequences of Donaldson pencils. Following ideas of S. Donaldson and P. Seidel [Lectures on four-dimensional Dehn twists, preprint math.SG/0309012], the connection between automorphisms of the monodromy data of a symplectic Lefschetz pencil \(\phi\) and symplectomorphisms of the total space of the pencil is discussed. In particular, the asymptotic surjectivity as \(k\to \infty\) of a natural homomorphism \(\rho:\Gamma(\phi)\)(= the group of combinatorial automorphisms of \(\phi\))\(\to \pi_0(\text{Symp}(M,\omega))\) is shown, and various natural elements of \(\ker(\rho)\) are exhibited. The implications for matching paths and the relation with the projective dual of the discriminant curve of a projection to \(\mathbb{CP}^2\) is also discussed.
0 references
symplectic manifold
0 references
symplectic Lefschetz pencil
0 references
Donaldson pencil
0 references
Lagrangian submanifold
0 references
Lagrangian sphere
0 references
Morse function
0 references
isotopic Morse functions
0 references
Hamiltonian isotopy
0 references
asymptotically holomorphic section
0 references
vanishing cycle
0 references
matching path
0 references
twisted matching path
0 references
Dehn twist
0 references
symplectomorphism
0 references