Abstract
The question of what it means for a theory to describe the same physics on all spacetimes (SPASs) is discussed. As there may be many answers to this question, we isolate a necessary condition, the SPASs property, that should be satisfied by any reasonable notion of SPASs. This requires that if two theories conform to a common notion of SPASs, with one a subtheory of the other, and are isomorphic in some particular spacetime, then they should be isomorphic in all globally hyperbolic spacetimes (of given dimension). The SPASs property is formulated in a functorial setting broad enough to describe general physical theories describing processes in spacetime, subject to very minimal assumptions. By explicit constructions, the full class of locally covariant theories is shown not to satisfy the SPASs property, establishing that there is no notion of SPASs encompassing all such theories. It is also shown that all locally covariant theories obeying the time-slice property possess two local substructures, one kinematical (obtained directly from the functorial structure) and the other dynamical (obtained from a natural form of dynamics, termed relative Cauchy evolution). The covariance properties of relative Cauchy evolution and the kinematic and dynamical substructures are analyzed in detail. Calling local covariant theories dynamically local if their kinematical and dynamical local substructures coincide, it is shown that the class of dynamically local theories fulfills the SPASs property. As an application in quantum field theory, we give a model independent proof of the impossibility of making a covariant choice of preferred state in all spacetimes, for theories obeying dynamical locality together with typical assumptions.
Article PDF
Similar content being viewed by others
References
Adámek J., Herrlich H., Strecker G.E.: Abstract and concrete categories: the joy of cats. Repr. Theory Appl. Categ. pp. 1–507. Wiley, New York (2006, reprint of the 1990 original)
Beem J.K., Ehrlich P.E., Easley K.L.: Global Lorentzian geometry. Monographs and Textbooks in Pure and Applied Mathematics, vol. 202, 2nd edn. Marcel Dekker, New York (1996)
Bernal A.N., Sánchez M.: On smooth Cauchy hypersurfaces and Geroch’s splitting theorem. Commun. Math. Phys. 243, 461–470 (2003)
Bernal A.N., Sánchez M.: Smoothness of time functions and the metric splitting of globally hyperbolic spacetimes. Commun. Math. Phys. 257, 43–50 (2005) gr-qc/0401112
Bernal A.N., Sánchez M.: Further results on the smoothability of Cauchy hypersurfaces and Cauchy time functions. Lett. Math. Phys. 77, 183–197 (2006) gr-qc/0512095
Bernal A.N., Sánchez M.:: Globally hyperbolic spacetimes can be defined as causal instead of strongly causal. Class. Quantum Gravity 24, 745–750 (2007) gr-qc/0611138
Brunetti R., Fredenhagen K.: Microlocal analysis and interacting quantum field theories: Renormalization on physical backgrounds. Commun. Math. Phys. 208, 623–661 (2000)
Brunetti R., Fredenhagen K.: Quantum field theory on curved backgrounds. In: Quantum Field Theory on Curved Spacetimes, Lecture Notes in Physics, vol. 786, pp. 129–155. Springer, Berlin (2009)
Brunetti R., Fredenhagen K., Verch R.: The generally covariant locality principle: a new paradigm for local quantum physics. Commun. Math. Phys. 237, 31–68 (2003)
Brunetti R., Guido D., Longo R.: Modular localization and Wigner particles. Rev. Math. Phys. 14, 759–785 (2002)
Brunetti R., Ruzzi G.: Superselection sectors and general covariance. I. Commun. Math. Phys. 270, 69–108 (2007)
Brunetti R., Ruzzi G.: Quantum charges and spacetime topology: the emergence of new superselection sectors. Commun. Math. Phys. 287, 523–563 (2009)
Buchholz D., Dreyer O., Florig M., Summers S.J.: Geometric modular action and spacetime symmetry groups. Rev. Math. Phys. 12, 475–560 (2000)
Buchholz D., Lechner G.: Modular nuclearity and localization. Ann. Henri Poincaré 5, 1065–1080 (2004)
Buchholz D., Mund J., Summers S.J.: Covariant and quasi-covariant quantum dynamics in Robertson–Walker spacetimes. Class. Quantum Gravity 19, 6417–6434 (2002)
Budic R., Isenberg J., Lindblom L., Yasskin P.B.: On the determination of Cauchy surfaces from intrinsic properties. Commun. Math. Phys. 61, 87–95 (1978)
Connes A., Rovelli C.: von Neumann algebra automorphisms and time-thermodynamics relation in generally covariant quantum theories. Class. Quantum Gravity 11, 2899–2917 (1994)
Dappiaggi C., Fredenhagen K., Pinamonti N.: Stable cosmological models driven by a free quantum scalar field. Phys. Rev. D 77, 104015 (2008)
Dappiaggi C., Hack T.P., Pinamonti N.: The extended algebra of observables for Dirac fields and the trace anomaly of their stress–energy tensor. Rev. Math. Phys. 21, 1241–1312 (2009)
Degner A., Verch R.: Cosmological particle creation in states of low energy. J. Math. Phys. 51, 022302 (2010)
Dikranjan D., Tholen W.: Categorical structure of closure operators. In: Mathematics and its Applications, vol. 346. Kluwer, Dordrecht (1995)
Dimock J.: Algebras of local observables on a manifold. Commun. Math. Phys. 77, 219–228 (1980)
Ferguson M.: Dynamical locality of the nonminimally coupled scalar field and enlarged algebra of Wick polynomials (2012). arXiv:1203.2151
Fewster C.J.: Quantum energy inequalities and local covariance. II. Categorical formulation. Gen. Relativ. Gravit. 39, 1855–1890 (2007)
Fewster C.J.: On the notion of ‘the same physics in all spacetimes’. In: Finster, F., Müller O., Nardmann M., Tolksdorf J., Zeidler E. (eds.) Quantum Field Theory and Gravity. Conceptual and Mathematical Advances in the Search for a Unified Framework. Birkhäuser, Basel (2012). ArXiv:1105.6202
Fewster C.J.: Endomorphisms and automorphisms of locally covariant quantum field theories. ArXiv:1201.3295
Fewster C.J., Pfenning M.J.: Quantum energy inequalities and local covariance. I: globally hyperbolic spacetimes. J. Math. Phys. 47, 082303 (2006)
Fewster C.J., Verch R.: Dynamical locality of the free scalar field. Ann. H. Poincaré. ArXiv:1109.6732 (2012, to appear)
Fulling S.A., Narcowich F.J., Wald R.M.: Singularity structure of the two-point function in quantum field theory in curved spacetime. II. Ann. Phys. 136, 243–272 (1981)
Haag R.: Local Quantum Physics: Fields, Particles, Algebras. Springer, Berlin (1992)
Hawking S.W., Ellis G.F.R.: The Large Scale Structure of Space-Time. Cambridge University Press, London (1973)
Hollands S., Wald R.M.: Local Wick polynomials and time ordered products of quantum fields in curved spacetime. Commun. Math. Phys. 223, 289–326 (2001)
Hollands S., Wald R.M.: Existence of local covariant time ordered products of quantum fields in curved spacetime. Commun. Math. Phys. 231, 309–345 (2002)
Kay B.S.: Linear spin-zero quantum fields in external gravitational and scalar fields. I. a one particle structure for the stationary case. Commun. Math. Phys. 62, 55–70 (1978)
Kay B.S.: Casimir effect in quantum field theory. Phys. Rev. D 20, 3052–3062 (1979)
Kay B.S.: The principle of locality and quantum field theory on (non-globally hyperbolic) curved spacetimes. Rev. Math. Phys. 4(Special Issue 1), 167–195 (1992)
Kuckert B.: Localization regions of local observables. Commun. Math. Phys. 215, 197–216 (2000)
Landau L.J.: A note on extended locality. Commun. Math. Phys. 13, 246–253 (1969)
Landau L.J.: On local functions of fields. Commun. Math. Phys. 39, 49–62 (1974)
Lee J.M.: Introduction to smooth manifolds. In: Graduate Texts in Mathematics, vol. 218. Springer, New York (2003)
MacLane S.: Categories for the Working Mathematician. 2nd edn. Springer, New York (1998)
Müllner D.: Orientation reversal of manifolds. Algebr. Geom. Topol. 9, 2361–2390 (2009)
Nomizu K., Ozeki H.: The existence of complete Riemannian metrics. Proc. Am. Math. Soc. 12, 889–891 (1961)
O’Neill B.: Semi-Riemannian Geometry. Academic Press, New York (1983)
Penrose R.: Techniques of differential topology in relativity. Society for Industrial and Applied Mathematics, Philadelphia, PA. Conference Board of the Mathematical Sciences Regional Conference Series in Applied Mathematics, No. 7 (1972)
Ruzzi G.: Homotopy of posets, net-cohomology and superselection sectors in globally hyperbolic space-times. Rev. Math. Phys. 17, 1021–1070 (2005)
Sanders K.: On the Reeh–Schlieder property in curved spacetime. Commun. Math. Phys. 288, 271–285 (2009)
Sanders K.: The locally covariant Dirac field. Rev. Math. Phys. 22, 381–430 (2010)
Schoch A.: On the simplicity of Haag fields. Int. J. Theor. Phys. 1, 107–113 (1968)
Verch R.: A spin-statistics theorem for quantum fields on curved spacetime manifolds in a generally covariant framework. Commun. Math. Phys. 223, 261–288 (2001)
Verch R.: Local covariance, renormalization ambiguity, and local thermal equilibrium in cosmology. In: Finster F., Müller O., Nardmann M., Tolksdorf J., Zeidler E. (eds.) Quantum Field Theory and Gravity. Conceptual and Mathematical Advances in the Search for a Unified Framework. Birkhäuser, Basel (2012). ArXiv:1105.6249
Wald R.M.: General Relativity. University of Chicago Press, Chicago (1984)
Wiesbrock H.W.: Modular intersections of von Neumann algebras in quantum field theory. Commun. Math. Phys. 193, 269–285 (1998)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Klaus Fredenhagen.
Rights and permissions
About this article
Cite this article
Fewster, C.J., Verch, R. Dynamical Locality and Covariance: What Makes a Physical Theory the Same in all Spacetimes?. Ann. Henri Poincaré 13, 1613–1674 (2012). https://doi.org/10.1007/s00023-012-0165-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023-012-0165-0