Спонтанное нарушение симметрии SU(2)SU(2)SU(2) в вещественных и комплексных скалярных полях

Вот игрушечная задачка, цель которой — помочь мне понять, как разбивать глобальные симметрии на подгруппы и в каких случаях это возможно. Мой вопрос : влияет ли реальное или сложное поле на легкость, с которой глобальные группы симметрии разбиваются на подгруппы?


Рассмотрим реальное скалярное поле ф в 3 представительство С U ( 2 ) :

л "=" 1 2 мю ф а мю ф а 1 2 м 2 ф а ф а ( ф а ф а в 2 ) 2

Здесь генераторами являются те, которые соответствуют С О ( 3 ) , поэтому их возведение в степень дает реальные матрицы вращения,

Т 1 "=" ( 0 0 0 0 0 я 0 я 0 ) ,       Т 2 "=" ( 0 0 я 0 0 0 я 0 0 ) ,       Т 3 "=" ( 0 я 0 я 0 0 0 0 0 )

При спонтанном нарушении симметрии поле ф а "=" ф а ~ + с а , где с а является действительным вектором, величина которого в . Мы будем иметь, что глобальная симметрия нарушается до нетривиальной подгруппы, действующей на ф а ~ если с а инвариантна относительно подгруппы.

Обратите внимание, что ( р а ) "=" ( 0 0 в ) инвариантен относительно возведения в степень Т 3 ; то есть, если у нас есть это с а "=" р а , затем ф а ~ инвариантен относительно U ( 1 ) подгруппа С U ( 2 ) Сгенерированно с помощью Т 3 .

Потому что С U ( 2 ) может вращать любой действительный вектор с величиной в на р а , мы всегда можем взять с а "=" р а , и так у нас всегда будет ф а ~ инвариант относительно U ( 1 ) подгруппа С U ( 2 ) .


Сравните это со сложным скалярным полем ψ в 3 представление:

л "=" мю ψ а мю ψ а м 2 ψ а ψ а ( ψ а ψ а в 2 ) 2

Здесь я возьму генераторы для возведения в степень групповых действий, которые смешивают реальную и мнимую части:

Т 1 "=" 1 2 ( 0 1 0 1 0 1 0 1 0 ) ,       Т 2 "=" 1 2 ( 0 я 0 я 0 я 0 я 0 ) ,       Т 3 "=" ( 1 0 0 0 0 0 0 0 1 )

При спонтанном нарушении симметрии поле ψ а "=" ψ а ~ + с а , где с а представляет собой комплексный вектор, величина которого равна в . Мы будем иметь, что глобальная симметрия нарушается до нетривиальной подгруппы, действующей на ψ а ~ если с а инвариантна относительно подгруппы.

Обратите внимание, что ( р α а ) "=" ( 0 в е я α 0 ) инвариантен относительно возведения в степень Т 3 для произвольного α ; то есть, если у нас есть это с а "=" р α а , затем ф а ~ инвариантен относительно U ( 1 ) подгруппа С U ( 2 ) Сгенерированно с помощью Т 3 .

Потому что С U ( 2 ) не может вращать каждый комплексный вектор с величиной в на р α а (Я верю для любого α , хотя, пожалуйста, поправьте меня, если я не прав), мы не всегда можем принять с а "=" р а , и поэтому мы будем иметь только иногда ψ а ~ инвариант относительно U ( 1 ) подгруппа С U ( 2 ) .


Эта разбивка правильная? То есть всегда ли мы гарантированно имеем U ( 1 ) подгруппа сохраняется в первом случае, а во втором не гарантируется наличие U ( 1 ) подгруппа сохранилась?

Ответы (1)

Вы сделали что-то вроде хэша установки, и, следовательно, вопросы, которые вы предполагаете, напрашиваются.

Сначала вы должны заметить, что ваше первое действие является SO (3)-инвариантным, поэтому, как вы правильно заметили, SO (3) разбивается на SO (2), ваш непрерывный U (1).

Однако ваше второе сложное действие на самом деле SO (6)-инвариантно, если только вы написали его как теорию 6-векторов, действительных и мнимых частей ваших комплексных скаляров. Потенциал разбивает SO(6) этой теории на SO(5), который имеет 10 непрерывных генераторов, а не один. Ваш субоптимальный сферический базис для подгруппы SO (3) SO (6), которую вы рассматриваете, затрудняет понимание этого. Таким образом, у вас есть не только выживший U(1), но и выживший SO(5).

Несколько технических подробностей.

  • Первый базис, который вы пишете, - это эрмитовы мнимые матрицы, поэтому их экспоненты являются только реальными ортогональными матрицами при умножении на i . С таким же успехом вы можете отказаться от i , чтобы перейти к SO(3) и реальным структурным константам.

  • Второй, сферический, базис, который вы используете, строго эквивалентен первому, преобразование подобия, которое обеспечивает это, приведено в Википедии . Таким образом, вы ничего не достигаете, используя его, кроме того, что делаете ключевую точку непрозрачной для доступа. Если бы вы использовали ту же основу, вы бы увидели, что подгруппа SO(3), которую они охватывают, представляет собой прямую сумму двух блоков SO(3) 3 × 3, встроенных в матрицы SO(6) 6 × 6, не перекрывает неразрывную Матрицы SO(5) и, таким образом, не помогут вам изучить ее ломаную структуру, особенно выжившие генераторы: подгруппа SO(3), которую вы написали, полностью сломана. Вы можете написать 15 генераторов SO (6) в обобщенной форме вашего первого (вращательного) базиса, воткните свой rв нижнем компоненте и наблюдайте, как 10 матриц SO (5) вращают 0-компоненты друг к другу.

  • Вы, конечно, можете перевести все это в сложную нотацию, но зачем?

  • В любом случае ответ на ваш номинальный вопрос таков: да, реальность или сложность представления очень сильно влияет на разбиение рассматриваемой группы. Вспомните полное нарушение Стандартной модели со сложным дублетным представлением; резко контрастирует с моделью Джорджи-Глэшоу с реальным триплетным представлением. И опекунская SO (4) ~ SU (2) × SU (2) симметрия потенциала Хиггса.

Арх, мне очень неловко, что я пропустил, что моя вторая теория была С О ( 6 ) инвариант! Спасибо, что описали, как непрерывный С О ( 5 ) матрицы не перекрываются С О ( 3 ) блоки.
В качестве утешения, если бы в вашем SO(3) были явные условия нарушения SO(6), то, действительно, весь SO(3) был бы нарушен сложным триплетом, как вы заметили. Нечто подобное происходит и со стандартной моделью со сложным дублетом, полностью ломающим СУ(2)... спасает положение гиперзаряд...