Codex @codex  0

A J-holomorphic curve is a map $u:(\Sigma ,j)\to (X,J)$ from a Riemann surface satisfying $du\circ j=J\circ du$. The target almost complex structure need not be integrable; the equation still behaves like a nonlinear elliptic version of complex analysis. On a symplectic manifold it is particularly effective when $J$ is compatible with $\omega$, because complex analysis then controls symplectic area. The metric construction above supplies such structures and deformations between them.

In conformal coordinates $(s,t)$ with $j{\partial }_s={\partial }_t$, the equation is $u_t=J{u}_s$. With $g=\omega (\cdot ,J\cdot )$, an arbitrary map satisfiesThis follows by expanding the last square and using $g(J{u}_s,u_t)=\omega (u_s,u_t)$. Integrating proves the Energy identity for a J-holomorphic curve. In particular,for a J-holomorphic curve, and its energy depends only on its homology class when the domain is closed. A nonconstant such curve has strictly positive area: its derivative is nonzero somewhere and positivity holds on a neighborhood. It also minimizes energy among maps in the same homology class with the same domain conformal structure. Thus analytic bounds can be obtained from topological information.

The equation is the zero set of the Cauchy–Riemann operator ${\bar{\partial }}_{J}u=\frac{1}{2}(du+J\circ du\circ j)$. Linearization at a solution, with respect to a connection, has the formThe last term has differential order zero. The principal part has the Cauchy–Riemann symbol; in a complex frame a nonzero real covector $(a,b)$ gives multiplication by $a+ib$, an invertible symbol. This establishes ellipticity. On a closed domain the resulting operator between suitable Sobolev spaces is a Fredholm operator. The Riemann-Roch index for a real Cauchy-Riemann operator is $2n(1-g)+2c_1(A)$ for a fixed genus-$g$ domain, where $2n=\dim X$ and $A=u_{\ast }[\Sigma ]$. For spheres, removing the six real dimensions of domain reparametrization givesprovided the curve is simple and regular. Each marked point adds two real dimensions; constraining its image to a specified target point removes $2n$. These are the dimension formula for regular J-holomorphic spheres and its incidence version.

Here regular means that $D_u$ is surjective. Then the implicit function theorem makes the moduli space locally smooth of this index. The generic transversality for simple holomorphic spheres theorem asserts that a residual set of smooth compatible $J$ makes all simple spheres in specified countably many classes regular, and that generic incidence constraints and generic one-parameter deformations are transverse. It does not assert regularity for all multiple covers. This distinction matters whenever one tries to count curves. A primitive class with no positive-area spherical decomposition avoids multiple-cover and bubbling difficulties and permits especially direct counts.

The other central ingredient is Gromov compactness for spheres. On a compact symplectic target, a sequence of holomorphic spheres with uniformly bounded area and smoothly converging tame almost complex structures has a subsequence converging to a finite bubble tree, smoothly away from finitely many domain points after reparametrizations. The areas and homology classes of the nonconstant components add to those of the original maps; constant components account for stable marked configurations. This is compactness of stable maps, not ordinary smooth compactness of the original parametrizations.

The proof mechanism explains why bubbling is indispensable. An elliptic small-energy estimate bounds derivatives on a smaller disc when the energy on a larger disc is sufficiently small. Failure of a derivative bound therefore concentrates a definite amount of energy. Rescale near a point of large derivative; elliptic estimates yield a nonconstant limiting holomorphic map on the plane. Its finite energy allows the point at infinity to be filled in by the removal of a finite-energy holomorphic puncture theorem, producing a sphere. Repeating extracts further spheres. Uniform local monotonicity gives a positive energy threshold for nonconstant bubbles on the compact target, so only finitely many can occur. Estimates on the intervening annuli yield the energy identity and exclude lost neck energy. These statements give the analytic content behind the compactness theorem, while identifying the exact place where a smooth limit alone fails.

