\section{Introduction}

\label{sec:intro}Einstein's \textquotedbl{}hole\textquotedbl{} thought
experiment convinced him that specification of the energy-momentum-tensor
source would not determine a unique solution to his general relativistic
field equation.\footnote{See Chapter 5 of \citet{torretti} and Chapter 5 of \citet{stachel-btoz}
for the history of Einstein's quest for the equations of general relativity.}

Einstein's own description of the argument was brief and lacking in
detail. He first refers to the required transformations as what translates
as  \emph{coordinate} transformations, and later as \emph{point} transformations.\footnote{See Section 5.6 of \citet{torretti}.}
\citet{Stachel-active} has interpreted this latter phrase as referring
to what he calls \textquotedbl{}active diffeomorphisms.\textquotedbl{}\footnote{Einstein's term would be \textquotedbl{}point diffeomorphism.\textquotedbl{}
I use the terms \textquotedbl{}active diffeomorphism\textquotedbl{}
and \textquotedbl{}point diffeomorphism\textquotedbl{} as exact synonyms. } In an attempt to avoid misunderstandings about notation and definitions,
\prettyref{sec:prelim} makes some preliminary remarks and \prettyref{sec:actpas}
uses basic differential geometry to define Stachel's term \textquotedbl{}active
diffeomorphism\textquotedbl{} and its companion term \textquotedbl{}passive
diffeomorphism.\textquotedbl{}

Einstein posited a specific experimental situation in which a \textquotedbl{}hole\textquotedbl{}
region $H$ in spacetime is devoid of energy-momentum-tensor sources
($T_{\mu\nu}(x)\equiv0$ for $x\in H$), with this hole surrounded
by a source region $S$ in which the energy-momentum tensor could
be nonzero.\footnote{\citet{EinsteinGrossmann}. See also paraphrase by \citet{torretti},
p. 163.} He argued that an active diffeomorphism that acted as the identity
in the $S$ region, but was not an identity in the hole, would modify
the metric field in the hole without modifying any of the sources,
either inside or outside the hole. He concluded that the energy-momentum
sources cannot determine the metric field in the hole uniquely. \prettyref{sec:hole-in-gr}
outlines a proof of Einstein's conclusion.

But the existence of a mathematical proof that Einstein's field equation
has multiple solutions leads to the question of the physical meaning
of these multiple solutions.\footnote{By \textquotedbl{}physical meaning\textquotedbl{} (sometimes shortened
to just \textquotedbl{}meaning\textquotedbl{}) of a solution I mean
a set of defined relations between the local coordinates used to write
it and something like length or relativistic interval, such as is
defined by a Riemannian metric. } This issue is addressed in \prettyref{sec:phys}, which discusses
the difficulties introduced into differential geometry by Einstein's
disruptive idea of a Riemannian metric that is not known until after
a differential equation for it is solved. Before the field equation
is solved, since there is not yet a defined metric, the local coordinates
are just $m$-tuples of real numbers that have no definite relation
to anything physical like relativistic interval. After the field equation
is solved, each of the multiple solutions produced by the hole argument
is then a distinct metric that attaches its own distinct physical
meaning to the local coordinates that were used to write it. It may
thus be possible to select among the multiplicity of mathematical
solutions of \prettyref{sec:hole-in-gr} a unique one that assigns
to its local coordinates the physical meaning needed to model the
symmetries of the experimental situation under study, rejecting the
other metric solutions as spurious.  Thus the hole argument in \prettyref{sec:hole-in-gr}
fails to prove that Einstein's field equation must necessarily have
multiple non-spurious solutions.

Sections \ref{sec:schwarz} and \ref{sec:schole} illustrate these
ideas using the Schwarzschild solution for a spherically symmetric
source mass. In this case, a unique solution is found, thus providing
a counterexample to the proposition that the Einstein field can never
have a unique solution.

\section{Preliminary Remarks}

\label{sec:prelim}A few preliminary remarks may be helpful. First,
in discussing the uniqueness of solutions to generally covariant differential
equations, it is necessary to remember that any solution must be expressed
in some system of local coordinates. A solution written in one coordinate
system can, by a diffeomorphic change of local coordinates (passive
diffeomorphism as defined in \prettyref{subsec:passive}), always
be transformed into the same solution expressed in some other coordinate
system. (Think of converting from Cartesian to spherical polar coordinates
in Euclidean three-space.) But the existence of these two expressions
in the two coordinate systems is not what is meant when one speaks
of non-uniqueness of solution. These are not \emph{different} solutions,
but only the \emph{same} solution expressed in two different systems
of local coordinates. To say that a generally covariant differential
equation has a second solution and therefore is non-unique means a
second solution that is different from the original one when \emph{both}
solutions are expressed in the \emph{same} local coordinate system.
This is the sense in which Einstein used the term \textquotedbl{}unique,\textquotedbl{}
and also the sense in which it is used in this paper.

Second, it is necessary to realize that there are at least two distinct
and non-equivalent definitions of the hole argument extant in the
literature. The first is that due to Einstein outlined above. There
is no evidence that Einstein ever intended his hole argument to apply
to generally covariant differential equations other than his own general
relativistic field equation. Also, as will be shown in \prettyref{sec:hole-in-gr},
Einstein's version depends essentially on his assumption of a particular
experimental situation in which the energy momentum tensor term $T_{\mu\nu}(x)$
in his differential equation vanishes identically in the region he
calls the \textquotedbl{}hole.\textquotedbl{}

On the other hand, the revision of the hole argument by Earman and
Norton\footnote{\citet{earman-norton,norton-encyc}} is asserted by
them to include \textquotedbl{}...Newtonian spacetime theories with
all, one, or none of gravitation and electrodynamics; and special
and general relativity, with and without electrodynamics.\textquotedbl{}\footnote{However, the generally covariant Poisson equation for the electrostatic
potential in three dimensions, when applied to a spherically symmetric
source with the generally covariant boundary condition that the potential
vanish at infinity, is well known to have a unique solution, thus
providing a counterexample to Earman and Norton’s assertion that their
hole argument applies also to such differential equations.} Also their presentation of the hole argument does not require that
a source term must vanish in the hole region. They assert that Einstein's
presentation is, only \textquotedbl{}$\ldots$a specialized form$\ldots$\textquotedbl{}
of their generalized hole argument.\footnote{Earman and Norton, op.cit., p. 523. The Earman-Norton version explores
the consequences of a Leibnizian interpretation of active diffeomorphisms.
It makes no direct reference to the details of the Einstein field
equation, which details are the main focus of the Einstein version
studied in the present paper.}

This existence of two distinct hole arguments has confused the subject,
with some refutations of what their authors take to be\emph{ the }hole
argument apparently applying only to the Earman-Norton version.\footnote{See for example the recent articles: \citet{weatherall,schulman-homotopy}}
This paper will not derive or defend the Earman-Norton version.

The third preliminary remark concerns style. It has become common
to discuss the hole argument in abstract mathematical language.\footnote{For example, the use of category theory in \citet{IftimeStachel}.}
But the subtlety of Einstein's argument is revealed only when one
uses coordinates to study it. Fortunately, although invariant language
is the norm today, arguments using coordinates are not therefore invalid.
They may seem crude, but they are still true.

There is an analogy here to computer programming languages. High-level
languages such as Python or C++ are elegant and succinct, but every
programmer knows that there are some problems that require low-level
machine assembly language to solve. In this paper, I discuss the Einstein
hole argument using high-level invariant language—and assembly language
when required.

\section{Active and Passive Diffeomorphisms}

\label{sec:actpas}This section outlines the definition of the term
\textquotedbl{}active diffeomorphisms\textquotedbl{} and gives a method
for generating them.

The distinction between active and passive diffeomorphisms is borrowed
from the transformation theory of classical vector calculus.\footnote{For example, in Chapter 8 of \citet{oj} active transformations are
used initially and passive transformations are introduced in Section
8.30.} Suppose that a three-dimensional Euclidean coordinate system containing
a velocity $\br V$ and another field $\br B$ at point $\br r$ is
rotated by angle $\alpha$ about the $z$-axis as shown on the left
side of \prettyref{fig:Act-Pass-fig}. Suppose that before rotation,
the components of the vectors are $\br r:(x^{1},x^{2},x^{3})$, $\br V:(V^{1},V^{2},V^{3}{}_{)}$,
and $\br B:(B^{1},B^{2},B^{3})$. After the rotation the vectors are
unchanged, but their components become $\br r:(x'^{1},x'^{2},x'^{3})$,
$\br V:(V'^{1},V'^{2},V'^{3})$, and $\br B:(B'^{1},B'^{2},B'^{3})$
where
\begin{align}
x'^{1}=x{}^{1}\cos\alpha-x{}^{2}\sin\alpha\quad\quad & x'^{2}=x{}^{1}\sin\alpha+x{}^{2}\cos\alpha\quad\quad x'^{3}=x^{3}\label{eq:a1}\\
V'^{1}=V{}^{1}\cos\alpha-V^{2}\sin\alpha\quad\quad & V'^{2}=V{}^{1}\sin\alpha+V{}^{2}\cos\alpha\quad\quad V'^{3}=V^{3}\label{eq:a2}
\end{align}
with similar expressions for the components of $\br B$. The observer,
here represented by the coordinate system, rotates by angle $\alpha$
but the physical world being observed, here represented by the vectors,
does not rotate. This is called a passive transformation since the
world is not changed, just the view of the observer.

\begin{figure}[h]
\centerline{\includegraphics[scale=0.85]{active-passive}}

\caption{\label{fig:Act-Pass-fig}Active and passive transformations. The passive
one rotates the coordinate system (observer) but leaves the vectors
(physical world) unchanged. The active transformation rotates the
vectors but leaves the coordinate system unchanged.}
\end{figure}

An active transformation rotates the physical world by angle $\alpha$
about the $z$-axis while keeping the observer fixed, as shown on
the right side of \prettyref{fig:Act-Pass-fig}. The observer's coordinate
system is not changed, but the vectors are changed to new vectors
$\br{\tilde r}$, $\br{\tilde V}$, and $\br{\tilde B}$, with components
(expressed in the unchanged original coordinate system)
\begin{align}
\tilde{x}^{1}=x^{1}\cos\alpha-x^{2}\sin\alpha\quad\quad & \tilde{x}^{2}=x^{1}\sin\alpha+x^{2}\cos\alpha\quad\quad\tilde{x}^{3}=x^{3}\label{eq:a3}\\
\tilde{V}^{1}=V^{1}\cos\alpha-V^{2}\sin\alpha\quad\quad & \tilde{V}^{2}=V^{1}\sin\alpha+V^{2}\cos\alpha\quad\quad\tilde{V}^{3}=V^{3}\label{eq:a4}
\end{align}
 with similar expressions for $\br{\tilde B}$. This is called an
active transformation since the observed world is changed but the
observer is kept fixed.

\subsection{Passive Diffeomorphism}

\label{subsec:passive}The obvious differential geometric analog of
the classical passive transformation of vector components in \prettyref{eq:a1}
is the diffeomorphic change of local coordinates on a smooth manifold.\footnote{See \citet{lee-smooth,lee-top}, texts I take to be the canonical
references for modern, invariant differential geometry.}

Let a manifold $\op M$ of dimension $m$ have two overlapping charts
of local coordinates $(\psi,U)$ and $(\psi',U')$ where $U$ and
$U'$ are open sets in $\op M$ with $U\cap U'\neq0$, and $\psi$,
$\psi'$ are homeomorphisms from $U$, $U'$ to local coordinates
$x=(x^{1},\ldots,x^{m})$ and $x'=(x'^{1},\ldots,x'^{m})$, respectively,
in $\bb R^{m}$. If the function $x'=\gamma(x)$, where $\gamma=\psi'\circ\psi^{-1}$,
and its inverse $x=\gamma^{-1}(x')$ are both continuously differentiable
to arbitrary order for all such overlapping open sets $U$,$U'$,
the manifold $\op M$ is a smooth manifold and $\gamma:x\rightarrow x'$
is a diffeomorphic change of local coordinates. A point $p\in\op M$
is represented either by local coordinates $x=\psi(p)$ or $x'=\psi'(p)$.
Such \textquotedbl{}diffeomorphic changes of local coordinates\textquotedbl{}
are referred to in this paper as \textquotedbl{}passive diffeomorphisms.\textquotedbl{}\footnote{The term \textquotedbl{}gauge transformations of differential geometry\textquotedbl{}
is also sometimes used in the literature.}

Smooth functions $f:\op M\rightarrow\bb R$ mapping points $p$ on
the smooth manifold to real numbers $f(p)$ are represented in unprimed
and primed local coordinates by $F=f\circ\psi^{-1}$ and $F'=f\circ\psi'^{-1}$
so that\footnote{In the literature, function $F(x)$ is often written $f(x)$. One
is supposed to read from the variable, $x$ rather than $p$, that
$F$ is intended. The condition that $f$ be a smooth function is
that local coordinate function $F(x)$ must be continuously differentiable
to arbitrary order.}
\begin{equation}
F(x)=f(p)=F'(x')\label{eq:a5}
\end{equation}
One must distinguish between manifold objects\footnote{The terms \textquotedbl{}manifold object\textquotedbl{} and \textquotedbl{}invariant
object\textquotedbl{} are used as synonyms in this paper. Manifold
objects like $f(p)$ are invariant under changes of local coordinates.} like $f(p)$ and local coordinate objects like $F(x)$. In physical
theories, manifold objects can be taken as real while local coordinate
objects only \emph{represent} the underlying manifold ones in various
local coordinate systems.

A tangent vector field $\br V(p)$ is a manifold object in the tangent
bundle of $\op M$, a member of the tangent space over manifold point
$p$. Its action is represented in operator notation; it maps smooth
functions $f(p)$ to invariant real numbers denoted as $\br V(p)f(p)$.
It is represented in the unprimed and primed charts by
\begin{equation}
V(x)=\sum_{j=1}^{m}V^{j}(x)E_{j}\quad\quad\quad\quad V'(x')=\sum_{i=1}^{m}V'{}^{i}(x')E'_{i}\label{eq:a6}
\end{equation}
respectively, where $E_{j}=\partial/\partial x^{j}$ and $E'_{i}=\partial/\partial x'^{i}$
are local coordinate representations of basis vectors in the two charts.
Then
\begin{equation}
V(x)F(x)=\br V(p)f(p)=V'(x')F'(x')\label{eq:a7}
\end{equation}
and the components are related by the rule
\begin{equation}
V'^{i}(x')=\sum_{j=1}^{m}\dfrac{\partial x'^{i}}{\partial x^{j}}V^{j}(x)\label{eq:a8}
\end{equation}

A covariant tensor field of rank $k$ is a manifold object $\br g(p)$
that maps an ordered set of tangent vector fields to an invariant
real number denoted
\begin{equation}
\br g(p)\bigl\{\br V_{1}(p),\ldots,\br V_{k}(p)\bigr\}\label{eq:a9}
\end{equation}
If the manifold $\op M$ is Riemannian\footnote{In this paper, Riemannian always is intended to include Semi-Riemannian.}
with second rank, covariant metric tensor field $\br g(p)$, denoted
$(\op M,\br g)$, the invariant inner product of two tangent vector
fields is defined as
\begin{equation}
\Bigl\langle\br V(p),\br W(p)\Bigr\rangle=\br g(p)\bigl\{\br V(p),\br W(p)\bigr\}\label{eq:aa10}
\end{equation}

The metric tensor field is represented in the unprimed and primed
charts by components $g_{ij}(x)$ and $g_{kl}'(x')$, respectively.
The inner product is then
\begin{equation}
\sum_{i,j=1}^{m}g_{ij}(x)V^{i}(x)W^{j}(x)=\Bigl\langle\br V(p),\br W(p)\Bigr\rangle=\sum_{k,l=1}^{m}g{}_{kl}'(x')V'^{k}(x')W'^{l}(x')\label{eq:aa11}
\end{equation}
and the local components of $\br g(p)$ transform as
\begin{equation}
g_{ij}(x)=\sum_{k,l=1}^{m}g_{kl}'(x')\dfrac{\partial x'{}^{k}}{\partial x{}^{i}}\dfrac{\partial x'{}^{l}}{\partial x{}^{j}}\label{eq:aa12}
\end{equation}

