Я читал об аномалиях в разных контекстах и способами. Я хотел бы прочитать объяснение, объединяющее все эти утверждения или точки зрения:
Аномалии возникают из-за того, что квантовые теории поля (и, возможно, квантово-механические теории с сингулярным потенциалом) должны быть регуляризованы , и вполне возможно, что ни одна процедура регуляризации не может соблюдать все симметрии классической теории. Например, согласно точке зрения Фудзикавы , нельзя найти регуляризованную функциональную меру в интеграле по траекториям , сохраняющую симметрии классического действия.
Аномалии возникают из-за того, что квантовая теория требует рецепта упорядочения для операторов, и может случиться так, что ни один рецепт упорядочения не соблюдает симметрии классической теории. Здесь в принципе могли бы иметь место аномалии в квантовой механике с несингулярными потенциалами.
Аномалии связаны с тем, что образующие симметрии не оставляют инвариантной область определения гамильтониана и, таким образом, хотя формальный коммутатор этих образующих с гамильтонианом обращается в нуль, заряды не сохраняются из-за появившегося дополнительного поверхностного члена в точном уравнении Гейзенберга. Мне непонятно, присутствует ли в этом случае аномалия уже в классической теории.
Аномалии связаны с появлением центральных зарядов в алгебре сохраняющихся величин. В этом случае могут быть классические аномалии, если они находятся в алгебре скобок Пуассона, или квантовые аномалии, если они происходят на уровне квантовых коммутаторов.
Я хотел бы, чтобы вы поделились примерами и отношениями между предыдущими точками зрения и обсуждением их эквивалентности. Единственное, что я вижу, это следующее отношение:
Порядок операторов ----> другое определение меры интеграла по путям.
Упорядочивание операторов ----> дельта-функции ---> регуляризация.
Порядок операторов ----> другая алгебра сохраняющихся зарядов.
В настоящее время существует более фундаментальная геометрическая интерпретация аномалий, которая, я думаю, может разрешить некоторые из ваших вопросов. Основной источник аномалий заключается в том, что классически и квантово-механически мы работаем с реализациями и представлениями группы симметрии, т. е. при заданной группе симметрий через стандартную реализацию в некотором пространстве нам нужно поднять действие на адекватные геометрические объекты, которые мы работают в классической и квантовой теории, и иногда это действие не может быть отменено. Математически это называется препятствием для подъема действия, которое и является источником аномалий. Препятствия часто приводят к возможности реализации не самой группы симметрий, а некоторого ее расширения другой группой, естественным образом действующей на геометрические объекты, определяющие теорию.
Различают три уровня реализации группы симметрий:
Абстрактный уровень: например, действие группы Лоренца (Галилея) на пространстве Минковского (евклидово). Это представление, например, не является унитарным, и это не то представление, с которым мы работаем в квантовой механике.
Классический уровень: когда групповое действие реализуется в терминах функций, принадлежащих алгебре Пуассона некоторого фазового пространства. Например, реализация групп Галилея или Лоренца на фазовом пространстве классической свободной частицы.
Квантовый уровень, когда групповое действие реализуется в терминах линейных представлений операторов в некотором гильбертовом пространстве (или просто операторов, принадлежащих некоторому алгебра. Например, реализация групп Галилея или Лоренца на квантовом гильбертовом пространстве свободной частицы.
Теперь переход с абстрактного уровня либо на классический, либо на квантовый уровень может сопровождаться препятствием. Эти препятствия существуют уже в квантовой и классической механике с конечным числом степеней свободы, а не только в квантовых теориях поля. Два очень известных примера - это группа Галилея, которая не может быть реализована на алгебре Пуассона фазового пространства свободной частицы, а, скорее, центральное расширение которой с модифицированным коммутационным соотношением:
, реализуется. ( являются повышениями и являются переводами это масса). Это расширение было открыто Баргманном, и иногда его называют группой Баргмана. Второй пример - это реализация спиновых систем в терминах сечений однородных линейных расслоений над двумя сферами. . Теперь действие группы изометрии нельзя поднять до расслоений, соответствующих полуцелым спинам, а продолжение которого, а именно можно поднять. В этом случае расширенная группа полупроста, и вопрос о том, что будучи групповым расширением а не просто универсальная оболочка, как правило, не акцентируется в текстах по физике.
Расширения группы, реализуемые вследствие этих препятствий, могут потребовать:
1) Лучевые представления исходной группы, являющиеся истинными представлениями расширенной группы. Это случай , где полуцелые спины могут быть реализованы через лучевые представления SO (3), которые являются истинными представлениями . В этом алгебры Ли обеих групп изоморфны.
2) Расширения групп, соответствующие расширениям алгебры Ли. Это более общий случай, соответствующий, например, случаю Галилея.
Теперь на квантовом уровне легче понять, почему препятствия ведут к групповым расширениям. Это потому, что мы ищем представления, удовлетворяющие двум дополнительным условиям:
1) Унитарность
2) Положительная энергия
Иногда (до размерности), мы можем удовлетворить этим условиям просто за счет нормального упорядочения, которое приводит к центральным расширениям групп симметрии. Этот метод применим к случаю алгебр Вирасоро и Каца-Муди, которые являются центральными расширениями алгебр Витта и алгебр петель соответственно и могут быть получены на квантовом уровне после нормального упорядочения.
Связь между нормальным порядком и аномалиями можно объяснить тем, что операторы квантования должны быть операторами Теплица . Очень известным примером является реализация гармонического осциллятора на баргмановском пространстве аналитических функций, тогда операторы Теплица — это именно те операторы, у которых все производные сдвигаются вправо. Это называется квантованием Вика и точно соответствует нормальному упорядочению в алгебраическом представлении. Основное свойство теплицевых операторов состоит в том, что их композиция осуществляется через звездчатые произведения, и звездчатые произведения операторов Теплица также являются операторами Теплица, таким образом, алгебра квантовых операторов замкнута, но она замкнута не на исходную группу, а на центральное расширение которой. Эта важная интерпретация еще не была распространена на теории поля.
Стоит отметить, что центральные расширения не являются самыми общими расширениями, которые можно получить, когда симметрия реализуется в терминах операторов в квантовой теории, существуют абелевы и даже неабелевы расширения. Одним из наиболее известных расширений этого типа является расширение Микельссона-Фаддеева алгебры киральных фермионных неабелевых плотностей заряда, связанное с внешним полем Янга-Миллса в Габаритные размеры:
Это расширение является абелевым нецентральным расширением.
Объяснение существования «аномалий» в классическом случае, т. е. на алгебре Пуассона, можно понять уже в случае простейшего симплектического многообразия , алгебра Пуассона не изоморфна алгебре трансляций. Более глубокий анализ, например, дан в: Marsden and Ratiu page 408 для случая группы Галилея. Они показали, что в гильбертовом пространстве свободных частиц группа Галилея поднимается до центрального расширения (группы Баргмана), которое действует унитарно в гильбертовом пространстве свободных частиц: . Теперь проективное гильбертово пространство является симплектическим многообразием (как и любое комплексное проективное пространство), в которое вложено фазовое пространство частицы. Ограничение представления на проективное гильбертово пространство, а затем на фазовое пространство частицы сохраняет центральное расширение, т. е. изоморфно расширенной группе, таким образом, расширенная группа действует на алгебре Пуассона.
На самом деле всегда следует ожидать, что аномалия должна реализовываться классически на фазовом пространстве. Случай фермионных киральных аномалий кажется исключительным, поскольку принято говорить, что аномалия существует только на квантовом уровне. Причина в том, что пространство переменных Грассмана на самом деле не является фазовым пространством, и даже в случае фермионов аномалия существует на классическом уровне, когда их представляют в терминах «бозонных координат». Эти аномалии представлены в виде терминов Весса-Зумино-Виттена. (Конечно, эти представления бесполезны в теории возмущений).
Другая причина, по которой аномалии всегда существуют на классическом (фазовом) уровне, заключается в том, что при геометрическом квантовании аномалии могут быть получены на уровне предварительного квантования. Теперь предварительное квантование не требует больше данных, чем фазовое пространство (в отличие от самого квантования, которое требует поляризации).
Теперь постараюсь ответить на ваши конкретные вопросы. Верно, что киральные аномалии были обнаружены в квантовых теориях поля, когда не удалось найти никаких ультрафиолетовых регуляторов, соблюдающих киральную симметрию. Но аномалия на самом деле является инфракрасным свойством теории. Признаками этого является теорема Адлера-Бардина о том, что отсутствует поправка к осевой аномалии с более высокой петлей (более одной) и, что более важно, в аномалию вносят вклад только безмассовые частицы. В операторном подходе, который я пытался применить в этом ответе, аномалия является следствием деформации, которую следует выполнить над генераторами симметрии, чтобы ее можно было правильно определить в физическом гильбертовом пространстве, а не прямым следствием регуляризации.
Во-вторых, аномалия существует в равной степени как на квантовом, так и на классическом уровне (на фазовом пространстве). Случай фермионов и регуляризации был рассмотрен отдельно.
Обновление - Проработка спин-кейса:
Вот и разработка , случай, который содержит все ингредиенты, касающиеся препятствия к поднятию и групповым расширениям, за исключением того, что он не имеет соответствующего расширения алгебры Ли.
Мы работаем над используя координату стереографической проекции, заданную в терминах полярных координат:
Элемент группы
действует на по преобразованию Мёбиуса:
Однако можно заметить, что действие специального элемента:
тождественно действию тождества. Этот элемент представляет собой элемент SU (2), который проецируется в единство SO (3) (это видно из его трехмерного представления, которое представляет собой единичную матрицу). Таким образом, группа, действующая нетривиально на является
Теперь квантово-механические спиновые системы могут быть реализованы на сфере в гильбертовых пространствах аналитических функций:
Трансформация под согласно с:
Это лучевое представление в качестве не имеет половинного целочисленного представления.
Итак, первое наблюдение (квантовый уровень) заключается в том, что специальный элемент не действует на волновые функции как единичный оператор, а для полуцелых спинов добавляет фазу . Это и имеется в виду, что действие не может быть поднято в квантовое гильбертово пространство.
Теперь перейдем к классическому уровню. Симплектическая форма на пропорциональна его элементу площади. Константа пропорциональности должна быть целым числом в предквантовой теории (условие квантования Дирака).
Соответствующая скобка Пуассона между двумя функциями на сфере:
Функция, порождающая групповое действие в алгебре Пуассона, имеет вид:
Теперь функция, представляющая единицу SU(2) в функции , а функция, представляющая специальный элемент, для полуцелых спинов, что является другой функцией (она должна быть постоянной, потому что принадлежит центру , поэтому он должен коммутировать Пуассона со всеми функциями.
Таким образом, даже на классическом уровне действие не поднимается до алгебры Пуассона.
Теперь, что касается вопроса о классическом различении из . Если вы вычислите классическую статистическую сумму спина газ, взаимодействующий с магнитным полем, будет отличаться от, скажем, спина , но крутиться существует в первую очередь только в том случае, если действует, потому что допускает только целочисленные спины.
Рон Маймон
Диего Масон
Диего Масон
Рон Маймон
Давид Бар Моше