Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Л2.docx
Скачиваний:
36
Добавлен:
18.09.2019
Размер:
1.66 Mб
Скачать

16.3.4. Смысл связей

Среди связей некоторые соответствуют калибровочным инвари-антностям теории, другие же возникают как следствие отсут­ствия независимого кинетического члена, квадратичного по фер-мионам.

Связи, соответствующие калибровочным инвариантностям, называются связями первого рода и характеризуются свойством слабо коммутировать с, остальными связями. Чтобы отожде­ствить их, вычислим алгебру связей

= 0, (16.3.4.1а)

[Ха, X,J = 2* (Yoflap. (16.3.4.16)

Связь Ж, очевидно, принадлежит первому роду. Она является генератором локальных репараметризаций, сопровождаемых со­ответствующим преобразованием (16.3.1.8), таким, что 66 = 0. Но поскольку матрица в правой части соотношения

(16.3.4.16) не обращается в нуль, связи % не все принадлежат первому роду. Как следствие условия массовой поверхности ранг матрицы (vop)afl равен 8 (в подпространстве вейлевских спиноров), так что из 16 майорана-вейлевских связей %а = 0 8 принадлежат первому роду и 8 второму.

Связи первого рода могут быть отделены ковариантным, но избыточным способом путем действия р на %:

= рер + *V - ф s pQp. (16.3.4.2)

262 Глава 16

Имеем

[фа, Ж] = 0, (16.3.4.3а)

-0, (16.3.4.36)

а также _

? f = O. (16.3.4.4)

Замена %Р на ^ основана на последнем соотношении, которое делает алгебру связей первого рода абелевой.

Легко проверить, что <j>a (слабо) генерирует фермионную ка­либровочную симметрию (16.3.1.4) (плюс соответствующая ре-параметризация) :

[6, ^v] = pv, (16.3.4.5а)

f = pQyAv ~ — mpyAv = ieyApv ~ 2iBvpA, (16.3.4.56)

Последний член в правой части соотношения (16.3.4.56) есть генерируемая Ж частная репараметризация, соответствующая

приведенному выше переопределению хр-^-ф.

На данном этапе нашего рассмотрения следует выделить два момента: согласование между калибровочными преобразо­ваниями в лагранжевой и гамильтоновой формах выполняется только на связях, как это в общем случае имеет место для не­внутренних калибровочных симметрии; кроме того, не суще­ствует независимых гамильтоновых связей первого рода, ассо­циированных с "фальшивой" калибровочной инвариантностью (16.3.1.8). Фактически одно из преимуществ гамильтонова фор­мализма состоит в том, что лишь "истинные'* калибровочные ин­вариантности приводят к связям первого рода, а это позволяет выделить и пересчитать их непосредственно.

Хотя содержащиеся в соотношении % ^ О связи первого рода и выделены ковариантно, ценой за поддержание явной кова­риантности является избыточность связей <j>. Действительно, мы находим следующее сильное соотношение между <j> и Ж:

фр-2рвЖ = 0. (16.3.4.6)

Оно отражает избыточность калибровочных параметров преоб­разований (16.3.1.4) и приводит к усложнениям БРСТ-процеду-ры. Заметим, что простого ковариантного способа выделить (8+1) независимых связей из (16+1) избыточных связей первого рода </>, Ж, по-видимому, не существует.

Аналогично не существует простого ковариантного способа отождествить 8 связей второго рода, содержащихся в %. Ниже будет показано, что связи второго рода играют важную роль

Суперструна 263

в обеспечении корректных антикоммутационных соотношений для спиноров, так что не учитывать их нельзя. Необходимо их сохранить, поэтому приходится столкнуться с только что упо­мянутой проблемой явной ковариантности.