Алгебры Хопфа с одним неприводимым, неодномерным представлением тема диссертации и автореферата по ВАК РФ 01.01.06, кандидат наук Спиридонова, Софья Юрьевна

• Спиридонова, Софья Юрьевна
• кандидат наук
• 2013

Оглавление диссертации кандидат наук Спиридонова, Софья Юрьевна

Оглавление

Введение

Общая характеристика работы

Краткое содержание работы

1 Коумножение и антипод

1.1 Вспомогательные определения

1.2 Матрицы сопряжения в левом и правом действиях и антиподе

1.2.1 Матрица Ад

1.2.2 Матрица Вд

1.2.3 Мономиальность матрицы и

1.3 Эквивалентность некоторых условий и коумножение от матричных элементов

2 Кокоммутативность, её обобщение и частные случаи

2.1 Кокоммутативность и ее обобщение, сильная некокоммутативность

2.1.1 Обобщенная кокоммутативность и сильная некокоммутативность

2.1.2 Кокоммутативность и обобщенная кокоммутативность

2.2 Частные случаи

2.2.1 Размерность и конструкция гомоморфизма А' в случае

чисел Мерсенна

2.2.2 Алгебры Хопфа для п = 3, п = 4 и п = 7

3 Обобщенная-кокоммутативность и размерности

3.1 Группа Мн

3.1.1 Необходимость существования группы Мн

3.1.2 Достаточность существования группы Мн

3.2 Перестановка а и гомоморфизм г : Мн —Зп

3.3 Коммутативность Мн и обобщенная кокоммутативность Н

4 Классификация и идеалы Хопфа

4.1 Теорема о классификации

4.2 Идеалы Хопфа

Введение диссертации (часть автореферата) на тему «Алгебры Хопфа с одним неприводимым, неодномерным представлением»

Введение

Общая характеристика работы

Актуальность темы исследования

Алгебры Хопфа интересны как структуры тем, что совмещают в себе понятия алгебры и коалгебры и обладают, подобно группам, антиподом, [26]. Определение алгебры Хопфа удобно формулировать с помощью диаграмм, как это сделано в [26].

Пусть к — поле, тогда к-алгеброй называется векторное пространство над к, наделенное двумя линейными над к отображениями: умножением т : Н ® Н -л Н и единицей и : к —> Я, таким образом, что коммутативны диаграммы на Рис. 1.

Н®Н®Н

т<Я1с1

-Я <8>#

НфН

т

к ® Я

Я® А;

т

н®н

т

Я

Рис. 1: Диаграммы для умножения и единицы

Аналогично, к-коалгеброй называется векторное пространство над к,

наделенное двумя линейными над к отображениями: коумножением А : Я —> Н®Н и коединицей г : Н —> к, таким образом, что коммутативны диаграммы на Рис. 2.

Н

Н®Н

гг/0Д

А®и1

н

к®Н

д 'н ® к

НфН

Рис. 2: Диаграммы для коумножения и коединицы

Для того, чтобы структура, являющаяся одновременно алгеброй и коалгеброй, была биалгеброй, [26], необходима согласованность умножения и коумножения, выражающаяся в коммутативности диаграммы на Рис. 3.

Н®Н

н

д

Н®Н

д&д

Н®Н®Н®Н

тМ>т

н®н®н®н

Рис. 3: Диаграммы согласованности умножения и коумножения

Также должны выполняться условия на единицу и коединицу, выражающиеся в коммутативности диаграмм на Рис. 4.

Если на биалгебре к тому же задан антиэндоморфизм 5, такой что коммутативна диаграмма на Рис. 5, то данная структура называется алгеброй Хопфа, а антиэндоморфизм 5— ее антиподом.

Как обсуждается в обзорной статье [3], теория алгебр Хопфа берет

Я Я к

к® к =к к® к ^к к Рис. 4: Диаграммы согласованности единицы и коединицы

Н 0 Н-

Я-5--^--Я

Н®Н— " > Я 0 я

Рис. 5: Диаграмма для антипода

свое начало из двух источников — алгебраической топологии и теории алгебраических групп. Первое формальное определение алгебры Хопфа — под именем гипералгебры — было сформулировано Пьером Картье в 1956 году под влиянием работ Жана Дьедонне по алгебраическим группам в положительной характеристике. Выражение алгебра Хопфа было впервые использовано Арманом Борелем в 1953 году, [6], под влиянием основополагающей работы Хайнца Хопфа, [20]. В этой работе Хопф рассматривает структуру, названную им Г-многобразием, в современной терминологии — Я-пространство, обладающее операцией умножения М х М —У М. Эта функция индуцирует гомоморфизм из кольца когомологий

