vanhees71 said:
in the standard construction of a local and microcausal QFT we have particles and antiparticles with positive energy.
The problem is that the standard construction only produces free (or quasifree) fields.
On the other hand, Scharf constructs interacting fields perturbatively on the asymptotic Fock space. This cannot work nonperturbatively since Haag's theorem forbids it, but it works perturbatively order by order, and produces covariant field operators satisfying microcausality up to any desired order.
For QED and order 6 the violation of microcausality is less than today's experimentally achievable accuracy. (Divergence of the asymptotic series is expected to begin only at an order of around ##\alpha^{-1}\approx 137##, which will never be probed by experiment since it would require resources larger than the whole universe.)
vanhees71 said:
That's also so in Scharf's book, though hidden in quite unusual and overcomplicated looking notation, but I guess that's the price you have to pay for "more rigor".
If you have access to the second edition, I can give you an Ariadne's thread through the book so that you recognize the standard stuff. Then you'll be able to profit from the remainder.
vanhees71 said:
I still don't see the real merit of even this "rigor" since it also has not yet lead to a construction of a non-perturbative interacting mathematically rigorous QED. So what's the point to use this overcomplicated formalism in the first place?
It proceeds entirely covariantly from the scratch without ever introducing physically meaningless bare constants or cutoffs that would have to be remedied by subtractions. The mass and charge appearing is always the physical mass and charge of the electron. This reduces the confusion generated by the traditional approach.
But more importantly, the formalism constructs not only the S-matrix but, as mentioned already, also all other machinery one usually finds in quantum theory, which is completely lost in the traditional approach. This is a big plus even from a nonrigorous point of view.