Построение N=2N=2\cal{N}=2 суперсимметричной неабелевой теории Черна-Саймона

Это связано с этим более ранним вопросом, который я задал.

Я использую так называемое майорановское представление гамма-матриц в 2 + 1 размеры, в которых все реально. После уменьшения размеров Н "=" 1 преобразования суперсимметрии компонент векторного суперполя в 3 + 1 размеры преобразований суперсимметрии результирующих Н "=" 2 компоненты векторного суперполя в 2 + 1 размеры есть,

дельта Ф А "=" я α ¯ а λ А а
дельта Д А "=" я α ¯ а γ 3 мю Д мю λ А а
дельта В А мю "=" я α ¯ а γ 3 мю λ А а
дельта λ А а "=" 1 2 ф А мю ν 3 γ 3 мю ν α а + Д А α а + γ 3 мю Д мю Ф А α а

где А , Б , . . – индексы калибровочной группы, ф А мю ν 3 – неабелева напряженность поля и α является спинорным параметром, компоненты которого повышаются и понижаются как, α 1 "=" α 2 и α 2 "=" α 1 .

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

дельта ( Т р [ Ф Д ] ) "=" Т р [ т А т Б ] { я α ¯ а λ А а Д Б я α ¯ а γ 3 мю λ Б а мю Ф А + я α ¯ а γ 3 мю λ С а С Б Б С В Б мю Ф А }

дельта ( Т р [ λ ¯ а λ а ] ) "=" 2 Т р [ т А т Б ] { 1 2 α ¯ а γ 3 р λ Б а ф А мю ν 3 ϵ мю ν р + α ¯ а λ Б а Д А α ¯ а γ 3 мю λ Б а мю Ф А

α ¯ а γ 3 мю λ Б а С А Б С В Б мю Ф С }

дельта ( Т р [ ϵ мю ν р ( В мю ν В р ) ] ) "=" я ϵ мю ν р Т р [ т А т Б ] α ¯ а γ 3 р λ А а ( мю В Б ν ν В Б мю )

дельта ( Т р [ ϵ мю ν р В мю В ν В р ] ) "=" 3 2 ϵ мю ν р Т р [ т А т Д ] С Д Б С α ¯ а γ 3 мю λ А а В Б ν В С р

(где т А - выбранный базис в алгебре Ли калибровочной группы такой, что структурные константы определяются как [ т А , т Б ] "=" я С Д А Б т Д )

Понятно, что при выборе коэффициента 2 для Т р [ Ф Д ] и я для Т р [ λ ¯ а λ а ] некоторые члены вариации вспомогательных полей могут быть сокращены, а некоторые из оставшихся членов вариации фермионного члена полностью сокращают суперсимметричную вариацию кинетического члена калибровочных полей.

Что осталось,

дельта ( Т р [ ϵ мю ν р В мю ν В р + я λ ¯ а λ а 2 Ф Д ] ) "=" Т р [ т А т Б ] { я α ¯ а γ 3 р λ А а С Б С Д В С мю В Д ν ϵ мю ν р
2 я α ¯ а γ 3 мю λ Б а С А Б С В Б мю Ф С 2 я α ¯ а γ 3 мю λ С а С Б Б С В Б мю Ф А }

и

дельта ( Т р [ ϵ мю ν р В мю В ν В р ] ) "=" 3 2 Т р [ т А т Б ] α ¯ а γ 3 мю λ А а С Б С Д В С ν В Д р ϵ мю ν р

  • Неясно, можно ли выбрать такой коэффициент для последнего члена, чтобы суперсимметричная вариация суммы LHS стремилась к нулю.

Вышеупомянутые термины кажутся структурно очень разными, и поэтому неясно, как они будут отменены. Подобно тому, как изменение члена фермионной самосвязи создает связь фермионной составляющей, калибровочного поля и вспомогательного поля. Такой член не создается изменением куба члена калибровочного поля!

Можно ожидать, что лагранжиан должен выглядеть примерно так:

Т р [ ϵ мю ν р ( В мю ν В р я 2 3 В мю В ν В р ) + я λ ¯ а λ а 2 Ф Д ]

Я хотел бы получить некоторую помощь в установлении выше!

  • Один прогресс был бы, если бы два члена со структурной константой фактически сокращались, т.е.

если

Т р [ т А т Б ] { С А Б С λ Б а В Б мю Ф С + С Б Б С λ С а В Б мю Ф А } "=" 0

Но из вышесказанного непонятно!

NB. Мои структурные константы определены как [ т А , т Б ] "=" я С Д А Б т Д

Ответы (2)

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

Ваши индексные сокращения кажутся немного странными. В первый срок на РГО

