Quantization of the Maxwell field in curved spacetimes of arbitrary dimension

(a) Let f\in\Omega_0^p({\bm M}). We know that \mathcal{A}^\pm = E^\pm f \in \Omega^p({\bm M}) is the unique solution to \Box \mathcal{A}^\pm = f. Likewise we have \mathcal{A}'^\pm = E^\pm {\bf d} f \in \Omega^{p+1}({\bm M}) is the unique solution to \Box \mathcal{A}'^\pm = {\bf d} f. Consider

Since \mathcal{A}'^\pm is unique we deduce {\bf d}\mathcal{A}^\pm =\mathcal{A}'^\pm, therefore {\bf d} E^\pm f = E^\pm {\bf d} f.

(b) Let f and \mathcal{A}^\pm be as defined above. Set \mathcal{A}'^\pm = E^\pm\bm{\delta} f\in \Omega^{p-1}({\bm M}), which is the unique solution to \Box \mathcal{A}'^\pm = \bm{\delta} f. Then consider

Since \mathcal{A}'^\pm is unique we deduce \bm{\delta}\mathcal{A}^\pm =\mathcal{A}'^\pm, therefore \bm{\delta} E^\pm f = E^\pm \bm{\delta} f.

This is a generalization of the proof for Theorem 5 of Furlani [Furl99]. Note, Furlani uses a different sign convention for the definition of the propagator E. Using Eq. ?, set \mathcal{A} equal to the smooth solution of \Box\mathcal{A} = \mathcal{J} and \mathcal{B} = E^\mp f for \Sigma^\pm respectively, then

Substituting the Cauchy data, noting that \mathcal{A} is a smooth solution to the Klein-Gordon equation with source \mathcal{J} and using \Box E^\pm = \openone, we can simplify the above to

When the two above equations are added for \Sigma^\pm, the result is Eq. 2.2. Furthermore, the integrals in this expression are well defined because f has compact support, thus E^\pm f and E f have compact support on all other Cauchy surfaces.

By Proposition 2.2 we have \int_{\bm M} \mathcal{A}\wedge*f = 0 which is true for all compactly supported f; therefore, \mathcal{A}=0.

Let f\in\Omega_0^p({\bm M}) be any compactly supported test form and consider

The operator \Box = -(\bm{\delta}{\bf d} - {\bf d}\bm{\delta}) is self-adjoint, therefore the transpose operator E' = -E (see Choquet-Bruhat [Choq67], corollary to Theorem II). The pullback operators are all linear and continuous, thus there exist transpose operators for the \rho’s denoted with the primes and we have

By Proposition 2.2, if \mathcal{A} is a solution to \Box\mathcal{A}=0 with the Cauchy data given above, then we have \langle \mathcal{A}', f \rangle_{\bm M} = \langle\mathcal{A},f\rangle_{\bm M} which implies \mathcal{A}'=\mathcal{A} in a distributional sense. Thus \mathcal{A}' is identified with the unique smooth solution \mathcal{A}.

