CC BY
13МАТЕМАТИЧЕСКИЕ МЕТОДЫ В ЕСТЕСТВЕННЫХ, ТЕХНИЧЕСКИХ И СОЦИАЛЬНЫХ НАУКАХ
УДК 512.554.31
Н. Г. Чебочко
ДЕФОРМАЦИИ КЛАССИЧЕСКИХ АЛГЕБР ЛИ ТИПА ^ НАД ПОЛЕМ
ХАРАКТЕРИСТИКИ 2
Нижегородский государственный университет им. Н.И. Лобачевского
Описание глобальных деформаций алгебр Ли представляет интерес в связи с нерешенной задачей классификации простых алгебр Ли над полями малой характеристики.
В статье исследуются глобальные деформации классических алгебр Ли типа Д над алгебраически замкнутым полем К характеристики 2. Доказана жесткость алгебр Ли типа Д при нечетном I > 3 и построены некоторые глобальные деформации алгебр Ли типа Д при четном I > 4.
Ключевые слова: модулярные алгебры Ли, когомологии, деформации.
Классическими алгебрами Ли над полем ненулевой характеристики р называют алгебры Ли, полученные редукцией по модулю р решетки Шевалле комплексной простой алгебры Ли и их факторалгебры по центру.
Пусть Ь - алгебра Ли над полем К, Ь( - расширение поля скаляров Ь 0 Кф)) . Предположим, что билинейное отображение £ : Ц х Ц ^ Ц имеет вид
£ (х, У) = [ х, у] + (х, у) +1(х, у)+■■■, (1)
где ^ - билинейные отображения над К.
Если отображение £ удовлетворяет условию антисимметричности и условию Якоби, то алгебры Ли Ц с умножением £ являются семейством глобальных деформаций алгебры Ли Ь, а ^ называют интегрируемым. Условия, накладываемые на £, означают в частности, что отображение ^ принадлежит пространству коциклов 22(Ь, Ь). Причем когомологичные коциклы дают изоморфные алгебры Ли. Поэтому в качестве ^ берут представителей когомологических классов и называют вторую группу когомологий с коэффициентами в присоединенном модуле Н2(Ь, Ь) пространством локальных деформаций. Если алгебра Ли не имеет нетривиальных глобальных деформаций, то она называется жесткой.
Классические алгебры Ли над полями характеристики 2 и 3 имеют глобальные деформации. Г. Браун заметил, что над полем характеристики 3 корневую систему типа С2 могут иметь неизоморфные алгебры Ли [1]. В 1970 г. А.И. Кострикин построил параметрические семейства неизоморфных простых алгебр Ли характеристики 3, которые являются гло-
© Чебочко Н. Г., 2011.
бальными деформациями алгебры Ли C2 [6]. А.С. Джумадильдаев [2] доказал, что среди алгебр Ли серий An, Bn, Cn, Dn только алгебра Ли C2 допускает нетривиальные деформации при p = 3. А. И. Кострикин и М.И. Кузнецов в [7] полностью описали глобальные деформации алгебры Ли C2. Предложенный ими подход к исследованию глобальных деформаций, основанный на изучении орбит действия группы автоморфизмов алгебры на пространстве ее когомологий, используется в данной статье.
А.Н. Рудаковым [9] установлено, что над полем характеристики p > 3 все классические алгебры Ли являются жесткими. В работах [5] и [8] М.И. Кузнецовым и Н.Г. Чебоч-ко предложена новая схема исследования жесткости и доказана жесткость классических алгебр Ли всех типов, кроме алгебры Ли типа C2 при p = 3 , над полем характеристики
p > 2 . При p = 2 некоторые деформации алгебры Ли типа G2 были построены китайским математиком Гуанжу Шень [4]. Пространства локальных деформаций классических алгебр Ли с однородной системой корней над полем характеристики 2 найдены в [10].
Пусть R - система корней типа D, {а,.--,а_2,a_i,а} " система простых корней, здесь корни занумерованы так, что а связан в схеме Дынкина с а_2. Через <а, ß> будем обозначать число Картана для корней а, ß. Векторы базиса Шевалле в алгебре Ли будем обозначать H. = Ha и Еа , а е R.
В [10] получено описание пространства локальных деформаций алгебр Ли типа Dt над полем характеристики 2.
Деформации алгебры Ли типа Dl при нечетном l > 3
Пусть L - алгебра Ли типа Dl при нечетном l > 3 . Алгебра Ли типа Dt при нечетном l > 3 имеет одномерный центр Ht + Ht_1, алгебра Ли типа Dl - ее факторалгебра по центру.
Нам понадобится следующее описание Dl в характеристике 2. Согласно [3], группа автоморфизмов алгебры Ли L типа Dl изоморфна группе Шевалле типа Bl. Пусть V - векторное пространство над K размерности 2l с симплектической формой (, ) . Группа автоморфизмов алгебры Ли L содержит группу G = Sp(2l) - симплектическую группу, ассоциированную с формой (, ) . Выберем симплектический базис {e1, ..., el, e_l, ..., e_x} в V , состоящий из собственных векторов относительно действия максимального тора T группы G . Пусть e имеет вес si, e_t имеет вес _st, i = 1,., l. Факторалгебра внешней алгебры a2V по идеалу I =< e1e_ 1 н-----h ele_l > изоморфна алгебре Ли L (это верно только при нечетном l).
Основной комплекс когомологий раскладывается в прямую сумму весовых подкомплексов относительно естественного действия максимального тора группы Шевалле G(L). Соответствующие группы когомологий являются весовыми подпространствами в группе ко-гомологий основного комплекса. Весовые подпространства коцепей, коциклов, кограниц и
когомологий будем обозначать Cпц (L, L), Zпц (L, L), Bпц (L, L), H(L, L) соответственно.
В [10] показано, что H^(L,L) = 0, H2(L,L) является прямой суммой ненулевых пространств H2(L, L), где /л имеет вид y + ö, для у, 5 е R, таких что <у, 5 >= 0. Любой вес /л сопряжен относительно группы Вейля с а + ам. Всего таких весов 2l:
{±(а _al ± (al +al _iX ±(al +al_i+2а_2),± (а +a_i+2а-2 + —+'2ад) и
H 2(Ь, Ь) = 2/ . Также в [10] получено естественное описание второй группы когомологий Н2(Ь, Ь) как модуля над группой 5р(2/) ^ Ап1 (Ь) . А именно, доказано, что для алгебры Ли типа Д ( / > 3 нечетное) Н2(Ь,Ь) как модуль над 5р(2/) изоморфен V с точностью до морфизма Фробениуса, где V - стандартное представление Бр(2/) . Опишем подробно данную реализацию Н2(Ь, Ь).
Построим гомоморфизм модуля V в модуль Н2(Ь,Ь).
Определим сначала Ф : V ^ С2(Ь,Ь) . Пусть V еV, Л^ / / = Ь . Поло-
жим Ф (V) = р, где
, ЩЩ ) = (V, Щ )(v, Щ + (V, Щ )(v, Щ )ЩЩ +
+(v, Щ )(v, Щ ) ЩЩ + (V, Щ )(v, Щ )Щ Щ + (V, Щ )(щ , Щ +
Щ )(щ , Щ + (V, Щ )(Щ , Щ + (V, Щ )(Щ , Щ . (2)
С помощью скобки Пуассона , V} = (^, v)v2 + (у2, v)v1, Ф(v) можно записать компактнее:
Ф^)(щщ2,ЩЩ) = {ЩЩ,v}{ЩЩ,V} + v{v,(Щ,Щ)ЩЩ + (Щ,Щ)ЩЩ} . (3)
Отображение р корректно определено на элементах л^ , линейно и кососиммет-рично, т.е. является элементом С2(Ь, Ь). Также Ф перестановочно с действием 5р(2/) :
^^Ощ ЩЩ) = g(Ф(v)(g"lwlg"lw2,(4)
для любого £ е 5р(2/) .
Используя скобку Пуассона в л2У :
[^2, V3V4 ] = {V1V2, V3V4 } = (V1, V3 )V2V4 + (V1, V4 )V2V3 + (V2, V3 )V1V4 + (V2, V4 )V1V3 , (5)
вычисление ёр на произвольных элементах щщ, ЩЩ , ЩЩ показывает, что ре 22(Ь,Ь).
Отображение Ф индуцирует отображение V в группу когомологий Н2(Ь,Ь), которое мы также будем обозначать Ф. Таким образом, Ф(е±1) , ... ,Ф(е±1) определяют 2/ нетривиальных коциклов различных весов. Так как Ф(ку) = к2Ф^) для любого скаляра к е К,
то действие симплектической группы на Н2(Ь,Ь) отличается от действия на V морфизмом Фробениуса.
Необходимым условием продолжаемости произвольного коцикла у до глобальной деформации является тривиальность коцикла у^>у из 23(Ь,Ь), где
у ^ у ( х, у, z) = у(у( х, у), z) + у(у( у, z), х) + у(у( 7, х), у) (6)
для любых х, у, 7 из Ь .
В алгебре Ли типа Д (/ > 3 нечетное) нетрудно найти такой коцикл у, что уиу = 0 и у^у имеет вес л, для которого С2(Ь,Ь) = 0. Покажем это.
Так как / >3 нечетное, то в базисе {е1, ..., ег, е /, ..., е 1} есть векторы е4,е5,е_5,е_4 . Рассмотрим коцикл у = Ф (е4). Имеем
у ^ у (е_4е_5 , е_4е5, е3е_4 ) = у(у(е_4е_5, е_4е5 ), ^ ) + У(У(е_4е5 , е3е_4 ), е_4е_5 ) + +У(У(е3е_4, е_4е_5 ), е_4е5 ) = у (у (е_4е_5, ^ ), е3е_4 ) = у (е5е_5 , е3е_4 ) = е3е4.
Видим, что ненулевой коцикл из ZAe^(L,L) . Так как пространство C^(L,L)
нулевое, то B\ (L,L) = 0. Следовательно, щ^щ не является кограницей. Таким образом, щ неинтегрируемый коцикл.
Группа G действует транзитивно на V , поэтому никакой коцикл из H2(L,L) не продолжается до глобальной деформации и алгебры Ли типа D ( l > 3 нечетное) являются жесткими.
Деформации алгебры Ли типа Dl при четном l > 4
Пусть L - алгебра Ли типа Dl при четном l > 4. Алгебра Ли L имеет двумерный центр:
< H + H-1, H-! + H з н-----h H3 + H > . Пространство H 2(L, L) в этом случае также является
прямой суммой ненулевых пространств H2 (L, L), где ц имеет вид у+ ô для у, S g R, таких что
< у, S >= 0. Любой такой вес сопряжен относительно группы Вейля с а + ам. Всего таких весов 2l : {+(«;—a^j), ± (а,+«;_]), +а/_1 + 2а/_2), .., ±( al+al_x+l2<xl_2+ ) . Соответствующие весовые пространства когомологий одномерны и dim H 2(L, L) = 2l.
Будем использовать изоморфизм Cn(L,L) = L a...a L ® L.
n
Так как все веса сопряжены, то достаточно описать пространство Hа (L, L) . Коцикл
щ = £ E— у a E_s® z, (8)
y+S=ai —i
где z = Hl_l + 3 н-----h H3 + H1 порождает пространство Ha (L, L).
Рассмотрим условие (6) для данного коцикла щ :
щ^щ( x, y, z) = 0 (9)
для любых x, y, z из L .
Следовательно, коцикл щ является интегрируемым. А именно, отображение
f ( x, y) = [ x, y] + щ( x, y) (10)
будет давать глобальную деформацию алгебры Ли L .
Так как для любого коцикла щ g H2(L,L) значение щ(x,y) содержится в центре алгебры Ли L для всех x, y из L и щ принимает ненулевое значение только на нецентральных элементах алгебры, то условие (10) выполняется для всех элементов из H2(L,L). Таким образом, любой коцикл из H2(L, L) для алгебры Ли типа D{ при четном l > 4 является продолжаемым.
Выводы
Основные результаты работы сформулируем в следующей теореме Теорема.
Пусть L - алгебра Ли над алгебраически замкнутым полем характеристики 2.
(1) Если Ь имеет тип Д при нечетном / > 3, то Ь - жесткая алгебра Ли.
(2) Если Ь имеет тип Д при четном / > 4, то любой коцикл из Н2(Ь,Ь) является интегрируемым.
Автор выражает благодарность М.И. Кузнецову за внимание к работе и полезные замечания.
Работа выполнена в рамках Федеральной целевой программы "Научные и научно -педагогические кадры инновационной России", шифр проекта НК-13П-13, контракт №П945".
Библиографический список
1. Brown, G. Lie algebras of characteristic three with non degenerate Killing form / G. Brown // Trans. Amer. Math. Soc.1969. V. 137. P. 259-268.
2. Джумадильдаев, А.С. К деформациям классических простых алгебр Ли / А.С. Джумадильда-ев //УМН. 1976. Т. 31. N.3 (189). C. 211-212.
3. Frohardt, D.E. Automorphisms of modular Lie algebras / D.E Frohardt, R.L. Griess (Jr.) // Nova J. Alg. Geom. 1992. V. 1. P. 339-345.
4. Shen Guangyu. Variations of the classical Lie algebra G2 in low characteristics / Guangyu Shen // Nova J. Alg. Geom. 1993. V.2. № 3. P.217-243.
5. Кириллов, С.А. О деформациях алгебры Ли типа G2 характеристики три / С.А. Кириллов,
М.И. Кузнецов, Н.Г. Чебочко // Изв. вузов. Сер. Математика. 2000. №3(454). С. 33-38.
6. Кострикин, А.И. Параметрическое семейство простых алгебр Ли / А.И. Кострикин // Изв. АН СССР. Сер. математика. 1970. Т. 34. С. 744-756.
7. Кострикин, А.И. О деформациях классических алгебр Ли характеристики три / А.И. Кострикин, М.И. Кузнецов // Докл. РАН. 1995. Т. 343. N.3. С. 299-301.
8. Кузнецов, М.И. Деформации классических алгебр Ли / М.И. Кузнецов, Н.Г. Чебочко // Математический сборник. 2000. Т.191. N8. C. 69-88.
9. Рудаков, А.Н. Деформации простых алгебр Ли / А.Н. Рудаков// Изв. АН СССР. Сер. Математика. 1971. Т. 35. С. 1113-1119.
10. Чебочко, Н.Г. Деформации классических алгебр Ли с однородной системой корней в характеристике 2. I / Н.Г. Чебочко // Математический сборник. 2005. Т. 196. N9. C.125-156.
Дата поступления в редакцию 25.01.2011
N.G. Chebochko
THE DEFORMATIONS OF CLASSICAL LIE ALGEBRAS OF TYPE Di OVER THE FIELD OF CHARACTERISTIC 2
Description of global deformations of Lie algebras is very important since it is related to unsolved problem of classification of simple Lie algebras over the field of small characteristic.
In this article we study global deformations of classical Lie algebras of type Dl over the algebraically closed
field K of characteristic 2. It is proved that classical Lie algebras of type Dl are rigid for odd l > 3 . Also some global
deformations of Lie algebras of type Dl for even l > 4 are constructed.
Key words: modular Lie algebras, cohomology, deformations.
