Структура жордановой плоскости

Шириков, Евгений Николаевич

Структура жордановой плоскости тема автореферата и диссертации по математике, 01.01.06 ВАК РФ

Шириков, Евгений Николаевич АВТОР

кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ

Москва МЕСТО ЗАЩИТЫ

2008 ГОД ЗАЩИТЫ

01.01.06 КОД ВАК РФ

Диссертация по математике на тему «Структура жордановой плоскости»

Автореферат диссертации на тему "Структура жордановой плоскости"

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ имени М.В. ЛОМОНОСОВА

Механике - математический факультет.

На правах рукописи УДК 512.55

Шириков Евгений Николаевич СТРУКТУРА ЖОРДАНОВОЙ ПЛОСКОСТИ

01.01.06 — математическая логика, алгебра и теория чисел

АВТОРЕФЕРАТ

диссертации на соискание ученой степени кандидата физико-математических наук

Москва - 2008

003450585

Работа выполнена на кафедре высшей алгебры Механико-математического факультета Московского государственного университета имени М.В. Ломоносова.

Научный руководитель: доктор физико-математических наук,

профессор В.А. Артамонов

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

профессор A.A. Михалёв (Московский государственный университет имени М.В. Ломоносова)

доктор физико-математических наук, профессор A.A. Туганбаев (Российский государственный торгово-экономический университет)

Ведущая организация: Самарский государственный университет

Защита состоится 21 ноября 2008 г. в 16 часов 40 минут на заседании диссертационного совета Д 501.001.84 при Московском государственном университете имени М.В. Ломоносова по адресу: Российская Федерация, 119991, Москва, ГСП-1, Ленинские горы, дом 1, Московский государственный университет имени М.В. Ломоносова, Механико-математический факультет, аудитория 14-08.

С диссертацией можно ознакомиться в библиотеке Механико-математического факультета (Главное здание, 14 этаж).

Автореферат разослан 21 октября 2008 г.

Ученый секретарь диссертационного совета Д 501.001.84 при МГУ, доктор физико - математических наук, профессор

Иванов А.О.

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

Актуальность темы. Данная диссертация посвящена исследованию жордановой плоскости - алгебры с единицей над полем К, порождённой элементами X и Ye определяющим соотношением YX = XY -f Y2. Интерес к изучению жордановой плоскости обусловлен следующими классификационными результатами: рассмотрим ассоциативные

оо

градуированные алгебры А = © Ап без делителей нуля, где Aq = К - поле,

71=0

Ai = (X, Y) - линейная оболочка двух порождающих X и Y. Предположим, что алгебра А не имеет делителей нуля, diïïi А2 — 3 и выполнены некоторые дополнительные ограничения. Тогда алгебра А является либо жордановой плоскостью, либо квантовой плоскостью, т.е. порождается элементами X и Y с определяющим соотношением YX — XXY для некоторого Л G К*.

Подобные "деформированные" алгебры широко изучаются в современной математике. Изучается кольцевое строение этих алгебр - первичный спектр, автоморфизмы, нормирования, представления, тело частных. Ключевую роль здесь играет описание первичных идеалов, что существенно упрощает решение остальных задач. Так, при описании автоморфизмов мы пользуемся тем, что любой автоморфизм "переставляет" первичные идеалы. При изучении нормирований важную роль играет идеал нормирования, который является вполне первичным идеалом. При изучении неприводимых представлений мы пользуемся тем фактом, что аннулятор неприводимого модуля всегда есть первичный идеал. С другой стороны, изучение "деформированных" алгебр важно для исследования алгебр Хопфа: а именно, подобные алгебры рассматриваются как "некоммутативные пространства", на которых действуют алгебры Хопфа1'2,3. С этой точки зрения интересно описание алгебраических косых дифференцирований с автоморфизмами конечного порядка.

Квантовая плоскость является частным случаем алгебры квантовых многочленов от нескольких переменных, которые определяются следующим образом: пусть К - поле и задана квадратная матрица Q = (q¡j) размера п ^ 2 с коэффициентами из поля К со следующими свойствами: qa = q^q^ = 1 V/,j. Зафиксируем также целое число г, 0 ^ г ^ п. Алгеброй квантовых многочленов А ~ KçfX^1,..., -Х^1, Xr+i,..., Хп] называется ассоциативная K-алгебра с единицей, порождённая элементами X¡1, Xr+i, ...,Хп

с определяющими соотношениями ХгХ^г = X~lXi = 1, i = 1 ,...,r, XiXj = ÇtjXjXu 1 ^ ^ п. Для алгебр квантовых многочленов все выше означенные вопросы хорошо изучены. В лекциях К. Брауна и

1 Демидов Е Е. Квантовые группы, Москва, Факториал, 1998.

2Montgomery S. Hopf Algebras and Their Actions on Rings, Amer. Math. Soc., Providence RI, 1993.

3Mantn Yu.1. Quantum groups and non-commutative geometry. CRM, Universite de Montreal, 1988.

К. Гудёрла4 рассматриваются общие вопросы, связанные с квантовыми алгебрами. Первое описание автоморфизмов и дифференцирований алгебры квантовых многочленов в случае г = О получили Ж. Алев и М. Шамари5. Дальнейшие результаты по изучению автоморфизмов, дифференцирований, нормирований, представлений, тела частных и действий алгебр Хопфа получены В.А. Артамоновым6. Именно поэтому - ввиду наших классификационных результатов - особенно интересно решение аналогичных задач для жордановой плоскости. Кроме того, в настоящее время широко изучаются квадратичные алгебры - алгебры, определяемые квадратичными соотношениями. Такие алгебры имеют важное значение в некоммутативной геометрии7 и тесно связаны с козюлевыми алгебрами8. При изучении квадратичных алгебр всегда рассматриваются так называемые ПБВ-теоремы - вопросы о базисах Пуанкаре - Биркгофа - Витта и их обобщений.