The proof is a generalization of Theorem 3.2.12 of Bär et. al. [BGP07]. Define \mathcal{H}^p({\bm M}) \equiv \left\{ \mathcal{A}\in\Omega^p({\bm M}) | \Box\mathcal{A}=0 \right\} as the space of smooth homogeneous Klein-Gordon solutions, then the mapping \mathcal{P}:\mathcal{H}^p({\bm M})\rightarrow\Omega^p(\Sigma) \oplus\Omega^p(\Sigma)\oplus\Omega^{p-1}(\Sigma)\oplus\Omega^{p-1}(\Sigma) of a solution to its Cauchy data is by definition both linear and continuous. Next, let K\subset{\bm M} be a compact subset of {\bm M}. On K we have the spaces \Omega_0^p(K) \subset \Omega^p({\bm M}) and \Omega_0^p(K\cap\Sigma)\subset \Omega^p(\Sigma) for all p\le n. We also define the space \mathcal{V}_K^p = \mathcal{P}^{-1}\left[ \Omega^p_0(K\cap\Sigma)\oplus\Omega^p_0(K\cap\Sigma) \oplus\Omega^{p-1}_0(K\cap\Sigma)\oplus\Omega^{p-1}_0(K\cap\Sigma)\right]. Since \mathcal{P} is continuous and \Omega^p_0(K\cap\Sigma)\oplus \Omega^p_0(K\cap\Sigma)\oplus\Omega^{p-1}_0(K\cap\Sigma)\oplus\Omega^{p-1}_0 (K\cap\Sigma) \subset\Omega^p(\Sigma)\oplus \Omega^p(\Sigma)\oplus\Omega^{p-1} (\Sigma)\oplus\Omega^{p-1}(\Sigma) is a closed subset, this implies \mathcal{V}_K^p\subset \mathcal{H}^p({\bm M}) is also a closed subset. Furthermore, both \Omega^p_0(K\cap\Sigma)\oplus \Omega^p_0(K\cap\Sigma)\oplus \Omega^{p-1}_0(K\cap\Sigma)\oplus\Omega^{p-1}_0 (K\cap\Sigma) and \mathcal{V}_K^p are Fréchet spaces. Also, the map \mathcal{P}: \mathcal{V}_K^p \rightarrow \Omega^p_0(K\cap\Sigma)\oplus\Omega^p_0(K\cap\Sigma) \oplus \Omega^{p-1}_0(K\cap\Sigma)\oplus\Omega^{p-1}_0(K\cap\Sigma) is linear, continuous, bijective, and by the open mapping theorem for Fréchet spaces (Theorem V.6 of Reed and Simon [RSvI:80]) it is also an open mapping. Since a bijection that is open implies a continuous inverse, we conclude that \mathcal{P}^{-1} is continuous.

Finally, if we have a convergent sequence of Cauchy data \left( A_{(0),i}, A_{({\bf d}),i}, A_{(n),i}, A_{(\bm{\delta}),i}\right)\rightarrow \left(A_{(0)}, A_{({\bf d})}, A_{(n)}, A_{(\bm{\delta})}\right) in \Omega^p_0(\Sigma)\oplus \Omega^p_0(\Sigma)\oplus\Omega^{p-1}_0(\Sigma)\oplus\Omega^{p-1}_0(\Sigma), then we can choose a compact subset K \subset {\bm M} with the property that \mbox{supp}\left( A_{(0),i}\right)\cup\mbox{supp}\left( A_{({\bf d}),i}\right) \cup \mbox{supp}\left( A_{(n),i}\right)\cup\mbox{supp}\left( A_{(\bm{\delta}),i} \right) \subset K for all i and \mbox{supp}\left( A_{(0)}\right)\cup \mbox{supp}\left( A_{({\bf d})}\right)\cup \mbox{supp}\left( A_{(n)}\right)\cup \mbox{supp}\left( A_{(\bm{\delta})}\right)\subset K. Thus, \left( A_{(0),i}, A_{({\bf d}),i}, A_{(n),i}, A_{(\bm{\delta}),i}\right)\rightarrow \left(A_{(0)}, A_{({\bf d})}, A_{(n)}, A_{(\bm{\delta})}\right) in \Omega^p_0(K\cap\Sigma)\oplus \Omega^p_0(K\cap\Sigma)\oplus\Omega^{p-1}_0(K\cap\Sigma)\oplus\Omega^{p-1}_0 (K\cap\Sigma) and we conclude that the inverse mapping \mathcal{P}^{-1} \left( A_{(0),i},A_{({\bf d}),i}, A_{(n),i}, A_{(\bm{\delta}),i}\right)\rightarrow \mathcal{P}^{-1}\left(A_{(0)},A_{({\bf d})}, A_{(n)}, A_{(\bm{\delta})}\right).

First, suppose that \mathcal{A} solves both \Box\mathcal{A} = 0 and -\bm{\delta}{\bf d}\mathcal{A}=0, and evaluate the two conditions,

Alternatively, suppose we have Cauchy data (A_{(0)}, A_{({\bf d})}, A_{(n)}, A_{(\bm{\delta})}) with \bm{\delta} A_{({\bf d})} = 0 and {\bf d} A_{(\bm{\delta})}=0. By Theorem 2.6, there exists a unique \mathcal{A} which is a solutions to \Box\mathcal{A} = 0. Next, let f\in\Omega^p_0({\bm M}), then by Proposition 2.2 we can evaluate

where we have made use of \Box\mathcal{A} = 0 in the first and fourth terms. The first and third terms vanish because \rho_{({\bf d})}{\bf d} = 0 and \rho_{(\bm{\delta})}\bm{\delta} = 0. For the remaining two terms, we commute the pullback operators with the first derivative operation to obtain

where we have made use of the properties of the Cauchy data. This is true for all f, so we conclude -\bm{\delta}{\bf d}\mathcal{A}=0.

First suppose that \mathcal{A} solves both \Box\mathcal{A} = 0 and \bm{\delta}\mathcal{A} =0 and let us evaluate the three conditions above. For the forward normal derivative we have

Using the identity for p-forms that \bm{\delta}\rho_{(n)} = (-1)^{np} \rho_{(n)}\bm{\delta} we find

where we have used the wave equation and the subsidiary condition in the last two steps. For the divergence of the forward normal we find

Finally, for the pullback of the divergence we have

On the other hand, assume \mathcal{A} is a Klein-Gordon solution whose Cauchy data satisfies \bm{\delta} A_{({\bf d})} = 0=\bm{\delta} A_{(n)} and A_{(\bm{\delta})}=0. Let f\in\Omega_0^{p-1} ({\bm M}) and evaluate

where we have used the fact that {\bf d} commutes with E on forms of compact support. The first term vanishes because \rho_{({\bf d})}{\bf d} = 0. The second term trivially vanishes. For the third term we have that \rho_{(0)} and {\bf d} commute. For the fourth term we use \rho_{(\bm{\delta})} = \rho_{(0)}\bm{\delta} and the fact that E f is a solution to the homogeneous Klein-Gordon equation to swap the order of the derivative operators. Therefore

where we have used the conditions on the initial data. Since this is true for all f we deduce that \bm{\delta}\mathcal{A} = 0.

Let \mathcal{A}\in{\rm ker}\,{\bf d}_p be a Klein-Gordon solution, then \mathcal{A} is also a Maxwell solution. Next, evaluate the three conditions;

Alternatively, assume Cauchy data (A_{(0)}, 0, A_{(n)}, A_{(\bm{\delta})}) where {\bf d} A_{(0)} = 0 ={\bf d} A_{(\bm{\delta})}. Then, there exists an unique \mathcal{A} that solves \Box\mathcal{A} = 0 with this Cauchy data. By proposition  2.7 above, it is also a Maxwell solution. Additionally, let g\in\Omega^{p+1}_0({\bm M}) and evaluate

which is true for all g, implying that {\bf d} \mathcal{A} =0. Therefore, \mathcal{A}\in{\rm ker}\, {\bf d}_p on the spacetime {\bm M}.

First, supposed \mathcal{A} satifies {\bf d}\mathcal{A}=0 and \bm{\delta}\mathcal{A}=0, then \mathcal{A} trivially satisfies the Klein-Gordon and Maxwell equations. We evaluate

Alternatively, assume Cauchy data (A_{(0)}, 0, A_{(n)}, 0) where {\bf d} A_{(0)} = 0 and \bm{\delta} A_{(n)} =0. Then, there exists an unique \mathcal{A} that solves \Box\mathcal{A} = 0 with this Cauchy data. By Proposition 2.8 above, it is also a Lorenz solution with \bm{\delta}\mathcal{A}=0. By Proposition 2.9, \mathcal{A}\in{\rm ker}\, {\bf d}_p, i.e., {\bf d}\mathcal{A}=0.

This is a broader proof than that given by Proposition 2.10 of Pfenning (original version of this manuscript), which was itself a generalization of the proof given for Dimock’s Proposition 2. We add additional constraints and show that a solution still exists. Choose any ( A_{(n)}, A_{(\bm{\delta})} )\in\Omega^{p-1}_0(\Sigma)\oplus\Omega^{p-1}_0 (\Sigma) with {\bf d} A_{(\bm{\delta})}=0. We now have Cauchy data

