A local (perturbative) construction of observables in gauge theories:: The example of QED

Interacting fields can be constructed as formal power series in the framework of causal perturbation theory. The local field algebra F(O)() is obtained without performing the adiabatic limit; the (usually bad) infrared behavior plays no role. To construct the observables in gauge theories we use the Kugo,-Ojima formalism; we define the BRST-transformation (s) over tilde as a graded derivation on the algebra of interacting fields and use the implementation of (s) over tilde by the Kugo-Ojima operator ei,Q(int). since our treatment is local, the operator ei, differs from the corresponding operator Q of the free theory. We prove that the Hilbert space structure present in the free case is stable under perturbations. All assumptions are shown to be satisfied in QED.