Алгебра Ли

А́лгебра Ли — объект общей алгебры, являющийся векторным пространством с определенной на ней антикоммутативной билинейной операцией (называемой скобкой Ли, или коммутатором), удовлетворяющей тождеству Якоби. В общем случае алгебра Ли является неассоциативной алгеброй. Названа по имени норвежского математика Софуса Ли (1842—1899).

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

ОпределениеПравить

Алгеброй Ли (иначе лиевой алгеброй) называется векторное пространство $\mathfrak{L}$$\mathfrak{L}$  над полем $K$$K$ , снабжённое билинейным отображением

${\mathfrak{L}}^2\to <!--\; \to \; -->\mathfrak{L},(x,y)\mapsto <!--\; \mapsto \; -->[x,y],$${\mathfrak {L}}^{2}\to {\mathfrak {L}},\ \ (x,y)\mapsto [x,y],$ 

удовлетворяющим следующим двум аксиомам:

• $[x,x]=0$$[x,x]=0$ ;
• $[x,[y,z]]+[y,[z,x]]+[z,[x,y]]=0$$[x,[y,z]]+[y,[z,x]]+[z,[x,y]]=0$  (тождество Якоби).

Другими словами, в алгебре Ли задана антикоммутативная операция, удовлетворяющая тождеству Якоби. Эта операция называется коммутатором, или скобкой Ли.

ЗамечанияПравить

• Из тождества $[x,x]=0$$[x,x]=0$  следует антикоммутативность оператора, $[x,y]=-<!--\; -\; -->[y,x]$$[x,y]=-[y,x]$ . Действительно, из билинейности оператора следует тождество $[x,y]+[y,x]=[x+y,x+y]-<!--\; -\; -->[x,x]-<!--\; -\; -->[y,y]$$[x,y]+[y,x]=[x+y,x+y]-[x,x]-[y,y]$ .
• Если характеристика поля $\mathrm{c}\mathrm{h}\mathrm{a}\mathrm{r}(K)\ne <!--\; \ne \; -->2$${\mathrm {char}}(K)\neq 2$ , то верно и обратное: из антикоммутативности $[x,y]+[y,x]=0$$[x,y]+[y,x]=0$  следует тождество $[x,x]=0$$[x,x]=0$ .
• Понятия подалгебры, идеала, факторалгебры и гомоморфизма определяются обычным образом.
• Иногда в определении алгебры Ли векторное пространство заменяют на модуль (над коммутативным кольцом с единицей).

ПримерыПравить

3-мерное векторное пространствоПравить

Обычное трёхмерное векторное пространство является алгеброй Ли относительно операции векторного произведения.

Линейные алгебры ЛиПравить

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

Если $V$$V$  — конечномерное векторное пространство над $K$$K$  ($\mathrm{d}\mathrm{i}\mathrm{m}V=n$${\mathrm {dim}}\;V=n$ ), то множество его линейных преобразований $\mathrm{E}\mathrm{n}\mathrm{d}V$${\mathrm {End}}\;V$  — также векторное пространство над $K$$K$ . Оно имеет размерность $\mathrm{d}\mathrm{i}\mathrm{m}(\mathrm{E}\mathrm{n}\mathrm{d}V)=n^2$${\mathrm {dim}}({\mathrm {End}}\;V)=n^{2}$  и может быть представлено как пространство матриц $n\times <!--\; \times \; -->n$$n\times n$ . В этом векторном пространстве задана естественная операция умножения (композиция преобразований). Определим операцию скобки Ли формулой $[x,y]=xy-<!--\; -\; -->yx$$[x,y]=xy-yx$ . Пространство $\mathrm{E}\mathrm{n}\mathrm{d}V$${\mathrm {End}}\;V$  с так введённой скобкой Ли удовлетворяет всем аксиомам алгебры Ли.

Чтобы отличать получившуюся алгебру Ли от изначальной ассоциативной алгебры линейных преобразований, её обозначают $\mathfrak{g}\mathfrak{l}(V)$${\mathfrak {gl}}\;(V)$ . Эта алгебра Ли называется полной линейной алгеброй Ли. В случае бесконечномерного пространства V также используется обозначение $\mathfrak{g}\mathfrak{l}(V)$${\mathfrak {gl}}\;(V)$ . Любая подалгебра в $\mathfrak{g}\mathfrak{l}(V)$${\mathfrak {gl}}\;(V)$  называется линейной алгеброй Ли