By Theorem 2.6, there exists an unique \mathcal{A}\in\Omega^p ({\bm M}) which is a \Box\mathcal{A} = 0 solution with this Cauchy data. Furthermore, by proposition 2.7, \mathcal{A} also satisfies -\bm{\delta}{\bf d}\mathcal{A} = 0.

(a) In terms of the complete Cauchy data on \Sigma, any Maxwell solution will have

with the constraints \bm{\delta} A_{({\bf d})}=0 and {\bf d} A_{(\bm{\delta})}=0={\bf d} A'_{(\bm{\delta})}.

On the Cauchy surface \Sigma, we specify complete initial data (0, 0, A'_{(n)}-A_{(n)}, A'_{(\bm{\delta})}-A_{(\bm{\delta})})\in\Omega^{p}_0(\Sigma)\oplus\Omega^{p}_0(\Sigma)\oplus \Omega^{p-1}_0(\Sigma)\oplus\Omega^{p-1}_0(\Sigma). By Proposition 2.6, there exists a unique smooth \mathcal{B}\in\Omega^{p} ({\bm M}) which is a solution to \Box\mathcal{B}=0 with this Cauchy data. By Propositions 2.7 and 2.9, \mathcal{B} is a closed solution to the Maxwell equation.

Define \widetilde{\mathcal{A}}= \mathcal{A} +\mathcal{B}, which is also a Maxwell solution, and evaluate its Cauchy data;

We immediately see that \mathcal{A}' and \widetilde{\mathcal{A}} are both Maxwell solutions with identical complete Cauchy data, and by uniqueness of homogenous Klein-Gordon solutions \mathcal{A}' = \widetilde{\mathcal{A}} = \mathcal{A} +\mathcal{B}. Setting the p-th deRham cohomology group for the spacetime, H^p({\bm M}), to be trivial, we can then conclude that \mathcal{B} is exact. More specifically, there exists a \lambda\in\Omega^{p-1} ({\bm M}) such that \mathcal{B}={\bf d}\lambda. Upon substitution, we have \mathcal{A}' = \mathcal{A} +{\bf d}\lambda, or more simply, \mathcal{A}'\sim\mathcal{A}.

(b)Let \lambda\in\Omega^{p-1}({\bm M}) and set \mathcal{A}' = \mathcal{A} + {\bf d}\lambda; then it immediately follows A'_{(0)}\sim A_{(0)} and A'_{({\bf d})}=A_{({\bf d})}.

Alternatively, assume A'_{(0)} = A_{(0)} +{\bf d} \alpha and A'_{({\bf d})}=A_{({\bf d})}, where \alpha\in\Omega^{p-1}_0(\Sigma). By part (a) of this proposition, \mathcal{A}\sim \widetilde{\mathcal{A}}, where \widetilde{\mathcal{A}} is the Coulomb solution with complete Cauchy data (A_{(0)},A_{({\bf d})},0,0). Likewise, \mathcal{A}'\sim\widetilde{\mathcal{A}}' where \widetilde{\mathcal{A}}' is the Coulomb solution with complete Cauchy data (A_{(0)}+{\bf d}\alpha,A_{({\bf d})},0,0).

Next, on the Cauchy surface \Sigma, specify initial data (\alpha, 0,0,0)\in \Omega^{p-1}_0(\Sigma)\oplus\Omega^{p-1}_0(\Sigma)\oplus \Omega^{p-2}_0(\Sigma) \oplus\Omega^{p-2}_0(\Sigma). By Theorem 2.6, there exists a unique smooth \lambda which is a solution to \Box\lambda=0 with this Cauchy data. Furthermore, by Proposition 2.8 and the text following the proposition, \lambda is a Coulomb solution to the Maxwell equation.

Define \mathcal{B} = \widetilde{\mathcal{A}} + {\bf d}\lambda, then

and

Evaluating the initial data for \mathcal{B}, we find;

