Can an incomplete geodesic intersect a point infinitely many times?

253 Views Asked by At

Consider a Lorentzian manifold $(M,g)$.

Must a maximal, affinely parameterized geodesic $\gamma: [0,b) \to M$ which intersects a point $p \in M$ infinitely many times be complete (i.e., have $b = \infty$)?

It's easy to show that the answer is positive in the Riemannian setting by considering a normal ball around $p$ and noticing that the geodesic must radially traverse its diameter infinitely many times, accumulating infinite length. The same picture applies in the Lorentzian case, up until the critical conclusion of "accumulating infinite length", since the "diameter" of a normal neighborhood is no longer meaningful. Indeed, the radial trajectories may, in principle become closer and closer to null with subsequent passings of $p$ in such a way that the accumulated length/proper time is finite (or zero if the geodesic was null in the first place).

While the Riemannian reasoning breaks down, is there some other reason that intersecting a single point infinitely many times enforces completeness in general, or can one perhaps find a counterexample? Feel free to assume any causality condition you like, so that the question is really about spacelike geodesics.

It is worthwhile to note that the most obvious way to obtain infinitely repeated intersection of a single point is, of course, to consider a closed loop, which is always complete when maximally extended (at least when non-null, which would be the case under even a very lax causality condition).

Also worth noting is that maximal, incomplete geodesics with limit points can exist (e.g. in the Misner spacetime), which demonstrates that something too close to the Riemannian reasoning (which also rules this out in a Riemannian setting) can't work.

Edit: Didier has helpfully provided the counterexample of the Clifton-Pohl torus. This example, being compact, admits closed timelike curves, however, so I am still interested in the question of whether this is possible under a more restrictive causality condition. In particular, since the issue arising in the above normal neighborhood picture is that the geodesic may become too close to null in normal coordinates, it seems intuitive that $M$'s being stably causal (i.e. $M$ would not admit closed causal curves even under small perturbations to the metric) may rule this out. Can this intuition be made precise, or could even a less restrictive causality condition suffice?

1

There are 1 best solutions below

0
On BEST ANSWER

The Clifton-Pohl torus is an example of a compact Lorentzian manifold which is not geodesically complete: more than that, there exists a closed geodesic which is not complete!

(Community wiki as it is a link only answer)