1: \documentclass[11pt]{article}

2: 

3: \textwidth 5.0in

4: \textheight 8.0in

5: 

6: \title{Gluing pseudoholomorphic curves along branched covered

7:  cylinders I}

8:  \author{Michael Hutchings and Clifford Henry Taubes}

9: \date{}

10: 

11: \usepackage{amssymb}

12: \usepackage{latexsym}

13: \usepackage{amsmath}

14: \usepackage{amsthm}

15: \usepackage{amscd}

16: \usepackage[dvips]{graphics}

17: 

18: \numberwithin{equation}{section}

19: 

20: \newcommand{\mc}[1]{{\mathcal #1}}

21: 

22: \newtheorem{theorem}{Theorem}[section]

23: \newtheorem{proposition}[theorem]{Proposition}

24: \newtheorem{corollary}[theorem]{Corollary}

25: \newtheorem{lemma}[theorem]{Lemma}

26: \newtheorem{lemma-definition}[theorem]{Lemma-Definition}

27: \newtheorem{sublemma}[theorem]{Sublemma}

28: \newtheorem{disclosure}[theorem]{Disclosure}

29: \newtheorem{conjecture}[theorem]{Conjecture}

30: \newtheorem{claim}[theorem]{Claim}

31: 

32: \theoremstyle{definition}

33: \newtheorem{definition}[theorem]{Definition}

34: \newtheorem{remark}[theorem]{Remark}

35: \newtheorem{remarks}[theorem]{Remarks}

36: \newtheorem{example}[theorem]{Example}

37: \newtheorem{convention}[theorem]{Convention}

38: \newtheorem{notation}[theorem]{Notation}

39: \newtheorem{openproblem}[theorem]{Open Problem}

40: \newtheorem{assumption}[theorem]{Assumption}

41: 

42: \newcommand{\step}[1] {\medskip \noindent {\em Step #1.\/}}

43: 

44: \newcommand{\floor}[1]{\left\lfloor #1 \right\rfloor}

45: \newcommand{\ceil}[1]{\left\lceil #1 \right\rceil}

46: 

47: \newcommand{\pin}{P^{\op{in}}}

48: \newcommand{\pout}{P^{\op{out}}}

49: \newcommand{\lin}{\Lambda^{\op{in}}}

50: \newcommand{\lout}{\Lambda^{\op{out}}}

51: 

52: \newcommand{\eqdef}{\;{:=}\;}

53: \newcommand{\fedqe}{\;{=:}\;}

54: 

55: \newcommand{\C}{{\mathbb C}}

56: \newcommand{\Q}{{\mathbb Q}}

57: \newcommand{\R}{{\mathbb R}}

58: \newcommand{\N}{{\mathbb N}}

59: \newcommand{\Z}{{\mathbb Z}}

60: \newcommand{\op}{\operatorname}

61: \newcommand{\dbar}{\overline{\partial}}

62: \newcommand{\zbar}{\overline{z}}

63: \newcommand{\Spinc}{\op{Spin}^c}

64: \newcommand{\SO}{\op{SO}}

65: \newcommand{\SU}{\op{SU}}

66: \newcommand{\U}{\op{U}}

67: \newcommand{\M}{\mc{M}}

68: \newcommand{\Spin}{\op{Spin}}

69: \newcommand{\End}{\op{End}}

70: \newcommand{\Aut}{\op{Aut}}

71: \newcommand{\Hom}{\op{Hom}}

72: \newcommand{\Ker}{\op{Ker}}

73: \newcommand{\Coker}{\op{Coker}}

74: \newcommand{\Tr}{\op{Tr}}

75: \newcommand{\Lie}{\op{Lie}}

76: \newcommand{\SW}{\op{SW}}

77: \newcommand{\tensor}{\otimes}

78: \newcommand{\too}{\longrightarrow}

79: \newcommand{\vu}{\nu}

80: 

81: \newcommand{\feed}{-\!\!\!\hspace{0.7pt}\mbox{\raisebox{3pt}

82: {$\shortmid$}}\,}

83: 

84: \newcommand{\union}{\bigcup}

85: \newcommand{\intt}{\bigcap}

86: \newcommand{\eps}{\varepsilon}

87: \newcommand{\reals}{\mathbb{R}}

88: \newcommand{\Fix}{\op{Fix}}

89: 

90: \newcommand{\define}[1]{{\em #1\/}}

91: 

92: \newcommand{\note}[1]{[{\em #1}]}

93: 

94: \newcommand{\rb}[1]{\raisebox{1.5ex}[-1.5ex]{#1}}

95: 

96: \newcommand{\T}{{\mathcal T}}

97: \newcommand{\E}{E'}

98: \newcommand{\ra}{\rightarrow}

99: \newcommand{\F}{\mathcal{F}}

100: \newcommand{\G}{\mathcal{G}}

101: 

102: \newcommand{\Span}{\op{Span}}

103: \newcommand{\Zmodule}{\underline{\mathbb Z}}

104: \newcommand{\Zring}{R}

105: 

106: \newcommand{\bpm}{\begin{pmatrix}}

107: \newcommand{\epm}{\end{pmatrix}}

108: 

109: \begin{document}

110: 

111: \maketitle

112: 

113: \begin{abstract}

114: This paper and its sequel prove a generalization of the usual gluing

115: theorem for two index $1$ pseudoholomorphic curves $u_+$ and $u_-$ in

116: the symplectization of a contact 3-manifold.  We assume that for each

117: embedded Reeb orbit $\gamma$, the total multiplicity of the negative

118: ends of $u_+$ at covers of $\gamma$ agrees with the total multiplicity

119: of the positive ends of $u_-$ at covers of $\gamma$.  However, unlike

120: in the usual gluing story, here the individual multiplicities are

121: allowed to differ.  In this situation, one can often glue $u_+$ and

122: $u_-$ to an index $2$ curve by inserting genus zero branched covers of

123: $\R$-invariant cylinders between them.  We establish a combinatorial

124: formula for the signed count of such gluings.  As an application, we

125: deduce that the differential $\partial$ in embedded contact homology

126: satisfies $\partial^2=0$.

127: 

128: This paper explains the more algebraic aspects of the story, and proves the

129: above formulas using some analytical results from part II.

130: \end{abstract}

131: 

132: \tableofcontents

133: 

134: \section{Statement of the gluing theorem}

135: \label{sec:SGT}

136: 

137: \input{obg-intro}

138: 

139: \section{The obstruction bundle}

140: \label{sec:obstructionBundle}

141: 

142: \input{obg-ob}

143: 

144: \section{The linearized section of the obstruction bundle}

145: \label{sec:section}

146: 

147: \input{obg-section}

148: 

149: \section{Combinatorics of the elliptic gluing coefficients}

150: \label{sec:trees}

151: 

152: \input{obg-trees}

153: 

154: \section{Counting zeroes of the linearized section}

155: \label{sec:count}

156: 

157: \input{obg-count}

158: 

159: \section{Detailed analysis of the obstruction bundle}

160: \label{sec:approx}

161: 

162: \input{obg-approx}

163: 

164: \section{Application to embedded contact homology}

165: \label{sec:ech}

166: 

167: \input{obg-ech}

168: 

169: %%\begin{appendix}

170: %%

171: %%\section{More about the combinatorics}

172: %%\label{app:ihx}

173: %%

174: %%\input{obg-ihx}

175: %%

176: %%\end{appendix}

177: 

178: \begin{thebibliography}{99}

179: 

180: \bibitem{dbn} D. Bar-Natan, {\em On the Vassiliev knot invariants\/},

181:   Topology {\bf 34} (1995), 423--472.

182: 

183: \bibitem{behwz} F. Bourgeois, Y. Eliashberg, H. Hofer, K. Wysocki, and

184:   E. Zehnder, {\em Compactness results in symplectic field theory\/},

185:   Geom. Topol. {\bf 7} (2003), 799--888.

186: 

187: \bibitem{bm} F. Bourgeois and K. Mohnke, {\em Coherent orientations in

188: symplectic field theory\/}, Math. Z. {\bf 248} (2004), 123--146.

189: 

190: \bibitem{dragnev} D. Dragnev, {\em Fredholm theory and transversality

191:   for noncompact pseudoholomorphic maps in symplectizations\/},

192:   Comm. Pure Appl. Math {\bf 57} (2004), 726--763.

193: 

194: \bibitem{egh} Y. Eliashberg, A. Givental, and H. Hofer, {\em

195: Introduction to symplectic field theory\/}, Geom. Funct. Anal. (2000),

196: 560--673.

197: 

198: \bibitem{fabert} O. Fabert, {\em Counting trivial curves in rational

199:   symplectic field theory\/}, in preparation.

200: 

201: \bibitem{fh} A. Floer and H. Hofer, {\em Coherent orientations for

202:   periodic orbit problems in symplectic geometry\/}, Math. Z. {\bf

203:   212} (1993), 13--38.

204: 

205: \bibitem{hofer} H. Hofer, {\em Holomorphic curves and dynamics in

206:   dimension three\/}, Symplectic geometry and topology (Park City, UT,

207:   1997), 35--101, IAS/Park City Math. Ser. {\bf 7}, AMS, 1999.

208: 

209: \bibitem{hwz2} H. Hofer, K. Wysocki, E. Zehnder, {\em Properties

210:   of pseudo-holomorphic curves in symplectizations.  II.  Embedding

211:   controls and algebraic invariants\/}, Geom. Funct. Anal. {\bf 5\/}

212:   (1995), 270--328.

213: 

214: \bibitem{pfh2} M. Hutchings, {\em An index inequality for embedded

215: pseudoholomorphic curves in symplectizations\/},

216: J. Eur. Math. Soc. {\bf 4\/} (2002), 313--361.

217: 

218: \bibitem{pfh3} M. Hutchings and M. Sullivan, {\em The periodic Floer

219:   homology of a Dehn twist\/}, Algebr. Geom. Topol. {\bf 5\/} (2005),

220:   301--354.

221: 

222: \bibitem{t3} M. Hutchings and M. Sullivan, {\em Rounding corners of

223:   polygons and the embedded contact homology of $T^3$\/}, Geometry and

224:   Topology {\bf 10\/} (2006), 169--266.

225: 

226: \bibitem{obg2} M. Hutchings and C. H. Taubes, {\em Gluing

227:   pseudoholomorphic curves along branched covered cylinders II\/},

228:   arxiv:0705.2074.

229: 

230: \bibitem{krmr} P. Kronheimer and T. Mrowka, {\em Monopoles and

231: three-manifolds\/}, book in preparation.

232: 

233: \bibitem{ozsz} P. Ozsv\'{a}th and Z. Szab\'{o}, {\em Holomorphic disks and

234:   topological invariants for closed three-manifolds\/}, Ann. of

235:   Math. {\bf 159} (2004), 1027--1158.

236: 

237: \bibitem{schwarz} M. Schwarz, {\em Cohomology operations from $S^1$

238: cobordisms in Floer homology\/}, ETH Z\"{u}rich PhD thesis, 1995.

239: 

240: \bibitem{siefring} R. Siefring, {\em The relative asymptotic behavior

241:   of pseudoholomorphic half-cylinders\/}, math.SG/0702356.

242: 

243: \end{thebibliography}

244: 

245: \end{document}

246: 

247: