Deformation stability of BRST-quantization

To avoid the problems which are connected with the long distance behavior of perturbative gauge theories we present a local construction of the observables which does not involve the adiabatic limit. First we construct the interacting fields as formal power series by means of causal perturbation theory. The observables are defined by BRST invariance where the BRST-transformation $\tilde s$ acts as a graded derivation on the algebra of interacting fields. Positivity, i.e. the existence of Hilbert space representations of the local algebras of observables is shown with the help of a local Kugo-Ojima operator $Q_{\rm int}$ which implements $\tilde s$ on a local algebra and 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 in a finite spatial volume with suitable boundary conditions. As a by-product we find that the BRST-quantization is not compatible with periodic boundary conditions for massless free gauge fields.Comment: 10 pages, the paper is written by means of LATEX, some macros are at the beginning of the fil

Algebraic Quantum Field Theory, Perturbation Theory, and the Loop Expansion

The perturbative treatment of quantum field theory is formulated within the framework of algebraic quantum field theory. We show that the algebra of interacting fields is additive, i.e. fully determined by its subalgebras associated to arbitrary small subregions of Minkowski space. We also give an algebraic formulation of the loop expansion by introducing a projective system ${\cal A}^{(n)}$ of observables ``up to $n$ loops'' where ${\cal A}^{(0)}$ is the Poisson algebra of the classical field theory. Finally we give a local algebraic formulation for two cases of the quantum action principle and compare it with the usual formulation in terms of Green's functions.Comment: 29 page

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 $\tilde {\cal F}({\cal 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 $\tilde s$ as a graded derivation on the algebra of interacting fields and use the implementation of $\tilde s$ by the Kugo-Ojima operator $Q_{\rm int}$. Since our treatment is local, the operator $Q_{\rm int}$ 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.Comment: corrected typos, a few supplements, 34 pages, written by TEX, some macros are at the beginning of the file. To appear in Commun. Math. Phy

Remarks on time-energy uncertainty relations

Using a recent construction of observables characterizing the time of occurence of an effect in quantum theory, we present a rigorous derivation of the standard time-energy uncertainty relation. In addition, we prove an uncertainty relation for time measurements only.Comment: 9 pages, to be pubblished in Rev. Math. Phys. issue in honor of H. Arak