Представления простой супералгебры В(1,2) тема диссертации и автореферата по ВАК РФ 01.01.06, кандидат физико-математических наук Трушина, Мария Николаевна

• Трушина, Мария Николаевна
• кандидат физико-математических наук
• 2000

Оглавление диссертации кандидат физико-математических наук Трушина, Мария Николаевна

Введение.

1 Основные определения.

2 Иордановы представленияа. 5( 1,2) вучае нулевой характеристики.

3 Иордановы представления супералгебры 5(1,2) в случае конечной характеристики р ф 2.

4 Неприводимые супербимодули типа 1.

5 Неприводимые супербимодули типов 2 и 3.

6 Неприводимые супербимодули типа 4.

7 Неприводимые альтернативные супербимодули над альтернативной супералгеброй 5(1,2).

8 Построение альтернативных неразложимых представлений.

9 Иордановы неразложимые супербимодули над 5(1,2).

Введение диссертации (часть автореферата) на тему «Представления простой супералгебры В(1,2)»

Изучение алгебр и их представлений (модулей) является классическим направлением алгебраических исследований. Линейные представления играют важную роль при изучении конечных групп [14], компактных топологических групп [10] , тождеств, выполняющихся в данной алгебре [12]. В рамках структурной теории конечномерных алгебр был выработан общий подход к их изучению. Для важнейших классов алгебр (ассоциативных, лиевых, альтернативных, мальцевских и йордановых) доказано, что каждая конечномерная алгебра над хорошим полем является прямой суммой разрешимого радикала и полупростой подалгебры; полупростая компонента является прямым произведением простых идеалов.

Заметим, что радикал алгебры (как и произвольный ее двусторонний идеал) является модулем над полупростой компонентой.

Первым классом неассоциативных алгебр, подвергшихся серьезному и систематическому изучению, являются алгебры Ли. Описание простых конечномерных алгебр Ли можно найти, например, в монографии [2]. Хорошо известна теорема Г.Вейля о полной приводимости представлений любой полупростой конечномерной алгебры Ли над полем характеристики 0. Аналог этого результата справедлив и для других многообразий алгебр, в частности, альтернативных и йордановых.

Классическим примером альтернативной неассоциативной алгебры является алгебра чисел Кэли, построенная еще в 1845 г. Эта алгебра и ее обобщения — так называемые алгебры Кэли-Диксона — играют важную роль в теории альтернативных алгебр: конечномерная простая альтернативная алгебра либо ассоциативна, либо есть алгебра Кэли-Диксона над своим центром [22]. Р.Д.Шейфер [21] и Н.Джекобсон [17] описали строение альтернативных бимодулей над конечномерными альтернативными алгебрами: если А — конечномерная альтернативная алгебра, М — точный неприводимый альтернативный Л-бимодуль, то либо М — ассоциативный бимодуль над ассоциативной алгеброй, либо М — регулярный бимодуль над алгеброй Кэли-Диксона, либо М — бимодуль Кэли над алгеброй обобщенных кватернионов.

Структура неприводимых представлений простых йордановых алгебр была описана около 50 лет назад Н.Джекобсоном [18].

Таким образом, всякий модуль над простой конечномерной алгеброй является прямой суммой неприводимых компонент, структура которых полностью описана. К настоящему времени по модулю простых ассоциативных описаны простые альтернативные, мальцевские и йордановы алгебры без ограничения на размерность [3], [13], [4].

В последние два десятилетия наметился серьезный интерес к изучению супералгебр. Каждая супералгебра является объектом, состоящим из обычной алгебры и модуля над ней. Особый интерес представляют простые супералгебры, в которых соединены некоторым естесственным образом простая алгебра и ее неприводимое представление. Целесообразность изучения супералгебр в значительной степени связана с возможностью их использования при решении известных теоретико-кольцевых проблем. Так с помощью супералгебр А.Р.Кемер [8] решил проблему Шпехта(появилась возможность сводить полилинейные тождества к тождествам от меньшего числа переменных). Е.И.Зельманов решил проблему А.И.Ширшова о разрешимости йордановых ниль-алгебр ограниченного индекса над полем характеристики 0 [5], показав, что не существует соответствующих первичных супералгебр. В работе [б] Е.И.Зельманов и И.П.Шестаков доказали нильпотентность квазирегулярного радикала свободной альтернативной алгебры над полем нулевой характеристики проблема Жевлакова). Также супералгебры используются для построения контрпримеров [15]. С.В.Пчелинцев доказывал нетривиальность тождеств, опровергая их с помощью некоторой вспомогательной супералгебры [И].

Для решения проблемы Шпехта [8] потребовалось описание простых ассоциативных супералгебр. Для решения проблемы Жевлакова [6] оказалось необходимым описание первичных альтернативных супералгебр. Задача изучения представлений простых супералгебр в различных многообразиях была сформулирована И.П.Шестаковым в Днестровской тетради [1].

