The gaugings of the higher derivative fields theory are analyzed in Ostrogradsky formalism with the aid of BRST charge. Treating the terms of higher-order time derivatives of fields as independent dynamic variables, we are able to convert the higher derivative Lagrangian into the more suitable Ostrogradski Hamiltonian formalism. Using the knowledge of local BRST-cohomology, it is possible for us to work out the deformed functional equations of the BRST charge as well as the corresponding BRST-invariant Hamiltonian. Moreover, by inserting these deformed quantities into the original system and utilizing the canonical equations of motion of phase variables, we gain the usual local gauge symmetries of the resulting interacting theory directly through the standard Legendre transformations.
Read full abstract