ScalingStacks

Proof. [0485]

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.

Consider the Floer cup product with mod 2 coefficients

H​F0​(L¯′′,L¯)⊗H​F0​(L¯,L¯′′)→H​F0​(L¯,L¯),HF^{0}(\bar{L}^{\prime\prime},\bar{L})\otimes HF^{0}(\bar{L},\bar{L}^{\prime\prime})\to HF^{0}(\bar{L},\bar{L}),

which can be identified as the cup product

H0​(L¯,L¯)⊗H0​(L¯,L¯)→H0​(L¯,L¯),1L¯∪1L¯=1L¯,H^{0}(\bar{L},\bar{L})\otimes H^{0}(\bar{L},\bar{L})\to H^{0}(\bar{L},\bar{L}),\quad 1_{\bar{L}}\cup 1_{\bar{L}}=1_{\bar{L}},

and thus must be nontrivial. However, at chain level this Floer product comes from the A∞A_{\infty} operation

m2:C​F0​(L¯′′,L¯)⊗C​F0​(L¯,L¯′′)→C​F0​(L¯,L¯),m_{2}:CF^{0}(\bar{L}^{\prime\prime},\bar{L})\otimes CF^{0}(\bar{L},\bar{L}^{\prime\prime})\to CF^{0}(\bar{L},\bar{L}),

which must be nontrivial. The counting interpretation implies there are intersection points p′∈C​F0​(L¯,L¯′′)p^{\prime}\in CF^{0}(\bar{L},\bar{L}^{\prime\prime}) and q′∈C​F0​(L¯′′,L¯)≃C​Fn​(L¯,L¯′′)∨q^{\prime}\in CF^{0}(\bar{L}^{\prime\prime},\bar{L})\simeq CF^{n}(\bar{L},\bar{L}^{\prime\prime})^{\vee} and some holomorphic strip in between. Since degree 0,n0,n intersection points cannot occur inside ℂn\mathbb{C}^{n}, they can only occur at infinity, so we must have {p,q}={p′,q′}\{p,q\}=\{p^{\prime},q^{\prime}\}. ∎

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