Отметим, что исторически первым примером "деформированных" колец являются кольца косых многочленов, введённые О. Ope в начале 30-х годов прошлого века9. Алгебры квантовых многочленов и жорданова плоскость являются кольцами косых многочленов Ope. Также алгебры квантовых многочленов и жорданова плоскость тесно связаны с алгебрами Вейля. Алгебру квантовых многочленов в случае г = п часто называют "мультипликативным аналогом" алгебры Вейля, т.к. на неё переносятся многие свойства алгебры Вейля10,11. В диссертации доказывается, что жорданова плоскость и алгебра Вейля (ранга 1) имеют одинаковое тело частных, а любое неприводимое бесконечномерное представление жордановой плоскости над полем нулевой характеристики является представлением алгебры Вейля. В диссертации строится серия неизоморфных представлений неприводимых как над жордановой плоскостью, так и над алгеброй Вейля.

Цель работы. Целью работы является классификация некоторых 2-порождённых градуированных алгебр и изучение первичного спектра,

4Brown К. A., Goodearl К.A. Lectures on Algebraic Quantum Groups, Birkhäuser, Basel, Boston, 2002.

sAlev J., Chamarie M. Derivations et automorphismes de quelques algebres quantiques - Communications in Algebra. - 1992. - Vol. 20, N 6. - p. 1787 - 1802.

6Артамонов В. А Алгебры квантовых многочленов. - Итоги науки и техн. Сер. Соврем мат. и ее прил. Темат. обз - 2002 - т. 26 - с. 5 - 34.

7Aí<mm Yul. Topics in non-commutative geometry Princeton Univ. Press, Princetown, 1991.

sPoltshchuk A., Positselskt L. Quadratic algebras, University lecture series, Vol 37, 2005.

'Ore O. Theory of non-commutative polynomials. - Ann. of. Math. (2). - 1933. - Vol. 34. - p. 480 - 508.

10McConnell J.C., Pettit J.J. Crossed products and multiplicative analogues of Weyl algebras. - J. London Math. Soc. - 1988. - Vol. 38, N 1. - p. 47 - 55.

"Jategaonkar V. A. A multiplicative analog of the Weyl algebra. - Communications in Algebra - 1984. -Vol 14, N 12. - p 1669 - 1688.

группы автоморфизмов, представлений, нормирований и алгебры дифференцирований жордановой плоскости.

Методы исследования. Используются результаты и методы теории колец и модулей.

Научная новизна. Все основные результаты диссертации являются новыми и состоят в следующем.

1. Классифицированы некоторые градуированные 2-порождённые алгебры, являющиеся естественным обобщением кольца многочленов от двух переменных.

2. Изучена кольцевая структура жордановой плоскости, а именно описаны первичный спектр и группа автоморфизмов жордановой плоскости над произвольным полем.

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

4. Построены примеры нормирований жордановой плоскости. Доказано, что все нормирования жордановой плоскости над произвольным полем абелевы.

5. Для жордановой плоскости над произвольным полем описаны дифференцирования, алгебра внешних дифференцирований и некоторые косые дифференцирования. В случае нулевой характеристики описаны все алгебраические косые дифференцирования, порождённые автоморфизмами конечного порядка.

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

Апробация диссертации. Содержащиеся в диссертации результаты неоднократно докладывались на семинаре кафедры высшей алгебры "Кольца и модули" (2005 - 2008), на международной конференции по общей алгебре

в Потсдаме (март 2005), на международной конференции, посвященной 65-летию профессора A.B. Михалёва (ноябрь 2005), на международной алгебраической конференции, посвященной 100-летию со дня рождения А.Г. Куроша (июнь 2008).

Публикации. Основные результаты диссертации опубликованы в пяти работах автора, список которых приведён в конце автореферата [1-5].

Структура и объем работы. Диссертация состоит из введения, пяти глав, разбитых на параграфы, и списка литературы. Общий объем текста - 97 страниц. Список литературы содержит 49 наименований.

СОДЕРЖАНИЕ РАБОТЫ

Во введении показана актуальность темы диссертации, описано содержание диссертации и сформулированы основные результаты.

В параграфе 1 главы 1 мы определяем квантовую и жорданову плоскость и описываем их основные свойства.

Определение. Квантовой плоскостью над полем К называется K-алгебра с единицей, порождённая элементами X и Y с определяющим соотношением YX = \XY для некоторогоX S К*. Жордановой плоскостью над полем К называется Ж-алгебра с единицей, порождённая элементами X и Y с определяющим соотношением YX = XY + Y2.

Жорданова и квантовая плоскости имеют следующие общие свойства. Во-первых, множество X'Y' является базисом квантовой плоскости и жордановой плоскости как линейных пространств. Далее, квантовая плоскость и жорданова плоскость являются расширениями Ope кольца К[У]. В-третьих, квантовая и жорданова плоскости являются No—градуированными алгебрами, а именно: тг—ой компонентой градуировки является линейная оболочка всех мономов степени п, а размерность п—ой компоненты равна п + 1. Следующее утверждение описывает центр жордановой плоскости.

Теорема. Если charK = 0, то центр жордановой плоскости равен К. Если c/iarK = р > 0, то центр жордановой плоскости совпадает с подалгеброй K[XP, Yp], порождённой элементами Хр и Yp.

В заключение параграфа 1 показывается, что квантовые многочлены и жордановы плоскости неизоморфны. В параграфе 2 классифицируются