М — обозначаемого Я — в кольцо когомологий М х М, то есть Я ® Я. Как показывает Хопф, согласованность этого отображения из Я в Я <8> Я с и-произведением накладывает строгие ограничения на структуру Я, из которых Хопф выводит важные топологические результаты. Структуры, обладающие этими свойствами, получили имя Хопфа в упомянутой работе [6]. Однако, согласно этому определению, коумножение не является ни коассоциативным, ни подразумевающим антипод. С другой стороны, оно подразумевает коединицу, хотя об этом не упоминается явно. Также в работе [6] была доказана важная теорема о мультипликативной структуре этих алгебр. Их комультипликативная структура изучалась в работах [29] и [21].

Исследования, проведенные Хопфом и Борелем в [20] и [6] получили продолжение в работах Эдварда Хальперна [12], [13] и [14]. Он рассматривал тройку (Я, умножение Я ® Я —> Я, коумножение Я —У Я <Э Я) — гипералгебру. Алгебры Хопфа и Понтрягина упоминаются как частные случаи гипералгебр, при этом под алгеброй Хопфа Хальперн понимает следущее. Если начинать с Я-пространства X (снабженного непрерывным отображением А : X х X —> X) и гомотопической единицы, можно рассмотреть индуцированные отображения Д* : Я* 0 Я* —>• Я* и Д* : Я* Я* ® Я* на гомологиях и когомологиях соответственно. Тройка (Я*, и, Д*), называлась некоторыми авторами алгеброй Хопфа, тогда как дуальный объект (Я*, Д*, и*) носил имя Понтрягина. В обозначениях Хальперна структурные гомоморфизмы гипералгебры не обязаны быть ни ассоциативными, ни коассоциативными. Однако, вообще говоря, базовые пространства подразумеваются градуированными, а операции — сохраняющими градуировку и обладающие единицей (коединицей). Далее в работе [12] он называет гипералгебру ассоциативной, если умножение ассоциативно и коассоциативной, если коумножение

коассоциативно. В своей следующей работе [13] Хальперн продолжает называть исследуюмую им структуру гипералгеброй, однако в более поздней работе [14] он переименовывает свои гипералгебры в алгебры Хопфа, наименование, становившееся все более и более популярным после работы [25) Милнора и Мура. То, что понималось в [25] под алгеброй Хопфа, в современной терминологии является биалгеброй в симметрической категории градуированных модулей над коммутативным кольцом К. Однако связные алгебры Хопфа в понимании [25] — то есть с одномерным пространством нулевой степени — обладают антиподом. Доказательство структурной теоремы, представленной в работе [25] для градуированных коммутативных связных алгебр Хопфа, продолжает ряд аналогичных теорем Хопфа, Лерэ, Бореля.

Не менее значительное влияние на развитие теории алгебр Хопфа оказала теория алгебраических групп. Жан Дьедонне посвятил серию статей формальным группам Ли и гипералгебрам. В первой статье этой серии, [9], он рассматривает проблему обобщения терминологии групп Ли и алгебр Ли на случай положительной характеристики. Он рассматривает формальную группу Ли С и присоединяет к ней ассоциативную алгебру С/, которую он называет гипералгеброй и которая в характеристике нуль является обычной универсальной обертывающей алгебры Ли группы (У. Следующие три статьи этой серии посвящены изучению формальных абелевых групп Ли. В частности, во второй статье Дьедонне приводит классификацию гипералгебр одномерных групп. В пятой статье, [10], автор отходит от кокоммутативных гипералгебр и переходит к более общему случаю. Он дает формальное определение гипералгебры, которое включает коумножение. Переходя к дуальному отображению, Дьедонне получает умножение в формальной группе.

Другой автор, оказавший влияние на развитие теории алгебр Хопфа, Пьер Картье, дал формальное абстрактное определение гипералгебры в [7] с помощью трех аксиом, две из которых задают кокоммутативную биалгебру, а третья влечет за собой наличие антипода. В заметке [8] Картье отмечает, что группа полиномиальных функций на линейной алгебраической группе является коммутативной алгеброй Хопфа, что можно считать отправным пунктом теории алгебр Хопфа.

Под влиянием статей Картье, в статьях [16], [17] и [18] Джеральд Хохшильд и Дэн Мостоу рассматривают представления группы Ли С и алгебру регулярных функций на С - Не говоря этого явно, на

протяжении всей серии статей авторы работают с естественной структурой алгебры Хопфа на ЩС). Более того, работа Хохшильда в 50-х -70-х годах заключала в себе систематический подход к теории Ли, теории алгебраических групп и их алгебр Ли с точки зрения теории Хопфа. Постепенно структура алгебры Хопфа стала появляться явно и ее использование становилось все более систематичным. Например, в книге [19], структура алгебры Хопфа играет значительную роль. Так, автор рассматривает М-алгебру ЩС) действительнозначных регулярных функций на компактной группе С и показывает, что она допускает естественную структуру алгебры Хопфа. Кроме того, нужно заметить, что терминология алгебр Хопфа в алгебраической теории групп становилась к тому времени все более и более стандартизованной.

