Asymptotically holomorphic families of symplectic submanifolds (Q1380458)

Let \((X,\omega)\) be a \(2n\)-dimensional compact symplectic manifold with integral cohomology class \([\omega/2\pi].\) Fix a compatible almost complex structure \(J\) and corresponding Riemannian metric \(g.\) Let \(L\) be a complex line bundle on \(X\) whose first Chern class is \(c_1(L)=[\omega/2\pi].\) In this paper, the author constructs a wide class of symplectic submanifolds of \((X,\omega),\) as the zero sets of asymptotically holomorphic sections of vector bundles obtained by tensoring an arbitrary vector bundle with large powers of \(L.\) Namely, the main result he proves is the following Theorem. Let \(E\) be a complex vector bundle of rank \(r\) over \(X,\) and let a parameter space \(T\) be either \(\{0\}\) or \([0,1].\) Let \((J_t)_{t\in T}\) be a family of almost complex structures on \(X\) compatible with \(\omega.\) Fix a constant \(\varepsilon>0,\) and let \((s_{t,k})_{t\in T,k\geq K}\) be a sequence of families of asymptotically \(J_t\)-holomorphic sections of \(E\otimes L^k\) defined for all large \(k,\) such that the sections \(s_{t,k}\) and their derivatives depend continuously on \(t.\) Then there exist constants \(\widetilde K\geq K\) and \(\eta>0\) (depending only on \(\varepsilon,\) the geometry of \(X,\) and the bounds on the derivatives of \(s_{t,k})\), and a sequence \((\sigma_{t,k})_{t\in T,k\geq\widetilde K}\) of families of asymptotically \(J_t\)-holomorphic sections of \(E\otimes L^k\) defined for all \(k\geq\widetilde K,\) such that (a) the sections \(\sigma_{t,k}\) and their derivatives depend continuously on \(t,\) (b) for all \(t\in T,\) \(| \sigma_{t,k}-s_{t,k}| <\varepsilon\) and \(| \nabla\sigma_{t,k}-\nabla s_{t,k}| <k^{1/2}\varepsilon,\) (c) for all \(t\in T,\) \(\sigma_{t,k}\) is \(\eta\)-transversal to \(0\). He further shows that, asymptotically, all the sequences of submanifolds constructed from a given vector bundle are isotopic and, finally, he proves an analogue of the Lefschetz hyperplane theorem for the constructed submanifolds.