pith. sign in

arxiv: 2508.00487 · v3 · submitted 2025-08-01 · 🧮 math-ph · hep-th· math.AP· math.MP

An analytic approach to the stress energy tensor in quantum field theory

Alexander Strohmaier This is my paper

Pith reviewed 2026-05-19 01:46 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.APmath.MP
keywords stress-energy tensorquantum field theorycurved spacetimeKlein-Gordon fieldHadamard stateFock representationscattering matrixmicrolocal analysis
0
0 comments X

The pith

A local stress-energy tensor realized as a connection one-form on the moduli space of metrics implies the local time-slice property and implementability of isometries.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper sets up quantum fields on curved spacetimes by treating the stress-energy tensor as a connection one-form on a moduli space of metrics. This construction is intended to play the role that global symmetries play in flat-space theories. When the tensor exists and is a local field, the algebra of observables on any time slice generates the full field algebra, and any local isometry extends to a unitary operator on the Hilbert space. The Klein-Gordon field in an irreducible Fock representation coming from a quasifree Hadamard state provides an explicit case where these properties hold. In the same setting the scattering operator for a compactly supported metric perturbation is shown to exist in the Fock space and to depend smoothly on the size of the perturbation.

Core claim

It is shown that the local time-slice property and the implementability of local isometries are consequences of the existence of a stress energy tensor that is a local field. We prove that the Klein-Gordon field, in an irreducible Fock representation determined by a quasifree Hadamard state, is an example. In this example we show that the scattering matrix for compactly supported metric perturbations exists in the Fock space and is smooth on a dense set with respect to the perturbation parameter.

What carries the argument

The stress-energy tensor realized as a connection one-form on the moduli space of metrics, which encodes the response of the field to infinitesimal metric changes while preserving covariance and conservation.

If this is right

  • The local time-slice property holds, so the field algebra restricted to any time slice generates the full algebra.
  • Local isometries of the background are implemented by unitary operators on the Hilbert space.
  • The scattering matrix for any compactly supported metric perturbation exists as a unitary operator in the Fock space.
  • The scattering matrix depends smoothly on the perturbation parameter on a dense subspace.
  • Parameter-dependent fundamental solutions satisfy precise microlocal regularity conditions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same geometric construction could supply a notion of dynamics on spacetimes that lack global Killing fields.
  • Smooth dependence on metric perturbations opens the possibility of a perturbative expansion around a fixed background geometry.
  • The framework supplies an explicit bridge between the algebraic formulation of quantum field theory and the geometric response to gravitational variations.

Load-bearing premise

A stress-energy tensor can be consistently defined as a local operator that acts as a connection one-form on the space of metrics and obeys the required covariance and conservation laws.

What would settle it

Exhibiting a quasifree Hadamard state for the Klein-Gordon field on a curved spacetime such that the associated stress-energy tensor is not local or such that a compactly supported metric perturbation produces a scattering operator that fails to be smooth in the Fock representation.

Figures

Figures reproduced from arXiv: 2508.00487 by Alexander Strohmaier.

Figure 1
Figure 1. Figure 1: Illustration of the proof of Lemma 7 (a) Z is either zero or past-directed timelike. (b) ϕs0 (J − (U) ∩ D+ (Σ)) ⊂ O. (c) there exists a temporal function t ∶ M → R for both metrics ϕ ∗ s0 g and g. (d) there exists a vector field that is timelike for both metrics ϕ ∗ s0 g and g. We then define the diffeomorphism ϕ as ϕ = ϕs0 . By construction the metric ˜g = (ϕ −1 ) ∗ g equals to g outside the support of Z.… view at source ↗
Figure 2
Figure 2. Figure 2: Illustration of the proof of Theorem 8 Hilbert space. There are essentially two problems with such a formula. The first is that the Cauchy surface may be non-compact and the integral may not make sense even as a quadratic form on a large enough set of vectors. The second problem is that the restriction of the operator distributional current Tg(Z) may not have a well defined restriction to the Cauchy hypers… view at source ↗
Figure 3
Figure 3. Figure 3: The sets O,U,W and the cover U±,U0,W. In case U is considerably larger than O we can also choose W larger. Furthermore, in case the Killing field is globally defined and M is spatially compact then the set U0 might be empty. Using a suitable cutoff function that equals one near W we can now modify the Killing field Z to a vector field Z˜ that is compactly supported in U and equals to Z near W. We denote by… view at source ↗
read the original abstract

