Представление тензорного произведения SO(3)SO(3)SO(3) в гильбертовом пространстве частицы со спином SSS

Для частицы со спином С , оператор вращения задается выражением

е я Дж я θ /
где Дж я - составляющая полного углового момента вдоль направления оси вращения. Сам полный угловой момент определяется выражением
Дж "=" л я С + я л С
здесь я С и я л тождественные операторы в С и л пространств соответственно. Приведенная выше форма полного углового момента возникает из-за того, что сочетание пространственной со спиновой степенью свободы реализуется тензорным произведением между соответствующими пространствами и из алгебры Ли группы вращений. С О ( 3 ) .

Мой первый вопрос: могу ли я написать следующее

е я Дж я θ / "=" е я л я θ / е я С я θ / ?
RHS - это не то, что я придумал лично, я нашел его в своем учебнике, но автор не касается его связи с более распространенным оператором вращения, которым является LHS.

Второй вопрос касается представления группы вращений С О ( 3 ) в этом пространстве тензорного произведения, что в конечном итоге приводит к правой части приведенного выше уравнения для оператора вращения. Из того, что я прочитал, пространство представления тензорного произведения — это тензорное произведение двух разных пространств представлений одной и той же группы, здесь С О ( 3 ) группа. Пространство представления тензорного произведения для частицы со спином С затем дается ЧАС "=" Π л ( р ( θ ) ) Π С ( р ( θ ) ) , где р ( θ ) е С О ( 3 ) . Π л ( р ( θ ) ) является пространством представления С О ( 3 ) в л 2 ( р 3 ) , которое легко описать - в этом пространстве л "=" р × п . Мой второй вопрос касается представления С О ( 3 ) в спиновом пространстве, которое С 2 С + 1 . Как это выглядит и как это описать? Я в растерянности, потому что стандартное представление С О ( 3 ) является 3 × 3 ортогональная матрица, а любые операторы в С 2 С + 1 должно быть ( 2 С + 1 ) × ( 2 С + 1 ) .

На ваш первый вопрос [ л я , С я ] "=" 0 (следует непосредственно из вашего второго уравнения), поэтому такое разбиение экспоненты совершенно нормально, просто относитесь к ним, как к обычным числам.

Ответы (1)

Дело в том, что «спиновое представление С О ( 3 ) "не является представлением С О ( 3 ) вообще, а изображение его двойного покрытия С U ( 2 ) (см. https://en.wikipedia.org/wiki/Spin_group ). Поскольку мы иногда записываем представления в терминах инфинитезимальных образующих (другими словами, как представление алгебры Ли рассматриваемой группы Ли) и поскольку С О ( 3 ) и С U ( 2 ) одинаковы на бесконечно малом уровне (их алгебры Ли одинаковы), различие между группами не вызывает путаницы при записи спинового представления в терминах бесконечно малых образующих группы вращений, которое вы записали как Дж я . Однако, если вы попытаетесь возвести в степень бесконечно малые генераторы С я любого спинового представления к представлению С О ( 3 ) вы столкнетесь с проблемами! В частности, вращение на 360 градусов, которое должно быть равносильно полному отсутствию вращения, будет действовать 1 на представлении, что не имеет смысла.

В общем, нет оснований ожидать С О ( 3 ) иметь какие-либо интересные представления на четномерных векторных пространствах спиновых представлений. На самом деле вы можете показать, что любое такое представление будет разлагаться как прямая сумма представлений в нечетномерных векторных пространствах. Например, когда с "=" 1 / 2 , единственное представительство С О ( 3 ) в двумерном векторном пространстве С 2 тривиальное представление, в котором каждый элемент С О ( 3 ) действует тождественной матрицей 2 на 2. Однако, С U ( 2 ) имеет естественное представление на С 2 , что является спиновым представлением.

Дело в том, что в моей книге (и, наверное, в любых других книгах) автор обсуждает тензорное произведение между двумя разными представлениями одной и той же группы. Теперь, если я рассмотрю частицу в евклидовом пространстве, имеющую спин, оператор вращения (SO (3)) в соответствующем гильбертовом пространстве будет иметь вид е я Дж я θ "=" е я л я θ е я С я θ . Опять же, согласно моей книге, два оператора в RHS на самом деле являются двумя разными представлениями SO(3), один в л 2 ( р 3 ) и еще один в спиновом пространстве.
Кстати, как вы могли придумать представление SO (3) на С 2 является тривиальным представлением? Это определение или что-то, что можно доказать?
Единственное, о чем я могу думать, это то, что обозначение е я С я θ означает возведенное в степень представление, которое в данном случае будет представлением С U ( 2 ) . Обычное представление е я л я θ также определяет представление С U ( 2 ) так как есть карта с двойным покрытием С U ( 2 ) С О ( 3 ) . Представления С О ( 3 ) можно разложить в прямую совокупность неприводимых представлений, все из которых нечетномерны. Фактически, л -мерное представление происходит от действия С О ( 3 ) на сферических гармониках с собственным значением л ( л + 1 ) .
Извините, неприводимые представления, о которых я упоминал выше, 2 л + 1 -размерный.