WikiDer > Лемма Уайтхеда (алгебра Ли) - Википедия

В гомологическая алгебра, Леммы Уайтхеда (названный в честь Дж. Х. К. Уайтхед) представляют собой серию утверждений относительно теория представлений конечномерных, полупростые алгебры Ли в нулевой характеристике. Исторически они считаются ведущими к открытию Когомологии алгебры Ли.^[1]

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

Первая лемма Уайтхеда - важный шаг к доказательству Теорема Вейля о полной сводимости.

Заявления

Не упоминая группы когомологий, можно сформулировать первую лемму Уайтхеда следующим образом: Пусть ${ displaystyle { mathfrak {g}}}$ - конечномерная полупростая алгебра Ли над полем нулевой характеристики, V конечномерный модуль над этим, и ${ displaystyle f двоеточие { mathfrak {g}} to V}$ линейное отображение такое, что

${ displaystyle f ([x, y]) = xf (y) -yf (x)}$.

Тогда существует вектор ${ displaystyle v in V}$ такой, что ${ Displaystyle f (x) = xv}$ для всех ${ displaystyle x in { mathfrak {g}}}$.С точки зрения Когомологии алгебры Ли, это по определению равносильно тому, что ${ Displaystyle Н ^ {1} ({ mathfrak {g}}, V) = 0}$ для каждого такого представления. Доказательство использует Элемент Казимира (см. доказательство ниже).^[2]

Аналогично, вторая лемма Уайтхеда утверждает, что в условиях первой леммы также ${ Displaystyle Н ^ {2} ({ mathfrak {g}}, V) = 0}$.

Другое родственное утверждение, которое также приписывается Уайтхеду, описывает когомологии алгебр Ли в произвольном порядке: при тех же условиях, что и в предыдущих двух утверждениях, но далее пусть ${ displaystyle V}$ быть несводимый под ${ displaystyle { mathfrak {g}}}$-действие и пусть ${ displaystyle { mathfrak {g}}}$ действовать нетривиально, поэтому ${ Displaystyle { mathfrak {g}} cdot V neq 0}$. потом ${ displaystyle H ^ {q} ({ mathfrak {g}}, V) = 0}$ для всех ${ displaystyle q geq 0}$.^[3]

Доказательство^[4]

Как и выше, пусть ${ displaystyle { mathfrak {g}}}$ - конечномерная полупростая алгебра Ли над полем нулевой характеристики и ${ displaystyle pi: { mathfrak {g}} to { mathfrak {gl}} (V)}$ конечномерное представление (которое полупросто, но в доказательстве этот факт не используется).

Позволять ${ displaystyle { mathfrak {g}} = operatorname {ker} ( pi) oplus { mathfrak {g}} _ {1}}$ куда ${ displaystyle { mathfrak {g}} _ {1}}$ это идеал ${ displaystyle { mathfrak {g}}}$. Тогда, поскольку ${ displaystyle { mathfrak {g}} _ {1}}$ полупроста, форма следа ${ Displaystyle (х, у) mapsto OperatorName {tr} ( пи (х) пи (у))}$, относительно ${ displaystyle pi}$, невырождена на ${ displaystyle { mathfrak {g}} _ {1}}$. Позволять ${ displaystyle e_ {i}}$ быть основой ${ displaystyle { mathfrak {g}} _ {1}}$ и ${ Displaystyle е ^ {я}}$ дуальный базис по отношению к этой форме следа. Затем определите Элемент Казимира ${ displaystyle c}$ к

${ Displaystyle с = сумма _ {я} е_ {я} е ^ {я},}$

