Path integral quantization of generalized Stueckelberg electrodynamics: A Faddeev-Jackiw approach

We build a setup for path integral quantization through the Faddeev-Jackiw approach, extending it to include Grassmannian degrees of freedom, to be later implemented in a model of generalized electrodynamics that involves fourth-order derivatives in the components of a massive vector field being endowed with gauge freedom, due to an additional scalar field. Namely, the generalized Stueckelberg electrodynamics. In the first instance, we work on the free case to gain some familiarity with the program and, subsequently, we add the interaction with fermionic matter fields to complete our aim. In addition to deriving the correct classical brackets for such a model, we get the full expression for the associated generating functional and its associated integration measure.