Abstract
We establish a moduli space $\mathbb E$ of stationary vacuum metrics in a spacetime, and set up a well-defined boundary map $\Pi$ in $\mathbb E$, assigning a metric class with its Bartnik boundary data. Furthermore, we prove the boundary map $\Pi$ is Fredholm by showing that the stationary vacuum equations (combined with proper gauge terms) and the Bartnik boundary conditions form an elliptic boundary value problem. As an application, we show that the Bartnik boundary data near the standard flat boundary data admits a unique (up to diffeomorphism) stationary vacuum extension locally.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have