Curing velocity superselection in non-relativistic QED by restriction to a lightcone

It is physically expected that plane-wave configurations of the electron in QED induce disjoint representations of the algebra of the electromagnetic fields. This phenomenon of velocity superselection, which is one aspect of the infrared problem, is mathematically well established in non-relativistic (Pauli-Fierz type) models of QED. We show that velocity superselection can be resolved in such models by restricting the electron states to the subalgebra of the fields localized in the future lightcone. This actually follows from a more general statement about equivalence of GNS representations for coherent states of the algebra of the future lightcone in free electromagnetism. Our analysis turns out to be meaningful in the non-relativistic setting and provides evidence in favour of the Buchholz-Roberts approach to infrared problems.


Introduction
In the framework of local relativistic QFT D. Buchholz and J. E. Roberts proposed a novel approach to infrared problems, by focusing attention on measurements performed in some future lightcone [BR14]. They defined a family of charged representations, localizable in certain subsets of the future lightcone, and developed for them a meaningful superselection theory in the spirit of the Doplicher-Haag-Roberts (DHR) analysis. As the Buchholz-Roberts approach invalidates the standard no-go theorems [Bu86], also a resolution of the infraparticle problem, i.e., a demonstration of a sharp mass-shell for the electron, was posed as a question for future research in [BR14]. It was later shown by S. Alazzawi and one of the present authors in [AD17] that in the absence of the infraparticle problem one can construct Compton scattering states in the Buchholz-Roberts representations of QED. However, the question of a sharp mass of the electron was not addressed in this work and it appears to be too specific to tackle it in the axiomatic setting. On the other hand, concrete non-perturbative models of QED, amenable to a rigorous mathematical treatment, are non-relativistic due to severe ultraviolet problems. As the algebra of observables localized in a lightcone is a priori not available in such models, they may 1 not appear suitable to test the Buchholz-Roberts approach. It is the goal of the present paper to show that such a conclusion would in fact be pre-mature. We consider the well-established property of velocity superselection in non-relativistic QED, which says that plane-wave configurations of the electron with distinct velocities induce disjoint representations of the algebra of the electromagnetic fields. We show that a restriction to the subalgebra of the future lightcone is meaningful in this context and that the phenomenon of velocity superselection disappears after such restriction. This means that the plane-wave configurations become coherent and can, in principle, be superposed into normalisable states of the electron with sharp mass. However, this latter step is not considered in this work.
Let us explain in non-technical terms how velocity superselection is defined in models of nonrelativistic QED and how we resolve it by restriction to a lightcone. The Hilbert space of the model is H = L 2 (R 3 ) ⊗ F ph , where L 2 (R 3 ) carries the degrees of freedom of a spinless electron and F ph is the Fock space of the physical photon states. The Hamiltonian has the textbook form (cf. [Sp]) whereα > 0 is the coupling constant, x x x is the position of the electron, A A A is the electromagnetic potential in the Coulomb gauge with fixed ultraviolet regularization and H ph is the Hamiltonian of free photons. Due to the translation invariance, we can decompose H into the fiber Hamiltonians H P P P at fixed momentum P : where Π is a certain unitary map. The Hamiltonians H P P P , given by (4.1) below, are self-adjoint operators acting on the so called fiber Fock space which we denote by F. A manifestation of the infraparticle problem in this model is the absence of the ground states of H P P P , which is known for smallα and for P = 0 in some ball S around zero [HH08,CFP09]. On the other hand, for any infrared cut-off σ > 0 in the interaction, the resulting fiber Hamiltonians H P ,σ do have (normalised) ground states Ψ P ,σ in the same region of parametersα, P . Although these vectors tend weakly to zero as σ → 0 [CFP09], they define states on a certain C * -algebra A ⊂ B(F): These states can be interpreted as plane-wave configurations of the electron moving with momentum P . It is well known that in (1.1), and in similar models of non-relativistic QED, the GNS representations π P P P of the states ω P P P are disjoint for different values of P P P ∈ S [Fr73, CF07, CFP09, KM14,CD18]. To our knowledge, this mathematical formulation of velocity superselection was first introduced by Fröhlich in [Fr73]. In our recent work [CD18] we showed that all the states {ω P P P } P P P ∈S belong to a suitably defined equivalence class, similar in intention to the charge classes from [BR14]. We also could resolve the velocity superselection by inserting certain infravacuum automorphisms [KPR77] between the 'bare electron' and 'soft-photon dressing' constituting the states ω P P P . In the present paper we cure velocity superselection in a more geometric manner, which we now briefly explain. It follows from the proof of Proposition 5.1 below that the choice of the algebra A in (1.3) is largely arbitrary, as long as it acts irreducibly on F and the states (1.3) are well-defined. In our paper we choose as A the algebra of observables of the free electromagnetic field. As this theory is local and relativistic, we have a subalgebra A(V + ) ⊂ A of the fields localised in the future lightcone. While π P , π P are disjoint as representations on the full algebra A, we show that they are unitarily equivalent after restriction to A(V + ). Actually we even show that π P are lightcone normal, i.e., unitarily equivalent to the vacuum representation π vac after restriction to the lightcone.
Let us explain the idea behind the proof in heuristic terms: Consider the formal expression where E P denotes the infimum of the spectrum of H P , g ∈ C ∞ 0 (R 3 ) is a smearing function, and u > 0 is sufficiently large. The problem of convergence of the t-integral above will be left aside in this introductory discussion. Up to a phase and the shift u, the expression W P is the incoming Dyson wave operator for the electromagnetic field interacting with an external current. As expected, this current corresponds to an electron moving with velocity ∇E P , whose charge distribution is described by g, (cf. [DH19, Section 6]). Using standard results from [CF07,CFP09] on the states (1.3), it is easily seen that their GNS representations π P are unitarily equivalent to π vac (W P · W * P ). We show that all π P , P ∈ S, are unitarily equivalent to π vac by verifying that W P commute with A(V + ). If A was a local field, the expression W P would clearly be localized in the backward lightcone. Since this is not the case, we need one more step: using E = −∂ t A we express A as an integral of the free electric field E, i.e., (1.5) which is manifestly localised in the backward lightcone V − . Now by the Huyghens principle A(V − ) ⊂ A(V + ) so we obtain lightcone normality of π P . The above intuitive arguments can be made rigorous by a careful control of the t-integrals in (1.5). As this discussion is quite technical, we postpone it to Appendix A. In Section 3 we give a less technical but also less insightful complex function argument, relying heavily on the fact that π vac (W P · W * P ) is a coherent state. Although coherent states are well studied [Ro70], their behaviour under restrictions to lightcones seems to be a 'forgotten chapter', perhaps familiar to some experts but never published. We believe that there is a good reason to revisit this subject. Namely, the general discussion of Buchholz and Roberts [BR14] may suggest that all the coherent states from [Ro70] with the usual infrared singularity are lightcone normal. We show in Theorem 3.1 below that this is not the case. Specifically, consider functions of the form (1.6) where F : R + → C is Hölder continuous at zero, |k| −1/2 F is square-integrable outside zero and h ∈ L 2 (S 2 ; R 3 ) is non-zero and transverse. Then coherent state representations given on Weyl operators by π v v v (W (f )) := e −2iIm v v v,f π vac (W (f )) are lightcone normal if and only if (1.7) As coherent states π vac (W P · W * P ) discussed above satisfy this condition, this general result gives lightcone normality of the states π P and the absence of velocity superselection on the lightcone algebra. In the same time, Theorem 3.1 raises the question if coherent states with ImF (0) = 0 are relevant for infrared problems. We remark here that coherent states considered in [DW19], related to certain gauge transformations in external current QED, violate condition (1.7). However, as h of (1.7) is a distribution in this case, Theorem 3.1 does not apply directly. A further analysis of this issue, which is left for future research, may help to understand if different gauges can be distinguished inside the future lightcone. This in turn may shed light on the limitations of the Buchholz-Roberts approach.
Acknowledgements: We would like to thank Detlev Buchholz and Henning Bostelmann for helpful discussions. We also thank Pawe l Duch for a useful hint in the second part of the proof of Lemma B.1. Furthermore, we thank an anonymous referee for pointing out to us the computation (3.11). This work was supported by the DFG within the Emmy Noether grants DY107/2-1, DY107/2-2 and CA 1850/1-1.

