Off-Shell Commutativity Theorem in QFT

• The Off-Shell Commutativity Theorem defines microcausality for interacting quantum fields by using off-shell functionals and a deformation quantization approach, without relying on classical field equations.
• It employs Epstein–Glaser induction and the Bogoliubov formula to construct time-ordered products, ensuring spacelike commutativity at every order in perturbation theory.
• The framework's robustness is guaranteed by the Stückelberg–Petermann renormalization group, making microcausality invariant under renormalization and consistent in the classical limit.

The Off-Shell Commutativity Theorem establishes microcausality for interacting quantum fields constructed perturbatively from off-shell functionals, within a rigorous algebraic framework that does not require fields to satisfy their classical equations of motion. In the approach detailed by Dütsch, off-shell fields are treated as functionals on smooth configurations over Minkowski space, quantized via a deformation (star) product $\star_{\hbar}$ implemented by a two-point function $H_m$. The interacting fields, generated by the Bogoliubov formula from the axiomatically constructed time-ordered products $T_n$, exhibit spacelike commutativity at all orders in $\hbar$ and coupling—even without imposing the field equations or performing the adiabatic limit (Duetsch, 2023).

1. Precise Formulation of the Off-Shell Commutativity Theorem

Let $\M = \mathbb{R}^d$ be $d$-dimensional Minkowski space, $\F$ the algebra of off-shell local functionals, and $g \in \mathcal{D}(\M)$ an adiabatic switching function. The $\star_{\hbar}$-product is defined as

$$F\star_{\hbar}G = \sum_{n=0}^{\infty} \frac{\hbar^n}{n!} \int \left( \prod_{i=1}^{n} dx_i\,dy_i \right) \frac{\delta^n F}{\delta\phi(x_1)\cdots\delta\phi(x_n)} H_m(x_1-y_1)\cdots H_m(x_n-y_n) \frac{\delta^n G}{\delta\phi(y_1)\cdots\delta\phi(y_n)} .$$

The interacting field $F_{S[g]}$ associated to $F \in \F_{\rm loc}$ is

$$F_{S[g]} = \sum_{n=0}^{\infty} \frac{\hbar^n}{n!} \frac{d^n}{d\lambda^n}\left( S[g]^{-1} \star_{\hbar} S[g + \lambda F] \right)\Big|_{\lambda = 0} .$$

The star-commutator is

$$[ F_{S[g]}, G_{S[g]} ]_{\star_{\hbar}} := F_{S[g]}\star_{\hbar} G_{S[g]} - G_{S[g]}\star_{\hbar} F_{S[g]} .$$

Theorem: For $F,G \in \F_{\rm loc}$, if $$\operatorname{supp}F \cap (\operatorname{supp}G + V) = \emptyset$$, equivalently $(x - y)^2 < 0$ for all $$(x,y) \in \operatorname{supp}F \times \operatorname{supp}G$$, then

$[ F_{S[g]}, G_{S[g]} ]_{\star_{\hbar}} = 0 \qquad \text{in } \F[[\hbar]] .$

That is, interacting off-shell fields commute (with respect to $\star_{\hbar}$) at spacelike separation.

2. Axioms Invoked in the Formulation

The time-ordered products $T_n$ are maps

$T_n : \underbrace{\F_{\rm loc} \times \cdots \times \F_{\rm loc}}_{n} \longrightarrow \mathcal{D}'(\M^n, \F)$

and are subject to:

• Linearity: $T_n$ is linear in each argument.
• Initial condition: $T_1(F) = F$ for all $F \in \F_{\rm loc}$.
• Symmetry: Invariance under permutations of arguments.
• Causality (Factorization): For $$\{x_1,\dots,x_k\} \cap (\{x_{k+1},\dots,x_n\} + V_-) = \emptyset$$,

$$T_n(F_1(x_1), \dots, F_n(x_n)) = T_k(F_1(x_1), \dots, F_k(x_k)) \star_{\hbar} T_{n-k}(F_{k+1}(x_{k+1}), \dots, F_n(x_n))$$

• Field-independence (Causal Wick expansion): Functional derivatives produce Wick expansions.
• Unitarity & Field-parity: $S[g]^* = S[g]^{-1}$; parity under $\phi \mapsto -\phi$.
• Poincaré covariance: Covariant transformation under the connected Poincaré group.
• Off-shell field equation: Encodes validity of the free equation inside $T_n$.
• Smoothness in mass $m \ge 0$: Vacuum expectation values depend smoothly on $m$.
• Scaling (Almost homogeneous): Distributions scale almost homogeneously under $(x_i,m) \mapsto (p x_i, m/p)$.
• $\hbar$–dependence: Power counting in $\hbar$ matches total degree.