Начиная с публикации книги [31] в 1969 году, теория алгебр Хопфа начинает развиваться как независимая часть абстрактной алгебры не обращаясь ни к алгебраической топологии, ни к теории алгебраических групп. С течением времени этот раздел алгебры претерпел радикальные изменения методов и взаимосвязей с другими разделами математики,

а понимание структуры алгебр Хопфа и их представлений получило выдающееся развитие и взаимосвязь с различными областями математики, например с теорией узлов и топологией, конформной теорией поля, теорией колец, теорией категорий, комбинаторикой и т.д.

В течение последних десятилетий большим интересом пользуется классификация конечномерных алгебр Хопфа над алгебраически замкнутыми полями. Для некоторых размерностей эта задача к настоящему

9 _ о

времени уже полностью решена, например, для размерностей р, р и 2р , где р — простое, классификация алгебр Хопфа была получена в работах [34, 23, 15, 28, 24]. Большой прогресс в решении данной задачи достигнут также и для некоторых других размерностей, см., например, [11]. Особенно большой интерес представляет классификация конечномерных полупростых алгебр Хопфа. Известно, что все полупростые (ко)коммутативные алгебры Хопфа являются групповыми алгебрами или дуальными к ним, [26]. Однако вопрос о не (ко)коммутативных алгебрах Хопфа еще не решен. Полупростые алгебры Хопфа с лишь одним неодномерным неприводимым слагаемым реализуют наиболее простой некоммутативный случай. Что касается алгебр Хопфа следующего по сложности класса, а именно с несколькими неодномерными неприводимыми слагаемыми попарно различных размерностей, их классификация была сведена в [4] к случаю одного неодномерного неприводимого слагаемого.

Как показано в [26, §3.1], одномерные слагаемые в полупростом разложении соответствуют обратимым элементам двойственной алгебры Хопфа. Если ограничиться рассмотрением алгебр с лишь одним неодномерным неприводимым слагаемым, то любая такая алгебра над алгебраически замкнутым полем к имеет вид

Я = ®heGkeh © Mat(n, к) , 10

где С = С?(Я*) — группа обратимых элементов Я*, а множество {е^, /1б(?} является системой ортогональных центральных идемпотентов в Я.

Всюду далее в этой диссертации поле к подразумевается алгебраически замкнутым с характеристикой, не делящей размерность алгебры.

Полупростые алгебры Хопфа над такими полями были рассмотрены в общем виде в [1]. Как показано в [1, §§1, 2], коумножение в Я с одним неодномерным неприводимым слагаемым имеет вид

А (ж)

£ [(/г х) <g> eh + eh <g> {x /7,)] + Д'(ж) , x G Mat(n, k)

heG

ef <g> ef--ih + Ah , x = eh

/eG

где

Ah = [1 <8) (h'1 Ai = /г-1) (8) 1] Ai G Mat(n, k) (8) Mat(n, k)

для всех h G G, Ai соответствует единице в группе G,

А' : Mat(n, k) —y Mat(n, k) 0 Mat(n, k)

— гомоморфизмом алгебр, не сохраняющий единицу. При этом левое и правое действия / —^ х и х / элементов / G Я* на x G Я задаются по правилу: если

Л(Ж) = Х^1) ® Х(2) :

ТО

f Ж = 1>1,</, f = Ж(1)>Ж(2) • Здесь суммирования ведутся по всем слагаемым в А (я), где ж^) является собирательным обозначением для первого слагаемого, ~ собирательным обозначением для второго слагаемого, а (/, х) обозначает значение / G Я* на a: G Я.

Кроме того, порядок С = делит п2, поскольку число одномерных

слагаемых делит размерность алгебры, [26, §3.1], и сНт(Н) = -Ьп2.

