BRST QUANTIZATION OF THE PROCA MODEL-BASED ON THE BFT AND THE BFV FORMALISM

The BRST quantization of the Abelian Proca model is performed using th e Batalin-Fradkin-Tyutin and the Batalin-Fradkin-Vilkovisky formalism. First, the BFT Hamiltonian method is applied in order to systematical ly convert a second class constraint system of the model into an effec tively first class one by introducing new fields. In finding the invol utive Hamiltonian we adopt a new approach which is simpler than the us ual one. We also show that in our model the Dirac brackets of the phas e space variables in the original second class constraint system are e xactly the same as the Poisson brackets of the corresponding modified fields in the extended phase space due to the linear character of the constraints comparing the Dirac or Faddeev-Jackiw formalisms. Then, ac cording to the BFV formalism we obtain that the desired resulting Lagr angian preserving BRST symmetry in the standard local gauge fixing pro cedure naturally includes the Stuckelberg scalar related to the explic it gauge symmetry breaking effect due to the presence of the mass term . We also analyze the nonstandard nonlocal gauge fixing procedure.