Mr Spock complexes (after Aitchison)

The recent passing of Leonard Nimoy prompts me to recall a lesser-known connection between the great man and the theory of (cusped) hyperbolic 3-manifolds, observed by my friend and former mentor Iain Aitchison. In particular, I am moved to give a brief presentation of the (unpublished) work of Aitchison on the theory of manifold-realizable special polyhedral orthocentric curvature-K complexes — or Mr Spock complexes for short.

This theory was developed by Iain Aitchison around 2000; some record can be found on the web here. From memory, I believe Iain explained some of this to me when we were both in Xian in 2002, but I could easily be wrong. The idea of the construction of these complexes is illustrated in the following figure:


The Aitchison-Wildberger maps (Iain just calls these “Wildberger maps” after a conversation he had with Norman Wildberger of UNSW) as follows. These are a 1-parameter family of injective maps AW_t from hyperbolic space (of any dimension) to itself, depending on a choice of distinguished point at infinity, and a horosphere centered at that point. We can identify hyperbolic space with the upper half-space model, and normalize the horosphere to have height 1. Choose coordinates (z,h) where z is the “horizontal” coordinate, and h is the “height” coordinate (so that the distinguished horosphere has height 1), by the formula

AW_t(z,h) = (z,\sqrt{h^2+t})

These maps satisfy AW_t \circ AW_s = AW_{t+s} (i.e. they generate a semigroup action) and satisfy the following geometric properties:

  1. Each vertical line (i.e. each hyperbolic geodesic ending at the distinguished point at infinity) is taken to itself;
  2. If p is a point, if \ell is a hyperbolic geodesic ending at the distinguished point at infinity, and if q is the foot of the (hyperbolic) perpendicular from p to \ell, then AW_t(q) is the foot of the (hyperbolic) perpendicular from AW_t( p ) to AW_t(\ell)=\ell.
  3. The map takes geodesics/totally geodesic (hyper)planes to segments of geodesics/convex subsets of totally geodesic (hyper)planes.

These geometric properties are illustrated in the figure; three points on three vertical geodesics are shown, along with their images under a discrete set of values of the Aitchison-Wildberger map. The “outermost” points are the feet of the perpendiculars from the “middle” point to the “outermost” geodesics. Fact 3, that hyperbolic geodesics are taken to segments of hyperbolic geodesics (and similarly in higher dimensions), follows from facts 1 and 2.

Note that the Aitchison-Wilberger maps are invariant under conjugation by parabolic transformations keeping infinity and the distinguished horosphere fixed. A hyperbolic transformation fixing infinity of the form (z,h) \to (\lambda z,\lambda h) conjugates W_t to W_{\lambda t}.

Now, suppose that M is a 1-cusped hyperbolic 3-manifold. There is a well-understood canonical procedure to associate to Mgeodesic spine; i.e. a totally geodesic 2-dimensional complex \Sigma in M which is a deformation retract. This is closely related to the “cut locus” construction in Riemannian geometry. Since M has a cusp, we can choose an embedded horotorus T bounding a neutered 3-manifold M'. On M' there is a well-defined horofunction function f which simply measures (Riemannian) distance to T. This function is smooth, and its gradient points along geodesic segments heading out the cusp, precisely in the complement of the spine \Sigma. Another way to think of the construction is to “inflate” the horotorus T, pushing it deeper and deeper into the manifold, until it collides with itself; the locus of self-collisions gives the spine \Sigma. Now, each component of \Sigma is a geodesic polygon P, which comes with a canonical point p which is where the expanding horotorus first bumps into itself along P. Thus there is an isometry taking P to a subpolyhedron of a hemisphere of radius e^{-f( p)} centered at the origin in the upper half-space model in such a way that p is taken to the “topmost point”:


The figure shows an example of a hyperbolic pentagon P with the point p at the “top” of the hemisphere. Now, it makes sense in this normalization to apply the Aitchison-Wildberger map W_t to P. Crucially, these maps, defined on different polygons with respect to different normalizations, give isometry types of polyhedra which are compatible on boundaries. Let’s check this:

  1. Each polygon P has two “competing” Aitchison-Wildberger maps, for the two different sides. Since the pair P,p has normalizations (coming from the two sides) which differ by a reflection, the Aitchison-Wildberger maps commute.
  2. The universal cover \tilde{\Sigma} contains a subcomplex X, homeomorphic to a plane, stabilized by each parabolic subgroup of \pi_1(M). Adjacent polygons in this subcomplex are at heights determined by the horofunction; thus they fit together in the upper half space in such a way that the canonical points are exactly at heights e^{-f(p )}, so the Aitchison-Wildberger maps agree on their boundary segments.

In particular, there is a canonical metric deformation of the spine through pieces which are the images under Aitchison-Wilberger map; rescaling the metrics to have fixed diameter, the curvature increases monotonely to 0 and we obtain a piecewise-Euclidean spine in the limit.

We can also think of this as a deformation of the geometric structure on the underlying 3-manifold; the Aitchison-Wildberger map applies to the part of the 3-manifold “above”  X, deforming its metric compatibly with the deformation on the boundary. Dihedral angles between adjacent polygons increase monotonically to \pi under this deformation, and one obtains a branched Euclidean structure on M in the limit, where the cone angles along each edge are (generically) all equal to 3\pi. This suggests interesting connections to quadratic differentials, universal links, etc.; some of these ideas are explored in Aitchison’s (unpublished, partly written) preprint, but more presumably remains to be discovered. (Note: contrary to my memory, some version of Aitchison’s paper was actually written up, and can be found on the arXiv here. No mention of Mr Spock in this version though . . .)

Another, more intrinsic way to see this deformation is to consider the canonical foliation \mathcal{F} of M by geodesic rays heading out the cusp (this foliation is singular exactly along \Sigma). The horofunction f tells us how to deform the metric at time t as follows: at each point p the tangent space splits as H\oplus V where V is tangent to the foliation \mathcal{F}, and H is perpendicular. Scale the metric pointwise, preserving the perpendicular splitting, by keeping the metric on H fixed, and stretching V by  x/\sqrt{x^2+t} where x=e^{-f(p )}. In this formulation it is more clear why the deformation is well-defined, but not at all obvious that it is constant curvature, away from the singular locus \Sigma. In this way, the Aitchison-Wildberger maps “beam” Mr Spock up to the cusp as t \to \infty.

Live long and prosper!

This entry was posted in 3-manifolds, Hyperbolic geometry, Polyhedra and tagged , , , , , , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s