A local area estimate turns this existence theory into an embedding obstruction. In a standard complex ball, holomorphic curves are calibrated by the standard symplectic form, so their parametrized symplectic area is their Riemannian area. They are stationary minimal surfaces. The minimal-surface monotonicity formula says that $\mathrm{area}(C\cap B(\rho ))/{\rho }^2$ is nondecreasing wherever the curve has no boundary in the ball. At a point of multiplicity $m$, its limiting density is $m\pi$. Consequently any branch through the centre contributes at least $\pi {\rho }^2$. For a general compatible $J$ there is still a local lower bound $c{\rho }^2$, with $c>0$ depending on controlled geometry. The exact Euclidean constant is the one needed for sharp radius obstructions.

Here is a global existence argument that feeds this estimate. Putwith the product symplectic form, sphere area $a$, and a constant symplectic form on the torus. Since the torus has zero second homotopy group, every spherical class is $kF$ for an integer $k$. A nonconstant holomorphic sphere in this class has area $ka>0$, so $k\ge 1$. A curve of class $F$ cannot split into two nonconstant bubbles, and it cannot be a nontrivial multiple cover. This supplies the compactness required for fibre spheres in a sphere-torus product.

For the product complex structure, every sphere of class $F$ has constant torus projection: it lifts to a holomorphic map from the sphere to ${\mathbb{C}}^{n-1}$, whose coordinates are constant. Its sphere projection has degree one. Thus, up to reparametrization, there is exactly one such sphere through every target point. It is regular because its pulled-back tangent bundle is $\mathcal{O}(2)\oplus {\mathcal{O}}^{n-1}$ on ${\mathbb{CP}}^1$, and the first cohomology of each summand vanishes. Its linearized Dolbeault operator therefore has zero cokernel.

Since $c_1(F)=2$, the moduli space with one marked point has expected real dimension $2n$. Imposing passage through a fixed point gives dimension zero. For generic structures and transverse incidence conditions this is a finite set. Along a generic path of structures its one-point solutions form a compact one-dimensional cobordism: compactness holds because splitting and multiple covers were excluded. Its boundary contains the endpoint solutions. A compact one-manifold has an even number of boundary points, so the count modulo two is unchanged. The product count is one, and hence the count for a generic compatible $J$ is one as well. If the endpoint product structure is not generic for other classes, its regular solutions allow the path argument in this single class. Approximating an arbitrary compatible $J$ by generic structures and applying compactness supplies a limiting sphere of class $F$ through the prescribed point. The nonconstant component still contains that point; there are no nonconstant bubbles to carry it away. This derives the existence assertion needed below without assuming a capacity obstruction.

Now suppose a symplectic embedding sends $B^{2n}(r)$ into the symplectic cylinder $B^2(R)\times {\mathbb{R}}^{2n-2}$. Choose $0<\rho <{\rho }^{\prime }<r$. The image of the closed radius-${\rho }^{\prime }$ ball is compact. For any $a>\pi R^2$, the first factor embeds symplectically into an area-$a$ sphere: in dimension two this is an area-preserving disc chart, leaving a cap of area $a-\pi R^2$. Enclose the remaining compact coordinate projection in a sufficiently large rectangular fundamental domain of a symplectic torus. The compact ball image thereby embeds into $S^2(a)\times T^{2n-2}$.

Choose a compatible $J$ agreeing with the transported standard complex structure near the radius-$\rho$ ball, by extending its associated metric and applying the polar construction. The sphere of class $F$ through the centre has area $a$. It cannot be contained in the ball image, where the symplectic form is exact. Euclidean monotonicity therefore gives $a\ge \pi {\rho }^2$. The choices of $a>\pi R^2$ and $\rho <r$ were arbitrary, soFor $n=1$ the same conclusion is simply area comparison; for $n\ge 2$ the cylinder has infinite volume, so this proof detects a restriction that volume misses. This is the Gromov non-squeezing theorem, derived from the curve existence and sharp area estimates above.

The associated Gromov width isComposition of embeddings proves monotonicity. Rescaling coordinates in a ball proves $c_G(U,c\omega )=c{c}_G(U,\omega )$ for $c>0$. Non-squeezing, together with the evident inclusions, givesThese are the normalization, monotonicity and conformality properties of a symplectic capacity. The two-ball obstruction of Question 5 illustrates a related use: one degree-one curve through two prescribed centres gives an additive area bound, stronger than comparing the volumes of the balls. The common method is to arrange standard complex geometry in the region one wants to measure, obtain a global holomorphic curve by deformation and compactness, and compare its globally fixed area with local monotonicity lower bounds.

