Почему бесконечно малая SUSY-вариация порождается суммой левой и правой киральной образующей

Мне было интересно, почему во многих (всех? Например, https://arxiv.org/abs/hep-ph/9709356 ) ресурсах по N=1 SUSY изменение поля в простейшей бесплатной модели susy определяется как

дельта ϵ ф "=" ( ϵ Вопрос + ϵ ¯ Вопрос ¯ ) ф
а не просто как
дельта ϵ ф "=" ( ϵ Вопрос ) ф
с соответствующим сопряженным преобразованием. Это несколько смущает меня, потому что я ожидаю, что необходимо показать, что действие инвариантно относительно действия только левокирального генератора.

Можно ли определить преобразования SUSY отдельно для Вопрос и Вопрос ¯ так что, например, для свободной киральной модели

[ Вопрос α , ф ] х α , { Вопрос α , х β } "=" 0 , [ Вопрос ¯ α ˙ , ф ] х ¯ α ˙ , { Вопрос ¯ α ˙ , х β } о β α ˙ мю мю ф ?


Я считаю, что нашел ответ сам, см. ниже.

Ответы (2)

Часть алгебры суперсимметрии

{ Вопрос а ,   Вопрос ¯ б ˙ }   "="   2 я о а б ˙ мю мю
который является оператором импульса п мю   "="   я мю . Градуированная алгебра Ли г   "="   час   +   к
[ час ,   час ]     час ,   [ час ,   к ]     к ,   { к ,   к }     час ,
где последний из них содержит указанный выше антикоммутатор. Эта модель имеет киральную симметрию. Тогда это означает, что левые и правые генераторы действуют на скаляр и поле Дирака.
дельта ϵ ф   "="   ( ϵ Вопрос   +   ϵ ¯ Вопрос ¯ ) ф   "="   ϵ ψ ¯   +   ϵ ¯ ψ
дельта ϵ ψ   "="   ϵ γ ф   +   ϵ ¯ γ ф ¯ .
Это стандартная модель SUSY.

Модель Весса-Зумино вводит псевдоскалярное поле η и модель считается левой или правой киральной, которая добавляется к полю Дирака при SUSY-преобразованиях

дельта ϵ ф   "="   ϵ ¯ Вопрос ¯ ф   "="   ϵ ψ ¯
дельта η   "="   ϵ ¯ γ 5 ψ
дельта ϵ ψ   "="   ϵ ( γ ф   +   γ 5 η ) .
Генераторы преобразования майорановские, а поле ψ является майорановским фермионом. Майорановский фермион является собственной античастицей. Зарядовое сопряжение ψ является С ψ   "="   я ψ * . Внешний вид ψ и С ψ в лагранжиане означает, что поле Майорана должно быть электрически нейтральным для сохранения заряда. Тогда это будет частица, такая как нейтрино. Мы можем с помощью оператора зарядового сопряжения преобразовать С ϵ   "="   ϵ * "="   γ 0 ϵ ¯ и аналогично С Вопрос   "="   Вопрос * "="   γ 0 Вопрос ¯ и таким образом мы можем определить два суперпреобразования по отдельности.

Что касается коммутаторов, я бы, может быть, взял бы небольшую проблему с правым нижним. Элементы х а содержатся в к с { к ,   к }     час и поэтому я думаю, что это должен быть антикоммутатор, который

{ Вопрос ¯ а ˙ ,   х б }   "="   Вопрос ¯ а ˙ х б   +   х б Вопрос ¯ а ˙
  Вопрос ¯ а ˙ Вопрос б ф     Вопрос ¯ а ˙ ф Вопрос б   +   ф Вопрос б Вопрос ¯ а ˙     Вопрос б ф Вопрос ¯ а ˙ .
Для ф скалярное поле, которое преобразуется супергенераторами, мы должны позаботиться о том, чтобы коммутировать это мимо супергенераторов
{ Вопрос ¯ а ˙ ,   х б }   "="   { Вопрос ¯ а ˙ ,   Вопрос б } ф     ( Вопрос ¯ а ˙ ф ) Вопрос б   +   ( Вопрос б ф ) Вопрос ¯ а ˙ .
"="   2 я о а ˙ б мю мю ф   +   ψ ¯ а ˙ Вопрос б   +   ψ б Вопрос ¯ а ˙ .
Последние два выражения в первой строке выше имеют круглые скобки, указывающие, что супергенератор действует только на поле ф . Сейчас ψ ¯ а ˙ Вопрос б   "="   ψ а Вопрос ¯ б ˙ ¯ и с определенным майорановским фермионом С ψ   "="   я γ 0 ψ ¯ и аналогично для образующих возникновение я 2   "="   1 означает вычитание двух последних членов.

Необходимо помнить, что с я о а ˙ б мю мю ф это на самом деле работает на обоих ф и любое другое поле или волна

я о а ˙ б мю мю ( ф х )   "="   я о а ˙ б мю ( ( мю ф ) х   +   ф мю х )
и что это оператор, который действует на поля.

Привет, спасибо за ваш ответ. У меня есть еще несколько вопросов. Используя термин Модель Весса-Зумино, я имел в виду, например, arxiv.org/abs/hep-ph/9709356 , который, кажется, отличается от того, что вы говорите, или того, что можно найти в Википедии. В Мартинсе SUSY Primer он называет свободную киральную модель с фермионом Вейля и комплексным скаляром «моделью Весса Зумино», не упоминая, что фермион является майорановским или часть комплексного скаляра является нечетной по четности. Поэтому я изменил название модели выше на «свободная хиральная модель», чтобы избежать путаницы.
Я считаю, что я имею в виду то, что вы называете «стандартной моделью Susy». Теперь мой вопрос: почему в этой модели вариация содержит как левый, так и правый киральный генератор. Вместо этого можно было бы предположить, что левый и правый киральные генераторы действуют раздельно, но, по-видимому, это не так. В своем ответе вы, кажется, подразумеваете, что это связано с киральной симметрией. Не могли бы вы уточнить это?
О других комментариях: может быть, мне нужна антикоммутация для действия Q на х . Я проверю это, спасибо! Кроме того, я не думаю, что понимаю, что вы говорите в последних двух уравнениях. На всякий случай я назвал свое скалярное поле Z, и оно преобразуется под действием SUSY-генераторов. (Я, вероятно, отредактирую его на ф просто чтобы не путаться)
Если Z является скалярным полем, которое преобразуется под действием этих образующих, то все оказывается более сложным. Кстати, я исправил ошибку «вырезать и вставить» выше. Сегодня мне придется подумать об этом немного позже и, возможно, обновить свой ответ.
Спасибо за обновление вашего поста. Это не совсем ответило на мой вопрос, но было полезно разобраться в этом самостоятельно.

Ладно, думаю, я сам во всем разобрался. Я буду следовать условностям Wess & Bagger.

Если кто-то хочет построить свободный, Н "=" 1 SUSY с комплексным скаляром и фермионом Вейля, то возможные преобразования диктуются теорией представлений группы Лоренца, размерностями и требованием наличия свободной теории, и получается:

[ Вопрос α , ф ] "=" с 0 х α [ Вопрос α , ф * ] "=" с 1 х α { Вопрос α , х β } "=" 0 { Вопрос α , х ¯ β ˙ } "=" с 3 о α β ˙ мю мю ф + с 4 о α β ˙ мю мю ф *
плюс эрмитовы сопряжения этих (анти-)коммутационных соотношений. Тогда замыкание SUSY-алгебры накладывает ограничения на коэффициенты с я который может быть решен, например, с помощью:
с 0 "=" 2 , с 4 "=" я 2 .
Ненулевые преобразования
[ Вопрос α , ф ] "=" 2 ф α [ Вопрос ¯ α ˙ , ф * ] "=" 2 х ¯ α ˙ { Вопрос α , х ¯ β ˙ } "=" я 2 о α β ˙ мю мю ф * { Вопрос ¯ α ˙ , х β } "=" я 2 о β α ˙ мю мю ф
Дело в том, что действие на лагранжиан с любым генератором оставляет лагранжиан инвариантным, поэтому @ мой второй вопрос, да, можно определить коммутаторы так, как я написал в вопросе.

Это не совсем объясняет, почему вариация определяется именно так. Единственный аргумент, который у меня есть на данный момент (что делает меня достаточно счастливым), заключается в том, что:

  1. Это возможно, потому что вариация за счет лево- и правокиральных генераторов не смешивается.
  2. Генератор вариации эрмитов