Имеет ли аномалия ABJ для абелева калибровочного поля топологический аргумент?

Мы знаем, что аномалия ABJ для неабелевых калибровочных полей с калибровочной группой, содержащей С U ( 2 ) как подгруппа имеет топологический аргумент из евклидова интеграла по путям. Изучая евклидов интеграл по путям, мы можем найти инстантон BPST. При наличии BPST-инстантона количество левых киральных фермионных нулевых мод и правых киральных фермионных нулевых мод не равно. Тогда можно интерпретировать этот факт как киральное нарушение.

Однако аномалия ABJ существует и для абелева калибровочного поля. И мы знаем, что в этом случае больше нет евклидовых инстантонов из-за структуры калибровочной группы. Но мы все же можем вывести аномалию, изучив треугольную диаграмму. Итак, кажется, что аргумент инстантона не является общим?

Ответы (1)

В случае неабелевых калибровочных теорий инстантоны классифицируют главные С U ( Н ) связки п с помощью второго класса Черна с 2 ( п ) (Для других калибровочных групп нам могут понадобиться дополнительные топологические инварианты для классификации). Они являются самодвойственными решениями уравнений Янга-Миллса, но их топологический класс, т. е. другие конфигурации, принадлежащие тому же пучку, вообще говоря, не являются самодвойственными и не являются решениями уравнений движения. Топологический член дает общий вес для всех этих конфигураций, принадлежащих одному и тому же расслоению в интеграле по путям.

В случае калибровочных теорий U(1) над компактом 4 многообразие М , самодуальные поля хотя и существуют в общем случае, но не характеризуют главные расслоения, и, кроме того, как максвелловский член, так и тета-член обращаются в нуль для чисто самодуальной (антисамодуальной) конфигурации.

Однако могут быть нетривиальные расслоения U (1), поэтому топологический тета-терм действительно дает разные веса разным расслоениям в интеграле по путям.

Основные U(1) расслоения Вопрос относятся к первому классу Черня. Поскольку первый класс Черна представлен абелевым калибровочным полем, тета-терм имеет вид:

л θ "=" θ Ф Ф "=" θ с 1 ( Вопрос ) с 1 ( Вопрос )

Так, например, абелев топологический член не обнаруживает элемент четвертой группы когомологий ЧАС 4 ( М ) который не может быть разложен как произведение клина двух элементов ЧАС 2 ( М ) .

Так как на компактном многообразии должно выполняться условие квантования Дирака:

д 2 π о Ф "=" м ( Z ) е Z
где, Z двумерный цикл на М . ( м ( Z ) подсчитывает единицы потока через поверхность Z ), затем разлагая Ф как линейная комбинация двух интегральных форм топологический член становится:
( д 2 π ) 2 М Ф Ф "=" я , Дж "=" 1 б 2 м ( Z я ) Вопрос я Дж м ( Z Дж )
(См. следующую работу Олив (уравнение (3)).

Целочисленная матрица Вопрос я Дж — обратная матрица пересечения, т. е. ее обратная матрица отсчитывает количество точек пересечения циклов Z я и Z Дж .

Однако самодуальные поля входят в индекс Дирака, но они входят благодаря взаимодействию с фоновым гравитационным полем многообразия. М . Индекс оператора Дирака-Вейля на компакте 4 размерное многообразие определяется как:

я н г ( Д А ) "=" ( д 2 π ) 2 М Ф Ф η 8
где η является подписью Хирцебруха, которая представляет собой разницу между количеством Гармонических самодуальных и Гармонических антисамодуальных двух форм на М . (Пожалуйста, см. Олив и Луис Альварес-Гоме .

Большое спасибо за ваш ответ. Я не знаком с некоторыми математическими понятиями, которые вы здесь упомянули. Итак, в заключение, вы имеете в виду, что Ф Ф ~ в U(1) калибровочная теория по-прежнему является топологическим термином (первый класс Черна), хотя он не имеет интерпретации четвертой группы когомологий или, что чаще встречается в неабелевой калибровочной теории, гомотопической группы π 3 ( С 3 ) ?
Но как мы можем непосредственно увидеть нарушение киральности в U(1)-теории, как мы видели в неабелевой калибровочной теории (через теорему об индексе AS), т. е. увидеть непосредственно различие левых фермионных нулевых мод и правых фермионных мод? нулевые режимы?
Ф Ф действительно топологичен даже в U ( 1 ) случай. Это зависит от первого класса Черна, который является топологическим инвариантом. Гомотопические аргументы довольно ограничительны и применимы только к сферическим пространственно-временным многообразиям. С другой стороны, когомологии не имеют этого ограничения. Данный индекс представляет собой разницу между левой и правой нулевыми модами Вейля, даже если мы рассматриваем четырехмерное компактное многообразие.