который является элементом универсальной обертывающей алгебры ${ displaystyle { mathfrak {g}} _ {1}}$. Через ${ displaystyle pi}$, он действует на V как линейный эндоморфизм (а именно, ${ displaystyle pi (c) = sum _ {i} pi (e_ {i}) circ pi (e ^ {i}): V to V}$.) Ключевым свойством является то, что он коммутирует с ${ displaystyle pi ({ mathfrak {g}})}$ в смысле ${ Displaystyle пи (х) пи (с) = пи (с) пи (х)}$ для каждого элемента ${ displaystyle x in { mathfrak {g}}}$. Также, ${ displaystyle operatorname {tr} ( pi (c)) = sum operatorname {tr} ( pi (e_ {i}) pi (e ^ {i})) = dim { mathfrak {g }} _ {1}.}$

Теперь по Лемма Фиттинга, имеем разложение векторного пространства ${ Displaystyle V = V_ {0} oplus V_ {1}}$ такой, что ${ displaystyle pi (c): от V_ {i} до V_ {i}}$ является (точно определенным) нильпотентный эндоморфизм за ${ displaystyle i = 0}$ и является автоморфизмом для ${ displaystyle i = 1}$. С ${ Displaystyle пи (с)}$ ездит с ${ displaystyle pi ({ mathfrak {g}})}$, каждый ${ displaystyle V_ {i}}$ это ${ displaystyle { mathfrak {g}}}$-подмодуль. Следовательно, достаточно доказать лемму отдельно для ${ displaystyle V = V_ {0}}$ и ${ Displaystyle V = V_ {1}}$.

Сначала предположим ${ Displaystyle пи (с)}$ является нильпотентным эндоморфизмом. Тогда, по раннему наблюдению, ${ Displaystyle тусклый ({ mathfrak {g}} / operatorname {ker} ( pi)) = operatorname {tr} ( pi (c)) = 0}$; то есть, ${ displaystyle pi}$ - тривиальное представление. С ${ displaystyle { mathfrak {g}} = [{ mathfrak {g}}, { mathfrak {g}}]}$, условие на ${ displaystyle f}$ подразумевает, что ${ displaystyle f (x) = 0}$ для каждого ${ displaystyle x in { mathfrak {g}}}$; т.е. нулевой вектор ${ displaystyle v = 0}$ удовлетворяет требованию.

Во-вторых, предположим ${ Displaystyle пи (с)}$ это автоморфизм. Для простоты обозначений опустим ${ displaystyle pi}$ и писать ${ Displaystyle xv = pi (x) v}$. Также позвольте ${ Displaystyle ( cdot, cdot)}$ обозначают форму трассировки, использованную ранее. Позволять ${ Displaystyle ш = сумма е_ {я} е (е ^ {я})}$, который является вектором в ${ displaystyle V}$. потом

${ displaystyle xw = sum _ {i} e_ {i} xf (e ^ {i}) + sum _ {i} [x, e_ {i}] f (e ^ {i}).}$

Сейчас же,

${ displaystyle [x, e_ {i}] = sum _ {j} ([x, e_ {i}], e ^ {j}) e_ {j} = - sum _ {j} ([x, e ^ {j}], e_ {i}) e_ {j}}$

и с тех пор ${ displaystyle [x, e ^ {j}] = sum _ {i} ([x, e ^ {j}], e_ {i}) e ^ {i}}$, второй член разложения ${ displaystyle xw}$ является

${ displaystyle - sum _ {j} e_ {j} f ([x, e ^ {j}]) = - sum _ {i} e_ {i} (xf (e ^ {i}) - e ^ {i} f (x)).}$

Таким образом,

${ displaystyle xw = sum _ {i} e_ {i} e ^ {i} f (x) = cf (x).}$

С ${ displaystyle c}$ обратима и ${ displaystyle c ^ {- 1}}$ ездит с ${ displaystyle x}$, вектор ${ displaystyle v = c ^ {- 1} w}$ имеет требуемое свойство. ${ displaystyle square}$

Примечания

Рекомендации

• Джейкобсон, Натан, Алгебры Ли, Переиздание оригинала 1962 года. Dover Publications, Inc., Нью-Йорк, 1979. ISBN 0-486-63832-4