О суперполевом квантовании в лагранжевом формализме

Предложено обобщение метода суперполевого БРСТ-квантования для калибровочных теорий общего вида на случай введения калибровки с помощью соответствующего производящего уравнения. Найдена суперполевая форма БРСТ-симметрии вакуумного функционала. Доказана калибровочная независимость $S$-матрицы. Показано, что вакуумный функционал метода БВ-квантования отвечает частному решению производящего уравнения для калибровки. Обсуждается модификация тождеств Уорда, связанная с предлагаемым обобщением процедуры введения калибровки.