дельта ( Т р [ ϵ мю ν р В мю ν В р + я λ ¯ а λ а 2 Ф Д ] ) "=" Т р [ т А т Б ] { я α ¯ а γ 3 р λ А а С А Б С В Б мю В С ν 2 я α ¯ а γ 3 мю λ Б а С А Б С В Б мю Ф С } ,
индексы Лоренца не сокращаются, вы пропустили ϵ мю ν р ? Кроме того, в одном и том же термине трижды повторяются калибровочные индексы (т.е. один и тот же индекс встречается 3 раза), что неприятно.

Если исправить сказанное выше и, возможно, использовать симметрию Т р [ т А т Д ] срок для перемещения Д индекс в правой части кубического члена дельта ( Т р [ ϵ мю ν р В мю В ν В р ] ) , тогда, возможно, вы сможете отменить первый термин, о котором говорилось выше.

Наконец, второй член в правой части приведенного выше уравнения не может быть отменен ничем другим. Так что проверьте свой результат на дельта ( Т р [ λ ¯ а λ а ] ) - может быть, термин "проблема" предназначен для того, чтобы исчезнуть... Вы уверены, что ваши варианты Susy верны? У вас есть ссылка (например, http://arxiv.org/abs/hep-th/9506170 ), которую вы можете проверить?

у вас трижды повторяющиеся калибровочные индексы, что неприятно ... @Simon, это соглашение о суммировании Эйнштейна, которое используется все время. Не уверен, что вы подразумеваете под "неприятным".
@Deepak: Обычно вы суммируете только дважды повторяющиеся индексы - соблюдение этого соглашения позволяет избежать странных ошибок. В некоторых ситуациях вы можете обойти это правило, например, когда у вас есть знаковый фактор, который зависит от индекса...
@Deepak: Во втором термине у вас есть индексы B ', но в первом вы просто повторяете индексы A и B. Я подумал, что, возможно, это было по ошибке. Похоже, вы не выбрали основу для своей калибровочной группы (или, по крайней мере, метрику для своей базы), поэтому нет причин предполагать, что они ортогональны по трассе. Может быть, вы должны выбрать т р ( т а т б ) дельта а б и упростить выражения.
@Simon, позвольте мне привести простой пример. Для трех векторов выражение А Б × С дает объем параллелепипеда, заданного этими векторами. Можно также написать это как ϵ а б с А а Б б С с в обозначении индекса.
@Deepak: я не дурак.
@ Саймон, извините, если мой комментарий попал именно так. Я, конечно, не хочу предложить ничего подобного!
@Deepak: я просто подумал, что использование фразы «индексные сокращения» и указание на то, что у вас есть непревзойденные свободные индексы в RHS и что у вас есть одни и те же индексы, встречающиеся три раза в одном выражении, могло бы показать, что я знаю о соглашении суммирования Эйнштейна. . Я назвал «трижды повторяющиеся» индексы «неприятными», потому что это необычно и, если непреднамеренно, может стать источником ошибок.
@Deepak: Кроме того, в качестве примечания, я предпочитаю использовать индексы ковариантных и контравариантных калибровочных групп. Ибо если вам нужно выполнить расчет, в котором базис не является ортогональным, например, базис Картана-Вейля, вам нужно различать метрику и ее обратную. Это также помогает отлавливать случайные ошибки, поскольку индексы должны совпадать.
@Deepak: Может быть, я глуп. Извините, что предположил, что вы были ОП...
@Simon Спасибо, что указали на опечатку! Я исправил его и написал оставшиеся неотмененные варианты более симметрично.
@Anirbit: Извините, но я не понимаю, почему С А Б С В Б мю Ф С должно быть равно нулю... Кроме того, теперь, когда вы указываете на них, С U ( 2 ) индексы на α и λ всегда следует заключать с одним вверх и одним вниз - это потому, что, как вы указали, метрика ϵ α β что не по диагонали...
@Anirbit: Надеюсь, как только вы разберетесь со всеми этими небольшими проблемами, расчет будет работать на вас. Извините, я не мог дать вам более конкретную помощь.
@Simon На самом деле есть еще неотмененные условия! Я по ошибке использовал нормальную производную, а не калибровочную ковариантную производную. Как только я это сделаю, есть еще условия, которые не отменить! Я добавил все новые термины в отредактированный вопрос.
@Simon Индексы на α и λ заключаются контракты прямо из-за повышения и понижения условностей α что было указано. (И я видел эти статьи Као и Ли. Я использую соглашение о знаках из их первых статей 1992 года. Но они никогда не записывали преобразования неабелевой суперсимметрии, при которых они построили бы неабелеву супер-теорию Черна-Саймонса. .)

@Deepak: тройное повторение функционально четко определено как часть соглашения о суммировании Эйнштейна, но в целом бессмысленно: сокращения должны быть групповыми инвариантами, и в этом смысле такие тройные «сокращения» бессмысленны.