ScalingStacks

Proof. [04CN]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof.

We consider holomorphic polygons whose boundary ∂Σ\partial\Sigma encounters in the clockwise order intersections in pN−1∈C​F1​(LN,LN−1),…p_{N-1}\in CF^{1}(L_{N},L_{N-1}),\ldots, p1∈C​F1​(L2,L1)p_{1}\in CF^{1}(L_{2},L_{1}), p0∈C​F0​(L1,L0)p_{0}\in CF^{0}(L_{1},L_{0}), pN∈C​F0​(L0,LN)p_{N}\in CF^{0}(L_{0},L_{N}), juxaposed possibly by more degree one self intersections bib_{i} of LiL_{i}. The notation here does not constrain the number of self intersections of LiL_{i} that can occur on ∂Σ\partial\Sigma. The topological energy formula (66) expresses E⁡(u)E(u) in terms of the Lagrangian potentials at the intersections

E⁡(u)+∑i∑bifLi|−+​(bi)=fLN​(pN)−fL0​(pN)+∑i=0N−1(fLi−fLi+1)​(pi)=fL0​(p0)−fL0​(pN)+∑i=1N(fLi​(pi)−fLi​(pi−1))≤(N+1)​A.\begin{split}&E(u)+\sum_{i}\sum_{b_{i}}f_{L_{i}}|^{+}_{-}(b_{i})\\ &=f_{L_{N}}(p_{N})-f_{L_{0}}(p_{N})+\sum_{i=0}^{N-1}(f_{L_{i}}-f_{L_{i+1}})(p_{i})\\ &=f_{L_{0}}(p_{0})-f_{L_{0}}(p_{N})+\sum_{i=1}^{N}(f_{L_{i}}(p_{i})-f_{L_{i}}(p_{i-1}))\\ &\leq(N+1)A.\end{split}

By the Novikov positivity requirement of the bounding cochains fLi|−+​(bi)≥0f_{L_{i}}|^{+}_{-}(b_{i})\geq 0, and the energy of the holomorphic curve is also positive, so they are individually bounded.

More generally, the polygons may miss some of the Lagrangians in L1,…​LNL_{1},\ldots L_{N}, but cannot reverse the order of the Lagrangians. This amounts to using a smaller effective value NN, and the same argument implies the energy bound. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.