оо

некоторые 2-порождённые градуированные алгебры А — © Ап, где

п=0

Aq = К - поле, А\ = (X, Y) - линейная оболочка двух порождающих X и У, причём dim Ai = 3.

Теорема. (Первая классификационная теорема.) Пусть основное поле К не имеет квадратичных расширений, алгебра А не имеет делителей нуля и dim Ап = п + 1. Тогда А является либо алгеброй квантовых многочленов, либо жордановой плоскостью.

Приводится критерий отсутствия в алгебре А делителей нуля. Из условия dim/b = 3 следует, что элементы X2, Y2, XY и YX линейно зависимы. Значит, существует единственный с точностью до пропорциональности ненулевой набор коэффициентов (а,/3.7,5), такой, что

аХ2 + /ЗУ2 + yXY + SYX = 0.

Следствие. Пусть dim Ап = п + 1. Тогда алгебра А не имеет делителей нуля в том и только в том случае, если а/3 — 7<5 ^ 0.

Жорданова плоскость является расширением Ope нётерова кольца К[У]. Следовательно, жорданова плоскость также является нётеровой областью целостности и, в частности, удовлетворяет условию Ope. Тогда жорданова плоскость имеет тело частных. В параграфе 3 мы описываем некоторые подкольца тела частных жордановой плоскости, которые понадобятся нам при описании первичного спектра и нормирований жордановой плоскости.

Теорема. Пусть charK. = 0, I - первичный собственный идеал жордановой плоскости. Тогда либо I = (Y), либо I — (У, ф{Х)) для некоторого неприводимого многочлена ip{X) GK|X]. И обратно, любой такой идеал является первичным. В частности, любой первичный идеал жордановой плоскости над полем нулевой характеристики является вполне первичным.

В качестве приложения полученных результатов мы классифицируем некоторые центральные 2-порождённые градуированные алгебры без делителей нуля. Напомним, что мы рассматриваем ассоциативные

оо

2-порождённые градуированные алгебры А = © А„, где Aq = К - поле,

71=0

Ai = {X, Y) - линейная оболочка порождающих X и У и dim Ai — 3.

Теорема. (Вторая классификационная теорема.) Пусть основное поле К не имеет квадратичных расширений, алгебра А центральна и не имеет делителей нуля. Тогда А является либо алгеброй квантовых многочленов, либо жордановой плоскостью.

В случае поля положительной характеристики спектр жордановой плоскости устроен гораздо сложнее: в параграфе 6 мы показываем, что описание первичных идеалов жордановой плоскости над полем положительной характеристики сводится к описанию простых идеалов её центра, изоморфного кольцу многочленов от двух переменных.