Случай максимального порядка, |С| = п2, реализуется тогда и только тогда, когда А' = 0, [1, §4]. Как показано в [1], в этом случае алгебра Хопфа принадлежит либо симметрической, либо кососимметрической серии в смысле приведенной ниже теоремы из [1].

Теорема. Пусть Н — алгебра Хопфа с полупростым разложением

Н = Фнескен © Ма1;(п, к).

При этом пусть = п2, где С = Рассмотрим, матрицы II и V

из СЬ(п,к); такие что V — ^1 и либо и = Е, V = ^Е, либо 11 — 8, V = —-¿>, где

77 '

^Т 0 ... (Л о т ... о

V

т =

0 -1 1 о

о о ... т,

Тогда в обоих случаях коумножение А, коединица е и антипод задаются следующим образом:

ЛеЯ

А(ж) = х) ®ед + ед ® (х д)}, жеМа1;(п,к),

е(ед) — 5дд, е{х) = 0, а; бМа^п,к),

=

ет1 >

у = дев

п

\J\jV = у е Ма^п, к),

где

Ая = X] (Е*з игРъЧзЕРЧ = Еч ® 1

г,3,р,д

Более того, существует проективное представление д Лд = (^¿(д)) £ СЦп, к) группы С размерности п, такое чт,о:

д —^ х = АдхАд-1,

х^д = п2и ьАдУхи ьАд~\ V = игАди-1хиьАд-,и'\

