Linking and causality in globally hyperbolic spacetimes

Nov, 2006
41 pages
Published in:
  • Commun.Math.Phys. 279 (2008) 309-354
e-Print:

Citations per year

200920132017202120231023
Abstract:
The linking number lklk is defined if link components are zero homologous. Our affine linking invariant alkalk generalizes lklk to the case of linked submanifolds with arbitrary homology classes. We apply alkalk to the study of causality in Lorentz manifolds. Let MmM^m be a spacelike Cauchy surface in a globally hyperbolic spacetime (Xm+1,g)(X^{m+1}, g). The spherical cotangent bundle STMST^*M is identified with the space NN of all null geodesics in (X,g).(X,g). Hence the set of null geodesics passing through a point xXx\in X gives an embedded (m1)(m-1)-sphere SxS_x in N=STMN=ST^*M called the sky of x.x. Low observed that if the link (Sx,Sy)(S_x, S_y) is nontrivial, then x,yXx,y\in X are causally related. This motivated the problem (communicated by Penrose) on the Arnold's 1998 problem list to apply link theory to the study of causality. The spheres SxS_x are isotopic to fibers of (STM)2m1Mm.(ST^*M)^{2m-1}\to M^m. They are nonzero homologous and lk(Sx,Sy)lk(S_x,S_y) is undefined when MM is closed, while alk(Sx,Sy)alk(S_x, S_y) is well defined. Moreover, alk(Sx,Sy)Zalk(S_x, S_y)\in Z if MM is not an odd-dimensional rational homology sphere. We give a formula for the increment of \alk under passages through Arnold dangerous tangencies. If (X,g)(X,g) is such that alkalk takes values in Z\Z and gg is conformal to gg' having all the timelike sectional curvatures nonnegative, then x,yXx, y\in X are causally related if and only if alk(Sx,Sy)0alk(S_x,S_y)\neq 0. We show that x,yx,y in nonrefocussing (X,g)(X, g) are causally unrelated iff (Sx,Sy)(S_x, S_y) can be deformed to a pair of Sm1S^{m-1}-fibers of STMMST^*M\to M by an isotopy through skies. Low showed that if (\ss, g) is refocussing, then MM is compact. We show that the universal cover of MM is also compact.