Interested Article - Представление группы Ли

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

Конечномерные представления

Представления

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

,

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

По-другому можно вместо представления группы Ли говорить о линейном действии на векторном пространстве . Тогда вместо действие элемента группы на вектор будет обозначаться просто .

Типичная ситуация возникновения представлений в физике — исследование линейного дифференциального уравнения в частных производных, имеющего группу симметрии . Хотя отдельные решения уравнения могут быть не инвариантны под действием , пространство всех решений инвариантно под действием . Таким образом, образует собой представление . См. пример , обсуждаемый ниже.

Основные определения

Если гомоморфизм инъективен (то есть мономорфизм ), то представление называется точным .

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

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

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

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

Каждое представление группы Ли порождает представление ее алгебры Ли; это соответствие подробно обсуждается в последующих разделах. См. представление алгебры Ли для теории алгебры Ли.

Пример: группа вращений SO(3)

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

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

Обычные представления

Группа вращений SO(3) является компактной группой Ли, и поэтому каждое конечномерное представление разлагается в прямую сумму неприводимых представлений. Группа имеет одно неприводимое представление в каждом нечётном измерении. Для каждого неотрицательного целого числа неприводимое представление размерности может быть реализовано как пространство однородных гармонических многочленов на степени . Здесь действие на поднимается на функции из стандартным образом:

Ограничением на единичную сферу элементов являются сферические гармоники степени .

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

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

Проективные представления

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

Операции над представлениями

В этом разделе мы опишем три основные операции над представлениями. См. также соответствующие конструкции для представлений алгебры Ли .

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

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

для всех , и .

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

Тензорные произведения представлений

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

для всех и . То есть так сказать, .

Представление алгебры Ли , связанное с представлением тензорного произведения , задается формулой:

Тензорное произведение двух неприводимых представлений обычно не является неприводимым; основная задача теории представлений состоит в том, чтобы разложить тензорные произведения неприводимых представлений как прямую сумму неприводимых подпространств. Эта проблема в литературе по физике называется сложением углового момента или теорией Клебша-Гордана .

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

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

где для любого оператора сопряжённый оператор определяется как:

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

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

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

Обзор

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

Пусть G — группа Ли с алгеброй Ли и пусть дано этой алгебры . Соответствие Ли может быть использовано для получения представлений связной компоненты группы G . Грубо говоря, это достигается путём взятия экспоненты от матриц представления алгебры Ли. Тонкость возникает, если G не является односвязной — тогда появляются проективные представления ; это представления G .

Эти результаты будут более подробно объяснены ниже.

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

Экспоненциальное отображение

Софус Ли , создатель теории групп Ли . Теория многообразий не была открыта во времена Ли, поэтому он работал локально с подмножествами , структура которых сегодня называется локальной группой .

Если — это группа Ли с алгеброй Ли , то мы имеем экспоненциальное отображение от до , записанное в виде

Если — матричная группа Ли, то выражение может быть вычислено обычным степенным рядом для экспоненты. Для любой группы Ли существуют окрестность единицы в и окрестность нуля в такие, что каждый в может быть записан однозначно как с . Иными словами, экспоненциальное отображение локально обратимо. В большинстве групп это только локальное свойство; то есть экспоненциальное отображение обычно не является ни биекцией, ни сюръекцией.

Представления алгебры Ли из групповых представлений

Всегда можно перейти от представления группы Ли G к представлению её алгебры Ли . Если является групповым представлением для некоторого векторного пространства V , то его дифференциал , или отображение Ли , является представлением алгебры Ли. Он задаётся явной формулой

Основное свойство, связывающее и , использует экспоненциальное отображение:

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

Групповые представления из представлений алгебры Ли

Главным результатом этого раздела является следующая:

Теорема : если односвязна, то каждое представление алгебры Ли , соответствующей , происходит из представления самой .

Из этого легко выводится:

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

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

Здесь — конечномерное векторное пространство, — группа всех обратимых линейных преобразований на и — это её алгебра Ли. Отображения и являются представлениями алгебры Ли и группы Ли соответственно, а — экспоненциальным отображением. Если проективно, диаграмма коммутирует только с точностью до знака.