АдиьА}1и-1А-д1и*А11и-1 = [Ад,и'А^и-1] = ц9лКЕ, € к*,

Т1

Ад= ^ Ец ® щрагр(д~1)ача(д^ЕГшЧ

б>лл ее еж д £ С. Кроме того, 1т — п^д и для 71 — Х)*,?-^' ® выполняется

П = ^иьАа-х <8> %У.

д£С

Из приведенной теоремы следует, что алгебра Хопфа с |С?| = п2 задается проективным представлением д 1—размерности п группы С, обладающим указанными свойствами и удовлетворяющим условию Ьг Ад = п5дд на след матриц

Как известно из теории Шура, существует центральное расширение С* группы

1 —+ #2(С, к*) —> С* —> С —► 1,

такое что каждое проективное представление группы С может быть поднято до линейного представления ее расширения (7*. Здесь Я2(С, к*) — группа вторых когомологий группы (7 с коэффициентами из мультипликативной группы к*. Соответствующие представления групп С и С* неприводимы одновременно.

В статье [5] показано, что С? из приведенной выше теоремы — абелева не циклическая группа, а группа (7* нильпотентна и каждое неприводимое представление Ф группы С* мономиально. В данном контексте и всюду

далее в этой диссертации представление называется мопомиалъным, если существует базис, в котором все его матрицы являются мономиальными. При этом под мономиальиой матрицей подразумевается матрица, содержащая в каждой строке и каждом столбце лишь один ненулевой элемент. При этом для существования таких алгебр Хопфа необходимо и достаточно доказать, что существует матрица А € СЬ(п, к), симметричная в случае £7 = Е и кососимметричная в случае С/ = 5, такая что для всех д, К € С в группе РСЬ(тг, к) выполняется равенство

Далее в работе [5] строится группа (7 — прямое произведение С? = (а) х (Ь) двух циклических групп порядка п, и линейное неприводимое мономиальное представление соответствующей ей группы СГ, такое что указанное выше условие на Ф выполняется, если принять А = Е. Таким образом, в [5] доказано существование алгебр Хопфа симметрической серии с \0(Н*)\ — т? для любого п > 1.

Случай кососимметрической серии был рассмотрен в диссертации [2] Р.Б. Мухатова, где была найдена кососимметрическая матрица А, такая что Ф(<?) коммутирует в группе РСЬ(п, к) с АгФ(/г)А-1 для всех д, к <Е С. Как упонянуто выше, существование такой матрицы А эквивалентно существованию алгебр Хопфа кокосимметрической серии для любого четного п.

Кроме этого, в [2] рассмотрены идеалы и фактор-алгебры алгебр Хопфа с \С(Н*)\ = п2 и получен следующий результат.

Теорема. Подпространства вида J = ф Ма^т^к), где N —

произвольная подгруппа группы С, и только они являются ненулевыми идеалами Хопфа алгебры, Н с \С(Н*)\ = п2.

Из приведенного результата [2] об идеалах алгебр Хопфа с |С?(#*)| = п2 вытекает еледущее следствие о факторалгебрах таких алгебр Хопфа.

Следствие. Факторалгебрами алгебры Хопфа Н с |С(Я*)| = г?2 являются алгебры, дуальные к групповым алгебрам, соответствующим, всевозможным подгруппам N группы С, и только они.

Здесь кТУ - групповая алгебра подгруппы N. Как будет показано в Главе 4, для алгебр Хопфа, рассматриваемых в настоящей работе, верен аналогичный результат.

Возвращаясь к случаю А' ф 0, необходимо отметить, что порядок группы С равен п<?, где д делит п, [1, §9].

В настоящей работе исследуется случай минимального порядка |С?| = п, и группа С предполагается наиболее простой, циклической. Кроме того, предполагается симметричность А'(Е). Таким образом, ограничения на рассматриваемый случай можно сформулировать следующим образом:

С = {д)\ Д'(Д)=тоД'(Я),

где д — образующий элемент циклической группы С порядка п, Е — единичная матрица из Ма1;(п,к), а т переставляет тензорные сомножители.

Случай циклической группы С произвольного порядка п обобщает случай алгебр типа (1,р;р, 1) из [27], то есть алгебр с простым п — р. Этот случай был полностью описан в [27], где было доказано, что при р > 2 выполнено р — 2^ — 1 для некоторого натурального /.

Основным результатом настоящей работы показано, что алгебры Хопфа с вышеперечисленными условиями могут существовать лишь при п — / - 1 и лишь в специфическом, обобщенно кокоммутативном виде. А

15

именно, будем называть алгебру Хопфа рассматриваемого типа обобщенно кокоммутат,иеной, если для любых индексов г, /с, I, р, д симметричные коэффициенты ш1^ и ш1^ равны или не равны нулю одновременно. Здесь коэффициенты определяют гомоморфизм алгебр А':

п

к,1,р,<7=1

Алгебру, не являющуюся обобщенно кокоммутативной, будем называть сильно некокоммутлтивной. Как показано в [35, §7], алгебра Хопфа рассматриваемого типа кокоммутативна тогда и только тогда, когда кокоммутативен гомоморфизм А'. Под кокоммутативностью А' следует понимать, что симметричные коэффициенты и равны друг

другу при любых индексах. Таким образом, обобщенно кокоммутативные алгебры Хопфа рассматриваемого типа действительно включают в себя класс кокоммутативных алгебр.

Цель работы

Целью данной работы является продвижение в решении задачи о классификации не(ко)коммутативных полупростых конечномерных алгебрах Хопфа и получение новых результатов касательно структуры подобных алгебр Хопфа. Задача работы состоит в

• Исследовании структуры алгебр Хопфа с полупростым разложением

Я = ®ЛеСкеЛ Ф Ма^п, к),

в предположении

С=(д)\ Д'(Д)=тоД'(Д),

где д — образующий элемент циклической группы С порядка п, Е — единичная матрица из Ма^п,к), а т переставляет тензорные сомножители.

• Получении детального описания коумножения и антипода при данных ограничениях.

• Получении результатов касательно (не)кокоммутативности таких алгебр Хопфа.

• Получении результатов касательно возможных размерностей таких алгебр Хопфа.

Научная новизна

Полученные результаты работы являются новыми. Среди них:

• В алгебрах Хопфа с полупростым разложением

Я = Ф/^ске^ © МаЬ(п, к),

в предположении

С={дУ\ Д'(£) = тоД'(£),

где д — образующий элемент циклической группы С порядка п, Е — единичная матрица из Ма^п,к), а т переставляет тензорные сомножители, доказана мономиальность матрицы сопряжения в антиподе и однозначная определенность матриц сопряжения в левом и правом действиях группы обратимых элементов на матричную компоненту Мак(п, к) (Теоремы 1.2.1-1.2.3).

• При данных ограничениях получено детальное описание структуры гомоморфизма Д', составляющей части коумножения (Теорема 1.3.2).

• Отсутствие алгебр Хоггфа рассматриваемого вида при четном порядке группы обратимых элементов в дуальной алгебре Хопфа и антиподе, транспонирующем элементы матричной компоненты полупростого разложения (Теорема 2.1.1).

• Описание антипода рассматриваемых алгебр Хопфа в зависимости от четности порядка группы обратимых элементов (Теорема 2.1.2).

• Построена естественная взаимосвязь таких алгебр Хопфа с конечными полями (точная формулировка дана в разделах 3.1.1-3.1.2), и показано, что указанные алгебры Хопфа существуют лишь при п — рк — 1, где п — порядок группы обратимых элементов в дуальной алгебре Хопфа, р — простое, а к — натуральное (Теорема 3.3.1).

• Доказана кокоммутативность рассматриваемых алгебр Хопфа с точностью до числовых коэффициентов в коумножении и антиподе (Теорема 3.3.1). Кроме того, в случае нечетного п получен более сильный результат, а именно, что такая алгебра Хопфа кокоммутативна с точностью до знаков числовых коэффициентов в коумножении, то есть ш£1р(1 = ^^рф (Теорема 4.1.1). Данные результаты о классификации собраны в Теореме 4.1.2.

Теоретическая и практическая значимость

Работа имеет теоретический характер. Полученные в ней результаты могут быть использованы в различных задачах высшей алгебры, алгебраической геометрии, линейной алгебры, теории групп.

На защиту выносятся следующие основные результаты и положения:

• В алгебрах Хопфа с полупростым разложением

Н = Флескел 0 Mat (га, к),

в предположении

G=(g)\ Д'(Д)=тоД'(Д),

где д — образующий элемент циклической группы G порядка п, Е — единичная матрица из Mat(n, k), а г переставляет тензорные сомножители, доказана мономиальность матрицы сопряжения U в антиподе и однозначная определенность матриц сопряжения В^, h £ G в левом и правом действиях группы обратимых элементов на матричную компоненту Mat(n,k) (Теоремы 1.2.1-1.2.3).

• При данных ограничениях получено детальное описание структуры гомоморфизма Д', составляющей части коумножения (Теорема 1.3.2).

• Построена естественная взаимосвязь таких алгебр Хопфа с конечными полями (точная формулировка дана в разделах 3.1.1-3.1.2), и показано, что указанные алгебры Хопфа существуют лишь при п = рк — 1, где п — порядок группы обратимых элементов в дуальной алгебре Хопфа, р — простое, а к — натуральное (Теорема 3.3.1).

• Доказана кокоммутативность рассматриваемых алгебр Хопфа с точностью до числовых коэффициентов в коумножении и антиподе (Теорема 3.3.1). Кроме того, в случае нечетного п получен более сильный результат, а именно, что такая алгебра Хопфа кокоммутативна

с точность до знаков числовых коэффициентов в коумножении, то есть шк1рд = ±ирф1 (Теорема 4.1.1).

Апробация результатов

Основные результаты диссертации неоднократно докладывались на научно-исследовательских семинарах:

• семинар «Кольца и модули» кафедры высшей алгебры МГУ;

• семинар «Теория матриц» кафедры высшей алгебры МГУ;

• семинар «Дополнительные главы алгебры» кафедры высшей алгебры МГУ.

Структура диссертации

Диссертация состоит из введения, четырех глав, разбитых на разделы (нумерация разделов подчинена нумерации глав, нумерация теорем подчинена нумерации разделов) и списка литературы. Общий объем диссертации составляет 83 страниц, список литературы включает 36 наименований, из которых 2 наименования — публикации автора по теме диссертации.

Личный вклад автора

Содержание диссертации и основные положения, выносимые на защиту, отражают персональный вклад автора в опубликованные работы. Все представленные в диссертации результаты получены лично автором.

Публикации

Основные результаты диссертации были опубликованы в двух статьях автора в рецензируемых журналах, [35] и [36].

Краткое содержание работы

В Главе 1 получено детальное описание коумножения и антипода рассматриваемых алгебр Хопфа. Её первый раздел 1.1 содержит некоторые вспомогательные определения и утверждения из работы [1]. В разделе 1.2 рассматриваются матрицы сопряжения II и В/,,, к £ С,

определяющие антипод и действия группы обратимых элементов на элементы матричной компоненты алгебры Хопфа Н. С помощью формул Ньютона и Виета для симметрических многочленов в 1.2.1 доказывается однозначная определенность матрицы где д — образующий элемент циклической группы С обратимых элементов в дуальной алгебре Хопфа. А именно, перестановкой элементов базиса можно добиться

п

Ад = 1

г=1

с точностью до обратимого числового коэффициента из поля. Здесь е — перевообразный корень степени п из единицы. Из этого и нескольких других свойств рассматриваемых алгебр Хопфа, доказанных в [1], в подразделах 1.2.2 и 1.2.3 показывается, что матрица Вд диагональна в том же базисе и, кроме того,

п

и = ^ игЕга(г)

г=1

где перестановка а является произведением транспозиций и, следовательно, обратна самой себе.

В разделе 1.3 с помощью некоторых переформулировок свойств расматриваемых алгебр Хопфа из [1] установлена структура гомоморфизма Д', а именно, при использовании формализации

п

7=1

верно следующее (Теорема 1.3.2):

Теорема. В алгебре Хопфа рассматриваемого вида (1.1.1) с условиями (1.1.2) для любых г и ] в разложении (1.3.3) есть ровно п — 1 ненулевой коэффициент. При этом

1) для любого к ф г ровно один коэффициент шг^1р(] отличен от нуля;

2) для любого р ф г ровно один коэффициент ш1^ отличен от нуля;

3) для любого I ф ] ровно один коэффициент отличен от пуля;