Thus, \mathcal{B} is a Coulomb solution with complete Cauchy data identical to that \widetilde{\mathcal{A}}'. By the uniqueness of solutions to the Klein-Gordon equation, we have \widetilde{\mathcal{A}}' = \mathcal{B} = \widetilde{\mathcal{A}} + {\bf d}\lambda, or more simply \widetilde{\mathcal{A}'}\sim\widetilde{\mathcal{A}}. Therefore, we conclude \mathcal{A}'\sim\mathcal{A}.

Part (a) is proven directly in Proposition 4 by Dimock [Dimock], to which we refer the reader. Parts (b) and (c) are generalizations of the corresponding parts of proposition 4 in Dimock and we leave the proof to the reader.

Choose any Cauchy surface \Sigma, then from Eq. 2.2 above, we have for all [\mathcal{A}] that are homogeneous solutions of the Maxwell equation

Also, recall that Ef is a Lorenz solution and thus belongs to some equivalence class, therefore giving us the result.

(a) By definition we have \widehat{[{\mathcal{A}}]}(\bm{\delta}{\bf d}\mathcal{J}) =i\hat{a}(\overline{K [E\bm{\delta}{\bf d}\mathcal{J}]}) - i\hat{a}^*(K[E\bm{\delta}{\bf d}\mathcal{J}]), so we will show [E\bm{\delta}{\bf d}\mathcal{J}]=0. For any \theta\in\Omega^p_0({\bm M}), we have \Box E\theta = E\Box\theta = 0, so [E\bm{\delta}{\bf d}\theta] = -[E{\bf d}\bm{\delta}\theta] =-[{\bf d} E \bm{\delta}\theta] = 0, because all exact forms are in the equivalence class of zero. Since \mathcal{J}\in\Omega^p_0({\bm M}), we have [E\bm{\delta}{\bf d}\mathcal{J}]=0 and \widehat{[{\mathcal{A}}]}(\bm{\delta}{\bf d}\mathcal{J}) = i\hat{a}(0)-i\hat{a}^*(0)=0. Notice, this part of the proposition does not require the co-closed condition \bm{\delta}\mathcal{J} = 0.
(b) Substituting the definition of the field operator into the commutator yields

By Proposition 2.14 we obtain the desired result. Finally, if \mbox{supp }\mathcal{J} and \mbox{supp }\mathcal{J}' are spacelike separated, then \mbox{{\rm supp}\, }\mathcal{J} \cap \mbox{{\rm supp}\, }E\mathcal{J}' = \emptyset and the integral in the inner product vanishes.

We know that \mathcal{F} = {\bf d}\mathcal{A} will satisfy the Maxwell equations if \bm{\delta}{\bf d}\mathcal{A} = 0. To show that such an \mathcal{A} exists we choose as Cauchy data:

while A_{(n)} and A_{(\bm{\delta})} are arbitrary up to {\bf d}\mathcal{A}_{(\bm{\delta})}=0.

The first thing to address is the existence of A_{(0)}. For non-compact Cauchy surface \Sigma we could restrict to only those manifolds that are contractible. By the Poincaré lemma for contractible manifolds (Theorem 6.4.18 of AMR [AMR88]) all closed p-forms (for p>0) are exact.

Alternatively, we could require that the compactly supported deRham cohomology group H^p_c(\Sigma) for p-forms on the Cauchy surface be of dimension zero, i.e. H^p_c(\Sigma)=\{[0]\}. This is a restriction on the topology of the Cauchy surface. If we do have a trivial deRham cohomology group then all closed p-forms F_{(0)} are exact. Either the contractible or cohomology condition is sufficient to allow for the existence of a suitable A_{(0)}.

From the initial Cauchy data on \mathcal{F} we have

Our Cauchy data for \mathcal{A} has the properties necessary to use Proposition 2.7. So \mathcal{A} is a solution to -\bm{\delta}{\bf d}\mathcal{A}=0 and therefore \mathcal{F}={\bf d}\mathcal{A} is a solution to the generalized Maxwell equations.

Now we show this also reproduces the Cauchy data. We evaluate

Next we evaluate

The remaining two pullbacks are trivially zero since

and