Теорема. Пусть скагК = р > 0, / - собственный первичный идеал жордановой плоскости. Тогда выполнено одно из следующих условий: (г) I = (У); (и) I = (У, ф{Х)) для некоторого неприводимого многочлена ф(Х) € К[Х]; (Ш) I = (/(ХР,УР)) для некоторого неприводимого многочлена /({/, V) е К[£/, V] \ (V); (¿и) I = (/(У^.у^.У")) для некоторых таких неприводимых многочленов д(1/.У) € К[/У, V] и

/(V) £ К[К] \ (V), что д([/, V) = 11° + Е^К), з > 1, и

¿=о

(/(У),д([/, У)) - простой идеал в кольце К [С/, V]. И обратно, любой такой идеал является первичным.

В этом случае мы приводим примеры первичных, но не вполне первичных идеалов. Далее, для алгебр с "большим" центром традиционно рассматривается вопрос о продолжении простого идеала центра до первичного идеала всей алгебры - эту задачу мы решаем в параграфе 7.

Утверждение. Пусть I - собственный простой идеал центра жордановой плоскости. Тогда существует и притом единственный такой первичный идеал I в жордановой плоскости, что I равен пересечению I с центром.

Строение первичного спектра позволяет описать группу автоморфизмов жордановой плоскости: в параграфе 8 мы показываем, что вид автоморфизмов не зависит от характеристики основного поля.

Теорема. Пусть ^р - автоморфизм жордановой плоскости. Тогда (р{Х) = -уХ + д(У), <р(У) =7 У для некоторых 7 € К. * и д{У) € К[У]. Обратно, любое такое отображение однозначно продолжается до автоморфизма жордановой плоскости. Группа автоморфизмов жордановой плоскости изоморфна группе К* х К[У] с операцией о, где (71,51 (У)) ° (72,Рг(У)) = (7172,7201 (У) + 92(7^))-

В случае положительной характеристики мы также описываем группу С - группу автоморфизмов тождественных на центре.

Теорема. Пусть charK = р > 0. Тогда G = Zp. Если ц> € G, то р(Х) = X + %Y, <p{Y) = Y для некоторого i 6 Zp.

В параграфе 9 мы приводим описание автоморфизмов конечного порядка над полем нулевой характеристики.

Теорема. Пусть charK. — 0, ip - автоморфизм жордановой плоскости, причём ordy) = п ^ 2 . Тогда уэ(Х) = 7Х +g(Y), ip(Y) — 7У, где 7 G К*, причём ord-y = п, g(Y) = € К[У].

mod n)

Теорема. Пусть charK. = 0, М - неприводимый конечномерный левый '(правый) модуль над жордановой плооскостью. Тогда существует такой неприводимый многочлен тр(Х) £ Kpf], что модуль М изоморфен фактормодулю ^^/('^(Х)) с естественным действием X и нулевым действием Y. При этом dim* М — deg^(X). Неприводимые конечномерные левые (правые) модули над жордановой плоскостью изоморфны тогда и только тогда, когда соответствующие неприводимые многочлены пропорциональны. Если поле К алгебраически замкнуто, то любой конечномерный неприводимый левый (правый) модуль над жордановой плоскостью изоморфен полю К, на котором элемент X действует как умножение на некоторый элемент a G К, а элемент Y действует нулевым образом.

Задача описания всех неприводимых представлений, эквивалентная описанию всех максимальных односторонних идеалов, на сегодняшний день является нерешённой, однако в параграфе 3 мы строим серию неизоморфных бесконечномерных неприводимых представлений жордановой плоскости над полем нулевой характеристики. В параграфе 4 мы показываем, что любое бесконечномерное неприводимое представление жордановой плоскости над полем нулевой характеристики является также представлением алгебры Вейля ранга 1. При этом, естественно возникает вопрос: следует ли из неприводимости нал жордановой плоскостью неприводимость над алгеброй Вейля? На сегодняшний день ответа на этот вопрос нет, однако мы строим серию неизоморфных представлений неприводимых как над жордановой плоскостью, так и над алгеброй Вейля.

Глава 4 посвящена нормированиям жордановой плоскости. В параграфе 1 приводятся общие утверждения, необходимые в дальнейшем. В параграфе 2 мы строим некоторые примеры нормирований жордановой плоскости. Мы определяем идеал нормирования и показываем, как нормирования связаны с первичным спектром алгебры. В параграфе 3 мы доказываем, что все нормирования жордановой плоскости над произвольным полем абелевы.

Теорема. Пусть д — дифференцирование жордановой плоскости. (Г) Если charK = 0, то

д(Х) = аУ + tp(X) + adw{X), d(Y) = ф'{Х)У + adw(y),

где абК, Ф(Х) G ЩХ], w - некоторый элемент жордановой плоскости.

(II) Если charK = р > 2, то

д(Х) = ф(Х) + T(XP,YP)Y + adw(X),

d(Y) = fJ/{X)Y + S(XP, Y*)YX?~lY + ad w(Y),

где ф(Х) <= T(U,V),S(U,V) G K[f/,V], w - некоторый элемент

жордановой плоскости.

(III) Если charK = 2, то

д(Х) = ф(Х) + Т(Х2, Y2)Y + adtopO, d(Y) = V(X) + (V'(X) + ip'(X))Y + S(X2, Y2)YXY + ad w(Y),

где tp(X)^(X) G K[X], T(U,V),S(U,V) G K[U, V], w - некоторый элемент жордановой плоскости.

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

В параграфе 2 описывается алгебра внешних дифференцирований жордановой плоскости над произвольным полем. В случае поля положительной характеристики алгебра дифференцирований является ограниченной алгеброй Ли - соответствующая операция изучается в параграфе 3. В параграфе 4 доказывается, что жорданова плоскость над полем нулевой характеристики не имеет ненулевых алгебраических дифференцирований. В параграфе 5 мы описываем некоторые косые дифференцирования жордановой плоскости. В частности, мы доказываем, что в случае нулевой характеристики все косые дифференцирования, порождённые автоморфизмами конечного порядка, являются внутренними. В параграфе б мы исследуем такие дифференцирования на алгебраичность.

Теорема. Пусть charK = 0 и ip - автоморфизм конечного порядка п ^ 2 жордановой плоскости. Если \ G К, то косое <р— дифференцирование ad^Á алгебраично. Если w — элемент жордановой плоскости, не являющийся константой, то косое дифференцирование д = advw неалгебраично.

БЛАГОДАРНОСТИ

Автор выражает глубокую благодарность своему научному руководителю доктору физико-математических наук, профессору Вячеславу Александровичу Артамонову за постановку задачи и постоянное внимание к работе. Автор также благодарит заведующего кафедрой высшей алгебры доктора физико-математических наук, профессора Виктора Николаевича Латышева, доктора физико-математических наук, профессора Александра Васильевича Михалёва и всех сотрудников кафедры за поддержку, внимание и творческую атмосферу.

Работы автора по теме диссертации

[1] Шириков E.H., Жорданова плоскость над полем положительной характеристики, Математические заметки, 2007, 82:2, 272 - 292.

[2] Шириков E.H., Жорданова плоскость, Фундаментальная и прикладная математика, 2007, 13:2, 217 - 230.

[3] Shirikov E.N., Two-generated graded algebras, Algebra and Discrete mathematics, 3 (2005), pp. 64 - 80.

[4] Shirikov E.N., Two-generated graded algebras, 69th Workshop on General Algebra, 20th Conference for Young Algebraists, March 18-20, 2005, University of Potsdam, Potsdam, Germany, pp. 75 - 76.

[5] Шириков E.H., Представления и дифференцирования жордановой плоскости, Международная алгебраическая конференция, посвящённая 100-летию со дня рождения Куроша, Москва, 2008, с. 255 - 257.

Издательство ЦПИ при механико-математическом факультете МГУ имени М. В. Ломоносова

Подписано в печать {¿¡, /¿? О Я Формат 60x90 1/16. Усл. печ. л.0,5 Тираж /ОО экз. Заказ£*/

Отпечатано с оригинал-макета на типографском оборудовании механико-математического факультета

Содержание диссертации автор исследовательской работы: кандидата физико-математических наук, Шириков, Евгений Николаевич

1 Квантовая плоскость и жорданова плоскость

1.1 Определение и общие свойства.

1.2 Классификация 2-порождённых градуированных алгебр.

1.3 Тело частных жордановой плоскости.

2 Первичный спектр и автоморфизмы жордановой плоскости

2.1 Определение и общие свойства первичных идеалов.

2.2 Некоторые леммы о многочленах.

2.3 Простые идеалы кольца многочленов от двух переменных.

2.4 Общие свойства двусторонних идеалов жордановой плоскости.

2.5 Первичный спектр жордановой плоскости над полем нулевой характеристики и классификация центральных

2-порождённых градуированнных алгебр.

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

2.7 Продолжение простого идеала центра до первичного идеала алгебры.

2.8 Автоморфизмы жордановой плоскости

2.9 Автоморфизмы конечного порядка.

3 Представления жордановой плоскости

3.1 Основные определения и общие утверждения.

3.2 Конечномерные неприводимые представления жордановой плоскости.

3.3 Бесконечномерные неприводимые представления жордановой плоскости.

3.4 Представления алгебры Вей ля.

4 Нормирования жордановой плоскости

4.1 Нормирования: определение и общие свойства

4.2 Примеры нормирований жордановой плоскости.

4.3 Абелевость нормирований жордановой плоскости.

5 Алгебра дифференцирований жордановой плоскости

5.1 Дифференцирования жордановой плоскости.

5.2 Алгебра внешних дифференцирований жордановой плоскости.

5.3 Ограниченная алгебра Ли дифференцирований жордановой плоскости.

5.4 Алгебраические дифференцирования

5.5 Косые дифференцирования.

5.6 Алгебраические косые дифференцирования.

Введение диссертация по математике, на тему "Структура жордановой плоскости"

Данная диссертация посвящена исследованию жордановон плоскости — алгебры с единицей над полем К, порождённой элементами X и У с определяющим соотношением УХ = ХУ + У2. Интерес к изучению жордановон плоскости обусловлен следующими классификационными результатами: рассмотрим ассоциативные 2-порождённые градуированные со алгебры А = 0 Ап, где Ао = К — иоле, А\ — (X, У) — линейная оболочка 0 порождающих X и У. Пусть также алгебра А не имеет делителей нуля и &\тА2 — 3. Легко видеть, что алгебра коммутативных многочленов от двух переменных У] с определяющим соотношением УХ = ХУ удовлетворяет этим условиям, так что рассматриваемые алгебры являются деформацией алгебры Щ.Х, У]. Мы доказываем (теорема 1.15, теорема 2.32), что при некоторых дополнительных ограничениях алгебра А является либо жордановой плоскостью, либо квантовой плоскостью, т.е. порождается элементами X и У с определяющим соотношением УХ — А ХУ для некоторого АеК*.

