J-holomorphic sphere ($u:{\mathbb{CP}}^1\to M$)

A J-holomorphic sphere is a J-holomorphic curve with domain the complex projective line.

For a compact symplectic manifold, smooth convergence of tame almost complex structures and a uniform area bound give a subsequence of J-holomorphic spheres converging, after reparametrization, to a finite tree of J-holomorphic spheres, with convergence smooth away from finitely many bubbling points. The total homology class and symplectic area are preserved. Constant components may be added for stability. In a spherical class which cannot split into two positive-area spherical classes, there is only one nonconstant component.

In a product symplectic manifold $S^2(a)\times T^{2n-2}$, every compatible almost complex structure admits a J-holomorphic sphere in class $F$ through each point. Here $S^2(a)$ has area $a$, and the torus carries a constant symplectic form. All spherical classes are integer multiples of $F$, so a curve in class $F$ cannot split into positive-area nonconstant spheres. For the product complex structure the fibre through a point is unique and regular. Its one-point count modulo two is one; generic transversality and the compact one-dimensional parameterized moduli spaces preserve this count. Approximation and Gromov compactness for spheres remove the genericity requirement. This gives the area-$a$ curve used in the proof of the Gromov non-squeezing theorem.

For a regular nonconstant J-holomorphic sphere in a $2n$-dimensional target, the parametrized Fredholm index is $2n+2c_1(A)$. Removing the six-dimensional Möbius transformation reparametrization group gives the displayed local moduli dimension. The quotient is a manifold for a simple J-holomorphic sphere and may be an orbifold for a multiple cover with finite stabilizer. In dimension four the formula is $2c_1(A)-2$.