# Motivation for Haag axioms and algebra of distributions

+ 6 like - 0 dislike
253 views

Are the Haag axioms partly motivated by the fact that in the general case, it is impossible to form a differential algebra with (basic) Schwartz distributions? I got the impression due to the following fact :

In constructions of AQFTs, the whole algebra seems to be defined from the field operator, and not the canonical momentum. While not all QFTs are defined from a Lagrangian, it seems odd that no one would at least try to include it in some variation. On the other hand, $[\varphi(f), \pi(g)] = i \langle f, g \rangle$, meaning that $\delta(x-y)$ would be part of the algebra if we included it, which responds famously poorly to the product $\delta^2$.

Instead the field operator is defined directly via its propagator when the algebra is constructed, which seems like a hard thing to show if we did not know the theory already.

Also any quantity implying components of the stress energy tensor, which might cause the same problems, are not part of the algebra either but just part of the Poincaré isomorphisms of the algebra.

Are those choices partly motivated by the fact that distributions do not multiply trivially or am I mistaken?

This post imported from StackExchange Physics at 2017-02-28 18:16 (UTC), posted by SE-user Slereah

edited Feb 28, 2017

The main motivation for all axiomatic QFT settings is to capture rigorously enough of what is known or expected from less rigorous approaches to be able to have sound foundations. Already in free fields, field operators are only distribution valued, so allowing this is a must. Causal perturbation theory avoids ill-defined multiplication of distributions by proper use of microlocal analysis. See, e.g., https://www.physicsforums.com/insights/causal-perturbation-theory/

+ 2 like - 0 dislike

Firstly, I think you mean the Wightman axioms, not the Haag-Kastler axioms, because only the Wightman axioms include an operator-valued distribution such as $\hat\phi(x)$.

Certainly the immediate introduction of the propagator is somewhat abstract, but part of Wightman's intention at the time ---almost 30 years after the first attempts to construct quantum fields, so it's not like it was hasty--- was perhaps to introduce a clearer, more abstract definition of what a quantum field is, instead of using only the rather pragmatic constructions of working Physicists, so that there could be a more solid basis for mathematicians to consider the theory. The construction of the momentum operator $\hat\pi(x)$, given $\hat\phi(x)$ at all points of space-time, and of the consequent commutation relation, is close to immediate.

Though it can be subliminal, the question of how to handle the distributional character of Poincaré invariant propagators on the light-cone in real space, and, rather associated and as significant, how to manage the scaling properties near the light-cone, permeate discussions of quantum fields. So yes, various aspects of distributions are significant.

It is important in many of the proofs that start from the Wightman axioms that the restriction to positive frequency introduces a many-variable complex analyticity that is rather analogous to the analytic property of the Hilbert transform. This property makes the multiplication of distributions sometimes possible. Note also that the convolution of distributions is often possible.

The Wightman axioms did allow a lot to be clarified about quantum field theory. Various theorems were proved. People also tried to weaken the axioms in various ways, which can be seen discussed, for example, in Section 3 of R.F.Streater, Rep. Prog. Phys. (1975) 38 771-846, "Outline of axiomatic relativistic quantum field theory". Mathematicians and Philosophers are often more likely to work with Local Quantum Physics, one of the modern names for constructions that start from the Haag-Kastler axioms, for which it's probably best to start from Rudolph Haag's book, "Local Quantum Physics" (which is certainly also a great source for a discussion of the Wightman axioms).

answered Feb 28, 2017 by (1,220 points)

 Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead. To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL. Please consult the FAQ for as to how to format your post. This is the answer box; if you want to write a comment instead, please use the 'add comment' button. Live preview (may slow down editor)   Preview Your name to display (optional): Email me at this address if my answer is selected or commented on: Privacy: Your email address will only be used for sending these notifications. Anti-spam verification: If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:p$\hbar$ysics$\varnothing$verflowThen drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds). To avoid this verification in future, please log in or register.