Construction of Cauchy Data of Vacuum Einstein field equations Evolving to Black Holes

Abstract: We show the existence of complete, asymptotically flat Cauchy initial data for the vacuum Einstein field equations, free of trapped surfaces, whose future development must admit a trapped surface. Moreover, the datum is exactly a constant time slice in Minkowski space-time inside and exactly a constant time slice in Kerr space-time outside. The proof makes use of the full strength of Christodoulou's work on the dynamical formation of black holes and Corvino-Schoen's work on the constructions of initial data set.