Проблема в том, чтоКмю
не является истинным вектором на многообразии. Это зависит от калибровочного потенциалаА
а также калибровочное полеФ
. Можно использовать теорему Стокса для этих типов объектов локально на координатных путях, но не глобально на всем многообразии.
Предположим, что интегрирование законченоС4
. Разделим интегрирование на две части, по верхней полусфере и по нижней полусфере, касаясь экватораС3
. Мы знаем, что на каждом полушарии (я использую безкоординатную запись)
т р (Ф∧ Ф) = дК С (А)
Где
СС( А )
является классом Черна-Саймонса. Используя теорему Стокса
∫С4т р (Ф∧ Ф) =∫Д4вверх _гС С (Авверх _) +∫Д4гой н _гС С (Агой н _) =∫С3С С (Авверх _) − C S (Агой н _)
Локальные калибровочные потенциалы
Авверх _
и
Агой н _
связаны транзитным калибровочным преобразованием
Авверх _= гАгой н _г− 1+ ггг− 1
Известно, что классы Черна-Саймонса не являются калибровочно-инвариантными, они изменяются по форме Весса-Зумино-Виттена при калибровочном преобразовании:
С S (гАгой н _г− 1+ дгг− 1) − C S (Агой н _) = W Z W ( г)
Таким образом получаем:
∫С4т р (Ф∧ Ф) =∫С3W Z W (г)
Для нетривиальных конфигураций, таких как инстантоны, калибровочные преобразования перехода являются большими калибровочными преобразованиями, для которых преобразование Весса-Зумино-Виттена не равно нулю (это число оборотов конфигураций группы перехода).
Космас Захос