I need some clarification about the reason why we have a sphere bubbling off in the situation described by Seidel in The Symplectic Floer Homology of a Dehn Twist.
I’ll try to summarize to the best of my abilities the situation I’m interested in:
We are stretching the neck along a circle in $\Sigma$. Let us fix an identification of the tubular neighborhood of such circle with $[-1,1]\times S^1$. Let $R>0$, by $\Sigma^R$ I’ll denote the surface diffeomorphic to $\Sigma$ but with neck $[-R,R]\times S^1$.
Assume that for $R_i\to \infty$, we have a sequence of $J^{R_i}$-holomorphic strips $\{u^i\}_i$, with $u^i\in \mathcal{M}^{R_i}(x_-,x_+)$ (for a definition see bottom of page 832 of the paper) with uniform bounded energy.
Notice that we can’t have uniform bound on $|du^i|_{L^{\infty}}$, in particular we can find a sequence of points $z_i \in [-R_i,R_i]\times S^1$ such that $|du^i|$ has a maximum there, with value $C_i$, and $C_i\to \infty$. Let $\Sigma’=\Sigma \setminus [-1,1]\times S^1$, (the definition of $\Sigma’$ is independent of the length of the neck!) now assume that, for $i$ big enough, $$d(u^i(z_i),\Sigma’)\leq k < \infty$$
(I.e. no matter the length of the neck that is stretching to infinity, my Maximums stays within finite distance to some edge of the neck)
From there the author immediately concludes that after some reparametrization, the $u^i$’s converged to a $J$-holomorphic sphere in the surface obtained from $\Sigma’$ by attaching a semi-infinite cylinder to each boundary component. I can show that, after reparametrization my curves converges to a non-constant $J$-hol map defined on $\Bbb C$, but I don’t see why this map should extend to the sphere. My understanding is that in order to use the removable of singularity theorem we need a compact image, but $\Sigma’$ With the cylindrical ends is non compact.
Most likely there is some clever way to reparametrize this curves (i used the standard conformal map $z\mapsto z/C_i+z_i$ that centers $u^i$ at $0$ and normalize the norm of its differential at $0$), or to infer something about the image of the limit, but I’m unable to see it.
Any hint is really appreciated, since this is bugging me. Thanks in advance!