Well-posed geometric boundary data in General Relativity, II: Dirichlet boundary data

In this second work in a series, we prove the local-in-time well-posedness of the IBVP for the vacuum Einstein equations with Dirichlet boundary data on a finite timelike boundary, provided the Brown-York stress tensor of the boundary is a Lorentz metric of the same sign as the induced Lorentz metric on the boundary. This is a convexity-type assumption which is an exact analog of a similar result in the Riemannian setting. This assumption on the (extrinsic) Brown-York tensor cannot be dropped in general.