Perturbative AQFT and the Bogoliubov Map

The Bogoliubov map defines an interacting observable as the derivative of a relative local S-matrix. Causal factorization makes that derivative retarded: changing the interaction outside the causal past of the observable does not change it. The result is a formal *-algebra over powers of the coupling and $\hbar$, built from renormalized time-ordered products on a contraction-stable functional domain; an equicausal domain supplies the required smooth closure while retaining the usual microcausal wavefront restriction. It is not a convergent operator series unless a separate analytic theorem supplies a representation, common domain, and convergence control.

Required background. Local S-matrices and causal factorization provide relative S-matrices; renormalized time-ordered products provide their coefficients. Helpful background. Haag–Kastler nets give the desired net structure, and microcausal functionals define the off-shell algebra.

Relative S-matrices and retarded products

For compactly supported local interactions $V,F$, define

$$S_V(F)=S(V)^{-1}\star S(V+F).$$

The interacting-field map is

$$R_V(F)=\left.\frac{\hbar}{i}\frac{\mathrm d}{\mathrm dt} S_V(tF)\right|_{t=0}.$$

Its Taylor expansion in $V$ is

$$R_V(F)=\sum_{n\geq0}\frac1{n!}R_{n,1}(V^{\otimes n};F),$$

where $R_{n,1}$ are renormalized retarded products. After smearing every entry, their support property is

$$\operatorname{supp}R_{n,1}(V_1,\ldots,V_n;F) \subseteq \left\{(x_1,\ldots,x_n;y):x_j\in J^-(y)\right\}.$$

Differentiate causal factorization with respect to an auxiliary interaction $W$. If $\operatorname{supp}W$ is later than, or causally disjoint from, $\operatorname{supp}F$, the same factor generated by $W$ occurs in $S(V)^{-1}$ and $S(V+F)$ and cancels. This proves the retarded support statement coefficientwise. Dütsch and Fredenhagen construct the retarded products and prove the action Ward identity in Dütsch and Fredenhagen 2004, §§2–4, pp. 1298–1333.

The domain matters. $V$ is local and compactly supported, whereas $F$ lies in the declared contraction-stable class. The derivatives of the retarded products are distributions whose wavefront cones must satisfy the same contraction criteria as the free star product, with equicontinuity on compact configuration sets when closure as smooth functionals is claimed. Renormalized time ordering supplies extensions at coincident vertices; it does not authorize inserting a functional with an arbitrary characteristic conormal. The output belongs to the corresponding formal functional algebra, with its interacting product transported by $R_V$ where this map is used as an embedding.

Compactly supported φ⁴ through second order

Take

$$V_g=\frac{\lambda}{4!}\int g(x):\!\phi(x)^4\!: \,\mathrm d^4x, \qquad F_f=\int f(x)\phi(x)\,\mathrm d^4x.$$

The formal interacting field is

$$R_{V_g}(F_f)=F_f+R_{1,1}(V_g;F_f) +\frac12R_{2,1}(V_g,V_g;F_f)+O(\lambda^3).$$

At tree level it agrees with the retarded Yang–Feldman iteration. With $\Delta^R$ the free retarded propagator, the unsmeared field has

$$\begin{aligned} \phi_g={}&\phi-\frac{\lambda}{3!}\Delta^R(g\phi^3)\\ &+\frac{3\lambda^2}{(3!)^2} \Delta^R\!\left(g\phi^2\Delta^R(g\phi^3)\right) +O(\lambda^3). \end{aligned}$$

The coefficient three arises by differentiating $\phi^3$: inserting the first-order correction into any one of its three factors gives the same term. Wick ordering and local loop terms are supplied by the full renormalized $R_{n,1}$, so this displayed expression is explicitly the tree part. Smearing $\phi_g$ with $f$ gives the tree contribution to the Bogoliubov series. Every occurrence of $g$ lies in the causal past of a later retarded propagator ending on $\operatorname{supp}f$. Changing $g$ outside $J^-(\operatorname{supp}f)$ therefore leaves the result unchanged coefficientwise.

This constructs the local formal interacting field used in the foundational treatment of interacting fields. The coefficient at each order has a defined microlocal domain and renormalization prescription; $O(\lambda^3)$ marks omitted formal coefficients, not a numerical error bound.

An independent check applies the free operator $P$ to the tree expansion. Since $P\Delta^R=1$, one finds

$$P\phi_g+\frac{\lambda}{3!}g\phi_g^3=O(\lambda^3),$$

confirming the interacting equation through the displayed order. The second-order cancellation uses

$$\phi_g^3=\phi^3-\frac{3\lambda}{3!} \phi^2\Delta^R(g\phi^3)+O(\lambda^2),$$

which exactly cancels $P$ acting on the second-order retarded term. In the quantum theory, the corresponding field equation is an allowed normalization condition and may include the specified local counterterms.

Local algebra and scope boundary

For a relatively compact region $O$, choose $g$ equal to one near the causal hull needed for observables supported in $O$ and generate $\mathfrak A_g(O)$ by $S_{V_g}(F)$ with $\operatorname{supp}F\subset O$. If $O_1\subset O_2$, one switching can be chosen for both, giving isotony. If $g$ and $g'$ agree near $O$, causal factorization supplies an invertible formal element that conjugates the two generating families. Spacelike commutation follows from applying factorization in both causal orders.

These properties build a local net in the algebraic adiabatic sense. They do not give a global limit $g\to1$ of an operator-valued S-matrix, a preferred state, the spectrum condition, or scattering completeness. Those are additional representation and infrared questions.

Adversarial test. Substitute a numerical $\lambda$ and treat the series as a norm-convergent operator expansion on Fock space. The construction provides neither bounds on $\lVert R_{n,1}\rVert$, a convergence radius, nor a common invariant domain for the unbounded coefficients. The licensed conclusion is an element of a formal algebra. Borel summability or a nonperturbative completion would require separate estimates.

Exercises

1. Retarded support. Let $W$ be supported entirely outside $J^-(\operatorname{supp}F)$. Show the first variation of $R_{V+sW}(F)$ at $s=0$ vanishes.

Solution

The variation is a retarded product with $W$ in an interaction slot and $F$ in the distinguished slot. Its support requires the point from $W$ to lie in the causal past of the point from $F$. The support assumption makes that set empty, so the smeared distribution vanishes.

2. First field equation. Apply $P$ to $\phi-(\lambda/3!)\Delta^R(g\phi^3)$.

Solution

Using $P\phi=0$ for the free field and $P\Delta^R=1$ gives $P\phi_g=-(\lambda/3!)g\phi^3+O(\lambda^2)$. Replacing $\phi$ by $\phi_g$ in the cubic changes only higher orders, proving the equation through first order.

References

• Brunetti, Romeo, Michael Dütsch, and Klaus Fredenhagen. “Perturbative Algebraic Quantum Field Theory and the Renormalization Groups.” Advances in Theoretical and Mathematical Physics 13 (2009): 1541–1599. DOI; Open PDF.
• Dütsch, Michael, and Klaus Fredenhagen. “Causal Perturbation Theory in Terms of Retarded Products, and a Proof of the Action Ward Identity.” Reviews in Mathematical Physics 16 (2004): 1291–1348. DOI; Open preprint.