Gravitational instanton

In mathematical physics and differential geometry, a gravitational instanton is a four-dimensional complete Riemannian manifold satisfying the vacuum Einstein equations. They are so named because they are analogues in quantum theories of gravity of instantons in Yang–Mills theory. In accordance with this analogy with self-dual YangMills instantons, gravitational instantons are usually assumed to look like four dimensional Euclidean space at large distances, and to have a self-dual Riemann tensor. Mathematically, this means that they are asymptotically locally Euclidean (or perhaps asymptotically locally flat) hyperkähler 4-manifolds, and in this sense, they are special examples of Einstein manifolds. From a physical point of view, a gravitational instanton is a non-singular solution of the vacuum Einstein equations with positive-definite, as opposed to Lorentzian, metric.

There are many possible generalizations of the original conception of a gravitational instanton: for example one can allow gravitational instantons to have a nonzero cosmological constant or a Riemann tensor which is not self-dual. One can also relax the boundary condition that the metric is asymptotically Euclidean.

There are many methods for constructing gravitational instantons, including the Gibbons–Hawking Ansatz, twistor theory, and the hyperkähler quotient construction.

Properties

Taxonomy

By specifying the 'boundary conditions', i.e. the asymptotics of the metric 'at infinity' on a noncompact Riemannian manifold, gravitational instantons are divided into a few classes, such as asymptotically locally Euclidean spaces (ALE spaces), asymptotically locally flat spaces (ALF spaces). There also exist ALG spaces whose name is chosen by induction.

Examples

It will be convenient to write the gravitational instanton solutions below using left-invariant 1-forms on the three-sphere S3 (viewed as the group Sp(1) or SU(2)). These can be defined in terms of Euler angles by


\sigma_1 = \sin \psi \, d \theta - \cos \psi \sin \theta \, d \phi

\sigma_2 = \cos \psi \, d \theta + \sin \psi \sin \theta \, d \phi

\sigma_3 = d \psi + \cos \theta \, d \phi.

TaubNUT metric

Main article: Taub–NUT metric

ds^2 = \frac{1}{4} \frac{r+n}{r-n} dr^2 + \frac{r-n}{r+n} n^2 {\sigma_3}^2 + \frac{1}{4}(r^2 - n^2)({\sigma_1}^2 + {\sigma_2}^2)

Eguchi–Hanson metric

The Eguchi–Hanson space is important in many other contexts of geometry and theoretical physics. Its metric is given by


ds^2 = \left( 1 - \frac{a}{r^4} \right) ^{-1} dr^2 + \frac{r^2}{4} \left( 1 - \frac{a}{r^4} \right) {\sigma_3}^2 + \frac{r^2}{4} (\sigma_1^2 + \sigma_2^2).

where r \ge a^{1/4}. This metric is smooth everywhere if it has no conical singularity at r \rightarrow a^{1/4}, \theta = 0, \pi. For a = 0 this happens if \psi has a period of 4\pi, which gives a flat metric on R4; However for a \ne 0 this happens if \psi has a period of 2\pi.

Asymptotically (i.e., in the limit r \rightarrow \infty) the metric looks like

 ds^2 = dr^2 + \frac{r^2}{4} \sigma_3^2 + \frac{r^2}{4} (\sigma_1^2 + \sigma_2^2)

which naively seems as the flat metric on R4. However, for a \ne 0, \psi has only half the usual periodicity, as we have seen. Thus the metric is asymptotically R4 with the identification \psi\, {\sim}\, \psi + 2\pi, which is a Z2 subgroup of SO(4), the rotation group of R4. Therefore the metric is said to be asymptotically R4/Z2.

There is a transformation to another coordinate system, in which the metric looks like

 ds^2 = \frac{1}{V(\mathbf{x})} ( d \psi + \boldsymbol{\omega} \cdot d \mathbf{x})^2 + V(\mathbf{x}) d \mathbf{x} \cdot d \mathbf{x},

where  \nabla V = \pm \nabla \times \boldsymbol{\omega}, \quad V = \sum_{i=1}^2 \frac{1}{|\mathbf{x}-\mathbf{x}_i| }.

(For a = 0, V = \frac{1}{|\mathbf{x}|}, and the new coordinates are defined as follows: one first defines \rho=r^2/4 and then parametrizes \rho, \theta and \phi by the R3 coordinates \mathbf{x}, i.e. \mathbf{x}=(\rho \sin \theta \cos \phi, \rho \sin \theta \sin \phi,\rho \cos\theta) ).

In the new coordinates, \psi has the usual periodicity \psi\  {\sim}\  \psi + 4\pi.

One may replace V by

\quad V = \sum_{i=1}^n \frac{1}{|\mathbf{x} - \mathbf{x}_i|}.

For some n points \mathbf{x}_i, i = 1, 2..., n. This gives a multi-center EguchiHanson gravitational instanton, which is again smooth everywhere if the angular coordinates have the usual periodicities (to avoid conical singularities). The asymptotic limit (r\rightarrow \infty) is equivalent to taking all \mathbf{x}_i to zero, and by changing coordinates back to r, \theta and \phi, and redefining r\rightarrow r/\sqrt{n}, we get the asymptotic metric

 ds^2 = dr^2 + \frac{r^2}{4} \left({d\psi\over n} + \cos \theta \, d\phi\right)^2 + \frac{r^2}{4} [(\sigma_1^L)^2 + (\sigma_2^L)^2].

This is R4/Zn = C2/Zn, because it is R4 with the angular coordinate \psi replaced by \psi/n, which has the wrong periodicity (4\pi/n instead of 4\pi). In other words, it is R4 identified under \psi\  {\sim}\  \psi + 4\pi k/n, or, equivalnetly, C2 identified under zi ~ e^{2\pi i k/n} zi for i = 1, 2.

To conclude, the multi-center EguchiHanson geometry is a Kähler Ricci flat geometry which is asymptotically C2/Zn. According to Yau's theorem this is the only geometry satisfying these properties. Therefore this is also the geometry of a C2/Zn orbifold in string theory after its conical singularity has been smoothed away by its "blow up" (i.e., deformation) .

GibbonsHawking multi-centre metrics


ds^2 = \frac{1}{V(\mathbf{x})} ( d \tau + \boldsymbol{\omega} \cdot d \mathbf{x})^2 + V(\mathbf{x}) d \mathbf{x} \cdot d \mathbf{x},

where


\nabla V = \pm \nabla \times \boldsymbol{\omega}, \quad V = \varepsilon + 2M \sum_{i=1}^{k} \frac{1}{|\mathbf{x} - \mathbf{x}_i | }.

\epsilon = 1 corresponds to multi-TaubNUT, \epsilon = 0 and k = 1 is flat space, and \epsilon = 0 and k = 2 is the EguchiHanson solution (in different coordinates).

References

This article is issued from Wikipedia - version of the Thursday, March 14, 2013. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.