3.3. Two dimensional example: local K3 (after [ OV96 ] and [ GW00 ] ) [05CT]
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.3. Two dimensional example: local K3 (after [OV96] and [GW00])
This is the periodic version of the original Gibbons-Hawking ansatz [GH78],[Haw77]. We consider the case when and both simplices and are of length 1, although the construction works for a non-unimodular case as well.
The Gibbons-Hawking equation in this case is equivalent to the Laplace equation for () on a domain in the cylinder with the Dirac -function on the right hand side. We can write both the solution and the -function in the Fourier expansion:
Here the minus sign takes into account the orientation of the circle action when passing from currents to generalized functions.
Being linear, the Gibbons-Hawking equation
will decompose into the Helmholtz equations according to the Fourier modes:
On the other hand, the -type split Monge-Ampère equation in the rescaled coordinates is the two-dimensional Laplace equation:
whose fundamental solutions are in the form , for a harmonic function . Thus, one can take the zero mode of the corresponding Gibbons-Hawking solution to be , as long as stays positive on . As for the higher modes, it is known that a fundamental solution to the Helmholtz equation with may be given by the Bessel function
which decays exponentially as required.