Инвариант Казимира

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

Определение

Положим, что ${\mathfrak {g}}$ — $n$-мерная полупростая алгебра Ли. Пусть $\{X_{i}\}_{i=1}^{n}$ — любой базис ${\mathfrak {g}}$, а $\{X^{i}\}_{i=1}^{n}$ — двойственный базис, построенный по фиксированной инвариантной билинейной форме (например, форме Киллинга) на ${\mathfrak {g}}$. Элемент Казимира $\Omega$ — это элемент универсальной обёртывающей алгебры, определяемый формулой

$\Omega =\sum _{i=1}^{n}X_{i}X^{i}.$

Несмотря на то, что определение элемента Казимира относится к конкретному выбору базиса в алгебре Ли, легко показать, что полученный элемент $\Omega$ не зависит от этого выбора. Более того, инвариантность билинейной формы, использованная в определении, подразумевает, что элемент Казимира коммутирует со всеми элементами алгебры ${\mathfrak {g}}$, и, следовательно, лежит в центре универсальной обёртывающей алгебры $U({\mathfrak {g}}).$

Любому представлению $\rho$ алгебры ${\mathfrak {g}}$ на векторном пространстве V, возможно бесконечномерном, соответствует инвариант Казимира $\rho (\Omega )$, линейный оператор на V, задаваемый формулой

$\rho (\Omega )=\sum _{i=1}^{n}\rho (X_{i})\rho (X^{i}).$

Частный случай данной конструкции играет важную роль в дифференциальной геометрии и общем анализе. Если связная группа Ли G с алгеброй Ли ${\mathfrak {g}}$ действуют на дифференцируемом многообразии M, то элементы ${\mathfrak {g}}$ представляются дифференциальными операторами первого порядка на M. Представление $\rho$ действует на пространстве гладких функций на M. В такой ситуации инвариант Казимира — это G-инвариантный дифференциальный оператор второго порядка на M, определяемый по вышеуказанной формуле.

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

Свойства

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

Число независимых элементов центра универсальной обёртывающей алгебры также является рангом в случае полупростой алгебры Ли. Оператор Казимира даёт понятие Лапласиана на общих полупростых группах Ли; но такой путь показывает, что может существовать не единственный аналог Лапласиана, для ранга >1.

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

Пример: so(3)

Алгебра Ли ${\mathfrak {so}}(3)$ соответствует SO(3), группе вращений 3-х мерного евклидова пространства. Она полупростая ранга 1, и таким образом она имеет единственный независимый инвариант Казимира. Форма Киллинга для группы вращений — это лишь символ Кронекера, а инвариант Казимира — просто сумма квадратов генераторов $L_{x},\,L_{y},\,L_{z}$ данной алгебры. То есть, инвариант Казимира задаётся формулой

$L^{2}=L_{x}^{2}+L_{y}^{2}+L_{z}^{2}.$

В неприводимом представлении, инвариантность оператора Казимира предполагает его кратность единичному элементу e алгебры, так что

$L^{2}=L_{x}^{2}+L_{y}^{2}+L_{z}^{2}=\ell (\ell +1)e.$

В квантовой механике, скалярное значение $\ell$ относится к полному моменту количества движения. Для конечномерных матричнозначных представлений группы вращений, $\ell$ всегда является целым (для бозонных представлений) или полуцелым (для фермионных представлений).

Для данного числа $\ell$, матричное представление $(2\ell +1)$-мерно. Так, например, 3-х мерное представление so(3) соответствует $\ell \,=\,1$, , и задаётся генераторами

$L_{x}={\begin{pmatrix}0&0&0\\0&0&-1\\0&1&0\end{pmatrix}},L_{y}={\begin{pmatrix}0&0&-1\\0&0&0\\1&0&0\end{pmatrix}},L_{z}={\begin{pmatrix}0&-1&0\\1&0&0\\0&0&0\end{pmatrix}}.$

Тогда инвариант Казимира:

$L^{2}=L_{x}^{2}+L_{y}^{2}+L_{z}^{2}=2{\begin{pmatrix}1&0&0\\0&1&0\\0&0&1\end{pmatrix}},$

так как $\ell (\ell +1)\,=\,2$ при $\ell \,=\,1$. Таким же образом, 2-хмерное представление имеет базис, задаваемый матрицами Паули, которые соответствуют спину 1/2.

См. также

Harish-Chandra homomorphism

Ссылки

• Humphreys, James E. Introduction to Lie Algebras and Representation Theory. — Second printing, revised. Graduate Texts in Mathematics, 9. — New York: Springer-Verlag, 1978. — ISBN 5-9221-0055-6.