Ряды Гильберта и гомологии градуированных алгебр

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

Мы будем называть векторное пространство над основным полем к, ассоциативную ¿—алгебру или модуль над ней градуированными, если они 2±градуированы и конечномерны в каждой компоненте. За исключением специально оговоренных случаев, все алгебры, модули и векторные пространства ниже градуированы. Для такого пространства V (в частности, алгебры или модуля) через У{х) обозначим его ряд Гильберта X] сНтКж®— для множества однородных элементов, а? V через «>о а (х) обозначим производящую функция множества а: если, а содержит элементов степени г, то а (х) = X). 0.

Градуированная алгебра, А = Ао ® А ф. называется связной, если ее нулевая компонента Ао одномернасвязная алгебра называется стандартной, если она порождена компонентой Иногда мы также будем называть связными алгебры без единицы, градуированные в положительных степенях: такие случаи специально оговариваются. Неравенства между рядами Гильберта понимаются покоэффициентно, то есть агх1 >^г тогда и только тогда, когда а- > 6, — для всех г > 0.

В классической коммутативной алгебре важную роль играет теорема, называемая критерием полных пересечений. Всякой последовательности элементов локального или градуированного коммутативного кольца, А ставится в соответствие свободная дифференциально-градуированная супералгебра над ним (комплекс Козюля). Критерий полных пересечений гласит, что последовательность регулярна тогда и только тогда, когда комплекс Козюля ацикличен, то есть составляет минимальную резольвенту для факторкольца, А по идеалу, порожденному этой последовательностью элементов [5]. Последовательность регулярна, если каждый следующий ее элемент — не делитель нуля по модулю предыдущихдля градуированной алгебры, А это условие равносильно тому, что среди всех факторов по идеалам, порожденным однородными элементами с одной и той же последовательностью степеней, ряд Гильберта факторалгебры по регулярной последовательности минимален (т. е. размерность каждой градуированной компоненты наименьшая из возможных) [25].

Как алгебра, комплекс Козюля изоморфен внешней алгебре над А. Используя технику резольвенты Тэйта [26], несложно обобщить такую конструкцию на случай коммутативной супералгебры, А (это было проделано Т. Юзефьяком [23]). Соответствующий аналог комплекса Козюля по-прежнему является свободной дифференциально градуированной алгеброй над А, однако теперь ее порождающие могут быть как нечетными, так и четными элементами — в зависимости от четности соответствующих элементов последовательности. Определение регулярной последовательности несколько изменяется, однако критерий полных пересечений остается верным: регулярность последовательности равносильна ацикличности комплекса Козюля и минимальности ряда Гильберта.

Аналог комплекса Козюля для произвольной ассоциативной алгебры над полем был построен в [8] и носит название комплекса Шафаревича. Соответствующий аналог регулярной последовательности — это введенное Д. Аником понятие сильно свободного [16], или инертного [19], множества: множество однородных элементов ассоциативной алгебры, А называется сильно свободным (инертным), если, во-первых, оно составляет систему свободных образующих для порожденной им подалгебры, и, во-вторых, А как градуированное пространство изоморфна свободному произведению этой подалгебры и соответствующей факторалгебры.

Это определение легко перевести на язык рядов Гильберта. Пусть, А —^{-алгебра,} I < А — однородный собственный двусторонний идеал, минимальным образом порожденный некоторым множеством однородных элементов, а С А, и В — А/1. Пусть С = В * к (а), где звездочка обозначает свободное произведение алгебр, к (а) — свободная алгебра.

Очевидно, имеет место неравенство рядов Гильберта.

С (х) > А (х),.

0.1) причем равенство выполняется тогда и только тогда, когда множество, а сильно свободно. Таким образом, сильно свободные множества естественным образом возникают при рассмотрении следующго вопроса: какова связь между рядами Гильберта алгебр, А и В и рядом а (х)? Мы подробно исследуем эту связь в Главе 1, где получим и другие характе-ризации сильно свободных множеств.