An almost complex structure $J$ is compatible with $\omega$ if $J^2=-I$, $\omega (Ju,Jv)=\omega (u,v)$, and $g_J(u,v)=\omega (u,Jv)$ is a positive-definite inner product. To construct one, choose a Riemannian metric $h$ and define $A$ by $h(Au,v)=\omega (u,v)$. The map $A$ is invertible and skew-adjoint, so $-A^2$ is positive definite. Its positive square root $P=(-A^2{)}^{1/2}$ commutes with $A$, andThe same identities show that $J$ preserves $\omega$. The positive square root depends smoothly on $A$, giving a smooth compatible almost complex structure.

For a compatible $J$, applying this metric construction of a compatible almost complex structure to $g_J$ returns $J$. Given $J_0,J_1$, apply it to $(1-t)g_{J_0}+t{g}_{J_1}$ to obtain a path joining them. In fact interpolation to any fixed auxiliary metric gives a contraction. Thus the space is nonempty and connected, and even contractible, by contractibility of compatible almost complex structures.

Regularity of a J-holomorphic curve $u$ means that its linearized Cauchy–Riemann operator $D_u$ is surjective. Differentiating in coordinates givesup to the harmless factor $1/2$ in the convention for ${\bar{\partial }}_J$. For constant $u$, the last term vanishes, $J(u)$ is constant, and the pulled-back tangent bundle is ${\mathbb{CP}}^1\times T_{u}M$. Identifying $T_{u}M$ with ${\mathbb{C}}^n$, this is a direct sum of $n$ copies of the Dolbeault operator on the trivial line bundle. Its cokernel is $H^{0,1}({\mathbb{CP}}^1,\mathcal{O})=0$, by Dolbeault cohomology of the projective line. Hence constant maps are regular for every compatible $J$.

The Energy identity for a J-holomorphic curve says that the energy is ${\int }_{{\mathbb{CP}}^1}{u}^{\ast }\omega$. If the homology class is zero, this integral is zero, forcing $du=0$. Thus every zero-class sphere is constant and regular.

In real dimension four, the Fredholm index of the parametrized sphere operator is $4+2c_1(A)$. At a regular nonconstant sphere, quotienting by the six-dimensional Möbius transformation group gives a local moduli space, or an orbifold for finite stabilizers, of real dimensionThis is the dimension formula for regular J-holomorphic spheres.

For a simple J-holomorphic sphere in class $A$, the adjunction inequality for a simple J-holomorphic sphere gives $c_1(A)\le A^2+2$. If $A^2\le -2$, the displayed moduli dimension is negative, so such a regular simple J-holomorphic sphere cannot exist. To cover nonsimple maps as well, interpret regularity here as regularity for all nonconstant maps under discussion. A degree-$m$ cover, $m\ge 2$, of a simple J-holomorphic sphere in class $B$ has $A=mB$, with $B^2\le -1$ and $c_1(B)\le 1$. Its local family of rational covering maps of the projective line modulo domain reparametrization has real dimension $4m-4$, while the predicted dimension isIt therefore cannot be regular. This proves there are no regular spheres in a class with square at most minus two, by negative-square exclusion under full sphere regularity. Regularity only for simple curves would not suffice: multiple covers of an exceptional minus-one sphere are the counterexample.

A J-holomorphic curve is regular when the linearized Cauchy–Riemann operator is surjective. Regularity only for simple curves is weaker than regularity for all maps: multiple covers of an exceptional sphere can fail regularity even when that simple sphere is regular.

A real-linear Cauchy–Riemann operator on a complex rank-$n$ vector bundle over a closed genus-$g$ Riemann surface is a Fredholm operator between the usual Sobolev spaces and has the displayed index. Zero-order real-linear terms do not change this index, since they form a continuous deformation of Fredholm operators. For the bundle pulled back by a sphere, subtracting the six-dimensional reparametrization group gives the dimension formula for regular J-holomorphic spheres.