Deformations and transversality of pseudo-holomorphic discs (Q351349): Difference between revisions

The main result of the paper is the following Theorem 1.1. Let \((M,J)\) be a \(C^\infty\)-smooth almost complex manifold of complex dimension \(n\geq 2\) and \(f_0:\Delta\to M\) a \(J\)-holomorphic disc of class \(C^m(\overline\Delta)\). Then there exists a \(J\)-holomorphic immersion \(f: \Delta\to M\) of class \(C^\infty(\overline\Delta)\) arbitrarily close to \(f_0\) in \(C^m(\overline\Delta)\) and homotopic to \(f_0\) within the set of \(J\)-holomorphic discs in \(M\) close to \(f_0\) in \(C^m(\overline\Delta)\). This theorem should be considered as a version of Whitney's approximation theorem for pseudo-holomorphic discs. The authors prove also a pseudo-holomorphic analogon of Thom's transversality theorem. Theorem 1.2. Let \((M,J)\) be a \(C^\infty\)-smooth almost complex manifold and \(0\leq k<m\) integers. Let \(S\) be a \(C^\infty\)-smooth locally closed real manifold in \(J^k(\overline\Delta, M)\) with or without boundary. Then the set of \(J\)-holomorphic discs \(f:\overline\Delta\to M\) of class \(C^m(\overline\Delta)\) transverse to \(S\) is dense in the space of all \(J\)-holomorphic discs of class \(C^m(\overline\Delta)\).