Автоморфизмы исключительных простых алгебр ЛИ тема автореферата и диссертации по математике, 01.01.06 ВАК РФ
Муляр, Ольга Александровна
АВТОР
|
||||
кандидата физико-математических наук
УЧЕНАЯ СТЕПЕНЬ
|
||||
Санкт-Петербург
МЕСТО ЗАЩИТЫ
|
||||
2003
ГОД ЗАЩИТЫ
|
|
01.01.06
КОД ВАК РФ
|
||
|
Санкт-Петербурге га I й государствен н ый университет
На правах рукописи
МУЛЯР ОЛЬГА АЛЕКСАНДРОВ! 1А
АВТОМОРФИЗМЫ ИСКЛЮЧИТЕЛЬНЫХ ПРОСТЫХ АЛГЕБР ЛИ
01.01.06 - математическая лотка, алгебра и теория чисел
Автореферат диссертации на соискание ученой степени кандидата физико-математических наук
Санкт-Петербург - 2003
Работа выполнена на кафедре геометрии и высшей алгебры механико-математического факультета Нижеюродского государственного университета имени Н. II Лобачевского
Научный руководитель -доктор физико-математических наук, профессор Кузнецов Михаил Иванович
Официальные оппоненты -
доктор физико-матемл ических наук, профессор Вавилов Ннко иш Александрович
доктор физико-матема1 ических наук, профессор Галкин Владимир Михаилович
Ведущая организация Казанский государственный университет
Защита состоится « » 200 1 ода в часов на
заседании диссертационного совета Д 212 232.29 по защите диссертаций на соискание ученой степени доктора наук в Санкт-Петербургском государственном университете по адрсс\ 198504. г Санкт-Петербург. Ст.Петергоф, Университетский проспект. I 2В. матемагико-механнческий факультет СПбГУ.
Защита будет проводиться по адрес) 191011 Санкт-Петербург. Наб. реки Фонтанки, 27. ауд. 311 (помещение ПОМ11 РАН).
С диссертацией можно ошакомиться в На\ мной библиотеке им Горького Санкт-Петербургского Iосударственного университета по адресу 199034. г. Санкт-Петербург. Университетская набережная, дом 7'9.
Автореферат разослан « » 2003г
Ученый секретарь диссертационного совета Д 212.232.29 профессор
Нежинский В М
ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ.
Актуальность темы.
Диссертационная работа относится к актуальному направлению теории алгебр Ли - классификации и исследованию простых алгебр Ли над полями характеристики р > 0.
В настоящее время получена классификация простых алгебр Ли при р > 7. Для р = 5, 7 классификация близка к завершению (X. Штраде, А. Премет и др.). Классификация простых алгебр Ли для р = 2,3 неизвестна. Здесь существуют отдельные серии простых алгебр Ли, которые не встречаются в больших характеристиках.
Для классификации простых алгебр Ли особый интерес представляют структурные свойства известных простых алгебр. В диссертационной работе исследуются автоморфизмы и дифференцирования следующих простых алгебр Ли: алгебр Меликяна д(т), алгебр Скрябина 2(т) и }'(т), алгебр серии Я.
Цель работы.
Описание автоморфизмов неклассических простых алгебр Ли.
Методы исследования.
В работе применяются методы общей теории градуированных алгебр Ли, теории усеченных коиндуцированных модулей, теории когомологий алгебр Ли.
РОС. НАЦИОНАЛЬНАЯ!
БИБЛИОТЕКА I |
Научная новизна/ , >:'
Результаты диссертации являются новыми и заключаются в следующем:
1) Разработана новая схема исследования автоморфизмов исключительных простых алгебр Ли, основанная на теории усеченных коиндуци-рованных модулей.
2) Найдены дифференцирования алгебр Меликяна 0(ш), алгебр Скрябина Z(m) и У(т), алгебр серии R.
Дифференцирования алгебр Меликяна были ранее найдены другими способами М.И.Кузнецовым (1990), Х.Штраде (1997). Дифференцирования алгебр Скрябина и алгебр серии R описаны впервые.
3) Доказано, что стандартная максимальная подалгебра алгебры серии R инвариантна относительно автоморфизмов.
Инвариантность стандартной максимальной подалгебры алгебр Z(m) и У(m) получена С.М. Скрябиным (1992), для алгебр Меликяна -М.И.Кузнецовым (1991). С.А. Кириллов показал, что максимальная подалгебра алгебры Меликяна является нормализатором сэндвичевой подалгебры, откуда также следует ее инвариантность (1990).
4) Получено описание автоморфизмов алгебр Меликяна fl(m), алгебр Скрябина У(т), найдена алгебра Ли группы автоморфизмов алгебр Скрябина У(ш) и алгебр серии R.
Автоморфизмы р-алгебры Меликяна fl(l, 1) были описаны М.И.Кузнецовым (1989), O.A. Муляр (2000) и С.М.Скрябиным (2001). Автоморфизмы алгебр Меликяна g(m) над полем характеристики 5, Скрябина У(ш) и алгебр серии R над полем характеристики 3 ранее не исследовались.
Теоретическая и практическая значимость.
Работа носит теоретический характер. Ее результаты и методы могут быть использованы специалистами в области теории алгебр Ли и могут найти применение в классификации простых алгебр Ли над полями малой характеристики.
Апробация диссертации.
Результаты диссертации докладывались на XI Международной школе-семинаре по современным проблемам теоретической и математической физики, Казань, 1999; IV Нижегородской сессии молодых ученых, Н. Новгород, 2000; XXII Конференции молодых ученых механико-математического факультета МГУ, Москва, 2000; IV Международной алгебраической конференции, посвященной 60-летию профессора Ю. И. Мерзлякова, Новосибирск, 2000; Международном семинаре по теории групп, посвященном семидесятилетию А.И. Старостина и восьмидесятилетию Н.Ф. Сесекина, Екатеринбург, 2001; Международной алгебраической конференции, посвященная памяти З.И. Боревича, С.-Петербург, 2002; V Международной конференции "Алгебра и теория чисел: современные проблемы и приложения", Тула, 2003; на алгебраическом семинаре МГУ (Москва).
Публикации.
Основные результаты работы опубликованы в восьми работах.
Структура и объем работы.
Диссертация изложена на 100 страницах, состоит из введения и 10 глав. Список литературы содержит 47 наименований.
СОДЕРЖАНИЕ РАБОТЫ.
Во введении формулируются результаты работы, а также приводится краткий обзор исследований, связанных с темой диссертации.
В главе 1 собраны сведения из теории алгебр Ли, которые используются в работе. Приводятся определения алгебры разделенных степеней, общей алгебры Ли картановского типа, дифференциальных форм, кого-мологий алгебры Ли, транзитивных градуированных алгебр Ли, а также приведена общая схема исследования автоморфизмов градуированных алгебр Ли.
Описание автоморфизмов основано на инвариантности некоторых максимальных подалгебр. Обозначим через Ь одну из рассматриваемых алгебр. Инвариантность фильтрации, соответствующей градуировке, позволяет определить фильтрацию в группе автоморфизмов АиЬ Ь = АиЬ^Ь Э АЫ^Ь Э ... Э АЫ^Ь I) ... следующим образом:
АиЬ(,)Ь = е Аи1 Ь\<р~\ \ Ь^) —»■
Обозначим АиЬцЬ группу автоморфизмов, сохраняющих Х-градуировку. Очевидно, АиЬ Ь - полупрямое произведение АиЦЬ и АиЦ^Ь. Таким образом, проблема описания автоморфизмов разбивается на две задачи: описать группы Аи10Ь и АиЬ^Ь. Отметим, что Ф € АиЦк) Ь можно записать следующим образом:
Ф = 1 + Фк + Фы-1 + ... + Ф, + .. •, где : Ь„ -> Ьд+}, ] > к. Легко показать, что Ф* является дифферен-
цированием алгебры L. Очевидно, что Ф^ G Derk L, где Derk L - соответствующий член градуировки в алгебре дифференцирований Der L. Таким образом, описание Aut^L сводится к следующей задаче: найти все дифференцирования D G Derk L, такие что D = Фк для подходящего автоморфизма Ф.
Во второй главе дано описание исключительных простых Ъ-градуированных алгебр Ли: алгебр Меликяна g(m), алгебр Скрябина Z(m), V'(m), алгебр серии R. Рассматриваемые алгебры обладают также йч-градуировкой
L = L5 + Lr+.--+L5=r,
где Lq - алгебра Ли картановского типа, L-, i ф 0 — Lg-модуль тензорных плотностей. В таком случае говорят, что алгебра L имеет геометрическую реализацию. Отметим, что для алгебр Меликяна g(m) q — 3, для алгебр Скрябина £(m) д = 4, а для алгебр F(m) и Я(т) q = 2.
Для серий g, Z, Y выделяются следующие общие свойства:
1) = L'_i, г — 1, - - -, <7 - попарно неизоморфные нетривиальные неприводимые Lo-модули;
2) для любого 0 ф х 6 L{, i > 0, [х, L_i] ф 0 и [х, L_4] ^ 0;
3) в соответствующей 2,-градуировке
L = Lq -f Li-г • • ■ + L—y, Lj = ®t=s(.q)Lи
(a) Lq = W{n : m) = W, где m = (rob ..., m„) ,
(b) Lj - неприводимый ¿¡у-модуль, s = 1,..., <7 — 1;
4) Подалгебра L(0) = ©t>0L,- инвариантна относительно автоморфизмов L\
5) Я'(1о,£_,) = 0, г = l,...,q, t = 0,1;
6) Lo-модули г = 1,..., q не являются факторами композиционного ряда первого члена W[ij стандартной градуировки алгебры W.
В третьей главе описаны геометрические автоморфизмы (так называются автоморфизмы, сохраняющие Lq). Обозначим Aut^L подгруппу геометрических автоморфизмов. Нетрудно видеть, что Aut^L С Aut^L. Доказывается следующее
Предложение 1 Пусть res : Aut^L —»• Aut W(n : ш) - гомоморфизм ограничения (Lq = W(n : m)), цч - групповая схема корней степени q из 1. Тогда следующая последовательность точна:
1 —> fiq —> Aut^L Aut W(n : m) —> 1. □
В главе 4 собраны основные определения и теоремы из теории усеченных коиндуцированных модулей ([1]). Приведена теорема о минимальном вложении, формула для вычисления когомологий транзитивной алгебры Ли с коэффициентами в усеченном коиндуцированном модуле.
В главе 5 доказаны три теоремы об абелевых подалгебрах в W (п : т), К(т) и Д(т), которые существенно используются для нахождения алгебры Ли группы автоморфизмов алгебр У(т) и алгебр серии R.
В шестой главе описаны дифференцирования исключительных простых алгебр Ли. Отдельно рассмотрены алгебры, удовлетворяющие условиям 1)-6) (алгебры Скрябина Z(m), У(т), алгебры Меликяна g(rn)), и алгебры серии R.
Теорема 1 Пусть L - простая алгебра Ли , удовлетворяющая условиям 1)-6).
(1) DerL = Lq 4- где Lq - р-замыкание L^ в DerL, ¿5 = если Lj = cw{Ls-q) и Lj = Bk(Q) CL?C ¿s Ф cw{L^q).
(2) Для l € Li,i = — - 1) существует Г e L^, такое что (ad l)v = ad l'. □
Из теоремы 2 непосредственно получаем
Следствие 1 (1) Если L = 0(ш1,шг) - алгебра Меликяна, то
Der L = Lq + Lj + ¿2-Если L = V(mi,m2,m3), то DerL
^ Если L = Z(mi,m2,m3), то
DerL S + IT + +
где Z2(fi) - пространство замкнутых форм степени 2. □
Теорема 2 DerR ^ + П2, где — р-замыкание R§ в DerR, Q2 -пространство форм степени 2. □
В седьмой главе приведено доказательство инвариантности стандартной максимальной подалгебры алгебры серии R.
В главе 8 исследована продолжаемость дифференцирования до автоморфизмов алгебры Меликяна g(mi,m2) характеристики 5 и алгебры Скрябина У{тп1,т2,гпз) характеристики 3. Эта задача решается с помощью когомологий, так как препятствие к продолжению является элементом Z2(L, L). Для алгебр g(m),Y(m), используя вложение в W, сводим
вычисление препятствий к нахождению группы HX(L, W/L). И вот здесь существенным образом используются коиндуцированные модули.
Теорема 3 Пусть L - простая алгебра Ли, удовлетворяющая условиям 1)-6). Предположим, что q <р и Lj - неисключительный W-модуль для любого s € 7Lq.
(1) Если i ф 0(mod q),i > 0, то
Aut^L /Aut{l+\)L = L,.
(2) Если D € Lit i > 0, i = 0(mod q), mo ad D продолжается до автоморфизма алгебры L тогда и только тогда, когда ad D продолжается до автоморфизма алгебры Lq = W(n : m). □
В девятой главе найдена алгебра Ли группы автоморфизмов алгебр Скрябина Y'(m) = У. Для однородного дифференцирования D G Der,Y, i > 0, продолжающегося до автоморфизма, строится однопарамет-рическое семейство {<ра, s € К} С Aut Y, такое что ¥>»|г_г — схр s ad D. Очевидно, что ^|,=o|v'_j = ad D |y_2. В работе доказывается, что дифференцирование D € DertY, i > 0 однозначно определяется своим действием на У_2. Отсюда получаям, что |.,=о = ad D £ Lie Aut Y.
Теорема 4 Пусть L — Lie Aut У(т) - алгебра JIu группы автоморфизмов У(ш), С = + £j - индуцированная Z2-градуировка. Тогда
Cq a Lie Aut W(3 : m), CT £ Ут+,
где Ут+ = Уу П У(0). Кроме того, Aut(2k+i)/Aut^k+2) — Yzk+u к >0.
В главе 10 получено описание автоморфизмов алгебр серии R, найдена алгебра Ли группы автоморфизмов. Пусть G = Aut R, Lie G - алгебра Ли G, Lie G = <7q© Qj - индуцированная Z2-градуировка.
Теорема 5 — "■ m), = m(2)Q2, где m - максимальный
идеал ö{2 : m). □
Автор выражает благодарность своему научному руководителю профессору М. И. Кузнецову за внимательное отношение к работе, полезные обсуждения и доброжелательность. Цитированная литература.
1. Кузнецов М.И. Усеченные индуцированные модули над транзитивными алгебрами Ли характеристики р // Изв. АН СССР, сер. матем. -1989- Т. 53. - С. 557-589.
Работы автора по теме диссертации.
1. Кузнецов М.И., Муляр O.A. Алгебры Меликяна и их автоморфизмы. XI Международная школа-семинар по современным проблемам теоретической и математической физики: Тез. докл. - Казань: "Хэтер", 1999. - С. 68.
2. Кузнецов М.И., Муляр O.A. Автоморфизмы р-алгебры Меликяна. Четвертая нижегородская сессия молодых ученых: Тезисы докл., Ч. I. --Н. Новгород:Нижегородский гуманитарный центр, 2000. - С. 69-70.
3. Кузнецов М.И., Муляр O.A. Алгебры Меликяна и их автоморфизмы. IV Международная алгебраическая конференция, посвященная 60-летию
профессора Ю.И.Мерзлякова : Тез. докл. — Новосибирск: Изд-во Ин-та математики, 2000. -- С. 99--100.
4. Кузнецов М.И., Муляр О.А. Группы автоморфизмов исключительных простых алгебр Ли. Международный семинар по теории групп, посвященный семидесятилетию А.И. Старостина и восьмидесятилетию Н.Ф. Сесекина: Тез. докл. — Екатеринбург: Изд-во Уральского Государственного Университета, 2001. - С.111—112.
5. Муляр О.А. Автоморфизмы алгебры Меликяна. Аналитические методы в математике и механике. Труды XXII Конференции молодых ученых механико-математического факультета МГУ. - М.: Изд-во Центра прикладных исследований при механико-математическом факультете МГУ, 2001,- С. 121-123.
6. Муляр О.А. Автоморфизмы неклассических простых алгебр Ли. V Международная конференция "Алгебра и теория чисел: современные проблемы и приложения": Тез.докл. ~ Тула: Изд-во ТГПУ им. Л.Н.Толстого, май 2003. - С. 163-164.
7. Kuznetsov M.I, Mulyar О.А. Automorphisms of exceptional simple Lie algebras // Communications in Algebra. - 2Ô01. - V.29 (№9). - P. 39193934.
8. Mulyar O.A. The automorphisms and derivations of exceptional simple Lie algebras of series R (p=3). International algebraic conference dedicated to the memory of Z.l. Borevich: Abstracts.- St.Peterburg: POMI, 2002,- P. 130-131.
ЛР № 040815 от 22.05.97.
Подписано к печагги 2003г. Формат бумаги 60X84 1/16. Бумага офсетная.
Печать ризографическая. Объем 1 усл. п.л. Тираж 100 экз. Закат 3031. Отпечатано в отделе оперативной полиграфии НИИХ СПбГУ с оригинал-макета заказчика. 198504, Санкт-Петербург, Старый Петергоф, Университетский пр., 26.
У
С
s
»17650
Введение.
Глава 1. Определения и предварительные результаты
1.1 Алгебра разделенных степеней.
1.2 Специальные дифференцирования.
1.3 Дифференциальные формы.
1.4 Когомологии алгебры Ли.
1.5 Транзитивные градуированные алгебры Ли.
1.6 Автоморфизмы градуированных алгебр Ли.
Глава 2. Исключительные простые алгебры Ли
2.1 Алгебры Меликяна.
2.2 Алгебры Скрябина Z(m) и Y(m).
2.3 Алгебры серии R.
Глава 3. Геометрические автоморфизмы.
Глава 4. Усеченные коиндуцированные модули.
Глава 5. Усеченные коиндуцированные модули и автоморфизмы.
Глава 6. Дифференцирования исключительных простых алгебр Ли
6.1 Дифференцирования алгебр Меликяна и алгебр Скрябина.
6.2 Дифференцирования алгебр серии R.
Глава 7. Инвариантные подалгебры.
Глава 8. Автоморфизмы алгебр Меликяна g(m) и алгебр Скрябина Y(m).
Глава 9. Алгебра Ли группы автоморфизмов алгебр Скрябина Y(m).
Глава 10. Автоморфизмы алгебр серии R.
Работа относится к актуальному направлению теории алгебр Ли - классификации и исследованию простых алгебр Ли над полями характеристики р > 0. Классификация простых р-алгебр Ли была получена Р. Блоком и Р. Вильсоном [29] в 1984 г. для р > 7. В 1991 г. X. Штраде и Р. Вильсон [44] анонсировали доказательство гипотезы Кострикина-Шафаревича в общем случае также при р > 7. Согласно этой гипотезе простая алгебра Ли либо является классической, либо изоморфна простой алгебре Ли картановского типа. В последние годы появились результаты А. Премета и X. Штраде по классификации простых алгебр Ли при р = 5,7. Классификация простых алгебр Ли для р = 2,3 неизвестна. Здесь существуют отдельные серии простых исключительных алгебр Ли, которые не встречаются в больших характеристиках.
Для классификации простых алгебр Ли особый интерес представляют структурные свойства известных простых алгебр. Основными классами простых алгебр Ли являются классические алгебры Ли и алгебры Ли картановского типа. Автоморфизмы и дифференцирования алгебр Ли картановского типа исследовались М.Ю. Целоусо-вым, В. Кацем, Р. Вильсоном, М.И. Кузнецовым, С.М. Скрябиным ([27], [7], [45], [12], [34], [24], [40], [41]). Автоморфизмы классических алгебр Ли изучались особенно тщательно в связи с классификацией конечных групп (теория групп Шевалле). Однако автоморфизмы классических алгебр в случае малой характеристики основного поля были исследованы сравнительно недавно Д. Фрохардтом и Р.Гриссом
321).
В настоящей работе исследуются автоморфизмы и дифференцирования следующих простых алгебр Ли: алгебр Меликяна д(ш), алгебр Скрябина Z(m) и ^(т), алгебры серии R. Все эти алгебры градуированные и тесно связаны с алгебрами Ли картановского типа.
Описание автоморфизмов основано на инвариантности некоторых максимальных подалгебр. В работе доказывается, что подалгебра /2(о) = Ro + R\ + • • • + Rs алгебры серии R инвариантна относительно автоморфизмов. Аналогичные результаты для алгебр 2(т) и F(m) получены С.М. Скрябиным в 1992 г. ([23]), для алгебры Франк Fr(m) - О.А.Муляр в 2001 г. ([18]), для алгебры Ме-ликяна - М.И.Кузнецовым в 1991 г. ([34]). В 1990 г. С.А. Кириллов показал, что максимальная подалгебра алгебры Меликяна является нормализатором сэндвичевой подалгебры, откуда также следует ее инвариантность ([6]).
Обозначим через L одну из рассматриваемых алгебр. Инвариантность фильтрации, соответствующей градуировке, позволяет определить фильтрацию в группе автоморфизмов Aut L = Aut(p)L D Aut(\)L D . D Aut(j)L D . следующим образом:
Aut(i)L = {ip £ Aut L \ ip — I : L^ —» L(J+i)}.
Обозначим AutoL группу автоморфизмов, сохраняющих Z-градуи-ровку. Очевидно, Aut L - полупрямое произведение AutoL и Aut^L. Таким образом, проблема описания автоморфизмов разбивается на две задачи: описать группы AutoL и Aut^L.
Рассматриваемые алгебры обладают также Z^-градуировкой где Lq - алгебра Ли картановского типа, Lj, г ф 0 — Lg-модуль тензорных плотностей. В таком случае говорят, что алгебра L имеет геометрическую реализацию. Отметим, что для алгебры Меликяна б(т) <7 = 3, для алгебры Скрябина 2(т) q = 4, а для алгебр У(ш) и R(m) q = 2.
Обозначим Aut^L подгруппу геометрических автоморфизмов (так называются автоморфизмы, сохраняющие Lq). Нетрудно видеть, что AutoL С AutoL. В работе доказывается следующее
Предложение 1 Пусть res : АиЦЬ —> Aut W(n : m) - гомоморфизм ограничения (Lq = W(n : m)), fiq - групповая схема корней степени q из 1. Тогда следующая последовательность точна:
1 —> р,ч —> АиЦЬ Aut W(n : m) —> 1. П
Затем описывается группа Aut^L. Отметим, что Ф Е Aut(k) L можно записать следующим образом:
Ф = 1 + Фк + Ф^+1 + . + Ф, + ., где Фj : Ls —» Ls+j, j > к. Нетрудно показать, что Ф& является дифференцированием алгебры L. Очевидно, что Ф& Е Der& L, где Der^L - соответствующий член градуировки в алгебре дифференцирований Der L. Таким образом, описание Aut^L сводится к следующей задаче: найти все дифференцирования D Е Derk L, такие что D = Ф& для подходящего автоморфизма Ф.
Сначала находим все дифференцирования. Для серий g, Z, У выделим следующие общие свойства:
1) L-i = Llx, г = 1,., q - попарно неизоморфные нетривиальные неприводимые Lo-модули;
2) для любого От^ х Е Li, i > О, [х, Li] ф 0 и [х, L-q] ф 0;
3) в соответствующей Zg-градуировке
L = Lq + Lj +----Ь L^pj, Ls = ®i=s(q)Li, a) Lq = W(n : m) = W, где m = (mb ., mn) , b) L^ - неприводимый Lq-модуль, s = 1,q — 1;
4) Подалгебра L(o) = Фг>о^г инвариантна относительно автоморфизмов L;
5) Н*(Ь0,Ь-г) = 0, г = t = 0,1;
6) Lo-модули L-i, i = 1,., q не являются факторами композиционного ряда первого члена Wji] стандартной градуировки алгебры W.
Теорема 1 Пусть L - простая алгебра Ли , удовлетворяющая условиям 1)-6).
1) DerL = где Lq - р-замыкание Lq в DerL, Lj = Lj, если Ls = cw(Ls-q) и Lj = Bk(Q) С Zj С Zk(Q), если L» ^ cw{Ls-q)
2) Для I G L(,i = —1,., — (q — 1) существует V G Lpi, такое что (ad l)p = ad I'. □
Из теоремы 1 непосредственно получаем
Следствие 1 (1) Если L = £J (mi, гаг) - алгебра Меликяна, то
Der L = Z^ 4- Ly + Z/2.
2) Если L = У(т1,т2,тз), то
DerL = Lj.
3) Если L = Я(т1,Ш2,тз), то
DerL ^ Z^ + LT + Lz + Z2(Q), где Z2(Q) - пространство замкнутых форм степени 2. □
Теперь, зная дифференцирования, мы должны выяснить, продолжается ли D Е Der L до автоморфизма алгебры L, где L - это или алгебра Меликяна д(т) или алгебра Скрябина У(ш). Этот вопрос решается с помощью когомологий, так как препятствие к продолжению является элементом Z2(L, L). Для алгебр 0(ш), ^(ш), используя вложение в W, мы сводим вычисление препятствий к нахождению группы Hl(L, W/L). И вот здесь существенным образом используются коиндуцированные модули.
Теорема 2 Пусть L - простая алгебра Ли, удовлетворяющая условиям 1)-6). Предположим, что q < р и Lj - неисключительный W-модуль для любого s G
1) Если i ф 0{mod q),i > 0, то
Aut(i)L/Aut(i+i)L = Li.
2) Если D € Li, i > О, г = 0(mod q), то ad D продолжается до автоморфизма алгебры L тогда и только тогда, когда ad D продолжается до автоморфизма алгебры Lq = W(n : m). □
Алгебра серии R не удовлетворяет этим б свойствам, поэтому для нее приведено отдельное доказательство.
Теорема 3 DerR = Rq + Q2, где Rq — р-замыкание Rq в DerR, Q2 -пространство форм степени 2. □
Пусть G = Aut R, Lie G - алгебра Ли G, Lie G = Qq © Qj - индуцированная Z2—градуировка.
Теорема 4 Qq = Lie Aut W(2 : m), QT = m(2)f22, где m - максимальный идеал 0(2 : ш). □
Опишем структуру диссертации и содержание отдельных глав. В главе 1 собраны сведения из теории алгебр Ли, которые используются в работе. Приводятся определения алгебры разделенных степеней, общей алгебры Ли картановского типа, дифференциальных форм, когомологий алгебры Ли, транзитивных градуированных алгебр Ли, а также приведена общая схема исследования автоморфизмов градуированных алгебр Ли.
Во второй главе дано описание исключительных простых алгебр Ли: алгебр Меликяна g(m), алгебр Скрябина Я(т), ^(т), алгебр серии R.
В третьей главе описаны геометрические автоморфизмы.
В четвертой главе собраны основные определения и теоремы из теории усеченных коиндуцированных модулей ([12]). Приведена теорема о минимальном вложении, формула для вычисления когомоло-гий транзитивной алгебры Ли с коэффициентами в усеченном коин-дуцированном модуле.
В главе 5 доказаны три теоремы об абелевых подалгебрах в W(n : m), У(т) и R(m), которые существенно используются для нахождения алгебры Ли группы автоморфизмов алгебр ^(т) и алгебр серии R.
В шестой главе описаны дифференцирования исключительных простых алгебр Ли. Отдельно рассмотрены алгебры, удовлетворяющие условиям 1)-6) (алгебры Скрябина >2(т), ^(ш), алгебры Меликяна д(т)), и алгебры серии R.
В седьмой главе приведено доказательство инвариантности стандартной максимальной подалгебры алгебры серии R.
В главе 8 исследована продолжаемость дифференцирования до автоморфизмов алгебры Меликяна g(mi, тг) характеристики 5 и алгебры Скрябина У(ш1,т2,тз) характеристики 3.
В девятой главе найдена алгебра Ли группы автоморфизмов алгебры Скрябина ^(m) = У Для однородного дифференцирования D G DeriY, г > 0, продолжающегося до автоморфизма, строится однопараметрическое семейство s Е К} С Aut У, такое что ра\у2 = ехР 5 ad D. Очевидно, что ^f-|s=o|y2 = ad D |у2. В работе доказывается, что дифференцирование D G DeriY, i > 0 однозначно определяется своим действием на У12- Отсюда получаем, что ^|s=0 = ad De Lie Aut Y.
В главе 10 получено описание автоморфизмов алгебр серии R, найдена алгебра Ли группы автоморфизмов.
Результаты диссертации докладывались на XI Международной школе-семинаре по современным проблемам теоретической и математической физики, Казань, 1999; IV нижегородской сессии молодых ученых, Н. Новгород, 2000; XXII Конференции молодых ученых механико-математического факультета МГУ, Москва, 2000; IV Международной алгебраической конференции, посвященной 60-летию профессора Ю. И. Мерзлякова, Новосибирск, 2000; международном семинаре по теории групп, посвященном семидесятилетию А.И. Старостина и восьмидесятилетию Н.Ф. Сесекина, Екатеринбург, 2001; международной алгебраической конференции, посвященная памяти З.И. Боревича, С.-Петербург, 2002; V международной конференции "Алгебра и теория чисел: современные проблемы и приложения", Тула, 2003; на алгебраическом семинаре МГУ (Москва) и опубликованы в работах [13] - [16], [18] - [21], [36], [37].
1. Бурбаки Н. Группы и алгебры Ли. Гл. 1.- III. - М.: Мир, 1976. -496 с.
2. Гишарде А. Когомологии топологических групп и алгебр Ли. -М.: Мир, 1984. 258 с.
3. Джекобсон Н. Алгебры Ли. М.:Мир, 1964.
4. Джумадильдаев А.С. Деформации алгебр Ли ^„(т) // Матем. сб. 1989. - Т. 180 (№2). - С. 168-185.
5. Ермолаев Ю.Б. Семейство простых алгебр Ли над полем характеристики 3. V Всесоюзный Конгресс по теории колец, алгебр и модулей: Тез. докл. 1982. - С. 52-53.
6. Кириллов С.А. Сэндвичева подалгебра в алгебрах Меликяна. Ин-т прикладной физики АН СССР, Препринт №285, Горький. 1990.
7. Кац В.Г. Описание фильтрованных алгебр Ли, с которыми ассоциированы градуированные алгебры Ли картановского типа // Изв. АН СССР, сер. матем. 1974. - Т. 38. - С. 800-834.
8. Кострикин А.И. Параметрическое семейство простых алгебр Ли // Изв. АН СССР, сер. матем. 1970. - Т. 34. - С. 744-756.
9. Кострикин А.И., Шафаревич И.Р. Градуированные алгебры Ли конечной характеристики // Известия АН СССР, сер. матем. -1969. Т. 33. - С. 251-322.
10. Крылюк Я.С. Алгебры картановского типа: представления и продолжения. Дисс. канд. физ.-мат. наук. М., 1978.
11. Кузнецов М.И. Классификация простых градуированных алгебр Ли с неполупростой компонентой Lq / / Матем. сб. 1989. - Т. 180 (№2). - С. 147-158.
12. Кузнецов М.И. Усеченные индуцированные модули над транзитивными алгебрами Ли характеристики р // Изв. АН СССР, сер. матем. 1989 - Т. 53. - С. 557-589.
13. Кузнецов М.И., Муляр О.А. Алгебры Меликяна и их автоморфизмы. XI Международная школа-семинар по современным проблемам теоретической и математической физики: Тез. докл. -Казань: "Хэтер", 1999. С. 68.
14. Кузнецов М.И., Муляр О.А. Автоморфизмы р-алгебры Меликяна. Четвертая нижегородская сессия молодых ученых: Тезисы докл., Ч. I. Н. Новгород:Нижегородский гуманитарный центр, 2000. - С. 69-70.
15. Кузнецов М.И., Муляр О.А. Алгебры Меликяна и их автоморфизмы. IV Международная алгебраическая конференция, посвященная 60-летию профессора Ю. И. Мерз л якова : Тез. докл. Новосибирск: Изд-во Ин-та математики, 2000. - С. 99-100.
16. Меликян Г.М. О простых алгебрах Ли характеристики 5 // УМН. 1980. - Т.35, вып.1. - С. 203-204.
17. Муляр О.А. Автоморфизмы неклассических простых алгебр Ли. V Международная конференция "Алгебра и теория чисел: современные проблемы и приложения": Тез.докл. Тула: Изд-во ТГПУ им. Л.Н.Толстого, 2003. - С. 163-164.
18. Муляр О.А. Автоморфизмы и дифференцирования исключительных простых алгебр Ли серии R. Записки научных семинаров ПОМИ
19. Рудаков А.Н. Деформации простых алгебр Ли // Изв. АН СССР, сер. мат. 1971. - Т. 35. - С. 1113-1119.
20. Скрябин С.М., Новые серии простых алгебр Ли // Матем. сб. -1992. Т. 183 (№8). - С. 3-22.
21. Скрябин С.М. Изоморфизмы и дифференцирования модулярных алгебр Ли картановского типа // Успехи мат. наук. 1987.- т. С. 201-202.
22. Фукс Д.Б. Когомологии бесконечномерных алгебр Ли. М.: Наука, 1984. - 272 с.
23. Хамфри Дж. Линейные алгебраические группы. М.:Наука, 1980. - 400 с.
24. Целоусов М.Ю. Дифференцирования алгебр Ли картановского типа // Изв. вузов. Математика. 1970. - №7. - С. 126-134.
25. Чан Нам Зунг. О двух классах простых алгебр Ли над полем характеристики 3 // Вестн. МГУ, сер. Математика и механика.- 1992. №. - С. 12-15.
26. Block R.E., Wilson R.L. Classification of the restricted simple Lie algebras // J. Algebra. 1988. - V.114. - P.115-259.
27. Brown G. Families of simple Lie algebras of characteristic two // Commun. Algebra. 1995. - V. 23. - P. 941-954.
28. Brown G. On the structure of some Lie algebras of Kuznetsov // Michigan Math.J. 1992. - V. 39 (№7). -P. 85-90.
29. Frohardt D.E., Griess R.L.(Jr.). Automorphisms of modular Lie algebras // Nova J. Alg. Geom. 1992. - V.l. - P. 339-345.
30. Hochschild G., Serre J.P. Cohomology of Lie algebras // Ann. Math.- 1953. V. 57 (№). - P. 591-603.
31. Kuznetsov M.I Melikyan Algebras as Lie Algebras of Type G2 // Communications in Algebra. 1991. - V. 19 (№4). - P. 1281-1312.
32. KuznetsovM.I. On Lie algebras of contact type//Communications in Algebra. 1990. - V.l8 (№9). - P. 2943-3013.
33. Kuznetsov M.I, Mulyar O.A. Automorphisms of exceptional simple Lie algebras // Communications in Algebra. 2001. - V.29 (№9). -P. 3919-3934.
34. Mulyar O.A. The automorphisms and derivations of exceptional simple Lie algebras of series R (p = 3). International algebraic conference dedicated to the memory of Z.I. Borevich: Abstracts.-St.Peterburg: POMI, 2002. P. 130-131.
35. Seligman G.B. Modular Lie algebras. N.Y.:Springer-Verlag, New York. Inc., 1967.
36. Skryabin S.M. Tori in Melikyan algebra // J.Algebra, to appear
37. Skryabin S.M. Modular Lie algebras of cart an type over algebraically non-closed fields, I // Communications in Algebra. 1991. - V.19.- P. 1629-1741.
38. Skryabin S.M. Modular Lie algebras of cartan type over algebraically non-closed fields, II // Communications in Algebra. 1995. - V.23.- P. 1403-1453.
39. Strade H. The classification of the simple Lie algebras over fields with positive characteristic. Hamburger Beitrage zur Mathematik, Heft 31: Hamburg, 1997.
40. Strade H.; Farnsteiner R. Modular Lie algebras and their representations. Marcel Dekker Textbooks and Monographs, v. 116; Marcel Dekker, Inc.: New York, 1988.
41. Strade H., Wilson R.L. Classification of simple Lie algebras over algebraically closed fields of prime characteristic // Bull. Amer.Math.Soc. 1991. - V.24 (№2). - P. 357-362.
42. Wilson R.L.Automorphisms of Graded Lie Algebras of Cartan Type. // Communications in Algebra. 1975. - V. 3 (№7). - P. 591-613.
43. Wilson R.L. Classification of generalized Witt algebras over algebraically closed fields // Trans.Amer.Math.Soc. 1971. - V. 153. -P. 191-210.
44. Zassenhaus H. The representations of Lie algebras of prime characteristic // Proc. Glasgow Math. Assoc. 1954. - V.2. - P. 1-36.