Linking and causality in globally hyperbolic spacetimes

The linking number $lk$ is defined if link components are zero homologous. Our affine linking invariant $alk$ generalizes $lk$ to the case of linked submanifolds with arbitrary homology classes. We apply $alk$ to the study of causality in Lorentz manifolds. Let $M^m$ be a spacelike Cauchy surface in a globally hyperbolic spacetime $(X^{m+1}, g)$. The spherical cotangent bundle $ST^*M$ is identified with the space $N$ of all null geodesics in $(X,g).$ Hence the set of null geodesics passing through a point $x\in X$ gives an embedded $(m-1)$-sphere $S_x$ in $N=ST^*M$ called the sky of $x.$ Low observed that if the link $(S_x, S_y)$ is nontrivial, then $x,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 $S_x$ are isotopic to fibers of $(ST^*M)^{2m-1}\to M^m.$ They are nonzero homologous and $lk(S_x,S_y)$ is undefined when $M$ is closed, while $alk(S_x, S_y)$ is well defined. Moreover, $alk(S_x, S_y)\in Z$ if $M$ 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)$ is such that $alk$ takes values in $\Z$ and $g$ is conformal to $g'$ having all the timelike sectional curvatures nonnegative, then $x, y\in X$ are causally related if and only if $alk(S_x,S_y)\neq 0$. We show that $x,y$ in nonrefocussing $(X, g)$ are causally unrelated iff $(S_x, S_y)$ can be deformed to a pair of $S^{m-1}$-fibers of $ST^*M\to M$ by an isotopy through skies. Low showed that if (\ss, g) is refocussing, then $M$ is compact. We show that the universal cover of $M$ is also compact.Comment: We added: Theorem 11.5 saying that a Cauchy surface in a refocussing space time has finite pi_1; changed Theorem 7.5 to be in terms of conformal classes of Lorentz metrics and did a few more changes. 45 pages, 3 figures. A part of the paper (several results of sections 4,5,6,9,10) is an extension and development of our work math.GT/0207219 in the context of Lorentzian geometry. The results of sections 7,8,11,12 and Appendix B are ne

Invariants of an Apparent Contour

4noThe aim of this chapter is to illustrate some interesting invariants of apparent contours and labelled apparent contours. These invariants can be numbers, groups, polynomials; invariance here means that the they are insensitive to certain transformations, that will be specified case by case.nonenoneBellettini, Giovanni; Beorchia, Valentina; Paolini, Maurizio; Pasquarelli, FrancoBellettini, Giovanni; Beorchia, Valentina; Paolini, Maurizio; Pasquarelli, Franc