В работе [6] Е. И. Зельманов и И. П. Шестаков описали простые альтернативные супералгебры характеристики ф 2, 3. Они оказались либо ассоциативными, либо с нулевой нечетной частью (четная часть при этом является кольцом Кэли-Диксона). И. П. Шестакову в работе [16] удалось снять ограничение на характеристику. При этом среди простых неассоциативных альтернативных супералгебр с ненулевой нечетной частью встречается супералгебра 5(1,2).

Йордановы супералгебры менее изучены, чем альтернативные. В работах В. Г. Каца [19] и Кантора [7] получена классификация простых йордановых супералгебр над алгебраически замкнутым полем характеристики 0: Всякая простая конечномерная нетривиальная (т.е., с ненулевой нечетной частью) йорданова супералгебра над алгебраически замкнутым, полем характеристики 0 либо специальная, либо супералгебра Каца, либо супералгебра грассмановых скобок Пуассона.

Над полями положительной характеристики ф 2 классифицированы простые конечномерные йордановы супералгебры с полупростой четной частью [20]. Среди этих супералгебр встречается супералгебра 5(1,2) как супералгебра билинейной формы и аналог эрмитовых матриц с коэффициентами из 5(1,2) .

Эквивалентные общие понятия модуля над алгеброй и представления алгебры восходят к Эйленбергу. Н.А.Писаренко в своей кандидатской диссертации [9] получил описание всех неприводимых конечномерных представлений простых альтернативных супералгебр над алгебраически замкнутым полем характеристики, отличной от 2 и 3. Согласно [9] альтернативные супермодули, не являющиеся альтернативными модулями, возникают только над ассоциативной супералгеброй матриц вида п \ / х О х! \ где первое слагаемое - четный элемент, а второе - нечетный, ж х, у -скаляры. Эти модули являются 2-мерными над Р и имеют один из трех возможных типов: 1 )М = Рп ф Рт, пи = то, ти = 0, ип = —2т, ит. = —та (# = 0, а = —1)

2)М = Рп ф ^то, пи = то, ти = 2п, ип = 0, ит = п (8 = 0, а = 1)

3 )М = Рп® Рт,

1 + а У таи = —-—то, той = ип = то, шгг = (1 — а)и, где а £ Р — параметр, 8 - ненулевой корень уравнения 82 + а8 + а2 = 0.

Указанные модули попарно неизоморфны при различных наборах параметров.

Представленная диссертация посвящена изучению альтернативных и йордановых представлений алгебры 5(1,2), играющей важную роль при описании структуры простых альтернативных и йордановых супералгебр.

Супералгебра 5(1,2) может быть получена следующим образом из алгебры F[t] обычных многочленов над полем F. Пусть х = li(t) — оператор правого умножения, у = D(t) — оператор дифференцирования по переменной t, 1 - тождественное отображение. На линейной оболочке операторов 1 ,х,у введем градуировку, считая 1 - четным элементом, х и у - нечетными, и умножение: произведение нечетных элементов определим как коммутатор [а, 6] = ab — ba, а произведение любых двух других однородных элементов определим как йорданово произведение а о Ъ = |(аЬ + Ъа). Эта супералгебра и является алгеброй 5(1,2). Отметим, что алгебра 5(1,2) является йордановой, а в характеристике 3 - альтернативной.

Легко понять, что пространство многочленов (относительно естественной градуировки) является неприводимым модулем над 5(1,2), если характеристика равна 0.

Заметим, что группой автоморфизмов супералгебры 5(1,2) является

В первом параграфе даются основные определения и доказывается критерий йордановости супербимодулей над 5(1,2):

Суперкоммутативный супермодулъ М над супер алгебр ой 5(1,2) является йордановым выполнены операторные соотношения:

Sl2(F).

X\Y}=X,

1)

Х,У2] = У,

2) где X = R(x), Y — R(y).

Во втором параграфе вводится понятие стандартного йорданова су-пербимодуля; получена классификация неприводимых конечномерных йор-дановых супербимодулей над 5(1,2) в случае характеристики 0, а именно, справедлива

Теорема 1. Каждый конечномерный неприводимый йорданов супер-бимодулъ над супералгеброй 5(1,2) над полем характеристики 0 является стандартным или получен из него заменой градуировки.

Затем изучаются свойства йордановых супербимодулей в случае конечной характеристики, и в параграфах 4-6 приводится описание неприводимых конечномерных йордановых супербимодулей над 5(1,2) в случае алгебраически замкнутого поля характеристики р ф 2:

Теорема 2. Любой неприводимый конечномерный униталъный йорданов супербимодуль М над алгебраически замкнутым, полем характеристики р ф 2 с точностью до стандартного автоморфизма с.а. совпадает с одним из модулей:

I. (гп - однородный элемент) а) т,тХ,тХ2,. ,тХ2р~1 образуют базис модуля, тХ2р = тУ = О, а - параметр, причем а не является целым числом.

Ь) т,тХ, тХ2,. ,тХ2к образуют базис модуля тХ2к+1 = тУ = 0, тХгУ =

II. (то £ Mo) то, mX, mX2,. . ,mX2p 1 образуют базис модуля, mX2p = Xm,mY = А ~1ЪтХ2р-\ а, X - параметры, 6=0 или Ъ = —а + | не является целым, причем

Л ^ 0. Для различных пар (а, Л) модули неизоморфны. III. (m £ Мо) т,тХ,тХ2,. . ,тХ2р~1 образуют базис модуля, где 7 / 0,/? и — а не являются целыми числами. Модули, соответствующие параметрам (^1,71,01) и (/32; 72; аг) изоморфны тогда и только тогда, когда (71 = 7г)&(а1 = ~ Р2 ~ целое число).

В параграфе 7 из этих результатов получена классификация неприводимых конечномерных альтернативных супербимодулей над #(1,2) (доказывается, что неприводимые супербимодули являются суперкоммутативными). Стандартным альтернативным называется супербимодуль одного из типов:

1) т,тХ,тХ2,. ,тХ5 образуют базис модуля, тХ2р = 7 т,ту = 7 1{ß — а--)тХ2р 2 1 если г = 21,1 ф 0; если г = 21 + 1 тХв — Xm,mY = 0,

1тХг 1, если г = 21,1 ф 0;

