3.9. Ooguri-Vafa type metric on the positive vertex [0447]
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
3.9. Ooguri-Vafa type metric on the positive vertex
We discuss geometric aspects of the Ooguri-Vafa type metric .
Corollary 3.34.
(Exponential decay to semiflat metric away from ) Assume the setup of Theorem 3.33. In the subregion , the deviation of from its zeroth Fourier mode decays exponentially:
| (3.13) |
The constant depends only on and the scale invariant ellipticity bound on . The decay rate can be chosen arbitrarily close to 1.
Corollary 3.35.
(Special Lagrangian fibration) There exist moment coordinates for the action on . The special Lagrangian fibration
| (3.14) |
is proper over where the generic fibre is topologically . The critical point set is and the discriminant locus is contained in . The monodromy of the fibration and the topology of the central singular fibre agrees with the Gross-Ruan prediction in Section 1.1.3.
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. ∎
Remark 3.10.
The singular fibres over have non-isolated singularities by -invariance. This does not contradict Joyce’s critique, since the Ooguri-Vafa type metric on the positive vertex is not a generic metric (cf. review Section 1.1.5). But when we glue the Ooguri-Vafa type metric into the global Calabi-Yau metric on a degenerating 3-fold (cf. review Section 1.1.6), the exponentially small corrections to the complex structure will destroy -invariance. We then expect the singularity structure of the SYZ fibration to be drastically changed, and in particular its discriminant locus thickens into a ribbon around as predicted by Joyce [14].