Топология калибровочной группы

Фундаментальное различие между спинорами и тензорами состоит в том, что спиноры чувствительны к гомотопическим классам путей через группу вращений С О ( 3 ) :

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

Происходит ли нечто подобное для калибровочных групп?

Например, калибровочная группа КЭД U ( 1 ) , который топологически представляет собой окружность с

π 1 ( U ( 1 ) ) знак равно Z ,
и поэтому существует бесконечно много гомотопически неэквивалентных путей через калибровочную группу. Я знаю, что калибровочная инвариантность ненаблюдаема, но существуют ли наблюдаемые следствия топологии калибровочной группы?

Ответы (1)

Абсолютно. Во многих случаях топология имеет важное значение для калибровочных теорий.

Возможно, самый примечательный пример касается классификации солитонов в калибровочной теории, которая подверглась действию механизма Хиггса. Если калибровочная группа грамм относится к подгруппе Хиггса ЧАС скалярным полем ф , можно попытаться найти стабильные конфигурации поля, которые нельзя непрерывно деформировать до вакуумной конфигурации (без бесконечных затрат энергии). Для конфигурации поля конечной энергии в р г 1 × р время , ф должны асимптотировать к конфигурации с нулевой энергией на границе пространства. затем ф определяет карту из бесконечно большой сферы в пространстве С г 2 к грамм / ЧАС . Эти карты классифицируются по π г 2 ( грамм / ЧАС ) .

Самый простой пример появляется в абелевой модели Хиггса в 2 + 1 Габаритные размеры. У нас есть калибровочная теория U(1) с действием

С знак равно г 3 Икс [ 1 4 Ф мю ν Ф мю ν + | Д мю ф | 2 В ( | ф | ) ] ,
с
В ( | ф | ) знак равно λ 4 ( | ф | 2 в 2 ) 2 .
Классические минимумы имеют место для | ф | знак равно в , а калибровочная симметрия полностью хиггсовская. Гамильтониан
ЧАС знак равно г 2 Икс [ 1 2 ( Е 2 + Б 2 ) + | Д я ф | 2 + В ( | ф | ) ] .
Мы ищем конфигурацию поля, которая не может непрерывно деформироваться до вакуумного решения. Если конфигурация должна иметь конечную энергию, В ( | ф | ) должен стремиться к нулю в пространственной бесконечности, поэтому | ф | должен подойти в . Фаза ф не фиксируется, однако
ф ( р , θ ) р в е я о ( θ ) .
Таким образом, ф определяет карту от круга в пространственной бесконечности до U (1) и, таким образом, определяет класс [ ф ] е π 1 ( U ( 1 ) ) знак равно Z . Это целое число является номером обмотки карты. ф . Поскольку целое число не может непрерывно меняться при непрерывных деформациях ф , конфигурация поля с ненулевым номером витка не может быть непрерывно деформирована до вакуумной конфигурации (с нулевым номером витка). Нужно также, конечно, следить за тем, чтобы остальные члены гамильтониана были конечными. Сделав это, можно деформировать эту топологически нетривиальную конфигурацию поля до минимизации энергии и тем самым получить устойчивую конфигурацию поля, не связанную с вакуумом. Этот солитон называется вихрем. Дополнительные сведения см., например , в Preskill, Lectures on Vortices and Monopoles .

Я приведу еще один, несколько более абстрактный пример приложения. Калибровочная теория с калибровочной группой грамм над пространственно-временным многообразием М описывается математически принципом грамм -пучок п над М , грамм п М . Такое расслоение классифицируется характеристическими классами в группах когомологий { ЧАС к ( М , π к 1 ( грамм ) ) } к знак равно 1 тусклый М . Для четырехмерного многообразия это группы

ЧАС 1 ( М , π 0 ( грамм ) ) ЧАС 2 ( М , π 1 ( грамм ) ) ЧАС 3 ( М , π 2 ( грамм ) ) ЧАС 4 ( М , π 3 ( грамм ) ) .
Пусть калибровочная группа связна, так что π 0 ( грамм ) знак равно 0 а также ЧАС 1 ( М , π 0 ( грамм ) ) знак равно 0 . Для любой группы Ли грамм , π 2 ( грамм ) знак равно 0 , так ЧАС 3 ( М , π 2 ( грамм ) ) также не имеет значения. Для всех классических групп Ли π 3 ( грамм ) знак равно Z (за исключением грамм знак равно С О ( 4 ) ). Затем класс в ЧАС 4 ( М , Z ) задает инстантонный номер пакета.

Наконец, у нас есть ЧАС 2 ( М , π 1 ( грамм ) ) . Если калибровочная группа не является односвязной ( π 1 ( грамм ) 0 ), класс в этой группе предоставляет дополнительные топологические данные, необходимые для уточнения калибровочной теории помимо обычного инстантонного числа. Характеристический класс в этой группе называется дискретным магнитным потоком или потоком 'т Хоофта калибровочной теории. Более подробное обсуждение таких идей см., например , в Witten, Supersymmetric Index in Four-Dimensional Gauge Theory .