Подобные "деформированные" алгебры широко изучаются в современной математике, при этом решаются следующие задачи. Во-первых, рассматриваются классические, "кольцевые" вопросы — первичный спектр, автоморфизмы, нормирования, представления, тело частных. Здесь ключевую роль играет описание первичного спектра, что существенно упрощает решение остальных задач. Так, при описании автоморфизмов мы пользуемся тем, что любой автоморфизм "переставляет" первичные идеалы. При изучении нормирований важную роль играет идеал нормирования, который является вполне первичным идеалом. При изучении неприводимых представлений мы пользуемся тем фактом, что аннулятор неприводимого модуля всегда есть первичный идеал. С другой стороны, изучение "деформированных" алгебр важно для исследования алгебр Хопфа: а именно, подобные алгебры рассматриваются как "некоммутативные пространства", на которых алгебры Хопфа действуют [12], [16], [31], [36]. С этой точки зрения интересно описание автоморфизмов конечного порядка и алгебраических косых дифференцирований, задаваемых такими автоморфизмами. Отметим, что изучение алгебраических автоморфизмов и дифференцирований представляет и самостоятельный интерес [44].

Квантовая плоскость является частным случаем алгебры квантовых многочленов от нескольких переменных, которые определяются следующим образом: пусть К — поле и задана матрица Q — (qjj) £ Mat(n,K), п ^ 2, со следующими свойствами: qü = qtjqji = 1 Зафиксируем также целое число г, 0 ^ г ^ п. Алгеброй квантовых многочленов Л = Kçpf*1,., Х^1, Xr+i,., Хп] называется ассоциативная ЙС-алгебра с единицей, порождённая элементами Х^1,., Х^1, Хг+Ь., Хп с определяющими соотношениями XjX¡~1 = Х^Х{ = 1, / = 1,.,г, XiXj = qijXjXi, 1 ^ i,j ^ п. Для алгебр квантовых многочленов все выше означенные вопросы хорошо изучены. В лекциях К. Брауна и К. Гудёрла (Ken A. Brown, Ken A. Goodearl) [8] рассматриваются общие вопросы, связанные с квантовыми алгебрами. Первое описание автоморфизмов и дифференцирований алгебры квантовых многочленов в случае г = 0 получили Ж. Алев и М. Шамари (J. Alev, M. Chamarie) [1]. Дальнейшие результаты по изучению автоморфизмов, дифференцирований, нормирований, представлений, тела частных и действий алгебр Хопфа получены В. А. Артамоновым [2], [3], [4], [5], [26], [27], [28]. Именно поэтому — ввиду наших классификационных результатов — особенно интересно решение аналогичных задач для жордановой плоскости. Кроме того, в настоящее время широко изучаются квадратичные алгебры — алгебры, определяемые квадратичными соотношениями. Такие алгебры имеют важное значение в некоммутативной геометрии [13] и тесно связаны с козюлевыми алгебрами [20]. При изучении квадратичных алгебр всегда рассматриваются так называемые ПБВ-теоремы — вопросы о базисах Пуанкаре — Биркгофа — Витта и их обобщения [20], [30]. Насколько нам известно, жорданова плоскость так подробно ранее не изучалась, хотя и встречается в некоторых работах по некоммутативной проективной геометрии в качестве примеров [25].

Отметим некоторые работы по сходной тематике. Исторически первым примером "деформированных" колец являются кольца косых многочленов, введённые О. Ope в начале 30-х годов прошлого века [17]. И жорданова плоскость, и алгебры квантовых многочленов являются кольцами косых многочленов Ope. Далее, наряду с квантовыми многочленами одним из наиболее известных примеров квантовых алгебр являются косые лорановские ряды. Теоретико-кольцевые свойства лорановских рядов рассматриваются в работах К. И. Сонина [40], [41] и Д. А. Туганбаева [42], [43]. В работах С. А. Зеленовои [34], [35] описываются коммутативные подалгебры некоторых квантовых алгебр, в частности, алгебры квантовых многочленов и алгебры косых лорановских рядов. В работах А. Н. Панова изучается первичный спектр и тела частных широкого класса квантовых алгебр [18], [19]. В работе М. Батлер (Butler M. В.) [9] изучается первичный спектр, примитивные идеалы и неприводимые представления алгебры, порождённой над алгебраически замкнутым полем элементами rri,., хп с определяющими соотношениями XjXj = [Зц, г < j, где п > 3 и Д-j б К. В статье И. Пратона (Praton I.) [21] рассматриваются так называемые clown-up алгебры — 2-порождённые градуированные алгебры, определяемые двумя специальными однородными соотношениями третьей степени. В статье указываются необходимые и достаточные условия на коэффициенты этих соотношений, при которых down-up алгебра является нётеровой. В этом случае описываются все примитивные идеалы down-up алгебры. В работе Ф. Дюма и JI. Ригаля (Dumas F., Rigal L.) [10] рассматриваются теоретико-кольцевые свойства алгебры ö'1(М2) — жордаповой деформации алгебры регулярных функций на алгебре 2 х 2-матриц с коэфиициентами в алгебраически замкнутом поле нулевой характеристики. Отметим, что эта алгебра естественным образом кодействует на жордановой плоскости. В работе М. Брандл (Brandl M. К.) [6] рассматриваются некоторые обобщения жордановой плоскости и описываются их примитивные идеалы. Статья JL Хеллстрёма и С. Сильвестрова (Hellström L., Silvestrov S.) [24] посвящепа д-деформированным алгебрам Гейзепберга — 2-порождённым однопараметрическим алгебрам с соотношением ab — qba = 1, где g G К, 1С — поле. Далее, и квантовая плоскость, и жорданова плоскость тесно связаны с алгебрами Вейля. А именно, алгебру квантовых многочленов в случае г — п часто называют "мультипликативным аналогом" алгебры Вейля, т.к. на неё переносятся многие свойства алгебры Вейля [11], [15]. В данной работе мы показываем, что жорданова плоскость и алгебра Вейля (ранга 1) имеют одинаковое тело частных, а любое неприводимое бесконечномерное представление жордановой плоскости над полем нулевой характеристики является представлением алгебры Вейля. При этом, естественно, возникает вопрос: следует ли из неприводимости над жордановой плоскостью неприводимость над алгеброй Вейля? На сегодняшний день ответа на этот вопрос нет, однако мы строим серию неизоморфных представлений неприводимых как над жордановой плоскостью, так и над алгеброй Вейля. Отметим, что описание неприводимых модулей алгебры Вейля получепо в работах Р. Блока (Block R. Е.) [7] и В. В. Бавулы [29].

Теперь перейдём к описанию данной работы. Целью работы являлась классификация некоторых 2-порождённых градуированных алгебр и изучение первичного спектра, группы автоморфизмов, представлений, нормирований и алгебры дифференцирований жордановой плоскости. В работе получены следующие основные результаты.

1. Классифицированы некоторые градуированные 2-порождённые алгебры, которые являются естественным обобщением кольца многочленов от двух переменных.

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

Перейдём к изложению содержания работы. В параграфе 1 главы 1 описываются общие свойства квантовой плоскости и жордановой плоскости, а именно мы описываем базисы этих алгебр как линейных пространств, доказываем, что квантовая плоскость pi жордановая плоскость являются градуированными нётеровыми кольцами косых многочленов Ope. Мы также описываем центры этих алгебр и доказываем их неизоморфность. В параграфе 2 с помощью полученных результатов мы классифицируем некоторые градуированные 2-порождённые алгебры, а именно мы показываем, что изучаемый класс алгебр содержит только квантовые плоскости и жорданову плоскость. В параграфе 3 мы описываем те подкольца тела частных жордановой плоскости, которые понадобятся нам при изучении первичного спектра и нормирований.

Глава 2 посвящена первичному спектру и автоморфизмам жордановой плоскости. В параграфе 1 мы приводим определение и основные свойства первичных колец и идеалов, используемые в дальнейшем. В параграфе 2 собраны некоторые технические леммы о многочленах. В параграфе 3 приводится самая общая классификация простых идеалов кольца коммутативных многочленов от двух переменных. В параграфе 4 определяется основной инструмент исследования идеалов жордановой плоскости — минимальный многочлен идеала. Оказывается, что его вид существенно зависит от характеристики основного поля. В случае положительной характеристики мы показываем, как можно восстановить некоторые свойства идеала по его минимальному многочлену. В параграфе 5 с помощью полученных ранее результатов мы описываем первичный спектр жордановой плоскости над полем нулевой характеристики. Оказывается, в этом случаем он устроен достаточно просто. В качестве приложения полученных результатов мы классифицируем некоторые центральные 2-порождённые градуированные алгебры без делителей нуля. В случае поля - положительной характеристики спектр устроен гораздо сложнее: в параграфе 6 мы показываем, что описание первичных идеалов жордановой" плоскости над полем положительной характеристики сводится к описанию простых идеалов её центра, изоморфного кольцу многочленов от двух переменных. Для алгебр с "большим" центром традиционно рассматривается-задача о продолжении простого идеала центра до первичного идеала всей алгебры — эту задачу мы решаем в параграфе 7. Строение первичного спектра позволяет описать группу автоморфизмов жордановой плоскости: в параграфе 8 мы показываем, что вид автоморфизмов не зависит от характеристики основного поля. В случае положительной характеристики мы также описываем подгруппу автоморфизмов тождественных на центре. Отдельно — в параграфе 9 — мы описываем автоморфизмы конечного порядка над полем нулевой характеристики.

В главе 3 мы исследуем неприводимые представления жордановой плоскости над полем нулевой характеристики. В параграфе 1 собраны общие определения и утверждения о неприводимых модулях. В параграфе 2 мы, используя результаты о строении первичного спектра, описываем все конечномерные неприводимые представления. Задача описания всех неприводимых представлений, эквивалентная описанию всех максимальных односторонних идеалов, на сегодняшний день является нерешённой, однако в параграфе 3 мы строим серию неизоморфных бесконечномерных неприводимых представлений жордаповой плоскости над полем нулевой характеристики. В параграфе 4 мы показываем, что любое бесконечномерное неприводимое представление жордаповой плоскости над полем нулевой характеристики является также представлением алгебры Вейля ранга 1 и строим серию неизоморфных представлений неприводимых как над жордановой плоскостью, так и над алгеброй Вейля.

Глава 4 посвящена нормированиям жордановой плоскости. В параграфе 1, как обычно, приводятся общие утверждения, необходимые в дальнейшем. В параграфе 2 мы строим некоторые примеры нормирований жордановой плоскости. Мы определяем идеал нормирования и показываем, как нормирования связаны с первичным спектром алгебры. В параграфе 3 мы доказываем, что все нормирования жордановой плоскости над произвольным полем абелевы.

В последней, пятой главе мы изучаем алгебру дифференцирований жордановой плоскости. В параграфе 1 мы явно описываем все дифференцирования жордановой плоскости над произвольным полем. Параграф 2 является наиболее сложным с вычислительной точки зрения — здесь мы описываем алгебру внешних дифференцирований. В случае поля положительной характеристики алгебра дифференцирований является ограниченной алгеброй Ли — соответствующая операция описывается в параграфе 3. В параграфе 4 доказывается, что жорданова плоскость над полем нулевой характеристики не имеет ненулевых алгебраических дифференцирований. В параграфе 5 мы описываем некоторые косые дифференцирования жордановой плоскости. В частности, в случае нулевой характеристики все косые дифференцирования, порождённые автоморфизмами конечного порядка, являются внутренними. В параграфе 6 мы исследуем такие дифференцирования на алгебраичность.

Все результаты диссертации являются новыми. Они носят теоретический характер и могут быть полезны при изучении алгебр Хопфа и некоммутативной геометрии. Результаты диссертации неоднократно докладывались на семинаре кафедры Высшей алгебры "Кольца и модули" под руководством проф. A.B. Михалёва, на международной конференции по общей алгебре в Потсдаме [22], на международной конференции, посвящённой 65-летию проф. A.B. Михалёва, на международной алгебраической конференции, посвящённой 100-летию А.Г. Куроша [49]. По теме диссертации автором опубликовано четыре статьи [23], [46], [47], [48].

В заключение автор выражает глубокую благодарность всем, кто помогал и поддерживал его в работе над диссертацией, и прежде всего своему научному руководителю Вячеславу Александровичу Артамонову. Автор благодарит заведующего кафедрой Высшей алгебры доктора физико-математических наук, профессора Виктора Николаевича Латышева, доктора физико-математических наук, профессора Александра Васильевича Михалёва и всех сотрудников кафедры за поддержку, внимание и творческую атмосферу.

Список источников диссертации и автореферата по математике, кандидата физико-математических наук, Шириков, Евгений Николаевич, Москва

1. Alev J., Chamarie M., Derivations et automorphismes de quelques algebres quantiques. - Communications in Algebra. - 1992. - Vol. 20, N 6. - p. 1787 - 1802.

2. Artamonov V.A., Valuations on quantum fields. Communications in algebra. - 2001. - V. 29, N 9. - p. 3889 - 3904.

3. Artamonov V.A., Automorphisms and derivations of quantum polynomials. In the book: Ignacio Bajo and Esperanza Sanmartin (eds.) Recent Advances in Lie Theory v. 25. Heldermann Verlag, 2002, 109 -120.

4. Artamonov V.A. Action of Hopf algebras on generic quantum Malcev power series and quantum planes. J. Math. Sci. - 2006. - V. 134, N 1. - p. 1773 - 1798.

5. Brandl M.K., Primitive and poisson spectra of single-eigenvalue twists of polynomial algebras. Algebras and Representations Theory. - 2006. - N 9. - p. 241 - 258.

6. Block R.E., The irreducible representations of the Lie algebra sl(2) and of the Weyl algebra. Adv. Math. - 1981. - N 39. - p. 69 - 110.

7. Brown K.A., Goodearl K.A., Lectures on Algebraic Quantum Groups, Birkhauser, Basel, Boston, 2002.

8. Butler M.B., On some degenerate deformations of commutative polynomial algebras. Communications in Algebra. - 2006. - Vol. 34. - p. 1949 - 1964.

9. Dumas F., Rigal L., Prime spectrum and automorphisms for 2x2 jordanian matrices. Communications in Algebra. - 2002. - Vol. 30, N 6. - p. 2805 - 2828.

10. Jategaonkar V.A., A multiplicative analog of the Weyl algebra. Communications in Algebra. - 1984. - Vol. 14, N 12. - p. 1669 - 1688.

11. Manin Yu.I., Quantum groups and non-commutative geometry. CRM, Université de Montreal. 1988.

12. Manin Yu.I., Topics in non-commutative geometry. Princeton Univ. Press, Princetown, 1991.

13. McConnell J.C., Robson J.C., Noncommutative Noetherian Rings, John Miley& Sons, Chichester N. Y. - Birsbane - Toronto - Singapore, 1987.

14. McConnell J.C., Pettit J.J., Crossed products and multiplicative analogues of Weyl algebras. J. London Math. Soc. - 1988. - Vol. 38, N 1. - p. 47 - 55.

15. Montgomery S., Hopf Algebras and Their Actions on Rings, Amer. Math. Soc., Providence RI, 1993.

16. Ore O., Theory of non-commutative polynomials. Ann. of. Math. (2). - 1933. - Vol. 34. - p. 480 - 508.

17. Panov A.N., Stratification of prime spectrum of quantum solvable algebras. Comm. Algebra. - 2001. - vol. 29, N 9. - p. 3801 IJ- 3827.

18. Panov A.N., Fields of fractions of quantum solvable algebras. J. Algebra. - 2001. - N 236. - p. 110 y- 121.

19. Polishchuk A., Positselski L., Quadratic algebras, University lecture series, Vol. 37, 2005.

20. Praton I., Primitive ideals of Noetherian down-up algebras. Communications in Algebra. - 2004. - Vol. 32, N 2. - p. 443 - 471.

21. Shirikov E.N., Two-generated graded algebras, 69th Workshop on General Algebra, 20th Conference for Young Algebraists, March 1820, 2005, University of Potsdam, Potsdam, Germany, pp. 75 76.

22. Shirikov E.N., Two-generated graded algebras, Algebra and Discrete mathematics, 3 (2005), pp. 64 80.

23. Hellström L., Silvestrov S., Two-sided ideals ing-deformed Heisenberg algebras. Expositiones Mathematicae. - 2005. - N 23. - p. 99 - 125.

24. Stafford Л.Т., Zhang J.J., Examples in non-cominutative projective geometry. Math. Proc. Camb. Phil. Soc. - 1994. - Vol. 116. - p. 415- 433.

25. Артамонов В.А., Модули над квантовыми полиномами. Матем. заметки. - 1996. - т. 59, N 4. - с. 497 - 503.

26. Артамонов В.А., Квантовая проблема Серра. УМН. - 1998. - т. 53, N 4. - с. 3 - 76.

27. Артамонов В.А., Алгебры квантовых многочленов. Итоги науки и техн. Сер. Соврем, мат. и ее прил. Тема,т. обз. - 2002. - т. 26. - с. 5 - 34.

28. Бавула В.В., Обобщённые алгебры Вейля и их представления. -Алгебра и анализ. 1992. - т. 4, N 1. - с. 75 - 97.

29. Головашкин A.B., Максимов В.М., Алгебры косых полиномов, порождаемые квадратичными однородными соотношениями, Записки научных семинаров ПОМИ, Т. 301, 2003, С. 144 171.

30. Демидов Е.Е., Квантовые группы, Москва, Факториал,. 1998.

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

32. Желобенко Д.П., Основные структуры и методы теории представлений, Москва, Издательство МЦНМО, 2004.

33. Зеленова С.А., Коммутативные подалгебры кольца квантовых многочленов и тела квантовых лорановских рядов. Матем. сб.- 2001. т. 192, N 3. - с. 55 - 64.

34. Зеленова С.А., Коммутативные подалгебры квантовых алгебр. -Матем. заметки. 2004. - т. 75, N 2. - с. 208 - 221

35. Кассель К., Квантовые группы, Москва, ФАЗИС, 1999. (Библиотека математика. Вып. 5)

36. Кон П., Свободные кольца и их связи, Москва, Мир, 1975.

37. Ламбек И., Кольца и модули, Москва, Мир, 1971.

38. Пирс Р., Ассоциативные алгебры, Москва, Мир, 1968.

39. Сонин К.И., Регулярные кольца рядов Лорана. Фундамент, и прикл. матем. - 1995. - т. 1, N 1. - с. 315 - 317.

40. Сонин К.И., Регулярные кольца косых рядов Лорана. Фундамент, и прикл. матем. - 1995. - т. 1, N 2. - с. 565 - 568.

41. Туганбаев Д.А., Лорановские кольца. Фундамент, и прикл. матем. - 2006. - т. 12, N 3. - с. 151 - 224.

42. Туганбаев Д.А., Радикал Джекобсона и кольца рядов Лорана. -Фундамент, и прикл. матем. 2006. - т. 12, N 8. - с. 243 - 246.

43. Харченко В.К., Некоммутативная теория Галуа, Новосибирск, Научная книга, 1996.

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

45. Шириков E.H., Жорданова плоскость над полем положительной характеристики. Математические заметки. - 2007. - т. 82, N 2. -с. 272 - 292.

46. Шириков E.H., Жорданова плоскость. Фундаментальная и прикладная математика. - 2007. - т. 13, N 2. - с. 217 - 230.

47. Шириков E.H., Неприводимые модули над жордановой плоскостью над полем нулевой характеристики. Вестн. Моск. ун-та. Сер. 1, Математика. Механика. - 2009. - N 2.

48. Шириков E.H., Представления и дифференцирования жордановой плоскости, Международная алгебраическая конференция, посвящёпная 100-летию со дня рождения Куроша, Москва, 2008, с. 255 257.