1: \begin{definition}[Evolution Operators]

2:     \label{def:UA}

3:     Let $\Sigma,\Sigma'$ be Cauchy surfaces.  In view of

4:     Theorem~\ref{dirac-existence-uniqueness} we define the isomorphic isometries

5:     \begin{align}

6:         \begin{split}

7:             U_{\Sigma A}&:\CA\to\CSigma, \\

8:             U_{A \Sigma}&:\CSigma\to\CA, \\

9:             U_{\Sigma'\Sigma}^A&:\CSigma \to\cC_{\Sigma'},

10:         \end{split}

11:         \begin{split}

12:             &U_{\Sigma A} \, \phi := \phi|_\Sigma, \\

13:             &U_{\Sigma A}\,\chi_\Sigma:=\psi, \\

14:             &U_{\Sigma'\Sigma}^A:=U_{\Sigma'A}U_{A \Sigma},

15:         \end{split} 

16:     \end{align}

17:     where $\chi_\Sigma\in\CSigma$, $\phi\in\CA$, and $\psi$ is the solution

18:     corresponding to initial value $\chi_\Sigma$ as in

19:     Theorem~\ref{dirac-existence-uniqueness}.

20:     These maps extend uniquely to unitary maps

21:     $U_{A\Sigma}:\HSigma\to\HA$, $U_{\Sigma A}:\HA\to\HSigma$ and

22:     $U_{\Sigma'\Sigma}^A:\HSigma\to\cH_{\Sigma'}$.

23: \end{definition}