1.3.1. Gibbons-Hawking viewpoint [03Z7]
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
1.3.1. Gibbons-Hawking viewpoint
The Ooguri-Vafa metric is an incomplete -invariant hyperKähler metric constructed via the Gibbons-Hawking ansatz (cf. Section 1.2 with ). In our normalisation conventions, the metric lives on the singular -bundle where the complex variable has period 1, and the -fibre collapses to a point over the origin . The first Chern class of the -bundle evaluates to on a sphere around the origin in . The composition gives a singular -fibration, and the periodicity condition on amounts to imposing .
Let be a large parameter. The Ooguri-Vafa metric can be thought as a perturbation of the constant solution (cf. Example 1.6) which is encoded by
after incorporating some topology. We denote , and set
| (1.19) |
This series is convergent, 1-periodic in the variable, and satisfies the Laplace equation on with distributional term which encodes simultaneously the Calabi-Yau condition and the topology:
where is the delta measure at the origin in . The metric on
is called the Ooguri-Vafa metric. Strictly speaking, the connection can be twisted by a flat connection, and this choice is parametrised by using that a codimension 3 subset in the base does not affect the fundamental group. We sometimes suppress mentioning this choice as it does not affect the geometry significantly. By Remark 1.6 the coordinates define a special Lagrangian fibration with phase zero on .
The Ooguri-Vafa metric has the important exponential decay property for ,
| (1.20) |
where is the Euler constant. For , the dependence of on the periodic -variable decays exponentially, so up to exponentially small error the Ooguri-Vafa metric is asymptotic to a semiflat metric. This property is the main reason why the Ooguri-Vafa metric is useful for the gluing construction of Gross and Wilson [11]. On the other hand becomes negative roughly when , so the metric is only defined on a bounded set and is incomplete.