A gauge theory of massive spin one particles

An Abelian gauge theory describing dynamics of massive spin one bosons is constructed. This is achieved by appending to the Maxwell action, a gauge invariant mass term. The theory is quantised in temporal as well as Lorentz gauge, and the corresponding Hilbert spaces are constructed. In both the gauges, it is found that, the theory respects Lorentz invariance, locality, causality and unitarity.