Gluing initial data sets for general relativity

We establish an optimal gluing construction for general relativistic initial data sets. The construction is optimal in two distinct ways. First, it applies to generic initial data sets and the required (generically satisfied) hypotheses are geometrically and physically natural. Second, the construction is completely local in the sense that the initial data is left unaltered on the complement of arbitrarily small neighborhoods of the points about which the gluing takes place. Using this construction we establish the existence of cosmological, maximal globally hyperbolic, vacuum space-times with no constant mean curvature spacelike Cauchy surfaces.