\subsection{Active Diffeomorphism}

\label{subsec:act}In \prettyref{subsec:passive}, the differential
geometric analog of classical vector passive transformations was easily
available; one simply identified \textquotedbl{}passive diffeomorphisms\textquotedbl{}
with universally accepted definition of \textquotedbl{}diffeomorphic
change of local coordinates.\textquotedbl{} But the differential geometric
analog of the active transformation of classical vectors in \prettyref{eq:a3},
to be called an \textquotedbl{}active diffeomorphism\textquotedbl{}
here, is less well established and requires some definition. Some
texts on differential geometry for the general relativity community,
e.g., \citet{carroll,wald}, discuss active diffeomorphisms peripherally,
but other standard references on differential geometry for the pure
mathematics and high-energy physics communities, e.g., \citet{frankel,lee-riemann,lee-smooth,oneill,Taubes},
 do not even contain the phrase. However, they do contain a construction
that can be tailored to our purposes, the differentiable mapping $\phi:\op M\rightarrow\op N$
between two manifolds $\op M$ and $\op N$ of dimension $m$ and
$n$, respectively, where in general the dimensions are different,
$m\ne n$, and the mapping need not be a homeomorphism (a continuous
mapping with a continuous inverse).\footnote{See Chapters 2 and 3 of \citet{lee-smooth}.}

Here we consider the restricted case in which $m=n$ and $\phi$ is
an active diffeomorphism. Thus, if $(U,\psi)$ and $(\tilde{U},\tilde{\psi})$
are charts of local coordinates $x$, $\tilde{x}$ on $\op M$ and
$\op N$, respectively, we assume that both $\tilde{x}=\theta(x)$,
where $\theta=\tilde{\psi}\circ\phi\circ\psi^{-1}$, and its inverse
$x=\theta^{-1}(\tilde{x})$ exist and are continuously differentiable
to arbitrary order.\footnote{It will be assumed uncritically here that the domains of the homeomorphisms
$\psi$, $\psi'$, and $\tilde{\psi}$ which define the local coordinates
comprise the whole of their respective manifolds. If multiple domains
are required in a particular case, it is assumed that they can be
patched together by standard techniques.}

Let $p$ and $\tilde{p}=\phi(p)$ be points in $\op M$ and $\op N$,
respectively, and let $\tilde{f}(\tilde{p})$ be a smooth function
$\tilde{f}:\op N\rightarrow\bb R$. Then there is a smooth function
$f(p)$ with $f:\op M\rightarrow\bb R$ defined by $f=\tilde{f}\circ\phi$.
This $f$ is called the \emph{pull-back} of $\tilde{f}$ and is denoted
$f=\phi^{*}\tilde{f}$. Since $\phi$ is assumed here to have an inverse,
the $\tilde{f}$ can also be written as what is called the \emph{push-forward}
of $f$, denoted $\tilde{f}=\phi_{*}f$. No matter how denoted, the
relation is
\begin{equation}
\tilde{f}(\tilde{p})=f(p)\label{eq:aa13}
\end{equation}

This relation can also be written in local coordinates. If $\tilde{F}(\tilde{x})$
is a smooth function defined in terms of local coordinates on $\op N$,
then there is a smooth function $F(x)$, where $F=\tilde{F}\circ\theta$,
similarly defined on $\op M$. This $F$ is called a pull-back of
$\tilde{F}$ and is denoted $F=\phi^{*}\tilde{F}$. Since we are assuming
$\phi$ and hence $\theta$ to have an inverse, we can also refer
to $\tilde{F}$ as what is called a push-forward of $F$ denoted $\tilde{F}=\phi_{*}F$.
In either case, the relation is
\begin{equation}
F(x)=\tilde{F}(\tilde{x})\label{eq:aa14}
\end{equation}
 which shows that $\tilde{F}(\tilde{x})$ at a point $\tilde{x}$
has the same value as function $F(x)$ has at point $x$.

In general, since $\phi$ and $\theta$ are assumed to be diffeomorphic
here, and all transformations therefore possess inverses, both pull-back
and push-forward of functions, tangent vectors, and general tensor
fields are well defined.

Tangent vector fields can also be pulled back or pushed forward. Let
$\br V(p)$ and $\tilde{\br V}(\tilde{p})$ be manifold objects on
$\op M$ and $\op N$, respectively. Then $\br V=\phi^{*}\tilde{\br V}$,
or equivalently $\tilde{\br V}=\phi_{*}\br V$, is defined by
\begin{equation}
\br V(p)f(p)=\tilde{\br V}(\tilde{p})\tilde{f}(\tilde{p})\label{eq:aa15}
\end{equation}
In terms of local coordinates with $\tilde{x}=\theta(x)$, this is
\begin{equation}
V(x)F(x)=\tilde{V}(\tilde{x})\tilde{F}(\tilde{x})\label{eq:aa16}
\end{equation}
and the local coordinate transformation, here written as a push-forward,
is
\begin{equation}
\tilde{V}{}^{i}(\tilde{x})=\sum_{j=1}^{m}\dfrac{\partial\tilde{x}{}^{i}}{\partial x^{j}}V^{j}(x)\label{eq:aa17}
\end{equation}

In mappings between Riemannian manifolds $\phi:(\op M,\br g)\rightarrow(\op N,\br h)$,
the metric tensor also can be equivalently pulled back $\br g=\phi^{*}\tilde{\br g}$
or pushed forward $\tilde{\br g}=\phi_{*}\br g$ . The definition
is
\begin{equation}
\br g(p)\bigl\{\br V(p),\br W(p)\bigr\}=\tilde{\br g}(\tilde{p})\bigl\{\tilde{\br V}(\tilde{p}),\tilde{\br W}(\tilde{p})\bigr\}\label{eq:aa18}
\end{equation}
for any general pair of tangent vectors. The component relation, here
expressed as a pull-back, is
\begin{equation}
g_{ij}(x)=\sum_{k,l=1}^{m}\tilde{g}{}_{kl}(\tilde{x})\dfrac{\partial\tilde{x}{}^{k}}{\partial x^{i}}\dfrac{\partial\tilde{x}{}^{l}}{\partial x^{j}}\label{eq:aa19}
\end{equation}

The pushed forward metric $\tilde{\br g}=\phi_{*}\br g$ may or may
not be the same as a pre-existing metric $\br h$ of manifold $\op N$.
The case in which $\phi$ is diffeomorphic (as is assumed here), and
also $\tilde{\br g}=\phi_{*}\br g=\br h$, is called an \emph{isometry.}

As illustrated in \prettyref{fig:Act-Pass-fig}, an active diffeomorphism
is intended to transform the objects representing the physical world,
but keep the reference system unchanged. This requires the target
manifold to be the same as the original one, $\op N=\op M$, and the
system of local coordinates after the mapping to be the same as before,
$\tilde{\psi}=\psi$. The relation between old and new local coordinate
values is defined above as $\tilde{x}=\theta(x)$ where $\theta=\tilde{\psi}\circ\phi\circ\psi^{-1}$.
When $\tilde{\psi}=\psi$, this becomes
\begin{equation}
\theta=\psi\circ\phi\circ\psi^{-1}\label{eq:aa20}
\end{equation}
which is a defining property of any active diffeomorphism. Note that,
unlike the passive case in \prettyref{subsec:passive} which only
changed the local coordinates while leaving the underlying manifold
objects unchanged, active diffeomorphisms change the underlying manifold
objects in $\op M$ to new underlying manifold objects in the same
manifold $\op M$.

\subsection{Active Diffeomorphism with Fixed Metric}

In the pre-general-relativistic context of standard differential geometry,
metric $\br g$ is a fixed part of the definition of a Riemannian
manifold, denoted $(\op M,\br g)$, and the metric $\br h$ is a fixed
part of the definition of the target manifold $(\op N,\br h).$ Since
active diffeomorphisms are automorphisms with $\op N=\op M$, and
since a metric is fixed to its manifold, it must also be true that
$\br h=\br g$. Thus the mapping is
\begin{equation}
\phi:(\op M,\br g)\rightarrow(\op M,\br g)\label{eq:aa21}
\end{equation}
This means that only\emph{ isometric} active diffeomorphisms are allowable
in this pre-general-relativistic context, those with $\tilde{\br g}=\phi_{*}\br g=\br g$.\footnote{Due to the condition $\tilde{\psi}=\psi$ in \prettyref{eq:aa20},
the local coordinate expression of this isometry is $\tilde{g}{}_{ij}(\tilde{x})=g_{ij}(\tilde{x})$.}

\subsection{Active Diffeomorphism in General Relativity}

In general relativity the metric is not a fixed, prescribed property
of a Riemannian manifold. It is the solution of a differential equation,
unknown until the equation is solved. Thus, as developed by \citet{wald}
and \citet{carroll}, in general relativity the metric tensor can
be transformed arbitrarily in active diffeomorphisms, just as one
would transform any other second rank, covariant tensor field. The
active diffeomorphism can be represented in standard notation as
\begin{equation}
\phi:(\op M,\br g)\rightarrow(\op M,\phi_{*}\br g)\label{eq:aa22}
\end{equation}
If $\phi_{*}\br g=\br g$ we are of course back to the isometric transformations
of \prettyref{eq:aa21}.\footnote{Appendix 5 of \citet{carroll} refers to the mappings in \prettyref{eq:aa22}
simply as \textquotedbl{}diffeomorphisms\textquotedbl{} or, occasionally,
\textquotedbl{}active diffeomorphisms.\textquotedbl{} Thus Carroll's
term \textquotedbl{}diffeomorphism\textquotedbl{} is a synonym of
\textquotedbl{}active diffeomorphism.\textquotedbl{} Also, Wald and
Carroll refer to passive diffeomorphisms as gauge transformations.} Although $\br g$ may transform in the active diffeomorphisms of
general relativity, they remain automorphisms from manifold $\op M$
to itself without change of local coordinate system; thus \prettyref{eq:aa20}
must remain true for them.

\subsection{Generation of Active Diffeomorphisms}

\label{subsec:gen}Some of the machinery of Lie Group theory can be
borrowed to generate active diffeomorphisms from given tangent vector
fields. A useful class of   active diffeomorphisms can be constructed
by considering the mapping $\phi_{\tau}$ along a given tangent vector
field $V(x)$.\footnote{Section 39 of \citet{arnold}, pages 68-70 and Chapter 9 of \citet{lee-smooth},
and pages 27-32 and 250-251 of \citet{oneill}.} Given a chosen starting point $p\in\op M$, a smooth mapping $\eta:(0,\tau{}_{1})\rightarrow\op M$
defines a curve in $\op M$, with $p(\tau)=\eta(\tau)$ and $p(0)=\eta(0)=p$.
In terms of local coordinates this is $x(\tau)=\psi(p(\tau))$. Differentiating
this curve with respect to $\tau$ gives what is sometimes called
a \textquotedbl{}velocity\textquotedbl{} tangent vector $W(x(\tau))$
along the curve. Its components are $\dot{x}^{i}(\tau)=dx^{i}(\tau)/d\tau$.
Given a general tangent vector field $V(x),$ a curve whose velocity
matches that tangent vector for every $\tau\in(0,\tau_{1})$ is defined
by the set of differential equations
\begin{equation}
\dot{x}^{i}(\tau)=V^{i}(x(\tau))\quad\quad\mbox{where}\quad\quad i=1,\ldots,m\label{eq:aa23}
\end{equation}
whose solution $x(\tau)$ can be described as an integral curve or
\textquotedbl{}field line\textquotedbl{} of $V(x)$ passing through
$x(0)$. The corresponding field line in the manifold is then $p(\tau)=\psi^{-1}(x(\tau))$.

Since the tangent vector field is assumed to be defined at all points
of $\op M$, we can consider the family of all such field-line curves
beginning at every point $p\in M$. Consider an active diffeomorphic
mapping $\phi_{\tau}:\op M\rightarrow\op M$ which simultaneously
carries each $p=p(0)$ in $\op M$ into a $\tilde{p}=p(\tau)$ along
the particular field line starting at $p$. When $\tau=0$, this mapping
is the identity mapping $\phi_{0}=I$. When $\tau>0$, mapping $\phi_{\tau}$
will move each point $p=p(0)$ of $\op M$ along the appropriate field
line to a new point $\tilde{p}=p(\tau)=\phi_{\tau}(p)$. Expressing
the same mapping in local coordinates, each point $x=x(0)=\psi(p)$
is moved by active diffeomorphism $\theta_{\tau}=\psi\circ\phi_{\tau}\circ\psi^{-1}$
into a new point $\tilde{x}=x(\tau)=\theta_{\tau}(x)$. It is important
that the mapping $\phi_{\tau}$ is smoothly connected to the identity
at $\tau=0$. This ensures that the generated active diffeomorphisms
based on $\phi_{\tau}$ do not involve a change of coordinate scheme
that would violate \prettyref{eq:aa20}.

