Функциональный анализ и его приложения 2005, т. 39, вып. 2, с. 47-60 УДК 512.66 Козюлевы алгебры и их идеалы * c 2005. Д. И. Пионтковский
ВведениеГрадуированная порожденная в первой степени ассоциативная алгебра R над полем k называется козюлевой 1) , если k как R-модуль обладает линейной сво-бодной резольвентой. R-модуль M R называется козюлевым, если он также об-ладает линейной свободной резольвентой.Мы изучаем здесь алгебры с более сильным свойством, чем козюлевость: грубо говоря, это алгебры, у которых много циклических козюлевых модулей. Коммутативные алгебры с аналогичными свойствами (так называемые алгебры c козюлевыми фильтрациями) изучались в ряде работ [1][2][3][4][5][6]. Здесь рассматри-вается некоммутативная версия этого понятия.Циклический правый R-модуль M = R/J козюлев в том и только том слу-чае, когда его идеал соотношений J порожден линейными формами и является козюлевым модулем. Это означает, что вместо циклических козюлевых моду-лей можно изучать порожденные в первой степени козюлевы идеалы. Цепочкупорожденных линейными формами, назовем козюлевым флагом, если каждый идеал I j является козюлевым модулем. Каждая алгебра R, обладающая козю-левым флагом, козюлева, и все козюлевы алгебры наиболее важного класса -PBW-алгебры (или алгебры Пуанкаре-Биркгофа-Витта [7]) -содержат козю-левы флаги (теорема 1.4).В случае когда алгебра R коммутативнa, известна конструкция, которая поз-воляет найти в этой алгебре козюлев флаг (и доказать тем самым, что она козюлева): эта конструкция называется козюлевой фильтрацией. Это понятие введено и изучено в ряде статей Конки и др. [1,2,4]. Показано, в частности, что многие квадратичные алгебры, естественным образом возникающие в алгебра-ической геометрии (такие, как координатные кольца канонических вложений общих проективных кривых и проективных вложений абелевых многообразий), содержат козюлевы фильтрации. Главная цель данной статьи -обобщить эту теорию на некоммутативные алгебры.Итак, множество F правых идеалов в R, порожденных линейными формами, называется козюлевой фильтрацией, если 0 ∈ F, R ∈ F и для любого идеала 0 = I ∈ F существуют I = J ∈ F, x ∈ R 1 , такие, что I = J + xR и идеал * Работа выполнена при частичной поддержке Российского фонда фундаментальных ис-следований, проект 02-01-00468.1) В русской литературе также встречается название кошулева алгебра, происходящее от другой транскрипции фамилии французского математика Ж. Л. Козюля (J. L. Koszul).