Time-Ordered Products and the Renormalized Stress Tensor

Locally covariant time-ordered products are constructed off the total diagonal by causal factorization and extended onto it by a curvature expansion and scaling-degree bounds. The same local framework defines the scalar stress tensor by point splitting, but conservation and the field equation impose additional normalization conditions; finite conserved curvature tensors remain.

Required background. Local covariant Wick powers and operator products supplies composite fields; time-ordered products, causal Wick expansion, and renormalization supplies causal induction.

Helpful background. Perturbative agreement and background independence supplies normalization identities; stress–energy response and background variation gives the metric derivative; interacting correlators and curved-space time-ordered products and stress bi-tensors and noise-kernel input supply applications.

Causal extension to coincident points

Away from the total diagonal, causal factorization determines an $n$-fold time-ordered product from lower orders. Its numerical distribution has a microlocal spectrum bound compatible with multiplying the local Wick expansion. Renormalization is the extension of this distribution across the diagonal, not the introduction of a momentum cutoff.

Hollands and Wald expand the off-diagonal distribution near a base point as a finite sum

$$t^0(x,y)=\sum_{j=0}^{N}C_j(x)\,u_j(y)+r_N(x,y),$$

where $C_j$ are local curvature polynomials, $u_j$ are Lorentz-invariant Minkowski distributions, and the remainder has arbitrarily low scaling degree as $N$ increases. Extend each $u_j$ at the origin using ordinary distribution extension; the sufficiently low-degree remainder extends uniquely. Smooth and analytic dependence plus microlocal estimates show that the result is local and covariant. The scaling expansion and extension mechanism are Hollands and Wald 2002, Theorem 4.1 and §4.2, pp. 18–31.

The conclusion is existence of time-ordered products satisfying causal factorization, covariance, scaling, microlocal regularity, and the stated field relations. Different extensions differ by distributions supported on the diagonal with local curvature coefficients. It is a formal perturbative construction, not a convergent interacting state.

Scaling degree explains where uniqueness ends. In relative coordinates transverse to a diagonal of codimension $d$, a distribution of scaling degree smaller than $d$ has a unique extension with the same scaling degree. At scaling degree at least $d$, two extensions can differ by finitely many derivatives of a delta distribution, their order bounded by the degree of divergence. Covariance promotes the numerical coefficients of those delta terms to local curvature polynomials. Thus the extension theorem gives both existence and a finite ambiguity at each perturbative order; causal factorization then makes the extensions on intersecting partial diagonals compatible.

The nonminimally coupled scalar stress tensor

For $P=\Box+m^2+\xi R$, let $D_{ab}(x,y)$ be the bidifferential operator obtained by point splitting the classical stress tensor. In a Hadamard state define schematically

$$\langle T_{ab}(x)\rangle_\omega= \lim_{y\to x}D_{ab}(x,y)[\omega_2(x,y)-H(x,y)] +Q_{ab}(x).$$

The smooth difference makes the limit finite. The local geometric term $Q_{ab}$ is chosen so the result has the prescribed field-equation normalization and $\nabla^aT_{ab}=0$. In four dimensions the residual state-independent conserved ambiguity is a linear combination of

$$m^4g_{ab},\qquad m^2G_{ab},\qquad I_{ab},\qquad J_{ab},$$

where $I_{ab}$ and $J_{ab}$ are metric variations of curvature-squared actions (with equivalent bases related by the four-dimensional Euler identity). The coefficients require renormalization conditions. The conservation conditions can be imposed consistently for scalar interactions in dimension greater than two; Hollands and Wald 2005, §§3–5.

This construction provides the theorem layer for renormalized stress tensor: axioms and curvature ambiguities. Computing a value in a particular state and geometry remains a separate physical calculation.

An independent check uses Minkowski vacuum with the flat-space normalization: $R_{abcd}=0$, the subtracted two-point function vanishes, and the chosen cosmological term sets $\langle T_{ab}\rangle=0$. Conservation follows trivially. In curved space, varying a local diffeomorphism-invariant action gives an identically conserved ambiguity, confirming the allowed tensor basis.

Adversarial flat subtraction on curved spacetime

Subtract only the Minkowski vacuum singularity in arbitrary coordinates on a curved background. The mismatch with the local Hadamard coefficients contains curvature-dependent singular terms. After applying $D_{ab}$ and taking coincidence, a geometric remainder is divergent or its finite part depends on the chart; omitting the required $Q_{ab}$ can also leave a nonzero covariant divergence. Flat normal ordering therefore fails local covariance and generally conservation.

The converse boundary is strict. Conservation, covariance, and dimension do not select the finite coefficients or prove semiclassical Einstein-equation existence. Likewise, a valid point-split one-point function does not automatically define all stress-tensor time-ordered products or the noise kernel.

Exercises

1. Conserved ambiguity. Why is the metric variation of $\int R^2d\mathrm{vol}$ covariantly conserved?

Solution

The action is diffeomorphism invariant. Varying it under an infinitesimal diffeomorphism and integrating by parts yields the Noether identity that the divergence of its metric Euler–Lagrange tensor vanishes identically.

2. State difference. Show why $\langle T_{ab}\rangle_\omega-\langle T_{ab}\rangle_{\omega'}$ has no geometric ambiguity when the same prescription is used.

Solution

The common parametrix and $Q_{ab}$ cancel. The difference is the coincidence limit of $D_{ab}(\omega_2-\omega'_2)$, and the two-point difference is smooth for Hadamard states.

References

• Hollands, Stefan, and Robert M. Wald. “Conservation of the Stress Tensor in Perturbative Interacting Quantum Field Theory in Curved Spacetimes.” Reviews in Mathematical Physics 17 (2005): 227–312. DOI. Open PDF.
• Hollands, Stefan, and Robert M. Wald. “Existence of Local Covariant Time Ordered Products of Quantum Fields in Curved Spacetime.” Communications in Mathematical Physics 231 (2002): 309–345. DOI. Open PDF.
• Moretti, Valter. “Comments on the Stress-Energy Tensor Operator in Curved Spacetime.” Communications in Mathematical Physics 232 (2003): 189–221. DOI. Open PDF.