Propagators in curved spacetimes from operator theory

We discuss two distinct operator-theoretic settings useful for describing (or defining) propagators associated with a scalar Klein-Gordon field on a Lorentzian manifold $M$. Typically, we assume that $M$ is globally hyperbolic, but we will also consider examples where it is not. Here, the term propagator refers to any Green function or bisolution of the Klein-Gordon equation pertinent to Classical or Quantum Field Theory. These include the forward, backward, Feynman and anti-Feynman propagtors, the Pauli-Jordan function and 2-point functions of Fock states. The first operator-theoretic setting is based on the Hilbert space $L^2(M)$. This setting leads to the definition of the operator-theoretic Feynman and anti-Feynman propagators, which often (but not always) coincide with the so-called out-in Feynman and in-out anti-Feynman propagator. On some special spacetimes, the sum of the operator-theoretic Feynman and anti-Feynman propagator equals the sum of the forward and backward propagator. This is always true on static stable spacetimes and, curiously, in some other cases as well. The second setting is the Krein space $\mathcal{W}_{\rm KG}$ of solutions of the Klein-Gordon equation. Each linear operator on $\mathcal{W}_{\rm KG}$ corresponds to a bisolution of the Klein-Gordon equation, which we call its Klein-Gordon kernel. In particular, the Klein-Gordon kernels of projectors onto maximal uniformly definite subspaces are 2-point functions of Fock states, and the Klein-Gordon kernel of the identity is the Pauli-Jordan function. After a general discussion, we review a number of examples: static and asymptotically static spacetimes, FLRW spacetimes (reducible by a mode decomposition to 1-dimensional Schrödinger operators), deSitter space and anti-deSitter space, both proper and its universal cover.