Causal Factorization and Time-Ordered Products

Causal factorization determines a local perturbative $S$ -matrix away from coincident configurations: if one interaction is entirely later than another, the combined formal $S$ -matrix is their time-ordered product. Its Taylor coefficients are multilinear time-ordered products, fixed off the diagonals by lower orders. Extension to coincident points is the renormalization problem. Every statement here is coefficientwise in formal powers of the coupling and $\hbar$ ; no convergence radius or nonperturbative interacting representation is asserted.

Required background. Haag–Kastler locality supplies causal commutation, and domains, signatures, supports, and regularity fixes the distributional and support conventions. Helpful background. Wightman fields and common domains provide the free-field comparison, locally covariant nets and fields provide covariance, and local $S$ -matrices in curved spacetime develop the physical application.

Local $S$ -matrices and causal order

Let $\mathfrak F_{\mathrm{loc}}$ be compactly supported local functionals on a globally hyperbolic spacetime and let $\star$ be the free quantum product on microcausal functionals. A local $S$ -matrix is a formal analytic map

S(F)=1+\sum_{n\geq1}\frac1{n!} \left(\frac{i}{\hbar}\right)^nT_n(F^{\otimes n}),

with $T_0=1$ and $T_1(F)=F$ . Say that $F$ is later than $H$ when no point of $\operatorname{supp}F$ lies in the causal past of $\operatorname{supp}H$ . The causal axiom is

S(F+G+H)=S(F+G)\star S(G)^{-1}\star S(G+H)

whenever $F$ is later than $H$ . Setting $G=0$ gives $S(F+H)=S(F)\star S(H)$ . The middle functional is what makes the relation stable under changing an interaction in a region causally between the other two. Epstein and Glaser use this factorization as the induction principle rather than beginning with ill-defined products at coincident vertices Epstein and Glaser 1973, §§2–3, pp. 216–235.

In addition one normally imposes symmetry of $T_n$ , covariance under admissible spacetime embeddings or Poincaré transformations, field independence, causal support, and a unitarity normalization. These are independent conditions. Causal factorization alone does not select a Lorentz-covariant extension or guarantee a Ward identity.

Differentiating the causal axiom at the origin gives, for causally ordered supports,

T_n(F_1,\ldots,F_k,H_1,\ldots,H_{n-k}) =T_k(F_1,\ldots,F_k)\star T_{n-k}(H_1,\ldots,H_{n-k}).

This equation fixes the $n$ -point coefficient wherever the configuration separates into a later and an earlier cluster. Brunetti, Dütsch, and Fredenhagen state the functional form and its coefficientwise consequence in Brunetti, Dütsch, and Fredenhagen 2009, §4.1, equations (4.1)–(4.2), pp. 1557–1558.

The proof is local in configuration space. Away from the total diagonal, choose a Cauchy surface that places a nonempty subset of vertices later than its complement. The displayed product of lower-order coefficients defines $T_n$ on that open set. If a second Cauchy surface gives another partition, refine both partitions into three causally ordered clusters; associativity of $\star$ and the already-proved lower-order factorization make the two definitions agree. A partition of unity can therefore glue them. This argument explains both the power and the limit of the axiom: it determines the off-diagonal distribution, while a distribution supported on the total diagonal is invisible to every strictly ordered-support test.

Ordered compact couplings in massive φ⁴

On four-dimensional Minkowski space take the Wick-ordered interaction

V_g=\frac{\lambda}{4!}\int g(x):\!\phi(x)^4\!: \,\mathrm d^4x, \qquad g\in C_0^\infty(\mathbb R^4).

Let $g_1$ be supported later than $g_2$ . The causal axiom immediately gives

S(V_{g_1}+V_{g_2})=S(V_{g_1})\star S(V_{g_2}).

Expanding both sides through second order and comparing the coefficient bilinear in $g_1,g_2$ yields

T_2(V_{g_1},V_{g_2})=V_{g_1}\star V_{g_2}.

Equivalently, the distributional kernel satisfies

T_2(\mathcal L(x),\mathcal L(y)) =\mathcal L(x)\star\mathcal L(y) \quad\text{when }x\notin J^-(y),

with the reversed product on the oppositely ordered region. This is the causal support condition underlying the interaction-picture Dyson series, now expressed without integrating an undefined coincident-point product.

An independent check takes spacelike-separated supports. Each support is both “not earlier” and “not later” than the other, so the two allowed factorizations imply

S(V_{g_1})\star S(V_{g_2}) =S(V_{g_2})\star S(V_{g_1}).

Thus causal factorization reproduces Einstein commutativity for these relative operations. It does not require a preferred Lorentz frame.

The support check is also covariant. “Later than” is defined by the causal relation, so an orientation- and time-orientation-preserving isometric embedding carries a licensed factorization region to another one. Covariance of the numerical extensions is still an extra normalization condition, because a diagonal term can respect causal factorization while failing Lorentz or local covariance.

Where factorization stops

Adversarial test. Choose overlapping supports for $g_1,g_2$ such that neither is later than the other. The hypothesis of the factorization equation is false. Imposing $S(g_1+g_2)=S(g_1)S(g_2)$ anyway would force the mixed $T_2$ coefficient to be a single ordered product throughout the overlap, contradicting symmetry and leaving no room for the diagonal extension. The strongest surviving statement is the formal Taylor expansion together with causal factorization on the ordered subregions.

Nor does the axiom imply convergence. Each $T_n$ is a distribution-valued coefficient after renormalization; factorial growth or a missing common operator domain can prevent the series from defining an operator at nonzero $\lambda$ .

Exercises

1. Extract the mixed coefficient. Insert parameters $s,t$ in $S(sF+tH)=S(sF)\star S(tH)$ for $F$ later than $H$ and compare the coefficient of $st$ .

Solution

The left side contributes $(i/\hbar)^2T_2(F,H)st$ . The right side contributes $(i/\hbar)^2F\star H\,st$ . Equality gives $T_2(F,H)=F\star H$ . The factors $1/2$ in the pure second-order terms cancel because the mixed term occurs twice in the symmetric expansion.

2. Spacelike commutation. Apply the axiom in both causal orders to spacelike-separated $F,H$ .