These axioms ensure locality, existence, uniqueness modulo the Stückelberg–Petermann renormalization group, and full support properties.

3. Inductive Proof via Epstein–Glaser Construction and Deformation Quantization

The proof synthesizes two principal methodologies:

(A) Deformation Quantization of Free Theory

The pointwise product in $(\F,\cdot)$ is deformed by $H_m$ into $\star_{\hbar}$, where the antisymmetric part delivers the commutator function $\Delta_m$: $$[ \phi(x), \phi(y) ]_{\star_{\hbar}} = i\hbar\,\Delta_m(x-y)$$ This vanishes for spacelike $x-y$, implementing spacelike commutativity already at the free off-shell level.

(B) Epstein–Glaser Induction

Assuming $T_k$ are constructed for $k<n$, causality and symmetry uniquely determine $T_n$ off the thin diagonal $x_1 = \cdots = x_n$ via the factorization axiom. Extension across the diagonal (the renormalization step) is managed by scaling degree (Thm 4.4) and almost homogeneous scaling (Prop 4.5). The causal Wick expansion (Eq. 4.8) expresses $T_n$ via partitions and vacuum expectation values, which are extended in the distributional sense by EG techniques.

The Bogoliubov map is constructed as

$$F_{S[g]} = S[g]^{-1} \star_{\hbar} \frac{d}{d\lambda} S[g + \lambda F] \Big|_{\lambda = 0}$$

Two properties follow:

• Causality (Eq. 4.39): If $$\operatorname{supp}G \cap (\operatorname{supp}F + V) = \emptyset$$, then $F_{S[g+G]} = F_{S[g]}$.
• GLZ-relation (Eq. 4.40): $$i\hbar [ G_{S[g]}, F_{S[g]} ]_{\star_{\hbar}} = \frac{d}{d\lambda} \left( F_{S[g+\lambda G]} - G_{S[g+\lambda F]} \right) \Big|_{\lambda = 0}$$ In combination, these yield

$$[ G_{S[g]}, F_{S[g]} ]_{\star_{\hbar}} = 0 \quad \text{whenever } \operatorname{supp}F \cap (\operatorname{supp}G + V) = \emptyset$$

i.e., the theorem.

4. Role within the Bogoliubov Formula and Stückelberg–Petermann Renormalization Group

The Bogoliubov formula (Eq. 4.38)

$$F_{S[g]} = \sum_{n=0}^{\infty} \frac{\hbar^n}{n!} \frac{d^n}{d\lambda^n} S[g]^{-1} \star_{\hbar} S[g + \lambda F] \Big|_{\lambda=0}$$

abstractly reconstructs the interacting fields from $T_n$. The Off-Shell Commutativity Theorem is a direct consequence of the causality axiom for $T_n$ combined with the GLZ relation.

The Stückelberg–Petermann renormalization group $R$ (Def. 4.8) acts on $\F_{\rm loc}[[\hbar]]$ by redefinitions $Z$ such that $S_2[g] = S_1[g] \circ Z$ yields valid S-matrices. The main theorem (Thm 4.9) asserts all solutions of the axioms are related by such a $Z$, and that off-shell causality and commutativity are invariant under the RG orbit—guaranteeing scheme independence of microcausality.

Object	Definition / Property	Section / Equation
$T_n$	Time-ordered $n$-product	Sect. 4.1
$\star_{\hbar}$	Deformation quantization	Eq. (3.1)
$S[g]$	S-matrix with switching	Eq. (4.36)
GLZ relation	Commutator vs parameter shifts	Eq. (4.40)
RG map $Z$	Stückelberg–Petermann group	Def. 4.8, Thm 4.9

5. Physical and Mathematical Consequences

• Locality / Microcausality: Off-shell commutativity ensures the Haag–Kastler microcausality axiom for the net $\O \mapsto \A_{\rm int}(\O)$ of local algebras, independent of the field equations—a cornerstone of algebraic QFT.
• Consistency of Perturbation Theory: Every step of the Epstein–Glaser construction preserves spacelike commutativity; thus, causality is never violated at any finite order of $\hbar$ or the coupling expansion.
• Classical Limit: As $\hbar \to 0$, the $\star_{\hbar}$-commutator reduces to $i\hbar$ times the Poisson bracket of the classical off-shell theory; off-shell commutativity yields $\{G,F\}=0$ for disjoint supports, manifesting classical microcausality.
• Renormalization-Group Invariance: The RG orbit preserves spacelike commutativity, making microcausality scheme-independent and robust under allowed redefinitions.

A plausible implication is that such a framework fully incorporates both algebraic locality and causal structure at the level of functionals, even prior to any imposition of on-shell constraints or completion of the perturbative series.