Тождество Якоби

Тождество Якоби — это фундаментальное алгебраическое тождество, которому удовлетворяет бинарная операция (обычно обозначаемая как [ , ], { , } или ∘) на некотором множестве. Оно является одним из ключевых аксиом, определяющих структуру алгебр Ли, алгебр Пуассона, алгебр Йордана и других неассоциативных алгебр. В наиболее распространённой форме для алгебр Ли тождество Якоби записывается как:

[X, [Y, Z]] + [Y, [Z, X]] + [Z, [X, Y]] = 0

где X, Y, Z — элементы алгебры. Тождество было впервые сформулировано немецким математиком Карлом Густавом Якобом Якоби в контексте изучения эллиптических функций и дифференциальных уравнений, но его значение выходит далеко за пределы первоначальной области.

История

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

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

Формулировка и общий вид

Для алгебр Ли

В алгебре Ли L над полем F (например, над полем вещественных или комплексных чисел) бинарная операция [ , ] называется скобкой Ли. Тождество Якоби для любых X, Y, Z ∈ L имеет вид:

[X, [Y, Z]] + [Y, [Z, X]] + [Z, [X, Y]] = 0

Эквивалентная форма: [X, [Y, Z]] = [[X, Y], Z] + [Y, [X, Z]], что напоминает правило дифференцирования (производная произведения). В этом смысле оператор ad_X(Y) = [X, Y] является дифференцированием алгебры Ли.

Для алгебр Пуассона

В алгебре Пуассона (например, алгебре гладких функций на симплектическом многообразии) скобка Пуассона { , } удовлетворяет тождеству Якоби:

{f, {g, h}} + {g, {h, f}} + {h, {f, g}} = 0

Это тождество является следствием замкнутости симплектической формы.

Для алгебр Йордана

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

Свойства и следствия

Антикоммутативность

Для алгебр Ли тождество Якоби обычно дополняется условием антикоммутативности: [X, Y] = -[Y, X]. Вместе эти два свойства определяют алгебру Ли. Из них следует, что [X, X] = 0 для любого X.

Дифференцирования

Как уже упоминалось, тождество Якоби эквивалентно тому, что для любого X отображение ad_X: Y → [X, Y] является дифференцированием алгебры Ли:

ad_X([Y, Z]) = [ad_X(Y), Z] + [Y, ad_X(Z)]

Это свойство используется при построении когомологий алгебр Ли.

Цикличность

Тождество Якоби можно интерпретировать как условие, что сумма трёх циклических перестановок скобок равна нулю. Это делает его естественным для изучения тройных систем и операд.

Связь с ассоциативностью

Если алгебра является ассоциативной, то коммутатор [X, Y] = XY - YX всегда удовлетворяет тождеству Якоби. Таким образом, любая ассоциативная алгебра порождает алгебру Ли. Обратное неверно: не всякая алгебра Ли может быть вложена в ассоциативную алгебру (теорема Пуанкаре — Биркгофа — Витта утверждает, что это возможно для универсальной обёртывающей алгебры).

Примеры

Матричные алгебры Ли

Пусть L = gl(n, F) — алгебра всех квадратных матриц размера n×n над полем F со скобкой [A, B] = AB - BA. Тогда тождество Якоби выполняется, так как оно следует из ассоциативности матричного умножения. Например, для матриц 2×2:

[A, [B, C]] + [B, [C, A]] + [C, [A, B]] = 0

Векторные поля

На гладком многообразии скобка Ли векторных полей [X, Y] = XY - YX (коммутатор дифференциальных операторов) удовлетворяет тождеству Якоби. Это является основой для геометрической интерпретации алгебр Ли.

Квантовая механика

В квантовой механике операторы (например, координаты и импульсы) удовлетворяют каноническим коммутационным соотношениям:

[x_i, p_j] = iħ δ_{ij}

Эти соотношения вместе с тождеством Якоби образуют алгебру Ли Гейзенберга.

Применение

Теория групп Ли

Тождество Якоби является необходимым условием для того, чтобы алгебра Ли была алгеброй Ли некоторой группы Ли. Оно обеспечивает согласованность экспоненциального отображения и формулы Бейкера — Кэмпбелла — Хаусдорфа.

Интегрируемые системы

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

Гомологическая алгебра

В теории когомологий алгебр Ли тождество Якоби эквивалентно условию, что дифференциал в комплексе Шевалле — Эйленберга имеет квадрат, равный нулю (d^2 = 0). Это позволяет определять когомологии алгебр Ли.

Физика

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

Критика и обобщения

Неассоциативные алгебры

В некоторых неассоциативных структурах (например, в алгебрах Мальцева) тождество Якоби может быть заменено на более слабое условие. В алгебрах Лейбница (не обязательно антикоммутативных) тождество Якоби принимает вид:

[X, [Y, Z]] = [[X, Y], Z] + [Y, [X, Z]]

но без требования антикоммутативности.

Гомотопические алгебры

В современной математике (например, в теории L∞-алгебр) тождество Якоби обобщается до бесконечной последовательности тождеств, называемых гомотопическими тождествами Якоби. Они играют ключевую роль в теории деформаций и в математической физике.

Квантовые группы

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

Источники

1. Якоби К. Г. Я. «Лекции по динамике» (1842–1843).
2. Серр Ж.-П. «Алгебры Ли и группы Ли» (1965).
3. Хамфрис Дж. «Введение в теорию алгебр Ли и их представлений» (1972).
4. Арнольд В. И. «Математические методы классической механики» (1974).
5. Фукс Д. Б., Фоменко А. Т., Гутенмахер В. Л. «Гомотопическая топология» (1990).