Умножения Масси и кошулевость
Feb. 15th, 2010 04:12 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicИзвестная задача -- пусть есть неотрицательно градуированное кольцо, нулевая компонента которого не полупроста, а остальные компоненты не являются плоскими модулями над нулевой компонентой, ни с какой стороны. Что значит, что такое кольцо кошулево?
Вот возможный подход к этой задаче. Пусть есть категория, похожая на категорию градуированных модулей над неотрицательно градуированным кольцом. Пусть сначала нулевая компонента этого кольца полупроста. Этот класс категорий легко определить абстрактно как абелевы категории G с полупростыми подкатегориями Gi, такими что G порождается Gi с помощью расширений, причем Hom'ов между разными Gi нет, а все первые Ext'ы между Gi идут в одну сторону. В этом случае все Ext'ы между объектами Gi получаются из первых Ext'ов c помощью операций Масси.
Отсюда должно следовать, в частности, что если первые Ext'ы из Gi в Gj бывают только при j-i=1, а вторые -- только при j-i=2, и если алгебра диагональных Extj-i(Gi,Gj) кошулева, то все Ext'ы из Gi в Gj лежат на диагонали. Обычный способ доказывать это утверждение состоит в том, чтобы описать G как категорию градуированных комодулей над градуированной коалгеброй и воспользоваться обычными результатами о квадратичной двойственности между градуированными алгебрами и коалгебрами. Хорошо было бы, в самом деле, уметь доказывать то же самое, исходя из свойств операций Масси.
Следующий шаг состоит в том, чтобы ослабить условия на категорию G, заменив абелевость на точность, а полупростоту на тривиальность точной структуры. Скажем, пусть Gi -- категории конечно-порожденных проективных модулей над кольцом R, и предположим для простоты наличие автоморфизма/автоэквивалентности категории G, сдвигающей Gi. Тогда Extn(R,R(n)) образуют неотрицательно градуированное кольцо с нулевой компонентой R. Какие условия надо наложить на это кольцо, чтобы отсутствие внедиагональных Ext1 и Ext2 влекло отсутствие и высших Ext'ов вне диагонали?
Вот возможный подход к этой задаче. Пусть есть категория, похожая на категорию градуированных модулей над неотрицательно градуированным кольцом. Пусть сначала нулевая компонента этого кольца полупроста. Этот класс категорий легко определить абстрактно как абелевы категории G с полупростыми подкатегориями Gi, такими что G порождается Gi с помощью расширений, причем Hom'ов между разными Gi нет, а все первые Ext'ы между Gi идут в одну сторону. В этом случае все Ext'ы между объектами Gi получаются из первых Ext'ов c помощью операций Масси.
Отсюда должно следовать, в частности, что если первые Ext'ы из Gi в Gj бывают только при j-i=1, а вторые -- только при j-i=2, и если алгебра диагональных Extj-i(Gi,Gj) кошулева, то все Ext'ы из Gi в Gj лежат на диагонали. Обычный способ доказывать это утверждение состоит в том, чтобы описать G как категорию градуированных комодулей над градуированной коалгеброй и воспользоваться обычными результатами о квадратичной двойственности между градуированными алгебрами и коалгебрами. Хорошо было бы, в самом деле, уметь доказывать то же самое, исходя из свойств операций Масси.
Следующий шаг состоит в том, чтобы ослабить условия на категорию G, заменив абелевость на точность, а полупростоту на тривиальность точной структуры. Скажем, пусть Gi -- категории конечно-порожденных проективных модулей над кольцом R, и предположим для простоты наличие автоморфизма/автоэквивалентности категории G, сдвигающей Gi. Тогда Extn(R,R(n)) образуют неотрицательно градуированное кольцо с нулевой компонентой R. Какие условия надо наложить на это кольцо, чтобы отсутствие внедиагональных Ext1 и Ext2 влекло отсутствие и высших Ext'ов вне диагонали?