4) для любого q Ф з ровно один коэффициент отличен от нуля.

Глава 2 посвящена свойствам обобщенной кокоммутативности и сильной некокоммутативности и содержит доказательства ряда утверждений касательно таких классов алгебр Хопфа. В частности, в разделе 2.1.1 показано отсутствие алгебр Хопфа рассматриваемого вида при четном порядке группы обратимых элементов в дуальной алгебре Хопфа и антиподе, транспонирующем элементы матричной компоненты полупростого разложения (1.1.1). Доказано следующее утверждение (Теорема 2.1.1):

Теорема. Если п четно, а матрица и диагональна, то соответствующих ей алгебр Хопфа рассматриваемый вида (1.1.1) с условиями (1.1.2)не существует.

А также получено описание матрицы II, определяющей антипод (Теорема 2.1.2):

Теорема. Если алгебра Хопфа Н вида (1.1.1) с условиями (1.1.2) с матрицей Ад из (1.3.5) обобщенно-кокоммутативна, то в случае нечетного п соответствующая матрица С/ диагональна, а в случае четмого п матрица и имеет вид

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

Основываясь на этом, в разделе 2.2.1 показано, что обобщенно-кокоммутативные алгебры Хопфа рассматриваемого вида существуют только при п = р^ — 1, где р — простое, / — натуральное, что является обобщением известного аналогичного факта для кокоммутативных алгебр Хопфа вида (1.1.1). Также в разделе 2.2.1 предложена конструкция гомоморфизма Д' для кокоммутативных алгебр Хопфа вида (1-1.1) при п = 2^ — 1, где / — натуральное. В заключение, эти рассуждения иллюстрируются в разделе 2.2.2 примерами трех алгебр Хопфа, построенных в данной работе для п = 3, п = 4 и п = 7, в дополнение к известному примеру групповой алгебры симметрической группы третьей степени.

