Как узнать, что лагранжиан имеет симметрию SU(2)×SU(2)SU(2)×SU(2)SU(2)\times SU(2)?

это очень простой вопрос, и на него, вероятно, есть очень простой ответ.

Я читал некоторые раздаточные материалы, когда наткнулся на что-то, чего не понял. Один рассматривал простой лагранжиан

л знак равно мю ф мю ф м 2 ф ф λ ( ф ф ) 2
куда ф представляет собой сложный дублет. Затем автор сказал, что симметрия этого лагранжиана равна С U ( 2 ) × С U ( 2 ) . Однако я думал, что это просто С U ( 2 ) или U ( 1 ) × U ( 1 ) ? Затем я погуглил и обнаружил, что группа Лоренца изоморфна С U ( 2 ) × С U ( 2 ) , что, я думаю, является одним из объяснений. Однако мне было интересно, можно ли показать, что лагранжиан инвариантен относительно С U ( 2 ) × С U ( 2 ) действуя с некоторым преобразованием, не прибегая к лоренц-инвариантности?

Любая помощь будет принята с благодарностью (:

По крайней мере, для одного С U ( 2 ) группа замечает, что ф ф ф U U ф когда вы берете ф U ф . Так что если U унитарный лагранжиан будет инвариантным.
Отлично. Но что означает, что симметрия С U ( 2 ) * С U ( 2 ) ?
Также группа Лоренца на самом деле не изоморфна С U ( 2 ) × С U ( 2 ) как группы Ли, потому что первая некомпактна, а вторая компактна. На уровне алгебры Ли есть прием, использующий комплексификацию, когда вы можете разделить алгебру групп Лоренца на две коммутирующие части. с ты ( 2 ) с.
Сложный дублет в каком смысле? например как С U ( 2 ) дублетное представление?
ф знак равно ( ф 1 , ф 2 ) с ф 1 и ф 2 являющиеся сложными полями.
Хорошо, эта информация меняет все. Тогда симметрия С U ( 2 ) как описано в моем ответе

Ответы (4)

Вы уже получили свой ответ, хорошо, несколько раз, но я подчеркну центральную загадку вашего вопроса, на которую вы получили только косвенные ответы, связанные со своеобразной специальной структурой SO (4). В любом уважающем себя тексте, вводящем стандартную модель, она более-менее есть. Я пропущу все лишние вопросы, такие как лагранжевы члены, U (1) и т. Д. ... и буду придерживаться инвариантности билинейного скаляра, лежащего в основе вашего недоумения.

Я подозреваю, что вы спрашиваете, как билинейная ф ф инвариантный относительно двух разных коммутирующих SU (2) вместо знакомой калиброванной SU (2), действующей слева на комплексный вектор,

ф ( ф 1 ф 2 ) .
Сначала нужно вспомнить, что SU(2) псевдовещественно, т.е. сопряженное представление ф ~ я т 2 ф * эквивалентна этому фундаментальному, т. е. действующему на
ф ~ знак равно ( ф 2 * ф 1 * )
производит одно и то же преобразование во всех четырех компонентах ф , действительные и мнимые части.

Теперь рассмотрим сложную матрицу 2x2 со столбцами ф ~ и ф , соответственно, так Φ 1 2 [ ф ~   ,   ф ] , так

Φ знак равно 1 2 ( ф 2 * ф 1 ф 1 * ф 2 )   ,
и проверьте это
Φ Φ знак равно ( ф ф )   1 1   /   2   ,
так Тр Φ Φ знак равно ф ф .

Теперь левое умножение Φ унитарным SU(2)-вращением оставляет матрицу билинейной Φ инвариант s и, тем более, его следовый инвариант.

Примечательно, однако, что правое умножение на другую, независимую SU(2), которая ничего не знает о левой, перемешивает два столбца таблицы. Φ друг с другом, сохраняя, однако, свои свойства левого SU(2) преобразования, поскольку, как мы видели, каждый столбец Φ приводит к тому же результату при преобразовании левого SU (2). Это очевидно, но вы можете убедиться, сделав правое преобразование, левое преобразование, а затем обратное правое преобразование — у вас останется исходное левое преобразование.

Несмотря на то, Φ билинейный не является право-SU(2)-инвариантным, в силу цикличности следа его след является инвариантным. Так что все ф ф билинейные как слева, так и справа SU(2)-инвариантны, как и все лагранжевы кинетические и потенциальные члены, которые вы бы построили. Однако правая инвариантность будет нарушена связью с калибровочными полями, как вы можете проверить.

Ответ на этот вопрос довольно тонкий. Сначала рассмотрим наиболее общий потенциал Хиггса, который является перенормируемым и инвариантным относительно С U ( 2 ) л U ( 1 ) Д калибровочные преобразования, имеющие вид

В знак равно λ ( ф ф мю 2 ) 2
Где
ф знак равно 1 2 ( ф 1 + я ф 2 ф 3 + я ф 4 )
С точки зрения ф я ( я знак равно 1 , 2 , 3 , 4 ) , потенциал Хиггса может быть выражен как
В знак равно λ 4 ( ф 1 2 + ф 1 2 + ф 3 2 + ф 4 2 2 мю 2 ) 2
Если мы определим
Φ знак равно ( ф 1 ф 2 ф 3 ф 4 )
Тогда потенциал Хиггса инвариантен относительно поворотов четырех полей, которые приводят к С О ( 4 ) как глобальная группа симметрии. Эта группа изоморфна С U ( 2 ) С U ( 2 ) , потому что оба имеют одну и ту же алгебру Ли. Эта симметрия глобальна и не требует введения калибровочных полей.

При нарушении симметрии скалярное поле ф 4 получить vev, отличное от нуля, и его можно переопределить следующим образом ф 4 знак равно ЧАС + в . где H получает свою массу и называется частицей Хиггса. Более того, она имеет vev, равную нулю. Это поле представляет собой физическую степень свободы, и его масса пропорциональна λ неизвестный в модели параметр. Остальные скалярные поля остаются безмассовыми. Они являются потенциальными бозонами Голдстоуна и соответствуют градусам, которые калибровочные поля «съедают», чтобы получить массу или продольную составляющую. Потенциал Хиггса можно записать как функцию новых полей следующим образом

В знак равно λ 4 ( ф 1 2 + ф 1 2 + ф 3 2 + ЧАС 2 + 2 ЧАС в + в 2 2 мю 2 ) 2
В этом новом потенциале глобальная симметрия нарушается С О ( 3 ) , который вращает только три скалярных поля. Он изоморфен С U ( 2 ) В , диагональная часть С U ( 2 ) С U ( 2 ) . Которая также известна как опекунская симметрия .

Так же, как примечание к хорошему ответу, С U ( 2 ) и С О ( 3 ) имеют ту же алгебру, но не изоморфны группам.

После небольшого обсуждения я считаю, что на самом деле С U ( 2 ) × С U ( 2 ) в некотором смысле симметрия.

Так что в принципе есть U ( 2 ) симметрия, если ф знак равно ( ф 1 , ф 2 ) Т , ф знак равно ( ф 1 * , ф 2 * ) и лагранжиан

л знак равно мю ф мю ф м ф ф λ ( ф ф ) 2 ,
просто отправлено ф U ф , для любой унитарной матрицы U .

Но мы можем попробовать написать сложные скалярные поля ф я знак равно ( ф я ) + я ( ф я ) в терминах вещественных скалярных полей.

Скажем, чтобы привести в порядок обозначения ф 1 знак равно η 1 + я η 2 и ф 2 знак равно η 3 + я η 4 , где η я являются вещественными скалярными полями.

Затем

ф ф знак равно η 1 2 + η 2 2 + η 3 2 + η 4 2
и
мю ф мю ф знак равно мю ф 1 * мю ф 1 + мю ф 2 * мю ф 2 знак равно я мю η я мю η я

Таким образом, фактически лагранжиан становится

л знак равно я мю η я мю η я м ( η 1 2 + η 2 2 + η 3 2 + η 4 2 ) λ ( η 1 2 + η 2 2 + η 3 2 + η 4 2 ) 2

Или если мы соберем η знак равно ( η 1 , η 2 , η 3 , η 4 ) Т тогда у нас есть:

л знак равно мю η Т мю η м η Т η λ ( η Т η ) 2

Этот лагранжиан действительных скалярных полей равен С О ( 4 ) или ( О ( 4 ) ) инвариант, универсальным покрытием которого я считаю С U ( 2 ) × С U ( 2 ) . Я не знаю всех подробностей теории представлений, но после прочтения книги Вайнберга я пришел к выводу, что можно аналогичным образом заменить группу симметрий ее универсальным покрытием. С О ( 3 ) заменен на С U ( 2 ) в квантовой механике.

Здесь есть ссылка на mathstackexchange о С О ( 4 ) и это отношение к С U ( 2 ) × С U ( 2 ) а также в комментариях есть ссылка, по которой я думаю как матричные группы , а не как группы лжи С О ( 4 ) С U ( 2 ) С U ( 2 ) .

Хотя физически я думаю, что дополнительная симметрия возникает из-за того, что изначально мы сказали, что ф 1 знак равно η 1 + я η 2 и ф 2 знак равно η 3 + я η 4 , но с таким же успехом мы могли бы определить ф 1 знак равно η 1 + я η 4 и ф 2 знак равно η 2 + я η 3 , или любой другой вариант, и лагранжиан будет выглядеть точно так же.

Опять же, если вы проверите ту ссылку на mathstack, на которую ссылается kennym, или для удобства здесь , отношение вышеуказанных групп, кажется, появляется в исследованиях запутанности в квантовых вычислениях.

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

Если поле представляет собой простое комплексное скалярное поле, то симметрия просто U ( 1 ) . Для более высокой симметрии ф также должен быть более размерным, например, вы можете добавить векторный индекс ф я с я знак равно 1 , 2 для простоты, что означает, что вы добавляете дополнительное сложное поле. Если эти два поля взаимодействуют, теперь у вас может быть два случая:

Каждое поле имеет U ( 1 ) симметрия и условия взаимодействия, например λ 12 | ф 1 | 2 | ф 2 | 2 , уважать U ( 1 ) симметрия. Однако поля имеют разные параметры, такие как массы и константы самосвязи. Тогда у вас есть отдельные U ( 1 ) симметрии, а общая симметрия вашего лагранжиана равна U ( 1 ) × U ( 1 ) .

л знак равно мю ф 1 мю ф 1 м 1 2 ф 1 ф 1 λ 1 ( ф 1 ф 1 ) 2 + мю ф 2 мю ф 2 м 2 2 ф 2 ф 2 λ 2 ( ф 2 ф 2 ) 2 + λ 12 | ф 1 | 2 | ф 2 | 2

В случае 2 остальные параметры одинаковы для обоих полей, поэтому симметрия С U ( 2 ) , потому что вы можете вращать их с одной и той же фазой.

л знак равно мю ф 1 мю ф 1 м 2 ф 1 ф 1 λ ( ф 1 ф 1 ) 2 + мю ф 2 мю ф 2 м 2 ф 2 ф 2 λ ( ф 2 ф 2 ) 2 + λ | ф 1 | 2 | ф 2 | 2

Лагранжиан ОП, по-видимому, относится к этому типу, где скалярные произведения в пространстве двух полей явно не записаны.

Спасибо за проницательность (: Однако я до сих пор не понимаю, почему мы говорим, что лагранжиан имеет С U ( 2 ) * С U ( 2 ) симметрия?
лагранжиан, который вы написали, по-видимому, имеет этот векторный индекс, о котором я говорю, просто не написанный явно. Итак, это краткое обозначение для моего случая 2, у вас есть два комплексных скалярных поля, и все члены взаимодействия имеют одинаковые константы связи.
@ Noldig, как ты это покажешь? U ( 1 ) × U ( 1 ) такой же как С U ( 2 ) × С U ( 2 ) ?
где я это утверждал?