(Informal discussion on singularity)
The and should have very specific singularities along , , . Let us focus on what happens around . The delta forcing term appears in the component of (2.4) as
|
|
|
If we denote the Lebesgue measure as , we may rewrite this equation as
|
|
|
Since do not see the forcing term, our best guess is that they are smooth along . Then modulo smooth terms along , from which the distributional equation gives the singularity structure along :
|
|
|
The following base metric encoding the Gibbons-Hawking data has the singularity structure along
|
|
|
from which we recognize the Taub-NUT metric appearing in directions transverse to . See Section 2.3 for further details.