Ассоциативные алгебры и алгебры ЛиПравить

Пусть $\mathfrak{A}$${\mathfrak {A}}$  — произвольная ассоциативная алгебра над $K$$K$  с умножением: $(x,y)$$(x,y)$  → $xy$$xy$ . Она обладает естественной структурой алгебры Ли над $K$$K$ , если определить скобку Ли через ассоциативное умножение по формуле: $[x,y]=xy-<!--\; -\; -->yx$$[x,y]=xy-yx$ , это выражение называется коммутатором.

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

Алгебра Ли векторных полейПравить

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

• Используя производную Ли от поля Y по направлению поля X:

$[X,Y]\equiv <!--\; \equiv \; -->L_{X}Y$$[X,Y]\equiv L_{X}Y$ .

• Если на многообразии задана локальная система координат $(t_1,...,t_n)$$(t_{1},...,t_{n})$ , то в координатном представлении коммутатор векторных полей равен

$[X,Y{]}^i=X^j{\mathrm{\partial <!--\; \partial \; -->}}_j{Y}^i-<!--\; -\; -->Y^j{\mathrm{\partial <!--\; \partial \; -->}}_j{X}^i,$$[X,Y]^{i}=X^{j}\partial _{j}Y^{i}-Y^{j}\partial _{j}X^{i},$ 

где, как обычно, подразумевается суммирование по повторяющемуся индексу j и

${\mathrm{\partial <!--\; \partial \; -->}}_j{Y}^i(t_1,...,t_n)=\frac{\mathrm{\partial <!--\; \partial \; -->}}{\mathrm{\partial <!--\; \partial \; -->}{t}_j}{Y}^i(t_1,...,t_n)$$\partial _{j}Y^{i}(t_{1},...,t_{n})={\frac {\partial }{\partial t_{{j}}}}Y^{i}(t_{1},...,t_{n})$ ,

${\mathrm{\partial <!--\; \partial \; -->}}_j{X}^i(t_1,...,t_n)=\frac{\mathrm{\partial <!--\; \partial \; -->}}{\mathrm{\partial <!--\; \partial \; -->}{t}_j}{X}^i(t_1,...,t_n)$$\partial _{j}X^{i}(t_{1},...,t_{n})={\frac {\partial }{\partial t_{{j}}}}X^{i}(t_{1},...,t_{n})$  —

частные производные от функций $Y^i(t_1,...,t_n),X^i(t_1,...,t_n)$$Y^{i}(t_{1},...,t_{n}),X^{i}(t_{1},...,t_{n})$  вдоль направлений t_j.

• Выбрав произвольную риманову метрику на многообразии, можно показать, что

$[X,Y]={\mathrm{\nabla <!--\; \nabla \; -->}}_{X}Y-<!--\; -\; -->{\mathrm{\nabla <!--\; \nabla \; -->}}_{Y}X$$[X,Y]=\nabla _{X}Y-\nabla _{Y}X$ ,

где $X,Y$$X,Y$  — векторные поля, а ${\mathrm{\nabla <!--\; \nabla \; -->}}_X$$\nabla _{X}$  — ковариантная производная по направлению векторного поля X. Эквивалентность с определениями, данными выше, показывает, что результат на самом деле не зависит от выбора метрики.

• Векторные поля взаимно однозначно соответствуют дифференцированиям алгебры функций на многообразии, коммутатор дифференцирований снова является дифференцированием (см. следующий пункт) и, значит, задаёт векторное поле.

Тождество Якоби для алгебры векторных полей можно переписать как правило Лейбница для производной Ли:

$[X,[Y,Z]]=[[X,Y],Z]+[Y,[X,Z]]⟺<!--\; ⟺\; -->L_X[Y,Z]=[L_{X}Y,Z]+[Y,L_{X}Z]$$[X,[Y,Z]]=[[X,Y],Z]+[Y,[X,Z]]\Longleftrightarrow L_{X}[Y,Z]=[L_{X}Y,Z]+[Y,L_{X}Z]$ .

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