Как следует из результатов [16], свойства множества, а быть сильно свободным равносильно ацикличности комплекса Шафаревича, а соответствующее неравенство для рядов Гильберта тесно связано с теоремой Голода-Шафаревича [8] (см. Главу 1 ниже). Отметим, что, как показал Е. С. Голод [7], комплекс Шафаревича обладает многими замечательными гомологическими свойствами, как аналогичными известным результатам Тэйта-Ассмуса (см. [26], [21]), так и не имеющими аналогов в коммутативном случае.

Для случая градуированной супералгебры Ли теорема, аналогичная критерию полных пересечений, была получена С. Гальпериным и Ж.-М. Лемэром [22]. Аналогом регулярной последовательности служит инертное множество — подмножество градуированной алгебры Ли L, образ которого в универсальной обертывающей является инертным множеством в смысле Аника. Аналог комплекса Козюля для множества р градуированных элементов из L — дифференциально градуированная алгебра Ли, полученная из L добавлением новых свободных порождающих, четность которых противоположна четности соответствующих элементов множества р. Над полем характеристики нуль ацикличность такого комплекса равносильна тому, что множество р инертно. При этом для любого множества р ряд Гильберта алгебры, А покоэффици-ентно меньше или равен ряда Гильберта алгебры, равной свободному произведению (в категории супералгебр Ли) свободной супералгебры Ли, порожденной /?, и соответствующей факторалгебры: равенство равносильно тому, что р инертно. Краткий список таких результатов, обобщающих коммутативные конструкции на суперкоммутативный, ассоциативный и лиев случаи, объединены ниже в Теореме 2.5. Как ассоциативный, так и лиев варианты инертных множеств оказались полезными в алгебраической топологии, а также в теории групп (см. [16], [22], [19]).

Рассмотренные случаи коммутативных, ассоциативных и лиевых алгебр объединены тем, что все эти классы являются многообразиями алгебр с полиномиальными тождествами. В этой связи возникает вопрос: можно ли построить аналог комплекса Козюля для произвольного многообразия алгебр? Такой комплекс был построен (для многообразия ассоциативных алгебр при условии, что, А относительно свободна) A.A. Бо-яркиным [3]. В то время еще не были введены восходящие к работе А. Р. Кемера [11] многообразия супералгебр, и алгебраическая структура на этом комплексе определяется таким образом, чтобы идеал соотношений такой алгебры («кососвободной») был дифференциальным идеалом. Впрочем, как будет показано ниже (Лемма 2.1), эта супералгебра является относительно свободной и в обычном смысле. Связь ацикличности такого комплекса с деформациями и расширениями PI-алгебр исследовалась A.A. Бояркиным, в частности, в [4]. Такая конструкция позволяет определить комплекс Шафаревича для произвольного многообразия W (над полем нулевой характеристики). С его помощью удается доказать аналог критерия полных пересечений для произвольного многообразия W (см. раздел 2.3).

Тем не менее, дальнейшее обобщение классических результатов коммутативной алгебры, касающихся комплекса Козюля, провести не удается. Одно из основных, по-видимому, припятствий на этом пути состоит в отсутствии для свободных произведений в многообразиях аналога формулы Кюннета для гомологий тензорного произведения дифференциально градуированных алгебр [14]. «Коммутативное» доказательство, которое легко переносится на случай многообразия всех ассоциативных алгебр (с заменой тензорного произведения на обычное свободное произведение алгебр), не проходит в других многообразиях ассоциативных алгебр по следующей причине. В диссертации показано, что ни в каком другом многообразии ассоциативных алгебр, кроме Сот, Assh Vect, ряд Гильберта свободного произведения не определяется рядами Гильберта сомножителей.

Этот факт предствляет интерес и в связи со следующими естественными вопросами. Недавно А. Я. Белов доказал, что во всяком таком многообразии W ряд Гильберта алгебры Fw (X) для конечного X рационален [2]. Между тем, в многообразиях Vect, Сот и Ass справедливо и более сильное утверждение. А именно, для этих многообразий известны формулы, рационально выражающие ряд Гильберта алгебры w.

