\( \def\CC{{\mathbb C}} \def\RR{{\mathbb R}} \def\NN{{\mathbb N}} \def\ZZ{{\mathbb Z}} \def\TT{{\mathbb T}} \def\CF{{\operatorname{CF}^\bullet}} \def\HF{{\operatorname{HF}^\bullet}} \def\SH{{\operatorname{SH}^\bullet}} \def\ot{{\leftarrow}} \def\st{\;:\;} \def\Fuk{{\operatorname{Fuk}}} \def\emprod{m} \def\cone{\operatorname{Cone}} \def\Flux{\operatorname{Flux}} \def\li{i} \def\ev{\operatorname{ev}} \def\id{\operatorname{id}} \def\grad{\operatorname{grad}} \def\ind{\operatorname{ind}} \def\weight{\operatorname{wt}} \def\Sym{\operatorname{Sym}} \def\HeF{\widehat{CHF}^\bullet} \def\HHeF{\widehat{HHF}^\bullet} \def\Spinc{\operatorname{Spin}^c} \def\min{\operatorname{min}} \def\div{\operatorname{div}} \def\SH{{\operatorname{SH}^\bullet}} \def\CF{{\operatorname{CF}^\bullet}} \def\Tw{{\operatorname{Tw}}} \def\Log{{\operatorname{Log}}} \def\TropB{{\operatorname{TropB}}} \def\wt{{\operatorname{wt}}} \def\Span{{\operatorname{span}}} \def\Crit{\operatorname{Crit}} \def\into{\hookrightarrow} \def\tensor{\otimes} \def\CP{\mathbb{CP}} \def\eps{\varepsilon} \) SympSnip:

example 0.0.1

The maximum modulus principle states that if \(\phi: D^2\to \CC\) is a holomorphic function from the disk to \(\CC\), that the maximum of \(|\phi|: D^2\to \RR_{\geq 0}\) is achieved on \(\partial D^2\). Let \(\hat X\) be a non-compact symplectic manifold with compatible almost complex structure \(J\), along with a \(J-\jmath\)-holomorphic projection \(W: \hat X\to \CC\). Suppose that the fibers of \(W\) are compact. Pick two loops \(\gamma_-, \gamma_+\subset \hat X\) and \(r_0\in \RR\) large enough so that \(U:=W^{-1}(\{z \st |z|\leq r\})\) contains \(\gamma_-, \gamma_+\). We will prove that every pseudoholomorphic cylinder \(u: S^1\times \RR\to \hat X\) with ends limiting to \(\gamma_-, \gamma_+\) has image contained within the compact subset \(U\). The composition \(W\circ u: S^1\times \RR\to \CC\) is a holomorphic map, with ends limiting to \(W(\gamma_\pm)\), and therefore satisfies the maximum modulus principle. Since the boundary is sent to \(W(\gamma_\pm)\), we obtain that \(|W|\) achieves a value no greater than \(r_0\) on \(u\); therefore \(\Im(u)\subset U\). It follows that the image of \(u\) is contained within a compact set.