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
which can be identified as the cup product
and thus must be nontrivial. However, at chain level this Floer product comes from the operation
which must be nontrivial. The counting interpretation implies there are intersection points and and some holomorphic strip in between. Since degree intersection points cannot occur inside , they can only occur at infinity, so we must have . ∎