Free electromagnetic field
We set L 2 (R 3 ; C 3 ) := L 2 (R 3 ) ⊗ C 3 and denote the scalar product by · , · . The single-photon Hilbert space h is spanned by the transverse functions and we denote by P tr : . We setk k k := k k k/|k k k|, write S 2 for the unit sphere in R 3 and introduce the polarisation vectors S 2 k → ± (k) ∈ S 2 , given by, e.g., [LL04] which satisfy k k k · ± (k) = 0 and + (k) · − (k) = 0 fork = (k 1 ,k 2 ,k 3 ) ∈ S 2 . With the help of these vectors we can write and note that the right hand side of the latter equality is actually meaningful for any function f : R 3 → C 3 . For a given choice of the polarisation vectors we can identify L 2 Next, we denote by F the symmetric Fock space over h := L 2 tr (R 3 ; C 3 ) L 2 (R 3 ; C 2 ): The dense domain of finite particle vectors will be denoted by F 0 and D S ⊂ F 0 will denote the subspace of finite particle vectors with Schwartz-class wave functions. Let a ( * ) ( · ) be the creation and annihilation operators on this Fock space and a ( * ) λ (k) the improper creation and annihilation operators on and 4 all other commutators vanish. These operators are related by a * Now we define the electromagnetic potential in the Coulomb gauge as an operator valued distribution on Fock space 1 More precisely, for any f ∈ D(R 4 ; R 3 ), (the space of smooth, compactly supported functions from R 4 to R 3 ), the expression defines an essentially self-adjoint operator on F 0 , whose self-adjoint extension will be denoted by the same symbol (cf. [RS2, Section X.7]). The same applies to the electromagnetic fields, which are defined as distributions by In contrast to the electromagnetic potential above, the electromagnetic fields are Wightman fields. They give rise to a Haag-Kastler net of local C * -algebras which is constructed in a standard manner: For any double cone 2 O ⊂ R 4 we define the local algebra A(O) as the C * -algebra generated by exponentials of the smeared fields: (2.9) The algebras associated with any (possibly unbounded) open regions U are obtained by the C * -inductive limit, i.e., (2.10) This gives, in particular, the quasi-local algebra A := A(R 4 ) and the algebras A(V ± ) of the future (+) and backward (-) open lightcone with a tip at zero.
where O 1 and O 2 are spacelikeseparated and the prime denotes the commutant in B(F). Even more importantly, the Huyghens principle holds, that is, (2.11) We will also use the translation covariance property, which gives x)), (2.12) 1 We skip the usual normalisation constant 1 (2π) 3/2 1 √ 2 for consistency with [CFP09]. 2 A double cone is a spacetime translate of a set O r := { (t, x x x) ∈ R 4 | |t| + |x x x| < r}, r > 0. We also say that where the energy-momentum operators are essentially self-adjoint on D S and their self-adjoint extensions are denoted by the same symbol. It will be convenient to express the algebras above as CCR algebras in the Fock representation. For this purpose, for any (2.14) where tilde denotes the Fourier transform 3 . We define the real-linear vector spaces and equip them with the symplectic form σ(f 1 , , the quasi-local algebra A acts irreducibly on F. The defining representation of A will be denoted π vac . It is the GNS representation of the vacuum state ω vac ( · ) := Ω, · Ω . We say that a given representation π of A is lightcone normal if where denotes the unitary equivalence. Lightcone normality of states is defined w.r.t. their GNS representations.

Lightcone normality of coherent states
In this section we investigate lightcone normality of coherent states on the algebra of the free electromagnetic field. Although coherent states have been well studied, e.g. by Roepstorff [Ro70], we are not aware of any treatment of this particular aspect in the literature. Theorem 3.1 below gives an exact characterization of lightcone normality for coherent states with the usual infrared singularity. Our analysis reveals that the lightcone normality for such states is not automatic but requires an additional 'reality assumption' on the defining functional.
Consider functions of the form v v v(k) := i |k| 3/2 F (|k|)h(k). (3.1) Here h ∈ L 2 tr (S 2 , R 3 ), h = 0, and F : R + → C is a measurable function which satisfies (a) Hölder continuity at zero, i.e., |F (0) − F (|k|)| ≤ c|k| ε for some ε > 0 and all |k| ≤ 1, As v v v are not square-integrable, it is convenient to introduce an approximating sequence of L 2functions: v where χ ∆ is the characteristic function of a set ∆. Now we consider coherent automorphisms of A defined by The main result of this section is now a characterization of lightcone normality of the coherent states above under mild regularity conditions.
Proof. First suppose that ImF (0) = 0. Then we can find a real-valued function G ∈ C ∞ 0 (R), supported in the interior of the negative real axis, s.t.G(0) = F (0) and define an auxiliary functionv v v(k) = i |k| 3/2G (|k|)h(k). (3.5) It follows from properties (a), (b) and . Thus, by standard arguments (e.g. Lemma 1 of [Ro70]), α v v v = AdU • αv v v for some unitary U . Therefore, to conclude the proof of the if-part of Theorem 3.1, it suffices to show that αv v v A(V + ) = id A(V + ), where id is the identity mapping. This is a consequence of (3.3) and Lemma 3.2 below. Now suppose that ImF (0) = 0. Then F = ReF +iImF gives the corresponding decomposition (3.6) Let us show that αv v v is not lightcone normal by the method of central sequences. Suppose, by contradiction, that π vac • αv v v A(V + ) π vac A(V + ) for some unitary U on F. This implies Since the representation π vac of A is irreducible, then by [KR, Theorem 10.2.1] there existsŨ ∈ A such thatŨ * Ω = U * Ω. Thus we can write, for all A ∈ A(V + ), Now let f ∈ L(V + ). We introduce the sequence f θ (k) := θ −3/2 f (k/θ), θ > 0, and set A = W (f θ ) in (3.8). By Lemma 3.3, we have Since ω vac (W (f θ )) is constant in θ and non-zero, and since we could always change f θ by a multiplicative constant, we arrive at a contradiction, considering Lemma 3.4 below. Finally, recalling that αv and that α v v v 0 is lightcone normal by the first part of the proof, we conclude that α v v v cannot be lightcone normal if ImF (0) = 0.
(3.13) Moreover, considering that G is supported in (−∞, −R], for some R > 0, we have (3.14) Thus we can close the contour and conclude that Im v v v, f e = 0. To show that Im v v v, f b = 0 we proceed analogously. Proof. For any ε we can find an observable C ε localized in some double cone O (ε) such that C − C ε ≤ ε. Thus we can write Now it suffices to show that for any fixed ε we have lim θ→0 [C ε , W (f f f θ )] = 0. For this purpose, we note that W (f f f θ ) ∈ A(V + + θe + ), with some e + ∈ V + . For sufficiently large λ, the vector λe + is in the future of O (ε) and thus [C ε , W (f f f θ )] = 0 by the Huyghens principle (2.11). This concludes the proof. Proof. Proceeding as in computation (3.11) we get Setting f e,θ (t, x) := θ 2 f e (θt, θx) we obtainf e,θ (|k|, k) = θ −2f e (|k|/θ, k/θ) and Im Now we use that F (0) is real to get in the limit θ → 0 In the remaining part of the proof we will exhibit f e ∈ L(V + ) such that (3.19) is different from zero thus proving our claim withf b = 0.

The integration in ρ in (3.19) can be computed by means of Fourier transforms of distributions [GS, Sec. 3], and its real part yields
(3.20) Note that since f e is supported inside the future light cone, there is no singularity at t −k · x = 0 in the above expression, and the regularization there can be dropped. Inserting into (3.19), we have lim Now, since the function is analytic in (t, x) ∈ V + as the integration region is compact, then it either does not vanish except on a null set, or it vanishes identically. In the first case, one can find f e such that (3.19) is non-zero, finishing the proof. In the second case, we will construct a contradiction. We expand the function λ → (t − λk · x) −2 around λ = 0, and obtain If the r.h.s. vanishes identically for all (t, x) ∈ V + , it follows that Now for x = e e e 3 , the unit vector in the direction of the z-axis, we have in usual spherical coordinates, Since the representation of the rotation group is irreducible at every fixed angular momentum , we can use our choice of x to show orthogonality to all rotated Y 0 , and therefore to all Y m . Thus h ≡ 0 which is a contradiction.

Pauli-Fierz model of non-relativistic QED
Our aim is to apply the results from the previous section in the Pauli-Fierz model of nonrelativistic QED. We now summarize some known facts about this model, as used in [CD18, Subsection 4.1]. By analogy with (2.6), we define the quantized electromagnetic vector potential with infrared and ultraviolet cut-offs 0 ≤ σ ≤ κ as the following operator on F 0 where χ ∆ denotes the characteristic function of a set ∆. The fiber Hamiltonians from the decomposition (1.2) are given by They are self-adjoint, positive operators on a domain in F, which is independent of P (see, e.g., [Sp,Hi00,KM14]). The infima of the spectra of H P ,σ , H P , denoted by E P ,σ := inf Spec(H P ,σ ), E P := inf Spec(H P ) are rotation invariant functions of P . Now we recall some spectral results, mostly from [CFP09,FP10], which will be used in the next section. From now on we discuss the regime of low couplingα > 0 and momenta P restricted to the ball It is well known that for any σ > 0 the operators H P ,σ have ground-states Ψ P ,σ ∈ F, Ψ P ,σ = 1, so that E P ,σ are eigenvalues. The dependence P → E P ,σ is analytic for any fixed σ > 0 by the Kato perturbation theory. In the limit σ → 0 the vectors Ψ P ,σ tend weakly to zero [CFP09,Fr73,Fr74,Ch08] and the Hamiltonians H P do not have ground-states for P = 0 [HH08].
To analyze this phenomenon, one introduces the auxiliary vectors where v v v P ,σ has the form v v v P P P ,σ (k k k) =α 1/2 P tr χ [σ,κ] (|k k k|) |k k k| 3/2 ∇E P P P ,σ 1 −k k k · ∇E P P P ,σ , (4.5) and we setk := k/|k| and ∇E P P P ,σ := ∇ P E P P P ,σ . (By a slight abuse of notation, we use in (4.4) the notation W (f ) also for f which are not in the spaces (2.15)). The following lemma collects some facts from [CFP09,FP10]. 4 Lemma 4.1. Letα > 0 be sufficiently small and P ∈ S. Then (a) The function P → E P is rotation invariant, twice differentiable and has a strictly positive second derivative with respect to |P |.
In the following we assume that the phases of Ψ P ,σ are fixed as in Lemma 4.1 (d). Using Lemma 4.1 (b) we can define the pointwise limit v v v P (k) := lim σ→0 v v v P ,σ (k) =α 1/2 P tr χ [0,κ] (|k k k|) |k k k| 3/2 ∇E P P P 1 −k k k · ∇E P P P . (4.6) We note that the expressions 1 −k k k · ∇E P P P ,σ and 1 −k k k · ∇E P P P in the denominators of (4.5) and (4.6) are different from zero by Lemma 4.1 (c). Furthermore, P tr acting in (4.6) on a function which is not in L 2 (R 3 ; C 3 ) is defined by the right hand side of (2.3). The fact that v v v P is not in L 2 tr (R 3 ; C 3 ) for 0 = P ∈ S will be important below.

Curing velocity superselection
Now let us consider a special example of the state (3.1) which is relevant in the Pauli-Fierz model and related to the problem of velocity superselection. On the CCR algebra A over the symplectic space L as introduced above, we define ω P P P (A) := lim σ→0 Ψ P P P ,σ , AΨ P P P ,σ = Φ P P P , α −iv v v P P P (A)Φ P P P , A ∈ A, (5.1) where the automorphism α −iv P is defined as in (3.3) and v P ,σ is given by (4.5). These states describe plane-wave configurations of the electron with velocity ∇E P . Now let π P be the GNS representation of ω P . By formula (5.1) and standard arguments (see, e.g., [CD18, Lemma A.1]), we have where π vac is the defining Fock vacuum representation and denotes unitary equivalence. Thus, in particular, π P P P are irreducible representations. The mathematical formulation of velocity superselection, consisting in the disjointness of π P P P for distinct P P P , was introduced by Fröhlich in [Fr73] and established later by various authors in different models and for varying choices of the algebra A [CFP09,CF07,Fr73, KM14,CD18]. From the argument below it is clear that the details of the construction of A are largely arbitrary.
Proposition 5.1. Let P , P ∈ S, P = P . Then π P and π P are disjoint.
Proof. We adapt Lemma 1 of [Ro70]. Suppose by contradiction that there is a unitary U such that By evaluating both sides of the second relation in (5.3) on W (f n ) and using that W (f n ) → I in the strong operator topology, we conclude the proof.
The main result of this section is the following theorem, which says that velocity superselection can be resolved by restriction to the future lightcone.
Theorem 5.2. For any P , P ∈ S we have π P A(V + ) π P A(V + ).
In view of (5.2), this is a consequence of Theorem 3.1 above. A different argument, which is applicable only to representations π P , is given in Appendix A.

Conclusions
In this paper we showed that the problem of velocity superselection of the electron can be resolved by restriction to the algebra of the future lightcone V + . We considered only the lightcone with a tip at zero, but a generalisation to shifted lightcones is straightforward. As expected from the time-reversal symmetry of QED, restriction to a backward lightcone V − +a, a ∈ R 4 , has the same effect. We showed that the GNS representations of A(V + ) are unitarily equivalent for a large class of coherent states, of which those in the Pauli-Fierz model are an example. We are confident that analogous results hold in other models of non-relativistic QED by suitably adapted arguments. For example in the Nelson model, which describes the electron interacting with the massless scalar field, already a counterpart of (1.4) would give an approximating sequence localised in the backward lightcone, and a double-integral formula (1.5) would not be needed.
Proceeding towards future research directions, we recall that there is a more satisfactory concept of velocity superselection in non-relativistic QED, which uses the algebra generated by [CFP07] and h are suitable functions. The representations induced by the infraparticle scattering states on this algebra have a direct integral decomposition into disjoint representations labelled by the electron's asymptotic velocity. We conjecture that also in this context the algebra of the future lightcone can be found, on which these representations are unitarily equivalent. Such analysis may pave the way to suitably dressed Hamiltonians of non-relativistic QED, for which the infraparticle problem disappears. We hope to come back to this problem in a future investigation.
A An alternative proof of Theorem 5.2 Theorem 5.2 follows immediately from Lemmas A.1 and A.2 below. First, we introduce an auxiliary functionv P given bŷ where g : R 3 → R is a smooth function with compact support, withg(0 0 0) = 1, and u > 1 is so large that (−u, x) ∈ V − for all x ∈ supp g. Since v P −v P ∈ L 2 tr (R 3 ; C 3 ), we have by standard arguments (e.g. Lemma 1 of [Ro70]): Lemma A.1. α −iv P • α −1 −iv P acts by the adjoint action of a unitary on the C * -algebra A. Now it suffices to prove the following: Lemma A.2. The automorphism α −iv P acts like the identity on A(V + ).
Proof. We only need to show that α −iv P (W (f )) = W (f ) for all f ∈ L(O) and O ⊂ V + . As remarked in the Introduction, this is achieved by approximatingv P with functions localized in the (standard) backward light cone, and using timelike commutativity of the free electromagnetic field. Hence we define the approximant, T > 0, This suggests an approximating sequence for W (−iv v v P P P ), ( |k|∇E P · λ (k)g(k)e −i|k|u e −i(|k|τ −∇E P ·kt) a * λ (k)) − h.c. considering that with our conventions, The region of integration in (A.3) is depicted in Figure 1. As remarked above, u is chosen so large that −iv v v P P P ,T is contained in L(V − ) and thus W (−iv v v P P P ,T ) ∈ A(V − ) (see Lemma B.2). Therefore Im −iv P ,T , f = 0 if f ∈ L(O) ⊂ L(V + ), see (2.11). It now suffices to check that lim T →∞ v P ,T , f = v P , f for all f ∈ L(O). Then Im −iv P , f = 0 and hence α −iv P (W (f )) = W (f ) by its definition (3.3).
To that end, we first perform the τ -and t-integrations in (A.2), which give We need to show that the last two terms in (A.5) vanish weakly in the limit T → ∞. The last of these terms gives a contribution to v P ,T , f of − λ=± d 3 kα 1/2 ∇E P · λ (k)g(k) 1 This vanishes in the limit T → ∞ due to the dominated convergence for the angular integration in dΩ(k), and by applying the Riemann-Lebesgue lemma to the one-dimensional integration in d|k| with oscillating factor e −i|k|(1−∇E P ·k)T . For the relevant majorants, note thatg is Schwartz and that the integrand behaves like |k| −3/2 at small k, which remains integrable with respect to d 3 k.

B Equivalence of two definitions of the symplectic space
Lemma B.2 from this appendix is used in the proof of Lemma A.2 above. Let O r ⊂ R 3 be an open ball of radius r centered at zero and let J be the complex conjugation in configuration space. Following [BJ87] we define the symplectic space where in the last step we made use of the time-invariance of the symplectic form on the space of solutions of the wave equation to integrate with α ∈ D(R; R) such that dτ α(τ ) = 1, whose support is chosen in a sufficiently small neighbourhood of zero. Considering that an analogous equality holds for the components of the magnetic field and acting with both sides of (B.9) on the vacuum, we conclude from the finite propagation speed of g i that L(O r ) ⊃ L BJ (O r ).
As an application of Lemma B.1, we show that the expression in (A.3) is an element of the C * -algebra A(V − ) (and not only of its weak closure).