Regular spherical dust spacetimes

Physical (and weak) regularity conditions are used to determine and classify all the possible types of spherically symmetric dust spacetimes in general relativity. This work unifies and completes various earlier results. The junction conditions are described for general non-comoving (and non-null) surfaces, and the limits of kinematical quantities are given on all comoving surfaces where there is Darmois matching. We show that an inhomogeneous generalisation of the Kantowski-Sachs metric may be joined to the Lemaître-Tolman-Bondi metric. All the possible spacetimes are explicitly divided into four groups according to topology, including a group in which the spatial sections have the topology of a 3-torus. The recollapse conjecture (for these spacetimes) follows naturally in this approach.