Strong cosmic censorship in the case of T3-Gowdy vacuum spacetimes

Abstract

In 1952, Yvonne Choquet-Bruhat demonstrated that it makes sense to consider Einstein's vacuum equations from an initial value point of view; given initial data, there is a globally hyperbolic development. Since there are many developments, one does, however, not obtain uniqueness. This was remedied in 1969 when Choquet-Bruhat and Robert Geroch demonstrated that there is a unique maximal globally hyperbolic development (MGHD). Unfortunately, there are examples of initial data for which the MGHD is extendible, and, what is worse, extendible in inequivalent ways. Thus it is not possible to predict what spacetime one is in simply by looking at initial data and, in this sense, Einstein's equations are not deterministic. Since the examples exhibiting this behaviour are rather special, it is natural to conjecture that for generic initial data, the MGHD is inextendible. This conjecture is referred to as the strong cosmic censorship conjecture and is of central importance in mathematical relativity. In this paper, we shall describe this conjecture in detail, as well as its resolution in the special case of T3-Gowdy spacetimes.