Gromov convergence of pseudoholomorphic disks (Q948484)

Let \((M,\omega)\) be a compact symplectic manifold and let \(L\) be a compact Lagrangian submanifold without boundary. Let \(J\) be an almost complex structure such that \(g(v, w)=\frac12[\omega(v,JW)+\omega(Jv,w)]\) is a Riemannian metric on \(M\). Pseudoholomorphic curves (\(J\)-holomorphic curves) are smooth maps \(u\) from a compact Riemann surfaces \((\Sigma,j)\) with boundary to \(M\) with complex linear differential, which maps \(\partial\Sigma\) to \(L\). A stable map is a connected graph whose vertices consist of pseudoholomorphic maps \(u_ \alpha\) from a closed Riemann surface \(\Sigma_\alpha\) to \(M\) with marked points. Two vertices \(\alpha\) and \(\beta\) are connected by an edge if and only if there exists an equivalent pair of nodal points \(z_{\alpha\beta}\in\Sigma_\alpha\) and \(z_{\beta\alpha}\in\Sigma_\beta\), that is, \(u_\alpha(z_{\alpha\beta})=u_\beta(z_{\beta\alpha})\). If \(e\) denotes the number of edges of the graph and \(v\) the number of vertices, then the genus of the stable map is given by the formula \(g=\sum g_\alpha+e-v+1\). In this paper, the author deals with Gromov compactness for pseudoholomorphic disks in compact symplectic manifolds and considers the case of genus zero and one boundary component. The first condition means that the graph is a tree and the Riemann surfaces are either spheres or disks while the second condition indicates that the subset of the tree consisting of the disks is in fact a subtree. The author gives a careful definition of the notion of Gromov convergence for sequences of \(J\)-holomorphic disks with and without marked points (stable maps) and shows that every sequence of stable maps of bounded energy has a Gromov convergent subsequence. It follows from the definition that the distinction between marked points on the boundary and marked points in the interior is preserved under limits. Also, it is proved that the homotopy class of a stable map is preserved under Gromov convergence and limits of Gromov convergent sequences are unique up to equivalence.