Abstract
The framework of dynamical C*algebras for scalar fields in Minkowski space, based on local scattering operators, is extended to theories with locally perturbed kinetic terms. These terms encode information about the underlying spacetime metric, so the causality relations between the scattering operators have to be adjusted accordingly. It is shown that the extended algebra describes scalar quantum fields, propagating in locally deformed Minkowski spaces. Concrete representations of the abstract scattering operators, inducing this motion, are known to exist on Fock space. The proof that these representers also satisfy the generalized causality relations requires, however, novel arguments of a cohomological nature. They imply that Fock space representations of the extended dynamical C*algebra exist, involving linear as well as kinetic and pointlike quadratic perturbations of the field.
1 Introduction
We continue here our construction of dynamical C*algebras for scalar quantum fields in Minkowski space [5]. These algebras are generated by unitary operators S(F), where F denotes some real functional acting on the underlying classical field. The classical field is described by real, smooth functions \(x \mapsto \phi (x)\) on ddimensional Minkowski space \({{\mathcal {M}}}\simeq {{\mathbb {R}}}^d\), and the functionals considered in [5] were of the specific form
Here, \(g_j \in {{\mathcal {D}}}({{\mathcal {M}}})\) are real test functions on \({{\mathcal {M}}}\) with compact supports. The term for \(j=0\) denotes the constant functional. These functionals are interpreted as perturbations of the underlying Lagrangian by point like self interactions of the field. Their support (in the sense of functionals) is defined as union of the supports of the underlying test functions \(g_j\ \) for \(j>0\); the constant functional (corresponding to \(j=0\)) has empty support and hence can be placed everywhere. The unitaries S(F) are the scattering operators corresponding to the perturbations F. As shown in [5], they satisfy for a given Lagrangian a dynamical relation, based on the Schwinger–Dyson equation, as well as the causal factorization rule
This relation holds whenever the spacetime support of F succeeds the support of H with regard to the Minkowski metric. The support of the functional G, having the preceding special form, is completely arbitrary.
In the present article, we consider also localized perturbations of the kinetic part of the underlying Lagrangians. This is of interest if one thinks of perturbations of the theory by gravitational forces. But it also provides a basis for the discussion of symmetry properties of the theory, related to Noether’s theorem. The corresponding functionals P are quadratic in the partial derivatives of the underlying field,
Here, \(x \mapsto p^{\cdot \, \cdot }(x) \) are smooth functions with compact support, regarded as the support of P, which have values in the space of real, symmetric \(d \times d\) matrices. As we shall see, these functions have to comply with further constraints in order to admit a meaningful interpretation as kinetic perturbations. To avoid the discussion of the special situation in two dimensions, we assume \(d>2\).
Given admissible functionals P of this kind, we consider the corresponding scattering operators S(P). Whereas the respective dynamical relations remain unaffected, the causal factorization rule needs to be adapted to the particular choice of P. This can be understood if one takes into account that the unitary operators \(F \mapsto S(P)^{1} S(F + P)\) describe scattering processes, induced by functionals F of the preceding types, which evolve under the perturbed dynamics with perturbation given by P. Thus if the functional P is of kinetic type, this scattering process effectively takes place in a locally distorted Minkowski space whose causal structure, fixed by P, enters in the factorization rules. Yet operators S(P), S(Q), assigned to functionals having their supports in spacelike separated regions of Minkowski space, still commute. By arguments given in [5], this extended family of operators therefore generates local nets of C*algebras in Minkowski space, complying with all Haag–Kastler axioms [11].
We will study in more detail the subalgebra of the dynamical C*algebra, which is generated by scattering operators assigned to functionals of the classical field as well as its kinetic and quadratic point like perturbations. This algebra describes quantum fields in locally distorted Minkowski spaces, which satisfy corresponding field equations and commutation relations. We will also exhibit some algebraic relations between the field and the underlying scattering operators.
These results enter in our construction of representations of this algebra on Fock space. In this construction, we make use of the known fact that the unitary scattering operators associated with kinetic perturbations can be represented on Fock space [20]. Yet the phase factors of these operators remained ambiguous in that analysis. They matter, however, for the proof that there is a choice such that the resulting operators satisfy the causal factorization relations. In order to establish this fact, we develop arguments akin to cohomology theory. The existence of Fock representations of the dynamical C*algebra, generated by the field and its quadratic perturbations, is thereby established.
Our article is organized as follows. In the subsequent section, we introduce notions from classical field theory and discuss the form of admissible kinetic perturbations. Section 3 contains the definition of the extended dynamical C*algebra and remarks on some of its general properties. In Sect. 4, we study the subalgebra generated by the field and its quadratic kinetic as well as point like perturbations and determine its algebraic structure. These results are used in Sect. 5 in an analysis of representations of the scattering operators and of their products on Fock space. The ambiguities left open in the phase factors are discussed in Sec. 6; there it is shown that, for some coherent choice of these factors, the scattering operators satisfy the causal factorization rules and thus define a representation of the C*algebra on Fock space. The article concludes with a brief outlook and a technical appendix.
2 Classical Field Theory
We adopt the notation used in [5] and adjust it to the more general setting, considered here. As already mentioned, we proceed from a classical scalar field on ddimensional Minkowski space \({{\mathcal {M}}}\simeq {{\mathbb {R}}}^d\) with its standard metric \(\eta (x,x) = x_0^2  {\varvec{x}}^2\), where \(x_0, {\varvec{x}}\) denote the time and space components of \(x \in {{\mathbb {R}}}^d\). The field is described by real, smooth functions \(x \mapsto \phi (x)\), which constitute its configuration space \({{\mathcal {E}}}\). The Lagrangian density of a noninteracting field with mass \(m \ge 0\) is given by
Its spacetime integral (if defined) is the corresponding Lagrangian action. The passage to fields which are subject to interaction, as given in (1.1) or (1.3), is accomplished by adding to this Lagrangian the respective densities.
On the configuration space \({{\mathcal {E}}}\) of the fields there acts the additive group \({{\mathcal {E}}}_0\) of deformations, described by test functions \(\phi _0 \in {{\mathcal {D}}}({{\mathcal {M}}})\). Their action on the affine space \({{\mathcal {E}}}\) is given by local shifts of the field, \(\phi \mapsto \phi + \phi _0\). With their help one defines variations of the Lagrangian action functionals, given by
These variations are welldefined for local Lagrangians and arbitrary fields \(\phi \) in view of the compact support of \(\phi _0\). Their stationary points define the solutions of the classical field equation for the given Lagrangian (“on shell fields”).
In case of the noninteracting Lagrangian (2.1), the corresponding on shell field satisfies the KleinGordon equation. If one adds to this Lagrangian the densities of a kinetic perturbation P as in (1.3) and of a quadratic perturbation \(F_2\) with potential \(g_2 = q\) as in (1.1), the resulting field equation reads
We restrict our attention here to perturbations P for which this equation describes the propagation of the field \(\phi \) on a globally hyperbolic spacetime with metric \(g_P\). This metric is, up to a factor, the inverse of the principal symbol [12] of the underlying differential operator, \(x \in {{\mathcal {M}}}\),
In order to simplify the discussion of the causal factorization relations, we restrict our attention to metrics \(g_P\) for which (a) the constant time planes of Minkowski space for some fixed time coordinate are Cauchy surfaces and (b) the time coordinate is positive timelike with regard to all of these metrics. As is shown in the appendix, it amounts to the following condition.
Standing assumption The coefficients \(p^{\mu \nu }(x)\), \(\mu , \nu = 0, \ldots , d1\), \(x \in {{\mathcal {M}}}\), of the kinetic perturbations P are smooth functions with compact support which satisfy

(i)
\(1 + p^{00}(x) > 0\),

(ii)
the matrix \(\delta ^{ij} + p^{ij}(x)\) is positive definite, \(\, i,j = 1, \ldots , d1\).
The family of kinetic perturbations satisfying this condition is, for each \(x \in {{\mathcal {M}}}\), convex and stable under scalings by positive numbers which are bounded by 1, cf. the appendix. It is also invariant under spacetime translations. In view of the choice of a distinguished time coordinate underlying its definition, it is, however, not Lorentz invariant. We will return to this point in subsequent sections.
3 The Extended Dynamical Algebra
The functionals \(F: {{\mathcal {E}}}\rightarrow {{\mathbb {R}}}\) considered in this section contain, in addition to point like interactions as in equation (1.1), kinetic perturbations (1.3) with properties specified in the standing assumption. The family of these functionals is denoted by \({{\mathcal {F}}}\). Whereas \({{\mathcal {F}}}\) is, in general, not stable under addition, we will deal with special pairs and triples of functionals in \({{\mathcal {F}}}\) for which all (partial) sums satisfy the standing assumption. Such tuples will be termed admissible.
Apart from the spacetime localization of the functionals, fixed by the supports of the underlying test functions, we must also take into account their impact on the causal structure of spacetime. For \(P \in {{\mathcal {F}}}\), this structure is determined by the metric \(g_P\), which is fixed by the kinetic part of P according to equation (2.4). Given any region \({{\mathcal {O}}}\subset {{\mathbb {R}}}^d\), we denote by \(J^P_\pm ({{\mathcal {O}}})\) the causal future, respectively, past, of \({{\mathcal {O}}}\) with regard to \(g_P\). In case of the Minkowski metric, \(P = 0\), we write \(J_\pm ^{\, 0}({{\mathcal {O}}})\).
Given an admissible triple \(P, Q, N \in {{\mathcal {F}}}\), we say that P succeeds Q with regard to (the metric induced by) N if \(\text{ supp } \, P\) does not intersect the past cone of \(\text{ supp } \, Q\), determined by \(g_N\), i.e. \(\text{ supp } \, P \cap J_^N(\text{ supp } \, Q) = \emptyset \). In this case, we write \(P \underset{N}{\succ } Q\). In particular, \(P \underset{0}{\succ } Q\) means that P succeeds Q in Minkowski space. Note that \(\succ \) is not an ordering relation; in particular, it is not transitive. Based on these notions, we can proceed now to an extension of the dynamical algebras, introduced in [5], by adding to them the kinetic perturbations. As in [5], we begin by defining a dynamical group, generated by symbols S(P), \(P \in {{\mathcal {F}}}\), which are subject to two relations. These relations involve a given Lagrangian \({{\mathcal {L}}}\), the corresponding relative action (2.2), and shifts of the functionals P by elements \(\phi _0 \in {{\mathcal {E}}}_0\), denoted by \(P^{\phi _0}[\phi ] \doteq P[\phi + \phi _0]\), \(\phi \in {{\mathcal {E}}}\). Compared to [5], we employ here a somewhat simplified “on shell” version of this group.
Definition
Given a local Lagrangian \({{\mathcal {L}}}\) on Minkowski space \({{\mathcal {M}}}\), the corresponding dynamical group \({{\mathfrak {G}}}_{{\mathcal {L}}}\) is the free group generated by elements S(P), \(P \in {{\mathcal {F}}}\), with \(S(0) = 1\), modulo the relations

(i)
\(S(P) = S(P^{\phi _0} + \delta {{\mathcal {L}}}(\phi _0))\) for \(P \in {{\mathcal {F}}}\), \(\phi _0 \in {{\mathcal {E}}}_0 \,\),

