В математике , А элемент Казимира (также известный как инвариант Казимира или оператор Казимира ) является известным элементом центра в универсальном обертывающем в виде алгебры Ли . Типичным примером является оператор квадрата углового момента , который является элементом Казимира из трехмерной группы вращения .
Элемент Казимира назван в честь Хендрика Казимира , который определил их в своем описании динамики твердого тела в 1931 году [1].
Определение
Наиболее часто используемый инвариант Казимира - квадратичный инвариант. Это самый простой способ определения, поэтому он дается первым. Однако могут быть также инварианты Казимира более высокого порядка, которые соответствуют однородным симметричным полиномам более высокого порядка; их определение дается в последнюю очередь.
Квадратичный элемент Казимира
Предположим, что является -мерная полупростая алгебра Ли . Пусть B - невырожденная билинейная форма начто инвариантно относительно присоединенного действия в на себя, что означает, что для всех X, Y, Z в . (Наиболее типичным выбором B является форма Киллинга .) Пусть
любая основа из, а также
быть двойным основанием по отношению к B . Элемент Казимира поскольку B - элемент универсальной обертывающей алгебры задается формулой
Хотя определение основывается на выборе базиса алгебры Ли, легко показать, что Ω не зависит от этого выбора. С другой стороны, Ω действительно зависит от билинейной формы B . Из инвариантности B следует, что элемент Казимира коммутирует со всеми элементами алгебры Ли, а значит, лежит в центре универсальной обертывающей алгебры. [2]
Инвариант Казимира линейного представления и гладкого действия
Для представления ρ операторав векторном пространстве V, возможно, бесконечномерном, инвариант Казимира для ρ определяется как ρ (Ω), линейный оператор на V, задаваемый формулой
Здесь мы предполагаем, что B - это форма убийства, в противном случае необходимо указать B.
Конкретный вид этой конструкции играет важную роль в дифференциальной геометрии и глобальном анализе. Предположим, что связная группа Ли G с алгеброй Ли действует на дифференцируемом многообразии М . Рассмотрим соответствующее представление ρ группы G в пространстве гладких функций на M. Тогда элементы изпредставлены дифференциальными операторами первого порядка на M. В этой ситуации инвариант Казимира для ρ является G-инвариантным дифференциальным оператором второго порядка на M, определяемым приведенной выше формулой.
Специализируясь далее, если случается, что M имеет риманову метрику, на которой G действует транзитивно изометриями, а стабилизирующая подгруппа G x точки действует неприводимо на касательном пространстве M в точке x , то инвариант Казимира ρ является скалярным кратным от оператора Лапласа наступающего из метрики.
Также могут быть определены более общие инварианты Казимира, обычно встречающиеся при изучении псевдодифференциальных операторов в теории Фредгольма .
Общий случай
В статье об универсальных обертывающих алгебрах дается подробное и точное определение операторов Казимира и излагаются некоторые их свойства. В частности, все операторы Казимира соответствуют симметричным однородным полиномам в симметрической алгебре в присоединенном представлении То есть в общем случае любой оператор Казимира будет иметь вид
где m - порядок симметричного тензора и образуют векторное пространство основу из Это соответствует симметричному однородному многочлену
в m неопределенных переменныхв алгебре многочленов над полем K . Причина симметрии следует из теоремы PBW и более подробно обсуждается в статье об универсальных обертывающих алгебрах .
Подойдет не любой симметричный тензор (симметричный однородный многочлен); он должен явно коммутировать со скобкой Ли. То есть нужно иметь это
для всех базовых элементов Любой предложенный симметричный многочлен можно явно проверить, используя структурные константы
чтобы получить
Первоначально этот результат принадлежит Израилю Гельфанду . [3] Из коммутационного соотношения следует, что операторы Казимира лежат в центре универсальной обертывающей алгебры и, в частности, всегда коммутируют с любым элементом алгебры Ли. Это связано с этим свойством коммутации, которое позволяет помечать представление алгебры Ли собственными значениями ассоциированных операторов Казимира.
Любая линейная комбинация симметричных многочленов, описанных выше, также будет лежать в центре: следовательно, операторы Казимира, по определению, ограничены тем подмножеством, которое охватывает это пространство (которое обеспечивает основу для этого пространства). Для полупростой алгебры Ли ранга г , будет г Казимира инварианты.
Характеристики
Уникальность
Поскольку для простой алгебры Ли каждая инвариантная билинейная форма кратна форме Киллинга , соответствующий элемент Казимира определен однозначно с точностью до константы. Для общей полупростой алгебры Ли пространство инвариантных билинейных форм имеет один базисный вектор для каждой простой компоненты, и, следовательно, то же самое верно и для пространства соответствующих операторов Казимира.
Связь с лапласианом на G
Если группа Ли с алгеброй Ли , выбор инвариантной билинейной формы на соответствует выбору биинвариантной римановой метрики на. Тогда при идентификации универсального обертывающие из с левоинвариантными дифференциальными операторами на , элемент Казимира билинейной формы на карты к лапласиану из (относительно соответствующей биинвариантной метрики).
Обобщения
Оператор Казимира выдающийся квадратичный элемент центра в универсальной обертывающей алгебры Ли. Другими словами, это член алгебры всех дифференциальных операторов, коммутирующий со всеми образующими в алгебре Ли. Фактически все квадратичные элементы в центре универсальной обертывающей алгебры возникают таким образом. Однако центр может содержать другие, неквадратичные элементы.
По теореме Рака [4] для полупростой алгебры Ли размерность центра универсальной обертывающей алгебры равна ее рангу . Оператор Казимира дает понятие лапласиана на общей полупростой группе Ли ; но этот способ подсчета показывает, что не может быть единственного аналога лапласиана для ранга> 1.
По определению любой член центра универсальной обертывающей алгебры коммутирует со всеми остальными элементами алгебры. По лемме Шура в любом неприводимом представлении алгебры Ли оператор Казимира пропорционален единице. Эту константу пропорциональности можно использовать для классификации представлений алгебры Ли (а значит, и ее группы Ли ). Физическая масса и спин являются примерами этих констант, как и многие другие квантовые числа в квантовой механике . На первый взгляд топологические квантовые числа составляют исключение из этого паттерна; хотя более глубокие теории намекают, что это две стороны одного и того же явления. [ согласно кому? ] .
Пример:
Алгебра Ли состоит из комплексных матриц размером два на два с нулевым следом. Есть три стандартных базовых элемента,,, а также , с участием
- , , .
Коммутаторы
- , , а также
Можно показать, что элемент Казимира
Пример:
Алгебра Ли является алгеброй Ли SO (3) , группы вращений трехмерного евклидова пространства . Он простой ранга 1, поэтому в нем есть единственный независимый Казимир. Форма Киллинга для группы вращения - это просто дельта Кронекера , поэтому инвариант Казимира - это просто сумма квадратов образующихалгебры. То есть инвариант Казимира задается формулой
Рассмотрим неприводимое представление в котором наибольшее собственное значение является , где возможные значения находятся . Инвариантность оператора Казимира означает, что он кратен тождественному оператору. Эту константу можно вычислить явно, получив следующий результат [5]
В квантовой механике скалярное значениеназывается полным угловым моментом . Для конечномерных матричнозначных представлений группы вращенийвсегда принимает целые значения (для бозонных представлений ) или полуцелые значения (для фермионных представлений ).
Для данного значения , матричное представление -размерный. Так, например, трехмерное представление для соответствует , и задается генераторами
где факторы необходимы для согласия с используемым здесь физическим соглашением о том, что генераторы должны быть самосопряженными операторами.
Тогда квадратичный инвариант Казимира можно легко вычислить вручную, в результате чего
в виде когда . Точно так же двумерное представление имеет основу, заданную матрицами Паули , которые соответствуют спину 1/2, и можно снова проверить формулу Казимира прямым вычислением.
Собственные значения
Учитывая, что является центральным в обертывающей алгебре, он действует на простые модули скаляром. Позволять - любая билинейная симметрическая невырожденная форма, с помощью которой мы определяем . Позволять - конечномерный модуль старшего веса веса . Тогда элемент Казимира действует на постоянным
где - вес, определяемый половиной суммы положительных корней. [6]
Важным моментом является то, что если нетривиально (т.е. если ), то указанная выше постоянная отлична от нуля. В конце концов, поскольку доминирует, если , тогда а также , показывая, что . Это наблюдение играет важную роль в доказательстве теоремы Вейля о полной сводимости . Также возможно доказать ненулевое значение собственного значения более абстрактным способом - без использования явной формулы для собственного значения - с использованием критерия Картана; см. разделы 4.3 и 6.2 в книге Хамфриса.
Смотрите также
- Изоморфизм Хариш-Чандры
- Псевдовектор Паули – Любанского
Рекомендации
- ^ Оливер, Дэвид (2004). Лохматый конь физики: математическая красота в физическом мире . Springer. п. 81 . ISBN 978-0-387-40307-6.
- Перейти ↑ Hall 2015 Proposition 10.5
- ^ Xavier Bekaert, " Универсальные обертывающие алгебры и некоторые приложения в физике " (2005) Лекция, Летняя школа Модаве по математической физике .
- ^ Рака, Джулио (1965). Теория групп и спектроскопия . Springer Berlin Heidelberg.
- ^ Hall 2013 Предложение 17,8
- ^ Зал 2015 Предложение 10.6
- Холл, Брайан К. (2013), Квантовая теория для математиков , Тексты для выпускников по математике, 267 , Springer, ISBN 9781461471165
- Холл, Брайан К. (2015), Группы Ли, алгебры Ли и представления: элементарное введение , Тексты для выпускников по математике, 222 (2-е изд.), Springer, ISBN 978-3319134666
дальнейшее чтение
- Хамфрис, Джеймс Э. (1978). Введение в алгебры Ли и теорию представлений . Тексты для выпускников по математике. 9 (Тираж второй, перераб.). Нью-Йорк: Springer-Verlag. ISBN 0-387-90053-5.
- Джейкобсон, Натан (1979). Алгебры Ли . Dover Publications. стр. 243 -249. ISBN 0-486-63832-4.
- https://mathoverflow.net/questions/74689/motivating-the-casimir-element