I - 1 )тХ{-г, если г = 21 + 1

Л - ненулевой параметр.

2) т, тХ, тХ2,. , тХ5 образуют базис модуля, тХ6 = 7 т,ту = 71(/3 + 1 )тХ5, (ß + l + tymX*-1, если i = 21,1 ф 0; тХгУ = < + tymX*-1, если г = 2/ + 1 где 7 ф 0,/? не является целым числом.

Неприводимый альтернативный супербимодуль с точностью до градуировки совпадает либо с регулярным, либо со стандартным. Неприводимые альтернативные супербимодули можно интерпретировать на языке многочленов: над алгебраически замкнутым полем кроме регулярного модуля и модуля, полученного из него заменой градуировки, существуют 2 серии неизоморфных неприводимых правых прав о альтернативных супермодулей, которые можно получить следующим образом: профакторизуем алгебру многочленов F[t] по идеалу, порожденному многочленом t9 + t6 — ß(t3 -f 1), где ß — ненулевой параметр. В полученной фактор-алгебре возьмем в качестве базиса М0 элементы 1 + i3, t2 + ¿5, t4 + t7. Оператор X является умножением на —t, оператор Y имеет вид D + ß~1 -(а + 1)Х5, где D -обычное дифференцирование, а — параметр.

В параграфе 8 дается способ построения альтернативных неразложимых супербимодулей над 5(1,2). Доказана

Теорема 3. Пусть М — альтернативный неразложимый супербимодуль над В(1,2), содержащий Reg (или Reg) в качестве подмодуля. Предположим, что ei из М образуют базис Жор дана оператора X, причем матрица Жор дана состоит из одной клетки, то есть е\Х — 0, eiX = 1. Тогда размерность М кратна 3 и для любого i > 3 eiY — iei+1 + aie;3 + а2е^ 4 + • • • + 3ei, г<9е ^-некоторые скаляры, a2k = 0.

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

Наконец, в параграфе 9 доказывается утверждение о размерности йорданова супербимодуля с цоколем Reg (или Reg), для которого базис Жордана оператора X состоит из одной клетки (такие супербимодули неразложимы):

Пусть М — йорданов супер.м,одуль над 5(1,2), для которого базис

Жордана оператора X состоит из одной клетки, р- характеристика

21, I делится на р,

2/ + 1 l=l(modp) В случае характеристики 3 строятся примеры различных йордановых неразложимых супермодулей над 5(1,2), в том числе и не являющихся альтернативными: е2-, сз- • ■ ■ • (fe > 2)образуют базис модуля (ei, е2- е3 отвечают Reg или Reg), eiX = e^-i, t\X = О, e4Y = e5, ebY = -e6, e6Y = 0, для любого i > 0 eei+iY = e6i+2 + -fe6i-4, ббг+2^ — —Сбг+3, eei+зУ = 7e6i-2, = e6i|5, eei+s^ — -t'6i+6 + 7 ее;, z&i+eY — О, где 7 — некоторый ненулевой скаляр.

Также приводится пример неразложимого супербимодуля с цоколем Reg (Reg) в случае характеристики 5: е1,е2,. , ею образуют базис супербимодуля, е\Х = 0 ,eiX — e;i, i Y — е2, е2У = -с3, е3У = О, е4У = Зе5, е5У = -е6, е6У = — Зе7. е7У = Зе8, е8У = е9, е9У = —Зе10. е10У = 0.

Доказано, что в случае характеристики 0 каждый неразложимый с.упер-бимодуль над 5(1,2), для которого базис Жордана оператора X состоит из одной клетки неприводим.

Результаты диссертации докладывались на IV Международной алгебраической конференции, посвященной 60-летию профессора Ю. И. Мерз-лякова в г. Новосибирске (2000 г.) и на международном семинаре памяти профессора JI. А. Скорнякова в г.Волгограде (1999 г.). Результаты диссертации находятся в работах автора [23], [24], [25], [26].

Список литературы диссертационного исследования кандидат физико-математических наук Трушина, Мария Николаевна, 2000 год

1. Днестровская тетрадь. Нерешенные проблемы теории колец и модулей. Новосибирск. Институт математики СО РАН. 1993.

2. Джекобсон Н. Алгебры Ли, М.: Мир, 1964.

3. Жевлаков К.А., Слинъко A.M., Шестаков И.П., Ширшов А.И. Кольца, близкие к ассоциативным, М.: Наука, 1978.

4. Зелъманов Е.И. О первичных йордановых алгебрах. II, Сиб. матем. журнал, 24. выпуск 1(1983). 89-104.

5. Зелъманов Е. И. О разрешимости йордановых ниль-алгебр, Исследования по теории колец и алгебр,Труды института математики СО РАН, 16(1989), 37-53.

6. Зелъманов Е. И., Шестаков И. П. Первичные альтернативные супералгебры и нильпотентность радикала свободной альтернативной алгебры, Известия АН СССР, серия Математика, 54, 4(1990), 676-693.

7. Кантор И. Л. Йордановы и лиевы супералгебры, определенные алгеброй Пуассона, Алгебра и анализ, Томск, 1989, 55-80.

8. Кемер А. Р. Конечная базируемость тождеств ассоциативных алгебр, Алгебра и логика, 26, 5 (1987), 597-641.

9. Писаренко Н. А. Структура и представления конечномерных альтернативных супералгебр, Диссертация на соискание учёной степени кандидата физ.-мат. наук, Новосибирск, 1994.

10. Понтрягин Л. С. Непрерывные группы, М.: Наука, 1984.

11. Пчелинцев С. В. Об одном почти шпехтовом многообразии альтернативных алгебр над полем характеристики 3, Мат. сб., 2000, т. 191, 6, 127-144.

12. Размыслов Ю.П. Тождества алгебр и их представлений, М.: Наука, 1989.

13. Филиппов В. Т. Простые алгебры Мальцева, Алгебра и логика, 15, 2 (1976), 235-242;

14. И.Н.Херстейн И.Н. Некоммутативные кольца, М.: Мир, 1972.

15. Шестаков И. П. Супералгебры и контрпримеры, Сиб. матем. журнал, 32, выпуск 6(1991), 187-196.

16. Шестаков И. П. Первичные альтернативные супералгебры произвольной характеристики,. Алгебра и логика,36, 6(1997), 675-716.

17. Jacobson N. Structure of alternative and Jordan bimodules, Osaka Math. J., 6, 1(1954).

18. Jacobson N. Structure and representations of Jordan algebras, Amer. Math. Soc., Providence, 1968.

19. Kac V. G. Classification of simple Z-graded Lie superalgebras and simple Jordan superalgebras, Communs algebra, 5(1977), v. 13, 13751400.

20. Racine M., Zelmanov E. Simple Jordan superalgebras, Nonassociative Algebra and its Applications, Ed. by S. González, Kluwer Academic Publishers, 1994, 344-349.

21. Schafer R.D. Representation, of alternative algebras, Trans. Amer. Math. Soc. , 73(1953), 452-455.

22. Schafer R.D. An introduction to nonassociative algebras, London: Acad. Press, 1966.

23. Трушина M.H. Неприводимые йордановы супербимодули над простой супералгеброй 5(1, 2), Универсальная алгебра и ее приложения: тез. межд. семинара памяти Л.А.Скорнякова, Волгоград, 1999, 65.

24. Трушина М.Н. Неразложимые представления супералгебры В( 1, 2), Тез. IV Межд. алгебр, конф., Новосибирск, 2000, 173-174.

25. Трушина М.Н. Неприводимые конечномерные йордановы супербимодули над простой супералгеброй £?(1,2), Мат. сб., 2000, т. 191, 9, с. 123-138.

26. Трушина М.Н. Неприводимые супербимодули над супералгеброй 5(1, 2), Универсальная алгебра и ее приложения:Тр. междунар. семинара, Волгоград: Перемена, 2000, с. 271-279.