У меня возникли проблемы с обдумыванием идеи ковариантного квантования электромагнитного поля, которое обычно делается в учебниках (в настоящее время я следую заметкам Мандла и Шоу и Дэвида Тонга в моем курсе QFT). Отправной точкой для квантования электромагнитного поля является разговор о свободе калибровки и о том, как она может быть полезна для рассмотрения электромагнетизма, а затем вы удобно выбираете условие Лоренца в качестве вспомогательного ограничения, которое вы хотите, чтобы 4-потенциал удовлетворить; однако после квантования это условие становится ограничением на пространство допустимых физических состояний, а не на сами полевые операторы: «физические состояния» такие, что (условие Гупта-Блейлера). Теперь мой вопрос двоякий:
Во-первых, вы должны исправить датчик, так как 4-потенциальный будет иметь 4 степени свободы вместо 2 поляризации фотона.
В общем, есть 3 различных способа квантования теории, которая представляет ограничения первого класса (как в случае с электромагнитным полем). Кому не привыкли первоклассные ограничения, те ограничения который порождает калибровочные преобразования как где - координаты в фазовом пространстве и являются калибровочными параметрами.
Теперь методы такие:
Первый метод фиксирует одного представителя на калибровочной орбите через условие фиксирования калибровки с (это приводит к новому набору ограничений, которые теперь относятся к классу II, и может быть определена скобка Дирака как новая скобка Пуассона для квантования каноническим способом).
Второй метод состоит в том, чтобы проквантовать все фазовое пространство, оставив в нем все нефизические переменные. Поскольку мы все квантуем, теперь мы должны потребовать, чтобы наши ограничения при воздействии на физические состояния давали ноль:
Этот способ более сложный, но, на мой взгляд, самый увлекательный. Идея здесь состоит в том, чтобы добавить новые степени свободы, называемые призраками (с грассмановской четностью, противоположной четности ограничений), и их импульсы (с той же четностью, что и у призраков) (чтобы понять эту процедуру, вам нужно будет знакомы с некоторыми основными понятиями суперсимметрии).
Теперь можно доказать, что существует БРСТ-заряд с некоторыми свойствами, в частности нильпотентна ( ), который генерирует преобразование BRST.
В этом контексте физическое состояние определяется, если оно BRST-инвариантно, т.е.
Это кажется слишком сложной процедурой, но когда кто-то рассматривает функциональный интеграл со всеми этими новыми членами, у него есть свобода добавить к действию новый член, который является точным членом, чтобы сделать множество упрощений и прийти к правильный результат более сложным способом.
Я оставляю здесь ссылку (учебник), посвященную квантованию калибровочных теорий: Марк Хенно и Клаудио Тейтельбойм «Квантование калибровочных систем».
Почему мы калибровочно фиксируем интеграл по путям в первую очередь? Если бы мы занимались калибровочной теорией решетки , нам не нужно было бы исправлять калибровку. Но в континуальном случае (гессе) действие для калибровочной теории имеет нулевые направления, которые приводят к бесконечным множителям при выполнении интеграла по путям по калибровочным орбитам. Чтобы избежать этого, мы калибруем-фиксировать.
Условие Гупта – Блейлера само по себе не является условием фиксации калибровки, а скорее условием для определения физических состояний. В общем случае существуют также условия на наблюдаемую . Возможно, проще всего это увидеть в формулировке BRST . Физическое состояние и наблюдаемый оба должны быть BRST-инвариантными
СлучайныйПреобразование Фурье
Затвердевание