Далее следует доказательство основных результатов, приведенных выше. Пусть — представление в векторном пространстве V . Если существует соответствующее ему представление группы Ли , оно должно удовлетворять экспоненциальному соотношению из предыдущего подраздела. Тогда, так как экспонента локально обратима, можно определить отображение из окрестности единицы в при помощи этого соотношения:

Тогда ключевой вопрос заключается в следующем: является ли это локально определенное отображение «локальным гомоморфизмом»? (Этот вопрос осмысленен даже в частном случае, когда экспоненциальное отображение глобально биективно, так как в таком случае хотя и будет определён глобально, не очевидно, почему будет гомоморфизмом.) Ответ на этот вопрос — да: является локальным гомоморфизмом, и это можно установить с помощью формулы Бейкера-Кэмпбелла-Хаусдорфа .

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

Однако, представление данного элемента группы как произведение экспонент совсем не единственно, поэтому пока что не ясно, почему на самом деле корректно определено.

Чтобы решить вопрос о том, корректно ли определено , можно соединяем каждый элемент группы с единицей непрерывным путём. Затем можно определить вдоль пути и показать, что значение остаётся неизменным при непрерывной деформации пути с фиксированными концами.

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

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

Например в частном случае двусвязной группы SO(3, 1) + , универсальная накрывающая группа — это , и её представление точное тогда и только тогда, когда соответствующее представление проективное .

Классификация в компактном случае

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

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

Важным аспектом теории представлений является связанная с ней теория . Характером представления группы Ли называется функция , определяемая по правилу

Оказывается, что любые два представления с одинаковыми характерами изоморфны. Более того, позволяет найти характер представления по его старшему весу. Эта формула не только даёт много полезной информации о представлении, но и играет решающую роль в доказательстве теоремы о старшем весе.

Унитарные представления в гильбертовых пространствах

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

является непрерывным отображением в .

Конечномерные унитарные представления

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

Если компактна, то каждое представление группы Ли в конечномерном векторном пространстве является унитаризуемым , что означает, что можно выбрать эрмитово произведение на так, чтобы каждое было унитарным.


Бесконечномерные унитарные представления

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

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

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

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

Проективные представления

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

Иными словами, для проективного представления мы строим семейство унитарных операторов , где подразумевается, что при умножении на константу (по модулю равную 1) считается одним и тем же оператором. Затем операторы должны удовлетворять свойству гомоморфизма с точностью до константы :

Мы уже обсуждали неприводимые проективные унитарные представления группы вращения выше; рассмотрение проективных представлений допускает дробный спин в дополнение к целочисленному спину.

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

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

Коммутативный случай

Если является коммутативной группой Ли , то каждое неприводимое унитарное представление на комплексных векторных пространствах является одномерным. (Это утверждение следует из леммы Шура и имеет место, даже если представления заранее не предполагаются конечномерными.) Таким образом, неприводимые унитарные представления являются просто непрерывными гомоморфизмами в круговую группу . Например, если , то неприводимые унитарные представления имеют вид:

,

для некоторого вещественного числа .

См. также двойственность Понтрягина .

См. также

Примечания

  1. , с. 638—650.
  2. , с. 38.
  3. , с. 115.

Литература

  • Желобенко Д. П., Штерн А. И. Представления групп Ли. — М. : Наука , 1983. — 360 с.
  • Желобенко Д. П. Компактные группы Ли и их представления. — М. : Наука , 1970. — 664 с.
  • Постников М. М. Группы и алгебры Ли. — М. : Наука , 1982. — 447 с.
  • Ван дер Варден Б. Л. Метод теории групп в квантовой механике. — М. : Едиториал УРСС, 2004. — 200 с.
  • Наймарк М. А. Теория представлений групп. — М. : Наука , 1976. — 559 с.
  • Барут А., Рончка Р. Теория представлений групп и её приложения. — М. : Мир , 1980. — 452 с.
  • Исаев А.П., Рубаков В.А. Теория групп и симметрий. Книга 2: Представления групп Ли и алгебр Ли. Приложения. — М. : УРСС, 2021. — 704 с.
Источник —

Same as Представление группы Ли