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

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

Если П. г. D(G, V)не содержит нетривиальных под-представлений, то оно наз. неприводимым. Различают алгебраич. неприводимость, т. е. отсутствие инвариантных подпространств, и топология, неприводимость, при к-рой пространство П. г. не должно содержать замкнутых инвариантных подпространств. Алгебраически неприводимое П. г. является топологически неприводимым; обратное, вообще говоря, неверно. Полноту системы неприводимых П. г. устанавливают при помощи характеров П. г. Для матричного П. г.

П. г. D(G, V)наз. циклическим, если существует вектор [наз. циклическим вектором для D(G, V)], такой, что замыкание линейной оболочкп всех совпадает с V. Каждое унитарное П. г. является прямой суммой циклич. подпредставлений. Унитарное П. г. неприводимо тогда и только тогда, когда каждый ненулевой вектор цикличен для

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

Пусть- право(лево)инвариантная мера Хаара на локально компактной группе G (см. Инвариантное интегрирование ).Рассмотрим пространство числовых (вещественных или комплексных) ф-ций , интегрируемых с квадратом по этой мере. Обозначим операторы преобразования в, порождённые правым (левым) сдвигом на элемент: = Группа операторов образует линейное П. г. G в пространстве , к-рое наз. правым (левым) регулярны м П. г. Снабдив пространство скалярным произведением где черта означает комплексное сопряжение, можно показать, что регулярные представления унитарны.

При нахождении неприводимых представлений некомпактных (локально компактных) групп весьма эффективной оказывается теория индуцированных П. г. Индуцированное П. г. D(K, V)G локально компактной группы G специальным образом конструируется из представления D(K, V)замкнутой подгруппы КG. Пусть- ф-ция, отображающая G в V и удовлетворяющая условию: для любых gG, kК, T(k) - оператор П. г. D(K, V). Тогда индуциров. представление U(G,) = D(K, V)G определяется в пространстве всех таких ф-ций ф-лой Метод индуциров. представлений является простейшим приёмом построения представлений более сложных групп из представлений более простых групп.

В квантовой механике используют т. н. проективные П. г., когда каждому элементу g ставится в соответствие оператор T(g), действующий в пространстве V, причём для любыхииз G: = где фазовый множитель- числовая ф-ция, зависящая оти, а Т(е)- по-прежнему единичный оператор в V. На проективные П. г. непосредственно переносятся понятия эквивалентности и неприводимости П. г.

Пусть и - два конечномерных П. г. G, имеющие размерности и . П. г. D наз. прямым (тензорным) произведением П. г. и, D = , оно имеет разность п₁п₂, а каждый его элемент представляет собой матрицу , являющуюся прямым (кронекеровым) произведением матрицы из на матрицу из (см. Матрица ).Прямое произведение . двух неприводимых конечномерных представлений и группы G неприводимо, если размерность представления (или) равна 1, в общем случае вполне приводимо.

Напр., в квантовых системах с группой симметрии G собств. ф-циигамильтониана можно классифицировать по неприводимым П. г. G. Теория П. г. позволяет в этом случае установить т. н. правила отбора при рассмотрении процессов перехода из одного состояния в другое. Если процесс перехода задаётся оператором , соответствующим неприводимому П. г. , то переход из нек-рого состояния, соответствующего неприводимому П. г., может осуществляться лишь в те конечные состояния, представление к-рыхсодержится в разложении прямого произведения

Матричные элементы оператора С, приводящего прямое произведениек блочнодиагональному виду [т. е. = где - неприводимое представление,- его кратность в прямом произведении], наз. коэффициентами Клебша - Гордана. Неприводимое П. г. G, являющейся прямым произведением группи(см. Группа ),есть прямое произведение их неприводимых представлений, т. е.

Представления некоторых групп. Коммутатив-ные группы. Любое неприводимое унитарное представление локально компактной коммутативной группы одномерно, при этом каждому элементу группы ставится в соответствие комплексное число ехр(ia). Любое представление коммутативной группы ограниченными операторами в гильбертовом пространстве является суммой (дискретной, если группа компактна) одномерных представлений.

Одним из наиб. завершённых разделов общей теории П. г. является теория представлений компактных групп, к к-рым относятся все конечные группы, группы вращений плоскости и пространства, группы SU(N)при различных N, рассматриваемые в теории элементарных частиц (см. Калибровочные поля, Унитарная симметрия), и т. д. Если группа компактна, то любому её представлению можно сопоставить эквивалентное ему унитарное представление, т. е. изучение представлений компактной группы сводится к изучению её унитарных представлений. Свойства унитарного представления полностью определяются свойствами его неприводимых компонент. Всякое неприводимое унитарное представление компактной группы конечномерно.

Еслии- любые два неприводимых унитарных представления компактной группы G, то матричные элементы операторов этих представлений и удовлетворяют соотношениям

где ; черта означает комплексное сопряжение. Считается, что базисы в пространствах и ортонормированы. Пусть - система всех неэквивалентных неприводимых унитарных представлений компактной группы G. Ф-ции (i, k = 1,..., ), где образуют полный ортонормиров. базис в пространстве (теорема Петера - Вейля).

Всякое неприводимое унитарное представление компактной группы эквивалентно подпредставлению её правого регулярного представления

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

- порядок конечной группы.

Конечная группа имеет конечное число неприводимых П. г. Сумма квадратов размерностей всех неприводимых неэквивалентных П. г. равна порядку группы (теорема Бёрнсайда), причём все эти размерности являются делителями порядка группы. Число различных неприводимых представлений конечной группы равно числу классов сопряжённых элементов.