(ii)
\(S(P + N) S(N)^{1} S(Q + N) = S(P + Q + N)\) for any admissible triple \(P,Q,N \in {{\mathcal {F}}}\) such that P succeeds Q with regard to N, \(P \underset{N}{\succ } Q\).
Remark
If one puts \(N=0\) in the second condition, one obtains the causality relation \(S(P) S(Q) = S(P +Q)\) if P succeeds Q with regard to the Minkowski metric. Thus, if P, Q have spacelike separated supports in Minkowski space, then also \(S(Q) S(P) = S(Q + P)\) and the operators commute.
A thorough discussion of the origin and interpretation of these relations is given in [5, 6]. The only difference with regard to the present framework appears in relation (ii), where the impact of the kinetic functionals on the causal structure of spacetime is taken into account.
The passage from the dynamical group \({{\mathfrak {G}}}_{{\mathcal {L}}}\) to a corresponding C*algebra is accomplished by standard arguments, cf. [5]. One regards the elements of \({{\mathfrak {G}}}_{{\mathcal {L}}}\) as basis of some complex vector space \({{\mathfrak {A}}}_{{\mathcal {L}}}\); the product in \({{\mathfrak {A}}}_{{\mathcal {L}}}\) is inherited from \({{\mathfrak {G}}}_{{\mathcal {L}}}\) by the distributive law, and the *operation can be defined such that the generating elements S(P) become unitary operators. The resulting *algebra has faithful states and thus can be equipped with a (maximal) C*norm. Its completion defines the dynamical C*algebra \({{\mathfrak {A}}}_{{\mathcal {L}}}\) for given Lagrangian \({{\mathcal {L}}}\) and generating operators S(P), \(P \in {{\mathcal {F}}}\), describing local operations on the underlying system.
A distinguished role is played by the constant functionals which, for \(c \in {{\mathbb {R}}}\), are given by \(c[\phi ] \doteq c\), \(\phi \in {{\mathcal {E}}}\). Their support is empty, hence
by the causality condition (ii). So \(c \mapsto S(c)\) defines a unitary group in the center of \({{\mathfrak {A}}}_{{\mathcal {L}}}\). As in [5], we fix its scale and put \(S(c) = e^{ic} \, 1\), \(c \in {{\mathbb {R}}}\).
In a similar manner, one can define extended dynamical algebras for theories on arbitrary globally hyperbolic spacetimes. There the admissible kinetic perturbations need to be adjusted to the underlying metric. We restrict our attention here to Minkowski space and its local deformations, inherited from functionals in \({{\mathcal {F}}}\). For given \(M \in {{\mathcal {F}}}\), these perturbations can still be described by unitary operators in the algebra \({{\mathfrak {A}}}_{{\mathcal {L}}}\). As brought to light by Bogoliubov [3, 4], they are defined by
One easily verifies that these operators also satisfy the two defining relations of some dynamical algebra. In the first relation, the Lagrangian \({{\mathcal {L}}}\) is to be replaced by \({{\mathcal {L}}}_M\), i.e. the Lagrangian obtained from \({{\mathcal {L}}}\) by adding to it the density inherent in M. The factorization equation in the second relation is satisfied for admissible quadruples \(P,Q,N,M \in {{\mathcal {F}}}\), provided P succeeds Q with regard to \((M + N)\), i.e. \(P \underset{(M + N)}{\succ } Q\).
4 Quadratic Perturbations
We take from now on as dynamical input the algebra \({{\mathfrak {A}}}\) for the Lagrangian \({{\mathcal {L}}}_0\), cf. (2.1), omitting in the following the subscript \({{\mathcal {L}}}_0\). In fact, we are primarily interested in its subalgebra \({{\mathfrak {A}}}_2 \subset {{\mathfrak {A}}}\), which is generated by unitaries S(P) with functionals \(P \in {{\mathcal {P}}}\), where \({{\mathcal {P}}}\subset {{\mathcal {F}}}\) denotes the family of functionals which are at most quadratic in the underlying field and satisfy our standing assumption; its subset of genuine quadratic functionals is denoted by \({{\mathcal {Q}}}\). As we shall see, the algebra \({{\mathfrak {A}}}_2\) comprises noninteracting quantum fields, propagating in locally deformed Minkowski spaces.
We adopt the notation used in [5]. Thus, \(K \doteq (\partial _\mu \, \eta ^{\mu \nu } \, \partial _\nu + m^2)\) is the negative Klein–Gordon operator, \(\varDelta _R\) and \(\varDelta _A\) are the corresponding retarded and advanced propagators, their difference \(\varDelta = (\varDelta _R  \varDelta _A)\) is the commutator function, and \(\varDelta _D = (1/2) (\varDelta _R + \varDelta _A)\) is the Dirac propagator. Further below, we will also introduce perturbed versions of these entities.
As in [5], we consider perturbations involving linear functionals of the fields \(\phi \in {{\mathcal {E}}}\), given by
Here, \(L_f[\phi ] \doteq \int \! \mathrm{d}x \, f(x) \, \phi (x)\) and \(\langle f, g \rangle \doteq \int \! \mathrm{d}x \, f(x) \, g(x)\) are constant functionals, where f, g are smooth functions whose pointwise product fg is compactly supported. It was shown in [5] that the unitary operators
have the algebraic properties of Weyl operators on Minkowski space. In particular,
So these operators can be interpreted as exponential functions of a quantum field, which satisfies the Klein–Gordon equation and has cnumber commutation relations given by the commutator function \(\varDelta \).
Next, we compute the product of Weyl operators with arbitrary elements of the full algebra \({{\mathfrak {A}}}\). The result is stated in the following lemma. There we make use again of the shift of functionals by elements of \({{\mathcal {E}}}_0\). As a matter of fact, taking advantage of the support properties of the functionals, these shifts are canonically extended in the lemma to a larger family of smooth functions.
Lemma 4.1
Let \(P \in {{\mathcal {F}}}\) and let \(f \in {{\mathcal {D}}}({{\mathcal {M}}})\). Then,

(i)
\(W(f) S(P) = S(F_f + P^{\, \varDelta _R f})\), \(S(P) W(f) = S(F_f + P^{\, \varDelta _A f})\)

