Proof. [047Y]
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.
(Sketch) Assume the suppports do not coincide. After small Hamiltonian perturbations, we can ensure the perturbed Lagrangians have transverse intersections, and still define the same isomorphic objects in . Under the special Lagrangian assumption, through judicious choice of the Hamiltonian via Morse theory as in Thomas-Yau [66, Thm 4.3], or by using genericity arguments based on real analyticity as in Joyce-Imagi-Santos [40, section 4.3], one can ensure there is no intersection point of degree , so in particular . However, this implies the cohomological unit of is zero, so the Floer cohomology ring of is zero, namely is a zero object in , contradiction. ∎