We discuss a framework for quantum fields in curved spacetimes that possess a stress energy tensor as a connection one form on a suitable moduli space of metrics. In generic spacetimes the existence of such a tensor is thought to be a replacement for the existence of symmetries that the Minkowski theory relies on. It is shown that the local time-slice property and the implementability of local isometries are consequences of the existence of a stress energy tensor that is a local field. We prove that the Klein-Gordon field, in an irreducible Fock representation determined by a quasifree Hadamard state, is an example. In this example we show that the scattering matrix for compactly supported metric perturbations exists in the Fock space and is smooth on a dense set with respect to the perturbation parameter. This generalises results by Dimock and Wald. As a tool we also establish the precise microlocal properties of parameter dependent fundamental solutions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper develops a framework in which a quantum field in curved spacetime possesses a stress-energy tensor realized as a connection one-form on the moduli space of metrics. It proves that the existence of such a local stress-energy tensor implies the local time-slice property and the implementability of local isometries. The Klein-Gordon field in an irreducible Fock representation determined by a quasifree Hadamard state is shown to be an example; in this case the scattering matrix for compactly supported metric perturbations exists in Fock space and is smooth on a dense set with respect to the perturbation parameter. The work generalizes results of Dimock and Wald and includes a technical result on the microlocal properties of parameter-dependent fundamental solutions.

Significance. If the central claims are established, the manuscript supplies an analytic route to the stress-energy tensor that replaces reliance on global symmetries with a geometric connection-form construction, yielding concrete consequences for time-slice and isometry implementation. The explicit verification for the Klein-Gordon field together with the smoothness statement for the scattering matrix extends prior work in a falsifiable direction. The precise microlocal analysis of parameter-dependent propagators is a reusable technical contribution that strengthens the example.

major comments (1)
  1. [KG example section (around the construction following the general theorem)] The central implication (local time-slice property and isometry implementability) rests on the stress-energy tensor being realized as a connection one-form. In the Klein-Gordon example, the manuscript must therefore demonstrate that the renormalized stress-energy tensor (via point-splitting or Hadamard parametrix) satisfies δ_g T_μν = connection form exactly, without residual non-local terms or renormalization ambiguities that would violate locality on the dense set of compactly supported perturbations. Explicit verification or error estimates for this matching are required to confirm that the example instantiates the hypothesis.
minor comments (2)
  1. [Framework section] Notation for the moduli space of metrics and the precise definition of the connection one-form should be introduced with an explicit local coordinate expression or diagram to aid readability.
  2. [Scattering matrix paragraph] The statement that the scattering matrix is 'smooth on a dense set' would benefit from a brief clarification of the topology or Fréchet space in which differentiability is understood.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comment. We address the point raised regarding the Klein-Gordon example below.

read point-by-point responses

  1. Referee: [KG example section (around the construction following the general theorem)] The central implication (local time-slice property and isometry implementability) rests on the stress-energy tensor being realized as a connection one-form. In the Klein-Gordon example, the manuscript must therefore demonstrate that the renormalized stress-energy tensor (via point-splitting or Hadamard parametrix) satisfies δ_g T_μν = connection form exactly, without residual non-local terms or renormalization ambiguities that would violate locality on the dense set of compactly supported perturbations. Explicit verification or error estimates for this matching are required to confirm that the example instantiates the hypothesis.

    Authors: The renormalized stress-energy tensor in the Klein-Gordon example is constructed via point-splitting with the Hadamard parametrix, which is local by the definition of Hadamard states. The variation δ_g T_μν is obtained by differentiating this parametrix with respect to the metric in the moduli space. The technical result on the microlocal properties of parameter-dependent fundamental solutions ensures that all derivatives preserve the required wavefront set conditions, so that no non-local residual terms appear. Renormalization ambiguities are local (finite polynomials in the curvature and its derivatives) and do not affect the connection-form property for compactly supported perturbations. We will add an explicit paragraph in the KG example section that computes the first variation from the parametrix and cites the microlocal estimates to make the matching fully transparent. revision: yes

Circularity Check

0 steps flagged

Derivation chain is self-contained with no circular reductions

full rationale

The paper takes the existence of a stress-energy tensor realized as a local field and connection one-form on the moduli space of metrics as its central hypothesis. It then derives the local time-slice property and implementability of local isometries as consequences via analytic arguments. For the Klein-Gordon field in an irreducible Fock representation determined by a quasifree Hadamard state, the paper independently verifies that this hypothesis holds by establishing the required microlocal properties of parameter-dependent fundamental solutions and showing the scattering matrix exists and is smooth. These steps rely on standard constructions of Hadamard states and point-splitting renormalization, generalizing external results by Dimock and Wald without reducing any claimed consequence to a fitted input, self-definition, or load-bearing self-citation. The derivation remains logically independent of its conclusions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The framework rests on standard domain assumptions of quantum field theory on curved spacetimes together with a new structural postulate that the stress-energy tensor exists as a local connection one-form.

