De Sitter Space and Spatial Topology

Morrow-Jones and Witt have shown that generic spatial topologies admit initial data that evolve to locally de Sitter spacetimes under Einstein's equations. We simplify their arguments, make them a little more general, and solve for the global time evolution of the wormhole initial data considered by them. Finally we give explicit examples of locally de Sitter domains of development whose universal covers cannot be embedded in de Sitter space.