A * В через ряды Гильберта алгебр, А ж В (мы предполагаем, что А, В алгебры без единицы): точнее, если a (t) = A (t) + 1, b (t) = B (t) + 1, w c (t) — (A * В)(i) + l, то для лежащих в соответствующих многообразиях алгебр, А ж В имеем.

AV%ct В = А®В, c (t) = a (i) + b (t) — 1,.

АСТ В = А®Я, c{t) = a (t) ¦ b (t),.

111 А * В = AU В, — = 4- + -f- - 1. c (i) a (i) 6(i).

В связи с этим возникают вопросы: существуют ли многообразия, в которых ряд Гильберта свободного произведения алгебр определяется рядами Гильберта сомножителей? Существуют ли многообразия, в которых это так, если один из сомножителей — свободная алгебра? Как показывается в Главе 3, ответ на оба вопроса для всякого многообразия W, кроме трех перечисленных, отрицателен: тем самым, на этом пути упомянутая теорема А. Я. Белова является наиболее сильным результатом.

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

1) Описана связь между оценками Е. С. Голода и И. Р. Шафаревича, В. Е. Говорова, Д. Аника на число соотношений в градуированных алгебрах и ряды Гильберта этих алгебр (Теорема 1.7, Теорема 1.16), и получены новые такие оценки (Теорема 1.16, Предложение 1.15).

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

3) Доказано, что проблема распознавания экспоненты роста конечно определенных ассоциативных алгебр по заданным образующим и соотношениям алгоритмически неразрешима (Теорема 1.17, Теорема 1.21).

4) Для произвольного многообразия (не) ассоциативных Р1-алгебр получен аналог критерия полных пересечений (Теорема 2.7), связывающий ряды Гильберта алгебр с их гомологическими свойствами.

5) Даны формулы для рядов Гильберта четных и нечетных частей некоторых относительно свободных супералгебр (Следствие 2.9), а также свободных специальных йордановых супералгебр (Следствие 2.13).

6) Построена система примеров, показывающая, что ни в каком многообразии ассоциативных Рi-алгебр, кроме Vect, Сот, Ass, ряд Гильберта свободного произведения не определяется рядом Гильберта сомножителей — даже в случае, когда один из сомножителей является относительно свободной алгеброй (Теорема 3.6).

Работа организована следующим образом.

1. А. З. Ананьин, А. Р. Кемер, Многообразия ассоциативных алгебр, решетки подмногообразий которых дистрибутивны, Сибирский матем. журнал, XV1. (1976), 4, с. 723−730.

2. А. Я. Белов, О рациональности рядов Гильберта относительно свободных алгебр, Успехи мат. наук, 52 (1997), 2, с. 153−154.

3. A.A. Бояркин, Деформации и когомологии в многообразиях алгебр, Диссертация на соискание ученой степени к. ф.-м. н., М., 1977.

4. A.A. Бояркин, Расширения PI-алгебр, Мат. заметки, 40 (1986), 6, с. 705−712.

5. Н. Бурбаки, Гомологическая алгебра, Новосибирск, «Наука», 1987.

6. В. Е. Говоров, О градуированных алгебрах, Мат. заметки, 12 (1972), 2, с. 197−204.

7. Е. С. Голод, Некоммутативные полные пересечения и гомологии комплекса Шафаревича, Успехи мат. наук, 52 (1997), 4, с. 201−202.

8. Е. С. Голод, И. Р. Шафаревич, О башне полей классов, Изв. АН СССР, Сер. матем., 28 (1964), 2, с. 261−272.

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

10. А. Р. Кемер, Замечание о стандартном тождестве, Мат. заметки, 23 (1978), 5, с. 753−75 712.

11. В. А. Уфнаровский, Комбинаторные и асимптотические методы в алгебре, Современная математика и её приложения, 57 (1990), с. 5−17 716.