WikiDer > Теория представлений SU (2)

Representation theory of SU(2)

При изучении теория представлений из Группы Ли, изучение представлений SU (2) имеет фундаментальное значение для изучения представлений о полупростые группы Ли. Это первый случай группы Ли, которая одновременно является компактная группа и неабелева группа. Первое условие подразумевает, что теория представлений дискретна: представления прямые суммы сборника основных неприводимые представления (регулируется Теорема Питера – Вейля). Второй означает, что будут существовать неприводимые представления в размерностях больше 1.

SU (2) - это универсальная группа покрытий из ТАК (3), и поэтому его теория представлений включает в себя теорию последних посредством сюръективный гомоморфизм к нему. Это лежит в основе значения SU (2) для описания нерелятивистских вращение в теоретическая физика; видеть ниже для другого физического и исторического контекста.

Как показано ниже, конечномерные неприводимые представления SU (2) индексируются неотрицательным целым числом ${ displaystyle m}$ и иметь размер ${ displaystyle m + 1}$ . В физической литературе представления обозначаются величиной ${ displaystyle l = m / 2}$ , куда ${ displaystyle l}$ тогда либо целое, либо полуцелое число, а размерность ${ displaystyle 2l + 1}$ .

Представления алгебры Ли

Представления группы находятся путем рассмотрения представлений su (2), Алгебра Ли группы SU (2). Поскольку группа SU (2) односвязна, каждое представление ее алгебры Ли можно интегрировать в представление группы;^[1] мы дадим явную конструкцию представлений на групповом уровне ниже. Ссылка на этот материал - это раздел 4.6 (Зал 2015).

Вещественные и комплексифицированные алгебры Ли

Вещественная алгебра Ли su (2) имеет основание дано

{ displaystyle u_ {1} = { begin {bmatrix} 0 & i i & 0 end {bmatrix}} qquad u_ {2} = { begin {bmatrix} 0 & -1 1 & 0 end {bmatrix}} qquad u_ {3} = { begin {bmatrix} i & 0 0 & -i end {bmatrix}} ~,}

(Эти базисные матрицы, относящиеся к Матрицы Паули к ${ Displaystyle и_ {1} = + я sigma _ {1} ~, , и_ {2} = - я sigma _ {2}}$ и ${ displaystyle u_ {3} = + i sigma _ {3} ~.}$ )

Матрицы представляют собой представление кватернионы:

{ displaystyle u_ {1} , u_ {1} = - I ,; ~~ quad u_ {2} , u_ {2} = - I ,; ~~ quad u_ {3} , u_ {3} = - I ,;}

{ displaystyle u_ {1} , u_ {2} = + u_ {3} ,; quad u_ {2} , u_ {3} = + u_ {1} ,; quad u_ {3} , u_ {1} = + u_ {2} ,;}

{ displaystyle u_ {2} , u_ {1} = - u_ {3} ,; quad u_ {3} , u_ {2} = - u_ {1} ,; quad u_ {1} , u_ {3} = - u_ {2} ,.}

куда $я$ - обычная единичная матрица 2 × 2: ${ displaystyle ~~ I = { begin {bmatrix} 1 & 0 0 & 1 end {bmatrix}} ,.}$

Следовательно, матрицы кронштейны коммутатора удовлетворить

{ displaystyle [u_ {1}, u_ {2}] = 2u_ {3} ,; quad [u_ {2}, u_ {3}] = 2u_ {1} ,; quad [u_ {3} , u_ {1}] = 2u_ {2} ,.}

Тогда удобно перейти к комплексифицированной алгебре Ли

{ Displaystyle mathrm {su} (2) + я , mathrm {su} (2) = mathrm {sl} (2; mathbb {C})}

.

(Косые самосопряженные матрицы с нулевым следом плюс самосопряженные матрицы с нулевым следом дают все матрицы с нулевым следом.) Пока мы работаем с представлениями над ${ Displaystyle mathbb {C}}$ этот переход от вещественной алгебры Ли к комплексной алгебре безвреден.^[2] Причина перехода к комплексификации состоит в том, что она позволяет нам построить хороший базис типа, который не существует в реальной алгебре Ли su (2).

Комплексифицированная алгебра Ли натянута на три элемента ${ displaystyle X}$ , ${ displaystyle Y}$ , и ${ displaystyle H}$ , данный

{ displaystyle H = { frac {1} {i}} u_ {3}; quad X = { frac {1} {2i}} (u_ {1} -iu_ {2}); quad Y = { frac {1} {2i}} (u_ {1} + iu_ {2}),}

или, явно,

{ displaystyle H = { begin {bmatrix} 1 & 0 0 & -1 end {bmatrix}}; quad X = { begin {bmatrix} 0 & 1 0 & 0 end {bmatrix}}; quad Y = { begin {bmatrix} 0 & 0 1 & 0 end {bmatrix}} ~.}

