A von Neumann algebraic approach to Quantum Theory on curved spacetime

By extending the method developed in our recent paper \cite{LM} we present the AQFT framework in terms of von Neumann algebras. In particular, this approach allows for a locally covariant categorical description of AQFT which moreover satisfies the additivity property and provides a natural and intrinsic framework for a description of entanglement. Turning to dynamical aspects of QFT we show that Killing local flows may be lifted to the algebraic setting in curved space-time. Furthermore, conditions under which quantum Lie derivatives of such local flows exist are provided. The central question that then emerges is how such quantum local flows might be described in interesting representations. We show that quasi-free representations of Weyl algebras fit the presented framework perfectly. Finally, the problem of enlarging the set of observables is discussed. We point out the usefulness of Orlicz space techniques to encompass unbounded field operators. In particular, a well-defined framework within which one can manipulate such operators is necessary for the correct presentation of (semiclassical) Einstein’s equation.

💡 Research Summary

The paper presents a comprehensive reformulation of Algebraic Quantum Field Theory (AQFT) on curved spacetimes using the language of von Neumann algebras. Starting from the observation that traditional AQFT is often built on C*‑algebras and implicitly assumes a distinguished global Hilbert space, the authors argue that this framework is ill‑suited for describing entanglement, modular structure, and unbounded field operators. To overcome these limitations they adopt the “standard form” of a von Neumann algebra, a quintuple (M, πν, Hν, Jν, Pν) uniquely characterising the algebra together with its canonical Hilbert space, modular conjugation, and natural positive cone. This standard form furnishes a tensorial category: each local algebra comes equipped with its own canonical Hilbert space, eliminating the need for a pre‑chosen global space while still allowing a rigorous treatment of tensor products and entanglement.

The geometric setting is a globally hyperbolic Lorentzian manifold (M,g). For each relatively compact globally hyperbolic region O⊂M the authors construct a local CCR algebra generated by Weyl operators W(ψ) where ψ runs over solutions of the Klein‑Gordon equation with compact support in O. The collection {A(O)} forms a quasi‑local von Neumann algebra: isotony, locality (commutation for causally disjoint regions), σ‑weak density, and additivity are all satisfied. This provides a locally covariant AQFT that respects the causal structure of curved spacetime.

A major dynamical contribution is the lifting of Killing vector fields to the algebraic level. For any Killing flow on a region O the authors define a one‑parameter automorphism group αt on the local von Neumann algebra and identify its infinitesimal generator δ as a *‑derivation, which they interpret as a quantum Lie derivative. In Minkowski space this reproduces the usual Poincaré action; in curved backgrounds it yields a curved‑spacetime analogue of the Poincaré symmetry, expressed entirely within the operator algebra.

Representation theory is addressed by focusing on quasi‑free states of the Weyl algebra. The GNS construction with respect to such a state yields a concrete von Neumann algebra M that is typically of type II₁, II∞ or III₁, depending on the spacetime and state. The authors discuss recent examples: (i) type II₁ algebras for static patches of de Sitter space, where a natural entropy can be defined; (ii) type III₁ algebras appearing in JT gravity coupled to matter, where traditional entropy notions fail but can be approached via crossed‑product techniques. By forming the crossed product M⋊ℝ with respect to the modular automorphism group, the modular flow becomes inner, and a Hamiltonian-like generator emerges, facilitating the definition of thermodynamic quantities.

A further technical advance is the incorporation of non‑commutative integration theory through quantum Orlicz spaces, in particular L^{cosh⁻¹}(M). By passing to the τ‑measurable operators affiliated with the crossed product, the authors obtain a natural setting for unbounded field operators. This is crucial for formulating the semiclassical Einstein equation ⟨T_{μν}⟩ = (8πG)⁻¹ G_{μν} in a mathematically rigorous way, because the expectation value of the stress‑energy tensor involves unbounded operators that must be handled within a well‑defined functional analytic framework.

Overall, the paper demonstrates that von Neumann algebras, equipped with their standard form, provide a uniquely suitable foundation for AQFT on curved spacetimes. They resolve the Hilbert‑space ambiguity, support a locally covariant categorical structure, admit a natural description of quantum symmetries via lifted Killing flows, accommodate physically relevant representations (including type II and III factors), and, through crossed products and Orlicz space techniques, allow a controlled treatment of unbounded observables necessary for coupling quantum fields to gravity. The work thus opens a clear pathway toward a mathematically robust quantum field theory that can be consistently coupled to semiclassical gravity.