The generally covariant locality principle -- A new paradigm for local quantum physics
Romeo Brunetti, Klaus Fredenhagen, Rainer Verch

TL;DR
This paper introduces a new, mathematically rigorous framework for quantum field theories that incorporates general covariance locally, unifying and extending existing algebraic approaches with a focus on background independence and dynamical spacetime changes.
Contribution
It develops the concept of locally covariant quantum field theories using category theory, connecting spacetime geometry with algebraic structures, and introduces tools to analyze dynamical responses to metric changes.
Findings
Framework unifies algebraic QFT with general covariance
Automorphic actions describe quantum field dynamics under spacetime changes
Energy-momentum tensor arises as a divergence-free functional derivative
Abstract
A new approach to the model-independent description of quantum field theories will be introduced in the present work. The main feature of this new approach is to incorporate in a local sense the principle of general covariance of general relativity, thus giving rise to the concept of a "locally covariant quantum field theory". Such locally covariant quantum field theories will be described mathematically in terms of covariant functors between the categories, on one side, of globally hyperbolic spacetimes with isometric embeddings as morphisms and, on the other side, of *-algebras with unital injective *-endomorphisms as morphisms. Moreover, locally covariant quantum fields can be described in this framework as natural transformations between certain functors. The usual Haag-Kastler framework of nets of operator-algebras over a fixed spacetime background-manifold, together with covariant…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