Они удовлетворяют коммутационным соотношениям

{ Displaystyle [H, X] = 2X, quad [H, Y] = - 2Y, quad [X, Y] = H}

.

С коэффициентом 2 элементы ${ displaystyle H}$ , ${ displaystyle X}$ и ${ displaystyle Y}$ можно отождествить с операторами углового момента ${ displaystyle J_ {z}}$ , ${ displaystyle J _ {+}}$ , и ${ displaystyle J _ {-}}$ , соответственно. Фактор 2 - это несоответствие между математическими и физическими соглашениями; мы попытаемся упомянуть оба соглашения в следующих результатах.

Веса и структура представительства

В этом случае собственные значения для ${ displaystyle H}$ называются веса представительства. Следующий элементарный результат^[3] это ключевой шаг в анализе. Предположим, что ${ displaystyle v}$ является собственный вектор за ${ displaystyle H}$ с собственным значением ${ displaystyle alpha}$ , то есть, что ${ Displaystyle H cdot v = альфа v}$ . потом

{ Displaystyle { begin {align} H cdot (X cdot v) & = ( alpha +2) X cdot v [3pt] H cdot (Y cdot v) & = ( alpha - 2) Y cdot v end {выровнено}}}

Другими словами, ${ Displaystyle X cdot v}$ является либо нулевым вектором, либо собственным вектором для ${ displaystyle H}$ с собственным значением ${ displaystyle alpha +2}$ и ${ Displaystyle Y cdot v}$ либо нулевой, либо собственный вектор для ${ displaystyle H}$ с собственным значением ${ displaystyle alpha -2}$ . Таким образом, оператор ${ displaystyle X}$ действует как оператор повышения, увеличивая вес на 2, а ${ displaystyle Y}$ действует как оператор опускания.

Предположим теперь, что ${ displaystyle V}$ является неприводимым конечномерным представлением комплексифицированной алгебры Ли. потом ${ displaystyle H}$ может иметь только конечное число собственных значений. В частности, должно быть собственное значение ${ displaystyle lambda in mathbb {C}}$ со свойством, что ${ displaystyle lambda +2}$ не является собственным значением. Позволять ${ displaystyle v_ {0}}$ быть собственным вектором для ${ displaystyle H}$ с собственным значением ${ displaystyle lambda}$ :

{ displaystyle H cdot v_ {0} = lambda v_ {0}}

.

Тогда мы должны иметь

{ Displaystyle X cdot v_ {0} = 0}

,

в противном случае указанная выше личность сообщила бы нам, что ${ displaystyle X cdot v_ {0}}$ является собственным вектором с собственным значением ${ displaystyle lambda +2}$ .

Теперь определим «цепочку» векторов ${ displaystyle v_ {0}, v_ {1}, ldots}$ к

{ displaystyle v_ {k} = Y ^ {k} cdot v_ {0}}

.

Простой аргумент по индукции^[4] затем показывает, что

{ Displaystyle X cdot v_ {k} = k ( lambda - (k-1)) v_ {k-1}}

для всех ${ Displaystyle к = 1,2, ldots}$ . Сейчас если ${ displaystyle v_ {k}}$ не нулевой вектор, это собственный вектор для ${ displaystyle H}$ с собственным значением ${ displaystyle lambda -2k}$ . Поскольку, опять же, ${ displaystyle H}$ имеет только конечное число собственных векторов, заключаем, что ${ displaystyle v_ {l}}$ должен быть нулевым для некоторых ${ displaystyle l}$ (а потом ${ displaystyle v_ {k} = 0}$ для всех ${ displaystyle k> l}$ ).

Позволять ${ displaystyle v_ {m}}$ - последний ненулевой вектор в цепочке; то есть, ${ displaystyle v_ {m} neq 0}$ но ${ displaystyle v_ {m + 1} = 0}$ . Тогда конечно ${ Displaystyle X cdot v_ {м + 1} = 0}$ и указанным выше тождеством с ${ Displaystyle к = м + 1}$ , у нас есть

{ displaystyle 0 = X cdot v_ {m + 1} = (m + 1) ( lambda -m) v_ {m}}

.

С ${ displaystyle m + 1}$ по крайней мере один и ${ displaystyle v_ {m} neq 0}$ , заключаем, что ${ displaystyle lambda}$ должно быть равно неотрицательному целому числу ${ displaystyle m}$ .

Таким образом, мы получаем цепочку ${ displaystyle m + 1}$ векторов ${ displaystyle v_ {0}, ldots, v_ {m}}$ такой, что ${ displaystyle Y}$ выступает в качестве

