5.7. Proof of Theorems 1 , 1’ and 3 [04TI]
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
5.7. Proof of Theorems 1, 1’ and 3
The Lagrangian spheres will come from components of certain real hypersurfaces whose complexification is isotopic to .
Let be a lattice point of . We define
Denote with the zero set of and with its real part. The Viro patchworking theorem [15] (see also [4] for a special case of combinatorial patchworking and [5] for an elementary description in the case of curves) implies that is diffeomorphic to a sphere . This sphere is Lagrangian as a component of the real part and it maps under to for . Furthermore, it realizes in the class corresponding to according to Proposition 1.10.

By 5.6 is smooth. Thus, it is isotopic to and we have a diffeomorphism . Moreover, we can choose an isotopy among the hypersurfaces defined by such polynomials that the norm of all monomials is constant in the course of deformation. All such hypersurfaces are smooth and their image under is contained in by 5.6. Therefore, the image projects to the same class in .
By Moser’s trick, is isotopic to a symplectomorphism. This gives a Lagrangian sphere in which projects to the class in corresponding to . Thus the last conclusion of Theorems 1 and 1’ is proved.
Existence of such spheres also implies the first conclusion of Theorems 1 and 1’. The map is injective since we can distinguish the images in by their evaluations on these Lagrangian spheres.
The proof of Theorem 3 is the same since these spheres belong to the toric part of .