In der Lorenz-Eichung in der Elektrodynamik können die zeitartigen und longitudinalen Komponenten durch Vorschreiben der Gupta-Bleuler-Bedingung eliminiert werden auf physikalische Zustände. Dies gibt eine Bedingung über Eichtransformationen. Ist es in ähnlicher Weise möglich, die Faddeev-Popov-Geister und den Geister-Lagrangian im kanonischen Formalismus so abzuleiten, dass die Lorentz-Invarianz erhalten bleibt?
Kommentare zum Beitrag (v2):
Der traditionelle kanonische/Hamiltonsche Formalismus bricht die manifeste Lorentz-Kovarianz (ist aber immer noch implizit Lorentz-kovariant, da er mit dem kovarianten/Lagrange-Formalismus übereinstimmen muss).
Es gibt jedoch verschiedene Ansätze, um den Lorentz-kovarianten Hamilton-Formalismus zu manifestieren, siehe zB diesen und diesen Phys.SE-Beitrag.
Die Kommentare 1 und 2 gelten auch für Eichtheorien und BRST-Formulierungen.