Proof.
By similar calculations as in Corollary 2.29, the moment map on is expressed as
|
|
|
where is the Kähler potential between and (cf. Section Section 3.7), and are the moment coordinates for (cf. Corollary 2.29). By construction vanish respectively along , due to the respective vanishing of the circle generators . This fixes the additive normalisation on the moment coordinates.
The gradient estimates on Kähler potentials and Corollary 2.29 imply on
| (3.15) |
|
|
|
In particular, if , then , so the map (3.14) is proper over .
By the same argument in Corollary 2.29, the fibres of (3.14) are special Lagrangians of phase angle zero, the critical point set is and the discriminant locus is contained in .
Next we consider the map on the region . Using (3.15) and the implicit function theorem, this map restricted to the region
is an approximate identity, and in particular a diffeomorphism onto its image.
Morever by (3.15) no points elsewhere can map into
. Interpreted geometrically, this implies that the special Lagrangian fibres of (3.14)
lying over the region
and suitably away from , must be small perturbations of the -fibres of the map . This shows the generic fibre of (3.14) is topologically , and the monodromy data of (3.14) is the same as for , which by construction agrees with the Gross-Ruan prediction in Section 1.1.3.
Finally we need to determine the topology of the central singular fibre, defined as the set , which is invariant under the -action. From our knowledge of the critical point set, the only singular point on the central fibre is . Thus the quotient must be a compact 1-dimensional manifold with possibly one singular point. But there is also a homological constraint
|
|
|
so is connected and must in fact be a circle. Therefore has the topology of with a copy of collapsed to a point, in accordance with the Gross-Ruan prediction on the positive vertex.
∎