If $V(x)$ is a Killing Vector Field, then, by definition the active
diffeomorphism $\phi_{\tau}$ is isometric. Generation of more general
active diffeomorphisms with $\tilde{\br g}=\phi_{*}\br g\neq\br g$
requires that $V(x)$ not be a Killing Vector Field.

\subsection{Examples of the Generation of Active Diffeomorphisms}

Consider Cartesian three space with coordinates\footnote{The coordinates $x=(x^{1},x^{2},x^{3})$ are written here as $(x,y,z)$
for readibility.} $(x,y,z)$ and metric defined by the matrix $\mat g(x)=\text{diag}(1,1,1)$.

Choose a Killing Vector Field with components $V(x)=(-y,x,0)$. Then
\prettyref{eq:aa23} becomes
\begin{equation}
\dfrac{dx(\tau)}{d\tau}=-y\quad\quad\quad\dfrac{dy(\tau)}{d\tau}=x\quad\quad\quad\dfrac{dz(\tau)}{d\tau}=0\label{eq:aa24}
\end{equation}
with solution
\begin{equation}
\tilde{x}=x(\tau)=A\cos\tau-B\sin\tau\quad\quad\tilde{y}=y(\tau)=A\sin\tau+B\cos\tau\quad\quad\tilde{z}=C\label{eq:aa25}
\end{equation}

The initial condition $(x(0),y(0),z(0))=(x,y,z)$ then gives the active
diffeomorphism for epoch $\tau$ as
\begin{equation}
\tilde{x}=x\cos\tau-y\sin\tau\quad\quad\tilde{y}=x\sin\tau+y\cos\tau\quad\quad\tilde{z}=z\label{eq:aa26}
\end{equation}
which is the same as \prettyref{eq:a3} with epoch $\tau$ identified
with rotation angle $\alpha$. Since this transformation is orthogonal,
the transformed metric remains $\tilde{\mat g}(\tilde{x})=\text{diag}(1,1,1)$.
Thus $\tilde{\br g}=\phi_{*}\br g=\br g$ and the active diffeomorphism
is isometric.

Now choose a non-Killing Vector Field with components $V(x)=(y,0,0)$.
Then \prettyref{eq:aa23} becomes
\begin{equation}
\dfrac{dx(\tau)}{d\tau}=y\quad\quad\quad\dfrac{dy(\tau)}{d\tau}=0\quad\quad\quad\dfrac{dz(\tau)}{d\tau}=0\label{eq:aa27}
\end{equation}
with solution
\begin{equation}
\tilde{x}=x(\tau)=a+b\tau\quad\quad\tilde{y}=y(\tau)=b\quad\quad\tilde{z}=c\label{eq:aa28}
\end{equation}
The initial condition $(x(0),y(0),z(0))=(x,y,z)$ then gives the active
diffeomorphism for epoch $\tau$ as
\begin{equation}
\tilde{x}=x+y\tau\quad\quad\tilde{y}=y\quad\quad\tilde{z}=z\label{eq:aa29}
\end{equation}
The transformed metric obtained from the inverse of \prettyref{eq:aa19}
is
\begin{equation}
\tilde{\mat g}(\tilde{x})=\left(\begin{array}{ccc}
1 & -\tau & 0\\
-\tau & (\tau^{2}+1) & 0\\
0 & 0 & 1
\end{array}\right)\label{eq:aa30}
\end{equation}
and the active diffeomorphism is not isometric.

Note that both of these active diffeomorphisms reduce smoothly to
the identity when $\tau=0$, consistent with \prettyref{eq:aa20}
and the condition that active diffeomorphisms do not change the system
of local coordinates but only the manifold point being represented.

\subsection{Essential Difference Between Passive and Active Diffeomorphisms}

\label{subsec:padiff}Passive diffeomorphisms change the system of
local coordinates but do not change the manifold objects being represented
in those coordinates. Thus the same point $p\in\op M$ in the manifold
is represented by $x=\psi(p)$ and $x'=\psi'(p)$. Also $g_{\mu\nu}(x)$
and $g'_{\mu\nu}(x')$ both represent the same underlying metric tensor
field $\br g(p)$ defined on the manifold $\op M$.

Active diffeomorphisms are the opposite of passive ones. In them the
underlying manifold point $p\in\op M$ is mapped to a different point
$\tilde{p}=\phi_{\tau}(p)\in\op M$ with both old and new points being
represented in the same system of local coordinates. Thus $x=\psi(p)$
and $\tilde{x}=\psi(\tilde{p})$ are different, not because of a change
of coordinate system, but because the manifold point being represented
has been mapped from $p$ to $\tilde{p}$. The underlying manifold
objects are also changed: $\tilde{f}(p)\neq f(p)$, $\tilde{\br V}(p)\neq\br V(p)$,
$\tilde{\br g}(p)\neq\br g(p)$, and so on for other tensors. Manifold
objects are often used to model the physical world. The change of
these manifold objects by an active diffeomorphism thus changes the
model. The thrust of the hole argument in \prettyref{sec:hole-in-gr}
is to prove that two different models, one derived from the other
by an active diffeomorphism, can both be solutions of the same Einstein
field equation.

