Dual embedding of the Lorentz-violating electrodynamics and Batalin-Vilkovisky quantization

Modifications of the electromagnetic Maxwell Lagrangian in four dimensions have been considered by some authors. One may include an explicit massive (Proca) term and a topological but not Lorentz-invariant term within certain observational limits. We find the dual-corresponding gauge-invariant version of this theory by using the recently suggested gauge embedding method. We enforce this dualization procedure by showing that, in many cases, this is actually a constructive method to find a sort of parent action, which manifestly establishes duality. We also use the gauge-invariant version of this theory to formulate a Batalin-Vilkovisky quantization and present a detailed discussion of the excitation spectrum.