Gluing pseudoholomorphic curves along branched covered cylinders II
This paper and its prequel ("Part I") prove a generalization of the usual gluing theorem for two index 1 pseudoholomorphic curves U_+ and U_- in the symplectization of a contact 3-manifold. We assume that for each embedded Reeb orbit gamma, the total multiplicity of the negative ends of U_+ at covers of gamma agrees with the total multiplicity of the positive ends of U_- at covers of gamma. However, unlike in the usual gluing story, here the individual multiplicities are allowed to differ. In this situation, one can often glue U_+ and U_- to an index 2 curve by inserting genus zero branched covers of R-invariant cylinders between them. This paper shows that the signed count of such gluings equals a signed count of zeroes of a certain section of an obstruction bundle over the moduli space of branched covers of the cylinder. Part I obtained a combinatorial formula for the latter count and, assuming the result of the present paper, deduced that the differential d in embedded contact homology satisfies d^2=0. The present paper completes all of the analysis that was needed in Part I. The gluing technique explained here is in principle applicable to more gluing problems. We also prove some lemmas concerning the generic behavior of pseudoholomorphic curves in symplectizations, which may be of independent interest.