\section{Einstein's Hole Argument in General Relativity}

\label{sec:hole-in-gr}The Einstein field equation may be written
as
\begin{equation}
R_{\mu\nu}-\dfrac{1}{2}g_{\mu\nu}R+\kappa T_{\mu\nu}=0\label{eq:gr1}
\end{equation}
where $R_{\mu\nu}$ is the Ricci tensor, $R$ is the curvature invariant,
$\kappa$ is a universal constant related to the Newton gravitational
constant, and $T_{\mu\nu}$ is the energy-momentum tensor source.
This equation may be written in a form that presents its dependency
on the metric tensor and its derivatives explicitly. It is
\begin{equation}
\op R_{\mu\nu}(g(x),x)-\dfrac{1}{2}g_{\mu\nu}(x)\left(g^{\alpha\beta}(x)\op R_{\alpha\beta}(g(x),x)\right)+\kappa T_{\mu\nu}(x)=0\label{eq:gr2}
\end{equation}
where the functions $\op R_{\mu\nu}$ are defined by\footnote{See \citet{synge} equations 2.241, 2.242, and 3.203. The Einstein
summation convention is used. A term containing a repeated Greek index
is summed over that index, from $0$ to $3$. }
\begin{equation}
\op R_{\mu\nu}(g(x),x)=\dfrac{\partial}{\partial x^{\nu}}\left\{ {\alpha\atop \mu\alpha}\right\} -\dfrac{\partial}{\partial x^{\alpha}}\left\{ {\alpha\atop \mu\nu}\right\} +\left\{ {\beta\atop \mu\alpha}\right\} \left\{ {\alpha\atop \beta\nu}\right\} -\left\{ {\beta\atop \mu\nu}\right\} \left\{ {\alpha\atop \beta\alpha}\right\} \label{eq:gr3}
\end{equation}
\begin{equation}
\text{where}\quad\quad\left\{ {\mu\atop \nu\alpha}\right\} =\dfrac{1}{2}g^{\mu\delta}(x)\left(\frac{\partial g_{\delta\nu}(x)}{\partial x^{\alpha}}+\frac{\partial g_{\delta\alpha}(x)}{\partial x^{\nu}}-\frac{\partial g_{\nu\alpha}(x)}{\partial x^{\delta}}\right)\label{eq:gr4}
\end{equation}

Now perform a general non-Killing active diffeomorphism $\theta_{\tau}=\psi\circ\phi_{\tau}\circ\psi^{-1}$
from local coordinates $x$ to local coordinates $\tilde{x}=\theta_{\tau}(x)$.
After this active diffeomorphism the field equation becomes
\begin{equation}
\op R_{\mu\nu}(\tilde{g}(\tilde{x}),\tilde{x})-\dfrac{1}{2}\tilde{g}_{\mu\nu}(\tilde{x})\left(\tilde{g}^{\alpha\beta}(\tilde{x})\op R_{\alpha\beta}(\tilde{g}(\tilde{x}),\tilde{x})\right)+\kappa\tilde{T}_{\mu\nu}(\tilde{x})=0\label{eq:gr5}
\end{equation}
Comparing \prettyref{eq:gr5} after the active diffeomorphism to \prettyref{eq:gr2}
before it, note that there is no tilde on the function $\op R$. Due
to \prettyref{eq:aa22} and the general covariance of the Ricci tensor,
$\op R_{\mu\nu}(\tilde{g}(\tilde{x}),\tilde{x})$ is exactly the same
function of $(\tilde{g}(\tilde{x}),\tilde{x})$ as $\op R_{\mu\nu}(g(x),x)$
is of $(g(x),x)$. But, since we have not yet applied Einstein's restricted
definition of the energy-momentum source, $\tilde{T}_{\mu\nu}$ is
generally a different function from $T_{\mu\nu}$.

\begin{figure}[H]
\includegraphics[width=1\textwidth]{hs}

\caption{\label{fig:hs}A schematic diagram of the hole $H$ and source $S$
regions of the hole argument. On the left the hole $H$ is surrounded
by source $S$ as envisioned by Einstein. On the right, the source
$S$ is surrounded by the hole $H$ as used in \prettyref{sec:schole}.
The transition regions inside $H$ are necessary to preserve the differentiability
of the active diffeomorphism.}
\end{figure}
Now apply Einstein's restrictions. First, assume only experimental
situations in which there is a hole region $H$ with $T_{\mu\nu}(x)\equiv0$
for $x\in H$. Then consider an active diffeomorphism that is the
identity ($V(x)\equiv0$ and hence $\theta_{\tau}(x)=I$) in the region
$S$ that is the complement of $H$, but not the identity in $H$
itself.\footnote{See \prettyref{fig:hs}. The chosen active diffeomorphism must have
a small transition region just inside $H$, transitioning smoothly
from identity in $S$ to non-identity inside $H$, in order to satisfy
the basic condition that active diffeomorphisms must be smooth functions. } It follows that the energy-momentum tensor is untransformed both
in $H$ (because a zero tensor transforms to the zero tensor regardless
of the transformation) and $S$ (because the active diffeomorphism
is the identity in $S$). Thus $\tilde{T}_{\mu\nu}(\tilde{x})=T_{\mu\nu}(\tilde{x})$
throughout the manifold, and \prettyref{eq:gr5} becomes
\begin{equation}
\op R_{\mu\nu}(\tilde{g}(\tilde{x}),\tilde{x})-\dfrac{1}{2}\tilde{g}_{\mu\nu}(\tilde{x})\left(\tilde{g}^{\alpha\beta}(\tilde{x})\op R_{\alpha\beta}(\tilde{g}(\tilde{x}),\tilde{x})\right)+\kappa T_{\mu\nu}(\tilde{x})=0\label{eq:gr6}
\end{equation}
with no tilde on the $T$. However, the function $\tilde{g}_{\mu\nu}$
that solves \prettyref{eq:gr6} is not the same function as the $g_{\mu\nu}$
that solves \prettyref{eq:gr2}. Inside the hole region $\tilde{g}_{\mu\nu}(\tilde{x})\neq g_{\mu\nu}(\tilde{x})$.

If \prettyref{eq:gr6} is satisfied, it follows that the differential
equation
\begin{equation}
\op R_{\mu\nu}(\tilde{g}(x),x)-\dfrac{1}{2}\tilde{g}_{\mu\nu}(x)\left(\tilde{g}^{\alpha\beta}(x)\op R_{\alpha\beta}(\tilde{g}(x),x)\right)+\kappa T_{\mu\nu}(x)=0\label{eq:gr7}
\end{equation}
must also be satisfied. Comparison of \prettyref{eq:gr7} and \prettyref{eq:gr2}
demonstrates that $\tilde{g}_{\mu\nu}(x)$ and $g_{\mu\nu}(x)$ are
both solutions to the same Einstein field equation. Thus, in this
experimental situation, there are two or more solutions to the Einstein
field equation with the same energy-momentum tensor source, as Einstein
asserted. The physical meaning of these multiple solutions, and the
possibility of the rejection of some of them as spurious, is the subject
of \prettyref{sec:phys} below.

Note that \prettyref{eq:gr7} differs from \prettyref{eq:gr6} only
in the replacement $\tilde{x}\rightarrow x$ throughout. The argument
leading from \prettyref{eq:gr6} to \prettyref{eq:gr7} is as follows:
In linear algebra, one often uses dummy indices whose replacement
by other letters does not change a sum, provided that the two sets
of indices are summed over the same range. Thus the equality $\sum_{i=1}^{5}K_{i}=6$
is true if and only if $\sum_{j=1}^{5}K_{j}=6$ is true. Dummy indices
have an analog in differential equations. The equality $df(t)/dt=-\lambda f(t)$
is true if and only if $df(u)/du=-\lambda f(u)$ is true, provided
only that the dummy variables $t$ and $u$ are of the same character
and range, here real numbers in $(-\infty,\infty)$. Now make the
same sort of substitution in \prettyref{eq:gr6}, with $\tilde{x}$
in place of $t$ and $x$ in place of $u$, with $\tilde{g}_{\mu\nu}$
playing the role of $f$. The condition that $\tilde{x}$ and $x$
are variables of the same character and range is ensured by the condition
$\tilde{\psi}=\psi$ and \prettyref{eq:aa20}. Also, the fact that
active diffeomorphisms constructed as in \prettyref{subsec:gen} are
smoothly connected to the identity when $\tau\rightarrow0$ rules
out transformations, such as from Cartesian to spherical polar, that
would make the ranges of $\tilde{x}$ and $x$ different. With the
substitution $\tilde{x}\rightarrow x$, the equality in \prettyref{eq:gr6}
is true if and only if the equality in \prettyref{eq:gr7} is true.

Note the crucial importance of Einstein's restriction that the energy-momentum
source must vanish in the hole. Without that restriction, the $T$
in both \prettyref{eq:gr6} and \prettyref{eq:gr7} would be replaced
by $\tilde{T}$. The $\tilde{g}$ would still be a different metric
solution, but it would be the solution to a \emph{different} differential
equation, one with an actively transformed source $\tilde{T}$ that
models a \emph{different} experimental situation, and not a second
solution to the original differential equation with the original source
$T$. Without the Einstein condition on $T$, the above proof of multiple
solutions fails.

\section{Physical Meaning\protect\footnote{As noted above, by \textquotedbl{}physical meaning\textquotedbl{}
of local coordinates I mean a defined relation between them and some
physical quantity like length or relativistic interval.} in Einstein's Multiple Metrics}

\label{sec:phys}Einstein's final form of his field equation is generally
covariant. It therefore suffers from the multiplicity of  solutions
derived in \prettyref{sec:hole-in-gr}. His resolution was to assert
that all the metric solutions are physically equivalent, and to deny
that local coordinates represent anything real.\footnote{\label{fn:stachel}See \textquotedbl{}How Einstein Discovered General
Relativity: A Historical Tale With Some Contemporary Morals\textquotedbl{}
pp. 293-299 of \citet{stachel-btoz}}

In one reading, Einstein's denial of the reality of local coordinates
only repeats a fact of pre-general-relativistic differential geometry.
The local coordinates $x=\psi(p)$ with $p\in\op M$ defined on a
bare manifold $\op M$ by means of homeomorphism $\psi$ do not initially
have any definite relation to any physical or geometrical quantity.
The coordinates $x$ are just $m$-tuples of real numbers. In pre-general-relativistic
cases, these numbers acquire geometric or physical meaning only when
the move is made to Riemannian geometry by adding a (fixed) metric
to the manifold.\footnote{Of course the natural Euclidean metric of $m$-tuples of real numbers
is always available. But it does not have to be applied. For example,
in Hamiltonian mechanics the Euclidean metric is not used, with a
symplectic structure function applied instead.} The situation is even more extreme in general relativity, in which
a definite metric is not even available to be applied to $\op M$
until \emph{after} the field equation is solved. In general relativity,
a solution to the Einstein field equation is to be obtained using
local coordinates of unknown physical meaning. Each metric tensor
solution then has a privileged role; each of them determines the physical
meaning of the coordinates $x$ in terms of which it is written.

Since local coordinates obtain their physical meaning only from a
metric solution to the field equation, it follows that different metric
solutions to the field equations may give different physical meanings
to the same set of local coordinates. The fact that, at a given manifold
point $p$, the local coordinates $x=(x^{0},x^{1},x^{2},x^{3})$ in
$g_{\mu\nu}(x)$ are the same quadruple of real numbers as the $x$
in $\tilde{g}_{\mu\nu}(x)$ does not mean that the local coordinates
$x$ have the same physical meaning in both solutions. Each metric
solution brings its own assignment of physical or geometrical meaning
to the local coordinates used to write it.

On this reading, Einstein's statement should be modified to say not
that local coordinates have no meaning,\footnote{Note that solutions to the Einstein field equation such as the Schwarzschild
or Robertson-Walker metrics do indeed assign a physical meaning to
their coordinates.} but rather that local coordinates have no \emph{independent} meaning,
independent of the metric solution. Each of the multiple metric solutions
carries its own physical interpretation of its own local coordinates.
I propose three resolutions to this problem of undetermined local
coordinate meaning, each of which denies the necessity of multiple
solutions to the field equation.

\subsection{Resolution A: Active Diffeomorphisms Must be Isometric}

Resolution A suggests that a strict definition of the term \textquotedbl{}active
diffeomorphisms\textquotedbl{} requires them to be isometric, and
thus prevents their use in the hole argument. The condition $\tilde{\psi}=\psi$
leading to \prettyref{eq:aa20} was to guarantee that the mapping
$\psi(p)$ from manifold points $p$ to local coordinates is the same
before and after the active diffeomorphism. This is the defining condition
that an active diffeomorphism modifies the physical world but must
not modify the system of coordinates used to observe it. But when
the non-isometric case $\tilde{\br g}\neq\br g$ is allowed, the transformed
metric $\tilde{\br g}(\tilde{x})$ gives transformed coordinate $\tilde{x}$
a physical meaning different from the one that the original metric
$\br g(x)$ gave to original coordinate $x$. This difference of meaning
modifies the system of local coordinates in an essential way; it therefore
violates the defining condition of active diffeomorphisms and must
be rejected. But when only isometric active diffeomorphisms are allowed,
there is no hole argument. By definition, an isometric active diffeomorphism
simply replicates the same metric tensor and does not provide a new
one; multiple solutions are not generated.

\subsection{Resolution B: Selection by Symmetry}

Resolution B ignores the strict definition demanded by Resolution
A and allows non-isometric active diffeomorphisms of the sort outlined
in \prettyref{sec:actpas} and \citet{carroll}. Each of the resulting
multiple solutions to \prettyref{eq:gr2} is then an equally valid
candidate solution, but each gives a different physical meaning to
the local coordinates in terms of which it is written. As with many
differential equations, one must then reject some solutions as spurious.
Any solution that gives a physical meaning to its local coordinates
that violates the symmetries demanded by the experimental situation
being modeled can be rejected as spurious. Thus solving \prettyref{eq:gr2}
is only the first step in a solution procedure for the Einstein field
equation. There are multiple solutions, but also a method to select
the correct one from among them and to reject the others as spurious.

\subsection{Resolution C: Use of a Template}

Resolution C is similar to Resolution B above, but rather than actually
choosing one solution with the desired symmetry from a multiplicity
of candidate solutions, one simply enforces symmetry from the start
by specifying a template that forces a single solution exhibiting
that symmetry. For example, in \prettyref{sec:schwarz} for the Schwarz\-schild
metric one solves the Einstein equation in two steps, the first of
which is to choose a template metric which forces spherical symmetry
and almost completely defines the physical meanings of its coordinates.
The second step is to substitute this template into the field equation
to determine its remaining parameters. In effect, the metric is largely
determined by the first step; the Einstein field equation is used
as a kind of auxiliary condition to determine certain residual parameters
and ensure consistency with Newtonian gravity. Solutions other than
the one derived from the template then violate the template and its
symmetry and can be rejected as spurious.

Although Resolutions A, B, and C differ, they agree that, despite
the mathematical proof in \prettyref{sec:hole-in-gr}, the existence
of a unique solution to the Einstein field equation cannot be ruled
out.

\section{The Schwarzschild Example}

\label{sec:schwarz}A good test case to illustrate the hole argument
with active diffeomorphisms that modify the metric tensor is the Schwarzschild
solution to the Einstein field equation in the empty space surrounding
a spherically symmetric source region.

The first step to the Schwarzschild solution is to construct a template
metric that defines the geometric properties of some of the local
coordinates and enforces spherical symmetry.\footnote{See Chapter 8 of \citet{weinberg}, Chapter 11 of \citet{rindler},
Chapter 14 of \citet{dinverno}.} A standard template denotes the variable set as $(x^{0},x^{1},x^{2},x^{3})=(t,r,\theta,\phi)$
and sets the template $g_{\mu\nu}(x)$ equal to the diagonal matrix
\begin{equation}
\mat g(x)=\text{diag}\left(-c^{2}\beta(r),\alpha(r),r^{2},r^{2}\sin^{2}\theta\right)\label{eq:sch1}
\end{equation}
This choice of template enforces the spherical symmetry of the problem,
identifies $\theta$ and $\phi$ as the standard angles of spatial
spherical polar coordinates, and makes the area of the surface $t=\text{const.}$,
$r=\text{const.}$ equal to $4\pi r^{2}$. This template is substituted
into \prettyref{eq:gr2}; straightforward algebra then determines
the functions $\alpha$ and $\beta$ and arrives at
\begin{equation}
\mat g(x)=\mbox{diag}\left\{ -\left(1-\dfrac{2m}{r}\right)c^{2},\left(1-\dfrac{2m}{r}\right)^{-1},r^{2},r^{2}\sin^{2}\theta\right\} \label{eq:sch2}
\end{equation}
where $m=GM/c^{2}$, with Newton's gravitational constant $G$, the
total mass of the source $M$, and the speed of light $c$.\footnote{If the unknown functions $\alpha$ and $\beta$ in \prettyref{eq:sch1}
are allowed to be functions of both $r$ \emph{and} $t$, the same
metric \prettyref{eq:sch2} is obtained, a result known as Birkhoff's
theorem. See Chapter XV of \citet{birkhoff}, and Chapter 14 of \citet{dinverno}.} The Schwarzschild solution in \prettyref{eq:sch2} is \emph{uniquely
determined} given the template that sets its desired symmetry.

The Robertson-Walker metric is similarly derived from a template enforcing
its symmetries\footnote{Chapter 13 of \citet{weinberg} derives this template as well as \prettyref{eq:sch1}
from a requirement of maximal subspace symmetry, with no prior reference
to the Einstein field equation.}
\begin{equation}
\mat g(x)=\text{diag}\left(-c^{2},(\alpha(t))^{2}/(1-kr^{2}),(r\alpha(t))^{2},(r\alpha(t))^{2}\sin^{2}\theta\right)\label{eq:sch3}
\end{equation}
where $k$ is $-1$, $0$, or $+1$ and scale factor $\alpha(t)$
can be derived from the Einstein field equation together with assumptions
about the density and nature of matter in a cosmological model.\footnote{See \citet{dinverno}, Section 22.9.}

\section{The Hole Argument with the Schwarzschild Solution}

\label{sec:schole}Now apply the hole argument to the Schwarz\-schild
solution. Referring to \prettyref{fig:hs} and the description of
the hole argument in \prettyref{sec:hole-in-gr}, region $S$ can
be taken as all points with $r\le r_{1}$ where $r_{1}$ is a radius
beyond all energy-momentum tensor sources and also beyond the Schwarzschild
radius $r=2m$. Region $H$ is then all points with $r>r_{1}$. The
transition region inside $H$ is all points with $r_{1}<r<r_{2}$
where $r_{2}$ is some arbitrarily chosen boundary. In this example,
the \textquotedbl{}hole\textquotedbl{} region $H$ is in fact exterior
to the source region $S$, but this choice makes no difference to
the hole argument. All that is required is that $H\cap S=\textrm{Ø}$
and $H\cup S=\op M$.

To apply the hole argument, first define a smoothing function to enforce
the differentiability of the active diffeomorphism in the transition
region. It is\footnote{See pages 40-42 of \citet{lee-smooth}.}
\begin{equation}
\xi(s)=\left\{ \begin{array}{ccc}
\exp(-1/s) & \mbox{for} & s>0\\
\: & \: & \:\\
0 & \mbox{for} & s\le0
\end{array}\right.\label{eq:schole1}
\end{equation}
Then choose an arbitrary (but non-Killing) tangent vector field $X(x)$
and define a tangent vector field $V(x)$ by
\begin{equation}
V(x)\equiv0\quad\quad V(x)=\left(\dfrac{\xi(r-r_{1})}{\xi(r-r_{1})+\xi(r_{2}-r)}\right)X\left(x\right)\quad\quad V(x)=X(x)\label{eq:schole2}
\end{equation}
in region $S$, the transition region, and the remainder of region
$H$, respectively.

As described in \prettyref{subsec:gen}, for any fixed $\tau$ value
an   active diffeomorphism $\phi_{\tau}$ can be defined by following
the field lines of tangent vector $V(x)$. It changes the metric of
\prettyref{eq:sch2} to a new metric in region $H$, but without changing
the metric or the source in region $S$ where $V(x)\equiv0$ and hence
$\phi_{\tau}=I,$ the identity transformation.

Applying the hole argument with this   active diffeomorphism, the
unchanged mass source in region $S$ now produces a family of different
metrics $\tilde{\br g}=\phi_{\tau*}\br g$ that solve \prettyref{eq:gr2}
in region $H$. It then follows that a given source in region $S$
of the Schwarzschild problem produces many different solutions in
region $H$, one for each $\tau$ value and choice of tangent vector
field $X(x)$.

For example, choose the $X(x)$ to have local coordinates $(0,a\phi,0,0)$
where $a$ is some fixed parameter having units of length. Use the
inverse of \prettyref{eq:aa19} with the  active diffeomorphism given
by the procedure in \prettyref{subsec:gen} to write the transformed
metric tensor. In region $H$ beyond the transition region, it is
\begin{equation}
\tilde{\mat g}(x)=\left(\begin{array}{cccc}
-c^{2}\lambda & 0 & 0 & 0\\
0 & \lambda^{-1} & 0 & -a\tau\lambda^{-1}\\
0 & 0 & \left(r-a\tau\phi\right)^{2} & 0\\
0 & -a\tau\lambda^{-1} & 0 & \chi
\end{array}\right)\label{eq:schole3}
\end{equation}
where
\begin{equation}
\lambda=\dfrac{r-a\tau\phi-2m}{r-a\tau\phi}\quad\quad\text{and}\quad\quad\chi=a^{2}\tau^{2}\lambda^{-1}+\left(r-a\tau\phi\right)^{2}\sin^{2}\theta\label{eq:schole4}
\end{equation}

Because of its generation by the hole procedure, \prettyref{eq:schole3}
is certainly another  solution to the Einstein field equation with
the same source field $T$. But it may be rejected by symmetry considerations.
The Schwarzschild solution \prettyref{eq:sch2} enforces the desired
spherical symmetry resulting from the assumed spherically symmetric
mass distribution. The metric solution \prettyref{eq:schole3} lacks
that spherical symmetry. In fact, due to the uniqueness of the Schwarzschild
solution given the template metric, there is no possible alternate
solution with the same template \prettyref{eq:sch1} but different
parameters $\alpha$ and $\beta$. The Schwarzschild metric stands
as a counterexample to the proposition that the Einstein field equation
must of necessity always have multiple solutions.

The Robertson-Walker metric is similarly derived by starting with
a template, \prettyref{eq:sch3}, enforcing spherical symmetry. A
non-isometric active diffeomorphism applied to it will result in a
metric that violates that template, just as in the Schwarzschild case.

\section{Conclusion}

\label{sec:con}The proof in \prettyref{sec:hole-in-gr} demonstrates
mathematically that the Einstein field equation has multiple metric
solutions. But since no metric is defined until after the field equation
is solved, that proof is of necessity just a numerical exercise written
using local coordinates that are quadruples of real numbers with no
definite physical meaning, i.e., no assigned relation to relativistic
interval. After the field equation is solved, each of the multiple
metric solutions then assigns its own physical meaning to the local
coordinates in terms of which it is written. As noted in Resolutions
B and C of \prettyref{sec:phys}, these various physical meanings
of the local coordinates, as read from the various metric solutions,
may then be used to reject as spurious those solutions whose local
coordinates have a meaning inconsistent with the symmetries of the
experimental situation being modeled. This rejection of spurious solutions
opens the possibility that in some cases, such as the Schwarzschild
metric, only one solution may survive. Thus the hole argument cannot
prove the assertion that the Einstein field equation must have multiple
solutions.

A considerable intellectual superstructure has been built on the foundation
of the hole argument, beginning with Einstein himself who asserted
that because of it the local coordinates used to write his field equation
can have no physical meaning.\footnote{See \prettyref{sec:phys}.}
Later authors\footnote{\citet{earman-norton}, Chapter V of \citet{stachel-btoz} and others
quoted therein.} have expanded this intuition into a general argument against what
is sometimes called manifold substantivalism, roughly defined as a
realist interpretation of the manifold of differential geometry. The
failure of the hole proof noted above removes Einstein's contribution
to this argument.

\bibliographystyle{spbasic}


\section{Introduction}\label{sec-intro}

The goal of the present paper is to establish the Yamada-Watanabe Theorem -- which originates from the paper \cite{Yamada} -- for mild solutions to semilinear stochastic partial differential equations (SPDEs)
\begin{align}\label{SPDE}
dX(t) = (A X(t) + \alpha(t,X)) dt + \sigma(t,X)dW(t)
\end{align}
in the spirit of \cite{Da_Prato, Prevot-Roeckner, Atma-book} with path-dependent coefficients.
More precisely, denoting by $H$ the state space of (\ref{SPDE}), we will prove the following result (see, e.g. \cite{Ikeda} for the finite dimensional case):

\begin{theorem}\label{thm-main}
The SPDE (\ref{SPDE}) has a unique mild solution if and only if both of the following two conditions are satisfied:
\begin{enumerate}
\item For each probability measure $\mu$ on $(H,\mathcal{B}(H))$ there exists a martingale solution $(X,W)$ to (\ref{SPDE}) such that $\mu$ is the distribution of $X(0)$.

\item Pathwise uniqueness for (\ref{SPDE}) holds.
\end{enumerate}
\end{theorem}

The precise conditions on $A$, $\alpha$ and $\sigma$, under which Theorem \ref{thm-main} holds true, are stated in Assumptions~\ref{ass-1} and \ref{ass-2} below.
So far, the following two versions of the Yamada-Watanabe Theorem in infinite dimensions are known in the literature:
\begin{itemize}
\item For SPDEs of the type (\ref{SPDE}) with state-dependent coefficients $\alpha(t,X(t))$ and $\sigma(t,X(t))$; see \cite{Ondrejat}.

\item For stochastic evolution equations in the framework of the variational approach; see \cite{Roeckner}.
\end{itemize}
We will divide the proof of Theorem~\ref{thm-main} into two steps:
\begin{enumerate}
\item First, we show that we can reduce the proof to Hilbert space valued SDEs
\begin{align}\label{SDE}
dY_t = \bar{\alpha}(t,Y) dt + \bar{\sigma}(t,Y) dW_t.
\end{align}
This is due to the ``method of the moving frame'', which has been presented in \cite{SPDE}, see also \cite{Tappe-Refine}.

\item For Hilbert space valued SDEs (\ref{SDE}) however, the Yamada-Watanabe Theorem is a consequence of \cite{Roeckner}.
\end{enumerate}
The remainder of this paper is organized as follows: In Section~\ref{sec-framework} we present the general framework, in Section~\ref{sec-proof} we provide the proof of Theorem~\ref{thm-main}, and in Section~\ref{sec-example} we show an example illustrating Theorem~\ref{thm-main}.

\section{Framework and definitions}\label{sec-framework}

In this section, we prepare the required framework and definitions. The framework is similar to that in \cite{Roeckner} and we refer to this paper for further details.

Let $H$ be a separable Hilbert space and let $(S_t)_{t \geq 0}$ be a $C_0$-semigroup on $H$ with infinitesimal generator $A : \mathcal{D}(A) \subset H \rightarrow H$. The path space
\begin{align*}
\mathbb{W}(H) := C(\mathbb{R}_+;H)
\end{align*}
is the space of all continuous functions from $\mathbb{R}_+$ to $H$. Equipped with the metric
\begin{align}\label{metric}
\rho(w_1,w_2) := \sum_{k=1}^{\infty} 2^{-k} \Big( \sup_{t \in [0,k]} \| w_1(t) - w_2(t) \| \wedge 1 \Big),
\end{align}
the path space $(\mathbb{W}(H),\rho)$ is a Polish space. Furthermore, we define the subspace
\begin{align*}
\mathbb{W}_0(H) := \{ w \in \mathbb{W}(H) : w(0) = 0 \}
\end{align*}
consisting of all functions from the path space $\mathbb{W}(H)$ starting in zero. For $t \in \mathbb{R}_+$ we denote by
$\mathcal{B}_t(\mathbb{W}(H))$ the $\sigma$-algebra generated by all maps $\mathbb{W}(H) \rightarrow H$, $w \mapsto w(s)$ for $s \in [0,t]$.
Let $\mathcal{C}(H)$ be the collection of all cylinder sets of the form
\begin{align}\label{cyl-1}
\{ w \in \mathbb{W}(H) : w(t_1) \in B_1, \ldots, w(t_n) \in B_n \}
\end{align}
with $t_1,\ldots,t_n \in \mathbb{R}_+$ and $B_1,\ldots,B_n \in \mathcal{B}(H)$ for some $n \in \mathbb{N}$, and let $\mathcal{C}'(H)$ be the collection of all cylinder sets of the form
\begin{align}\label{cyl-2}
\{ w \in \mathbb{W}(H) : (w(t_1), \ldots, w(t_n)) \in B \}
\end{align}
for $t_1,\ldots,t_n \in \mathbb{R}_+$ and $B \in \mathcal{B}(H)^{\otimes n}$ for some $n \in \mathbb{N}$.
Similarly, for $t \in \mathbb{R}_+$ let $\mathcal{C}_t(H)$ be the collection of all cylinder sets of the form (\ref{cyl-1}) with $t_1,\ldots,t_n \in [0,t]$ and $B_1,\ldots,B_n \in \mathcal{B}(H)$ for some $n \in \mathbb{N}$, and let $\mathcal{C}_t'(H)$ be the collection of all cylinder sets of the form (\ref{cyl-2}) for $t_1,\ldots,t_n \in [0,t]$ and $B \in \mathcal{B}(H)^{\otimes n}$ for some $n \in \mathbb{N}$.

\begin{lemma}\label{lemma-cylinders}
The following statements are true:
\begin{enumerate}
\item We have $\mathcal{B}(\mathbb{W}(H)) = \sigma(\mathcal{C}(H)) = \sigma(\mathcal{C}'(H))$.

\item We have $\mathcal{B}_t(\mathbb{W}(H)) = \sigma(\mathcal{C}_t(H)) = \sigma(\mathcal{C}_t'(H))$ for each $t \in \mathbb{R}_+$.
\end{enumerate}
\end{lemma}

\begin{proof}
We can argue as in the finite dimensional case, see e.g. \cite[Section 2.II]{Shiryaev}.
\end{proof}

Let $U$ be another separable Hilbert space and let $L_2(U,H)$ denote the space of all Hilbert-Schmidt operators from $U$ to $H$ equipped with the Hilbert-Schmidt norm.
Let $\alpha : \mathbb{R}_+ \times \mathbb{W}(H) \rightarrow H$ and $\sigma : \mathbb{R}_+ \times \mathbb{W}(H) \rightarrow L_2(U,H)$ be mappings.

\begin{assumption}\label{ass-1}
We suppose that the following conditions are satisfied:
\begin{enumerate}
\item $\alpha$ is $\mathcal{B}(\mathbb{R}_+) \otimes \mathcal{B}(\mathbb{W}(H)) / \mathcal{B}(H)$-measurable such that for each $t \in \mathbb{R}_+$ the mapping $\alpha(t,\bullet)$ is $\mathcal{B}_t(\mathbb{W}(H))/\mathcal{B}(H)$-measurable.

\item $\sigma$ is $\mathcal{B}(\mathbb{R}_+) \otimes \mathcal{B}(\mathbb{W}(H)) / \mathcal{B}(L_2(U,H))$-measurable such that for each $t \in \mathbb{R}_+$ the mapping $\sigma(t,\bullet)$ is $\mathcal{B}_t(\mathbb{W}(H))/\mathcal{B}(L_2(U,H))$-measurable.
\end{enumerate}
\end{assumption}

We call a filtered probability space $\mathbb{B} = (\Omega,\mathcal{F},(\mathcal{F}_t)_{t \geq 0},\mathbb{P})$ satisfying the usual conditions a \emph{stochastic basis}. In the sequel, we shall use the abbreviation $\mathbb{B}$ for a stochastic basis $(\Omega,\mathcal{F},(\mathcal{F}_t)_{t \geq 0},\mathbb{P})$, and the abbreviation $\mathbb{B}'$ for another stochastic basis $(\Omega',\mathcal{F}',(\mathcal{F}_t')_{t \geq 0},\mathbb{P}')$.
For a sequence $(\beta_k)_{k \in \mathbb{N}}$ of independent Wiener processes we call the sequence
\begin{align*}
W = (\beta_k)_{k \in \mathbb{N}}
\end{align*}
a \emph{standard $\mathbb{R}^{\infty}$-Wiener process}.

\begin{definition}\label{def-martingal-sol}
A pair $(X,W)$, where $X$ is an adapted process with paths in $\mathbb{W}(H)$ and $W$ is a standard $\mathbb{R}^{\infty}$-Wiener process on a stochastic basis $\mathbb{B}$ is called a \emph{martingale solution} to (\ref{SPDE}), if we have $\mathbb{P}$--almost surely
\begin{align*}
\int_0^t \| \alpha(s,X) \| ds + \int_0^t \| \sigma(s,X) \|_{L_2(U,H)}^2 ds < \infty \quad \text{for all $t \geq 0$}
\end{align*}
and $\mathbb{P}$--almost surely it holds
\begin{align*}
X(t) = S_t X(0) + \int_0^t S_{t-s} \alpha(s,X)ds + \int_0^t S_{t-s} \sigma(s,X) dW(s), \quad t \geq 0.
\end{align*}
\end{definition}

\begin{remark}
In finite dimensions, a pair $(X,W)$ as in Definition~\ref{def-martingal-sol} is called a \emph{weak solution}. As in \cite[Chapter 8]{Da_Prato}, we use the term \emph{martingale solution} in order to avoid ambiguities with the concept of a \emph{weak solution} to (\ref{SPDE}), which means that for each $\zeta \in \mathcal{D}(A^*)$ we have $\mathbb{P}$--almost surely
\begin{align*}
\langle \zeta,X(t) \rangle = \langle \zeta, X(0) \rangle + \int_0^t \big( \langle A^* \xi, X(s) \rangle + \langle \zeta, \alpha(s,X) \rangle \big) ds + \int_0^t \langle \zeta, \sigma(s,X) \rangle dW(s)
\end{align*}
for all $t \geq 0$. Sometimes, the latter concept is also called an \emph{analytically weak solution}, see \cite{Prevot-Roeckner}.
\end{remark}

\begin{remark}
By the measurability conditions from Assumption~\ref{ass-1}, the processes $\alpha(\bullet,X)$ and $\sigma(\bullet,X)$ from Definition~\ref{def-martingal-sol} are adapted.
\end{remark}

\begin{remark}
The stochastic integral from Definition~\ref{def-martingal-sol} is defined as
\begin{align*}
\int_0^t S_{t-s} \sigma(s,X) dW(s) := \int_0^t S_{t-s} \sigma(s,X) \circ J^{-1} d\bar{W}(s), \quad t \geq 0,
\end{align*}
where $J : U \rightarrow \bar{U}$ is a one-to-one Hilbert Schmidt operator into another Hilbert space $\bar{U}$, and
\begin{align*}
\bar{W} := \sum_{k=1}^{\infty} \beta_k J e_k,
\end{align*}
where $(e_k)_{k \in \mathbb{N}}$ denotes an orthonormal basis of $U$,
is an $\bar{U}$-valued trace class Wiener process with covariance operator $Q = J J^*$. Further details about this topic can be found in \cite[Section 2.5]{Prevot-Roeckner}.
\end{remark}

\begin{definition}
We say that \emph{weak uniqueness} holds for (\ref{SPDE}), if for two martingale solutions $(X,W)$ and $(X',W')$ on stochastic bases $\mathbb{B}$ and $\mathbb{B}'$ with
\begin{align*}
\mathbb{P}^{X(0)} = (\mathbb{P}')^{X'(0)}
\end{align*}
as measures on $(H,\mathcal{B}(H))$, we have
\begin{align*}
\mathbb{P}^{X} = (\mathbb{P'})^{X'}
\end{align*}
as measures on $(\mathbb{W}(H),\mathcal{B}(\mathbb{W}(H)))$.
\end{definition}

\begin{definition}
We say that \emph{pathwise uniqueness} holds for (\ref{SPDE}), if for two martingale solutions $(X,W)$ and $(X',W)$ on the same stochastic basis $\mathbb{B}$ and with the same $\mathbb{R}^{\infty}$-Wiener process $W$ such that $\mathbb{P}(X(0) = X'(0)) = 1$ we have $X = X'$ up to indistinguishability.
\end{definition}

\begin{definition}
Let $\hat{\mathcal{E}}(H)$ be the set of maps $F : H \times \mathbb{W}_0(\bar{U}) \rightarrow \mathbb{W}(H)$ such that for every probability measure $\mu$ on $(H,\mathcal{B}(H))$ there exists a map
\begin{align*}
F_{\mu} : H \times \mathbb{W}_0(\bar{U}) \rightarrow \mathbb{W}(H),
\end{align*}
which is $\overline{\mathcal{B}(H) \otimes \mathcal{B}(\mathbb{W}_0(\bar{U}))}^{\mu \otimes \mathbb{P}^Q} / \mathcal{B}(\mathbb{W}(H))$-measurable, such that for $\mu$--almost all $x \in H$ we have
\begin{align*}
F(x,w) = F_{\mu}(x,w) \quad \text{for $\mathbb{P}^Q$--almost all $w \in \mathbb{W}_0(\bar{U})$.}
\end{align*}
Here $\overline{\mathcal{B}(H) \otimes \mathcal{B}(\mathbb{W}_0(\bar{U}))}^{\mu \otimes \mathbb{P}^Q}$ denotes the completion of $\mathcal{B}(H) \otimes \mathcal{B}(\mathbb{W}_0(\bar{U}))$ with respect to $\mu \otimes \mathbb{P}^Q$, and $\mathbb{P}^Q$ denotes the distribution of the $Q$-Wiener process $\bar{W}$ on $(\mathbb{W}_0(\bar{U}),\mathcal{B}(\mathbb{W}_0(\bar{U})))$. Of course, $F_{\mu}$ is $\mu \otimes \mathbb{P}^Q$--almost everywhere uniquely determined.
\end{definition}

\begin{definition}\label{def-mild-sol}
A martingale solution $(X,W)$ to (\ref{SPDE}) on a stochastic basis $\mathbb{B}$ is called a \emph{mild solution} if there exists a mapping $F \in \hat{\mathcal{E}}(H)$ such that the following conditions are satisfied:
\begin{enumerate}
\item  For all $x \in H$ and $t \in \mathbb{R}_+$ the mapping
\begin{align*}
\mathbb{W}_0(\bar{U}) \rightarrow \mathbb{W}(H), \quad w \mapsto F(x,w)
\end{align*}
is $\overline{\mathcal{B}_t(\mathbb{W}_0(\bar{U}))}^{\mathbb{P}^Q} / \mathcal{B}_t(\mathbb{W}(H))$-measurable, where $\overline{\mathcal{B}_t(\mathbb{W}_0(\bar{U}))}^{\mathbb{P}^Q}$ denotes the completion with respect to $\mathbb{P}^Q$ in $\mathcal{B}(\mathbb{W}_0(\bar{U}))$.

\item  We have up to indistinguishability
\begin{align*}
X = F_{\mathbb{P}^{X(0)}} (X(0),\bar{W}).
\end{align*}
\end{enumerate}
\end{definition}

\begin{definition}\label{def-unique-sol}
We say that the SPDE (\ref{SPDE}) has a \emph{unique mild solution} if there exists a mapping $F \in \hat{\mathcal{E}}(H)$ such that:
\begin{enumerate}
\item  For all $x \in H$ and $t \in \mathbb{R}_+$ the mapping
\begin{align*}
\mathbb{W}_0(\bar{U}) \rightarrow \mathbb{W}(H), \quad w \mapsto F(x,w)
\end{align*}
is $\overline{\mathcal{B}_t(\mathbb{W}_0(\bar{U}))}^{\mathbb{P}^Q} / \mathcal{B}_t(\mathbb{W}(H))$-measurable, where $\overline{\mathcal{B}_t(\mathbb{W}_0(\bar{U}))}^{\mathbb{P}^Q}$ denotes the completion with respect to $\mathbb{P}^Q$ in $\mathcal{B}(\mathbb{W}_0(\bar{U}))$.

\item For every standard $\mathbb{R}^{\infty}$-Wiener process $W$ on a stochastic basis $\mathbb{B}$ and any $\mathcal{F}_0$-measurable random variable $\xi : \Omega \rightarrow H$ the pair $(X,W)$, where $X := F(\xi,\bar{W})$, is a martingale solution to (\ref{SPDE}) with $\mathbb{P}(X(0) = \xi) = 1$.

\item For any martingale solution $(X,W)$ to (\ref{SPDE}) we have up to indistinguishability
\begin{align*}
X = F_{\mathbb{P}^{X(0)}}(X(0),\bar{W}).
\end{align*}
\end{enumerate}
\end{definition}

\begin{remark}
For $A = 0$ the SPDE (\ref{SPDE}) becomes a SDE, and in this case we speak about a \emph{strong solution (unique strong solution)}, if the conditions from Definition~\ref{def-mild-sol} (Definition~\ref{def-unique-sol}) are fulfilled.
\end{remark}

\section{Proof of Theorem \ref{thm-main}}\label{sec-proof}

In this section, we shall provide the proof of Theorem~\ref{thm-main}. The general framework is that of Section~\ref{sec-framework}. In particular, we suppose that the coefficients $\alpha$ and $\sigma$ satisfy Assumption~\ref{ass-1}. As mentioned in Section~\ref{sec-intro}, we shall utilize the ``method of the moving frame'' from \cite{SPDE}. For this, we require the following assumption on the semigroup $(S_t)_{t \geq 0}$.

\begin{assumption}\label{ass-2}
We suppose that there exist another separable Hilbert space $\mathcal{H}$, a
$C_0$-group $(U_t)_{t \in \mathbb{R}}$ on $\mathcal{H}$ and
continuous linear operators $\ell \in L(H,\mathcal{H})$, $\pi \in
L(\mathcal{H},H)$ such $\ell$ is injective, we have ${\rm rg}(\pi) = H$ and ${\rm ker}(\pi) = {\rm rg} (\ell)^{\perp}$, and the diagram
\[ \begin{CD}
\mathcal{H} @>U_t>> \mathcal{H}\\
@AA\ell A @VV\pi V\\
H @>S_t>> H
\end{CD} \]
commutes for every $t \in \mathbb{R}_+$, that is
\begin{align}\label{diagram-commutes}
\pi U_t \ell = S_t \quad \text{for all $t \in \mathbb{R}_+$.}
\end{align}
\end{assumption}

\begin{remark}
According to \cite[Prop. 8.7]{SPDE}, this assumption is satisfied if the semigroup $(S_t)_{t \geq 0}$ is \emph{pseudo-contractive} (one also uses the notion \emph{quasi-contractive}), that is, there is a constant $\omega \in \mathbb{R}$ such that
\begin{align*}
\| S_t \| \leq e^{\omega t} \quad \text{for all $t \geq 0$.}
\end{align*}
This result relies on the Sz\H{o}kefalvi-Nagy theorem on unitary dilations (see e.g. \cite[Thm. I.8.1]{Nagy}, or \cite[Sec. 7.2]{Davies}). In the spirit of \cite{Nagy}, the group $(U_t)_{t \in \mathbb{R}}$ is called a \emph{dilation} of the semigroup $(S_t)_{t \geq 0}$.
\end{remark}

\begin{remark}
The Sz\H{o}kefalvi-Nagy theorem was also utilized in \cite{Seidler, Seidler2} in order to establish results concerning stochastic convolution integrals.
\end{remark}

In the sequel, for some closed subspace $K \subset H$ we denote by $\Pi_K$ the orthogonal projection on $K$.

\begin{lemma}\label{lemma-orth}
The following statements are true:
\begin{enumerate}
\item We have $\pi \ell = {\rm Id}|_H$.

\item We have $\ell \pi = \Pi_{{\rm rg}(\ell)}$ and $\ell \pi|_{{\rm rg}(\ell)} = {\rm Id}|_{{\rm rg}(\ell)}$.
\end{enumerate}
\end{lemma}

\begin{proof}
The first statement follows from (\ref{diagram-commutes}) with $t = 0$. For the second statement, note that ${\rm rg}(\ell)$ is closed, because $\ell$ is injective. Moreover, by Assumption~\ref{ass-2} we have ${\rm rg}(\ell \pi) = {\rm rg}(\ell)$ and ${\rm ker}(\ell \pi) = {\rm ker}(\pi) = {\rm rg}(\ell)^{\perp}$, showing that $\ell \pi$ is the orthogonal projection on the closed subspace ${\rm rg}(\ell)$. Consequently, we also have $\ell \pi|_{{\rm rg}(\ell)} = {\rm Id}|_{{\rm rg}(\ell)}$.
\end{proof}

Now, we introduce several mappings, namely
\begin{equation}\label{def-mappings}
\begin{aligned}
&\Gamma : \mathbb{W}(\mathcal{H}) \rightarrow \mathbb{W}(H), \quad \Gamma(w) := \pi U (w - \Pi_{{\rm rg}(\ell)^{\perp}} w(0)),
\\ &a : \mathbb{R}_+ \times \mathbb{W}(H) \rightarrow \mathcal{H}, \quad a(t,w) := U_{-t} \ell \alpha(t,w),
\\ &b : \mathbb{R}_+ \times \mathbb{W}(H) \rightarrow L_2(U,\mathcal{H}), \quad b(t,w) := U_{-t} \ell \sigma(t,w),
\\ &\bar{\alpha} : \mathbb{R}_+ \times \mathbb{W}(\mathcal{H}) \rightarrow \mathcal{H}, \quad \bar{\alpha}(t,w) := a(t,\Gamma(w)),
\\ &\bar{\sigma} : \mathbb{R}_+ \times \mathbb{W}(\mathcal{H}) \rightarrow \mathcal{H}, \quad \bar{\sigma}(t,w) := b(t,\Gamma(w)).
\end{aligned}
\end{equation}

\begin{lemma}\label{lemma-Gamma-meas}
The following statements are true:
\begin{enumerate}
\item The mapping $\Gamma$ is $\mathcal{B}(\mathbb{W}(\mathcal{H})) / \mathcal{B}(\mathbb{W}(H))$-measurable.

\item The mapping $\Gamma$ is $\mathcal{B}_t(\mathbb{W}(\mathcal{H})) / \mathcal{B}_t(\mathbb{W}(H))$-measurable for each $t \in \mathbb{R}_+$.
\end{enumerate}
\end{lemma}

\begin{proof}
Let $C \in \mathcal{C}(H)$ be a cylinder set of the form
\begin{align*}
C = \{ w \in \mathbb{W}(H) : w(t_1) \in B_1, \ldots, w(t_n) \in B_n \}
\end{align*}
with $t_1,\ldots,t_n \in \mathbb{R}_+$ and $B_1,\ldots,B_n \in \mathcal{B}(H)$ for some $n \in \mathbb{N}$. Then we have
\begin{align*}
\Gamma^{-1}(C) = \bigcap_{k=1}^n \{ w \in \mathbb{W}(\mathcal{H}) : w(t_k) - \Pi_{{\rm rg}(\ell)^{\perp}} w(0) \in (\pi U_t)^{-1}(B_k) \} \in \mathcal{C}'(H).
\end{align*}
By Lemma~\ref{lemma-cylinders}, the mapping $\Gamma$ is $\mathcal{B}_t(\mathbb{W}(\mathcal{H})) / \mathcal{B}_t(\mathbb{W}(H))$-measurable, showing the first statement. The second statement is proven analogously.
\end{proof}

\begin{lemma}\label{lemma-meas}
The following statements are true:
\begin{enumerate}
\item $\bar{\alpha}$ is $\mathcal{B}(\mathbb{R}_+) \otimes \mathcal{B}(\mathbb{W}(\mathcal{H})) / \mathcal{B}(\mathcal{H})$-measurable and for each $t \in \mathbb{R}_+$ the mapping $\bar{\alpha}(t,\bullet)$ is $\mathcal{B}_t(\mathbb{W}(\mathcal{H}))/\mathcal{B}(\mathcal{H})$-measurable.

\item $\bar{\sigma}$ is $\mathcal{B}(\mathbb{R}_+) \otimes \mathcal{B}(\mathbb{W}(\mathcal{H})) / \mathcal{B}(L_2(U,\mathcal{H}))$-measurable and for each $t \in \mathbb{R}_+$ the mapping $\bar{\sigma}(t,\bullet)$ is $\mathcal{B}_t(\mathbb{W}(\mathcal{H}))/\mathcal{B}(L_2(U,\mathcal{H}))$-measurable.
\end{enumerate}
\end{lemma}

\begin{proof}
Note that the mapping
\begin{align*}
\mathbb{R}_+ \times H \rightarrow \mathcal{H}, \quad (t,h) \mapsto U_{-t} \ell h
\end{align*}
is continuous, and hence $\mathcal{B}(\mathbb{R}_+) \otimes \mathcal{B}(H) / \mathcal{B}(\mathcal{H})$-measurable. Therefore, the claimed measurability properties of $\bar{\alpha}$ and $\bar{\sigma}$ follow from Lemma~\ref{lemma-Gamma-meas} and Assumption~\ref{ass-1}.
\end{proof}

By virtue of Lemma~\ref{lemma-meas}, we may apply the Yamada-Watanabe Theorem from \cite{Roeckner}, and obtain:

\begin{theorem}\label{thm-main-SDE}
The SDE (\ref{SDE}) has a unique strong solution if and only if both of the following two conditions are satisfied:
\begin{enumerate}
\item For each probability measure $\nu$ on $(\mathcal{H},\mathcal{B}(\mathcal{H}))$ there exists a martingale solution $(Y,W)$ to (\ref{SDE}) such that $\nu$ is the distribution of $Y(0)$.

\item Pathwise uniqueness for (\ref{SDE}) holds.
\end{enumerate}
\end{theorem}

Now, our idea for the proof of Theorem~\ref{thm-main} is as follows: The proof that the existence of a unique mild solution to the SPDE (\ref{SPDE}) implies the two conditions from Theorem~\ref{thm-main} is straightforward and can be provided as in \cite{Roeckner}. For the proof of the converse implication, we will first show that the conditions from Theorem~\ref{thm-main} imply the conditions from Theorem~\ref{thm-main-SDE}, see Propositions ~\ref{prop-proof-2} and \ref{prop-proof-3}. Then, we will apply Theorem~\ref{thm-main-SDE}, which gives us the existence of a unique strong solution to the SDE (\ref{SDE}), and finally, we will prove that this implies the existence of a unique mild solution to the SPDE (\ref{SPDE}), see Proposition~\ref{prop-proof-1}.
For the following four results (Lemma~\ref{lemma-X-Y} to Corollary~\ref{cor-Y-X}), we fix a stochastic basis $\mathbb{B} = (\Omega,\mathcal{F},(\mathcal{F}_t)_{t \geq 0},\mathbb{P})$.

\begin{lemma}\label{lemma-X-Y}
Let $\eta : \Omega \rightarrow \mathcal{H}$ be a $\mathcal{F}_0$-measurable random variable, let $(X,W)$ be a martingale solution to (\ref{SPDE}) with $X(0) = \pi \eta$, and set
\begin{align*}
Y := \eta + \int_0^{\bullet} a(s,X) ds + \int_0^{\bullet} b(s,X) dW(s).
\end{align*}
Then $(Y,W)$ is a martingale solution to (\ref{SDE}) with $Y(0) = \eta$, and we have $X = \Gamma(Y)$ up to indistinguishability.
\end{lemma}

\begin{proof}
By the definition of $Y$ we have $Y(0) = \eta$.
Moreover, since $(X,W)$ is a martingale solution to (\ref{SPDE}) with $X(0) = \pi \eta$, by identity (\ref{diagram-commutes}), Lemma~\ref{lemma-orth} and definitions (\ref{def-mappings}) we obtain $\mathbb{P}$--almost surely
\begin{align*}
X(t) &= S_t \pi \eta + \int_0^t S_{t-s} \alpha(s,X) ds + \int_0^t S_{t-s} \sigma(s,X) dW(s)
\\ &= \pi U_t \bigg( \ell \pi \eta + \int_0^t U_{-s} \ell \alpha(s,X) ds + \int_0^t U_{-s} \ell \sigma(s,X) dW(s) \bigg)
\\ &= \pi U_t \bigg( \Pi_{{\rm rg}(\ell)} \eta + \int_0^t a(s,X) ds + \int_0^t b(s,X) dW(s) \bigg)
\\ &= \pi U_t \bigg( \eta + \int_0^t a(s,X) ds + \int_0^t b(s,X) dW(s) - \Pi_{{\rm rg}(\ell)^{\perp}} \eta \bigg)
\\ &= \pi U_t (Y(t) - \Pi_{{\rm rg}(\ell)^{\perp}} Y(0)) = \Gamma(Y)(t) \quad \text{for all $t \in \mathbb{R}_+$,}
\end{align*}
showing that $X = \Gamma(Y)$ up to indistinguishability, and therefore, by (\ref{def-mappings}) we obtain up to indistinguishability
\begin{align*}
Y &= \eta + \int_0^{\bullet} a(s,X) ds + \int_0^{\bullet} b(s,X) dW(s)
\\ &= \eta + \int_0^{\bullet} a(s,\Gamma(Y)) ds + \int_0^{\bullet} b(s,\Gamma(Y)) dW(s)
\\ &= \eta + \int_0^{\bullet} \bar{\alpha}(s,Y) ds + \int_0^{\bullet} \bar{\sigma}(s,Y) dW(s),
\end{align*}
proving that $(Y,W)$ is a martingale solution to (\ref{SDE}) with $Y(0) = \eta$.
\end{proof}

\begin{corollary}\label{cor-X-Y}
Let $\xi : \Omega \rightarrow H$ be a $\mathcal{F}_0$-measurable random variable, let $(X,W)$ be a martingale solution to (\ref{SPDE}) with $X(0) = \xi$, and set
\begin{align*}
Y := \ell \xi + \int_0^{\bullet} a(s,X) ds + \int_0^{\bullet} b(s,X) dW(s).
\end{align*}
Then $(Y,W)$ is a martingale solution to (\ref{SDE}) with $Y(0) = \ell \xi$, and we have $X = \Gamma(Y)$ up to indistinguishability.
\end{corollary}

\begin{proof}
Setting $\eta := \ell \xi$, this follows from Lemmas~\ref{lemma-orth} and \ref{lemma-X-Y}.
\end{proof}

\begin{lemma}\label{lemma-Y-X}
Let $\eta : \Omega \rightarrow \mathcal{H}$ be a $\mathcal{F}_0$-measurable random variable, let $(Y,W)$ be a martingale solution to (\ref{SDE}) with $Y(0) = \eta$, and set $X := \Gamma(Y)$. Then $(X,W)$ is a martingale solution to (\ref{SPDE}) with $X(0) = \pi \eta$, and we have up to indistinguishability
\begin{align*}
Y = \eta + \int_0^{\bullet} a(s,X) ds + \int_0^{\bullet} b(s,X) dW(s).
\end{align*}
\end{lemma}

\begin{proof}
Since $(Y,W)$ is a martingale solution to (\ref{SDE}) with $Y(0) = \eta$, by definitions (\ref{def-mappings}), Lemma~\ref{lemma-orth} and identity (\ref{diagram-commutes}) we obtain $\mathbb{P}$--almost surely
\begin{align*}
X(t) &= \Gamma(Y)(t) = \pi U_t (Y(t) - \Pi_{{\rm rg}(\ell)^{\perp}} Y(0))
\\ &= \pi U_t \bigg( \eta + \int_0^{\bullet} \bar{\alpha}(s,Y) ds + \int_0^{\bullet} \bar{\sigma}(s,Y)dW(s) - \Pi_{{\rm rg}(\ell)^{\perp}} \eta \bigg)
\\ &= \pi U_t \bigg( \Pi_{{\rm rg}(\ell)} \eta + \int_0^{\bullet} a(s,\Gamma(Y)) ds + \int_0^{\bullet} b(s,\Gamma(Y))dW(s) \bigg)
\\ &= \pi U_t \bigg( \ell \pi \eta + \int_0^{\bullet} U_{-s} \ell \alpha(s,X) ds + \int_0^{\bullet} U_{-s} \ell \sigma(s,X) dW(s) \bigg)
\\ &= S_t \pi \eta + \int_0^t S_{t-s} \alpha(s,X) ds + \int_0^t S_{t-s} \sigma(s,X) dW(s) \quad \text{for all $t \in \mathbb{R}_+$,}
\end{align*}
Therefore, $(X,W)$ is a martingale solution to (\ref{SPDE}) with $X(0) = \pi \eta$. Moreover, by definitions (\ref{def-mappings}) we get up to indistinguishability
\begin{align*}
Y &= \eta + \int_0^{\bullet} \bar{\alpha}(s,Y) ds + \int_0^{\bullet} \bar{\sigma}(s,Y) dW(s)
\\ &= \eta + \int_0^{\bullet} a(s,\Gamma(Y)) ds + \int_0^{\bullet} b(s,\Gamma(Y)) dW(s)
\\ &= \eta + \int_0^{\bullet} a(s,X) ds + \int_0^{\bullet} b(s,X) dW(s),
\end{align*}
finishing the proof.
\end{proof}

\begin{corollary}\label{cor-Y-X}
Let $\xi : \Omega \rightarrow H$ be a $\mathcal{F}_0$-measurable random variable, let $(Y,W)$ be a martingale solution to (\ref{SDE}) with $Y(0) = \ell \xi$, and set $X := \Gamma(Y)$. Then $(X,W)$ is a martingale solution to (\ref{SPDE}) with $X(0) = \xi$, and we have up to indistinguishability
\begin{align*}
Y = \ell \xi + \int_0^{\bullet} a(s,X) ds + \int_0^{\bullet} b(s,X) dW(s).
\end{align*}
\end{corollary}

\begin{proof}
Setting $\eta := \ell \xi$, this follows from Lemmas~\ref{lemma-orth} and \ref{lemma-Y-X}.
\end{proof}

The following auxiliary result provides us with a standard extension which we require for the proof of Proposition~\ref{prop-proof-2}.

\begin{lemma}\label{lemma-std-extension}
Let $(X',W')$ be a martingale solution to (\ref{SPDE}) on a stochastic basis $\mathbb{B}'$ and let $\nu$ be a probability measure on $(\mathcal{H},\mathcal{B}(\mathcal{H}))$. Then, there exist a stochastic basis $\mathbb{B}$, a martingale solution $(X,W)$ to (\ref{SPDE}) on $\mathbb{B}$ such that the distributions of $X(0)$ and $X'(0)$ coincide, and a $\mathcal{F}_0$-measurable random variable $\eta : \Omega \rightarrow \mathcal{H}$ such that $\nu$ is the distribution of $\eta$.
\end{lemma}

\begin{proof}
We define the stochastic basis $\mathbb{B}$ as
\begin{align*}
\Omega &:= \Omega' \times \mathcal{H},
\\ \mathcal{F} &:= \overline{\mathcal{F}' \otimes \mathcal{B}(\mathcal{H})}^{\mathbb{P}' \otimes \nu},
\\ \mathcal{F}_t &:= \bigcap_{\epsilon > 0} \sigma(\mathcal{F}_{t + \epsilon}' \otimes \mathcal{B}(\mathcal{H}), \mathcal{N}), \quad t \geq 0,
\\ \mathbb{P} &:= \mathbb{P}' \otimes \nu,
\end{align*}
where $\mathcal{N}$ denotes all $\mathbb{P}' \otimes \nu$--nullsets in $\mathcal{F}' \otimes \mathcal{B}(\mathcal{H})$. Then the random variable
\begin{align*}
\nu : \Omega \rightarrow \mathcal{H}, \quad \eta(\omega',h) := h
\end{align*}
is $\mathcal{F}_0$-measurable and has the distribution $\nu$. We define the $H$-valued processes
\begin{align*}
X(\omega',h) := X'(\omega') \quad \text{and} \quad W(\omega',h) :=
W'(\omega').
\end{align*}
Then $W$ is a standard $\mathbb{R}^{\infty}$-Wiener process, because $W'$ is a standard $\mathbb{R}^{\infty}$-Wiener process. The independence of the increments with respect to the new filtration $(\mathcal{F}_t)_{t \geq 0}$ is shown as in the proof of \cite[Prop. 2.1.13]{Prevot-Roeckner}. Moreover, the distributions of $X(0)$ and $X'(0)$ coincide, and the pair $(X,W)$ is a martingale solution to (\ref{SPDE}), because $(X',W')$ is a martingale solution to (\ref{SPDE}).
\end{proof}

\begin{proposition}\label{prop-proof-2}
Suppose for each probability measure $\mu$ on $(H,\mathcal{B}(H))$ there exists a martingale solution $(X,W)$ to (\ref{SPDE}) such that $\mu$ is the distribution of $X(0)$.
Then, for each probability measure $\nu$ on $(\mathcal{H},\mathcal{B}(\mathcal{H}))$ there exists a martingale solution $(Y,W)$ to (\ref{SDE}) such that $\nu$ is the distribution of $Y(0)$.
\end{proposition}

\begin{proof}
Let $\nu$ be a probability measure on $(\mathcal{H},\mathcal{B}(\mathcal{H}))$. Then the image measure $\mu := \nu^{\pi}$ is a probability measure on $(H,\mathcal{B}(H))$. By assumption, there exists a martingale solution $(X',W')$ to (\ref{SPDE}) on a stochastic basis $\mathbb{B}'$ such that $\mu$ is the distribution of $X'(0)$. According to Lemma~\ref{lemma-std-extension}, there exist a stochastic basis $\mathbb{B}$, a martingale solution $(X,W)$ on $\mathbb{B}$ such that $\mu$ is the distributions of $X(0)$, and a $\mathcal{F}_0$-measurable random variable $\eta : \Omega \rightarrow \mathcal{H}$ such that $\nu$ is the distribution of $\eta$.
We set
\begin{align*}
Y := \eta + \int_0^{\bullet} a(s,X) ds + \int_0^{\bullet} b(s,X) dW(s).
\end{align*}
By Lemma~\ref{lemma-X-Y}, the pair $(Y,W)$ is a martingale solution to (\ref{SPDE}) with $Y(0) = \eta$.
\end{proof}

\begin{proposition}\label{prop-proof-3}
If pathwise uniqueness for (\ref{SPDE}) holds, then pathwise uniqueness for (\ref{SDE}) holds, too.
\end{proposition}

\begin{proof}
Let $(Y,W)$ and $(Y',W)$ be two martingale solutions to (\ref{SDE}) on the same stochastic basis $\mathbb{B}$ such that $\mathbb{P}(Y(0) = Y'(0)) = 1$. We set $X := \Gamma(Y)$ and $Y' := \Gamma(Y')$. By Lemma~\ref{lemma-Y-X}, the pairs $(X,W)$ and $(X',W)$ are two martingale solutions to (\ref{SPDE}) with $X(0) = \pi Y(0)$ and $X'(0) = \pi Y'(0)$, and we have up to indistinguishability
\begin{align*}
Y &= Y(0) + \int_0^{\bullet} a(s,X) ds + \int_0^{\bullet} b(s,X) dW(s),
\\ Y' &= Y'(0) + \int_0^{\bullet} a(s,X') ds + \int_0^{\bullet} b(s,X') dW(s).
\end{align*}
This gives us
\begin{align*}
\mathbb{P}(X(0) = X'(0)) = \mathbb{P}(\pi Y(0) = \pi Y'(0)) = 1.
\end{align*}
Since pathwise uniqueness for (\ref{SPDE}) holds, we deduce that $X = X'$ up to indistinguishability. This implies up to indistinguishability
\begin{align*}
Y &= Y(0) + \int_0^{\bullet} a(s,X) ds + \int_0^{\bullet} b(s,X) dW(s)
\\ &= Y'(0) + \int_0^{\bullet} a(s,X') ds + \int_0^{\bullet} b(s,X') dW(s) = Y',
\end{align*}
proving that pathwise uniqueness for (\ref{SDE}) holds.
\end{proof}

The following auxiliary result is required for the proof of Proposition~\ref{prop-proof-1}.

\begin{lemma}\label{lemma-ell-complete}
Let $\nu$ be an arbitrary probability measure on $(H,\mathcal{B}(H))$. We define the image measure $\nu := \mu^{\ell}$ on $(\mathcal{H},\mathcal{B}(\mathcal{H}))$. Then the mapping
\begin{align*}
(\ell,{\rm Id}) : H \times \mathbb{W}_0(\bar{U}) \rightarrow \mathcal{H} \times \mathbb{W}_0(\bar{U})
\end{align*}
is $\overline{\mathcal{B}(H) \otimes \mathcal{B}(\mathbb{W}_0(\bar{U}))}^{\mu \otimes \mathbb{P}^Q} / \overline{\mathcal{B}(\mathcal{H}) \otimes \mathcal{B}(\mathbb{W}_0(\bar{U}))}^{\nu \otimes \mathbb{P}^Q}$-measurable.
\end{lemma}

\begin{proof}
Let $B \cup N \in \overline{\mathcal{B}(\mathcal{H}) \otimes \mathcal{B}(\mathbb{W}_0(\bar{U}))}^{\nu \otimes \mathbb{P}^Q}$ be an arbitrary measurable set with a Borel set $B \in \mathcal{B}(\mathcal{H}) \otimes \mathcal{B}(\mathbb{W}_0(\bar{U}))$ and a $\nu \otimes \mathbb{P}^Q$--nullset $N \subset \mathcal{H} \times \mathbb{W}_0(\bar{U})$. Then we have
\begin{align*}
(\ell,{\rm Id})^{-1}(B) \in \mathcal{B}(H) \otimes \mathcal{B}(\mathbb{W}_0(\bar{U})),
\end{align*}
because $(\ell,{\rm Id})$ is $\mathcal{B}(H) \otimes \mathcal{B}(\mathbb{W}_0(\bar{U})) / \mathcal{B}(\mathcal{H}) \otimes \mathcal{B}(\mathbb{W}_0(\bar{U}))$-measurable. For arbitrary Borel sets $C \in \mathcal{B}(H)$ and $D \in \mathcal{B}(\mathbb{W}_0(\bar{U}))$ we have
\begin{align*}
&(\mu \otimes \mathbb{P}^Q)^{(\ell, {\rm Id})} (C \times D) = (\mu \otimes \mathbb{P}^Q)((\ell, {\rm Id})^{-1}(C \times D)) = (\mu \otimes \mathbb{P}^Q)(\ell^{-1}(C) \times D)
\\ &= \mu(\ell^{-1}(C)) \cdot \mathbb{P}^Q(D) = \mu^{\ell}(C) \cdot \mathbb{P}^Q(D) = \nu(C) \cdot \mathbb{P}^Q(D) = (\nu \otimes \mathbb{P}^Q)(C \times D),
\end{align*}
showing that
\begin{align*}
(\mu \otimes \mathbb{P}^Q)^{(\ell, {\rm Id})} = \nu \otimes \mathbb{P}^Q.
\end{align*}
There exists a set $N' \in \mathcal{B}(\mathcal{H}) \otimes \mathcal{B}(\mathbb{W}_0(\bar{U}))$ satisfying $N \subset N'$ and $(\nu \otimes \mathbb{P}^Q)(N') = 0$. We obtain
\begin{align*}
(\mu \otimes \mathbb{P}^Q)((\ell,{\rm Id})^{-1}(N')) = (\mu \otimes \mathbb{P}^Q)^{(\ell,{\rm Id})}(N') = (\nu \otimes \mathbb{P}^Q)(N') = 0,
\end{align*}
showing that $(\ell,{\rm Id})^{-1}(N)$ is a $\mu \otimes \mathbb{P}^Q$--nullset. Consequently, we have
\begin{align*}
(\ell,{\rm Id})^{-1}(B \cup N) = (\ell,{\rm Id})^{-1}(B) \cup (\ell,{\rm Id})^{-1}(N) \in \overline{\mathcal{B}(H) \otimes \mathcal{B}(\mathbb{W}_0(\bar{U}))}^{\mu \otimes \mathbb{P}^Q},
\end{align*}
proving that $(\ell,{\rm Id})$ is $\overline{\mathcal{B}(H) \otimes \mathcal{B}(\mathbb{W}_0(\bar{U}))}^{\mu \otimes \mathbb{P}^Q} / \overline{\mathcal{B}(\mathcal{H}) \otimes \mathcal{B}(\mathbb{W}_0(\bar{U}))}^{\nu \otimes \mathbb{P}^Q}$-measurable.
\end{proof}

\begin{proposition}\label{prop-proof-1}
If the SDE (\ref{SDE}) has a unique strong solution, then the SPDE (\ref{SPDE}) has a unique mild solution.
\end{proposition}

\begin{proof}
Suppose the SDE (\ref{SDE}) has a unique mild solution. Then, there exists a mapping $G \in \hat{\mathcal{E}}(\mathcal{H})$ such that the three conditions from Definition~\ref{def-unique-sol} are fulfilled. In detail, the following conditions are satisfied:
\begin{itemize}
\item $G : \mathcal{H} \times \mathbb{W}_0(\bar{U}) \rightarrow \mathbb{W}(\mathcal{H})$ is a mapping such that for every probability measure $\nu$ on $(\mathcal{H},\mathcal{B}(\mathcal{H}))$ there exists a map
\begin{align*}
G_{\nu} : \mathcal{H} \times \mathbb{W}_0(\bar{U}) \rightarrow \mathbb{W}(\mathcal{H}),
\end{align*}
which is $\overline{\mathcal{B}(\mathcal{H}) \otimes \mathcal{B}(\mathbb{W}_0(\bar{U}))}^{\nu \otimes \mathbb{P}^Q} / \mathcal{B}(\mathbb{W}(\mathcal{H}))$-measurable, such that for $\nu$--almost all $y \in \mathcal{H}$ we have
\begin{align}\label{id-G-nu}
G(y,w) = G_{\nu}(y,w) \quad \text{for $\mathbb{P}^Q$--almost all $w \in \mathbb{W}_0(\bar{U})$.}
\end{align}
\item  For all $y \in \mathcal{H}$ and $t \in \mathbb{R}_+$ the mapping
\begin{align*}
\mathbb{W}_0(\bar{U}) \rightarrow \mathbb{W}(\mathcal{H}), \quad w \mapsto G(y,w)
\end{align*}
is $\overline{\mathcal{B}_t(\mathbb{W}_0(\bar{U}))}^{\mathbb{P}^Q} / \mathcal{B}_t(\mathbb{W}(\mathcal{H}))$-measurable, where $\overline{\mathcal{B}_t(\mathbb{W}_0(\bar{U}))}^{\mathbb{P}^Q}$ denotes the completion with respect to $\mathbb{P}^Q$ in $\mathcal{B}(\mathbb{W}_0(\bar{U}))$.

\item For every standard $\mathbb{R}^{\infty}$-Wiener process $W$ on a stochastic basis $\mathbb{B}$ and any $\mathcal{F}_0$-measurable random variable $\eta : \Omega \rightarrow \mathcal{H}$ the pair $(Y,W)$, where $Y := G(\eta,\bar{W})$, is a martingale solution to (\ref{SDE}) with $\mathbb{P}(Y(0) = \eta) = 1$.

\item For any martingale solution $(Y,W)$ to (\ref{SDE}) we have up to indistinguishability
\begin{align*}
Y = G_{\mathbb{P}^{Y(0)}}(Y(0),\bar{W}).
\end{align*}
\end{itemize}
We define the mapping
\begin{align*}
F : H \times \mathbb{W}_0(\bar{U}) \rightarrow \mathbb{W}(H), \quad F(x,w) := \Gamma(G(\ell x,w)),
\end{align*}
which is $\overline{\mathcal{B}(H) \otimes \mathcal{B}(\mathbb{W}_0(\bar{U}))}^{\mu \otimes \mathbb{P}^Q} / \mathcal{B}(\mathbb{W}(H))$-measurable by virtue of Lemmas~\ref{lemma-Gamma-meas} and \ref{lemma-ell-complete}.
Let us prove that $F \in \hat{\mathcal{E}}(H)$. For this purpose, let $\mu$ be an arbitrary probability measure on $(H,\mathcal{B}(H))$. We define the image measure $\nu := \mu^{\ell}$. Then $\nu$ is a probability measure on $(\mathcal{H},\mathcal{B}(\mathcal{H}))$. Furthermore, we define the mapping
\begin{align*}
F_{\mu} : H \times \mathbb{W}_0(\bar{U}) \rightarrow \mathbb{W}(H), \quad F_{\mu}(x,w) := \Gamma(G_{\nu}(\ell x,w)).
\end{align*}
There is a $\nu$--nullset $N \subset \mathcal{H}$ such that for all $y \in N^c$ identity (\ref{id-G-nu}) is satisfied.
The set $\ell^{-1}(N) \subset H$ is a $\mu$--nullset. Indeed, there is a set $N' \in \mathcal{B}(\mathcal{H})$ satisfying $N \subset N'$ and $\nu(N') = 0$. We obtain
\begin{align*}
\mu(\ell^{-1}(N')) = \mu^{\ell}(N') = \nu(N') = 0,
\end{align*}
showing that $\ell^{-1}(N) \subset H$ is a $\mu$--nullset.
Let $x \in \ell^{-1}(N)^c = \ell^{-1}(N^c)$ be arbitrary. Then we have $\ell x \in N^c$, and hence
\begin{align*}
F(x,w) = \Gamma(G(\ell x, w)) = \Gamma(G_{\nu}(\ell x,w)) = F_{\mu}(x,w)
\end{align*}
for $\mathbb{P}^Q$--almost all $w \in \mathbb{W}_0(\bar{U})$. Consequently, we have $F \in \hat{\mathcal{E}}(H)$.

Now, we shall prove that the mapping $F$ satisfies the three conditions from Definition~\ref{def-unique-sol}. For all $x \in H$ and $t \in \mathbb{R}_+$ the mapping
\begin{align*}
\mathbb{W}_0(\bar{U}) \rightarrow \mathbb{W}(H), \quad w \mapsto F(x,w)
\end{align*}
is $\overline{\mathcal{B}_t(\mathbb{W}_0(\bar{U}))}^{\mathbb{P}^Q} / \mathcal{B}_t(\mathbb{W}(H))$-measurable due to Lemma~\ref{lemma-Gamma-meas}.

Let $W$ be a standard $\mathbb{R}^{\infty}$-Wiener process on a stochastic basis $\mathbb{B}$, and let $\xi : \Omega \rightarrow H$ be a $\mathcal{F}_0$-measurable random variable. Then the pair $(Y,W)$, where $Y := G(\ell \xi,\bar{W})$, is a martingale solution to (\ref{SDE}) with $\mathbb{P}(Y(0) = \ell \xi) = 1$. By Corollary~\ref{cor-Y-X}, the pair $(X,W)$, where $X := F(\xi,\bar{W}) = \Gamma(Y)$, is a martingale solution to (\ref{SPDE}) with $\mathbb{P}(X(0) = \xi) = 1$.

Finally, let $(X,W)$ be a martingale solution to (\ref{SPDE}) and set
\begin{align*}
Y := \ell X(0) + \int_0^{\bullet} a(s,X)ds + \int_0^{\bullet} b(s,X) dW(s).
\end{align*}
By Corollary~\ref{cor-X-Y}, the pair $(Y,W)$ is a martingale solution to (\ref{SPDE}) with $\mathbb{P}(Y(0) = \ell X(0)) = 1$, and we have $X = \Gamma(Y)$ up to indistinguishability. Denoting by $\nu$ the distribution of $Y(0)$, we have up to indistinguishability
\begin{align*}
Y = G_{\nu}(Y(0),\bar{W}).
\end{align*}
Furthermore, denoting by $\mu$ the distribution of $X(0)$, we obtain
\begin{align*}
\nu = \mathbb{P}^{Y(0)} = \mathbb{P}^{\ell X(0)} = (\mathbb{P}^{X(0)})^{\ell} = \mu^{\ell}.
\end{align*}
We deduce that up to indistinguishability
\begin{align*}
X &= \Gamma(Y) = \Gamma(G_{\nu}(Y(0),\bar{W}))
\\ &= \Gamma(G_{\nu}(\ell X(0),\bar{W})) = F_{\mu}(X(0),\bar{W}).
\end{align*}
Consequently, the mapping $F$ fulfills the three conditions from Definition~\ref{def-unique-sol}, proving that the SPDE (\ref{SPDE}) has a unique mild solution.
\end{proof}

Now, the proof of Theorem~\ref{thm-main} is a direct consequence: If the SPDE (\ref{SPDE}) has a unique mild solution, then arguing as in \cite{Roeckner} shows that the two conditions from Theorem~\ref{thm-main} are fulfilled. Conversely, if these two conditions are satisfied, then combining Propositions~\ref{prop-proof-2}, \ref{prop-proof-3}, Theorem~\ref{thm-main-SDE} and Proposition~\ref{prop-proof-1} shows that the SPDE (\ref{SPDE}) has a unique mild solution.

\section{An example}\label{sec-example}

In this section, we shall illustrate Theorem \ref{thm-main} and consider SPDEs of the type
\begin{align}\label{SPDE-ex}
dX(t) = ( A X(t) + B(t,X(t)) + F(t,X(t)) ) dt + \sqrt{Q} dW_t,
\end{align}
which have been studied in \cite{Flandoli}, with a H\"{o}lder continuous mapping $B$. We fix a finite time horizon $T > 0$, an orthonormal basis $(e_n)_{n \in \mathbb{N}}$ of $H$ and suppose (as in \cite[Section~1.1]{Flandoli}) that the following conditions are satisfied:
\begin{itemize}
\item $A$ is selfadjoint, with compact resolvent, and there is a non-decreasing sequence $(\alpha_n)_{n \in \mathbb{N}} \subset (0,\infty)$ such that $A e_n = -\alpha_n e_n$ for all $n \in \mathbb{N}$.

\item For the mapping $B : [0,T] \times H \rightarrow H$ there exist constants $L_B, M_B > 0$ and $\alpha \in (0,1]$ such that
\begin{align*}
\| B(t,x) - B(t,y) \| &\leq L_B \| x-y \|^{\alpha} \quad \text{for all $x,y \in H$ and $t \in [0,T]$,}
\\ \| B(t,x) \| &\leq M_B \quad \text{for all $x \in H$ and $t \in [0,T]$.}
\end{align*}

\item For the mapping $F : [0,T] \times H \rightarrow H$ there exists a constant $L_F > 0$ such that
\begin{align*}
\| F(t,x) - F(t,y) \| \leq L_F \| x-y \| \quad \text{for all $x,y \in H$ and $t \in [0,T]$.}
\end{align*}

\item $Q : H \rightarrow H$ is a nonnegative, selfadjoint, bounded operator such that ${\rm Tr} \, Q < \infty$ or $\sum_{n \in \mathbb{N}} \frac{\| B_n \|_{\alpha}}{\alpha_n} < \infty$, where $B_n = \langle B,e_n \rangle$ and
\begin{align*}
\| B_n \|_{\alpha} = \sup_{\genfrac{}{}{0pt}{}{t \in [0,T]}{x \in H}} \| B_n(t,x) \| + \sup_{\genfrac{}{}{0pt}{}{t \in [0,T]}{x,y \in H \text{ with } x \neq y}} \frac{\| B_n(t,x) - B_n(t,y) \|}{\| x-y \|^{\alpha}}.
\end{align*}

\item $Q_t := \int_0^t S_s Q S_s^* ds$ is a trace class operator for each $t > 0$.

\item $S_t(H) \subset Q_t^{1/2}(H)$ for each $t > 0$.

\item We have $\int_0^T \| Q_t^{-1/2} S_t \|^{1 + \theta} dt < \infty$ for some $\theta \geq \max \{ \alpha, 1-\alpha \}$.
\end{itemize}
Furthermore, in order to ensure the existence of martingale solutions, we suppose that $S_t$ is a compact operator for each $t > 0$. Then, as indicated in \cite{Flandoli}, strong existence holds true. Indeed, by \cite[Theorem~3.14]{Atma-book} we have the existence of martingale solutions, and by \cite[Theorem~7]{Flandoli} pathwise uniqueness holds true. Hence, according to Theorem~\ref{thm-main}, the SPDE (\ref{SPDE-ex}) has a unique mild solution.