{ Displaystyle Y cdot v_ {m} = 0; quad Y cdot v_ {k} = v_ {k + 1} quad (k

и ${ displaystyle X}$ выступает в качестве

{ Displaystyle X cdot v_ {0} = 0, quad X cdot v_ {k} = k (m- (k-1)) v_ {k-1} quad (k> 0)}

и ${ displaystyle H}$ выступает в качестве

{ Displaystyle H cdot v_ {k} = (m-2k) v_ {k}}

.

(Мы заменили ${ displaystyle lambda}$ с его известной в настоящее время стоимостью ${ displaystyle m}$ в приведенных выше формулах.)

Поскольку векторы ${ displaystyle v_ {k}}$ собственные векторы для ${ displaystyle H}$ с различными собственными значениями, они должны быть линейно независимыми. Кроме того, диапазон ${ displaystyle v_ {0}, ldots, v_ {m}}$ очевидно инвариантна относительно действия комплексифицированной алгебры Ли. С ${ displaystyle V}$ считается неприводимым, этот промежуток должен быть ${ displaystyle V}$ . Таким образом, мы получаем полное описание того, как должно выглядеть неприводимое представление; то есть базис для пространства и полное описание того, как действуют генераторы алгебры Ли. И наоборот, для любого ${ Displaystyle м geq 0}$ мы можем построить представление, просто используя приведенные выше формулы и проверив выполнение коммутационных соотношений. Затем можно показать, что это представление неприводимо.^[5]

Вывод: Для каждого неотрицательного целого числа ${ displaystyle m}$ , существует единственное неприводимое представление со старшим весом ${ displaystyle m}$ . Каждое неприводимое представление эквивалентно одному из них. Представление с наибольшим весом ${ displaystyle m}$ имеет размер ${ displaystyle m + 1}$ с весами ${ Displaystyle м, м-2, ldots, - (м-2), - м}$ , каждый из которых имеет кратность один.

Элемент Казимира

Теперь введем (квадратичный) Элемент Казимира, ${ displaystyle C}$ данный

{ displaystyle C = - (u_ {1} ^ {2} + u_ {2} ^ {2} + u_ {3} ^ {2})}

.

Мы можем просмотреть ${ displaystyle C}$ как элемент универсальная обертывающая алгебра или как оператор в каждом неприводимом представлении. Просмотр ${ displaystyle C}$ как оператор на представлении с наибольшим весом ${ displaystyle m}$ , мы можем легко вычислить, что ${ displaystyle C}$ ездит с каждым ${ displaystyle u_ {i}}$ . Таким образом, Лемма Шура, ${ displaystyle C}$ действует как скалярное кратное ${ displaystyle c_ {m}}$ идентичности для каждого ${ displaystyle m}$ . Мы можем написать ${ displaystyle C}$ с точки зрения ${ displaystyle {H, X, Y}}$ основание следующим образом:

{ Displaystyle C = (X + Y) ^ {2} - (- X + Y) ^ {2} + H ^ {2}}

,

что упрощает

{ displaystyle C = 4YX + H ^ {2} + 2H}

.

Собственное значение ${ displaystyle C}$ в представлении с наибольшим весом ${ displaystyle m}$ можно вычислить, применяя ${ displaystyle C}$ к вектору старшего веса, который аннулируется ${ displaystyle X}$ . Таким образом, мы получаем

{ displaystyle c_ {m} = m ^ {2} + 2m = m (m + 2)}

.

В физической литературе Казимир нормирован как ${ displaystyle C '= C / 4}$ . Маркировка вещей с точки зрения ${ displaystyle l = m / 2}$ , собственное значение ${ displaystyle d_ {l}}$ из ${ displaystyle C '}$ затем вычисляется как

{ Displaystyle d_ {l} = { гидроразрыва {1} {4}} (2l) (2l + 2) = l (l + 1)}

.

Представления группы

Действия над полиномами

Поскольку SU (2) односвязен, общий результат показывает, что каждое представление его (комплексифицированной) алгебры Ли порождает представление самой SU (2). Однако желательно дать явную реализацию представлений на групповом уровне. Представления групп могут быть реализованы на пространствах многочленов от двух комплексных переменных.^[6] То есть для каждого неотрицательного целого числа ${ displaystyle m}$ , мы позволяем ${ displaystyle V_ {m}}$ обозначим пространство однородных многочленов степени ${ displaystyle m}$ в двух комплексных переменных. Тогда размерность ${ displaystyle V_ {m}}$ является ${ displaystyle m + 1}$ . SU (2) естественным образом действует на каждом ${ displaystyle V_ {m}}$ , данный

{ displaystyle [U cdot p] (z) = p (U ^ {- 1} z), quad z in mathbb {C} ^ {2}, , U in mathrm {SU} ( 2)}

.

Ассоциированное представление алгебры Ли - это просто то, что описано в предыдущем разделе. (Видеть здесь для явной формулы действия алгебры Ли на пространстве многочленов.)

Персонажи

В персонаж представительства ${ Displaystyle Pi: G rightarrow mathrm {GL} (V)}$ это функция ${ displaystyle mathrm {X}: G rightarrow mathbb {C}}$ данный

{ Displaystyle mathrm {X} (g) = mathrm {trace} ( Pi (g))}

.

Персонажи играют важную роль в теория представлений компактных групп. Легко увидеть, что символ является функцией класса, то есть инвариантным относительно сопряжения.

В случае SU (2) тот факт, что символ является функцией класса, означает, что он определяется своим значением на максимальный тор ${ displaystyle T}$ состоящий из диагональных матриц в SU (2). Поскольку неприводимое представление со старшим весом ${ displaystyle m}$ имеет веса ${ Displaystyle м, м-2, ldots - (м-2), - м}$ , легко видеть, что ассоциированный символ удовлетворяет

{ displaystyle mathrm {X} left ({ begin {pmatrix} e ^ {i theta} & 0 0 & e ^ {- i theta} end {pmatrix}} right) = e ^ {im theta} + e ^ {i (m-2) theta} + cdots e ^ {- i (m-2) theta} + e ^ {- im theta}.}

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

{ displaystyle mathrm {X} left ({ begin {pmatrix} e ^ {i theta} & 0 0 & e ^ {- i theta} end {pmatrix}} right) = { frac { mathrm {sin} ((m + 1) theta)} { mathrm {sin} ( theta)}}.}.

Это последнее выражение - всего лишь утверждение Формула характера Вейля для случая SU (2).^[7]

Фактически, следуя первоначальному анализу теории представлений компактных групп Вейлем, можно полностью классифицировать представления с групповой точки зрения, вообще не используя представления алгебры Ли. При таком подходе формула характера Вейля играет важную роль в классификации наряду с Теорема Питера – Вейля. Случай SU (2) в этой истории описан. здесь.

Отношение к представлениям SO (3)

Обратите внимание, что либо все веса представления четны (если ${ displaystyle m}$ четно) или все веса нечетные (если ${ displaystyle m}$ нечетно). С физической точки зрения это различие важно: представления с четными весами соответствуют обычным представлениям группа вращения SO (3).^[8] Напротив, представления с нечетными весами соответствуют двузначному (спинориальному) представлению SO (3), также известному как проективные представления.

По правилам физики ${ displaystyle m}$ быть даже соответствует ${ displaystyle l}$ целое число, а ${ displaystyle m}$ быть нечетным соответствует ${ displaystyle l}$ быть полуцелым числом. Эти два случая описаны как целочисленное вращение и полуцелое вращение, соответственно. Представления с нечетными положительными значениями ${ displaystyle m}$ являются точными представлениями SU (2), а представления SU (2) с неотрицательными, даже ${ displaystyle m}$ не верны.^[9]

Другой подход

См. Пример для Теорема Бореля – Вейля – Ботта..

Важнейшие неприводимые представления и их приложения

Представления SU (2) описывают нерелятивистские вращение, поскольку является двойным покрытием вращение группа Евклидово 3-пространство. Релятивистский спин описывается теория представлений SL₂(C), супергруппа SU (2), аналогичным образом покрывающая ТАК⁺(1;3), релятивистская версия группы вращений. SU (2) -симметрия также поддерживает концепции изобарический спин и слабый изоспин, известные как изоспин.

Представление с ${ displaystyle m = 1}$ (т.е. ${ displaystyle l = 1/2}$ в физическом соглашении) 2 представительство, фундаментальное представление из SU (2). Когда элемент SU (2) записывается как сложный $2 \times 2$ матрица, это просто умножение из столбец 2-векторов. В физике он известен как спин-½ и исторически как умножение кватернионы (точнее, умножение на единица измерения кватернион). Это представление также можно рассматривать как двузначное проективное представление группы вращений SO (3).

Представление с ${ displaystyle m = 2}$ (т.е. ${ displaystyle l = 1}$ ) это 3 представительство, присоединенное представительство. Он описывает 3-й вращения, стандартное представление SO (3), поэтому действительные числа для этого достаточно. Физики используют его для описания массивный частицы со спином 1, такие как векторные мезоны, но его важность для спиновой теории намного выше, поскольку он привязывает спиновые состояния к геометрия физического 3-х местныйЭто представление возникло одновременно с 2 когда Уильям Роуэн Гамильтон представил версоры, его член для элементов SU (2). Обратите внимание, что Гамильтон не использовал стандартные теория групп терминология, так как его работа предшествовала развитию группы Ли.

В ${ displaystyle m = 3}$ (т.е. ${ displaystyle l = 3/2}$ ) представление используется в физика элементарных частиц для некоторых барионы, такой как Δ.

Navigation