### “The asymptotically hyperboloidal is not asymptotically null.”

#### by Willie Wong

By way of Roland Donninger, I learned today of the statement above which is apparently well-known in the numerical relativity community.

It may seem intuitively surprising: after all, the archetype of an asymptotically hyperboloidal surface is *the* hyperboloid as embedded in Minkowski space. Let be the spherical coordinate system for the Minkowski space , the hyperboloid embeds in it as the surface . If you draw a picture we see clearly that the surface is asymptotic to the null cone …

The key, however, lies in the definition. For better or for worse, the definition under which the titular statement makes sense the following:

Definition

Let be an asymptotically simple space-time (or one for which one can define a Penrose compactification), and let be the compactified space-time. We say that a hypersurface isasymptotically nullif the transversely and the tangent space of is null along .

Now suppose near we can foliate via a double-null foliation , with . Let be a coordinate on so that form a coordinate system for a neighborhood of . Assume that our surface can be written as a graph

where is a function. Then the asymptotically null condition is just that . Taking a Taylor expansion we have that this means

.

For the usual conformal compactification of Minkowski space, we have . Hence we require that an asymptotically null surface to have convergence to the null surface at rate (if is sufficiently differentiable; if we relax the differentiability at infinity we see that the above condition allows us to relax all the way to , but is not admissible).

On the other hand, the hyperboloid is given by and so is not asymptotically null. And indeed, we can also check by direct computation that in the usual conformal compactification of Minkowski space, the limit of the hyperboloid at null infinity is space-like.

What would be a definition of “asymptotically hyperboloidal”? I guess whatever it is, it should translate to transversely intersecting scri^+ away from i_0 in a conformal compactification.

For Riemannian manifolds, the obvious one: just like asymptotically flat but replace the limiting Euclidean space with a metric of constant negative curvature.

For the embedded hypersurface in AF space-times, consult any of the papers on the positive mass theorem for Bondi mass.

Oh, I suppose it is more common to call them asymptotically hyperbolic manifolds.

In any case,

whatever they are, the standard hyperboloid should better be an element. 🙂You can say either hyperboloidal, or asymptotically hyperbolic. There is no need to say “asymptotically hyperboloidal”. Hyperboloidal surfaces are spacelike everywhere and asymptotically approach null infinity. These are their defining properties.