Представления групп Ли. Оператор T(g)представления D(G, V) n-мерной группы Ли, так же как и соответствующий элемент группы Ли, зависит от параметров т. е. T(g(a)) = = T(a). Для т. н. дифференцируемых П. г. ф-ция Т(а)дифференцируема [так, в частности, будет, если представление D(G, V)конечномерно], можно ввести набор операторов , i = 1,..., n, a=0 наз. генераторами представления D(G, V); здесь - генераторы группы. В первом приближении по получим . Операторы (i = 1,..., n) образуют базис Ли алгебры, к-рая наз. дифференциалом представления.

Дифференциал П. г. в свою очередь является представлением алгебры Ли соответствующей группы.

Пусть g(a)- элемент однопараметрич. подгруппы группы G. Связь между П. г. D(G, V)и его дифференциалом [представлением соответствующей алгебры Ли d(A, V)] даётся ф-лой Если G - связная группа Ли, то её конечномерные представления полностью определяются своими дифференциалами. Напр., если D(G, V) - конечномерное П. г. G, a d(A, V)- представление алгебры Ли А этой группы, являющееся дифференциалом D, то всякое подпространство пространства V, инвариантное относительно D, инвариантно также относительно d. П. г. D и d неприводимы, приводимы и вполне приводимы одновременно. Если и - представления связной группы Ли G, аи- их дифференциалы, то из эквивалентностиследует эквивалентностьи наоборот. Конечномерные представления связных односвязных групп Ли находятся во взаимно однозначном соответствии с представлениями их алгебр Ли. Эти представления связаны ф-лой =. Для унитарных представлений в гильбертовых пространствах из эквивалентности дифференциалов следует эквивалентность П. г.

Поэтому удобен т. н. инфинитезимальный подход, когда исследование П. г. сводят к исследованию представлений их алгебр. Каждому элементу Y из алгебры Ли А группы Ли G ставится в соответствие оператор ad (У) = [Y, X], для любого X из А. Т. к. из тождества Якоби следует, что ad ([Y, X]) = [ad(F), ad(X)], то операторы ad(Y) образуют представление алгебры А. Это представление наз. присоединённым представлением алгебры Ли. Если - базис алгебры А, то матричные элементы операторов ad() в этом базисе совпадают со структурными константами алгебры Ли: =

Если А - алгебра Ли связной группы G, то представление алгебры ad можно продолжить до представления группы G, действующего в А, как в векторном пространстве. Присоединённым представлением группы наз. такое отображение Ad (g, А), что exp (Ad(g)X) = g expдля любых XА и gG. Размерность присоединённого П. г. совпадает с размерностью группы Ли.

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

Для классификации неприводимых конечномерных представлений комплексных алгебр Ли используют т. н. теорию старших весов. Пусть эрмитовы операторы (i=1,..., r; r - размерность группы Ли G)- базисные элементы подалгебры Картана. Рассмотрим комплексное конечномерное представление d(A, V)алгебры Ли А группы G. Тогда операторы эрмитовы, они коммутируют друг с другом и поэтому имеют общие собств. векторы V, такие, что (i=1,..., r); r-мерный веществ. вектор m=, соответствующий , называется весом в d(A, V).

Обозначим через W множество всех элементов g полупростой группы Ли G, обладающих тем свойством, что = К, где К - подгруппа Картана группы G (К - группа, алгеброй к-рой является подалгебра Картана). Множество W является подгруппой G, причём КW к является нормальным делителем W. Факторгруппа W/K наз. группой отражений Вейля. Эта группа конечна.

Два весаиназ. эквивалентными, если они связаны друг с другом группой отражений Вейля. Число разл. весов не превышает размерности представления. Говорят, что весстарше веса, если вектор- положителен, т. е. его первая отличная от нуля компонента положительна. Старший вес из множества эквивалентных весов наз. доминантным. Вес, к-рый старше всех остальных весов представления, наз. старшим весом представления.

Неприводимое конечномерное представление полупростой алгебры Ли полностью определяется своим старшим весом (теорема Картана). Для каждой простой алгебры Ли с -мерной подалгеброй Картана имеетсядоминантных весов, называемых фундаментальными, таких, что остальные доминантные веса можно представить в виде =, где - набор неотрицат. целых чисел. Существуетт. н. фундаментальных неприводимых конечномерных представлений простой алгебры, к-рые имеютфундаментальных доминантных весов в качестве своих старших весов. Соответствующее П. г. наз. фундаментальным.

До сих пор речь шла об однозначных П. г., когда каждому элементу группы g ставился в соответствие только один оператор T(g). Если группа G не является односвязной, то для того, чтобы П. г. было непрерывным, возникает необходимость каждому элементу группы g ставить одновременно в соответствие неск. разл. операторов . Такое П. г. наз. m-значным.

Лит.: Випенкин Н. Я., Специальные функции и теория представлений групп, М., 1965; Желобенко Д. П., Компактные группы Ли и их представления, М., 1970; Кириллов А. А., Элементы теории представлений, 2 изд., М., 1978; Наймарк М. А., Теория представлений групп, М., 1976; Менский М. Б., Метод индуцированных представлений. Пространство - время и концепция частиц, М., 1976; Климык А. У., Матричные элементы и коэффициенты Клебша - Гордана представлений групп, К., 1979; Барут А.,

Рончка Р., Теория представлений групп и ее приложения, т. 1-2, пер. с англ., М., 1980; см. также лит. при ст. Группа. С. И. Азаков.

   <<      Предметный указатель      >>