Конечномерные структуризуемые алгебры над полями положительной характеристики тема автореферата и диссертации по математике, 01.01.06 ВАК РФ
Смирнов, Олег Николаевич
АВТОР
|
||||
кандидата физико-математических наук
УЧЕНАЯ СТЕПЕНЬ
|
||||
Новосибирск
МЕСТО ЗАЩИТЫ
|
||||
1990
ГОД ЗАЩИТЫ
|
|
01.01.06
КОД ВАК РФ
|
||
|
АКАДЕМИЯ НАУК СССР СИБИРСКОЕ ОТДЕЛЕНИЕ
Специализированный оовьг Д 002.23.01 яри Институте математики
На правах рукописи
СМИРНОЕ Ол~г Николаевич
КОНЕЧНОМЕРНЫЕ СТЕУКТУРИЗУЕМЫЕ АЛГЕБРЫ НАД ПОЛЯМИ ПОЛОЖИТЕЛЬНОЙ ХАРАКТЕРИСТИКИ
01 01.06 - математическая логика, ьлгебрэ и теория чисел
Автореферат диссертации на соискание учегой степени кандидата физико-математических наук
Новосибирск - К 30»
Работа'выполнена в Новосибирском ордена Трудоеого красного Знамени государственном университете им.Ленинского комсомола.
Ньучнкй руководитель • доктор физико-математических шук,
профессор И.П.Шестаков
\ Официальные оппоненты: доктор физико-математических наук,
профессор А.Н.Гришков,
кандидат фпс/.ко-магематлчеекпх наук,
Г.Л.Медэедгч
. Ведущая организация - Московский государственный университет им. М.В.Ломоносова
Защит/1 диссертации состоится ' 'декабря 1990 г.
и___ч£:Сот' на заседании Опецичлизягованного совета
Д.С02.23.01 при Институте математики СО АН СССР по адресу: 630П90, Новосибирск, Университетский проспект, 4.
О диссертацией мокло ознакомиться в библиотеке Института математики СО АН СССР
Автореферат разослан _____"_______1930 г.
Ученый секоетарь Специал зированного' оозэта
доктор фи з ико-мат ематических каук
Е.А.Иалютин
ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ
В С 1-х годах три математика Тите [243 , Кантор [4] Кёхор&С^ независимо и почти одновременно нашли конструкцию, позволяющую из произвольной йордановоЛ алгебры X строить градуированною алгебру Ли 31,43") „ свойства которой тесно связаны со свойствами исходной йордаковой алгебры 1 (с. . [ГД, [20] ). Эта конструкция, впоследствии названная кок грукиией Титса-.лнторэ--Кёхерэ, оказалась весьма полезной и в теории? лиевых и в теорий йордановых алгебр. Например, она позволяет использовать структурную теорию алгебр Ли при изучения йордановюс алгебр (см.[4)„ [17}) я наоборот (см.[1-3]). Другое применение конструкция Титса-Кантора-Кёхера на-лла в работе [24] , где она использовалась для получения модели исключительной простой алгебры !'•* типа Р_ „ для постсоеняя дсугих исключительных простых алгебр
ъ
Ля многие авторы рассматривали и .изучали конструкции, аналогичные конструкций Титса-Кантора-Кёхера ( [5] „ Г?1 „ [18] „ [19]г [24 ). В качестве основы в них использовались лары олиарних неассоцяагявных алгебр или тернарные алг бри.
В 1972 году Кантор [6] обобщил конструкцию '^итса-Каптора--Кёхера, распространив её на весьма широкий класс бинарных алгебр. которые он назвал консервативными. Консервативной алгебре 01 конструкция Кантора ставит в соответ твие градуированную алгебру Ли ¿2 ((Я) =...©¿^.¿©^©¿2,,©^©... Если при этом ал-гебрз Ля£(ръ) ям^ет градуировку- © ¿5,, ® ¿£© ^ г то алгебра называется консервативной алгеброй второго поряд; ■ ка. Б той не работе [6] 1.ан.ор описал конечномерные прост», } консервативные алгебрц второго порядка над алгебраически замкну »,,тгл ьолем нулевой характеристики. Эи описание оказал^сг довольно громоздким, оно содержит 6 серийных алгебр и II исключительны:.
.Другое обобщение конструкции Титса-Кангора-Кёхера было сделано Алллсоном в £ 91 „ Исходном классом в его конструкции является класс структуризуемых алгебр, определяемых, как уни'Сальгые алгеоры с инволюцией, удовлетворяющие тождеству
где \/хд'г)-схй)г + га)х- ; Т2 - V- , .
Структуризуеыые алгебры с тождестаенной инволюцией суть ;'гепданоЕь: алгебры.
Как выяснилось впоследствии,[10], существует взаимно однозначное соответствие между классом консервативных алгебр второго порядка с левой единицей я классом структуризуемых алгебр» лри котором конструкция Кантора для консервативных алгебр переходят е конструкциг Аллисона для сгруктурязуеяшх.
Преимущество конструкций Кантора к Аллисона состоят в го"'„ что е отличи« от конструкции Титса-Кантора-Кёхера, которая не давала моделей простых алгебр Ли типе , Г^ я Е£ „ они ¿юзвсл рч Ли.
¿юзвы ют получать все изотропные5^ классические простые алгеб-
йнтерес к классу структуризуемых алгебр вызван ещё я-тем, что кроме йордановых алгебр в нем содернатся альтернативные (а ■начит и ассоциативные) алгебры с инволюциейг а так же другие известные объекты, примеры которых мы сейчас приведем.
^усть (£."") ~ унитальная ассоциативная алгебра с инволюцией 5 "¡Л - л^еый 5- модуль на котором действует эрмитова форма Ъ-Ьб хьИ — £ „ О-ределш на прямо? сумме' пространств произведение
й,ллгебра Ли ьазывао.ся изотропной, если в ней содержится такой эдеме. ! а , что (Ъ^ аЛ* о №~ некоторого натурального Л
1: инволюцию (ёТйГ) = Сё , '-о'; 0 Лолучлшяя алгебра (А,-*) структуризуемз. Она является обобщением /юрдановой алгебры билинейно;! формы и называется алгеброй эрм. новой форш„
Другой пример структуризуеглой алгебры моетю по. учить, рассмотрев тензорное произведение Сгг композиционных алгебр (&х>~) я с мнволюцие? хГ©">Г2 а „
Расиштряк теперь 2?-:лерную простую .исключительную !-'.орда-нову алгебру Т=Н(С3) „ Пусть А/ - это обобщенная норма,, а Т - обобщенный след в Т (см. II?] )„ -Зафиксируем ненулевой эле?лент 0 из основного поля Ф , а на гтостранстве матрац
4 =
* л Л ?
определим произведение
I"'
я инволюцию
'¿г! Г^г* 9Та4ДЛ А ¿г.* 0Й.Д,
л > 4'
и п Л -л.
Полученная алгебра С А,"") называемся алгеброй Шева'лле (другое наз. эщ;е этою объекта - 56-мерный модуль 2>рейденталя над Е7 } и является ст.ук уризуеиой. Эта конструкция пр. жлть. и к другим йордаповшл алгебрам степени 3 и, более тоге, догуска-
ст обобщение на так называемые допустимые тройки (см. § 1.4,4°)'. Соо зетствующие структуэизусмыс алгебры называются алгебрами допустгчой тройки.
С момента по.<шленял класса структурируемых алгебр началось его активное изучение. 'А своей первой работе [б] , посвященной структуразуемкм алгебра;«, Лллясон описал конечномерные центральна j простые структурязуемые алгебры над полем нулевой характеристики.34^ далее он определил 19] конструкцию % , которая про-изгхпьной структурируемой алгебре (А,ставит в соответствие алгебру Ля К. Голее того, в [Э] Лллясон нашел необходимые и достаточные условия, при которых алгебра Ли имеет вид
. В этой ке работе Лллясон описал формы центральных прост х структурируемых алгебр.
Вслед за работ..ля Аллисона и других авторов £8 - II] пояг»;~ рилъл цикл статей Шафера по структурируемым алгебрам, в которгм заверялось "^строение структурной теории конечномерных сгрук-туризуемых алгебр над полями, нулевой характеристики. В этих статья^ Шафер доказал длл структуризуемих алгебр аналоги многих классических результатов: описание полупросгых алгебр, нильпотентность рячикала, сопряженность полупростых факторов и др. ( [21-233 ).
Дальнейшее развитие теория структурязуемых алгебр получила в работах ¿12-16] .
Следующим естественным шагом развития этой теории является переход от изу гения алгеЗр над полями характеристики 0 к .изучению алгебр под поле положительной ха зктеря"тики. Особенность последнего сл»чая ь-ключается в том, что над поляг/, положи тг -ь-
нод характерно¿'ики ь.; м хорошо развитой структурной теория 'эте" ошгтнка : ;е тоя пробе , который yr j лен в [261 .
алгебр Ли, ни хорошо определенных билинеЬшх форм.
Цель данной работы - описание простых и иолуиростнх коне1-номерных структуризуемых алгебр над поле:л положительной характеристики.
Результаты диссертации докладывались на Международной конференции по алгебре памяти А.И.М?-ьцева (Новосибирск, 1989),на второй школе "Неассоциативная алгеюра и е^ приложения" (Ташкент, I99Ü), на семинарах "Алгебра и логика', "Теория колец" км.А.И. ЩараоЕа, "Кольца, близкие к ассоциативным" НГУ и ИМ СО AJÍ СССР.
По теме диссертации опубликованы 3 работы.
Диссертационная работа "зл-кена на 7А страницах и состоят из четырех глав. Библиография содержит 42 наименования.
Содер-аняз работы
Первая "лава носит вспомогательный характер. Она содержит исходные определения и тождества, а также начальные сведения о структуризуемих алгебрах. J частности, з структуризуемих алгебрах выполняется тождество косоальтернативности*\з,х ---tx/s.^), где s - кососкмметрический, а х и ^ произвольные элементы. Возникает предположение, что алгебра £ , лсроязденная множеством кососимметрлческих элементов ¡э структурязуемой алгебры (Л,~) , должна быть близка к альтернативным. Например, как показано в [8] , пространство £> с операцией коммутирования ач-'гь образует алгебру Мальцева. Сущность этой близости проясняемся в § I.I, гд<- доказан следующий аналог известной теоремы Аргина об ассоциативности двупол дденлых альтернативных алгебр.
ТЕОРЕМА I.I.' Любая косоальтернатяьнчя алгебра, порожденная
"''Алгебры с инволюцией в которых выполняется тождество косоа;.^-тернативности нпываются косоа..ьтернативными.
двумя кососиглметрическими элементами» ассоциативна.
В общем случае алгебра,, порожденная множеством В , не всегда пишется даже альтеонатмвной (см. § 1.4, 4°).
В §§ 1,2 и 1.3, слэдуя Аллисону, вводятся понятия структурной ¿1 внутренней структурной алгебр Ли для структуризуемой едгебрн и определяется алгебра Ли Г) , обобщаю-
вг I конструкцию Титса-Кантора-Кёхера. В § 1.4 приведены примеры озфуктурязуемых алгебр, рассмотренные ранее в [8] .
В главе 2 строится новая 35-мерная центральная простая -структурязуемая алгебра ЗЯс) „ восполняющая пробел, допущенный в [ 8 3 „ Эте алгебра получается из алгебры Кзли-Диксона С. В качестве множества кос асимметрических элементов алгебры ЗГ(с) берется м,токество ксеоси¿метрических элементов £ алгебры С , а множество еямметр; зесклх элементов ЗГСс) есть пространство сим;,, лркчных тензоров над $ „ Алгебра Кэли-Диксона С опредс • ляе? ^Сс) п точностью до изоморфизма. В этой же главе исследуется связь алгебры ^СС) с лиевыми и консервативными алгебрами. Сказывается, что применяв конструкцию Аллисона к алгебре %(~с) > получим щ«.отую алгебру Ли типа
. Среди коксерватиннх алгебр структуризуемой алгебре ^СС) соответствует кснсерватявная алгебра (в обозна-
-ямеях Кчнтора [6 1)„
Глава 3 посвящена огисанкю конечномерных полупростых струк-турязуашх алгебр над пагямя положительной характеристики. В этой главе доказана
ТЕОРЕМА 3.1. Пусг (А,~) - униТс ■ьная гчлупростая конечномерная структурлзуеная алгебра над полем характеристики ? у ? 2-/4, £ , Тогда (Л является прямой суммой унктальых яр от"х игр^кгуризу'шх *лгебр. Следуя [16], с помо-
Н
мощью этого результата нетурдно установить наличие - единицы в ' произвольной конечномерной долупростой структурируемой алгеЗ; 5. Тем самым.вопрос об описании конечномерных пслупрос.ых е,рукгу-ризуемых алгебр зводи оя к описанию конечномерных унитальных простых алгебр.
Основной результат главы 4 » теорема 4.8, дающая классификацию конечномерных простых структуризуемых алгебр над поляки голожятельной характеристики.
ТЕОРЕМА 4.8. Пусть (А~) - конечномерная центральная [ростая структуризуемая алгебра над полем *§» характеристики
р , у 2,Ъ ,5 . Тогда (Л,-) изоморфна одной из сле-ующих алгебр:
1. центральной простой ассоциативной алгебре с инволюцией;
2. центральной простой йордановой алгебре с тождественной шолюцией;
3. алгебре невырожденной эрмитовой формы на леьсм £-моле,, где (с'Г) - центральная простая ассоциативная алгебра о волюцией;
4„ алгебре , где С - алгебра Лэля-Диксона;
5. форме*) тензорного произведения композиционных алгебр;
6, форме алгебры допустимой тройки.
При этом степень расширения основного поля б случаях 5,6 превосходит 2.
Классификация конечномерных центральных простых структуря-мых алгебр завершается описанием форм тензорного произволе-композиционных алгебр я форм алгебры допустимой тройкг в .4.
шомнг'1, что Р - алгебра называл "Нормой 43?~ юры л , если I ^ле Р раощ^ение - V „ м ат. ебрь ' изом^чфна ¿> . ' '
Автор ь заключение зыракэет искреннюю благодарное® свое-' : 7 нэучьсму руководит&ио И.П.Ceo акову под руководство» которого выполнена настоящая диссертация.
ЛИТЕРАТУРА
J, ДД.Зельманов, Абсолютные делители нуля в "ордаг лвкх парах ja шг.ебра* Ли, Матем. 66.,I960, т.И2 (154), 611-629.
2, $..,И.Зельманов, Алгебры Ли о алгебраическим присоединенным преддравлением, Иатем. сб.,1983,т.121 (IP31, 545-561.
3, Е.И.Зелыпанов, Алгебры Ля с конечной град,лровкой,^а-тем.сб,, 1984, т.124 (166), 353-392.
4, де,Л.Кзнтор, Классификация неприводимых транзитявно-дяф-ференциалькых групп, ДАН СССР, 158, .'8 6 (1964), I27I-I274.
5, ,И, Л,Кантор, Модели особых алгебр Ли, ДАН СССР, 208,№ 6 (1972), 1276-1279.
6, И.Л.Кантор, -Некоторые обобщения йордаь.овых алгебр, Тр. семинара по вект. я тенэ.анализу, 1966, внлДИ, 310-398.
Т. B.N,Allison, A construction оГ lie algebras Ггоа J-ternary algebras, Amer J. Math., 98(1976), 285-294.
8. B.N.Allison, A class of nonassoclatlve aJ.geb*ns with Involution containing tlie class of Jordan algebras, liath.Ann. 237(1978), 133-156,
9. ВAllison, Models or Isotropic slmpTe Lie algebras. Comm. Algebra, 7(1979), 1835-1875.
10. В.Н.АШзоп, W.Heln, Isotopes or some nonassoclatlve algebras with Involution, J. Algebra, 69(1981), 120-142.
11. BiM.-Alllson, J.R.Faulkner, A Cayley-Dlck3on process for a class of structurable algebras, Trans, toer. Math Soc., 283(1984), 185-210.
fe .N.Allison, Tensor products or composition algebras, ilbert Гоппз and some ex iptlonal simple Lie algebras, Lr. oi Alberta Preprint, Canada, Edmonton, 1986.
13. B.N.Allison, Conjugate Inversion and conjugate f otopes ol alternative algebras with. lnvolu''on. Algebra^ ¿roups a /^ometrles, 3 ( 86), 361-385. ■ ,
14.-B.H.AlIlS' , H.D.F-harer., Trace lvxtns pr ")tn irab?"
algebras, J. Algebra, 121(1589), 68-80.
tij. B.iT.Allison, с .artic Cailey Algebras and Isotropic Lie А1°е1л-аз of type 3 , International Algebraic Conference In Honor cf A.I.MaloeY Froceedlm;s,NoYC3ibirak,1989.
16. M.Cabrera» «Г. Martinez, A.Rodriguez, Structurable H^-algebras, U. of Granada Preprint, Spain, Granada, 1986.
17. "Я.ЛасоЬ.чоп, Structure and representation of Jordan aic-icrss, Am«?. Math. Soc. 3olloq. Publ., y.39„ Providence» ПЛ., 1963.
10, J.R "'a;UJtner, A construction of Lie algebras from a class o* ternary algebras. Trans. Amer. Math. Soc.„ 155(1971 \ 397-408.
¡9. H'.H'iin, A construction of Lla algebras by triple systera, Trans. Ляе- itath. Soc., 205(1975),79-95.
20. ;i.Ko?eler, Imbedding of Jo Зяп algebras into Lie algebrau. 3, Алкгг. J. Math., 69(1957), 787-S15.
?A„ R.n."chafer, On structurable algebras, J. Algebra, 9?(1935)„ 400-412.
n.D.ScSafer, Structurable Simodules, J. Algebra, 9c(1935), 479-494.
23. В I>.Schaier, «llpotence of the radical of a stucturable ■Jlgebra, J. Algebra, 99(1956), 355-35S.
24. j.Tit3, Une classe d'algebres de Lie en relation avec be £lgabres б» Jordan, Indag. Math., 24(1962),530-535.
Работы автог по теме диссертация
26. 0.К.Смирнов, Простые я полупростые сгруктуризуемые ал-гебрк, Тез. докл.. пс теория колец, алгебр и модул ей.?,' еад.конфе-г-онузи ло алгебре памяти А.И.Мальцева.Новосибирск,198° стр.216.
27. О.Ч.Сыяр-ов, Пример простой структурязуемой алгебры. Алгебре и логика, 2„„ 3 491-500.
23. О.Н.Смирнов, Простне и полупростые структуризуемые алгсорн. Алгебра я логика, 29, Ус 5, 571-596,