Полученное ограничение п — р? — 1, где р — простое, / — натуральное, на размерности обобщенно-кокоммутативных алгебр Хопфа наталкивает на мысль о глубокой взаимосвязи рассматриваемых алгебр Хопфа с конечными полями. Ввиду этого, Глава 3 ставит своей задачей ее нахождение и примемение для получения результатов о существовании или отсутствии

где Т — диагональная матрица.

сильно некокоммутативных алгебр Хопфа рассматриваемого вида. Так, в разделе 3.1.1 показано, что каждой алгебре Хопфа Н вида (1.1.1) с условиями (1.1.2), сИт(Н) = п(п + 1), соответствует естественным образом некоторая мультипликативная группа Мц порядка п + 1, умножение в которой задается коумножением в Н. А именно, рассматривается множество Ме = {е, 1,2, на котором можно ввести операцию умножения, естественным

Список литературы диссертационного исследования кандидат наук Спиридонова, Софья Юрьевна, 2013 год

Литература

[1] В.А. Артамонов, О полупростых конечномерных алгебрах Хопфа, Мат. сборник 198 (2007), №9, 3-28

[2] Р.Б. Мухатов, Строение полупростых алгебр Хопфа, кандидатская диссертация, МГУ, 2012.

[3] N. Andruskiewitsch, W. F. Santos, The Beginnings of the Theory of Hopf Algebras, Acta Appl. Math. 108 (2009), №1, pp 3-17

[4] V.A. Artamonov, On semisimple Hopf algebras with few representations of dimension greater than one, Revista de la Unión Matemática Argentina 51 (2012), №2, 91-105

[5] V.A. Artamonov, I.A. Chubarov, Properties of some semisimple Hopf algebras, Contemp. Math. Algebras, representations and applications, A conference in honour of Ivan Shestakov's 60th birthday, August 26 — September 1, 2007, Maresias, Brazil. Edited by: Vyacheslav Futorny, Victor Kac, Iryna Kashuba and E. Zelmanov., Amer. Math. Soc., 483 (2009), 23-36

[6] A. Borel, Sur la comologiendes espace fibres principaux et des espaces homogenes des groupes de Lie compact, Ann. Math. 87 (1953), 115-207

[7] P. Cartier, Hyperalgebres et groupes de Lie formels, Seminaire "Sophus Lie" 2e annee: 1955/56, (1957)

[8] P. Cartier, Dualité de Tannaka des groupes et des algebres de Lie, C. R. Acad. Sci. Paris 242, (1956), 322-325.

[9] J. Dieudonné, Groupes de Lie et hyperalgebres de Lie sur un corps de caractéristique p> 0, Comm. Math. Helv. 28 (1954), 87-117

[10] J. Dieudonné, Groupes de Lie et hyperalgebres de Lie sur un corps de caractéristique p > O.(V), Comm. Math. Helv. 28 (1954), 87-117

[11] P. Etingof, S. Gelaki, Semisimple Hopf algebras of dimension pq are trivial, J.of Algebra 210 (1998), №2, 664-669

[12] E. Halpern, Twisted polynomial hyperalgebras, Mem. Amer. Math. Soc. 29 (1958), 61 pp.

[13] E. Halpern, On the structure of hyperalgebras. Class 1 H opf algebras, Portugal. Math. 17 (1958), 127-147.

[14] E. Halpern, On the primitivity of H opf algebras over a field of prime characteristic, Proc. Amer. Math. Soc. 11 (1960), 117-126.

[15] M. Hilgemann, S.-H. Ng, H opf algebras of dimension 2 p2, ,J. London Math. Soc. 80 (2009), 295-310

[16] G. Hochschild, G.D. Mostow Representations and representative functions of Lie groups, Ann. of. Math. (2) 66 (1957), 495-542

[17] G. Hochschild, G.D. Mostow Representations and, representative functions of Lie groups II, Ann. of. Math. (2) 68 (1958), 395-413

[18] G. Hochschild, G.D. Mostow Representations and representative functions of Lie groups III, Ann. of. Math. (2) 70 (1959), 85-1000

[191 G. Hochschild, The structure of Lie groups, (1965), Holden-Day Inc. San Francisco, ix+230 pp.

[20] H. Hopf Uber die Topologie der Gruppen-Mannifaltigkeiten und ihrer Verallgemeinerung en, Ann. Math. 42 (1941), 22-52

[21] J. Leray, Sur la forme des espaces topologiques et sur les points fixes des representationes, J. Math. Pures Appl. 54 (1945), 95-167

[22] S. MacLane, Homology, Springer, Berlin 1963

[23] A. Masuoka, The pn theorem for semisimple Hopf algebras, Proc. Amer. Math. Soc. 124 (1996), 735-737

[24] A. Masuoka, Some further classification results on semisimple Hopf algebras, Comm. Algebra 24 (1996), 307-329

[25] J. W. Milnor and J. C. Moore, On the structure of Hopf algebras, Ann. of Math. (2), 81, (1965), 211-264.

[26] S. Montgomery, Hopf Algebras and Their Actions on Rings, Providence RI, 1993

[27] S. Natale, J.Y. Plavnik, On fusion categories with few irreducible degrees, ArXiv: 1103.23402, (2011)

[28] S.-H. Ng, Non-semisimple Hopf algebras of dimension p2, J. Algebra 255 (2002), 182-197

[29] H. Samelson Beiträge zur Topologie der Gruppen-Mannifaltigkeiten, Ann. Math. 42 (1941), 1091-1137

[30] G. Seitz, Finite groups having only one irreducible representation of degree greater than one, Proc. Amer. Math. Soc. 19 (1968), №2, 459-461

[31] M. Sweedler Hopf Algebras, (1969), Benjamin, New York, 336 pp.

[32] H. Zassenhaus, Ueber endliche Fastkoerper, Abh. Math. Semin. Hamburg Univ. 11 (1935), 187-220.

[33] J.L. Zemmer, The additive group of an infinite near-field is abelian, J. London Math. Soc. 44 (1969), 65-67.

[34] Y. Zhu, Hopf algebras of prime dimension, Internat. Math. Res. Notices 1 (1994), 53-59

Список публикаций автора:

[35] С.Ю. Спиридонова, О некоторых полупростых конечномерных алгебрах Хопфа разм,ерност,и п(п+1), Мат. заметки 91 (2012), №2, 253-269

[36] С.Ю. Спиридонова, Обобщенная кокоммутативпостъ некоторых алгебр Хопфа и их связь с конечными полями, Алгебра и анализ 25 (2013), №5, 202-220.