(ii)
\(W(f) S(P) W(f)^{1} = S(P^{\, \varDelta f})\).
The condition of associativity does not entail further relations for multiple products of Weyl operators with operators S(P).
Proof
To compute W(f)S(P), we decompose f into \(f = f_P + K g_P\), where \(f_P,g_P\) are test functions and the support of \(f_P\) succeeds that of P with regard to the Minkowski metric, cf. [5, Sec. 4]. Thus \(W(f) = W(f_P)\), hence, making use of the causal factorization condition as well as the dynamical relation underlying \({{\mathfrak {A}}}\), we obtain
By an elementary computation one finds that \(F_{f_P}^{\, g_P} + \delta {{\mathcal {L}}}_0(g_P) = F_f\). Since the support of \(f_P\), whence that of \(\varDelta _R f_P\), succeeds that of P and
one has \(P^{\, g_P} = P^{\, \varDelta _R f}\). Thus, we arrive at \(W(f) S(P) = S(F_f + P^{\, \varDelta _R f})\). In an analogous manner, one obtains the second equality in the first part of the statement.
As to the second part, we make use of \(W(f)^{1} = W(f)\), giving
Since the commutator function \(\varDelta = \varDelta _R  \varDelta _A\) is antisymmetric, the first two functionals in the latter operator compensate each other, viz.
proving statement (ii).
It remains to establish the assertion about multiple products. Picking any \(f,g \in {{\mathcal {D}}}({{\mathcal {M}}})\), it follows from the Weyl relations and the preceding step that
On the other hand, interchanging brackets, one obtains
By another elementary computation, one verifies that
hence the operators in the preceding two relations coincide. In a similar manner, one sees that also all other products do not produce any new relations. \(\square \)
We turn now to the analysis of the subalgebra \({{\mathfrak {A}}}_2 \subset {{\mathfrak {A}}}\). Its generating elements \(S({\varvec{P}})\) are given by functionals of the form
where \(P_0\) is constant, \(P_1\) is linear, and \(P_2\) is quadratic in the underlying field.
Given a functional \(P_2 \in {{\mathcal {Q}}}\), we consider perturbations of the Lagrangian \({{\mathcal {L}}}_0\) by adding to it the density P of \(P_2[\phi ] = (1/2) \langle \phi , P \phi \rangle \), \(\phi \in {{\mathcal {E}}}\). The perturbed Lagrangian is denoted by \({{\mathcal {L}}}_P\) and the resulting classical field equation (2.3) involves the differential operator \((K + P)\). As is wellknown, cf. for example [2], there exist corresponding retarded and advanced propagators \(\varDelta _R^P\) and \(\varDelta _A^P\), fixing the commutator function \(\varDelta ^P \doteq (\varDelta _R^P  \varDelta _A^P)\), and the Dirac propagator \(\varDelta _D^P \doteq (1/2) (\varDelta _R^P + \varDelta _A^P)\). In view of the regularity properties of P, these distributions map test functions into smooth functions. We will frequently make use of the basic relation on \({{\mathcal {D}}}({{\mathcal {M}}})\)
and the resolvent equation
These relations hold on the test functions \({{\mathcal {D}}}({{\mathcal {M}}})\). Note that \((P \varDelta _{A, R})\) and \((P \varDelta ^P_{A, R}) = (1  K \varDelta ^P_{A, R})\) map test functions into test functions.
The analysis of the properties of the operators \(S({\varvec{P}})\), \({\varvec{P}}\in {{\mathcal {P}}}\), simplifies by making use of the fact that the contributions coming from the constant and linear functionals \(P_0\) and \(P_1\) can be factored out from \(S({\varvec{P}})\). For constant functionals, this was already shown in the preceding section. For the linear functionals, introduced above, this is a consequence of the preceding lemma. Namely, making use of the quadratic dependence of \(P_2\) on the field, one obtains
Thus, by the preceding lemma and the definition of Weyl operators,
Noticing that the inverse of \((K + P) \varDelta _A\) is given by \(K \varDelta _A^{P}\), one sees that the linear functionals can be extracted from the operators \(S({\varvec{P}})\), as well. We may therefore restrict our attention in the following to quadratic perturbations \(P_2 \in {{\mathcal {Q}}}\) and omit the index 2. Without danger of confusion, we will also equate these perturbations with their respective densities.
Given a perturbation \(P \in {{\mathcal {Q}}}\), the perturbed algebra \({{\mathfrak {A}}}_{{{\mathcal {L}}}_P} \subset {{\mathfrak {A}}}\) for the Lagrangian \({{\mathcal {L}}}_P\) is generated by the unitary operators, cf. equation (3.2),
Defining, in analogy to (4.1), functionals \( F^P_f[\phi ] \doteq L_f[\phi ] + (1/2) \langle f, \varDelta ^P_D f \rangle \) on \({{\mathcal {E}}}\), it turns out that the corresponding perturbed operators
coincide with the Weyl operators for perturbed test functions. In fact, according to relation (4.14) we have \(F_f + P^{\varDelta _A f} = F^P_{(K + P) \varDelta _A f} + P\). Hence, making use of the lemma and the fact that \(\big ((K + P) \varDelta _A\big )^{1} = K \varDelta _A^P\), we arrive at
The perturbed operators \(W_P(f)\), \(f \in {{\mathcal {D}}}({{\mathcal {M}}})\), describe the exponential function of a quantum field which satisfies a linear field equation with regard to \(K+P\). This follows from
Moreover, they satisfy the Weyl relations with respect to the commutator function \(\varDelta ^P\) fixed by \((K+P)\). In order to verify this, we need to compute the symplectic form \(\langle (K \varDelta _A^P f), \varDelta \, (K \varDelta _A^P g) \rangle \) for \(f, g \in {{\mathcal {D}}}({{\mathcal {M}}})\). Bearing in mind the properties of propagators, mentioned above, we have
Since P is compactly supported, it acts as a symmetric operator on smooth functions, so the last terms in the preceding two equalities coincide. We therefore obtain
Thus, we arrive at the Weyl relations for the perturbed operators,
It follows from this equality that the commutation relations of the operators in \({{\mathfrak {A}}}_{{{\mathcal {L}}}_P}\), \(P \in {{\mathcal {Q}}}\), depend on the causal structure induced by the principal symbol of \((K+P)\). On the other hand, the perturbative computation of its generating elements \(S_P(Q)\), \(Q \in {{\mathcal {P}}}\), inherits the causal structure of Minkowski space [8, 9, 16]. Thus, the perturbative expansion of these operators will in general not converge.
5 Construction of Fock Representations
Whereas for Weyl operators the existence of Fock representations is a wellknown fact, the question of whether these representations can be extended to the full dynamical algebras involving arbitrary local interactions is an open problem. As a matter of fact, this question may be regarded as the remaining fundamental problem of constructive quantum field theory [5]. We therefore restrict our attention here to the algebra \({{\mathfrak {A}}}_2\), involving perturbations of the noninteracting Lagrangian which are at most quadratic in the underlying field. Even there, the question of whether this algebra is represented on Fock space has remained open to date, to the best of our knowledge.
In order to discuss this problem, we adopt the following strategy: proceeding from a representation of the Weyl algebra on Fock space, we make use of the fact that the quadratic perturbations induce automorphisms of this algebra. It then follows from a result by Wald [20] that these automorphisms can be unitarily implemented on Fock space. In the present section we complement this result by the observation that the automorphisms satisfy an automorphic version of the causal factorization condition. Since the Weyl algebra is irreducibly represented on Fock space, this implies that the implementing unitary operators satisfy the factorization condition, up to phase factors. In the subsequent section, we will then show that the phase of the unitary operators can be adjusted such that they fully comply with causal factorization.
The computation of the adjoint action of quadratic perturbations S(P) on the Weyl operators, \(P \in {{\mathcal {Q}}}\), is accomplished with the help of Lemma 4.1. It yields, \(f \in {{\mathcal {D}}}({{\mathcal {M}}})\),
In the second equality, we made use of equation (4.14), where \(\varDelta _A f\) has been replaced by \(\varDelta _R f\) and, in the last equality, we employed definition (4.17) of the perturbed Weyl operators. According to relation (4.18), the latter operator coincides with \(W((K \varDelta _A^P) ((K+P) \varDelta _R) f)\), where the products of propagators and differential operators in the brackets preserve the domain \({{\mathcal {D}}}({{\mathcal {M}}})\). Noticing that \((K \varDelta _A^P) ((K+P) \varDelta _R)\) has an inverse given by
we arrive at
One easily verifies that \(T_P\) acts as the identity on \(K {{\mathcal {D}}}({{\mathcal {M}}})\), hence it defines a real linear operator on the quotient space \({{\mathcal {D}}}({{\mathcal {M}}}) / K {{\mathcal {D}}}({{\mathcal {M}}})\). It also follows from the preceding equality that it preserves the symplectic form, entering in the Weyl relations, which is given by the commutator function \(\varDelta \). So it is an invertible symplectic transformation on the symplectic space \({{\mathcal {D}}}({{\mathcal {M}}}) / K {{\mathcal {D}}}({{\mathcal {M}}})\).
This quotient space is canonically associated with the Fock space of a particle. We denote by \({{\mathcal {H}}}\) the symmetric Fock space, based on the single particle space \({{\mathcal {H}}}_1\) of a particle with mass \(m \ge 0\). The scalar product in \({{\mathcal {H}}}_1\) is fixed by
So the quotient \({{\mathcal {D}}}({{\mathcal {M}}})/K {{\mathcal {D}}}({{\mathcal {M}}})\) can be identified with the dense subspace of \({{\mathcal {H}}}_1\), given by the restrictions of the Fourier transforms \({\widetilde{f}}\) of the test functions to the mass shell \(p^2 = m^2\), \(p_0 \ge 0\). Moreover, the imaginary part of the scalar product in (5.4) coincides with the symplectic form \(\langle f, \varDelta \, g \rangle \), \(f,g \in {{\mathcal {D}}}({{\mathcal {M}}})\).
It follows that the operator on \({{\mathcal {D}}}({{\mathcal {M}}})/K {{\mathcal {D}}}({{\mathcal {M}}})\), fixed by \(T_P\), acts as a real linear, symplectic, and invertible operator \({\overline{T}}_P\) on a dense domain in the single particle space \({{\mathcal {H}}}_1\). In fact, as shown by Wald, the operator \({\overline{T}}_P\) is bounded [20, Sec. 2.1]. Denoting by \({\overline{T}}_P^{\, \dagger }\) the adjoint of \({\overline{T}}_P\) with regarded to the scalar product given by the real part of (5.4), Wald also showed that the difference \(({\overline{T}}_P^{\, \dagger } {\overline{T}}_P  1)\) lies in the HilbertSchmidt class [20, Sec. 3]. This is a consequence of the fact that its kernel \(D_P\) can be represented as difference of two Hadamard bisolutions of the Klein Gordon equation, i.e. as a smooth bisolution,
Moreover, since \((T_P  1)f\), \(f \in {{\mathcal {D}}}({{\mathcal {M}}})\), are test functions, having their supports in the support of P, the kernel \(D_P\) vanishes rapidly in spatial directions if \(m > 0\). Hence, it determines a HilbertSchmidt operator on \({{\mathcal {H}}}_1\). If \(m=0\), this still holds true in spacetime dimensions \(d \ge 4\).
As shown by Shale [19], these facts imply that the automorphisms of the Weyl algebra, given in (5.3), can be unitarily implemented on Fock space. Since the Weyl operators act irreducibly on this space, these unitary implementers are fixed, up to some phase factor. The determination of these factors will occupy us in the subsequent section. For the sake of simplicity, we keep the notation S(P) for the concrete Fock space representations of the abstractly defined operators. In the next step, we show that the symplectic operators \(T_P\), underlying their definition, satisfy a causal factorization relation.
Let \(Q \in {{\mathcal {Q}}}\) and let \(g \doteq (K+Q) \varDelta _A \, f\) with \(f \in {{\mathcal {D}}}({{\mathcal {M}}})\). Since \((K+Q)\) is a normally hyperbolic differential operator, there exist test functions \(g_Q, h_Q\) such that
and \(\, \text{ supp } \, g_Q \, \cap \, J^{\, 0}_(\text{ supp } \, Q) = \emptyset \). In fact, one can put \(g_Q = (K+Q) \, \chi \, \varDelta _R^Q g\), \(h_Q = (1  \chi ) \varDelta _R^Q \, g\), where \(\chi \) is a smooth function which vanishes in a neighborhood of \(J^{\, 0}_(\text{ supp } \, Q)\) and is equal to 1 in the complement of a slightly larger neighborhood. Because of the support properties of \(g_Q\), one has
hence
If \(\text{ supp } \, g \cap J^{\, 0}_(\text{ supp } \, Q) = \emptyset \), there exists by the preceding argument a decomposition such that also \(\text{ supp } \, h_Q \cap J^{\, 0}_(\text{ supp } \, Q) = \emptyset \).
Let us assume now that the pair \(P,Q \in {{\mathcal {Q}}}\) is admissible and that the support of P succeeds that of Q in Minkowski space, i.e. \(P \underset{0}{\succ } Q\). We choose an open neighborhood \({{\mathcal {C}}}\) of some Cauchy surface in \({{\mathcal {M}}}\) which lies between P and Q, i.e.
Let \(f \in {{\mathcal {D}}}({{\mathcal {M}}})\) with \(\text{ supp } \, f \subset {{\mathcal {C}}}\). Then \(\, \text{ supp } \, T_Q f \subset J^{\, 0}_({{\mathcal {C}}})\) and there is a decomposition (5.8) such that \(\, \text{ supp } \, g_Q \subset {{\mathcal {C}}}\) and \(\, \text{ supp } \, h_Q \cap \text{ supp } \, P = \emptyset \). Thus \(\, P \varDelta _A \, g_Q = P \, h_Q = 0\). Since \(\varDelta _R^P g_Q\) has support in the complement of \(J_^{\, 0}(\text {supp} \, Q)\), whence \(\, (\varDelta _R^{P + Q}  \varDelta _R^P) \, g_Q =  \varDelta _R^{P + Q} (Q \varDelta _R^P) \, g_Q = 0\), it follows that
According to relation (5.6)
so we obtain
Since any test function f can be represented in the form \(f = f_{{\mathcal {C}}}+ K g_{{\mathcal {C}}}\) with \(\text{ supp } \, f_{{\mathcal {C}}}\subset {{\mathcal {C}}}\) and the operators \(T_P, T_Q\) and \(T_{P + Q}\) act on the image of K as the identity, the preceding relation holds for all \(f \in {{\mathcal {D}}}({{\mathcal {M}}})\). Thus, we have arrived at the causal factorization relation in Minkowski space
We turn now to the general case. Let P, Q, N be an admissible triple of quadratic perturbations such that P succeeds Q with regard to N. Putting \(T^N_P \doteq T_N^{1} T_{P + N}\), we need to show that
For the metric \(g_N\), fixed by N, there exists an open neighborhood \({{\mathcal {C}}}\) of some Cauchy surface in \({{\mathcal {M}}}\) such that
Turning to the proof of the causality relation, we proceed from
Now \(\varDelta _{A,R} \, (K \varDelta _{A,R}^N) = \varDelta _{A,R}^N \), as a consequence of the resolvent equation (4.13). Hence, the preceding equality simplifies to
We observe that after a similarity transformation with \(K\varDelta _A^N\), the operator \(T_Q^N\) has the same form as \(T_Q\) with the Klein Gordon operator K replaced by \((K+N)\). Thus, the argument for the product rule (5.14) is the same as for (5.13), noticing that all underlying propagators have support properties which are consistent with the causal order relative to the chosen broadened Cauchy surface \({{\mathcal {C}}}\). Multiplying equation (5.14) from the left by \(T_N\), we arrive at
This equality implies that the adjoint action of \(S(P + N) S(N)^{1} S(Q + N)\) on Weyl operators coincides with the action of \(S(P + Q + N)\). So these two operators comply with the condition of causal factorization, up to some undetermined phase factor.
It also follows from Eq. (5.16), cf. also (4.18) and (5.3), that for any given \(N,Q \in {{\mathcal {Q}}}\) the operators \(S_N(Q) \doteq S(N)^{1} S(Q + N)\) commute with all perturbed Weyl operators \(W_N(f) = W(K \varDelta _A^N f)\) for test functions f having their support in the spacelike complement of \(\text {supp} \, Q\) with regard to the metric \(g_N\). Note that under these circumstances \(Q \varDelta _A^N f = 0\) and \(\varDelta _R^{N+Q} f = \varDelta _R^N f\), hence \(T_Q^N\) acts like the identity on \((K \varDelta _A^N) f\). Thus, presuming that the perturbed Weyl operators satisfy the condition of Haag duality [14], the operators \(S_N(Q)\) are elements of the von Neumann algebra generated by \(W_N(f)\) for test functions f having their support in any causally closed region containing \(\text {supp} \, Q\). Whence pairs of operators \(S_N(P), S_N(Q)\) commute if the functionals \(P,Q \in {{\mathcal {Q}}}\) have spacelike separated supports relative to the metric \(g_N\), denoted by \(P \underset{N}{\perp } Q\),
Let us mention as an aside that Haag duality has been established by Araki [1] in case of noninteracting scalar fields on Minkowski space, i.e. \(N = 0\). Apparently, a fully satisfactory proof for perturbations \(N \in {{\mathcal {Q}}}\) of this field has not yet appeared in the literature. Yet there exist unpublished results to that effect [15], so we take it for granted here.
We extend now the operators S(P), \(P \in {{\mathcal {Q}}}\), to arbitrary perturbations \({\varvec{P}}\in {{\mathcal {P}}}\). This is accomplished by observations made in the preceding section. Namely, given any quadratic perturbation P, we put for arbitrary constants c and linear functionals \(L_f = (F_f  (1/2) \langle f, \varDelta _D f \rangle )\), compare equation (4.15),
The second equality follows from the adjoint action of S(P) on Weyl operators, cf. (5.3), and \(T_P \, K \varDelta _A^P = K \varDelta _R^P\).
The extended operators satisfy, for fixed \(P \in {{\mathcal {Q}}}\), the causal factorization relations. To give an example, the preceding relations imply after some elementary computation that, \(f,g \in {{\mathcal {D}}}({{\mathcal {M}}})\),
Thus if \(\text {supp} f \underset{P}{\succ } \text {supp} \, g\), the phase factor is equal to 1, in accordance with the condition of causal factorization. In a similar manner, one verifies the causal factorization for all products of Weyl operators and the extended operators involving a fixed quadratic perturbation. In other words, the ambiguities in the phase factors appearing in the causal factorization relations of the unitaries \(S({\varvec{P}})\) depend only on the quadratic parts \(P \in {{\mathcal {Q}}}\) of the functionals \({\varvec{P}}\in {{\mathcal {P}}}\).
Relation (5.19) also implies that the extended operators satisfy the dynamical condition, involving the Lagrangian \({{\mathcal {L}}}_0\). Since constant functionals factor out from this condition, it suffices to verify this assertion for functionals of the form \((F_f^P + P)\) for arbitrary \(f \in {{\mathcal {D}}}({{\mathcal {M}}})\). A by now routine computation shows that for perturbations \(P \in {{\mathcal {Q}}}\) one obtains for the shifted functionals the equality
Thus,
where in the second equality we made use of the definition (4.17) of the perturbed Weyl operators. The third equality is a consequence of the Weyl relations and the fact that \(W_P((K + P)\phi _0) = 1\). So we arrive, as claimed, at
We summarize the results obtained in this section in a proposition.
Proposition 5.1
Let \({\varvec{P}}\in {{\mathcal {P}}}\). There exist unitary operators \(S({\varvec{P}})\) on Fock space, inducing automorphisms of the Weyl algebra, which are determined by Eq. (5.19). These operators satisfy the dynamical equation
Moreover, for any admissible triple of functionals \({\varvec{P}},{\varvec{Q}},{\varvec{N}}\in {{\mathcal {P}}}\) satisfying \({\varvec{P}}\underset{{\varvec{N}}}{\succ } {\varvec{Q}}\), there exists a phase \(\alpha (NP,Q) \in {{\mathbb {T}}}\doteq \{\xi \in {{\mathbb {C}}}:  \xi  = 1\}\), depending only on the quadratic parts P, Q, N of the functionals, such that
If \({\varvec{P}}, {\varvec{Q}}\) are spacelike separated, \({\varvec{P}}\underset{{\varvec{N}}}{\perp } {\varvec{Q}}\), the product in (5.25) is symmetric in \({\varvec{P}}\), \({\varvec{Q}}\), i.e. \(\alpha (NP,Q) = \alpha (NQ,P)\).
The family of functionals \({{\mathcal {P}}}\) is stable under translations, yet not under Lorentz transformations because of the choice of a time direction in our standing assumption. Since there exists a unitary representation \(\lambda \mapsto U(\lambda )\) of the Poincaré group on Fock space, one can proceed from the operators S(P), \(P \in {{\mathcal {P}}}\), to operators which are compatible with any other choice of the time direction. Namely, given \(\lambda \), the unitaries \(U(\lambda ) S({\varvec{P}}) U(\lambda )^{1}\) induce automorphisms of the Weyl operators whose quadratic part is fixed by the transformed single particle operators \({\overline{T}}_{P_\lambda } \doteq U(\lambda ) {\overline{T}}_P U(\lambda )^{1}\). Thus, these unitaries comply, for adequate \(\lambda \), with any choice of the time direction in the standing assumption and satisfy the proposition as well. In particular, the phase \(\alpha \) in the proposition can be chosen to be Poincaré invariant.
6 Phase Factors and Causal Factorization
We turn now to the problem of fixing the phases of the operators \(S({\varvec{P}})\), \({\varvec{P}}\in {{\mathcal {P}}}\), so that they fully comply with the causal factorization condition for the restricted set of functionals. A somewhat simpler problem was treated by Scharf and Wreszinski [18] for the case of a Fermi field, coupled to an external electromagnetic field, cf. also [10]. The kinetic perturbations are more singular, however, and an analogous computational approach, based on explicit expressions for the factors \(\alpha \) in (5.25), cf. for example [17], would require some coherent nonperturbative renormalization scheme.^{Footnote 1}
We therefore adopt here a different strategy. Relying on the results of Wald [20], we have established in the preceding section the existence of unitary operators S(P) on Fock space, which determine a projective representation of the group \({{\mathfrak {Q}}}\), generated by the operators \(T_P\) for quadratic perturbations \(P \in {{\mathcal {Q}}}\) on the single particle space. The cohomology of this representation is known to be nontrivial due to the appearance of Schwinger terms, cf. [13] and references quoted there. Yet these singularities are expected not to affect the causal factorization, involving perturbations with disjoint supports. We therefore focus on the projective causal factorization equation, stated in Proposition 5.1, and look at it from a cohomological point of view.
Let \(\alpha (NP,Q) \in {{\mathbb {T}}}\) be the phase factors appearing in equation (5.25) for quadratic functionals \(P,Q,N \in {{\mathcal {Q}}}\). We begin by exhibiting two basic relations satisfied by them, which are used time and again. They are a consequence of the associativity of the underlying operator products. We say that \(\alpha (NP,Q)\) is well defined if \(P,Q,N \in {{\mathcal {Q}}}\) is an admissible triple, satisfying the causality condition \(P \underset{N}{\succ } Q\).
Lemma 6.1
Let \(P_1, P_2, Q_1, Q_2, N \in {{\mathcal {Q}}}\). With \(P \doteq P_1 + P_2\) and \(Q \doteq Q_1 + Q_2\), one has
provided all phases \(\alpha \) are well defined.
Remark
These relations comprise within the present context the essential part of the information contained in the cocycle equations, determined by the underlying projective representation of \({{\mathfrak {Q}}}\).
Proof
We have
So the first equality in the statement follows. The second equality is obtained in a similar manner. \(\square \)
It is our goal to show that there exists a collection of phases \(\beta (P) \in {{\mathbb {T}}}\), \(P \in {{\mathcal {Q}}}\), such that for any admissible triple of functionals \(P,Q,N \in {{\mathcal {Q}}}\) with \(P \underset{N}{\succ } Q\), one has
Note that for any choice of phases \(\beta \), the expression on the right hand side satisfies the equalities in the preceding lemma. So, in other words, we want to prove that these equalities admit only such trivial solutions, akin to the coboundaries solving cocycle equations in cohomology theory. Multiplying each operator \(S({\varvec{P}})\), \({\varvec{P}}\in {{\mathcal {P}}}\), with the phase factor \(\beta (P)\), corresponding to the quadratic part P of \({\varvec{P}}\), the resulting operators satisfy the proper causal factorization relation (5.25), where the phase factor \(\alpha \) is identical to 1. Moreover, since the quadratic part P of \({\varvec{P}}\) is not affected in the dynamical relation (5.24), this relation still holds true for the modified operators \(\beta (P) S({\varvec{P}})\), \({\varvec{P}}\in {{\mathcal {P}}}\). We thereby arrive at the main result of this article.
Theorem 6.2
Let \({{\mathfrak {A}}}_2\) be the dynamical C*algebra generated by unitaries \(S({\varvec{P}})\), \({\varvec{P}}\in {{\mathcal {P}}}\), which satisfy the dynamical condition (i) for the Lagrangian \({{\mathcal {L}}}_0\) of a scalar field with mass \(m \ge 0\) in \(d > 2\) spacetime dimensions, as well as the causal factorization equation (ii). If \(m > 0\), this algebra is represented by an extension of the Weyl algebra on the (positive energy) Fock space for any value of d; if \(m = 0\), the dimension must satisfy \(d \ge 4\).
Since the proof of relation (6.3) is cumbersome, consisting of several steps, we begin with an outline of our argument. The functionals \(P \in {{\mathcal {Q}}}\), involving symmetric tensors and scalars, depend on test functions p on \({{\mathbb {R}}}^d\), having values in a real vector space of dimension \(n(d) = d(d + 1)/2 + 1\). Our standing assumption restricts these values to a convex set \({{\mathcal {K}}}\subset {{\mathbb {R}}}^{n(d)}\) which is contractible, i.e. it is mapped into itself by scaling it with factors less than 1. This set can be covered by an increasing net of compact, convex and contractible subsets \({{\mathcal {K}}}^{\, c}\subset {{\mathcal {K}}}\), \(c \ge 1\), related to metrics of Minkowski type, \(\eta ^{\, c}(x,x) = c^2 x_0^2  {\varvec{x}}^2\), \(x \in {{\mathbb {R}}}^d\). The metric \(\eta ^{\, c}\) dominates all metrics \(g_P\) where p takes values in \({{\mathcal {K}}}^{\, c}\), i.e. the light cone fixed by \(\eta ^{\, c}\) contains the lightcone determined by the metric \(g_P\). (See the appendix.) The subset of functionals in \({{\mathcal {Q}}}\) involving test functions with values in \({{\mathcal {K}}}^{\, c}\) is denoted by \({{\mathcal {Q}}}({{\mathcal {K}}}^{\, c})\).
In our analysis of the phases \(\alpha (NP,Q)\), we need to consider limited numbers of (at most six) admissible triples of functionals \(P,Q,N \in {{\mathcal {Q}}}\). Any such collection of functionals is, together with the respective sums, contained in some \({{\mathcal {Q}}}({{\mathcal {K}}}^{\, c})\) for sufficiently large c. Making use of this fact, we can simplify the discussion of the causal relations between the functionals appearing in the phases.
Given any \(c \ge 1\) and admissible triples \(P,Q,N \in {{\mathcal {Q}}}({{\mathcal {K}}}^{\, c})\) satisfying the causality condition \(P \underset{N}{\succ } Q\), we restrict the corresponding phases \(\alpha (NP,Q)\) to the subset of triples satisfying the stronger causality condition \(P \overset{c}{\succ }Q\). The latter symbol indicates that the functional P does not intersect the past of the functional Q with regard to the metric \(\eta ^{\, c}\), i.e. \(\text{ supp } \, P \cap J_^{\, c} (\text{ supp } \, Q) = \emptyset \) in an obvious notation. Thereby, the causal relations between the restricted functionals in \({{\mathcal {Q}}}({{\mathcal {K}}}^{\, c})\) can be discussed in a simpler, unified manner. In order to mark this step, we denote the restricted phases by \({\underline{\alpha }}^c(NP,Q)\) and introduce the following terminology.
Definition
Let \(c \ge 1\). A finite collection of phases \({\underline{\alpha }}^c(N_iP_i, Q_i)\) for given admissible triples \(P_i, Q_i, N_i \in {{\mathcal {Q}}}({{\mathcal {K}}}^{\, c})\) is said to be well defined if \(P_i \overset{c}{\succ }Q_i\) for \(\, i = 1, \ldots , N\). In particular, the equalities (6.1) are satisfied by such well defined collections of restricted phases.
A major part of our argument consists of the proof that the restricted phases \({\underline{\alpha }}^c(NP,Q)\) can be extended to a considerably larger set of functionals. As we will see, they have unique extensions \({\overline{\alpha }}^c(NP,Q)\), being defined for admissible triples \(P,Q,N \in {{\mathcal {Q}}}({{\mathcal {K}}}^{\, c})\) with \(\text {supp} \, P \cap \text {supp} \, Q = \emptyset \). We will then show that these extensions are the restrictions to \({{\mathcal {Q}}}({{\mathcal {K}}}^{\, c})\) of a global phase \({\overline{\alpha }}(NP,Q)\) which is defined for all admissible triples \(P,Q,N \in {{\mathcal {Q}}}\) satisfying \(\text {supp} \, P \cap \text {supp} \, Q = \emptyset \). Moreover, \({\overline{\alpha }}\) coincides with the original phase \(\alpha \) on its domain. The more transparent properties of \({\overline{\alpha }}\) will enable us to prove that there exist phase factors \(\beta (P) \in {{\mathbb {T}}}\), \(P \in {{\mathcal {Q}}}\), which trivialize it. That is, equation (6.3) is satisfied for all admissible triples \(P,Q,N \in {{\mathcal {Q}}}\) with \(\text {supp} \, P \cap \text {supp} \, Q = \emptyset \). Thus, a fortiori, \(\alpha \) can be trivialized.
We turn now to the proof that the restricted phases \({\underline{\alpha }}^c(NP,Q)\) can be extended, as indicated. There we make use of the fact that the phases are symmetric for spacelike separated P, Q, cf. Proposition 5.1. In accordance with our conventions, we will only consider pairs of functionals which are spacelike separated with regard to the metric \(\eta ^{\, c}\). It is note worthy that the condition of Haag duality, entailing the symmetry of the phases, then follows already from the seminal results of Araki [1]. A crucial step toward the extension of the phases is the following lemma.
Lemma 6.3
Let \(P_1, P_2, Q, N \in {{\mathcal {Q}}}({{\mathcal {K}}}^{\, c})\). Then,
if all occurring phases \({\underline{\alpha }}^c\) are well defined, cf. the preceding definition.
Technical remark In the proof of this lemma, as well as in subsequent arguments, we will make use of the fact that any functional \(P \in {{\mathcal {Q}}}({{\mathcal {K}}}^{\, c})\) can be split within \({{\mathcal {Q}}}({{\mathcal {K}}}^{\, c})\) into “locally convex” combinations of functionals. This is accomplished by multiplying the (tensorvalued) test function p, underlying P, with some “pointwise convex” partition of unity, \(p_k \doteq \chi _k p\), where \(0 \le \chi _k \le 1\) are smooth functions and \(\sum _{k = 1}^n \chi _k = 1\) on the support of p. Since \({{\mathcal {K}}}^{\, c}\) is convex, the functionals \(P_k\), which are obtained by replacing p in P by \(p_k\), are contained in \({{\mathcal {Q}}}({{\mathcal {K}}}^{\, c})\), \(k = 1, \ldots , n\). By some slight abuse of notation, we put \(P_k \doteq \chi _k P\), giving \(\sum _{k = 1}^n P_k = (\sum _{k=1}^n \chi _k) P = P\). Choosing suitable pointwise convex partitions, we will split in this manner given functionals P into combinations of functionals with prescribed support properties, determined by the supports of \(\chi _k\). For the sake of shortness, we omit the phrase “pointwise convex” in the following. We will also use the notation \(J_{\, \cap }^{\, c} \doteq J_+^{\, c} \cap J_^{\, c} \) and \(J_{\, \cup }^{\, c} \doteq J_+^{\, c} \cup J_^{\, c} \).
Proof
For the proof of the lemma, we proceed from the underlying condition \(P_1 \overset{c}{\succ }Q \overset{c}{\succ }P_2\). So there exists a decomposition \(P_1 = P_+ + P_0\) such that \({\text{ supp } \, }P_+ \cap J_^{\, c} ({\text{ supp } \, }Q \cup {\text{ supp } \, }P_2) = \emptyset \) and \({\text{ supp } \, }P_0 \, \cap \, J_{\, \cup }^{\, c} ({\text{ supp } \, }Q) = \emptyset \). Making use Lemma 6.1, we then split the phases appearing in the statement: our underlying strategy consists of moving, whenever possible, \(P_0\) to the first entry and \(P_+\), \(P_2\) to the second, respectively, third entry. For the first factor, appearing on the lefthand side of the equality in the statement, we obtain
For the second factor, we get
The factors appearing on the right hand side of the equality are treated similarly. The first factor yields
The second factor gives
Noticing that \(\alpha (NQ, P_0) = \alpha (NP_0, Q)\) since \({\text{ supp } \, }P_0 \overset{c}{\perp }{\text{ supp } \, }Q\), we conclude that the products of the phase factors on the left and right hand side of the equality in the statement coincide, as claimed.
Note that the conditions on the entries of the phase factors are met in each of the preceding steps; because the functionals appearing there, as well as their respective sums, are convex combinations of (sums of) the given functionals, and \({{\mathcal {K}}}^{\, c}\) is convex and contractible. \(\square \)
We are now in a position to extend the restricted phases \({\underline{\alpha }}^c\) to more general entries. This is accomplished in several steps. Let \(P,Q,N \in {{\mathcal {Q}}}({{\mathcal {K}}}^{\, c})\) be admissible and let
There exists a partition \(\chi _+, \chi _\) such that \(\chi _+ + \chi _ = 1\) on the support of P and \(P_\pm \doteq \chi _\pm P\) satisfy \({\text{ supp } \, }P_\pm \cap J_\mp ^{\, c} ({\text{ supp } \, }Q) = \emptyset \). Moreover, \(N + P_\pm \) are locally convex combinations of N and \(N+P\). With these constraints on P, Q, we can define
This definition amounts to a symmetrization with regard to the causal order of P, Q, viz. it implies \({\overline{\alpha }}^c(NP,Q) = {\overline{\alpha }}^c(NQ,P)\) if \(P \overset{c}{\succ }Q\) or \(Q \overset{c}{\succ }P\). As we shall see, this relation holds for arbitrary functionals with disjoint supports. But we first need to verify that \({\overline{\alpha }}^c\), so defined, (i) extends \({\underline{\alpha }}^c\) and (ii) does not depend on the split \(P = P_+ + P_\) within the above limitations.
As to (i), we note that if \(P \overset{c}{\succ }Q\), then \(P_\) and Q have spacelike separated supports, \(P_ \overset{c}{\perp }Q\), and we may interchange these functionals in the second factor of the right hand side of the preceding equality. It then follows from Lemma 6.1 that \({\overline{\alpha }}^c(NP,Q) = {\underline{\alpha }}^c(NP,Q)\). We also note that according to Lemma 6.3, one may interchange the role of \(P_+\) and \(P_\) in the definition.
Concerning (ii), we remark that the ambiguities involved in the splitting of P pertain only to the spacelike complement of the support of Q. So let \( P = (P_+ + P_0) + (P_  P_0)\) be another convex splitting, where \(P_0 \overset{c}{\perp }Q\). Then, bearing in mind the symmetry of the phases in \(P_0,Q\), we have
proving that the extension \({\overline{\alpha }}^c\) is welldefined. The extended phase satisfies cocycle relations analogous to those established for \(\alpha \) in Lemma 6.1.
Lemma 6.4
Let \(P_1, P_2, Q, Q_1, Q_2, N \in {{\mathcal {Q}}}({{\mathcal {K}}}^{\, c})\). Putting \(P = P_1 + P_2\), one has
provided all terms are well defined. The latter condition now implies that all phase factors contain admissible triples in \({{\mathcal {Q}}}({{\mathcal {K}}}^{\, c})\), where the functionals in their second and third entry have disjoint supports, in agreement with condition (6.8).
Proof
For the proof of the first equality in (6.11), we split \(P_i = P_{i +} + P_{i }\), where \(P_{i \pm }\) are functionals, \(i = 1,2\), with appropriate support properties relative to Q, in accordance with definition (6.9) of the extended phases. The left hand side of (6.11) is then defined by
Applying Lemma 6.1 to every factor, we obtain
The factors appearing on the right hand side of (6.11) are given by
Comparing the four factors appearing on the righthand sides of the equalities in (6.14), respectively (6.15), we see that two of them coincide. For the products of the remaining pairs, we get
completing the proof of relation (6.11).
Turning to the proof of relation (6.12), we make use of the underlying condition \({\text{ supp } \, }P \cap \big ( J_{\, \cap }^{\, c} ({\text{ supp } \, }Q_1) \cup J_{\, \cap }^{\, c} ({\text{ supp } \, }Q_2) \big ) = \emptyset \). So there exists a convex decomposition \(P = P_{{\scriptscriptstyle +}{\scriptscriptstyle +}} + P_{{\scriptscriptstyle +}{\scriptscriptstyle }} + P_{{\scriptscriptstyle }{\scriptscriptstyle +}} + P_{{\scriptscriptstyle }{\scriptscriptstyle }}\) whose components satisfy \({\text{ supp } \, }P_{\sigma \sigma '} \cap \big (J^{\, c}_{\sigma }({\text{ supp } \, }Q_1) \cup J^{\, c}_{\sigma '}({\text{ supp } \, }Q_2) \big ) = \emptyset \) for \(\sigma , \sigma ' = \pm \). We then apply relation (6.11) to the phases appearing on the lefthand side of equation (6.12) and obtain
The first factors on the righthand side of equations (6.17), respectively (6.18), are by definition equal to
Hence, applying Lemma 6.1 twice, their product is given by
It is thus symmetric in \(Q_1\), \(Q_2\).
The second factors on the righthand side of (6.17) and (6.18) are treated similarly. There we have
We apply Lemma 6.3 to the product of the first factors on the right hand side of (6.22), (6.23), changing the places of \(Q_1, Q_2, P_{{\scriptscriptstyle }{\scriptscriptstyle +}}\) with the result
For the product of the second factors, we obtain
Now the product of the first factors in (6.24) and (6.25) coincides by definition with the extended phase
and the product of the second factors in (6.24) and (6.25) yields
Since the product of (6.26) and (6.27) coincides with the product of the second factors in (6.17) and (6.18), we conclude that this product is also symmetric in \(Q_1\), \(Q_2\). Noting once again that the phase factors, which appeared in intermediate steps, were welldefined for the respective triples in \({{\mathcal {Q}}}({{\mathcal {K}}}^{\, c})\), the proof of equality (6.12) is complete. \(\square \)
In a final step, we extend \({\overline{\alpha }}^c(NP,Q)\) to triples \(P,Q,N \in {{\mathcal {Q}}}({{\mathcal {K}}}^{\, c})\), where P, Q have arbitrary disjoint supports, viz. we also admit functionals Q whose support is not causally closed. Let \({{\mathcal {N}}}_1, \ldots , {{\mathcal {N}}}_n\) be an open covering of \({\text{ supp } \, }Q\) such that \(J_{\, \cap }^{\, c} ({{\mathcal {N}}}_i) \, \cap \, {\text{ supp } \, }P = \emptyset \), \(i= 1, \ldots , n\). Picking a corresponding partition of unity by test functions \(\chi _i\), we obtain a decomposition \(Q = Q_1 + \cdots + Q_n\) with \(Q_i \doteq \chi _i \, Q\), \(i = 1, \ldots ,n\). We then put
It follows from relation (6.12) that the righthand side of this equality does not change if one exchanges the positions of \(Q_i\) and \(Q_{i + 1}\). Hence, it is stable under arbitrary permutations of the \(Q_i\), \(i = 1, \ldots , n1\). It also does not depend on the chosen partition of unity, as we will show next.
Let \(\rho _i\), \(i = 1, \ldots , n\), be another partition of unity for the chosen covering. We first consider the cases where \(\rho _i + \rho _j = \chi _i + \chi _j\) for some pair \(i \ne j\) and all other test functions coincide, \(\rho _k = \chi _k\), \(k \ne i,j\). According to the preceding observation, we may reorder the indices and assume \(i=1\), \(j=2\). Putting \(R \doteq (\rho _1  \chi _1) \, Q\), we obtain \((Q_1 + R) = \rho _2 \, Q\), \((Q_2  R) = \rho _1 \, Q\). Since \({\text{ supp } \, }P \, \cap \, {\text{ supp } \, }\rho _i Q = \emptyset \), \(i = 1,2\), we can apply relation (6.11), giving
We conclude that under these special changes of the partition of unity, the right hand side of definition (6.28) does not change. But any other partition of unity can be reached in a finite number of steps from partitions of this special type, so the definition does not depend on it either.
Finally, the definition is also independent of the chosen covering. To see this, we proceed to refinements of the given covering and corresponding refinements of the decompositions of the functionals. Let, for example, \(Q_1 = Q_{11} + Q_{12}\) be such a refinement. Splitting \(P = P_+ + P_\), where \({\text{ supp } \, }P_\pm \) does not intersect \(J_\mp ^{\, c} ({\text{ supp } \, }Q_1)\), respectively, we have
According to Lemma 6.1, the factors appearing on the right hand side can be split into
The product of the first factors on the right hand sides of these equalities gives \({\overline{\alpha }}^c(NP, Q_{11})\) and that of the second factors \({\overline{\alpha }}^c(N + Q_{11}P, Q_{12})\). Thus, we arrive at
Iterating this argument, we see that definition (6.28) is invariant under finite refinements of the covering. Since any two coverings have a joint refinement, it follows that the extension of \({\overline{\alpha }}^c(NP,Q)\) is well defined if P, Q have disjoint supports and all (sums of the) functionals are contained in \({{\mathcal {Q}}}({{\mathcal {K}}}^{\, c})\). The preceding results are used in the proof of the following proposition.
Proposition 6.5
The phase factors \(\alpha \) appearing in Proposition 5.1 can be extended to phases \({\overline{\alpha }}\) which are defined for admissible triples \(P,Q,N \in {{\mathcal {Q}}}\) with \({\text{ supp } \, }P \bigcap {\text{ supp } \, }Q = \emptyset \) and satisfy
These equalities uniquely fix this extension.
Proof
Let P, Q, N be any admissible triple with \({\text{ supp } \, }P \bigcap {\text{ supp } \, }Q = \emptyset \). There exists some \(c \ge 1\) such that \(P,Q,N \in {{\mathcal {K}}}^{\, c}\). As shown above, the restriction \({\underline{\alpha }}^c\) of \(\alpha \) to admissible triples \(P', Q', N' \in {{\mathcal {K}}}^{\, c}\) satisfying \(P' \overset{c}{\succ }Q'\) can be extended to phases \({\overline{\alpha }}^c\) which are defined on all admissible triples in \({{\mathcal {K}}}^{\, c}\) with \({\text{ supp } \, }P' \bigcap {\text{ supp } \, }Q' = \emptyset \). We shall see that this extension satisfies the two equalities stated above. It is then clear that it is unique because these equalities comprise the defining equation for \({\overline{\alpha }}^c\) in terms of the restricted phases \({\underline{\alpha }}^c\).
In a first step we show that the extended phase \({\overline{\alpha }}^c\) coincides with the original phase \(\alpha \) on its full domain in \({{\mathcal {Q}}}({{\mathcal {K}}}^{\, c})\). So let \(P,Q,N \in {{\mathcal {K}}}^{\, c}\) with \(P \underset{N}{\succ } Q\). Any pair \((x,y) \in {\text{ supp } \, }P \times {\text{ supp } \, }Q\) satisfies either \(x \overset{c}{\succ }y\), or \(y \overset{c}{\succ }x\). In the latter case, the point x is spacelike separated from y with regard to the metric \(g_N\) induced by N, \(x \underset{N}{\perp } y\). Thus, since the supports of P, Q are compact, we can split these functionals with the help of suitable partitions of unity into finite sums \(P = \sum _i P_i\), \(Q = \sum _j Q_j\), such that either \(P_i \overset{c}{\succ }Q_j\), or \(Q_j \overset{c}{\succ }P_i\) and \(P_i \underset{N}{\perp } Q_j\). By repeated application of the basic Lemma 6.1, we obtain a corresponding decomposition of the phase \(\alpha (NP,Q)\), given by
The phases appearing on the right hand side of this equality are welldefined, which can be seen as follows: the causal structure induced by their first entries coincides in the complement of \({\text{ supp } \, }P \, \cup \, {\text{ supp } \, }Q\) with the causal structure fixed by N. Thus, any future directed curve, emanating from a given point in the support of P, will hit its boundary and then propagate in positive timelike directions, fixed by the metric \(g_N\). Since \(P \underset{N}{\succ } Q\), it will not reach the past of Q. An analogous statement holds for past directed curves emanating from points in the support of Q. Hence, putting \(N_{i j} \doteq N + \sum _{k< i} P_k + \sum _{l < j} Q_l\), one has \(P_i \underset{N_{i j}}{\succ } Q_j\), as claimed.
Now factors in relation (6.35), involving triples with \(P_i \overset{c}{\succ }Q_j\), coincide with the restricted phase \({\underline{\alpha }}^c\) for these triples, whence with its extension \({\overline{\alpha }}^c\). If \(Q_j \overset{c}{\succ }P_i\), hence \(P_i \underset{N}{\perp } Q_j\), the entries in \(\alpha \) can be interchanged because of the symmetry properties of \(\alpha \) for functionals with spacelike separated supports. So also in these cases the phase coincides with \({\overline{\alpha }}^c\) for the respective functionals. Since equality (6.35) holds also for the extended phase, it follows that \({\overline{\alpha }}^c\) coincides with the original phase \(\alpha \) on its domain.
Making use of relation (6.35) for the extended phase \({\overline{\alpha }}^c\) and noticing that the supports of the functionals \(P_i, Q_j\) satisfy the conditions stated after the defining equation (6.9), it is apparent that the righthand side of relation (6.35) for \({\overline{\alpha }}^c\) is symmetric in P, Q. This proves equality (6.33) for \({\overline{\alpha }}^c\). Since the first part of Lemma 6.4 entails equality (6.34) for \({\overline{\alpha }}^c\), this establishes the two relations given in the statement in case of \({\overline{\alpha }}^c\).
In the last step, we show that for given admissible triples \(P,Q,N \in {{\mathcal {Q}}}\), the extension of \(\alpha \) does not depend on the value of c chosen for the embedding of the triple into \({{\mathcal {K}}}^{\, c}\). So let \({\widehat{c}} \ge c \ge 1\), hence \({{\mathcal {K}}}^{{\widehat{c}}} \supset {{\mathcal {K}}}^{\, c}\). For pairs \(P,Q \in {{\mathcal {K}}}^{\, c}\) the relation \(P \overset{{\widehat{c}}}{\succ } Q\) implies \(P \overset{{c}}{\succ } Q\). Hence \({\underline{\alpha }}^{{\widehat{c}}}\) coincides with \({\underline{\alpha }}^c\) on all admissible triples in \({{\mathcal {K}}}^{\, c}\) satisfying the stronger causality condition. We proceed now as in the preceding step and decompose \(P = \sum _i P_i\) , \(Q = \sum _j Q_j\) such that for each pair (i, j) at least one of the relations \(P_i \overset{{\widehat{c}}}{\succ } Q_j\) or \(Q_j \overset{{\widehat{c}}}{\succ } P_i\) holds. Adopting the notation in the preceding step, we find in the first case
In the second case we obtain, bearing in mind the symmetry properties of the extended phases in their second and third argument,
Thus, by another decomposition based on Lemma 6.1, we arrive at
So the phases \({\overline{\alpha }}^c\) are restrictions to \({{\mathcal {Q}}}({{\mathcal {K}}}^c)\), \(c \ge 1\), of a phase \({\overline{\alpha }}\) which is defined on all of \({{\mathcal {Q}}}\), completing the proof. \(\square \)
We will show now that the extended phases \({\overline{\alpha }}\) can be trivialized. Trivial solutions of the equalities in the preceding proposition are obtained by picking phases \(\beta (P) \in {{\mathbb {T}}}\), \(P \in {{\mathcal {Q}}}\), and putting
They correspond to coboundaries in cohomology theory. Thus, we need to exhibit phase factors \(\beta \) for which \({\overline{\alpha }}\) can be represented in this form. The construction of these phase factors will be accomplished in successive steps. Namely, we will adjust the phases \(\beta \) for increasing subsets of functionals in \({{\mathcal {Q}}}\) such that the preceding equality is satisfied in each step by \({\overline{\alpha }}\), restricted to the respective subsets of functionals. The desired result is then obtained by some limiting argument.
It will be convenient to describe this procedure by an iterative scheme. To this end we multiply \({\overline{\alpha }}\) with the inverse of (6.39), involving the phases determined in each step, \({\overline{\alpha }}(NP,Q) \mapsto {\overline{\alpha }}(NP,Q) \, \delta \beta (NP,Q)^{1}\). The resulting phases still satisfy both equations in the preceding proposition and are equal to 1 on increasing subsets of functionals. From the point of view of cohomology theory, we are staying by this procedure in the cohomology class of \({\overline{\alpha }}\). We therefore denote the phase factors, being modified in this manner, again by \({\overline{\alpha }}\).
Turning to the construction, let \({{\mathcal {O}}}_1,{{\mathcal {O}}}_2 \subset {{\mathcal {M}}}\) be disjoint compact regions and let \(\chi _0, \chi _1, \chi _2\) be a partition of unity such that \(\chi _1, \chi _2\) have disjoint supports, are equal to 1 on \({{\mathcal {O}}}_1\), respectively \({{\mathcal {O}}}_2\), and \(\chi _0 = 1  \chi _1  \chi _2\). Let \(P,Q,N \in {{\mathcal {Q}}}\) be any admissible triple such that \({\text{ supp } \, }P \Subset {{\mathcal {O}}}_1\), \({\text{ supp } \, }Q \Subset {{\mathcal {O}}}_2\), where the symbol \(\Subset \) indicates that the supports are contained in the open interior of the given regions. Setting \(N_j \doteq \chi _j N\), \(j=0,1,2\), it follows from equations (6.34) and (6.33) that
With this input, we define \(\beta (R) \doteq \alpha (\chi _0 R\chi _1 R, \chi _2 R)\) for \(R \in {{\mathcal {Q}}}\). Making use of the fact that \(\chi _0 P = \chi _2 P = 0\) and \(\chi _0 Q = \chi _1 Q = 0\), the equalities (6.40) imply that
for the restricted set of triples P, Q, N. Thus \({\overline{\alpha }}\) is trivial for such triples. Multiplying \({\overline{\alpha }}\) with the inverse of the right hand side, we obtain an improved phase \({\overline{\alpha }}\) which still satisfies the equations in Proposition 6.5 and, in addition, is equal to 1 if \({\text{ supp } \, }P \Subset {{\mathcal {O}}}_1\), \({\text{ supp } \, }Q \Subset {{\mathcal {O}}}_2\).
Given any \({\overline{\alpha }}\) with these properties, we repeat the preceding procedure. So let \({{\mathcal {O}}}_3, {{\mathcal {O}}}_4 \subset {{\mathcal {M}}}\) be another pair of disjoint compact regions and let \(\chi '_0, \chi _3, \chi _4\) be a corresponding partition of unity. Given \(R \in {{\mathcal {Q}}}\), we put as in the preceding step \(\beta (R) \doteq {\overline{\alpha }}(\chi '_0 R\chi _3 R, \chi _4 R)\). Thus \({\overline{\alpha }}\) satisfies equation (6.41) for the respective triples. Multiplying it with the inverse of the right hand side, we obtain a modified phase \({\overline{\alpha }}\) which satisfies the equations in Proposition 6.5 and is equal to 1 if \({\text{ supp } \, }P \Subset {{\mathcal {O}}}_3\), \({\text{ supp } \, }Q \Subset {{\mathcal {O}}}_4\). As a matter of fact, it turns out that this modified phase is still equal to 1 also for the original triples P, Q, N satisfying \({\text{ supp } \, }P \Subset {{\mathcal {O}}}_1\), \({\text{ supp } \, }Q \Subset {{\mathcal {O}}}_2\).
Making use of the properties of the improved phases \({\overline{\alpha }}\), established in the preceding step, and of Proposition 6.5, we have for admissible P, Q, R, N with \({\text{ supp } \, }P \Subset {{\mathcal {O}}}_1\), \({\text{ supp } \, }Q \Subset {{\mathcal {O}}}_2\)
This equality will be used at several points in the proof of the following important lemma.
Lemma 6.6
Let \(\beta \) be the phases, determined in the preceding step for disjoint regions \({{\mathcal {O}}}_3, {{\mathcal {O}}}_4\) from a given \({\overline{\alpha }}\), which is equal to 1 on pairs of functionals with support in disjoint regions \({{\mathcal {O}}}_1, {{\mathcal {O}}}_2\). Then,
for admissible triples \(P,Q,N \in {{\mathcal {Q}}}\) with \({\text{ supp } \, }P \Subset {{\mathcal {O}}}_1\), \({\text{ supp } \, }Q \Subset {{\mathcal {O}}}_2\).
Proof
We put \(R_0 = \chi '_0 R\), \(R_3 = \chi _3 R\) , \(R_4 = \chi _4 R\), thus \(R_0 + R_3 + R_4 = R\), \(R \in {{\mathcal {Q}}}\), and consider for admissible triples P, Q, N the phase
Making use of the given support properties of P, Q, we will split this expression with the help of Proposition 6.5 into a product of phases, where P, Q do not appear, both, in the same factor. This is a somewhat lengthy procedure. We begin by applying relation (6.34) twice, giving
where
Turning to \(\alpha _1\), we apply again relation (6.34) twice and obtain
Since the second and third entries in the two middle factors have support in \({{\mathcal {O}}}_1\), respectively \({{\mathcal {O}}}_2\), these factors are equal to 1. By relation (6.42), we can omit in the first factor Q and in the fourth factor \(P_0\), hence
To the second factor \(\alpha _2\) we apply both equalities Proposition 6.5, giving
According to relation (6.42), we can omit \(Q_0\) in the first factor and \(P_0 + P_4\) in the second factor with the result
The third factor \(\alpha _3\) is treated similarly, and we find
We turn now to the factor \(\alpha _4\). For its analysis, we need a finer resolution of the functional N. To this end, we choose a partition of unity \(\rho _0 + \rho _1 + \rho _2 = 1\) such that \({\text{ supp } \, }\rho _1 \subset {{\mathcal {O}}}_1\), \({\text{ supp } \, }\rho _2\subset {{\mathcal {O}}}_2\) and \({\text{ supp } \, }\rho _0\cap ({\text{ supp } \, }P \cup {\text{ supp } \, }Q) = \emptyset \). Since P, Q have supports in the interior of the respective regions, such a partition exists and the supports of \(\rho _1 N\), \(\rho _2 N\) are contained in \({{\mathcal {O}}}_1\), respectively \({{\mathcal {O}}}_2\). We then consider the functionals \(N_i^j \doteq \rho _j \chi _i N\) for \(i =3,4\) and \(j = 0,1,2\). Decomposing \(N_3, N_4\) in the second and third entry of \(\alpha _4\), we move the terms appearing in the corresponding sums successively to the first entry with the help of the two equalities in Proposition 6.5. We thereby arrive at a product of nine factors of the form
where \(M_{j k}\) is a sum of \(N_0\) and certain specific terms in the decomposition of \(N_3\), \(N_4\). As a matter of fact, this assertion becomes more transparent by proceeding in reverse. Beginning with \({\overline{\alpha }}(P_0 + Q_0 + N_0 N_3^0, N_4^0)\), one builds \(\alpha _4\) by successive multiplication with appropriate factors \(\alpha _{j k}\). The first two steps are given in
One then proceeds in the same manner with \(N_4\) in the third entries. By this procedure, one ensures in particular that \(M_{0 0} = N_0\).
Let us now have a closer look at the factors \(\alpha _{j,k}\). Because of the support properties of the operators \(N_3^j, N_4^k\) for \(j,k = 1,2\), it follows from relation (6.42) that we can omit \(Q_0\) from \(\alpha _{j,k}\) for \(j = 1\) as well as \(k=1\). Similarly, for \(j = 2\) or \(k = 2\) we can omit \(P_0\). Thus, the resulting terms are again products of phases depending only on N, P, respectively N, Q. There remains the case \(j = k = 0\). Recalling that \(M_{0 0} = N_0\), we apply relation (6.34) and get
Again by relation (6.42), we can omit \(Q_0\) in the first and the third factor of the latter product. So \(\alpha _{0 0}\) also factors into a product of phases depending only on N, P, respectively N, Q. So, to summarize, we succeeded in proving that there exist phases \(\beta _1(P,N)\), \(\beta _2(Q,N)\), involving decompositions of their arguments depending only on the given regions \({{\mathcal {O}}}_1, \ldots , {{\mathcal {O}}}_4\), such that
Making use of this equality also for the functional \(P = 0\), respectively \(Q = 0\), it is straight forward to verify relation (6.43), completing its proof. \(\square \)
By iteration of this argument, one can trivialize the extended phase factors \({\overline{\alpha }}(NP,Q)\) for admissible triples \(P,Q,N \in {{\mathcal {Q}}}\), where P, Q have their supports in any given finite number of pairs of disjoint compact regions. In order to cover all such triples, we make use of Tychonoff’s theorem. Let \({{\mathfrak {P}}}\) be any finite collection of pairs \({{\mathcal {O}}}^\prime \times {{\mathcal {O}}}^{\prime \prime }\) of disjoint compact subsets of \({{\mathcal {M}}}\). We denote by \({{\mathfrak {B}}}_{{{\mathfrak {P}}}}\) the set of maps \(\beta : {{\mathcal {Q}}}\rightarrow {{\mathbb {T}}}\) which trivialize \({\overline{\alpha }}\) for the given subsets. Recalling the definition of \(\delta \beta \), cf. (6.39), one has
if \({\text{ supp } \, }P \times {\text{ supp } \, }Q \subset {{\mathcal {O}}}^\prime \times {{\mathcal {O}}}^{\prime \prime } \in {{\mathfrak {P}}}\). We have shown that the sets \({{\mathfrak {B}}}_{{{\mathfrak {P}}}}\) are not empty and it is also clear that \({{\mathfrak {B}}}_{{{\mathfrak {P}}}_1} \subset {{\mathfrak {B}}}_{{{\mathfrak {P}}}_2}\) if \({{\mathfrak {P}}}_1 \supset {{\mathfrak {P}}}_2\). Let
This set is nonempty. Because, otherwise, due to the compactness of the set of maps \(\beta : {{\mathcal {Q}}}\rightarrow {{\mathbb {T}}}\) with respect to the topology of pointwise convergence (Tychonoff’s Theorem), already a finite intersection had to be empty, which has been excluded. Every \(\beta \in {{\mathfrak {B}}}\) trivializes \({\overline{\alpha }}\). We also note that different elements differ by a local functional, i.e. a map \(\gamma : {{\mathcal {Q}}}\rightarrow {{\mathbb {T}}}\) satisfying \(\delta \gamma = 1\). We have thus established the following proposition.
Proposition 6.7
Let \({\overline{\alpha }}(NP,Q)\) be the extended phases for admissible triples \(P,Q,N \in {{\mathcal {Q}}}\) satisfying \({\text{ supp } \, }P \cap {\text{ supp } \, }Q = \emptyset \). There exists a function \(\beta : {{\mathcal {Q}}}\rightarrow {{\mathbb {T}}}\) such that
As shown in Proposition 6.5, the phases \(\alpha (NP,Q)\) coincide with the restriction of \({\overline{\alpha }}(NP,Q)\) to their domain, i.e. on admissible triples \(P,Q,N \in {{\mathcal {Q}}}\) satisfying \(P \underset{N}{\succ } Q\). Thus, they can be trivialized, so the following corollary obtains. It completes the proof of Theorem 6.2.
Corollary 6.8
Let \(\alpha (NP,Q)\) be the causal phases, introduced in Proposition 5.1 for admissible triples \(P,Q,N \in {{\mathcal {Q}}}\) satisfying \(P \underset{N}{\succ } Q\). There exists a function \(\beta : {{\mathcal {Q}}}\rightarrow {{\mathbb {T}}}\) such that
We conclude this section with a remark on the covariance properties of our construction. As noted at the end of the preceding section, the unitaries \(U(\lambda ) S({\varvec{P}}) U(\lambda )^{1}\) induce automorphisms of the Weyl operators, for any \({\varvec{P}}\in {{\mathcal {P}}}\) and Poincaré transformation \(\lambda \). They exhaust the unitaries for perturbations \({\varvec{P}}_\lambda \) satisfying the standing assumption for any given time direction and they also satisfy the corresponding causal factorization condition. A fully covariant description would require, however, that the phase factors \(\beta \) in the preceding corollary can be chosen to be Poincaré invariant for the given (Poincaré invariant) \(\alpha \). It is an open problem whether such a choice exists.
7 Conclusions
In this article, we have extended the framework of dynamical C*algebras for quantum field theories on Minkowski space [5], admitting also kinetic perturbations. The novel feature appearing in this extended framework is the influence of kinetic perturbations on the causal factorization relations of the unitary operators, describing their impact on states. Whereas these operators still generate a local, covariant net on Minkowski space, labeled by their support regions, the causal relations between them are affected. This is due to the fact that they describe the propagation of fields in distorted spacetimes. As a matter of fact, this feature imposes restrictions on the admissible perturbations, put down in our standing assumption. They reflect the idea that the kinetic perturbations are caused by gravitational effects on the fields. In accordance with this idea, we have shown that the perturbed fields satisfy wave equations and commutation relations on locally perturbed Minkowski spaces.
The unitary operators describing these perturbations are well defined at the level of abstract C*algebras, which admit an abundance of states and corresponding Hilbert space representations. Yet it is not clear from the outset that there exist also states, describing situations of physical interest, such as a vacuum and its local excitations, or equilibrium states. As a matter of fact, a comprehensive representation theory of dynamical C*algebras is the missing corner stone in a rigorous proof that interacting quantum field theories exist in four spacetime dimensions [5]. As was already mentioned, perturbation theory is of little use in this context since it cannot converge in the presence of kinetic perturbations, due to their impact on the underlying causal structure and resulting modifications of commutation relations. Thus, a nonperturbative approach to this problem is needed.
As a step into that direction, we have considered the subset of perturbations, which are at most quadratic in the underlying field. These perturbations do not describe selfinteractions of the field, but comprise its interaction with the spacetime background and perturbations of its mass. Previous results by Wald [20] had settled the existence of corresponding unitary operators and resulting local nets of C*algebras on Fock space. But a proof that by adjustment of their phase factors, there exist also operators which satisfy the causal factorization relations did not yet exist. In fact, it turned out to be surprisingly involved.
A direct construction of such unitary operators would have required the development of a nonperturbative renormalization scheme for timeordered exponentials. We have therefore taken here a different, still cumbersome path. Adopting methods from cohomology theory, we have shown that the ambiguous phase factors of the unitary operators can be fixed in a manner such that they satisfy the causal factorization equations, i.e. there are no cohomological obstructions in that respect. It completed our proof that the restricted dynamical algebra is represented on Fock space in any number of spacetime dimensions. This observation provides further evidence to the effect that our novel algebraic approach to the construction of quantum field theories is viable.
Notes
This is related to the problem of associating determinants to hyperbolic differential operators. For recent progress in the case of elliptic operators see [7] where, however, the class of allowed perturbations is less singular.
References
Araki, H.: A lattice of von Neumann algebras associated with the quantum theory of a free Bose field. J. Math. Phys. 4, 1343–1362 (1963)
Bär, C., Ginoux, N., Pfäffle, F.: Wave equations on Lorentzian manifolds and quantization. European Mathematical Society (EMS), Zürich, ESI Lect. Math. Phys. (2007)
Bogoliubov, N.N., Parasiuk, O.S.: Über die Multiplikation der Kausalfunktionen in der Quantentheorie der Felder. Acta Math. 97, 227–266 (1957)
Bogoliubov, N.N., Shirkov, D.V.: Introduction to the Theory of Quantized Fields. Interscience Publishers, Geneva (1959)
Buchholz, D., Fredenhagen, K.: A C*algebraic approach to interacting quantum field theories. Commun. Math. Phys. 377, 947–969 (2020)
Buchholz, D., Fredenhagen, K.: From path integrals to dynamical algebras: a macroscopic view of quantum physics. Found. Phys. 50, 727–734 (2020)
Dang, N.V.: Renormalization of determinant lines in quantum field theory. Preprint arXiv:1901.10542
Dütsch, M.: From Classical Field Theory to Perturbative Quantum Field Theory, Progress in Mathematical Physics, vol. 74. Birkhüser, Basel (2019)
Epstein, H., Glaser, V.: The Role of locality in perturbation theory. Ann. Poincare Phys. Theor. A 19, 211–295 (1973)
GraciaBondíía, J.M.: The phase of the scattering matrix. Phys. Lett. B 482, 315–322 (2000)
Haag, R., Kastler, D.: An algebraic approach to quantum field theory. J. Math. Phys. 5, 848–861 (1964)
Hörmander, L.: The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis. Springer, New York (2003)
Langmann, E.: Cocycles for boson and fermion Bogoliubov transformations. J. Math. Phys. 35, 96–112 (1994)
Longo, R., Roberts, J.E., Verch, R.: Charged sectors, spin and statistics in quantum field theory on curved spacetimes. Rev. Math. Phys. 13, 125–198 (2001)
Moretti, V., Verch, R.: Private communication
Rejzner, K.: Perturbative Algebraic Quantum Field Theory. An Introduction for Mathematicians. Springer, New York (2016)
Robinson, P.L.: The bosonic Fock representation and a generalized Shale theorem. arXiv:1203.5841v1
Scharf, G., Wreszinski, W.F.: The causal phase in quantum electrodynamics. Nuovo Cimento 93 A, 1–27 (1986)
Shale, D.: Linear symmetries of free Boson fields. Trans. Am. Math Soc. 103, 149–167 (1962)
Wald, R.M.: Existence of the Smatrix in quantum field theory in curved spacetime. Ann. Phys. 118, 490–510 (1979)
Acknowledgements
We are grateful to Valter Moretti and Rainer Verch for information on the status of the problem of Haag duality in curved spacetimes. DB also thanks Dorothea Bahns and the Mathematics Institute of the University of Göttingen for their generous hospitality.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by KarlHenning Rehren.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
In this appendix, we determine perturbations of the metric \(\eta \) in Minkowski space \({{\mathcal {M}}}\) which keep it globally hyperbolic, so that the hypersurfaces \(t=\mathrm {const}\) (for a fixed time coordinate) are still Cauchy surfaces and the time coordinate is positive timelike with regard to the perturbed metric g. We also analyze in some detail their inverses, which enter in the corresponding hyperbolic differential operators. We will thereby justify our standing assumption and exhibit increasing families \({{\mathcal {K}}}^{\, c}\) of perturbations, labeled by the velocity of light \(c \ge 1\), which enter in our analysis.
Let g be any such metric. We use the split into time and space and describe g by a block matrix
where \({\varvec{g}}\) is a \((d1)\)vector and \({\varvec{G}}\) is a spatial \((d1) \times (d1)\)matrix. According to the conditions on g, the chosen time coordinate is still positive timelike, thus \(g_{00} > 0\), and spatial vectors are still spacelike, so \({\varvec{G}}\) has to be positive definite. The lightcone \({{\mathcal {V}}}_+(g)\) fixed by g at any given point in \({{\mathcal {M}}}\) is determined by the equation for the corresponding lightlike directions, \(v = (1, {\varvec{v}}) \in {{\mathbb {R}}}^d\),
Since \({\varvec{G}}\ge \Vert {\varvec{G}}^{1} \Vert ^{1} 1\) one finds that
It follows that the velocity of light, determined by g, satisfies the bound
Thus one has the inclusion of light cones \({{\mathcal {V}}}_+(g) \subset {{\mathcal {V}}}_+(\eta ^{c})\), where the latter lightcone is of Minkowski type,
Next, we determine the inverse metric. Using again the split into time and space coordinates, we represent \(g^{1}\) also as a block matrix
and obtain by an elementary computation
The conditions on g can now also be formulated in terms of conditions on \(g^{1}\), namely \(g^{00}>0\) and \({\varvec{H}}\) is to be positive definite.
The kinetic perturbations P, considered in the main text, are described by differential operators with principal symbols p, which in the chosen coordinates are given by
Putting \({\widetilde{g}}_P \doteq (\eta + p)\), the corresponding metric \(g_P\) on Minkowski space is given by the equation \(\mathrm {det} g_P^{1/2}g_P = {\widetilde{g}}_P^{\, 1}\) (for \(d>2\)). So our constraints on the admissible metrics imply that \((1 + p^{00}) > 0\) and that the spatial part \((1 + {\varvec{P}})\) is positive definite. These conditions agree with our standing assumption, characterizing the principal symbols of admissible perturbations.
It is apparent that any convex combination of admissible principal symbols p is again admissible. We restrict the admissible symbols to compact, convex subsets in order to control the size of the lightcones determined by the corresponding metrics \(g_P\) in Minkowski space. Given \(0 < \varepsilon \le 1\), we consider perturbations with principal symbols satisfying
We also require that the length \({\varvec{p}}\) is bounded by \(\varepsilon ^{1}\). These conditions characterize compact convex subsets of principal symbols. Since \(p = 0\) is contained in any set, they are also contractible.
In analogy to relation (A.2), one can determine now the momentum space light cones \({{\mathcal {V}}}_+({\widetilde{g}}_P)\) fixed by the data in relation (A.9). By a similar computation as above one finds that the vectors \((1, {\varvec{k}})\) are contained in these light cones if \( {\varvec{k}} \le (\sqrt{2}  1) \varepsilon ^2\). Thus the cones contain the momentum space lightcones for the Minkowskian metric \(\eta ^{c(\varepsilon )}\) with velocity of light
For the dual lightcones in position space \(\{ x \in {{\mathbb {R}}}^d : xp > 0, \ p \in {{\mathcal {V}}}_+({\widetilde{g}}_P) \}\) we get the opposite inclusion. Hence the metrics \(g_P\) associated with the (for the given \(\varepsilon \)) restricted principal symbols p are dominated on all of Minkowski space by the Minkowskian metric \(\eta ^{\, c(\varepsilon )}\). In particular, these metrics comply with our initial constraints on admissible metrics. Because of the relevance of the value of the parameter c in the main text, we denote the corresponding compact, convex and contractible sets of principal symbols by \({{\mathcal {K}}}^{\, c}\). They increase with increasing c and exhaust the set of all admissible principal symbols.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Buchholz, D., Fredenhagen, K. Dynamical C*algebras and Kinetic Perturbations. Ann. Henri Poincaré 22, 1001–1033 (2021). https://doi.org/10.1007/s00023020010023
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023020010023