Dynamical locality of the nonminimally coupled scalar field and enlarged algebra of Wick polynomials (Q1949811)

The author uses the tool of category theory with functor between the category Loc, whose objects are globally hyperbolic spacetimes, and the category Alg whose objects are at the very least \(*\)-algebras, but may possibly possess additional structure. He is concerned with the class of dynamically local fields, which are shown in the aforementioned paper to satisfy the SPASs (all spacetimes) condition. Let \({\mathcal M}= (M,g, 0,t)\in\text{Loc}\), where \(g\) is a smooth time-orientable metric for \(M\). The Klein-Gordon operator on a spacetime \(M\) is denoted \(P_M= \square_g+\xi R_g+ m^2\). Solution \(\phi\in C^\infty(M)\) to \(P_M\phi= 0\) is called a classical solution to the field equation. \(E_M= E^-_M- E^+_M\) denotes the difference of the advanced and retarded fundamental solutions for \(P_M\). The algebra of the Klein-Gordon quantum field theory is usually constructed directly by the functor \(\Phi\) as the unital \(*\)-algebra generated by elements \(\Phi_M(t)\), \(t\in C^\infty_0(M)\) satisfying \([\Phi_M(t), \Phi_M(t')]= iE_M(t,t')\cdot\ell\), etc. He proves that the nonminimally coupled Klein-Gordon scalar field is dynamically local in both massive and massless case, and also that the extended algebra of noninteracting Wick polynomials can be shown to be dynamically local in the minimally coupled massive and conformally coupled massive cases. However, it failed to be dynamically local in the minimally coupled massless case. The dynamical locality is the one given by \({\mathcal A}^{kin}(M; 0)\cong{\mathcal A}^{dyn}(M; 0)\).