Re Haag's thm, the unitary "dressing" approach, etc...
(I know should probably stay quiet, but I'll offer my
$0.02 worth. BTW, some related stuff was discussed a
while back in this thread:
https://www.physicsforums.com/showthread.php?t=177865
which also explained some of the differences between
orthodox QFT and Meopemuk's approach.)
Anyway...
The widely-known formulations of Haag's thm tend to be based
on having an irreducible set of operators parameterized by
Minkowski spacetime coordinates. Covariance under a Lorentz
boost is then formulated with reference to these spacetime
coords.
The point of Shirokov's paper:
M.I. Shirokov, "Dressing" and Haag's theorem,
Available as:
http://www.arxiv.org/abs/math-ph/0703021
is that such a view of "spacetime covariance" under Lorentz
boosts is untenable in an interacting QFT. (But the
incompatibilities between relativistic interactions and
naive Lorentz transformation of spacetime trajectories have
already been known for a long time in other guises.)
Another perspective on Haag's thm was given in Barton's
little book:
G. Barton, "Introduction to Advance Field Theory",
Interscience 1963,
(It might be possible to access a copy via
http://depositfiles.com/en/files/4816818 , or at
http://www.ebookee.com.cn/Introduction-to-advanced-field-theory_166416.html
but I haven't actually tried these out.)
Barton explains and emphasizes the role of unitarily
inequivalent representations of the CCRs, (which Weinberg
doesn't even mention), and concludes his analysis of Haag's
thm by saying (p157) "
...the correspondence between
vector space in which the auxiliary (in) and (out) fields
are defined, and that in which the [interacting field(s)
are] defined, is necessarily mediated by an improper
[unitary] transformation." Here, "improper" means a
transformation between inequivalent representations, i.e.,
between disjoint Fock spaces.
(For any readers unfamiliar with unitarily inequivalent
representations, the Bogoliubov transformations of condensed
matter theory are a simple example.)
So, previously in this thread where "the Fock space" has
been mentioned, one must understand that there is not one
Fock space mathematically, but rather an uncountably
infinite number of disjoint Fock-like spaces. The unitary
dressing transformations form part of a technique to find
which one is physically correct.
A related approach of Shebeko+Shirkov, complementary to
Meopemuk's, can be found in
Shebeko, Shirokov,
"Unitary Transformations in QFT and Bound States"
Available as: nucl-th/0102037
My take on both approaches is this:
Starting from a Fock space corresponding to the free theory,
and an initial assumption about the form of the interaction,
one investigates the Hamiltonian and S-matrix, finds they're
ill-behaved in terms of high energy and infinite numbers of
particles, then performs an (improper) unitary
transformation at a particular order of perturbation, then
performs something similar to the usual mass and charge
renormalization (since even improper unitary transformations
alone seem unable to cure this kind of divergence), then
(at the next perturbation order) performs another improper
unitary transformation, and so on. All of this is aimed at
finding an S-matrix, a Hamiltonian, and a space in which
both are physically sensible (stable vacuum and 1-particle
states, finite operators, etc, etc).
HTH.