ScalingStacks

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 k=l=1k=l=1 and both simplices τ\tau and σ\sigma 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 V⁡(u,x,y)V(u,x,y) (=W⁡(u,x,y)=W(u,x,y)) on a domain in the cylinder ℝ×ℝ×S1\mathbb{R}\times\mathbb{R}\times S^{1} with the Dirac δ\delta-function on the right hand side. We can write both the solution V⁡(u,x,y)V(u,x,y) and the δ\delta-function in the Fourier expansion:

V(u,x,y)=∑m∈ℤVme2​π​i​m​y,γτj(u)δPσ(η)=−δ(u,x,y)=−∑m∈ℤδ(u,x)e2​π​i​m​y.V(u,x,y)=\sum_{m\in\mathbb{Z}}V_{m}e^{2\pi imy},\quad\gamma^{j}_{\tau}(u)\delta_{P_{\sigma}}(\eta)=-\delta(u,x,y)=-\sum_{m\in\mathbb{Z}}\delta(u,x)e^{2\pi imy}.

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

∂2Vλ∂u2+∂2Vλ∂x2+∂2Vλ∂y2=−2π⋅δ(u,x,y)\frac{\partial^{2}V_{\lambda}}{\partial u^{2}}+\frac{\partial^{2}V_{\lambda}}{\partial x^{2}}+\frac{\partial^{2}V_{\lambda}}{\partial y^{2}}=-2\pi\cdot\delta(u,x,y)

will decompose into the Helmholtz equations according to the Fourier modes:

∂2Vλm∂u2+∂2Vλm∂x2−(2πm)2Vλm=−2π⋅δ(u,x),m∈ℤ.\frac{\partial^{2}V_{\lambda}^{m}}{\partial u^{2}}+\frac{\partial^{2}V_{\lambda}^{m}}{\partial x^{2}}-(2\pi m)^{2}V_{\lambda}^{m}=-2\pi\cdot\delta(u,x),\quad m\in\mathbb{Z}.

On the other hand, the (σ,τ)(\sigma,\tau)-type split Monge-Ampère equation in the rescaled coordinates s=λ−1​u,t=λ−1​us=\lambda^{-1}u,t=\lambda^{-1}u is the two-dimensional Laplace equation:

∂2V∂s2+∂2V∂t2=−2π⋅δ(s,t),\frac{\partial^{2}V}{\partial s^{2}}+\frac{\partial^{2}V}{\partial t^{2}}=-2\pi\cdot\delta(s,t),

whose fundamental solutions are in the form V⁡(s,t)=−12​log⁡|s2+t2|+h⁡(s,t)V(s,t)=-\frac{1}{2}\log|s^{2}+t^{2}|+h(s,t), for a harmonic function hh. Thus, one can take the zero mode of the corresponding Gibbons-Hawking solution to be Vλ0​(u,x)=V⁡(λ−1​u,λ−1​x)V_{\lambda}^{0}(u,x)=V(\lambda^{-1}u,\lambda^{-1}x), as long as V⁡(s,t)V(s,t) stays positive on RR. As for the higher modes, it is known that a fundamental solution to the Helmholtz equation with m≠0m\neq 0 may be given by the Bessel function

Vλm=K0​(2​π​|m|​r)∼14​|m|​r​e−2​π|m|r​(1+O⁡(r−1)), where ​r2=u2+x2,V_{\lambda}^{m}=K_{0}(2\pi|m|r)\sim\frac{1}{\sqrt{4|m|r}}\,e^{-{2\pi|m|r}}\left(1+O(r^{-1})\right),\text{ where }r^{2}=u^{2}+x^{2},

which decays exponentially as required.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.