Множество всех дифференцирований K-алгебр и алгебр ЛиПравить

Дифференцированием в алгебре $\mathfrak{A}$${\mathfrak {A}}$  называется линейное отображение $\mathrm{\delta <!--\; \delta \; -->}:\mathfrak{A}\to <!--\; \to \; -->\mathfrak{A}$$\delta :{\mathfrak {A}}\to {\mathfrak {A}}$ , удовлетворяющее правилу Лейбница дифференцирования произведения $\mathrm{\delta <!--\; \delta \; -->}(ab)=a\mathrm{\delta <!--\; \delta \; -->}(b)+\mathrm{\delta <!--\; \delta \; -->}(a)b$$\delta (ab)=a\delta (b)+\delta (a)b$ . Совокупность всех дифференцирований $\mathrm{Der}\mathfrak{A}$$\operatorname {Der}\;{\mathfrak {A}}$  является векторным подпространством в $\mathrm{End}\mathfrak{A}$$\operatorname {End}\;{\mathfrak {A}}$ . Коммутатор двух дифференцирований снова является дифференцированием, поэтому $\mathrm{Der}\mathfrak{A}$$\operatorname {Der}\;{\mathfrak {A}}$  — подалгебра в $\mathfrak{g}\mathfrak{l}\mathfrak{(}\mathfrak{A}\mathfrak{)}$${\mathfrak {gl(A)}}$ .

Наряду с дифференцированиями произвольных алгебр можно рассматривать частный случай дифференцирования алгебры Ли $L$$L$ . В алгебрах Ли некоторые дифференцирования возникают естественным способом. Присоединёнными эндоморфизмами называются дифференцирования лиевой алгебры $L$$L$  вида $\mathrm{ad}x:<!--\; :\; -->y\to <!--\; \to \; -->[x,y];x,y\in <!--\; \in \; -->L$$\operatorname {ad}\;x\colon y\to [x,y];x,y\in L$ . Такие дифференцирования называются внутренними , остальные — внешними. Отображение $L\to <!--\; \to \; -->\mathrm{Der}L;x\mapsto <!--\; \mapsto \; -->\mathrm{ad}x$$L\to \operatorname {Der}\;L;\;x\mapsto \operatorname {ad}\;x$  называется присоединённым представлением алгебры Ли.

Внутренние дифференцирования образуют в $\mathrm{Der}<!--\; \; -->(L)$$\operatorname {Der}(L)$  подалгебру $\mathrm{ad}L$$\operatorname {ad}\;L$ , изоморфную факторалгебре $L/Z(L)$$L/Z(L)$  алгебры $L$$L$  по её центру $Z(L):=\{x\in <!--\; \in \; -->L\mid <!--\; \mid \; -->[x,y]=0;\mathrm{\forall <!--\; \forall \; -->}y\in <!--\; \in \; -->L\}$$Z(L):=\{x\in L\mid [x,y]=0;\forall y\in L\}$ .

См. такжеПравить

• Группа Ли
• Производная Ли
• Дифференциальная геометрия и топология
• Коммутатор операторов

ЛитератураПравить

• Серр Ж.-П. Алгебры Ли и группы Ли Архивная копия от 20 февраля 2007 на Wayback Machine, — М.: Мир, 1969.
• Ресурсы физико-математической библиотеки Архивная копия от 14 июля 2007 на Wayback Machine сайта EqWorld — «Мир математических уравнений» Архивная копия от 3 октября 2008 на Wayback Machine.
• Семинар «Софус Ли». Теория алгебр Ли. Топология групп Ли. — М.: ИЛ, 1962 (djvu).
• Номидзу К. Группы Ли и дифференциальная геометрия. — М.: ИЛ, 1960 (djvu)
• Бурбаки Н. Группы и алгебры Ли. Главы I—III. М.: Мир, 1976. 496 с.
• Бурбаки Н. Группы и алгебры Ли. Глава IX. М.: Мир, 1986. 174 с.
• Хамфрис Дж. Введение в теорию алгебр Ли и их представлений — М.: МЦНМО, 2003.