В калибровке Лоренца в электродинамике времяподобная и продольная составляющие могут быть устранены путем задания условия Гупта-Блейлера на физические состояния. Это дает условие о калибровочных преобразованиях. Можно ли аналогичным образом вывести духи Фаддеева-Попова и лагранжиан духов в каноническом формализме так, чтобы сохранялась лоренц-инвариантность?
Комментарии к посту (v2):
Традиционный канонический/гамильтоновский формализм нарушает явную лоренцеву ковариантность (но все еще неявно лоренц-ковариантен, поскольку он должен согласовываться с ковариантным/лагранжевым формализмом).
Однако существуют различные подходы к проявлению лоренц-ковариантного формализма гамильтониана, см., например, этот и этот посты Phys.SE.
Комментарии 1 и 2 также применимы к калибровочным теориям и формулировкам БРСТ.