ну вот чем хотя бы квантование калибровочной теории отличается от некалибровочной?
Если через функциональный интеграл --- то мерой интегрирования. Вместо интегрирования по всем полям (=потенциалам), интегрируют только по представителям каждого класса калибровочно-эквивалентных конфигураций. В зависимости от выбора представителей в классах говорят о разных калибровках. Мера будет разной, но значение интеграла, благодаря калибровочной инвариантности действия, одно и то же.
Однако наличие нетривиальной меры интегрирования (зависящей, вообще говоря, от полей) делает неприменимой обычную фейнмановскую диаграммную технику (интеграл-то уже не имеет вида

). Чтобы устранить это, меру поднимают в экспоненту при помощи дополнительного интегрирования по антикоммутирующим переменным. Вот они и называются духами.
Трюк этот нужен только в неабелевых калибровочных теориях, в электродинамике мера не зависит от потенциалов. В неабелевых же теориях мера нелокально зависит от потенциалов, а вот эффективный лагранжиан после введения духов оказывается полностью локальным. Там есть еще пара тонкостей с выделением физического подпространства (гуглить "BRS-квантование").