Well-posed geometric boundary data in General Relativity, III: Conformal-mean curvature boundary data
Extracted source text · arXiv 2503.12599
\documentclass[10pt]{amsart}
\usepackage{fullpage}
\usepackage{url}
\usepackage{amssymb}
\usepackage{cite}
\usepackage{blindtext}
\usepackage{graphicx}
\usepackage[usenames]{color}
\usepackage{accents}
\usepackage[normalem]{ulem}
%\usepackage{ulem}
%\usepackage[notcite]{showkeys} % the pdf file will show all /label, but no /ref, no /cite
\usepackage{hyperref}
\renewcommand{\a}{\alpha}
\renewcommand{\b}{\beta}
\newcommand{\g}{\gamma}
\renewcommand{\d}{\delta}
\newcommand{\D}{\Delta}
\newcommand{\e}{\varepsilon}
\newcommand{\f}{\varphi}
\newcommand{\s}{\sigma}
\newcommand{\Si}{\Sigma}
%\newcommand{\th}{\theta}
\renewcommand{\k}{\kappa}
\renewcommand{\l}{\lambda}
%\renewcommand{\z}{\zeta}
\renewcommand{\t}{\theta}
\renewcommand{\O}{\Omega}
\renewcommand{\o}{\omega}
\newcommand{\G}{\Gamma}
%\newcommand{\cH}{{\mathcal H}}
\newcommand{\cA}{{\mathcal A}}
\newcommand{\cO}{{\mathcal O}}
\newcommand{\cF}{{\mathcal F}}
\newcommand{\cC}{{\mathcal C}}
\newcommand{\cM}{{\mathcal M}}
\newcommand{\cT}{{\mathcal T}}
\newcommand{\cS}{{\mathcal S}}
\newcommand{\cB}{{\mathcal B}}
\newcommand{\cL}{{\mathcal L}}
\newcommand{\cE}{{\mathcal E}}
\newcommand{\cU}{{\mathcal U}}
\newcommand{\cV}{{\mathcal V}}
\newcommand{\cP}{{\mathcal P}}
\newcommand{\cN}{{\mathcal N}}
\newcommand{\cG}{{\mathcal G}}
\newcommand{\cH}{{\mathcal H}}
\newcommand{\cD}{{\mathcal D}}
\newcommand{\cR}{{\mathcal R}}
\newcommand{\cK}{{\mathcal K}}
\newcommand{\cX}{{\mathcal X}}
\newcommand{\cQ}{{\mathcal Q}}
\newcommand{\cW}{\mathcal W}
\newcommand{\cZ}{\mathcal Z}
\newcommand{\cI}{\mathcal I}
\newcommand{\cJ}{{\mathcal J}}
\newcommand{\cY}{\mathcal Y}
\newcommand{\bC}{\mathbb C}
\newcommand{\bR}{\mathbb R}
\newcommand{\bB}{\mathbb B}
\newcommand{\bG}{\mathbb G}
\newcommand{\bZ}{\mathbb Z}
\newcommand{\bS}{\mathbb S}
\newcommand{\bM}{\mathbb M}
\newcommand{\bH}{\mathbb H}
\newcommand{\bE}{\mathbb E}
\newcommand{\bN}{\mathbb N}
\newcommand{\bU}{\mathbb U}
\newcommand{\bD}{\mathbb D}
\newcommand{\bP}{\mathbb P}
\newcommand{\bI}{\mathbb I}
\newcommand{\bV}{\mathbb V}
\newcommand{\Di}{\mathrm{Diff}}
\newcommand{\Ric}{\mathrm{Ric}}
\newcommand{\Diff}{\mathrm{Diff}}
\newcommand{\tT}{\mathsf{T}}
\newcommand{\be}{\begin{equation}}
\newcommand{\ee}{\end{equation}}
\newcommand{\bes}{\begin{equation*}}
\newcommand{\ees}{\end{equation*}}
\newcommand{\eq}[1]{\eqref{#1}}
\newcommand{\Eq}[1]{Equation~\eqref{#1}}
\newcommand{\tr}{\mathrm{tr}}
%\newcommand{\bel}[1]{\begin{equation}\label{#1}}
\newcommand{\beaa}{\begin{eqnarray*}}
\newcommand{\bea}{\begin{eqnarray}}
\newcommand{\beal}[1]{\begin{eqnarray}\label{#1}}
\newcommand{\bean}{\begin{eqnarray}\nonumber}
\newcommand{\beadl}[1]{\begin{deqarr}\label{#1}}
\newcommand{\eeadl}[1]{\arrlabel{#1}\end{deqarr}}
\newcommand{\eeal}[1]{\label{#1}\end{eqnarray}}
\newcommand{\eead}[1]{\end{deqarr}}
\newcommand{\eea}{\end{eqnarray}}
\newcommand{\eeaa}{\end{eqnarray*}}
\newcommand{\p}{\partial}
\newcommand{\margin}[1]{\marginpar{\parbox{0in}{\parbox{0.8in}{\color{blue} \raggedright \scriptsize #1}}}}
\renewcommand{\to}{\rightarrow}
\renewcommand{\centerdot}{\mathbin{\text{\protect\raisebox{-.3ex}[1ex][0ex]{\Large{$\cdot$}}}}}
\newcommand{\cross}{\mathbin{\times}}
\newcommand{\intersect}{\mathbin{\cap}}
\newcommand{\tprod}{\mathbin{\otimes}}
\newcommand{\Del}{\nabla}
\newcommand{\DeltaL}{\Delta_{\mathrm L}}
\renewcommand{\exp}{\operatorname{exp}}
\DeclareMathOperator{\Exp}{Exp}
\DeclareMathOperator{\Sect}{Sect}
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\End}{End}
\DeclareMathOperator{\Vol}{Vol}
\DeclareMathOperator{\diam}{diam}
\DeclareMathOperator{\area}{area}
\DeclareMathOperator{\Ortho}{O}
\DeclareMathOperator{\Image}{Im}
\DeclareMathOperator{\Real}{Re}
\DeclareMathOperator{\vectorspan}{span}
\DeclareMathOperator{\vol}{vol}
\DeclareMathOperator{\interior}{int}
\DeclareMathOperator{\dist}{dist}
\DeclareMathOperator{\Ker}{Ker}
\DeclareMathOperator{\Coker}{Coker}
\DeclareMathOperator{\Imm}{Imm}
\DeclareMathOperator{\Emb}{Emb}
\newcommand{\half}{{\tfrac12}}
\newcommand{\mapsinto}{\mathrel{\hookrightarrow}}
\renewcommand{\phi}{\varphi}
\renewcommand{\epsilon}{\varepsilon}
\renewcommand{\hat}{\widehat}
\let\scr=\mathscr
\newcommand{\<}{\langle}
\renewcommand{\>}{\rangle}
\newcommand{\del}{\partial}
\newcommand{\dm}{{\partial M}}
\newcommand{\w}{\widetilde}
\theoremstyle{plain}
\newtheorem{lemma}{Lemma}[section]
\newtheorem{proposition}[lemma]{Proposition}
\newtheorem{theorem}[lemma]{Theorem}
\newtheorem{Theorem}{Theorem}
\newtheorem{Proposition}[Theorem]{Proposition}
\newtheorem{corollary}[lemma]{Corollary}
\newtheorem{Corollary}[Theorem]{Corollary}
\newtheorem*{claim}{Claim}
\newtheorem{conjecture}[Theorem]{Conjecture}
\newtheorem{question}{Question}
\theoremstyle{remark}
\theoremstyle{definition}
\newtheorem{remark}[lemma]{Remark}
\newtheorem{example}[lemma]{Example}
\newtheorem{definition}[lemma]{Definition}
\newtheorem{Definition}[Theorem]{Definition}
\def\endproof{\qed \medskip}
\def\blacksquare{\hbox to .60em {\vrule width .60em height .60em}}
\renewcommand{\qedsymbol}{\hfill \blacksquare \hspace *{4.5em}}
\numberwithin{equation}{section}
\begin{document}
\title[ ]{Well-Posed Geometric Boundary data in General Relativity, I: \\
Conformal-mean curvature boundary data}
\author{Zhongshan An and Michael T. Anderson}
\address{Department of Mathematics,
University of Michigan,
Ann Arbor, MI 48109}
\email{zsan@umich.edu}
\address{Department of Mathematics,
Stony Brook University,
Stony Brook, NY 11794}
\email{michael.anderson@stonybrook.edu}
%\thanks{MSC 2010: 35L53, 35Q46, 58J45, 83C05\\
%Keywords: initial boundary value problems, hyperbolic systems, Einstein equations, energy estimates}
\begin{abstract}
We study the local in time well-posedness of the initial boundary value problem (IBVP) for the vacuum Einstein equations in general relativity with
geometric boundary conditions. For conformal-mean curvature boundary conditions, consisting of the conformal class of the boundary metric
and mean curvature of the boundary, well-posedness does not hold without imposing additional angle data at the corner. When the corner angle is
included as corner data, we prove well-posedness of the linearized problem in $C^{\infty}$, where the linearization is taken at any smooth
vacuum Einstein metric.
\end{abstract}
\maketitle
\section{Introduction}
This work is the first in a series on the initial boundary value problem (IBVP) for the Einstein equations in general relativity. The discussion and
results below hold in all dimensions, but to be concrete the exposition in this Introduction will be in $4$-dimensions, cf.~Remark \ref{alldim}. Topologically, let
$M = I\times S$, where $S$ is an oriented 3-manifold with boundary $\Si = \p S$ a compact surface without boundary. The boundary surface need not be
connected, but $S$ (and so $M$) are assumed to be connected. Consider Lorentz metrics $g$ on $M$ which are globally hyperbolic (in the sense of
manifolds with timelike boundary) with time function $t: M \to I$ giving a parametrization of $I$ with $S = t^{-1}(0)$ serving as a Cauchy or initial data
surface for $(M, g)$. The space of initial data $\cI$ is the space of all pairs $(\g, \k)$ where $\g$ is a Riemannian metric on $S$ and $\k$ is a symmetric
bilinear form on $S$. The timelike boundary of $(M,g)$ is given by the cylinder $\cC = I\times \Si$.
Consider metrics $g$ as above which are vacuum Einstein metrics, i.e.
\be \label{Ein}
\Ric_g = 0.\footnote{All of the results of this work apply also to Einstein metrics with any cosmological constant $\Lambda$.}
\ee
Given a choice of boundary data space $\cB$, (local-in-time) well-posedness of the IBVP amounts to proving the existence of a 1-1
correspondence
\be \label{wp}
\cE \simeq \cI_0 \times_{c}\cB.
\ee
Here $\cE = \bE/\Diff_0(M)$ is the space $\bE$ of solutions $(M, g)$ of the vacuum Einstein equations \eqref{Ein}, modulo the action of the
group $\Diff_0(M)$ of diffeomorphisms $\f: M \to M$ which restrict to the identity on $S \cup \cC$. Also $\cI_0$ is the subspace of all initial
data $(\g, \k) \in \cI$ satisfying the vacuum constraint equations, cf.~\eqref{Gauss}-\eqref{GC} below. The space $\cB$ is the space of boundary
data prescribed on the timelike boundary $\cC$. There are a number of natural choices of the space $\cB$, to be discussed in more detail below.
The subscript $c$ in \eqref{wp} denotes the compatibility conditions between the initial and boundary data at the corner $\Si$.
\medskip
Thus the issue is whether one can effectively describe or parametrize the space of vacuum solutions on $M$ by their initial and boundary data.
It is well-known that this is the case for the Cauchy or initial value problem where there is no boundary, cf.~\cite{C}, \cite{C2}, \cite{HE}. We emphasize
that we are only concerned here with local-in-time well-posedness, asserting the existence and uniqueness of a solution $g$ with given initial and
boundary data only for a finite, possibly small, proper time off the initial surface $S$. The long-time behavior of solutions is a fundamentally different
issue, that can only seriously be addressed with a good understanding of the local-in-time behavior. For simplicity we assume all data is $C^{\infty}$
smooth; this is discussed in more detail later.
Let $g_S$ and $K_S$ denote the induced metric and second fundamental form (extrinsic curvature) of $g$ on $S$. Similarly, let $b(g) \in \cB$
denote the boundary data induced by $g$. In addition, the correspondence above should be given by a mapping
$$\Psi: \cE \to \cI_0 \times_{c}\cB,$$
$$\Psi(g) = (g_S, K_S, b(g)),$$
which has at least a continuous inverse; this is the continuous dependence of the solution on initial and boundary data. It is natural to also
study whether the domain $\cE$ and target data space $\cI_0 \times_{c}\cB$ are smooth manifolds and whether $\Psi$ is a smooth mapping,
hence a diffeomorphism. We leave this issue for future study.
\medskip
It is a longstanding open question whether there is a boundary data space $\cB$ for which such a parametrization $\Psi$ of $\cE$ exists at all.
We will only consider boundary data spaces $\cB$ which are geometric, i.e.~formed from a (half-dimensional) subspace of the space of
Cauchy data,
$$(\g_{\cC}, A),$$
at $\cC$. Here $\g_{|cC}$ is a Lorentz metric on $\cC$ (corresponding to the metric $g_{\cC}$ induced by $g$ on $\cC$) and $A$ is a symmetric bilinear
form, (corresponding to the second fundamental form $A_{\cC}$ of $\cC$ in $(M, g)$). There has been a considerable amount of prior work on the
well-posedness of the IBVP, cf.~\cite{FN}, \cite{F}, \cite{KRSW1}, \cite{KRSW2}, \cite{KW}, \cite{FS1}, \cite{FS2} and also ~\cite{ST} for
a general survey. However, with the exception to a certain extent of the work in \cite{AA1}, or also \cite{FS1}, \cite{FS2}, none of these prior
studies concern the IBVP with geometric boundary data. Clearly, geometric boundary data are the most natural to consider, from both geometric
and physical viewpoints.
We note that the fundamental issue of geometric uniqueness for the IBVP emphasized and discussed in detail in \cite{F}, is an immediate consequence
of well-posedness for geometric boundary data, cf.~Remark \ref{gunique}. In many cases, geometric boundary data will also arise and be naturally
associated to a Lagrangian (i.e.~variational) description, which is very useful for understanding the Hamiltonian aspects of general relativity
on bounded regions, cf.~\cite{BF}, \cite{HW}, \cite{Sz} and further references therein.
We also emphasize that for a geometric IBVP, the evolution of the metric $g$ off its initial data surface $S$ and the evolution of
the boundary $\cC$ off its initial corner surface $\Si$ are both dynamical. Thus, the 'location' of the boundary is not known or fixed
in advance. If \eqref{wp} holds, the evolution of the boundary $\cC$ off its initial corner $\Si$ is uniquely determined by the choice
of initial and boundary data. Note also that generically, the vacuum metric $g$ will not extend past the boundary $\cC$ as a vacuum
solution (unless one can find very particular boundary conditions ensuring such a property).
\medskip
The simplest and perhaps most natural choices of boundary data are Dirichlet boundary data $\cB_{Dir}$, where one fixes or prescribes the
boundary metric $\g_{\cC}$, or Neumann boundary data $\cB_{Neu}$, where one fixes the second fundamental form $A$. These are the most
common and well-behaved in many other geometric and physical PDE problems. However, it is shown in \cite{A2}, \cite{AA2} that these choices
of boundary data are not well-posed for the Einstein equations in full generality, i.e.~without further restrictions. The Dirichlet BVP will be
discussed in more detail in Part II, \cite{II}. Ideally, one would like to find a choice of boundary data $\cB$ for which well-posedness holds in full
generality.
Another natural choice of boundary data space, which is the focus of this work, is given by
\be \label{cB}
\cB_C = {\rm Conf}^{\infty}(\cC)\times C^{\infty}(\cC),
\ee
$$b(g) = ([g_{\cC}], H_{\cC})$$
consisting of the pointwise conformal class of the metric induced on the boundary and a scalar function giving the mean curvature of the boundary.
The boundary conditions \eqref{cB} were first introduced in the Riemannian or Euclidean context \cite{A1}, where they were shown to give a
well-posed elliptic BVP for the Einstein equations (in natural gauges), cf.~also \cite{W} for a physics-oriented perspective. In addition, they are
well-posed in the parabolic or Ricci-flow setting, cf.~\cite{G}. Independently, they were also introduced in the analysis of the fluid-gravity
correspondence relating the Navier-Stokes equations with the (Lorentzian) vacuum Einstein equations, cf.~\cite{BS}, \cite{AABN}, \cite{AGAM} and
further references therein, cf.~also \cite{BSS}. In contrast to Dirichlet boundary data, it was shown in \cite{AA2} that the vacuum Gauss and Gauss-Codazzi
constraint equations (equivalent to the vacuum Hamiltonian and momentum constraint equations) are always solvable along $\cC$, for arbitrary boundary
data in $\cB_C$. This provides a preliminary but non-trivial check on the validity of well-posedness for the boundary data \eqref{cB}.
\medskip
The choice of the gauge group $\Diff_0(M)$ plays an important role in understanding the relation between $\cE$ and $\cI_0\times_c \cB$. Consider
for instance the intersection angle $\a_g$ along the corner $\Si$ between $S$ and $\cC$:
\be \label{angle}
\a_g: \Si \to \bR,
\ee
$$\a_g = g(\nu_S, \nu_{\cC}),$$
where $\nu_S$, $\nu_{\cC}$ are the future pointing and outward pointing unit normals to $S$ and $\cC$ respectively. Clearly $\a_g$ is
$\Diff_0(M)$-invariant. However $\a_g$ itself cannot be expressed in terms of the initial data $\cI_0$ or any choice of geometric boundary data
$\cB$. Hence if well-posedness as in \eqref{wp} holds, either the angle $\a$ must be determined by the compatibility conditions between initial
and boundary data\footnote{We show in Part II, \cite{II}, that this is in fact the case for Dirichlet boundary data under a convexity-type condition.}, or $\a$ is
determined after the fact or aposteriori, only by the solution $(M, g)$ itself and thus is uniquely determined only indirectly by initial and boundary data.
Conversely, the failure of well-posedness may imply that it is necessary to append, at least, an additional space of corner data to $\cI_0\times_c \cB$
to obtain well-posedness.
On the other hand, let $(\hat M, g)$ be a vacuum Einstein metric and suppose that $(\hat M, g)$ is (future and past) maximal globally hyperbolic with
geometric boundary data $b(g)$ on $\cC$. Then $(\hat M, g)$ may be described as the maximal globally hyperbolic development of the initial, boundary
and perhaps corner-type data of some Cauchy slice $S$. However, as is the case with the (pure) Cauchy problem \cite{C}, \cite{HE}, there are
many choices of Cauchy surfaces giving the same (or isometric) maximal solution $(\hat M, g)$. Thus, it is natural to argue that the correct gauge
group is $\Diff_0(\hat M)$ consisting of diffeomorphisms $\f: \hat M \to \hat M$ equal to the identity on the boundary $\cC$, thus dropping the restriction
that $\f = {\rm Id}$ on some Cauchy surface. With this larger gauge group, the corner angle may no longer be of any relevance. For example, in
$2+1$ dimensions where solutions $(\hat M, g)$ are flat and so embed as domains in Minkowski space $\bR^{1,2}$, well-posedness under the larger
gauge group $\Diff_0(\hat M)$ essentially only concerns the existence and unique determination of the evolution of the boundary cylinder
$\cC \subset \bR^{1,2}$ off its initial surface $\Si \simeq S^1$ by the boundary data.\footnote{However, this does not affect the failure of
well-posedness for Dirichlet or Neumann boundary data in general.}
However, an exact parametrization (analogous to \eqref{wp}) of the full space of solutions $\bE/\Diff_0(\hat M)$ is much more difficult to determine.
Even in the case where there is no boundary, for instance when $S$ is compact without boundary, there is no known effective parametrization
of $\bE/\Diff_0(\hat M)$. Solutions are uniquely determined by the space of vacuum solutions of the constraint equations on initial data, but the
equivalence relation $(\g_1, \k_1) \sim (\g_2, \k_2)$ if and only if there are embeddings of this data into a common vacuum $(\hat M, g)$, is not at all
well understood.
The same considerations as above apply to the gauge group of the covariant phase space $\bP$, cf.~\cite{HW}, \cite{LW}, \cite{WZ}, \cite{K},
where the gauge group is the group of diffeomorphisms $\Diff_{Sym}(M)$ of $M$ generated by vector fields in the kernel of the naturally defined
pre-symplectic form $\O$ on $\bP$. This is the space and gauge group most relevant physically and to the study of quasi-local
Hamiltonians and associated quasi-local conserved quantities, cf.~\cite{Sz} and references therein.
\medskip
Returning to the boundary data \eqref{cB}, it turns out that it is in fact necessary to add on a space of corner data to the initial and
boundary data for well-posedness, even under the large gauge group $\Diff_0(\hat M)$ (and even in $2+1$ dimensions). This follows by recent work of
Anninos-Galante-Maneerat \cite{AGM1}, \cite{AGM2} and Liu-Santos-Wiseman \cite{LSW}, who carried out a general mode stability analysis for
the linearization of the boundary value problem \eqref{cB} around certain special backgrounds. For instance, it is shown in \cite{LSW} that there is a
1-parameter family of non-isometric timelike spherically symmetric domains (solid cylinders) in flat Minkowski space $\bR^{1,3}$ which have the
same boundary data $([\g], H) = ([\g_0], 2)$ as the standard round cylinder $\cC = \{r = 1\} \subset \bR^{1,3}$ with induced metric
$\g_0 = -dt^2 + g_{S^2(1)}$. This family has the same fixed flat Cauchy surface $\{t = 0\}\cap \{r \leq 1\}$ in $\bR^{1,3}$; the 1-parameter family is
described by varying the corner angle \eqref{angle} between $S$ and $\cC$. For completeness, these examples are discussed in more
detail in the Appendix.
\medskip
The discussion above leads then to the following conjecture. Let $\cA = C^{\infty}(\Si)$ be the space of smooth functions on the corner $\Si$.
\begin{conjecture} The space $\cE$ is a smooth (Frechet) manifold and for $\cB = \cB_C$ as in \eqref{cB}, the smooth map
\be \label{Phi}
\Phi: \cE \to \cI_0 \times_c \cB \times \cA.
\ee
$$\Phi(g) = ((g_S, K_S), [g_{\cC}], H_{\cC}, \a_g),$$
is a diffeomorphism. Thus, upon adding corner data, the IBCVP is (lcoally-in-time) well-posed.
\end{conjecture}
Currently known methods to prove well-posedness require a choice of gauge to break the symmetry of the diffeomorphism group.
Various choices of gauge may reduce the Einstein equations to a symmetric hyperbolic $1^{\rm st}$ order system or a hyperbolic system of
$2^{\rm nd}$ order wave equations for instance. Given such a reduction, there is a well-established theory of the well-posedness of the IBVP
for such systems provided the boundary data satisfy certain conditions, such as maximally dissipative boundary conditions, uniform KL condition,
etc; we refer to \cite{BS}, \cite{Sa} and references therein for further details. All prior work on the IBVP for the vacuum Einstein equations uses this
approach. In the work of Friedrich-Nagy \cite{FN}, the corner angle $\a$ appears explicitly in the condition for well-posedness. However, in \cite{FN}
the angle $\a$ is needed to precisely define the boundary conditions along $\cC$ and so the choice of boundary data space depends on the corner
angle. Similarly, the corner angle also appears in \cite{KRSW1} and related works, where again it is used to determine the boundary conditions.
In \cite{AA1}, the corner angle also appears explicitly, but is not part of the boundary conditions.
The presence of the corner angle in \eqref{Phi} indicates that a proof of the Conjecture, (or of similar conjectures for other geometric boundary data
above), cannot be obtained by a suitable choice of gauge and then applying a standard existing PDE theory for well-posedness of IBVP (since the
conjecture is not an IBVP). A different approach is thus needed.
\medskip
The purpose of this paper is to prove the linearized version of the conjecture above, in the smooth, $C^{\infty}$ setting. For the remainder of this work,
we assume $\cB = \cB_C$.
To describe this in more detail, let $Met(M) = Met^{\infty}(M)$ be the space of $C^{\infty}$ smooth Lorentz metrics $g$ on $M$, as above globally
hyperbolic with timelike boundary and let $S^2(M)$ be the space of smooth symmetric bilinear forms on $M$. One has a natural smooth extension
of the map $\Phi$ above to
\be \label{Phi1}
\Phi: Met(M) \to [S^2(M) \times \cI \times \cB \times \cA]_c := \cT.
\ee
$$\Phi(g) = (\Ric_g, (g_S, K_S), [g_{\cC}], H_{\cC}, \a_g).$$
Here $\cI$ denotes the full space of initial data $(\g, \k)$ on $S$, not necessarily satisfying any constraint or vacuum constraint equations. The target
space $\cT$ is the full product space of free or uncoupled data, subject to the requisite compatibility conditions of the data along the corner $\Si$.
As noted above, the initial, boundary and corner data are invariant under the action of the gauge group $\Diff_0(M)$; however in the bulk, the action
$(\f, \Ric) \to \f^*(\Ric)$ is not invariant in general, unless one is on-shell, i.e.~on the space $\bE$ of vacuum solutions.
Closely related to the gauge group are the Hamiltonian and momentum constraint equations, i.e.~the Gauss and Gauss-Codazzi equations
on $S$:
\be \label{Gauss}
|K|^2 - H^2 - R_{g_S} = R_g - 2\Ric_g(\nu,\nu) = \tr_{g_S}\Ric_g - 3\Ric_g(\nu,\nu),
\ee
\be \label{GC}
{\rm div}_{g_S}(K - Hg_S) = \Ric_g(\nu, \cdot).
\ee
Here $K = K_S, H = H_S = \tr_{g_S}K_S$ and $\nu = \nu_S$ are defined as above. The same equations hold along the timelike boundary $\cC$,
but with $-R_{g_S}$ replaced by $+R_{g_{\cC}}$. These equations are defined on the domain $Met(M)$, but are not defined on the target
space $\cT$, since the normal vector $\nu$ is not defined on $\cT$. For this reason, we enlarge the target domain by adding the normal
vector $\nu_S$ along $S$ to the data. Let then $\hat \cT = \cT \times \bV_S'$ where $\bV_S'$ is the space of smooth vector fields $\nu$ along $S$
nowhere tangent to $S$ and consider the extension $\hat \Phi$ of $\Phi$ in \eqref{Phi1} given by
\be \label{Phi2}
\hat \Phi: Met(M) \to \hat \cT,
\ee
$$\hat \Phi(g) = (\Ric_g, (g_S, K_S, \nu_S)_{S}, ([g_{\cC}], H_{\cC})_{\cC}, (\a_g)_{\Si}).$$
Here and in the following, we use the parenthesis $(\cdot)_S$, $(\cdot)_{\cC}$, $(\cdot)_{\Si}$ to emphasize where the data is defined.
Since the normal vector $\nu_S$ is part of the data in $\hat \cT$, the Gauss and Gauss-Codazzi equations \eqref{Gauss}-\eqref{GC} along
$S$ now do make sense on $\hat \cT$; note the second equality in \eqref{Gauss}. (These equations are not defined along the boundary $\cC$
however). Denote then a general element in $\hat \cT$ as $(Q, (\g, \k, \nu)_S, ([\s], \ell)_{\cC}, (\a)_{\Si})$ and let $\Lambda^1(S)$ be the
space of 1-forms along $S$. There is a naturally defined constraint map
\be \label{Const}
C: \hat \cT \to \Lambda^1(S),
\ee
$$C_0(Q, (\g, \k, \nu)_S, ([\s], \ell)_{\cC}, (\a)_{\Si}) = |\k|^2 - (\tr_{\g} \k)^2 - R_{\g} - \tr_{\g} Q + 3Q(\nu,\nu),$$
$$C_i = {\rm div} (\k - (\tr_{\g}\k)\g) - Q(\nu, \cdot) .$$
The constraint equations \eqref{Gauss}-\eqref{GC} imply ${\rm Im} \, \hat \Phi$ is contained in the zero-set $\cZ = C^{-1}(0)$ of $C$,
so that
\be \label{F2}
\hat \Phi: Met(M) \to \cZ \subset \hat \cT.
\ee
In particular, $\hat \Phi$ cannot be surjective onto $\hat \cT$, (in contrast to Conjecture 1).
The constraint space $\cZ$ involves a coupling of the bulk data and the initial data in the target space $\hat \cT$, (and hence induces further
compatibility conditions along the corner $\Si$). However, again related to the gauge group $\Diff_0(M)$, there are also well-known restrictions
on the bulk data $\Ric_g$ in $\hat \cT$. Let
$$\Diff_1(M) \subset \Diff_0(M),$$
denote the subgroup of diffeomorphisms of $M$ which equal the identity to first order along $S$ and equal to the identity to zero
order along $\cC$. Let $\b_g = \d_g + \frac{1}{2}d\tr_g$ be the Bianchi operator on symmetric bilinear forms on $M$. The Bianchi identity
$\b_g \Ric_g = 0$ for Ricci curvature implies that $\Ric_g$ is not tangent to the orbit $\cO_{\Diff_1(M)}$ of the action of the diffeomorphism group
$\Diff_1(M)$ on $\hat \cT$,
$$(\Ric_g, \cdots) \notin T(\cO_{\Diff_1(M)}),$$
where $\cdots$ denotes the remaining components of $\hat \Phi(g) \subset \hat \cT$ as in \eqref{Phi2}. We recall that $T(\cO_{\Diff_1(M)})$ is the
space of symmetric forms of the form $\d^*X$ with $X = 0$ to first order on $S$ and zero order on $\cC$. In particular, $\hat \Phi$ cannot be
surjective onto $\cZ$.
\medskip
To deal with all of the issues mentioned above, a choice of gauge is needed to attack well-posedness problems. In this work, we use the well-known
and commonly used harmonic gauge (also variously known as wave gauge, Bianchi gauge or de Donder gauge). Thus, assume $M \subset \bR^4$
topologically and consider the Euclidean metric $(\bR^4, g_{Eucl})$. (More generally, one may assume $M \subset \w M$ and let $g_R$ be a
complete Riemannian metric on $\w M$). Let $V_g$ be the tension field of the identity wave map $(M, g) \to (\w M, g_R)$, cf.~\cite{GG}. In local
coordinates $\{x^{\mu}\}$ on $M$, $V_g$ has the form
$$V_g = \Box_g x^{\mu}\p_{x^{\mu}}.$$
Much of this work is concerned with the analysis of the ``gauge fixed map" (related to the gauge-reduced Einstein equations):
\be \label{PhiH}
\Phi^H: Met(M) \to \cT^H,
\ee
$$\Phi^H(g) = (\Ric_g + \d_g^* V_g, (g_S, K_S, \nu_S, V_g|_{S})_S, ([g_{\cC}], H_{\cC}, V_g|_{\cC})_{\cC}, (\a_g)_{\Si}),$$
where $V_g|_S$ and $V_g|_{\cC}$ are the restrictions of the gauge field $V_g$ to $S$ and $\cC$ respectively. Here, $\cT^H$ is the
space of free or unconstrained target data $\cT^H = \hat \cT \times \bV_M$, subject only to the smooth compatibility conditions along the
corner $\Si$. The target space $\hat \cT$ for $\hat \Phi$ embeds in $\cT^H$ by setting $V = 0$ along $S\cup \cC$, (cf.~\S 5).
\medskip
The first main result is a complete understanding of the derivative map $D\Phi_g^H$, at any vacuum metric $g$, i.e.~$\Ric_g = 0$.
\begin{theorem}\label{ThmI}
For any smooth vacuum Einstein metric $g$, the derivative
$$D\Phi_g^H: T_g Met(M) \to T(\cT^H),$$
$$D\Phi_g^H(h) = \big([\Ric_g + \d_g^* V_g]'_h, [(g_S, K_S, \nu_S, V_g|_{S})_S]'_h, [([g_{\cC}], H_{\cC}, V_g|_{\cC})_{\cC}]'_h, (\a'_h)_{\Si}),$$
is an isomorphism, depending smoothly on $g$.
\end{theorem}
This leads to the following results for the (geometric) maps $\hat \Phi$ in \eqref{Phi2} and $\Phi$ in \eqref{Phi}, where the gauge
fixing is removed step-by-step from $\Diff_1(M)$ to $\Diff_0(M)$.
\begin{theorem}\label{ThmII}
Suppose $\Ric_g = 0$. Then the map
$$\hat \Phi: Met(M) \to \cZ,$$
is a smooth map transverse to the orbits of the action of $\Diff_1(M)$ on $\cZ$, i.e.~the derivative map
$$D\hat \Phi: TMet(M) \to T\cZ,$$
$$D\hat \Phi_g(h) = (\Ric'_h, [(g_S, K_S, \nu_S)_S]'_h, [([g_{\cC}], H_{\cC})_{\cC}]'_h, (\a'_h)_{\Si}),$$
satisfies
\be \label{transv}
{\rm Im}D \hat \Phi_g \oplus T(\cO_{\Diff_1 (M)}) = T \cZ.
\ee
The map $\hat \Phi$ thus descends to the quotient $Met(M)/\Diff_1(M)$ and the induced map
$$D\hat \Phi: T(Met(M)/\Diff_1(M)) \to T(\cZ/\Diff_1(M)),$$
$$D \hat \Phi_g(h) = (\Ric'_h, [(g_S, K_S, \nu_S)_S]'_h, [([g_{\cC}], H_{\cC})_{\cC}]'_h, (\a'_h)_{\Si}),$$
is an isomorphism. The equivalence class in $T(\cZ/\Diff_1(M))$ is represented by the symmetric forms $F$ on $M$ in the kernel
of the Bianchi operator $\b_g$.
Further, dropping the normal vector $\nu_S$, the map $\hat \Phi$ descends to the full quotient $Met(M)/\Diff_0(M)$ and again the linearization
$$D\Phi: T(Met(M)/\Diff_0(M)) \to T(\cZ/\Diff_0(M)),$$
$$D \Phi_g(h) = (\Ric'_h, [(g_S, K_S)_S]'_h, [([g_{\cC}], H_{\cC})_{\cC}]'_h, (\a'_h)_{\Si}),$$
is an isomorphism.
\end{theorem}
We expect that the results above are also true off-shell, where $g$ is no longer vacuum Einstein. In fact the existence or surjectivity part of
Theorem 1.1 is proved to hold off-shell. The proofs when off-shell require some modifications, but we will not address the details here.
\medskip
Let $T_g \cE$ denote the formal tangent space to $\cE$ at $g$, equal to the linear space of solutions $h$ to the linearized vacuum
Einstein equations $\Ric'_h = 0$ on $M$, modulo the equivalence relation $h \sim h + \d^*X$, where $X \in T(\Diff_0(M))$.
Similarly, let $T(\cI_0)$ denote the space of infinitesimal variations $\iota' = (\g', \k')$ satisfying the linearization of the vacuum constraint equations.
The following result is essentially an immediate consequence of the results above.
\begin{corollary}\label{ThmIII}
For any $g \in \cE$, the derivative map
$$D\Phi_g: T_g\cE \to T(\cI_0\times_c \cB \times \cA),$$
is an isomorphism of Frechet spaces, depending smoothly on $g$. Thus the linearized IBCVP with boundary data $([h], H'_h)$ and
corner data $\a'_h$ is well-posed in $C^{\infty}$.
\end{corollary}
\medskip
As indicated above, the method of proof of the results above does not (in fact we believe cannot) rely on reducing the linearized Einstein equations
to a linear hyperbolic system and applying a well-established existing theory of well-posedness for the IBVP for certain classes of boundary
conditions. Instead, the approach here is to derive wave-type evolution equations for the Dirichlet boundary data $h|_{\cC}$ of all the
components of $h$ at $\cC$ distinct from the given Dirichlet boundary data for the conformal class variation $[h^{\tT}] = \ring{h}$.
These equations may be derived either from the Hamiltonian and momentum constraints \eqref{Gauss}-\eqref{GC} along $\cC$, or
equivalently from the harmonic gauge boundary data at $\cC$.
A main point, which confirms the necessity of adding corner angle data at $\Si$, is that the wave equation describing the evolution of the
linearized conformal factor $u$ (which is derived from the Hamiltonian constraint) has initial data $\p_t u|_{\Si}$ depending explicitly on the corner angle
variation $\a'_h$, (cf.~\eqref{velocity} below). This cannot be determined by the initial and boundary data at $\Si$, or their compatibility. Thus,
unique determination of the conformal factor $u$ requires the extra specification of the corner angle.
Given such evolution equations which uniquely determine the full Dirichlet boundary data $h(\cdot, \cdot)$ of the variation $h$ at $\cC$, we then
solve the linearized Einstein equations in a harmonic gauge. Thus, in the end, we only rely on the simple existence theory for wave equations with
Dirichlet boundary data.
However, intrinsic to this procedure is a loss of derivatives at the boundary $\cC$. The existence of solutions to the linearized equations is
proved by a natural iteration procedure, which loses derivatives at each step of the iteration. This is the reason why Theorem 1.1 is only
stated for $C^{\infty}$ data.
Currently, we have not been able to establish apriori $H^s$ energy estimates for smooth linear solutions. Such energy estimates could only
possibly hold again with loss of derivative for target data. Thus it is not possible to prove existence within a given Banach space setting, as is usually
the case for previous analyses of the IBVP. Instead, the results above together with the existence of $H^s$ energy estimates with loss-of-derivatives
would show that $D\Phi^H$ is a tame Fredholm map, with tame linear inverse on the space of vacuum Einstein metrics, allowing one to apply the
Nash-Moser implicit function theorem to produce the nonlinear or actual solutions of the IBVCP as in Conjecture I. We plan to address this in future work.
\medskip
{\bf Acknowledgments:} We thank D. Anninos, D. Galante, C. Maneerat and E. Silverstein for interesting discussions related to this work.
The work benefited greatly from the conference ``Timelike boundaries in theories of gravity" in Morelia, Mexico in
August 2024. We are very grateful to the organizers, D. Anninos, D. Galante and O. Sarbach for the opportunity to participate.
\section{Background Material.}
In this section, we discuss the basic background material needed for the work to follow. These include localization of the problem,
the local geometry and compatibility conditions at the corner $\Si$ and basic information about the choice of gauge.
\subsection{Localization.}
To prove the main results in \S 1, as usual with hyperbolic systems, we will localize the problem via a partition of unity and rescaling;
this is the common ``frozen coefficient approximation" in the PDE literature. We then show later in \S 5 that these local solutions may be patched
together to provide global (in space) solutions.
Given a metric $g$ on $M$ as in \S 1, the localization at a point $p \in \Si$ is a (small) neighbhorhood $U \subset M$ of $p$, diffeomorphic via
a local chart to a Minkowski corner
$$\mathbf R=\{(t=x^0,x^1,\dots ,x^n):t\geq 0, x^1\leq 0\}$$
with $S\cap U \subset \{t = 0\}$, $\cC \cap U \subset \{x^1 = 0\}$ and $x^{\a}(p) = 0$. Thus $t$ is a defining function for $S$ and $x^1$ is a
defining function for $\cC$. Such local coordinates will be called an adapted local coordinate chart.
As usual, Greek letters $\a, \b$ denote spacetime indices $0, \dots, n$, Roman letters denote spacelike indices $1, \dots, n$ and
capital Roman letters $A,B$ denote corner indices $2, \dots, n$.
When $(M, g)$ is of size bounded away from $0$ and $\infty$, $U$ will be a small domain metrically, and correspondingly, the coordinates
$x^{\a}$ will vary only over a small range. To renormalize this situation, as usual the metric and coordinates are rescaled simultaneously; thus
for $\l$ small, set
$$\w g = \l^{-2}g, \ \ \w x^\a=\l^{-1}x^\a$$
so that
\be\label{rescale}
\w g(\p_{\w x^\a},\p_{\w x^\b})|_{\w x}=g(\p_{ x^\a},\p_{ x^\b})|_{\l x}.
\ee
The equation \eqref{rescale} holds in the same way for any variation $h = \frac{d}{ds}(g + sh)|_{s=0}$ of $g$. Note that while the components
$g_{\a\b}$ of $g$ are invariant under such a rescaling, all higher derivatives become small:
$$\p_{\w x^{\mu}}^k \w g_{\a\b} = \l^k \p_{x^{\mu}}^k g_{\a\b}.$$
Thus the coefficients are close to constant functions in the rescaled chart,
\be \label{eps}
||\w g - g_{\a_0}||_{C^{\infty}(U)} \leq \e = \e(\l, g),
\ee
where $g_{\a_0}$ is a flat (constant coefficent) Minkowski metric. This is the frozen coefficient approximation.
The exact form of the model flat metric $g_{\a_0}$ in adapted local coordinates is controlled by the corner angle $\a$ of $g$,
or more precisely its value $\a_0 = \a(p)$ at $p$. In the $\w x^{\a}$ coordinates, the metric $\w g$ is $\e$-close to the flat model metric
\bes
g_{\a_0} =-dt^2-\a_0 dtdx^1+\sum_{i=1}^n(dx^i)^2.
\ees
Note that for $g_{\a_0}$, we have
\be \label{normals}
\nu_S = - \nabla t = (1+\a_0^2)^{-1/2}(\p_0+\a_0 \p_1), \ \ \nu_\cC=\nabla x^1 = (1+\a_0^2)^{-1/2}(\p_1-\a_0 \p_0),
\ee
and
$$g_{\a_0}(\nu_S,\nu_\cC)=\a_0.$$
Thus, given the defining function $t$ for $S$, the corner angle $\a_0$ determines the choice of the defining function $x^1$ for $\cC$ and thus
the form of the abstract or coordinate-free Minkowski metric.
It is essentially clear that the local versions of the results stated in \S 1 hold for $g$ if and only if they hold for $\w g$. Briefly,
write $D\Phi_g$ from \eqref{Phi1} in the form
$$D\Phi_g(h) = (\Ric'_h, (h_S, K'_h)_S, (\ring{h}, H'_h)_{\cC}, (\a'_h)_{\Si}),$$
where $h_S = (g_S)'_h$, $K'_h = (K_S)'_h$, $\ring{h}$ is the trace-free part of $h^{\tT} = (g_{\cC})'_h$, and $H'_h = (H_{\cC})'_h$.
Then the components of $D\Phi_g(h)$ and $D\Phi_{\w g}(\w h)$ are related in local coordinates by
$$(\Ric'_{\w g}(\w h), (\w h_S, \w K'_{\w h})_S, (\ring{\w h}, \w H'_{\w h})_{\cC}, \a'_{\w h})|_{\w x} =
(\l^2 \Ric'_g(h), (h_S, \l K'_{h})_S, (\ring{ h}, \l H'_h)_{\cC}, \a'_h)|_{\l x}.$$
Similarly, $(\w \nu_S)'_{\w h} = (\nu_S)'_h$ and $\w V'_{\w h} = \l V'_h$ in local coordinates.
Now for any background metric $g$ and target data $\tau' \in T(\cT)$, form $\w g$ and $\w \tau'$ by the rescaling
above, choosing $\l = \l(g)$ small enough, so that $\w g$ is $\e$-close to the constant coefficient metric $g_{\a_0}$. It is then easy to check
that a solution to $D\Phi_{\w g}(\w h)=\w \tau'$ uniquely gives rise to a solution to $D\Phi_g(h)=\tau'$, where $h$ and $\w h$
are related as in \eqref{rescale}.\footnote{The same argument holds for an arbitrary cosmological constant $\Lambda$.} The same
remarks apply to rescalings for $D\hat \Phi$ and $D \Phi^H$.
\medskip
We will always assume that $U$ is embedded in a larger region $\w U$, so
$$U \subset \w U,$$
with $\w U$ still covered by the adapted coordinates $(t, x^i)$, with $t \geq 0$ and $x^1 \leq 0$ in $\w U$ so that the initial surface $S$, boundary
$\cC$ and corner $\Si$ in $\w U$ are an extension of the corresponding domains in $U$. We also assume \eqref{eps} still holds in $\w U$.
All target data in $\cT$, $\hat \cT$ and later $\cT^H$ given in $U$ is extended off $U$ to be of compact support in $\w U$ away
from $S\cap U$ and $\cC \cap U$. In particular, all target data vanishes in a neighborhood of the full timelike boundary of $\w U$ and in
a neighborhood of the initial slice $\{t = 0\}$ away from $\cC \cap U$ and $S \cap U$ respectively. The same statements hold for variations of the
target data, i.e.~in $T(\cT), T(\hat \cT)$ or $T(\cT^H)$.
For later reference, we note that the finite propagation speed property implies that solutions $h$ of the linear systems of wave equations on $\w U$
appearing in \S 3 and \S 4 then also have compact support in $\w U$ away from $S\cap U$ and $\cC \cap U$, for some definite (possibly small) time
$t > 0$.
\subsection{Geometry at the corner.}
Next we discuss the form of the ambient metric $g$ at the corner $\Si$, determined by the compatibility conditions between $\cI$ and $\cB$ and
the corner angle $\a$.
Let $\tau = ((\g, \k, \nu)_S, ([\s], \ell)_{\cC}, (\a)_{\Si})$ denote a general element in the target space $\cT$; thus $\tau$ represents general
initial, boundary and corner data prescribing the geometric quantities $((g_S, K_S, \nu_S)_S, ([g_{\cC}], H_{\cC})_{\cC}, (\a_g)_{\Si})$.
The boundary condition $[g_{\cC}] = [\s]$ implies that there is a positive function $\f$ on $\cC$ such that
\be \label{fconf}
g_{\cC} = \f^2 \s,
\ee
so only the conformal factor $\f$ is not determined by $[g_{\cC}]$. The compatibility between $g_S = \g$ and $g_{\cC} = \f^2 \s$ at $\Si$
immediately gives
\be \label{C1}
\g |_{\Si} - \f^2 \s |_{\Si} = 0 ,
\ee
along $\Si$. Thus the conformal factor $\f$ is determined at $\Si$ by $\g$ and $\s$. Without loss of generality, we may assume that the induced
volume forms $dv_{(\g_\Si)} = dv_{(\s_\Si)}$ agree, and hence
\be \label{fS}
\f |_{\Si} = 1,
\ee
is determined at $\Si$. Given an arbitrary choice of adapted local coordinates as in \S 2.1, the target metric $\s$ evaluated at $\Si$ has the
general lapse-shift expression
\be \label{cm}
\s=-\rho^2 dt^2+w_Adtdx^A+\g_{AB},
\ee
where $\g_{AB} = \g_{\Si}$. The scalar function $\rho$ and 1-form $w_A$ are thus given target data at $\Si$. The future-pointing timelike unit
normal vector of $\Sigma\subset (\cC,g_\cC)$ is then
given by
\be \label{CShift}
T^\cC=\frac{\p_t-w^A\p_A}{\sqrt{\rho^2+|w|_\Si^2}}.
\ee
Let $N=N^i\p_{x^i}$ denote the spacelike outward unit normal vector to the corner $\Si$ in $(S,g_S)$. Recall from \S 2.1 that the choice of
adapted coordinates $(t, x^i)$ requires specification of the corner angle $\a$ along $\Si$. Since $N$ is uniquely determined by the initial data
$g_S$, and since $x^1$ is a defining function for the corner $\Si \subset S$, $N^1\neq 0$. It is elementary to see that
\be\label{cornerangle}
g(T^\cC,N) = - g(\nu_S, \nu_{\cC}) = -\a.
\ee
In the $n+1$ or lapse-shift formalism, the spacetime metric $g$ evaluated on the initial surface $S$ is given by
\be\label{gcorner}
g=-\mu^2dt^2+X_idtdx^i+g_S.
\ee
Since $g_\cC$ is given by \eqref{cm} at $\Si$, by setting $x^1=0$ in the expression above, the compatibility condition at the corner
$\Si$ gives
\be \label{C1.5}
\mu=\rho,\ X_A=w_A \mbox{ on }\Si.
\ee
It remains to calculate $X_1$ to fully determine $g_{\a\b}$ along the corner. Evaluating \eqref{gcorner} on the pair $(T^{\cC}, N)$ and using
the equations \eqref{cornerangle} and \eqref{CShift} gives
\bes
-\a=g(\tfrac{1}{\sqrt{\rho^2+|w|^2_\Si}}\p_t,N)
=\tfrac{1}{\sqrt{\rho^2+|w|^2_\Si}}X_i N^i.
\ees
Thus the component $X_1$ satisfies
\bes
X_1=-\tfrac{1}{N^1}(\a\sqrt{\rho^2+|w|^2_\Si}+w_AN^A) \ \mbox{ on }\Si.
\ees
This shows that the full spacetime metric $g|_{\Si}$ is determined by the target data $(\g)_S, (\s)_{\cC}, (\a)_{\Si}$ along the corner, independent
of any local coordinates. As a consequence, the data $\nu$, which is used to prescribe the future-pointing timelike unit normal vector $\nu_S$,
must satisfy the compatibility condition:
\be \label{C2}
\nu_S - \frac{1}{\sqrt{\mu^2 + \sum X_i^2}}(\p_t - X_i \p_i) = 0 \ \ {\rm on} \ \ \Si.
\ee
Here as always, $(t, x^i)$ are adapted local coordinates. The conditions \eqref{C1}-\eqref{fS}, \eqref{C1.5}, and \eqref{C2} are the $C^0$ compatibility
conditions for $\hat \cT$.
\medskip
As for the second fundamental form, we have
\be\label{pt-K}
\k = \frac{1}{2}\cL_{\nu_S} g|_S=\frac{1}{2}\cL_{\frac{\p_t-X}{\sqrt{\mu^2+|X|^2}}}g|_S=\frac{1}{2\sqrt{\mu^2+|X|^2}}(\cL_{\p_{t}}g|_S-\cL_{X}\g).
\ee
Hence $\p_t g_{ij}$, $(i, j =1, \dots, n)$ are determined by $(\g, \k)_S, (\s)_{\cC}, (\a)_{\Si}$ at the corner. Moreover, for an orthonormal basis
$e_A$ $(A=2, \dots, n)$ of $T\Si$:
\bes
\begin{split}
g(\nabla_{e_A}T^\cC,e_A)=g_\cC(\nabla^{\cC}_{e_A}T^\cC, e_A),
\end{split}
\ees
The well-known transformation rule for the Levi-Civita connection of conformally related metrics $g_\cC=\f^2\s$ states that
\bes
\nabla^\cC_{e_A}T^\cC=\nabla^\s_{e_A}T^\cC+e_A(\ln \f)T^\cC + T^\cC(\ln \f)e_A,
\ees
and hence on $\Si$,
\bes
\begin{split}
g(\nabla_{e_A}T^\cC,e_A)=\s(\nabla^\s_{e_A}T^\cC+e_A(\ln \f)T^\cC+T^\cC(\ln \f)e_A, e_A)=H_\s + (n-1)T^\cC(\f) ,
\end{split}
\ees
where $H_\s$ is the mean curvature of $\Si\subset (\cC,\s)$.
On the other hand $T^\cC=\sqrt{1+\a^2}\nu_S-\a N$, so that
\bes
\begin{split}
g(\nabla_{e_A}T^\cC,e_A)=g(\nabla_{e_A}[\sqrt{1+\a^2}\nu_S-\a N], e_A)=\sqrt{1+\a^2}\tr_\Si K_S - \a H_\Si,
\end{split}
\ees
where $\tr_{\Si}K_S = \tr_{\g}\k$ and $H_{\Si}$ is the mean curvature of $\Si \subset (S, \g)$.
This gives the geometric formula
\be \label{velocity}
(n-1)T^{\cC}(\f) = \sqrt{1+\a^2}\tr_\Si K_S - \a H_\Si - H_\s.
\ee
where all the terms on the right side are determined by the initial, boundary and corner data $(\g, \k)_S, (\s)_{\cC}, (\a)_{\Si}$.
The fact that the initial velocity of the conformal factor $\f$ is determined by the corner angle (as well as the initial and boundary
data), will be important in the main analysis in \S 3, cf.~Lemma \ref{u}. Note that the mean curvature $H_{\cC}$ does not enter the expression
\eqref{velocity}.
Furthermore, a similar calculation can be used to determine the $t$-derivative of $\s$ at $\Si$. Namely, on restriction to $\Si$, we have
$$\cL_{T^{\cC}}(\f^2 \s) = \cL_{T^{\cC}}g = \cL_{(\sqrt{1+\a^2}\nu_S - \a N)}g = \sqrt{1+\a^2}\k - \a B_{\Si},$$
where $B_{\Si}$ is the second fundamental form of $\Si \subset (S,\g)$. Since $\cL_{T^{\cC}}(\f^2 \s) = 2\f T^{\cC}(\f)\s + \f^2\cL_{T^{\cC}}\s$, it
follows that, on $\Si$,
\be \label{C3}
\cL_{T^{\cC}} \s + 2T^{\cC}(\f) \s - \sqrt{1+\a^2}\k + \a B_{\Si} = 0,
\ee
where $T^{\cC}(\f)$ is given by \eqref{velocity}. This is the first order compatibility condition on the data $(\g,\k)_S, (\s)_{\cC}, (\a)_{\Si}$.
We summarize the analysis above in the following Lemma.
\begin{lemma}\label{corner}
The 0 and 1 jets of $g_{\a\b}$ are all determined by the initial, boundary and corner data of $g$ in $\cT$ except for the components
$\p_t g_{01}, \p_1 g_{0\alpha}$ on $\Si$.
\end{lemma}
The same result holds for infinitesimal deformations $h$ of $g$. Lemma \ref{corner} does not depend on any choice of gauge or
adapted local coordinates for $g$. Geometrically, the terms $\p_1 g_{0i}$, $i = 0,2, \dots, n$ correspond to the component $A(T^{\cC}, \cdot)$
of the $2^{\rm nd}$ fundamental form $A = A_{\cC}$ of $\cC$ in $(M, g)$. The remaining two terms $\p_t g_{01}$ and $\p_1 g_{01}$ correspond
to the time and radial variation of the corner angle (in adapted coordinates). We note that some of these remaining terms are determined on
$\Si$ by a choice of normal vector $\nu_S$ and gauge $V$; cf.~Lemma \ref{hS} and also the end of the proof of Lemma \ref{hnu}.
The second and higher order compatibility conditions at the corner involve coupling of the bulk term $Q = \Ric_g$ of the target
space with initial and boundary data and are derived by the same process as above. For the linear theory discussed here, it will not be
necessary to specify these higher order conditions along $\Si$ explicitly. We refer then to Part II, \cite{II}, for the detailed form of the
higher order compatibility conditions, where they are needed for the nonlinear theory. (These are done in \cite{II} for Dirichlet boundary
conditions, but there are only minor differences with the $\bB_c$ boundary conditions).
\subsection{Harmonic gauge.}
To prove well-posedness or solvability, it is well-known that it is necessary to work with a specific choice of gauge field or local slice to
the action of the diffeomorphism group $\Diff_0(M)$ acting on the space of solutions. Such a choice determines, either directly or indirectly,
a choice of space-time or lapse-shift decomposition of the ambient or bulk metric. In addition to the choice of gauge field in the bulk, the choice of
its boundary conditions at the boundary $\cC$, in relation to the boundary conditions for the metric $g$, plays an important role in the well-posedness
problem.
As usual with the Cauchy problem for the Einstein equations, we work below with the (generalized) harmonic or wave coordinate gauge, described
locally by the coordinate vector field
\be \label{harm}
V = V_g = (\Box_g x^{\mu})\p_{x^{\mu}},
\ee
where $x^{\mu}$ are (fixed) adapted local coordinates, so $t = x^0$ and $x^1$ are defining functions for $S$ and $\cC$ respectively.
We emphasize that, given a choice of adapted local coordinates, the gauge field $V_g$ is uniquely determined by $g$.
We then form the harmonic ``gauge reduced map" $\Phi^H$ by considering, as in \eqref{PhiH}
\be \label{PhiH1}
\Phi^H: Met(M) \to \cT^H,
\ee
$$\Phi^H(g) = (\Ric_g + \d_g^* V_g, (g_S, K_g, \nu_S, V_g|_S)_S, ([g_{\cC}], H_{\cC}, V_g|_{\cC})_{\cC}, (\a_g)_{\Si}).$$
Note that we are thus imposing Dirichlet boundary conditions for the gauge field on $\cC$, (in addition to Dirichlet initial
conditions on $S$). One might consider other boundary conditions for $V_g$, but we will not pursue that here.
As mentioned in the Introduction, we note that it is straightforward to globalize \eqref{harm} by replacing the local
expression for $V$ by a wave map to Riemannian target space. The proof that the choice of $V$ does lead to a suitable choice of gauge is
given in Remark \ref{goodg}.
\medskip
We thus have the three maps $\Phi$, $\hat \Phi$ and $\Phi^H$ in \eqref{Phi}, \eqref{Phi2}, \eqref{PhiH} or \eqref{PhiH1}. Most all of the analysis
to follow is concerned with the gauge-fixed map $\Phi^H$. After developing a detailed understanding of the linearization of $\Phi^H$,
it is then quite straightforward to derive a similar understanding for the geometric maps $\hat \Phi$ and $\Phi$.
\section{Linear analysis I}
In this section, we begin the analysis of the derivative $D\Phi^H$ of the map $\Phi^H$ in \eqref{PhiH1}.
\be \label{DPhiH}
D\Phi^H: T(Met(M)) \to T(\cT^H),
\ee
$$D\Phi_g^H(h) = ((\Ric_g + \d_g^* V_g)'_h, (h_S, K'_h, (\nu_S)'_h, V'_h)_S, (\ring{h}, H'_{h}, V'_h)_{\cC}, (\a'_h)_{\Si}).$$
We will use the discussion here to analyse the surjectivity and injectivity of $D\Phi^H$ in \S 4.
All of the results of this section are valid either globally, for $M$ as in \S 1, or locally, for localized corner neighborhoods $U \subset \w U$ as
described in \S 2. In the localized setting, to simplify notation, we will always denote $\w g$ simply by $g$. We assume all data is $C^{\infty}$ smooth.
The results of this section also hold for general metrics $g$, not necessarily vacuum Einstein. We recall that in using the Nash-Moser implicit function
theorem to pass from the linearization or derivative $D\Phi_g^H$ to the nonlinear mapping $\Phi^H$, it is not sufficient to understand the derivative at
only a fixed metric $g_0$ (e.g.~a Minkowski corner $g_{\a_0}$). One needs to understand the behavior the derivative at all metrics (or at least all
vacuum metrics) near a given $g_0$.
For later purposes, we recall that in the local setting of \S 2.1, all derivatives $\p g$ of $g$ in adapted local coordinates, in particular the
$2^{\rm nd}$ fundamental form $A$ of $\cC$ in $(M, g)$, are $O(\e)$ in $C^{\infty}$. Further, again as discussed in \S 2.1, all variations
$\tau'$ of the target data in $\hat \cT$ or $\cT^H$ are assumed to have compact support in $\w U$ away from $S\cap U$ and $\cC \cap U$.
\medskip
To begin, consider the bulk term in \eqref{DPhiH}, i.e.~the equation
\be \label{L}
L(h) = (\Ric_g + \d_g^*V_g)'_h = F.
\ee
The first term $\Ric'_h$ has the form, cf.~\cite{B},
$$\Ric'_h = \tfrac{1}{2}D^*D h +\Ric \circ h - Rm(h) - \d^*\b h.$$
Here and in the following, all geometric tensors and operators are with respect to $g$, so we omit the subscript $g$.
Recall also that $\b$ is the Bianchi operator. Since $\d^* V = \frac{1}{2}\cL_V g$, $2(\d^*V)'_h = \cL_V h + 2\d^* V'_h = \nabla_V h +
2\d^* V \circ h + 2\d^*V'_h$. Also $V = \Box x^{\a} \p_{\a}$ so that $V'_h = (\Box)'_h x^{\a}\p_{\a}$ and a standard formula, (cf.~\cite{B}),
gives $(\Box)'_h x^{\a} = -\<D^2 x^{\a}, h\> + \<\b h, dx^{\a}\>$, so that
\be \label{V'h}
V'_h = \b h - \<D^2 x^{\cdot}, h\>\p_{x^{\cdot}}.
\ee
The first term here gives rise to a cancellation with the term $-\d^*\b h$ above, which then gives
$$(\Ric_g + \d^*V)'_h = \tfrac{1}{2}D^*D h + \Ric \circ h - Rm(h) + \tfrac{1}{2}\nabla_V h + \d^* V \circ h - \d^* (\<D^2 x^{\a}, h\> \p_{\a}) .$$
The leading order term here is the tensor wave operator $D^*D$; the zero order terms in $h$ have coefficients involving two derivatives of
$g$ while the first order terms in $h$ have coefficients involving one derivative of $g$. The operator $D^*D$ operating on symmetric bilinear
forms $h$ may be written as a coupled system of scalar equations for the components $h_{\a\b}$ of $h$ of the form
$$(D^*Dh)_{\a\b} = -\Box_g h_{\a\b} + S_{\a\b}(h),$$
where $S(h)$ has lower order terms as above. We thus write the linearization \eqref{L} in the form
\be \label{L2}
(L(h))_{\a\b} = -\tfrac{1}{2}\Box_g h_{\a\b} + P_{\a\b}(\p h) = F_{\a\b},
\ee
where $P$ is the collection of lower order - zero and first order - terms in $h$. The first order operator $P$ is linear in $h$,
but is highly coupled. In the localized setting of \S 2.1, $P$ is a small perturbation term; by \eqref{eps}, the coefficients of $P$ are all $O(\e)$.
\medskip
We note the following Lemma for the initial data for \eqref{L2} for future reference.
\begin{lemma}\label{hS}
In adapted local coordinates along $\Si$, the initial data
$$(h_{\a\b}, \p_t h_{\a\b}) \ {\rm on} \ S,$$
are uniquely determined by the target initial data $(h_S, K'_h, (\nu_S)'_h, V'_h)_S$, $(\a'_h)_{\Si}$ in \eqref{DPhiH}. The converse also holds.
\end{lemma}
\begin{proof}
We show first that the nonlinear version of this result holds, so with $g$ in place of its variation $h$. First, the determination of the corner angle
$\a$ along $\Si$ determines a choice of adapted local coordinates, up to the natural equivalence relation, cf.~\S 2.1. Having then fixed the
coordinates through $\a$, the target initial data for $g$ along $S$ are then $(g_S, K_S, \nu_S, V|_S)$. In such local coordinates, $g_S$ determines
$g_{ij}$, $i, j = 1,\dots, n$. Also, since $\nu_S$ and the coordinate $t$ are given, the lapse-shift $(\mu, X)$ with $\nu_S = \mu \p_t + X$ are given,
and so the components $g_{0\a}$ are also determined. Similarly, $K_S$ then determines $\p_t g_{ij}$. Finally, it is easy to see that from these prior determinations, $(V_S)^{\a} = \Box_g x^{\a}|_S$ determines $\p_t g_{0\a}$ on $S$.
We may apply the arguments above to the linearization $h_{\a\b} = \frac{d}{ds}(g + sh)_{\a_s\b_s}$. The linearization is a sum of two terms.
The first is the linearization $h$ of $g$ in fixed coordinates and the second is given by the components of $g$ in the infinitesimal
variation of the coordinates (the variation of the change of basis). The sum these two terms is determined by the argument above, while the
variation of the coordinates is determined up to equivalence by $\a'$.
\end{proof}
\subsection{Gauge analysis.}
We next discuss the gauge field $V = V_g$ and its linearization $V'_h$ at $g$. Let
\be \label{V0}
\Ric_g + \d^*V = Q,
\ee
so $Q$ is determined by the target data in $\cT^H$.
\begin{lemma}\label{Gauge-lemma}
Let $\Box_g$ denote the wave operator $\Box_g = - D^*D$ acting on vector fields $V$ on $M$. Then
\be \label{V}
-\tfrac{1}{2}[\Box_g + \Ric_g](V) = \b_g(Q).
\ee
The initial data $V|_S$, $(\p_t V)|_S$ and boundary data $V|_{\cC}$ are determined by the target data
$$(\Ric + \d^*V, (g_S, K_S, \nu_S, V|_S)_S, V|_{\cC})$$
in $\cT^H$ and hence $V$ on $M$ is uniquely determined by target data.
\end{lemma}
\begin{proof}
Applying the Bianchi operator $\b_g = \d_g + \frac{1}{2}d \tr_g$ to \eqref{V0} gives
\be \label{V2}
\b_g \Ric_g + \b_g \d^*V = \b_g(Q),
\ee
which, by the Bianchi identity $\b_g \Ric_g = 0$, gives \eqref{V} via a standard Weitzenbock formula
The Dirichlet data for $V$ along $S$ and $\cC$ are target data in $\cT^H$. We claim that the $t$-derivative $\p_t V$ on $S$ is also
determined by target data. This follows from the Gauss and Gauss-Codazzi identities \eqref{Gauss}-\eqref{GC}. For $\nu = \nu_S$ the
unit timelike normal to $S$, these identities show that the form $E(\nu, \cdot) = \Ric(\nu, \cdot) - \frac{1}{2}R g(\nu, \cdot)$ is determined by
initial data $\iota = (g_S, K_S)$ along $S$. By \eqref{V0}, it follows that $\d^*V(\nu, \cdot) - \frac{1}{2}\tr \d^*V g(\nu, \cdot)$ is determined by
initial data. Since $V$ is determined along $S$ by the target data, it follows easily that $\nabla_{\nu}V$ and hence $\p_t V$ is determined
along $S$ by target data. It follows from the standard existence and uniqueness of solutions to the wave equation \eqref{V} with given initial
and Dirichlet boundary data that $V$ is uniquely determined by target data.
\end{proof}
A similar result holds for the linearization $V'_h$ of the gauge field $V = V_g$.
\begin{lemma}\label{Gauge-lemma2}
We have
\be \label{V'}
-\tfrac{1}{2}(\Box_g + \Ric_g)V'_h + \tfrac{1}{2}\nabla_V V'_h = \b_g F + \b'_h \Ric_g + O_{2,1}(V,h),
\ee
where $O_{2,1}(V,h)$ is $2^{\rm nd}$ order in $V$ and $1^{\rm st}$ order in $h$. Moreover, $O_{2,1}(V,h) = 0$ if $V = 0$.
The initial data $(V'_h)|_S$, $(\p_t V'_h)|_S$ and boundary data $V'_h|_{\cC}$ are determined by the target data
$$\big((Ric + \d^*V)'_h, (h_S, K'_h, (\nu_S)'_h, V'_h)_S, (V'_h)_{\cC}\big)$$
in $T(\cT^H)$.
\end{lemma}
\begin{proof}
Again applying the Bianchi operator to both sides of \eqref{L} gives:
\bes
\b_g \Ric'_h+\b_g \d^* V'_h+\b_g[(\d^*)'_h V]=\b_g F
\ees
which via the Weitzenbock formula as before implies
\be \label{V'1}
-\tfrac{1}{2}[\Box V'_h+\Ric_g(V'_h)]=\b_g F + \b'_h \Ric_g -\b_g[(\d^*)'_h V].
\ee
Simple calculation gives $(\d^*)'_hV = \frac{1}{2}\nabla_V h + \d^*V\circ h$, so that
$$\b[(\d^*)'_hV] = \tfrac{1}{2}\b(\nabla_Vh) + O_{2,1}(V,h) = \tfrac{1}{2}\nabla_V \b h + O_{2,1}(V,h) = \tfrac{1}{2}\nabla_V V'_h + O_{2,1}(V,h),$$
where we have used \eqref{V'h} in the last equality. This gives \eqref{V'}
As in Lemma \ref{Gauge-lemma}, the Dirichlet data for $V'_h$ along $S$ and $\cC$ are given as target space data and we use the
constraint equations \eqref{Gauss}-\eqref{GC} to determine the initial velocity $\p_t V'_h$. As before, the bulk equation yields:
\bes
\begin{split}
&(\Ric-\tfrac{1}{2}Rg)'_h(\nu_S)+[\d^*V-\tfrac{1}{2}({\rm div}V)g]'_h(\nu_S)\\
&=[F-\tfrac{1}{2}(\tr F)g](\nu_S)+\tfrac{1}{2}\<h,\Ric_g+\d^* V_g\>g(\nu_S)-
\tfrac{1}{2}\tr(\Ric_g+\d^* V_g)h(\nu_S)
\end{split}\ees
and thus
\bes\begin{split}
&[\d^*V-\tfrac{1}{2}({\rm div}V)g]'_h(\nu_S)\\
&=-[(\Ric-\tfrac{1}{2}Rg)(\nu_S)]'_h+(\Ric-\tfrac{1}{2}Rg)((\nu_S)'_h)\\
&+[F-\tfrac{1}{2}(\tr F)g](\nu_S)+\tfrac{1}{2}\<h,\Ric_g+\d^* V_g\>g(\nu_S)-
\tfrac{1}{2}\tr(\Ric_g+\d^* V_g)h(\nu_S)
\end{split}\ees
on $S$.
By the constraint equations \eqref{Gauss}-\eqref{GC}, $[(\Ric-\tfrac{1}{2}Rg)(\nu_S)]'_h$ is given by
\bes
\big(-\tfrac{1}{2}[|K_S|^2-(\tr_{g_S}K_S)^2+R_S]'_{(h_S,K'_h)_S},~[{\rm div}_{g_S}K_S-d_S(\tr_{g_S}K_S)]'_{(h_S,K'_h)_S}\big).
\ees
Thus the target data in $T(\cT^H)$ uniquely determine the vector field
\bes
[\d^*V'_h](\nu_S)-\tfrac{1}{2}({\rm div}V'_h)g(\nu_S),
\ees
along $S$. Since the initial data of $V'_h$ is already determined, this uniquely determines the vector field
\be
\nabla_{\nu_S} V'_h \ \ {\rm along} \ \ S.
\ee
\end{proof}
For later purposes in \S 4, we split the vector field $V'_h$ into two components,
\be \label{VW}
V'_h = V'_F + W'_h.
\ee
Let $V'_F=V'_F(\cT^H)$ be the vector field satisfying
\be\label{V'F}
-\tfrac{1}{2}[\Box V'_F+\Ric(V'_F)]{ + \tfrac{1}{2}\nabla_V V'_F} = \b_g F \mbox{ in }U,
\ee
with $(V'_F)|_S = (V'_h)|_S$, $(\p_t V'_F)|_S = (\p_t V'_h)|_S$ along $S$ and $(V'_F)|_{\cC} = V'_h|_{\cC}$ along $\cC$. Then
$V'_F$ is uniquely determined by the target space data given in $T(\cT^H)$, and so is independent of $h$.
Thus the vector field $W'_h$ satisfies
\be \label{W'h}
-\tfrac{1}{2}[\Box W'_h+\Ric(W'_h)]{ + \tfrac{1}{2}\nabla_V W'_h} = \b'_h \Ric_g + O_{1,2}(V, h),
\ee
with $W'_h |_S = \p_t W'_h |_S = W'_h |_{\cC} = 0$. Note that the right hand side of \eqref{W'h} has all coefficients of order $O(\e)$ in
the localized setting of \S 2.1. In contrast to the component $V'_F$, $W'_h$ does depend on $h$ through the right-hand term in \eqref{W'h}.
Note however that $W'_h = 0$ always on-shell, i.e.~for $\Ric_g = V_g = 0$.
\begin{remark}\label{goodg}
{\rm Lemma \ref{Gauge-lemma} implies the standard result that solutions of the gauge-reduced Einstein equations
$$\Ric_g + \d^*V = 0,$$
with target data $V = 0$ at $S\cup \cC$ satisfy $V = 0$ on $M$, and so are solutions of the vacuum Einstein equations
$$\Ric_g = 0$$
on $M$. A similar result holds locally, under the compact support conditions as discussed in \S 2.1.
In the case that $\Ric_g = V = 0$, by Lemma \ref{Gauge-lemma2} the same result and proof as above holds for the linearized gauge
$V'_h$.
Similarly, we note that any metric $g$ can locally be brought into harmonic gauge by means of a diffeomorphism
$\f \in \Diff_0(\w U)$. To see this, given $g$ and an adapted local chart $x^{\a}$ for $g$, let $y^{\a}$ be harmonic or wave coordinates with
the same initial and boundary data as the given coordinates $x^{\a}$,
\be \label{ya}
\Box_g y^{\a} = 0.
\ee
Since Dirichlet data are well-posed for the scalar wave equation, \eqref{ya} has a unique solution. The coordinate change
$y^{\a} = y^{\a}(x^{\b})$ defines a diffeomorphism $\f \in \Diff_0(\w U)$. Setting $\w g = \f^*g$, one has
$$\Box_{\w g}x^{\a} = \Box_g y^{\a} = 0.$$
The same result holds in the linearized setting.
}
\end{remark}
\subsection{Boundary equations.}
The geometric boundary data for $h$ on $\cC$ are given by
$$(\ring{h}, H'_h),$$
where $\ring{h}$ denotes the variation of the conformal class $[g_{\cC}]$ and $H'_h$ is the variation of the mean curvature $H_{\cC} := H_g$ of $\cC$ in
$(M, g)$. Let $h^{\tT}$ denote the restriction of $h$ to $\cC$, so $h^{\tT}$ gives the variation of the boundary metric $g_{\cC}$. Then $\ring{h}$
will be identified with the trace-free part of $h^{\tT}$, so
$$\tr_{g_{\cC}}\ring{h} = 0,$$
giving $h^{\tT} = \ring{h} + (\frac{1}{n}\tr_{g_{\cC}}h^{\tT}) g_{\cC}$.
While $\ring{h}$ represents Dirichlet boundary data, $H'_h$ represents Neumann or a Dirichlet-Neumann mixture of Cauchy data at $\cC$.
The undetermined Dirichlet data for $h$ at $\cC$ are thus the terms
\be \label{uh}
u = \tfrac{1}{n}\tr_{\cC}h \ \ {\rm and} \ \ h(\nu_{\cC}, \cdot),
\ee
corresponding to the variation of the conformal factor and the variation of the normal vector $\nu_{\cC}$ at $\cC$ respectively.
We note that the pair
\be \label{conj}
(u, H'_h),
\ee
or their non-linear analogs $(\f, H)$ for $\f$ as in \eqref{fconf} are a canonical conjugate pair (up to a multiplicative constant) for the
Einstein-Hilbert action with a natural boundary action, cf.~\eqref{EH} below. The term $h(\nu_{\cC}, \cdot)$ is gauge dependent, so should
naturally be determined, or at least depend on the choice of gauge boundary condition at $\cC$.
By definition,
$$\nu_{\cC} = \frac{1}{|\nabla x^1|}\nabla x^1 = \frac{1}{|\nabla x^1|}g^{\a1}\p_{\a}.$$
In the localized setting of \S 2.1, $\nu_{\cC}$ is close to its Minkowski corner value, given by \eqref{normals}. Since throughout this subsection we
work only along the boundary $\cC$, we often denote $\nu_{\cC}$ simply by $\nu$. Thus, we write
$$h(\nu, \cdot) = h(\nu)^{\tT} + h_{\nu \nu}\nu.$$
We will be careful to avoid any confusion with $\nu = \nu_S$ along $S$.
\medskip
In this subsection, we derive evolution equations for these remaining components
$$u, h(\nu)^{\tT}, h_{\nu \nu}$$
along $\cC$.
The Dirichlet boundary data for $u$ will be determined by using the Gauss equation or Hamiltonian constraint \eqref{Gauss} along $\cC$ to
derive a wave equation for $u$ along $\cC$. This may be uniquely solved given initial data $u|_{\Si}$ and $\p_t u|_{\Si}$ and given
determination of the other components of $h$ at lower derivative order and with small, $\e$-coefficients in an adapted localization, cf.~\S 2.1.
Similarly, the Dirichlet boundary data for $h(\nu)^T$ are obtained by using the Gauss-Codazzi equation or momentum constraint \eqref{GC}
along $\cC$ to derive a wave equation for $h(\nu)^T$ of a similar - but more complicated - type; see however Remark \ref{GCG} for an alternate
approach. The remaining component $h_{\nu \nu}$ also satisfies a transport equation along $\cC$, which may again be uniquely solved
given again determination of the other components of $h$ at lower derivative order and with $\e$-small coefficients.
These equations are derived in the following three Lemmas. For the notation below, $Y$ denotes terms which depend only on the target
data given in $\cT^H$, while $E$ denotes terms which depend on $h$ and its first derivatives (including the normal derivative) along $\cC$, but with
coefficients which are $\e$-small in a localization near a standard Minkowski corner. Recall also from \eqref{VW} that the gauge variation
$V'_h$ is split into a sum $V'_h = V'_F + W'_h$, where $V'_F$ is globally uniquely defined on $\w U$ or $M$ just by target data in $T(\cT^H)$
(and thus does not depend per se on $h$). The dependence of $V'_h$ on $h$ outside the target data is given by $W'_h$.
For notation, we recall that $A = A_{\cC}$ denotes the second fundamental form of the boundary $\cC$ in $(M, g)$. We denote geometric objects
depending on the boundary metric $g_{\cC}$ with a subscript $\cC$, e.g.~$\Box_{\cC}$, etc.
\begin{lemma}\label{u}
The function $u$ satisfies the wave equation
\be \label{uC}
-\tfrac{n-1}{n}\Box_\cC u-\tfrac{1}{n}R_\cC u = Y(\cT) + E(h),
\ee
along the boundary $\cC$, where
\bes\begin{split}
Y(\cT)&=-R'_{\ring{h}} +\tr_g(F-\d^* V'_F)-2(F-\d^* V'_F)(\nu,\nu),\\
E(h)&= -2\<A'_h, A\> + 2H_{\cC}H'_h + 2\<A\circ A ,h\> - \tr_g [\d^*(W'_h)-(\d^*)'_h V]{ +}2[\d^*(W'_h){ +}(\d^*)'_h V](\nu,\nu)\\
&\quad-4\Ric(\nu,\nu'_h) - \<\Ric, h\>.
\end{split}\ees
Moreover, the initial data $u$ and $\p_t u$ for $u$ at the initial surface $\Si$ are determined by initial, boundary and corner data
in $T(\cT^H)$. In particular, $\p_t u$ is determined at $\Si$ by the linearization of \eqref{velocity}, where the corner angle variation
$\a'_h$ appears explicitly.
\end{lemma}
\begin{proof}
The linearization of the Gauss equation \eqref{Gauss} for the hypersurface $\cC$ gives:
\bes
2\<A'_h, A\>{ -2\<A\circ A, h\>}-2H_\cC H'_h + R'_{h^{\tT}}=R'_h-2\Ric'_h(\nu,\nu)-4\Ric(\nu,\nu'_h)
\ees
Note that
\bes
R'_{h^{\tT}}=R'_{\tfrac{1}{n}ug_{\cC}}+R'_{\ring{h}}=-\Box_\cC u+\d_\cC\d_\cC(\tfrac{1}{n}ug_\cC)-\<\Ric_\cC,\tfrac{1}{n}ug_\cC\> + R'_{\ring{h}}=
-\tfrac{n-1}{n}\Box_\cC u-\tfrac{1}{n}R_\cC u+R'_{\ring{h}}
\ees
So we obtain:
\bes
-\tfrac{n-1}{n}\Box_\cC u-\tfrac{1}{n}R_\cC u=-R'_{\ring{h}}-2\<A'_h, A\>{ +2\<A\circ A,h\>}+2H_\cC H'_h+R'_h-2\Ric'_h(\nu,\nu)-4\Ric(\nu,\nu'_h).
\ees
Also $R'_h=\tr \Ric'_h-\<h,\Ric\>$ and $\Ric'_h=F-\d^* V'_h-(\d^*)'_h V=F-\d^* V'_F{ -}\d^*(W'_h)-(\d^*)'_h V$.
Thus
\bes\begin{split}
&-\tfrac{n-1}{n}\Box_\cC u-\tfrac{1}{n}R_\cC u\\
&=-R'_{\ring{h}} + \tr(F - \d^* V'_F)-2(F - \d^* V'_F)(\nu,\nu)\\
&\quad-2\<A'_h, A\> + 2H_{\cC}H'_h +2\<A\circ A,h\>- \tr [\d^*(W'_h)+(\d^*)'_h V] + 2[\d^*(W'_h) + (\d^*)'_h V](\nu,\nu) \\
&\quad - 4\Ric(\nu,\nu'_h) - \<h, \Ric\>,\\
\end{split}\ees
which proves the first statement.
From the discussion in \S 2, cf.~Lemma \ref{corner} we note $u$ and $\p_t u$ at $\Si$ are determined by the target data for
$(h_S, K'_h)_S, (\ring{h})_{\cC}, (\a'_h)_{\Si}$ in $T(\cT) \subset T(\cT^H)$.
\end{proof}
Next we have the following wave equation for $h(\nu)^\intercal$ along $\cC$.
\begin{lemma}\label{hnu}
The tangential vector field $h(\nu)^\intercal$ satisfies the wave equation
\be\label{hnuC}
-\tfrac{1}{2}[\Box_\cC+\Ric_\cC]h(\nu)^\intercal=\hat Y(\cT)+\hat Z(h^\intercal) + \hat E(h),
\ee
along $\cC$, where
\bes\begin{split}
&\hat Y(\cT)= { \tfrac{1}{2}dH'_h} + (F-\d^* V'_F)(\nu) \\
&\hat Z(h^\intercal) = \tfrac{1}{2}\nabla_\nu (\b_\cC h^\intercal)\\
&\hat E(h)=
\b'_{h^\intercal}A - [\d^*(W'_h) + (\d^*)'_h V](\nu)+\Ric(\nu'_h)-\tfrac{1}{2}[A(\b_\cC h^{\tT})+\b'_{2A}h^{\tT}+\b_\cC\big(h_{\nu \nu}A\big)].
\end{split}\ees
Moreover, the initial data $h(\nu)^\intercal$ and $\p_t h(\nu)^\intercal$ for $h(\nu)^\intercal$ at the initial surface $\Si$ are determined by
initial, boundary and corner data in $T(\cT^H)$.
\end{lemma}
\begin{proof}
The variation of the second fundamental form $A_{\cC} := A = \frac{1}{2}\cL_{\nu}g$ along $\cC$ is given by
\be \label{A'}
(A'_h)^T = \tfrac{1}{2}(\cL_\nu h)^T -\d_\cC^*{h(\nu)^{\tT}}-\tfrac{1}{2}h_{\nu \nu}A,
\ee
so that
\be
\b_\cC A'_h=\tfrac{1}{2}\b_\cC(\cL_\nu h)^{\tT}-\b_\cC\d_\cC^*{h(\nu)^{\tT}}-\tfrac{1}{2}\b_\cC[h_{\nu \nu}A].
\ee
The linearization of the Gauss-Codazzi equation \eqref{GC}, $\b_\cC A+\tfrac{1}{2}dH_\cC=-\Ric(\nu)$, gives
\bes
\b_\cC A'_h=-\b'_{h^{\tT}}A -\tfrac{1}{2}dH'_h-\Ric'_h(\nu)-\Ric(\nu'_h).
\ees
In addition, we also have
\bes\begin{split}
\b_\cC(\cL_\nu h)^{\tT}&=\cL_\nu (\b_\cC h^{\tT})-\b'_{2A}h^{\tT}=\nabla_\nu (\b_\cC h^{\tT})-\nabla_{(\b_\cC h^{\tT})}\nu-\b'_{2A}h^{\tT}\\
&=\nabla_\nu (\b_\cC h^{\tT})-A(\b_\cC h^{\tT})-\b'_{2A}h^{\tT}.
\end{split}\ees
In summary, we have
\bes\begin{split}
&-\tfrac{1}{2}[\Box_\cC+\Ric_\cC]h(\nu)^{\tT}\\ &=\b_\cC\d_\cC^*{h(\nu)^{\tT}}\\
&=-\b_\cC A'_h+\tfrac{1}{2}\b_\cC(\cL_\nu h)^{\tT}-\tfrac{1}{2}\b_\cC[h_{\nu \nu}A]\\
&=\b'_{h^{\tT}}A + \tfrac{1}{2}dH'_h+\Ric'_h(\nu)+\Ric(\nu'_h)+\tfrac{1}{2}[\nabla_\nu (\b_\cC h^{\tT})-A(\b_\cC h^{\tT}) -
\b'_{2A}h^{\tT}]-\tfrac{1}{2}\b_\cC[h_{\nu \nu}A]\\
&= { \tfrac{1}{2}dH'_h}+(F-\d^* V'_F)(\nu)+\tfrac{1}{2}\nabla_\nu (\b_\cC h^{\tT})\\
&\quad +\b'_{h^{\tT}}A-[\d^*(W'_h)+(\d^*)'_h V](\nu)+ \Ric(\nu'_h)-\tfrac{1}{2}[A(\b_\cC h^{\tT})+\b'_{2A}h^{\tT}+\b_\cC\big(h_{\nu \nu}A\big)].
\end{split}\ees
This proves the first statement.
By Lemma \ref{hS}, the initial data $h(\nu)^{\tT}$ and $\p_t h(\nu)^{\tT}$ are determined at $\Si$ by the target data in $T(\cT^H)$, which
completes the proof.
Although not necessary, it is useful to determine whether this initial data is determined geometrically, without the choice of gauge, as is the case
with $u$ in Lemma \ref{u}. To examine this, first note that $h(\nu)^{\tT}$ and $\p_t h(\nu,e_A)$ are determined at $\Si$ by the target data in $T(\cT)$,
cf.~Lemma \ref{corner}. It remains then to show the same for $\p_t h(\nu, T^{\cC})$. For this term, the linearization of the mean curvature, (cf.~\eqref{A'})
gives
\bes
H'_\cC=\tfrac{1}{2}\nu(\tr_\cC h)-{\rm div}_\cC h(\nu)^{\tT} -\tfrac{1}{2}h_{\nu \nu}H_\cC.
\ees
The terms $\nu(\tr_{\Si}h)$ and ${\rm div}_{\Si}h(\nu)^{\Si}$ as well as the last term are determined as in Lemma \ref{corner}. Since $H'_{\cC}$ is
target data, it follows that $\p_t h(\nu, T^\cC)$ is determined by the Neumann data $\nu(u)$ or $\nu(g_{00})$. Apriori, this is not determined until
the bulk equation on $M$ or $\w U$ is solved for $u$ or $g_{00}$.
\end{proof}
Note that $h(\nu)^{\tT}$ depends on the bulk solution $h^{\tT}$, through the Neumann derivative in $\hat Z(h^{\tT})$. Upon localization,
this term is not small.
\begin{remark}\label{GCG}
{\rm We note that the evolution equations \eqref{uC} and \eqref{hnuC} for $u$ and $h(\nu)^{\tT}$ can also be derived from the gauge equations for
$V'_h$ at the boundary $\cC$. To see this, recall that $V'_h = \b h - \<D^2 x^{\a}, h\>\p_{x^{\a}}$. Splitting into tangential and normal components, straightforward computation gives
\be \label{4}
(\b h)^{\tT} = - \nabla_{\nu}h(\nu)^{\tT} + \d_{\cC}\ring{h} + \tfrac{1}{2}d_{\cC}((1 - \tfrac{2}{n})u + h_{\nu \nu}) - (A + H_{\cC}g_{\cC})h(\nu)^{\tT},
\ee
\be \label{5}
\b h(\nu) = -\tfrac{1}{2}\nu(h_{\nu \nu}) + H'_h - h_{\nu \nu}H_{\cC} + \<A, h^{\tT}\>.
\ee
These formulas hold both at the boundary $\cC$ and in a neighborhood of $\cC$.
Take the normal derivative $\nabla_{\nu}$ of \eqref{4} and use the facts that
$$\nabla_{\nu}\nabla_{\nu} h(\nu)^{\tT} = \Box_g h(\nu)^T - \Box_{\cC}h(\nu)^T + P'(\p h)$$ and
$$-\tfrac{1}{2}\Box_g h(\nu)^{\tT} + P(\p h) = F(h(\nu)^{\tT}),$$
for $P, P'$ terms of the form in \eqref{L2}. Taking the tangential derivative $d_{\cC}$ of \eqref{5} and inserting this into the equations above
then leads to the expression \eqref{hnuC}. Similarly, taking the divergence $\d_{\cC}$ of \eqref{4} and the normal derivative $\nu$
of \eqref{5}, analogous computations give \eqref{uC}.
Thus imposing the Hamiltonian and momentum constraints along $\cC$ follows by imposing Dirichlet boundary data for the
harmonic gauge.
}
\end{remark}
Lastly, we have
\begin{lemma}\label{h11}
The normal term $h_{\nu \nu}$ satisfies the equation
\be\label{hnunuC}
\tfrac{1}{2}T^\cC(h_{\nu \nu})=\w Y(F) + \w Z(h^\intercal, h(\nu)^\intercal) + \w E(h),
\ee
where
\bes\begin{split}
&\w Y(\cT)=V'_F(T^\cC),\\
&\w Z(h^\intercal, h(\nu)^\intercal) = -\b_\cC h^{\tT}(T^\cC)+h(T^\cC,\nu)H_{\cC}+\<h(\nu)^{\tT},A(T^\cC)\>+\<\nabla_\nu h(\nu)^{\tT}, T^\cC\> -
h^{\tT}(T^\cC, \nabla_{\nu}\nu),\\
&\w E(h)=[W'_h+\<h,D^2 x^\a\>\p_\a](T^\cC).
\end{split}\ees
The initial data for $h_{\nu \nu}$ on $\Si$ is determined by the target data in $T(\cT^H)$.
\end{lemma}
\begin{proof}
Using the definition of the Bianchi operator and expanding it into tangential and normal components along $\cC$ gives
\bes
\begin{split}
\b h(T^\cC)
&=\b_\cC h^{\tT}(T^\cC)-h(T^\cC,\nu)H_{\cC}-\<h(\nu)^{\tT},A(T^\cC)\>-\<\nabla_\nu h(\nu)^{\tT}, T^{\cC}\> + h^{\tT}(T^\cC,\nabla_\nu\nu) +
\tfrac{1}{2}T^\cC(h_{\nu \nu})\\
\end{split}
\ees
Then \eqref{hnunuC} follows directly from the expression $\b h=V'_F + W'_h + \<h,D^2 x^\a\>\p_\a$. The second statement is clear by definition.
\end{proof}
This concludes the derivation of the boundary equations of the components $u$ and $h_{\nu \a}$. We next discuss their solvability.
\begin{remark}\label{solve}
{\rm
The Cauchy problem is well-posed for the linear wave equations \eqref{uC}, \eqref{hnuC} and transport equation \eqref{hnunuC} along $\cC$.
Also the initial data for $u, h(\nu)^{\tT}$ and $h_{\nu \nu}$ are determined by the target data in $T(\cT^H)$. Hence these equations have unique
solutions, either globally on $\cC$ or in localizations as in \S 2.1, provided one fixes the $E$ and $Z$ terms on the right hand side of the
equations \eqref{uC}, \eqref{hnuC}, \eqref{hnunuC}; the $Y$ terms are determined by the target data in $T(\cT^H)$. We note that the
$Z$ terms have a natural triangular structure, from $Z = 0$ to $\hat Z$ to $\w Z$.
In the work to follow in \S 4, we will work with these equations in the localized setting of \S 2.1, with data of compact support in $\w U$ as
described in \S 2.1. In this case, all the $E$ terms have coefficients of $h$ which are $O(\e)$.
The Dirichlet boundary data along $\cC$ for each of the components $\ring{h}, u, h(\nu)^{\tT}$ and $h_{\nu \nu}$ of $h$ constructed above will be
extended into the bulk $\w U$ via the coordinates $(t, x^i)$. In these coordinates, the components are then chosen to satisfy the linear system
\eqref{L2} of scalar wave equations. For the normal components $h(\nu, \cdot) = h(\frac{g^{1\a}}{|\nabla x^1|}\p_{\a}, \cdot)$, this requires a
minor modification, in that we solve the modified system
\be \label{modlinear}
-\tfrac{1}{2}\Box_g(\frac{g^{1\a}}{|\nabla x^1|}h(\p_{\a}, \cdot)) + P_{\nu \a}(\p h) = F_{\nu \a}.
\ee
The target data in $T(\cT^H)$ are extended to $\w U$ as discussed in \S 2.1.
It is standard that such linear systems of wave equations have a well-posed IBVP for Dirichlet boundary data; in fact one has natural Sobolev
$H^s$ energy estimates for solutions of such Dirichlet boundary value problems, cf.~\cite{BS}; see also Remark \ref{derivloss} for further
discussion.
Such wave equations are also have unique solutions for Neumann boundary data, but with a loss of derivative, cf.~\cite{T} for example, and
so there is no effective $H^s$ estimate. This loss of derivative is a severe complicating factor when working in $H^s$ spaces, $s$ finite. This is
the main reason for working in $C^{\infty}$.
}
\end{remark}
\section{Linear Analysis II}
In this section, we prove the local version of Theorem \ref{ThmI}, i.e.~the existence and uniqueness of localized solutions to the equation $L(h) = F$
with given target data in $C^{\infty}$. In \S 5, such solutions will then be glued together to prove the more global Theorem \ref{ThmI} and the other
results in \S 1.
\subsection{Existence}
In this subsection, we prove a localized surjectivity result for $D_g\Phi^H$. Throughout the following, we work in the localized setting of
\S 2.1. All target data in $T(\cT^H)$ will be assumed to have compact support in $\w U$ in the sense of \S 2.1.
Recall that a general element in the target $T(\cT^H)$ is given by
$$\tau' = \big(F,(\g',\k',\nu',V'_S)_S,(\s',\ell',V'_\cC)_\cC,(\a')_\Si\big)$$
and that
$$D\Phi_g^H(h) = \big( (\Ric_g + \d_g^*V_g)'_h, (h_S,K'_h,\nu'_h,V'_h)_S, (\ring{h},H'_h,V'_h)_\cC, (\a'_h)_\Si\big).$$
We point out that the following result holds for general local metrics $g$ near a Minkowski corner $g_{\a_0}$, not only vacuum Einstein metrics.
\begin{theorem}\label{exist}
There exists $\e > 0$ such that, for any metric $g$ on $\w U$ which is $C^{\infty}$ close to a standard Minkowski corner metric $g_{\a_0}$
as in \eqref{eps}, the linearization $D\Phi^H$ at $g$ satisfies: given any $C^{\infty}$ target data $\tau' \in T(\cT^H)$ on $\w U$, there exists a variation
$h \in T_g Met(\w U)$, such that
$$D\Phi_g^H(h) = \tau'.$$
Thus, the equation
\be \label{LhF}
L(h) = F,
\ee
has a $C^{\infty}$ solution $h$ such that
\be \label{c1}
(g_S, K_S)'_h = (\g', \k'), (\nu_S)'_h = \nu', V'_h=V_S' \ \mbox{ on }S,
\ee
\be \label{c2}
[g(\nu_S,\nu_\cC)]'_h := \a'_h = \a' \mbox{ on }\Si,
\ee
and
\be \label{c3}
([g_\cC], H_g)'_h := (\ring{h}, H'_h) = (\s', \ell'), \ V'_h = V'_{\cC} \ \mbox{ on }\cC.
\ee
Further $h$ depends smoothly on this data.
\end{theorem}
\begin{proof}
The proof of Theorem 4.1 is straightforward and direct when $g$ is exactly a Minkowski corner. However, for general $g$ near $g_{\a_0}$
the lower order coupling term $P(\p h)$ in \eqref{L2} makes a direct analysis much more difficult. Thus, we use an iteration procedure to solve
\eqref{LhF}, by constructing a sequence of approximate solutions converging in $C^{\infty}$ to a $C^{\infty}$ solution. The steps in the
iteration are described below.
\medskip
0. Solve the wave equations \eqref{uC}, \eqref{hnuC} and the transport equation \eqref{hnunuC} along $\cC$ for $u$, $h(\nu)^{\tT}$ and
$h_{\nu \nu}$ respectively, with all $E$ and $Z$ terms set to $0$:
\be \label{EZ0}
E(h) = \hat Z(h^\intercal) = \hat E(h) = \w Z(h^\intercal, h(\nu)^\intercal) = \w E(h) = 0.
\ee
Thus we solve these equations along $\cC$ as described in Remark \ref{solve} with only the inhomogeneous terms $Y(\cT), \hat Y(\cT)$, $\w Y(\cT)$
present: these are fixed by the target data $F, V'_F, (\s',\ell',V'_{\cC})_{\cC}$ in $T(\cT^H)$. Recall also from \S 3.2 that the initial conditions both
for $u$, $h(\nu)^{\tT}$ and $h_{\nu \nu}$, as well as the initial conditions for the gauge variation $V'_F$, are determined solely by the target data in
$T(\cT^H)$. The solutions $u$, $h(\nu, \cdot)$ of these equations, when combined with the given data $\ring{h}=\s$, then give full Dirichlet boundary
data $h_{\a\b}$ for $h:=h_0$ along $\cC$. (Note that all components of the Neumann derivative of $h$ are contained in the $Z$ and $E$ terms).
Let $h_0$ be the unique solution to
\be \label{h0}
-\tfrac{1}{2}\Box_g h_0 = F \ \ {\rm in} \ \ \w U,
\ee
so that $L(h_0) = F + P(h_0)$ as in \eqref{L2}, with Dirichlet boundary data given as above and with initial data $h_0, \p_t h_0$ on $S$ given
by the target initial data $(\g', \k', \nu', V_S')_S, (\a')_{\Si}$, as in Lemma \ref{hS}. Note that the norm or size of $h_0$ is bounded by the norm
or size of the target data in $T(\cT^H)$.
Having constructed $h_0$ in this way, let $V'_0$ be the solution to the gauge field equation \eqref{V'} determined by the given target data and by
$h_0$. Thus, $V'_0 := V'_F + W'_{h_0} + X'_{h_0}$ where $V'_F$ and $W'_{h_0}$ are given as in \eqref{V'F} and \eqref{W'h} respectively. The
correction term $X'_{h_0}$, which comes only from the difference $P$ of $L$ in \eqref{L2} and $-\frac{1}{2}\Box_g$ in \eqref{h0}, is the solution
to \eqref{W'h} with zero initial and boundary data and with right hand side of \eqref{W'h} replaced by the term $P(h_0)$.
(We do not assert here that $V'_0 = V'_{h_0}$; this will be discussed at the end of the iteration process).
1. We pass from $h_0$ to $h_1$ as follows. The $u$ term and the $\ring{h}$ term from $h_0$ remain unchanged, so that $u_{h_1} = u_{h_0}$
and thus $h_1^{\tT} = h_0^{\tT}$ on $\cC$ and on $\w U$. We then solve the wave equation \eqref{hnuC} along $\cC$ by setting $\hat Y = \hat E = 0$
and with $\hat Z = \hat Z(h_0^{\tT}) = \frac{1}{2}\nabla_{\nu}(\b_{\cC}h^{\tT}_0)$. Let then $\chi(\nu)^\intercal$ denote the solution to
\bes
-\tfrac{1}{2}[\Box_\cC+\Ric_\cC]\chi(\nu)^\intercal=\hat Z(h_0) = \tfrac{1}{2}\nabla_{\nu}(\b_{\cC}h^{\tT}_0) \ \ {\rm on} \ \ \cC,
\ees
with zero initial data on $\Si$. Note that since $\hat Z$ involves the normal or Neumann derivative, $h_0^{\tT}$ must be defined on
$\w U$ and not just on $\cC$; this is of course the case by Step 0.
Similarly, solve the transport equation \eqref{hnunuC} along $\cC$ with $\w Y = \w E = 0$ and with $\w Z = \w Z(h_0^{\tT}, h_0(\nu)^{\tT})$.
Let $\chi_{\nu \nu}$ be the solution to
$$\tfrac{1}{2}T^\cC(\chi_{\nu \nu})=\w Z(h_0^{\tT}, h_0(\nu)^{\tT}) \ \ {\rm on} \ \ \cC,$$
with zero initial data. Let then
$$\chi^{\tT} = 0 \ \ {\rm and} \ \ \chi(\nu, \cdot) = \chi(\nu)^{\tT} + \chi_{\nu \nu}\nu \ \ {\rm on} \ \ \cC.$$
This gives full Dirichlet boundary data for $\chi$ on $\cC$ and so solve the bulk equations
$$-\tfrac{1}{2}\Box_g \chi = - P(h_0),$$
with zero initial data and with the Dirichlet boundary data given above.
We then set $h_1 = h_0 + \chi$. Note this shift by $\chi$ from $h_0$ to $h_1$ is not a small correction apriori. For the gauge term, as above,
we set $V'_1 = V'_0 + V'_{\chi}$. Observe that then $V'_{\chi} = W'_{\chi} + X'_{\chi}$, for $W'_{\chi}$ as in \eqref{W'h} and $X'_{\chi}$
defined as above in Step 0, with $P(h_0)$ replaced by $P(\chi)$.
The next stages are error, so $O(\e)$ adjustments to $h_1$, so we call these now $E$ terms, i.e.~$E_2$, etc. All the boundary
evolution equations below will now be solved with $Y$-terms set to zero, i.e.~the situation opposite to \eqref{EZ0}.
2. Let $u_2$ denote the solution to the wave equation \eqref{uC} along $\cC$ given by
\bes
-\tfrac{n-1}{n}\Box_\cC u_2 - \tfrac{1}{n}R_\cC u_2 = E(h_1) \mbox{ on }\cC,
\ees
with zero initial data on $\Si$ and with the gauge term $W'_h$ given by $W'_{h_1} + X_{h_1}$ and $(\d^*)'_h = (\d^*)'_{h_1}$ in the $E$ term of
\eqref{uC}. We recall that since $h_1$ is bounded in $C^{\infty}$ norm by the $C^{\infty}$ norm of its target data, we have, as noted in
Remark \ref{solve}, that
$$E(h_1) = O(\e),$$
in $C^{\infty}$. Here $\e$ may be made arbitrarily small by choosing $g$ sufficiently near the Minkowski corner $g_{\a_0}$, as in
\eqref{eps}. It follows from the equation above (by standard energy estimates, cf.~\eqref{enest} below) that
$$u_2 = O(\e),$$
in $C^{\infty}$ on $\cC$.
Next we solve the initial boundary value problem for $E_2^{\tT}$:
\bes
-\tfrac{1}{2}\Box_g (E_2)_{\a\b} = -P_{\a\b}(\chi), \ \a,\b=0,2, \dots, n \mbox{ in }\w U,
\ees
with zero initial data and with Dirichlet boundary data given by $E_2^{\tT}=\tfrac{1}{n}u_2g^{\tT}$ on $\cC$.
This gives $E_2^{\tT}$ on $\w U$. Note again that $E_2^{\tT} = O(\e)$.
Having then uniquely solved for $E_2^{\tT}$ in the bulk $\w U$, we then solve \eqref{hnuC} as
\bes
-\tfrac{1}{2}[\Box_\cC+\Ric_\cC]E_2(\nu)^\intercal=\hat Z(E^{\tT}_2) + \hat E(h_1) \mbox{ on }\cC,
\ees
with zero initial data on $\Si$
With this Dirichlet boundary value for $E_2(\nu)^{\tT}$, we solve the initial boundary value problem for $E_2(\nu)^{\tT}$ in the bulk:
\bes
-\tfrac{1}{2}\Box_g E_2(\nu)_\a = -P_{\nu \a}(\chi)\ \a=0,2,\dots, n \mbox{ in }\w U,
\ees
with zero initial data on $S$ and boundary value $E_2(\nu)^{\tT}$ on $\cC$, cf.~also \eqref{modlinear}, since $\nu \neq \p_1$. This
uniquely determines $E_2(\nu)^{\tT}$ in $\w U$ again with $E_2(\nu)^{\tT} = O(\e)$.
Lastly we solve \eqref{hnunuC} as an ODE for $(E_2)_{\nu \nu}$ along $\cC$:
\bes
\tfrac{1}{2}T^\cC((E_2)_{\nu \nu})=\w Z(E_2^{\tT}, E_2(\nu)^{\tT}) + \w E(h_1) \mbox{ on }\cC,
\ees
with zero initial data on $\Si$. The gauge term $W'_h$ in $\w E(h_1)$ are given in the same way as above.
Using this as the boundary data, we solve in the bulk
\bes
-\tfrac{1}{2}\Box (E_2)_{\nu \nu} =-P_{\nu \nu}(\chi) \mbox{ in }\w U,
\ees
with zero initial data on $S$ and boundary value $(E_2)_{\nu \nu}$ on $\cC$. This uniquely determines $(E_2)_{\nu \nu}$ on $\w U$ with
$(E_2)_{\nu \nu} = O(\e)$.
In sum, $E_2$ has been defined on $\w U$ as the unique solution to
$$-\tfrac{1}{2}\Box_g E_2 = -P(\chi),$$
with zero initial data and with Dirichlet boundary data determined by $h_1$. Note that
$$E_2 = O(\e),$$
in $C^{\infty}$.
Let $h_2 = h_1 + E_2 = h_0 + \chi + E_2$. Similarly, define $V_2' = V_0' + W'_{\chi + E_2} + X'_{\chi + E_2}$.
3. Next, as above, let $h_3 = h_2 + E_3$, where $E_3$ solves
$$-\tfrac{1}{2}\Box_g E_3 = -P(E_2) = O(\e^2),$$
with zero initial data and with Dirichlet boundary data for $E_3^{\tT}$, $E_3(\nu)^{\tT}$ and $(E_3)_{\nu \nu}$ determined in the same way as above in
Step 2, with $E_3$ in place of $E_2$ and $E_2$ in place of $h_1$. Then
$$E_3 = O(\e^2),$$
in $C^{\infty}$. Similarly, $V_3' = V_2' + W'_{E_3} + X_{E_3}$.
Continuing inductively in this way, we obtain
$$E_m = O(\e^{m-1}),$$
in $C^{\infty}$ and hence the sequence $h_k = h_1 + \sum_2^k E_i$ converges to a limit $\bar h \in C^{\infty}$. By construction we have
$$-\tfrac{1}{2}\Box_g(h_0 + \chi + \sum E_i) = F - P(h_0 + \chi + \sum E_i),$$
so that
$$L(\bar h) = F.$$
Hence $\bar h$ solves \eqref{L}. Similarly, the sequence $\{V_i'\}$ converges in $C^{\infty}$ to a limit $\bar V'$. It remains to show that
the constructed data $(\bar h, \bar V)$ satisfies the conditions \eqref{c1}-\eqref{c3}.
By construction, it is easy to see that $\bar h$ satisfies \eqref{c1} as well as $[g_{\cC}]'_{\bar h} = \s'$ in \eqref{c3}. It remains then to show that
\be \label{rest}
V'_{\bar h} |_{\cC} = V'_{\cC}, \ H'_{\bar h} = \ell', \ {\rm and} \ [g(\nu_S, \nu_{\cC})]'_{\bar h} = \a'.
\ee
Note that, by construction, $V'_{\bar h}$ and $\bar V'$ have the same Cauchy data on $S$. However, while $\bar V' |_{\cC} = V'_{\cC}$ by construction,
this is not obviously the case for $V'_{\bar h}$, since the construction of $\bar h$ does not directly involve the Dirichlet boundary data of $V'_{\bar h}$ at
$\cC$. Similar remarks hold for $H'_{\bar h}$ and $\ell'$.
We begin with the discussion of the gauge fields. Note first that by construction, the limit $\bar V'$ satisfies the bulk equation \eqref{V'}, i.e.
\bes
-\tfrac{1}{2}[\Box_g \bar V'+\Ric_g(\bar V')] + \tfrac{1}{2}\nabla_{V_g}\bar V' = \b F+\b'_{\bar h}\Ric_g+O_{1,2}(V, \bar h).
\ees
Clearly $V'_{\bar h}$ satisfies the same bulk equation as above since $L(h) = F$. Since $V'_{\bar h}$ and $\bar V'$ have the same initial data, so as
in \eqref{rest}, the issue is the boundary data. To address this, from the iterative construction of $\bar u$, it follows by taking limit of equation \eqref{uC} that
\bes\begin{split}
-\tfrac{n-1}{n}\Box_\cC \bar u - \tfrac{1}{n}R_{\cC} \bar u =
&-R'_{\bar h} + \tr(F-\d^*\bar V')-2(F-\d^* \bar V')(\nu,\nu)\\
&-2\<A'_{\bar h}, A\> + 2\<A\circ A, \bar h\> + 2H_\cC H'_{\bar h} + \tr [-(\d^*)'_{\bar h} V] +2[(\d^*)'_{\bar h}V](\nu,\nu)\\
&-4\Ric(\nu,\nu'_{\bar h}) - \<\Ric, \bar h\>,
\end{split}
\ees
along $\cC$. On the other hand, the linearized Hamiltonian constraint implies $V'_{\bar h}$ satisfies the same equation. Thus
\be \label{VH1}
\tr(\d^*\bar V')-2\d^* \bar V'(\nu,\nu) = \tr(\d^* V'_{\bar h}) - 2\d^* V'_{\bar h}(\nu,\nu) \mbox{ on }\cC.
\ee
The same reasoning with the construction of $\bar h(\nu)^{\tT}$ and $\bar h_{\nu \nu}$ implies the following two equations on $\cC$:
\be\label{VH2}
\tfrac{1}{2}d_{\cC}\ell' - \d^*\bar V'(\nu)^{\tT} = \tfrac{1}{2}d_{\cC} H'_{\bar h} - \d^* V'_{\bar h}(\nu)^{\tT},
\ee
and
\be\label{VH3}
\bar V'(T^\cC) = V'_{\bar h}(T^\cC).
\ee
It follows then from the localization property \eqref{eps} that
\be \label{VH4}
(\bar V' - V'_{\bar h})(T^{\cC}) = \e(\bar V' - V'_{\bar h}),
\ee
in $\w U$, where $\e(\bar V' - V'_{\bar h})$ consists of components of $\bar V' - V'_{\bar h}$ with $\e$-coefficients, Substituting this
into the $T^\cC$ direction of \eqref{VH2} gives then
\bes
T^\cC(\ell' - H'_{\bar h}) = T^\cC \<\bar V' - V'_{\bar h}, \nu\> + \e(\bar V' - V'_{\bar h}) \ \mbox{ on }\cC.
\ees
Along the corner $\Si$, $\bar V' = V'_{\bar h}$. To see that $H'_{\bar h} = \ell'$ on $\Si$, consider the expression \eqref{5}. At the corner $\Si$,
all terms in \eqref{5} are determined by the gauge field $\<V'_h, \nu\>$ together with the initial data and their compatibility with boundary data
along $\Si$, cf.~Lemma \ref{corner}. It follows that $\ell$ is determined along $\Si$ by these conditions and hence $H'_h = \ell$ along $\Si$.
By integration along $T^{\cC}$, we then have
\be \label{ellH}
\ell' - H'_{\bar h} = \<\bar V' - V'_{\bar h}, \nu\> + \e(\bar V' - V'_{\bar h}) \ \mbox{ on }\cC.
\ee
Combining the equation above with the $\Si$-tangential components of \eqref{VH2} gives further
\bes
\p_{\nu}((\bar V')^A - (V'_{\bar h})^A) = \e(\bar V' - V'_{\bar h}) \mbox{ on }\cC.
\ees
It then follows from uniqueness of solutions to wave equations with Neumann boundary conditions that
\be \label{SigN}
(\bar V' - V'_{\bar h})^A = \e(\bar V' - V'_{\bar h})
\ee
in $\w U$. Combining \eqref{SigN}, \eqref{VH4} and \eqref{VH1}, it follows that $\bar V' = V'_{\bar h}$ along $\cC$. By \eqref{ellH}, this
gives $H'_{\bar h}=\ell'$.
To conclude, the angle variation satisfies $\a'_{\bar h} = \a'$, since the angle variation is a term in $\p_t \bar u$ on $\Si$ which is part of the
construction of $\bar h$.
Also, the construction of $\bar h$ is clearly smooth in the data $T(\cT^H)$ and in $g$. Setting $\bar h = h$ completes the proof.
\end{proof}
\begin{remark}\label{derivloss}
The iteration process $h_i \to h_{i+1}$ above loses derivatives at each stage, so that while we obtain solutions in $C^{\infty}$ from
$C^{\infty}$ data, we do not obtain solutions in a fixed Banach space $H^s$.
In more detail, each $h_i$ is constructed by solving the local IBVP for the wave equation with given initial data and constructed Dirichlet
boundary data. Thus, each $h_i$ satisfies the usual Sobolev $H^s$ energy estimates
\be \label{enest}
||h||_{H^s(S_t)} \leq C_T[ ||F||_{H^{s-1}(\w U_t)} + ||h||_{H^s(S_0)} + ||\p_t h||_{H^{s-1}(S_0)}+ ||D_h||_{H^s(\cC_t)}],
\ee
where $D_h$ denotes the constructed Dirichlet data. Here $t \in [0,T]$, $S_t$ is the Cauchy surface at time $t$ and $\w U_t$, $\cC_t$ are the
time $t$-sublevel sets of $\w U$ and $\cC$. The constant $C_T$ depends only on $T < \infty$ and the background metric $g$.
However, by the construction in the proof above, the Dirichlet data $D_h$ for $h_{i+1}$ depend on extra derivatives of $h_i$ at $\cC$,
so upon iteration the bound \eqref{enest} only holds with $s$ depending on $i$, with $s \to \infty$ as $i \to \infty$.
On the other hand, if the boundary data $(\ring{h}, H'_h)$ as well as the initial and corner data are controlled in $C^{\infty}$,
then the full Dirichlet boundary data $h |_{\cC} = h_{\a\b} |_{\cC}$ are also controlled in $C^{\infty}$ so that \eqref{enest} does bound $h$
in $C^{\infty}$ in place of $H^s$.
The main reason for this loss-of-derivative behavior is due to the ``bad term" $\hat Z(h^{\tT})$ in \eqref{hnuC}, which involves two derivatives of
$h$, (with no $\e$ coefficient). These difficulties can be handled in case the equations for the components of $h$ are uncoupled - as is the
case at the Minkowski corner. However, for general $g$ or even vacuum $g$, the presence of the coupling term $P$, even if it is small,
makes this much more difficult.
\end{remark}
\subsection{Uniqueness}
The usual proof of uniqueness (as well as existence) of solutions of an IBVP is via energy estimates. However, as noted above, such energy
estimates are not available here and so a different method is needed. The basic idea is to use a self-adjointness property which has previously
been noted in the elliptic (Riemannian) case, cf.~\cite{A1}, \cite{AK}.
For convenience, the uniqueness result is phrased in the global setting where $S$ is a compact Cauchy slice with boundary corner
$\Si$ a compact (codimension two) surface. However, as noted following the proof in Remark \ref{localunique}, the same result holds locally, for compactly
supported data as in \S 2.1.
Let $C^{\infty}_0$ be the space of $C^{\infty}$ deformations $h$ with zero initial, boundary, gauge and corner data, i.e.
\be \label{zero}
\big((h_S,K'_h, (\nu_S)'_h, V'_h)_S, (\ring{h}, H'_h, V'_h)_{\cC}, (\a'_h)_{\Si}\big) = 0.
\ee
We set $S = S_0 = \{t = 0\}$.
\begin{theorem}\label{unique}
Let $g$ be a vacuum Einstein metric, $\Ric_g = 0$ on $M$ as above. Suppose the linearized operator $L$ is surjective on $C^{\infty}_0$, i.e.
for any $F \in C^{\infty}$, the equation
$$L(h) = F,$$
has a solution $h \in C_0^{\infty}$. {\rm (}Compare with Theorem \ref{exist} {\rm )}. Then $L$ has trivial kernel on $C^{\infty}_0$,
\be \label{KerL}
Ker L = 0.
\ee
\end{theorem}
The proof will be carried out in several steps. We first pass to a different gauge, the divergence-free gauge, associated with the Einstein tensor
$$E_g = \Ric_g - \frac{R_g}{2}g.$$
Note that the Bianchi identity gives $\d E = 0$, equivalent to the previously used $\b \Ric = 0$. The reason for passing from $\Ric$ to $E$ is that
$E$ has a natural variational or action principle; namely it arises as the Euler-Lagrange operator for the variation of the Einstein-Hilbert action.
Such variational operators have natural (formal) self-adjoint properties, after taking into account suitable boundary terms. This structure is not
available for the bare Ricci tensor $\Ric$.
To begin, choose any fixed background vacuum metric $\w g$ near $g$ and consider the bulk gauged operator
\be \label{newPhi}
\w \Phi^H(g) = E_g + \d^* \d_{\w g} g.
\ee
The linearization of $\w \Phi^H$ at the background vacuum metric $g = \w g$ in the bulk is given by
\be \label{newlin}
\w L(h) = D \w \Phi^H(h) = \tfrac{1}{2}D^*Dh - Rm(h) - \tfrac{1}{2}D^2 \tr \, h + \tfrac{1}{2}(\Box \tr \, h- \d \d h) g,
\ee
compare with \eqref{L}. Note that the new $\w \Phi^H$ in \eqref{newPhi} depends on a choice of background metric $\w g$. This is not case with
the original operator $\Phi^H$ in \eqref{PhiH}, which instead depends on a (fixed) choice of coordinates $x^{\a}$. The formula \eqref{newlin} changes by
the addition of lower order terms when $g \neq \w g$, so we really have a family of operators $\w L_{\w g}$.
Let $T(\w \cT^H)$ be the linearized target data space $T(\cT^H)$, with the gauge $V'_h$ on $S$ and $\cC$ replaced by the new gauge data $\d h$ on $S$
and $\cC$. Similarly, let $\w C^{\infty}_0$ be the associated space where this target data vanishes, so that \eqref{zero} holds with $\d h = 0$
in place of $V'_h = 0$. Although not needed for the proof, we note that Lemma \ref{Gauge-lemma2} holds as before: if $\Ric_g = 0$ and if
$\w L(h)=F$ satisfies $\d_{\w g}F=0$ in $M$ with $F(\nu_S, \cdot) = 0$ on $S$, then $h\in \w C_0^\infty$ satisfies $\p_t \d h = 0$ on $S$,
and hence $\d h = 0$ on $M$. The proof of this is the same as before.
Now the full boundary $\dm$ of the compact domain $M$ consists of the timelike cylinder $\cC$, the bottom and top Cauchy surfaces $S = S_0$,
$S_1 = \{t = 1\}$ (the value $t = 1$ is for convenience) and the two corners $\Si = \Si_0$, $\Si_1$. We consider pairs of deformations $h$, $k$ with
\be \label{01}
h \in \w C^{\infty}_0 \ \ {\rm and} \ \ k \in \w C^{\infty}_1,
\ee
where $\w C^{\infty}_1$ consists of all deformations $k$ for which the initial, gauge, corner (and boundary) data vanish on the top slice $S_1$
(in place of $S_0$ for $h$).
\begin{proposition}\label{selfad}
For $h \in \w C^{\infty}_0$ and $k \in \w C^{\infty}_1$, we have the formal self-adjoint property
\be \label{selfadj}
\int_M \<\w L(h), k\> dv_g = \int_M \<h, \w L(k)\> dv_g,
\ee
where the pairing is with respect to the Lorentz metric $g$.
\end{proposition}
\begin{proof}
Consider the Lagrangian in 4-dimensions given by, cf.~\cite{A2}, \cite{AA2},
\be \label{EH}
S(g) = \int_M R_g dv_g + \tfrac{2}{3}\int_{\cC}H_{\cC} dv_{\g}.
\ee
The same expression holds in all dimensions with a dimension dependent constant in place of $\frac{2}{3}$. This is a slight modification
of the Einstein-Hilbert action with Gibbons-Hawking-York boundary term (in units where $16\pi G = 1$). The first variation is given by
\bes\begin{split}
D_g S(h) =& -\int_M \<E_g, h\> + \int_{\cC}[\<\ring{\pi}, \ring{h}\> + \tfrac{4}{3}H'_h] + \int_{S_1}\theta(h) - \int_{S_0}\theta(h)\\
&{ +\int_{\Si_1}h(\nu,T^\cC)-\int_{\Si_0}h(\nu,T^\cC)}
\end{split}\ees
Here $\pi = A_{\cC} - H_{\cC}g_{\cC}$ is the conjugate momentum and $\ring{\pi}$ is its trace-free part. The term $\theta$ is the (pre)-symplectic potential
given by $\theta(h) = -\star(d tr_g h - div_g h)$; see e.g.~\cite{HW}, \cite{AA2}. Here and below we drop
the notation for the various volume forms.
The $2^{\rm nd}$ variation is then given by
\be \label{2nd}
\begin{split}
D^2 S_g(h, k) = & -\int_M [\<(E_g)'_k, h\> - 2\<E_g \circ h, k\> + \tfrac{1}{2}\<E_g, h\>\tr k ] \\
&+ \int_{\cC}[ \<(\ring{\pi})'_k, \ring{h}\> - 2\<\ring{\pi} \circ k, \ring{h}\> + \tfrac{4}{3}(H'_h)'_k + \tfrac{1}{2}[\<\ring{\pi}, \ring{h}\> + \tfrac{4}{3}H'_h]\tr_{\cC}k \\
&+ \int_{S_1}(\theta_h)'_k + \tfrac{1}{2}\theta(h)\tr_{S_1}k - \int_{S_0}(\theta_h)'_k + \tfrac{1}{2}\theta(h)\tr_{S_0}k\\
&{ +(\int_{\Si_1}-\int_{\Si_0})h(\nu'_k,T^\cC)+h\big(\nu,(T^\cC)'_k\big)+\tfrac{1}{2}h(\nu,T^\cC)\tr_\Si k}.
\end{split}
\ee
Throughout the following discussion, we work with $h \in \w C^{\infty}_0$, $k \in \w C^{\infty}_1$ as in \eqref{01}. The corner integrals vanish
since $h,k$ have zero initial data. The boundary term over $\cC$ above vanishes on $\w C^{\infty}_0$ and $\w C^{\infty}_1$ - except for the term
$(H'_h)'_k$. Note however that this term is symmetric in $h$ and $k$.
At the top and bottom slices, the difference $D^2 S_g(h, k) - D^2 S(k, h)$ of the two terms is the (pre)-symplectic form $\O(h, k)$ evaluated at the
top and bottom Cauchy slices, cf.~\cite{HW}. Simple computation, cf.~\cite{AA2} for example, shows this is of the form
$$\O_S(h,k) = -\int_S \<K'_h, k\> - \<K'_k, h\> + \tfrac{1}{2}[\tr_S h(\<K_S, k\> + 2(\tr K_S)'_k) - \tr_S k(\<K_S, h\> + 2(\tr K_S)'_h)]. $$
This expression involves only the initial data of $h$ and $k$ at $S$. Since the full initial data of
$h$ vanishes at $S_0$, (since $h \in \w C^{\infty}_0$),
$$\O_{S_0}(h, k) = 0.$$
Similarly since the full initial data of $k$ vanishes at $S_1$, (since $k \in \w C^{\infty}_1$)
$$\O_{S_1}(h, k) = 0.$$
Thus on-shell where $E_g = 0$, by the symmetry of the $2^{\rm nd}$ derivative operator, it follows from \eqref{2nd} that for all
$h \in \w C^{\infty}_0$, $k \in \w C^{\infty}_1$,
$$\int_M \<(E_g)'_k, h\> = \int_M \<(E_g)'_h, k\>.$$
Note this conclusion does not involve any choice of gauge. Since $\w L(h) = E'_h + \d^* \d h$ and since for $h \in \w C^{\infty}_0$,
and $k \in \w C^{\infty}_1$,
$$\int_M \<\d^* \d k, h\> = \int_M \<\d^* \d h, k\>,$$
it follows that
$$\int_M \<\w L(k), h\> = \int_M \<\w L(h), k\>.$$
\end{proof}
We note that the same result and proof holds for Dirichlet boundary data (as well as other types of variational boundary data) with only minor
modifications to the proof.
At this point, we need the following.
\begin{lemma}\label{gshift}
For $\Ric_g = E_g = 0$, suppose the operator $L = L_g$ is surjective on $C^{\infty}_0$. Then the operator $\w L$
(with $\w g = g$) is surjective on $\w C^{\infty}_0$, i.e.~for any $G \in C^{\infty}$
there exists $\w h \in \w C^{\infty}_0$ such that
$$\w L(\w h) = G.$$
Consequently,
\be \label{KwL}
Ker \w L = 0,
\ee
on $\w C^{\infty}_0$.
\end{lemma}
\begin{proof}
The first statement is just a shift in gauge, and so is not particularly surprising. To give the details, observe that
any $G\in C^\infty$ can be decomposed as
\bes
G=G_0+\d^* Y
\ees
where $\d G_0=0$ and $Y$ is the vector field such that $\d\d^* Y=\d G$ in $M$ with vanishing initial and boundary data. Then to solve
$\w L(\w h)=G$, it suffices to solve for $\w h\in\w C^\infty_0$ such that
\be\label{E''}
E'_{\w h}=G_0, \ \d \w h=Y
\ee
By hypothesis, the equation $L(h) = F$ is solvable for any $F \in C^{\infty}$, with $h \in C^{\infty}_0$. In particular, choose $F=G_0-\frac{1}{2}\tr G_0 g$.
It follows from $\d G_0=0$ that $\b F=0$ and hence by Lemma \ref{Gauge-lemma2}, $V'_h = 0$ in $M$. In turn, this implies that $Ric'_h = F$ in
$M$. Since we are working on-shell where $\Ric_g = 0$,
$$E'_h = \Ric'_h - \tfrac{1}{2}\tr \Ric'_h \, g = F - \tfrac{1}{2}\tr F \, g=G_0.$$
Next we transform or shift $h$ by a diffeomorphism $\d^*X$, i.e.~set $\w h = h + \d^*X$, where $X = 0$ on $\cC$, $X = \p_t X = 0$ on
$S$, so that $\d \w h = Y$. Then $\w h$ solves \eqref{E''}, since $E'_{\d^*X} = 0$ on-shell. Since $\w h$ is now in $\w C^{\infty}_0$, this
completes the proof of the first statement.
To prove \eqref{KwL}, suppose $\w L(\w h) = 0$, with $\w h \in \w C^{\infty}_0$. Then by Proposition \ref{selfad},
$$\int_M \<\w L(k), \w h\> = 0,$$
for all $k \in \w C^{\infty}_1$. By the above, the equation $\w L(k) = G$ is solvable for any $G \in C^{\infty}$ with $k \in \w C^{\infty}_1$.
Since the Lorentzian pairing in \eqref{selfad} is non-degenerate, it follows that $\w h = 0$, so that $Ker \w L = 0$.
\end{proof}
We now complete the proof of Theorem \ref{unique}.
\begin{proof}
Naturally, the proof is essentially the reverse of Lemma \ref{gshift}. Thus, to prove \eqref{KerL}, suppose $L(h) = 0$ with $h \in C^{\infty}_0$. Without
loss of generality, we may assume $V_g = 0$ and so by Lemma \ref{Gauge-lemma2}, $V'_h = 0$ and $\Ric'_h = 0$. Choose the vector field $X$ with
$X = \p_t X = 0$ on $S$, $X = 0$ on $\cC$ such that $\w h = h - \d^*X$ satisfies $\w h \in \w C^{\infty}_0$, i.e.~$\d \w h = 0$. Then Lemma \ref{gshift}
above implies that $\w h = 0$, so $h = \d^*X$. It follows that
$$V'_{\d^*X} = 0$$
on $M$. Thus,
\be \label{Xg}
\b \d^*X - \<D^2 x^{\a}, \d^*X\>\p_{x^{\a}} = 0 \ \ {\rm on} \ \ M.
\ee
The second term is first order in $X$ so \eqref{Xg} is a hyperbolic system of wave equations (as in Lemma \ref{Gauge-lemma2}). Since $X = 0$ to
first order on $S$ and $X = 0$ on $\cC$, it follows that $X = 0$ on $M$. Hence $h = 0$ which proves the result. This completes the proof of
Theorem \ref{unique}.
\end{proof}
\begin{remark}\label{localunique}
{\rm Theorem \ref{unique} is phrased globally, but the same proof holds for the localization to domains $U \subset \w U$ close to a standard Minkowski
corner $g_{\a_0}$ as discussed in \S 2.1. Thus, uniqueness also holds for the local problem, provided the target data have compact support
in $\w U$ away from $S\cap U$ and $\cC \cap U$.
}
\end{remark}
\begin{remark}\label{Dirich}
{\rm We note that Theorem \ref{unique} also holds for Dirichlet boundary data $\cB_{Dir}$, as well as other boundary data arising from a Lagrangian,
in place of the conformal-mean curvature boundary data $\cB_C$. The proof is the same, using the usual Gibbons-Hawking-York boundary action.
}
\end{remark}
\section{Proofs of Main Results.}
In this section we complete the proofs of the main results in \S 1.
\medskip
We begin with the proof of Theorem \ref{ThmI}.
\begin{proof}
Given $(M, g)$ as in \S 1, first choose an open cover $\{U_i\}_{i=1}^N$ of the corner $\Si$, where each $U_i$ is small enough so that the local
existence result Theorem \ref{exist} holds for each $U_i$. Additionally, choose an open set $U_0$ in the interior $M\setminus \cC$ such that
$(\cup_{i=1}^N U_i)\cup U_0$ also covers a tubular neighborhood of the initial surface, i.e. $S\times [0,t']$ for some time $t'>0$.
Let $\{\w U_i\}_{i=0}^N$ be a thickening of the cover $\{U_i\}_{i=0}^N$, so that $U_i \subset \w U_i$, as described in \S 2.1. Let
$\rho_i$ be a partition of unity subordinate to the cover $\{\w U_i\}_{i=0}^N$, so that ${\rm supp}\rho_i\subset \w U_i$, $\rho_i = 1$ on
$U_i$ and $\sum_i \rho_i=1$. Let
$$\tau' =\big(F, (\g', \k', \nu', V_S')_S, (\s', \ell',V_{\cC}')_{\cC},(\a')_{\Si})\big),$$
be arbitrary $C^{\infty}$ data in $T(\cT^H)$ on $M$. Then the data $\rho_i \tau'$ has compact support in the sense of \S 2.1 in $\w U_i$
and by Theorem \ref{exist} there exists a solution $h_i$ in $\w U_i$ satisfying
$$D\Phi^H(h_i) = \rho_i \tau'.$$
Moreover, as noted at the end of \S 2.1, by the finite propagation speed property, the solution $h_i$ has compact support in the sense of \S 2.1 for
$t \in [0,t_i]$ for some $t_i > 0$. Thus, $h_i$ extends smoothly as the zero solution on $M_{t_i} \setminus \w U_i$.
Similarly, in the interior region $U_0 \subset \w U_0$, let $h_0$ be the solution to the Cauchy problem
$$L(h_0) = \rho_0 F \ \mbox{ in } \w U_0, \ \ (g_S, K_S, \nu_S, V_g)'_h = \rho_0(\g', \k', \nu', V_S') \ \mbox{ on }S_0.$$
Then again $h_0$ has compact support in $\w U_0$ for some time interval $[0, t_0]$ and as above extends to $M_{t_0}$. We relabel so that
$t_0$ is a common time interval for all $h_i$, $i \geq 0$.
The sum
$$h = \sum_{i=0}^N h_i,$$
is thus well-defined on $M_{t_0}$ and by linearity
$$D\Phi^H(h) = \tau'.$$
By Remark \ref{derivloss}, the constructed $h$ satisfies the estimate
\be \label{enest2}
||h||_{C^{\infty}(S_t)} \leq C[ ||\tau'||_{C^{\infty}},
\ee
for $t \leq t_0$. Here $C$ is a constant $C = C_T$, which depends only on an upper bound for $T < \infty$.
One may now continue the solution $h$ past the time $t_0$ to all $t < \infty$ in the usual way, assuming of course that the background metric
$g$ satisfies this condition. Briefly, let $I_{t_0}$ denote the target initial data of $h$ at the Cauchy slice $\{t=t_0\}$ and form the target data
$\w \tau'$ by replacing the initial data in $\tau'$ with $I_{t_0}$. Then applying Theorem \ref{exist} with initial slice $S_{t_0}$ and using \eqref{enest}
gives the continuation of $h$ to $[0, t_1]$, with $t_1 > t_0 + \mu$, where $\mu$ depends only on the boundary data $b'_h$ on $\cC$.
Assuming then $g$ is defined for all time $t$, since then $b'_h$ is also globally defined on $\cC$ for all $t$, the same holds for $h$.
Next, Theorem \ref{unique} gives the uniqueness of $h$ satisfying \eqref{LhF}. This completes the proof of Theorem 1.1.
\end{proof}
\medskip
We now turn to the proof of Theorem \ref{ThmII}.
\begin{proof}
In passing from $\Phi^H$ to $\hat \Phi$ in \eqref{Phi2}, we are dropping the gauge term $V = V_g$ on $S \cup \cC$. By construction, $\hat \Phi$ maps
into $\cZ$ and so ${\rm Im}D\hat \Phi \subset T(\cZ) \subset T(\hat \cT)$. Recall that $T(\cZ)$ is the subspace of $T(\hat \cT)$ for which the
linearization of the constraint equations \eqref{Gauss}-\eqref{GC} holds on $S$. In the following, we work on-shell, so that $\Ric_g = 0$ and $V = 0$.
First it is easy to see that
$${\rm Im}D\hat \Phi \cap T(\cO_{\Diff_1(M)}) = 0.$$
Namely, for any $h$, $D\hat \Phi(h) = (\Ric'_h, (h_S, K'_h, \nu'_h)_S, (\ring{h}, H'_h)_{\cC}, (\a'_h)_{\Si}) \in T(\hat \cT)$, The group
$\Diff_1(M)$ acts naturally on the target $\hat \cT$ and a general element of the tangent space to the orbit $T(\cO_{\Diff_1(M)})$ has the form
$(\d^*Z, 0, \dots, 0)$. An element of the intersection of these two spaces thus satisfies $\Ric'_h = \d^*Z$, for some $h$ and some
$Z \in T(\Diff_1(M))$. Applying Bianchi operator gives $\b \d^*Z = 0$ and since $Z \in T(\Diff_1(M))$, $Z = 0$ and so $D\hat \Phi(h) = 0$.
Thus the main issue is the spanning property in \eqref{transv}. This derives from the surjectivity of the map $D\Phi^H$ in Theorem 1.1.
Recall that $T(\cT^H)$ consists of arbitrary data
$$\tau'= (F,(\g',\k',\nu',V'_S)_S, (\s',\ell', V'_\cC)_\cC, (\a')_\Si):= (F,(\iota',\nu',V'_S)_S, (b', V'_\cC)_\cC, (\a')_\Si).$$
Here for simplicity, we denote the initial data $(\g',\k')_S$ as $\iota'$ and the boundary data $(\s',\ell')_\cC$ as $b'$. We embed $T(\hat \cT)$ into
$T(\cT^H)$ by setting $V'_S=V'_\cC = 0$, and thus $T(\hat \cT)$ is the subspace of $T(\cT^H)$ given by
$$T(\hat\cT)=\{ (F,(\iota',\nu',0)_S, (b', 0)_\cC, (\a')_\Si)\}.$$
Since $D\Phi^H$ is surjective onto $T(\cT^H)$, it is surjective onto $T(\cZ) \subset T(\hat \cT)$. The constraint equations impose a constraint or
coupling of the data $(F,(\iota',\nu')_S)$, as discussed at the end of \S 2.2. The surjectivity above then implies that for any $\tau'_0 \in T(\cZ) \subset
T(\hat \cT)$, there exists a (unique) deformation $h \in T_g(Met(M))$, such that $D \Phi_g^H (h)= \tau'_0$, i.e.
$$\big(\Ric'_h + \d^*V'_h, (h_S,K'_h, \nu'_h, V'_h)_S, (\ring{h}, H'_h, V'_h)_{\cC}, (\a'_h)_\Si\big) =(F,(\iota',\nu',0)_S, (b', 0)_\cC, (\a')_\Si)=\tau'_0.$$
Also by construction, the data $(\Ric'_h + \d^*V'_h, (h_S, K'_h, \nu'_h)_S)$ satisfies the linearized constraint equations \eqref{Gauss}-\eqref{GC} on $S$.
As in the proof of Lemma \ref{Gauge-lemma2}, it then follows that $\p_t V'_h = 0$ on $S$. Thus, $V'_h$ vanishes to first order on $S$ and to zero order
on $\cC$, i.e.~$V'_h \in T(\Diff_1(M))$. Therefore,
\bes
\tau'_0=\big(\Ric'_h, (h_S,K'_h, \nu'_h,0)_S, (\ring{h}, H'_h, 0)_{\cC}, (\a'_h)_\Si\big)+(\d^*V'_h,0,..,0)=D\hat\Phi(h)+(\d^*V'_h,0,..,0)
\ees
This proves the spanning property.
The proofs that $D\hat \Phi$ and $D\Phi$ descend to the relevant quotients are then straightforward.
\end{proof}
Next we prove Corollary \ref{ThmIII}.
\begin{proof}
This follows by noting that $T\bE$ is the inverse image $T\bE = (D\Phi)^{-1}(0, \iota', b', \a') = (D\hat \Phi)^{-1}(0, \iota', \nu', b', \a')$
and that the kernel of $D\Phi$ is given by the gauge group terms $\d^*X$, $X \in T(\Diff_0(M))$ by Theorem \ref{ThmII}.
\end{proof}
\begin{remark}\label{gunique}
{\rm An essentially immediate consequence of the well-posedness of a geometric IBVP or IBCVP is the following geometric uniqueness
statement. Let $\f \in \Diff(M)$ be an arbitrary smooth diffeomorphism of $M$, so $\f: S \to S$, $\f: \cC \to \cC$ and $\f: \Si \to \Si$. Let
$\tau = (\iota, b) \in \cI_0 \times_c \cB$ (or $\tau = (\iota, b, \a) \in \cI_0 \times_c \cB \times \cA$) be any vacuum target data in $\cT$ and let
$g$ be a solution the vacuum equations $\Ric_g = 0$ with $\Phi(g) = \tau$; by well-posedness $g$ is unique up to gauge, i.e.~up to the
action of $\Diff_0(M)$. Then the following equivariance property holds:
\be \label{equiv}
\Phi(\f^*g) = \f^*(\Phi(g)).
\ee
Thus the unique vacuum solution $g$ (modulo the action of $\Diff_0(M))$ with data $\f^* \tau$ is given by $\f^*g$. The equation \eqref{equiv} holds
since the initial data, boundary data, and corner data are geometric, i.e.~transform in this way under the action of diffeomorphisms. The quotient
boundary data space $\cB/\Diff_{\Si}(\cC)$ thus has essentially three geometric degrees of freedom - in dimension 4); cf.~also the discussion in \cite{AA1}.
By Corollary \ref{ThmIII}, \eqref{equiv} holds at the linearized level for the boundary data space $\cB = \cB_C$.
}
\end{remark}
\begin{remark}\label{alldim}
{\rm As noted in the Introduction, all of the results in this work hold in all dimensions, and with an arbitrary cosmological constant $\Lambda$, with the
same proofs.
}
\end{remark}
\section{Appendix}
In this section, we describe some of the main relevant aspects of examples presented in \cite{LSW}. We focus on $n+1=4$ dimensions, but the
discussion holds equally well in all dimensions, with only minor changes.
Consider Minkowski space with standard cylindrical coordinates
$$-dt^2 + dr^2 + r^2 g_{S^2(1)}.$$
Let $r(t): \bR \to \bR^+$ be a smooth function with $r(0) = 1$ and $r'(0) = \a$. The graph of $r(t)$ gives rise to a cylinder $C_{\a} \simeq
\bR \times S^2$ in $\bR^{1,3}$ meeting the Cauchy surface $S = \{t = 0\} \cap \{r \leq 1\}$ at the angle $\a$. For $r(t) \equiv 1$, $C_{\a}$
is the standard spherically symmetric timelike cylinder of radius $1$ in Minkowski space, with induced metric
$$\g_0 = -dt^2 + g_{S^2(1)}$$
and with mean curvature $H_{C_0} = 2$.
Now consider a 1-parameter family of deformations of $g_0$ given by
$$g_{\a} = -V_{\a}(t)dt^2 + dr^2 + r^2 g_{S^2(1)},$$
where $V_{\a} = r(t)^2 + \dot r (t)^2$. These are clearly still flat vacuum solutions of the Einstein equations. In fact they differ from $g_0$ just by
time reparametrizations. These then induce reparametrizations of $r$ and so diffeomorphisms of the domain which move the boundary $\cC$.
The metric $g_{\a}$ restricted to $C_{\a}$ has $dr = \dot r dt$ and so is given by
$$g_{C_{\a}} = r^2[-dt^2 + g_{S^2(1)}]$$
and so $g_{C_{\a}}$ is pointwise conformal to $\g_0$.
Next we calculate the mean curvature $H_{C_{\a}}$ of $C_{\a}$ in the metric $g_{\a}$. Since $T = \p_t + \dot r(t)\p_r$ is tangent to $\cC_{\a}$,
the unit outward normal to $\cC_{\a}$ in $g_{\a}$ is given by
$$\nu_{\a} = \frac{\sqrt{V}}{r}(\frac{\dot r}{V}\p_t + \p_r).$$
The second fundamental form is given by
\bes\begin{split}
A_{\cC_\a}&=\frac{1}{2}(\cL_{\nu_{\a}}g_\a)^\intercal=\frac{\sqrt{V}}{2r}(L_{\frac{\dot{r}}{V}\p_t+\p_r}g_\a)^\intercal
=\frac{\sqrt{V}}{2r}(\cL_{\frac{\dot{r}}{V}\p_t}g_\a + \cL_{\p_r}g_\a)^\intercal.
\end{split}\ees
For the Lie derivatives in the right side of the equation above, we have
\bes\begin{split}
\cL_{\frac{\dot{r}}{V}\p_t}g_\a&=\frac{\dot{r}}{V}(-\dot{V}dt^2)+ d(\frac{\dot{r}}{V})\odot g_\a(\p_t,\cdot)=
\frac{\dot{r}}{V}(-\dot{V}dt^2)+2\p_t(\frac{\dot{r}}{V})dt(-V dt)\\
&=-(\frac{\dot{r}\dot{V}}{V}+2\frac{\ddot{r}V-\dot{r}\dot{V}}{V})dt^2=-\frac{2\ddot{r}V-\dot{r}\dot{V}}{V}dt^2
\end{split}\ees
and
\bes\begin{split}
\cL_{\p_r}g_\a=2rg_{S^2(1)}.
\end{split}\ees
This gives
\bes\begin{split}
A_{\cC_{\a}}&=\frac{\sqrt{V}}{2r}(-\frac{2\ddot{r}V-\dot{r}\dot{V}}{V}dt^2+2rg_{S^2(1)})^\intercal
\end{split}\ees
and hence
\bes\begin{split}
H_{\cC_{\a}}&=\tr^\intercal A_{\cC_{\a}}=\frac{\sqrt{V}}{2r} (\frac{2\ddot{r}V-\dot{r}\dot{V}}{Vr^2}+\frac{4}{r}) =
\frac{\sqrt{V}}{2r} \cdot \frac{2\ddot{r}V-\dot{r}\dot{V} + 4Vr}{Vr^2} = \frac{\sqrt{V}}{r}(\frac{\ddot{r}r^2+\ddot{r}\dot {r}^2-\dot{r}^2r-\dot{r}^2\ddot{r}+2Vr}{Vr^2})\\
&=\frac{\sqrt{V}}{r}(\frac{\ddot{r}r^2+\dot{r}^2r+2r^3}{Vr^2})
\end{split}
\ees
so that
$$H_{\cC_{\a}} = \frac{1}{\sqrt{V}}(\frac{\ddot{r}}{r}+(\frac{\dot{r}}{r})^2+2),$$
in agreement with \cite{LSW}. A simple calcluation shows that
$$g_{\a}(\nu_S, \nu_{\cC}) = -\a.$$
Setting $H_{\cC_{\a}} = H_{C_0} = 2$ gives the ODE
\be \label{H2}
\frac{\ddot r}{r} + (\frac{\dot r}{r})^2 = 2(\sqrt{V} - 1).
\ee
Since $r(0) = 1$, this has a 1-parameter family of solutions parametrized by $r'(0) = \a$.
Suppose for instance $\a = \dot r(0) < 0$. If $r(t)$ had a local minimum $r_0$ at some $t_0 \geq 0$ with $r(t_0) \leq 1$, then evaluating \eqref{H2}
at $t_0$ gives a contradiction. It follows that $r$ is decreasing in $t$, $\dot r \leq 0$, for all $t \geq 0$. Simple further analysis shows that in fact
$r \to 0$ as $t \to T$, for some finite $T < \infty$, at which time the solution no longer exists.
Similarly, if $\dot r(0) > 0$, then $r(t) \geq 1$ and $\dot r \geq 0$ for all $t \geq 0$ and the solution is expanding. The solution then exists for all
$t \geq 0$ but $r(t) \to \infty$ as $t \to \infty$.
For this family of solutions, the Cauchy data on the initial surface $S$ is fixed, as is the boundary data $([g_{\cC}], H_{\cC})$ on $\cC$. Thus, only the
angle $\a$ varies. It is clear that these flat solid-cylinder metrics are not isometric.
\begin{remark}
{\rm We note that all of the results of this work also hold for the 1-parameter family of boundary conditions considered in \cite{LSW}. These
are of the form $([g_{\cC}], (dv_{\cC})^p H_{\cC})$, where $dv_{\cC}$ is the volume form density along $\cC$. These boundary conditions
interpolate between the data $([g_{\cC}], H_{\cC})$ and Dirichlet boundary data $g_{\cC}$ as $p \to 0$ and $p \to \infty$ respectively.
The proofs remain the same, with only minor modifications. \footnote{We thank Edgar Shaghoulian for discussions on this issue.}
}
\end{remark}
\bibliographystyle{plain}
\begin{thebibliography}{WWW}
\footnotesize
\bibitem{II} Z. An and M. Anderson, {\it Well-posed geometric boundary data in General Relativity, II: Dirichlet boundary data},
\href{https://arXiv.org/abs/2505.07128}{arXiv:2505.07128}.
\bibitem{AA1} Z. An and M. Anderson, {\it On the initial boundary value problem for the vacuum Einstein equations and
geometric uniqueness}, \href{https://arXiv.org/abs/2005.01623}{arXiv:2005.01623}.
\bibitem{AA2} Z. An and M. Anderson, {\it The initial boundary value problem and quasi-local Hamiltonians in general relativity},
Class \& Quant. Grav., {\bf 38}, (2021), no. 15, \href{https://arXiv.org/abs/2103.15673}{arXiv:2103.15673}.
\bibitem{A1} M. Anderson, {\it On boundary value problems for Einstein metrics}, Geom. \& Top., {\bf 12}, (2008), 2009-2045,
\href{https://arXiv.org/abs/math/0612647}{arXiv:math/0612647}.
\bibitem{A2} M. Anderson, {\it On quasi-local Hamiltonians in general relativity}, Phys. Rev. {\bf D82}, (2010), 084004,
\href{https://arXiv.org/abs/1008.4309}{arXiv:1008.4309}.
\bibitem{AK} M. Anderson and M. Khuri, {\it On the Bartnik extension problem for static vacuum Einstein metrics},
Class. \& Quant. Gravity, {\bf 30}, (2013), 125005.
\bibitem{AABN} D. Anninos, T. Anous, I. Bredburg, G.-S. Ng, {\it Incompressible fluids of the de Sitter horizon and beyond},
JHEP, {\bf 05}, (2012), 107. \href{https://arXiv.org/abs/1110.3792}{arXiv:1110.3792}.
\bibitem{AGM1} D. Anninos, D. Galante and C. Maneerat, {\it Gravitational observatories},
JHEP, {\bf 12}, (2023), 024, \href{https://arXiv.org/abs/2310.08648}{arXiv:2310.08648}.
\bibitem{AGM2} D. Anninos, D. Galante and C. Maneerat, {\it Cosmological observatories},
Class. \& Quant. Gravity, {\bf 41}, (2024), 16, \href{https://arXiv.org/abs/2402.04305}{arXiv:2402.04305}.
\bibitem{AGAM} D. Anninos, D. Galante, R. Arias and C. Maneerat, {\it Cosmological observatories in $AdS_4$},
\href{https://arXiv.org/abs/2412.16305}{arXiv:2412.16305}.
\bibitem{BSS} B. Banihashemi, E. Shaghoulian and S. Shashi. {\it Flat space gravity at finite cutoff},
\href{https://arXiv.org/abs/2409.07643}{arXiv:2409.07643}.
\bibitem{BS} S. Benzoni-Gavage and D. Serre, {\it Multi-dimensional Hyperbolic Partial Differential Equations}, Oxford
Mathematical Monographs, Clarendon Press, Oxford, (2007).
\bibitem{B} A. L. Besse, {\it Einstein Manifolds}, Springer Verlag, Berlin, (1987).
\bibitem{BF} I. Booth and S. Fairhurst, {\it Canonical phase space formulation of quasi-local general relativity},
Class. Quan. Grav., {\bf 20}, (2003), 4507-4532, \href{https://arXiv.org/abs/gr-qc/0301123}{arXiv:gr-qc/0301123}.
\bibitem{BS} I. Bredburg and A. Strominger, {\it Black holes as incompressible fluids on the sphere},
JHEP {\bf 05}, (2012) 043, \href{https://arXiv.org/abs/1106.3084}{arXiv:1106.3084}.
\bibitem{C} Y. Choquet-Bruhat, {\it Th\'eor\`eme d'existence pour certains syst\'emes d'\`equations aux d\`eriv\`ees partielles
non lin\`eares}, Acta Math. {\bf 88}, (1952), 141-225.
\bibitem{C2} Y. Choquet-Bruhat, {\it General Relativity and the Einstein Equations}, Oxford Univ. Press, (2009).
\bibitem{FS1} G. Fournadavlos and J. Smulevici, {\it The initial boundary value problem for the Einstein equations with totally geodesic
timelike boundary}, Comm. Math. Phys., {\bf 385}, (2021), 1615-1653., \href{https://arXiv.org/abs/2006.01498}{arXiv:2006.01498}.
\bibitem{FS2} G. Fournadavlos and J. Smulevici, {\it The initial boundary value problem in general relativity: the umbilic case},
Int. Math. Res. Not., (2023) 5, 3790-3807, \href{https://arXiv.org/abs/2104.08851}{arXiv:2104.08851}.
\bibitem{F0} H. Friedrich, {\it Einstein equations and conformal structure; existence of anti-de-Sitter-type space-times},
Jour. Geom. Phys., {\bf 17}, (1995), 125-184.
\bibitem{FN} H. Friedrich and G. Nagy, {\it The initial boundary value problem for Einstein's vacuum field equations},
Comm. Math. Phys., {\bf 201}, (1999), 619-655.
\bibitem{F} H. Friedrich, {\it Initial boundary value problems for Einstein's field equations and geometric uniqueness},
Gen. Rel. \& Gravitation, {\bf 41}, (2009), 1947-1966.
\bibitem{GG} D. A. Geba and M. Grillakis, {\it An Introduction to the Theory of Wave Maps and Related Geometric Problems},
World Scientific Publishing Co. Pte. Ltd., Hackensack (2017).
\bibitem{G} P. Gianniotis, {\it The Ricci flow on manifolds with boundary}, Jour. Diff. Geom., {\bf 104}, (2016), 291-324,
arXiv:1210.0813.
\bibitem{HW} D. Harlow and J-q. Wu, {\it Covariant phase space with boundaries}, JHEP, {\bf 10}, (2020), 146,
\href{https://arXiv.org/abs/1906.08616}{arXiv:1906.08616}.
\bibitem{HE} S. Hawking and G. Ellis, {\it The Large Scale Structure of Space-Time}, Cambridge Univ. Press, (1973).
\bibitem{K} I. Khavkine, {\it Covariant phase space, constraints, gauge and the Peierls formula},
Int. Jour. Mod. Phys., {\bf A29}, (2014), 1230009, \href{https://arXiv.org/abs/1402.1282}{arXiv:1402.1282}.
\bibitem{KW} H.-O. Kreiss and J. Winicour, {\it Geometric boundary data for the gravitational field}, Class. Quantum Gravity,
{\bf 31}, (2014), 065004
\bibitem{KRSW1} H.-O. Kreiss, O. Reula, O. Sarbach and J. Winicour, {\it Boundary conditions for coupled quasi-linear wave
equations with applications to isolated systems}, Comm. Math. Phys., {\bf 289}, (2009), 1099-1129.
\bibitem{KRSW2} H.-O. Kreiss, O. Reula, O. Sarbach and J. Winicour, {\it Well-posed initial boundary value problem for the
harmonic Einstein equations using energy estimates}, Class. Quantum Grav., {\bf 24}, (2007), 5973-5984.
\bibitem{LW} J. Lee and R. M. Wald, {\it Local symmetries and constraints}, Jour. Math. Phys. {\bf 31}, (1990), 725–743.
\bibitem{LSW} X. Liu, J. Santos, and T. Wiseman, {\it New well-posed boundary conditions for semi-classical
euclidean gravity}, JHEP 06 (2024) 044, \href{https://arXiv.org/abs/2402.04308}{arXiv:2402.04308}.
\bibitem{Sa} R. Sakamoto, {\it Hyperbolic Boundary Value Problems}, Cambridge Univ. Press, Cambridge, (1982).
\bibitem{ST} O. Sarbach and M. Tiglio, {\it Continuum and Discrete Initial-Boundary Value Problems and Einstein's Field
Equations}, Living Reviews in Relativity, {\bf 15}, (2012), 9.
\bibitem{Sz} L. Szabados, {\it Quasi-local energy-momentum and angular momentum in general relativity},
Living Reviews in Relativity, {\bf 12}, (2009), 4.
\bibitem{T} D. Tataru, {\it On the regularity of boundary traces for the wave equation}, Ann. Scuo. Norm. Pisa, {\bf 26},
(1998), 185-206.
\bibitem{Wa} R.~M. Wald, {\it General Relativity}, University of Chicago Press, Chicago, (1984).
\bibitem{WZ} R.~M.~Wald and A. Zoupas, {\it A general definition of 'conserved quantities' in general
relativity and other theories of gravity}, Phys. Rev. D61 (2000) 084027, \href{https://arXiv.org/abs/gr-qc/9911095}{arXiv:gr-qc/9911095}.
\bibitem{W} E. Witten, {\it A note on boundary conditions in Euclidean gravity}, Reviews in Math. Phys., {\bf 33:10}, (2021),
2140004, \href{https://arXiv.org/abs/1805.11559}{arXiv:1805.11559}.
\end{thebibliography}
\end{document}