Gaugeon formalism with BRST symmetry

We provide a BRST symmetric version of Yokoyama's Type I gaugeon formalism for quantum electrodynamics; the similar theory by Izawa can be considered as a BRST symmetrized Type II theory. With the help of the BRST symmetry, Yokoyama's physical subsidiary conditions are replaced by the Kugo-Ojima type condition. As a result, the formalism becomes applicable even in the background gravitational field. We show how the Hilbert spaces of standard formalism in various gauges are embedded in the single Hilbert space of the present formalism. We also give a path integral derivation of the Lagrangian. (author)