§ 99. Двузначные представления конечных точечных групп

Состояниям системы с полуцелым спином (а потому и полуцелым полным моментом) соответствуют двузначные представления точечной группы симметрии этой системы. Это является общим свойством спиноров и потому справедливо как для непрерывных, так и для конечных точечных групп. В связи с этим возникает необходимость в отыскании двузначных неприводимых представлений конечных точечных групп.

Как уже отмечалось, двузначные представления по существу вообще не являются истинными представлениями группы. К ним не относятся, в частности, соотношения, о которых шла речь в § 94, и когда в этих соотношениях (например, в соотношении (94,17) для суммы квадратов размерностей неприводимых представлений) шла речь о всех неприводимых представлениях, то в их числе подразумевались только истинные, однозначные представления.

Для отыскания двузначных представлений удобно применять следующий искусственный прием (Н. A. Bethe, 1929). Введем чисто формальным образом понятие о новом элементе группы (обозначим его посредством Q) — повороте на угол вокруг произвольной оси — как об элементе, отличном от единичного, но совпадающем с Е при своем двукратном применении: . В соответствии с этим повороты вокруг осей симметрии порядка будут давать тождественные преобразования лишь после -кратного (а не -кратного) своего применения:

Инверсия I как элемент, коммутативный со всяким поворотом, должна при двукратном применении по-прежнему давать Е.

Но двукратное отражение в плоскости будет равно Q, а не

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

Число классов в двойной группе больше, чем в исходной группе (но, вообще говоря, не вдвое). Элемент Q коммутативен со всеми другими элементами группы и потому всегда составляет сам по себе класс. Если ось симметрии двусторонняя, то в двойной группе это означает сопряженность элементов . В связи с этим при наличии осей второго порядка распределение элементов по классам зависит также и от того, являются ли эти оси двусторонними (в обычных точечных группах это несущественно, так как совпадает с обратным поворотом ).

Так, в группе Т оси второго порядка эквивалентны, и каждая из них двусторонняя, а оси третьего порядка эквивалентны, но не являются двусторонними. Поэтому 24 элемента двойной группы Т распределяются по 7 классам: Е, Q, класс из трех поворотов и трех классы

В число всех неприводимых представлений двойной точечной группы входят, во-первых, представления, совпадающие с однозначными представлениями простой группы (причем элементу Q, как и Е, соответствует единичная матрица), и, во-вторых, двузначные представления простой группы, причем элементу Q соответствует отрицательная единичная матрица; нас интересуют сейчас именно эти последние представления.

Двойные группы как и соответствующие им простые группы, являются циклическими группами. Все их неприводимые представления одномерны и могут быть найдены без всякого труда, как это было объяснено в § 95.

Неприводимые представления групп (или изоморфных им Спа) можно найти тем же способом, как и для соответствующих простых групп. Эти представления осуществляются функциями вида где — угол поворота вокруг оси порядка, а для k берутся полуцелые значения (целые значения соответствуют обычным однозначным представлениям). Повороты вокруг горизонтальных осей второго порядка переводят эти функции друг в друга, а поворот умножает на

Несколько труднее нахождение представлений двойных кубических групп. 24 элемента группы Т распределяются по семи классам. Поэтому имеется всего семь неприводимых представлений, из которых четыре совпадают с представлениями простой группы Т. Сумма квадратов размерностей остальных трех представлений должна быть равна 12, откуда находим, что все они двумерны. Поскольку элементы находятся в одном классе, то откуда заключаем, что во всех трех представлениях Далее, из трех представлений по крайней мере одно должно быть вещественным, так как комплексные представления могут встречаться лишь взаимно сопряженными парами. Рассмотрим это представление и предположим, что матрица элемента приведена к диагональному виду (пусть — ее диагональные элементы). Поскольку то Для того чтобы было вещественным, надо взять Отсюда находим, что Таким образом, одно из искомых представлений найдено. Составляя его прямые произведения с двумя комплексно сопряженными одномерными представлениями группы Т, найдем два остальных представления.

Аналогичными рассуждениями, которые мы не станем приводить здесь, можно найти представления группы О. В сводной табл. 8 даны характеры представлений перечисленных двойных групп (приведены лишь представления, соответствующие двузначным представлениям обычных групп). Те же представления имеют изоморфные с ними двойные группы.

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

По тем же причинам, что и для обычных представлений, два комплексно сопряженных двузначных представления должны рассматриваться как одно физически неприводимое представление с удвоенной размерностью. Одномерные же двузначные представления надо удваивать даже, если их характеры вещественны. Дело в том (см. § 60), что у систем с полуцелым спином комплексно сопряженные волновые функции линейно независимы.

Таблица 8. Двухзначные представления точечных групп

(см. скан)

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

Все сказанное в § 97 о способе нахождения правил отбора для матричных элементов различных физических величин остается в силе и для состояний системы с полуцелым спином, с изменением лишь для диагональных (по энергии) матричных элементов. Повторив изложенные в конце § 97 рассуждения с учетом на этот раз формул (60,2), (60,3), найдем, что если величина четйа Или нечетна по отношению к обращению времени, то для отыскания правил отбора надо рассматривать соответственно антисимметричное или симметричное произведение представления самого на себя — обратно по сравнению со сформули рованным в § 97 правилом, справедливым для систем с целым спином.

Задача

Определить, каким образом расщепятся уровни атома (с данными значениями полного момента J), помещенного 6 поле, обладающее кубической симметрией

Решение. Волновые функции состояний атома с моментом J и различными значениями осуществляют -мерное приводимое представление группы О с характерами, определяемыми формулой (98,3). Разлагая это представление на неприводимые части (однозначные при целом J или двузначные при полуцелом J), мы тем самым определим искомое расщепление (ср. § 96). Перечислим неприводимые части представлений, соответствующих нескольким первым значениям