axioms (2)
  • domain assumption Quasifree Hadamard states exist and determine irreducible Fock representations for the Klein-Gordon field on generic spacetimes
    Invoked to fix the representation in which the stress-energy tensor is shown to exist as a local field.
  • standard math Microlocal regularity properties of parameter-dependent fundamental solutions can be established uniformly
    Used as the technical tool to control the scattering matrix smoothness.
invented entities (1)
  • Stress-energy tensor realized as a connection one-form on the moduli space of metrics no independent evidence
    purpose: To serve as a replacement for spacetime symmetries and to imply local time-slice and isometry implementation properties
    This is the central new object introduced by the framework; no independent falsifiable prediction outside the paper is supplied.

pith-pipeline@v0.9.0 · 5687 in / 1723 out tokens · 26251 ms · 2026-05-19T01:46:31.450844+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

50 extracted references · 50 canonical work pages

  1. [1]

    Araki, A lattice of von Neumann algebras associated with the quantum theory of a free Bose field , J

    H. Araki, A lattice of von Neumann algebras associated with the quantum theory of a free Bose field , J. Mathematical Phys. 4 (1963), 1343–1362

    work page 1963

  2. [2]

    Azagra, J

    D. Azagra, J. Ferrera, F. L´ opez-Mesas, and Y. Rangel, Smooth approximation of Lipschitz functions on Riemannian manifolds, J. Math. Anal. Appl. 326 (2007), no. 2, 1370–1378

    work page 2007

  3. [3]

    and S\'anchez, Miguel , TITLE =

    Antonio N. Bernal and Miguel S´ anchez,On smooth Cauchy hypersurfaces and Geroch’s splitting theorem , Comm. Math. Phys. 243 (2003), no. 3, 461–470, DOI 10.1007/s00220-003-0982-6. MR2029362

    work page doi:10.1007/s00220-003-0982-6 2003

  4. [4]

    , Further results on the smoothability of Cauchy hypersurfaces and Cauchy time functions , Lett. Math. Phys. 77 (2006), no. 2, 183–197

    work page 2006

  5. [5]

    Brunetti, M

    R. Brunetti, M. D¨ utsch, K. Fredenhagen, and K. Rejzner, The unitary master Ward identity: time slice axiom, Noether’s theorem and anomalies , Ann. Henri Poincar´ e24 (2023), no. 2, 469–539

    work page 2023

  6. [6]

    Brunetti, K

    R. Brunetti, K. Fredenhagen, and M. K¨ ohler, The microlocal spectrum condition and Wick polynomials of free fields on curved spacetimes , Comm. Math. Phys. 180 (1996), no. 3, 633–652

    work page 1996

  7. [7]

    Brunetti, K

    R. Brunetti, K. Fredenhagen, and R. Verch, The generally covariant locality principle—a new paradigm for local quantum field theory, Comm. Math. Phys. 237 (2003), no. 1-2, 31–68. Dedicated to Rudolf Haag

    work page 2003

  8. [8]

    Bruneau and J

    L. Bruneau and J. Derezi´ nski,Bogoliubov Hamiltonians and one-parameter groups of Bogoliubov transfor- mations, J. Math. Phys. 48 (2007), no. 2, 022101, 24

    work page 2007

  9. [9]

    Henri Poincar´ e22 (2021), no

    Detlev Buchholz and Klaus Fredenhagen, Dynamical C∗-algebras and kinetic perturbations , Ann. Henri Poincar´ e22 (2021), no. 3, 1001–1033

    work page 2021

  10. [10]

    Derezi´ nski and C

    J. Derezi´ nski and C. G´ erard,Mathematics of quantization and quantum fields , Cambridge Monographs on Mathematical Physics, Cambridge University Press, Cambridge, 2013

    work page 2013

  11. [11]

    Dimock, Scalar quantum field in an external gravitational field , J

    J. Dimock, Scalar quantum field in an external gravitational field , J. Math. Phys. 20 (1979), no. 12, 2549–2555

    work page 1979

  12. [12]

    , Algebras of local observables on a manifold , Comm. Math. Phys. 77 (1980), no. 3, 219–228

    work page 1980

  13. [13]

    , Dirac quantum fields on a manifold , Trans. Amer. Math. Soc. 269 (1982), no. 1, 133–147. 48 A. STROHMAIER

    work page 1982

  14. [14]

    J. J. Duistermaat, Fourier integral operators, Progress in Mathematics, vol. 130, Birkh¨ auser Boston, Inc., Boston, MA, 1996

    work page 1996

  15. [15]

    J. J. Duistermaat and L. H¨ ormander, Fourier integral operators. II , Acta Math. 128 (1972), no. 3-4, 183–269

    work page 1972

  16. [16]

    C. J. Fewster, On the notion of ‘the same physics in all spacetimes’ , Quantum field theory and gravity, Birkh¨ auser/Springer Basel AG, Basel, 2012, pp. 207–227

    work page 2012

  17. [17]

    Quantum Energy Inequalities

    Fewster, C. Quantum Energy Inequalities. Wormholes, Warp Drives And Energy Conditions . pp. 215-254 (2017)

    work page 2017

  18. [18]

    C. J. Fewster and R. Verch, Stability of quantum systems at three scales: passivity, quantum weak energy inequalities and the microlocal spectrum condition , Comm. Math. Phys. 240 (2003), no. 1-2, 329–375

    work page 2003

  19. [19]

    C. J. Fewster and Rainer Verch, Dynamical locality and covariance: what makes a physical theory the same in all spacetimes? , Ann. Henri Poincar´ e13 (2012), no. 7, 1613–1674

    work page 2012

  20. [20]

    Buchholz and K

    D. Buchholz and K. Fredenhagen, A C∗-algebraic approach to interacting quantum field theories , Comm. Math. Phys. 377 (2020), no. 2, 947–969

    work page 2020

  21. [21]

    S. A. Fulling, F. J. Narcowich, and Robert M. Wald, Singularity structure of the two-point function in quantum field theory in curved spacetime. II , Ann. Physics 136 (1981), no. 2, 243–272

    work page 1981

  22. [22]

    Geroch, Domain of dependence, J

    R. Geroch, Domain of dependence, J. Mathematical Phys. 11 (1970), 437–449

    work page 1970

  23. [23]

    S. W. Hawking and G. F. R. Ellis, The large scale structure of space-time , Cambridge Monographs on Mathematical Physics, vol. No. 1, Cambridge University Press, London-New York, 1973

    work page 1973

  24. [24]

    Hollands and R

    S. Hollands and R. M. Wald, Local Wick polynomials and time ordered products of quantum fields in curved spacetime, Comm. Math. Phys. 223 (2001), no. 2, 289–326

    work page 2001

  25. [25]

    , Conservation of the stress tensor in perturbative interacting quantum field theory in curved space- times, Rev. Math. Phys. 17 (2005), no. 3, 227–311

    work page 2005

  26. [26]

    H¨ ormander,The analysis of linear partial differential operators

    L. H¨ ormander,The analysis of linear partial differential operators. I , Classics in Mathematics, Springer- Verlag, Berlin, 2003. Distribution theory and Fourier analysis, Reprint of the second (1990) edition

    work page 2003

  27. [27]

    IV , Classics in Mathematics, Springer-Verlag, Berlin, 2009

    , The analysis of linear partial differential operators. IV , Classics in Mathematics, Springer-Verlag, Berlin, 2009. Fourier integral operators; Reprint of the 1994 edition

    work page 2009

  28. [28]

    Hiroshima and K

    F. Hiroshima and K. R. Ito, Local exponents and infinitesimal generators of canonical transformations on Boson Fock spaces, Infin. Dimens. Anal. Quantum Probab. Relat. Top. 7 (2004), no. 4, 547–571

    work page 2004

  29. [29]

    Kato, Integration of the equation of evolution in a Banach space, J

    T. Kato, Integration of the equation of evolution in a Banach space, J. Math. Soc. Japan 5 (1953), 208–234

    work page 1953

  30. [30]

    Pure Appl

    , On linear differential equations in Banach spaces , Comm. Pure Appl. Math. 9 (1956), 479–486

    work page 1956

  31. [31]

    hyperbolic

    , Linear evolution equations of “hyperbolic” type , J. Fac. Sci. Univ. Tokyo Sect. I 17 (1970), 241– 258

    work page 1970

  32. [32]

    Moretti, S

    V. Moretti, S. Murro, and D. Volpe, Paracausal deformations of Lorentzian metrics and Møller isomor- phisms in algebraic quantum field theory , Selecta Math. (N.S.) 29 (2023), no. 4, Paper No. 56, 69

    work page 2023

  33. [33]

    A. Much, G. Passegger, and R. Verch, An approximate local modular quantum energy inequality in general quantum field theory (2022), available at https://arxiv.org/abs/2210.01145

    work page arXiv 2022

  34. [34]

    Nagel and G

    R. Nagel and G. Nickel, Well-posedness for nonautonomous abstract Cauchy problems , Evolution equa- tions, semigroups and functional analysis (Milano, 2000), Progr. Nonlinear Differential Equations Appl., vol. 50, Birkh¨ auser, Basel, 2002, pp. 279–293

    work page 2000

  35. [35]

    Neidhardt and V

    H. Neidhardt and V. A. Zagrebnov, Linear non-autonomous Cauchy problems and evolution semigroups , Adv. Differential Equations 14 (2009), no. 3-4, 289–340

    work page 2009

  36. [36]

    O’Neill, Semi-Riemannian geometry - With applications to relativity , Pure and Applied Mathematics, vol

    B. O’Neill, Semi-Riemannian geometry - With applications to relativity , Pure and Applied Mathematics, vol. 103, Academic Press, Inc., New York, 1983

    work page 1983

  37. [37]

    M. J. Radzikowski, Micro-local approach to the Hadamard condition in quantum field theory on curved space-time, Comm. Math. Phys. 179 (1996), no. 3, 529–553

    work page 1996

  38. [38]

    Reed and B

    M. Reed and B. Simon, Methods of modern mathematical physics. II. Fourier analysis, self-adjointness , Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1975. MR0493420

    work page 1975

  39. [39]

    S. N. M. Ruijsenaars, On Bogoliubov transformations for systems of relativistic charged particles, J. Math- ematical Phys. 18 (1977), no. 3, 517–526

    work page 1977

  40. [40]

    , On Bogoliubov transformations. II. The general case , Ann. Physics 116 (1978), no. 1, 105–134

    work page 1978

  41. [41]

    Kontou and K

    E.-A. Kontou and K. Sanders, Energy conditions in general relativity and quantum field theory , Classical Quantum Gravity 37 (2020), no. 19, 193001, 63

    work page 2020

  42. [42]

    Shale, Linear symmetries of free boson fields , Trans

    D. Shale, Linear symmetries of free boson fields , Trans. Amer. Math. Soc. 103 (1962), 149–167. STRESS ENERGY TENSOR IN QFT 49

    work page 1962

  43. [43]

    Strohmaier, R

    A. Strohmaier, R. Verch, and M. Wollenberg, Microlocal analysis of quantum fields on curved space-times: analytic wave front sets and Reeh-Schlieder theorems , J. Math. Phys. 43 (2002), no. 11, 5514–5530

    work page 2002

  44. [44]

    Strohmaier and S

    A. Strohmaier and S. Zelditch, A Gutzwiller trace formula for stationary space-times , Adv. Math. 376 (2021), Paper No. 107434, 53

    work page 2021

  45. [45]

    Verch, Local definiteness, primarity and quasiequivalence of quasifree Hadamard quantum states in curved spacetime, Comm

    R. Verch, Local definiteness, primarity and quasiequivalence of quasifree Hadamard quantum states in curved spacetime, Comm. Math. Phys. 160 (1994), no. 3, 507–536

    work page 1994

  46. [46]

    , The averaged null energy condition for general quantum field theories in two dimensions , J. Math. Phys. 41 (2000), no. 1, 206–217

    work page 2000

  47. [47]

    R. M. Wald, The back reaction effect in particle creation in curved spacetime , Comm. Math. Phys. 54 (1977), no. 1, 1–19

    work page 1977

  48. [48]

    Physics 118 (1979), no

    , Existence of the S-matrix in quantum field theory in curved space-time , Ann. Physics 118 (1979), no. 2, 490–510

    work page 1979

  49. [49]

    , On particle creation by black holes , Comm. Math. Phys. 45 (1975), no. 1, 9–34. MR0391814

    work page 1975

  50. [50]

    Leibniz University Hannover, Institute of Analysis, 30167 Hannover, Germany Email address: a.strohmaier@math.uni-hannover.de

    , Quantum field theory in curved spacetime and black hole thermodynamics , Chicago Lectures in Physics, University of Chicago Press, Chicago, IL, 1994. Leibniz University Hannover, Institute of Analysis, 30167 Hannover, Germany Email address: a.strohmaier@math.uni-hannover.de

    work page 1994