Extension of symmetries on Einstein manifolds with boundary
Michael T. Anderson
TL;DR
This work establishes conditions under which boundary Killing fields extend to bulk Einstein fillings, linking isometry extension to the divergence constraint and the global topology via $\pi_1(M,\partial M)=0$. The authors develop a gauge-fixed elliptic framework for the Einstein equations, show how surjectivity of the linearized divergence constraint ensures extension, and provide a constructive argument (with a finite-dimensional obstruction handling) to prove Theorem 1.1 and its corollaries. They also address exterior and conformally compact settings, and supply a necessary correction to the initial proof in an Appendix. The results contribute to rigidity phenomena for Einstein manifolds with boundary and clarify when boundary symmetries are inherited by the bulk geometry.
Abstract
We investigate the validity of the isometry extension property for (Riemannian) Einstein metrics on manifolds with boundary. Given a metric on the boundary, this is the issue of whether any Killing field of the boundary metric extends to a Killing field of any bulk or filling Einstein metric inducing the given data on the boundary. Under a mild condition on the fundamental group, this is proved to be the case at least when the Killing field preserves the mean curvature of the boundary.
