![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicI. Присоединенная градуированная категория
1. Конструкция прис. град. кат-ии [как локализации-факторизации категории бифильтрованных объектов] [а бифильтрованные объекты в терминах фильтрованных объектов суть просто диаграммы U <- V <- U(-1) <- V(-1), такие что последовательность присоединенных факторов расщепимо точна]
2. Структура точной категории на п.г.к. [та же техника расслоенных (ко)произведений, что в предыдущем пункте]
3. Конструкция дифференциала в точной последовательности [ExtG*(gr-,gr-) как левый или правый модуль над ExtF*(-,-) индуцирован с HomG(gr-,gr-) как модуля над HomF(-,-)]
4. Проверка точности этой последовательности [достаточно проверять фрагмент, составленный из Ext0 и Ext1]
II. Кошулевость для градуированной категории
1. Квадратичность диагональных Ext'ов
2. Конструкция точной категории по диагональным Ext'ам
3. Конструкция спуска базы
4. Общий (абсолютный) случай
5. Плоский случай
III. Триангулированный функтор реализации и категории фильтрованных объектов [вспомнить]
IV. Что значит все же эта кошулевость для простого циклического расширения полей? Что значит в этом случае квадратичность, хотя бы? Или порожденность первой компонентой? [В одну сторону, там должна вытекать теорема Гильберта 90 для милноровских K-групп как по модулю l, так и с целыми коэффициентами (хоть эти Гильберты-90 и выглядят по-разному -- потому что для K1 они выглядят по-разному), как мне помнится. В другую сторону, нужно рассмотреть интересующую алгебру как модуль над милноровской алгеброй базового поля по модулю l, так ее кошулевость и будет вытекать из знакомых гипотез.]
См. также http://posic.livejournal.com/359900.html (подзамок)
+ Если E -- точная категория и F -- точная категория фильтрованных объектов из E с точными тройками, расщепимыми на присоединенных факторах по фильтрации, то Ext'ы в F между сдвигами объектов из Е, рассматриваемых как сосредоточенные в каком-то одном куске фильтрации, описываются формулами, как в гипотезе Б.-Л. Другими словами, "большое кольцо" Ext'ов между всеми объектами любой (малой) точной категории кошулево.
1. Конструкция прис. град. кат-ии [как локализации-факторизации категории бифильтрованных объектов] [а бифильтрованные объекты в терминах фильтрованных объектов суть просто диаграммы U <- V <- U(-1) <- V(-1), такие что последовательность присоединенных факторов расщепимо точна]
2. Структура точной категории на п.г.к. [та же техника расслоенных (ко)произведений, что в предыдущем пункте]
3. Конструкция дифференциала в точной последовательности [ExtG*(gr-,gr-) как левый или правый модуль над ExtF*(-,-) индуцирован с HomG(gr-,gr-) как модуля над HomF(-,-)]
4. Проверка точности этой последовательности [достаточно проверять фрагмент, составленный из Ext0 и Ext1]
II. Кошулевость для градуированной категории
1. Квадратичность диагональных Ext'ов
2. Конструкция точной категории по диагональным Ext'ам
3. Конструкция спуска базы
4. Общий (абсолютный) случай
5. Плоский случай
III. Триангулированный функтор реализации и категории фильтрованных объектов [вспомнить]
IV. Что значит все же эта кошулевость для простого циклического расширения полей? Что значит в этом случае квадратичность, хотя бы? Или порожденность первой компонентой? [В одну сторону, там должна вытекать теорема Гильберта 90 для милноровских K-групп как по модулю l, так и с целыми коэффициентами (хоть эти Гильберты-90 и выглядят по-разному -- потому что для K1 они выглядят по-разному), как мне помнится. В другую сторону, нужно рассмотреть интересующую алгебру как модуль над милноровской алгеброй базового поля по модулю l, так ее кошулевость и будет вытекать из знакомых гипотез.]
См. также http://posic.livejournal.com/359900.html (подзамок)
+ Если E -- точная категория и F -- точная категория фильтрованных объектов из E с точными тройками, расщепимыми на присоединенных факторах по фильтрации, то Ext'ы в F между сдвигами объектов из Е, рассматриваемых как сосредоточенные в каком-то одном куске фильтрации, описываются формулами, как в гипотезе Б.-Л. Другими словами, "большое кольцо" Ext'ов между всеми объектами любой (малой) точной категории кошулево.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2010-02-27 06:35 pm (UTC)Какова природа сих сомнений?
no subject
Date: 2010-02-27 06:37 pm (UTC)Вы как-то очень просто все описываете - там посложнее д.б.:)
no subject
Date: 2010-02-27 06:52 pm (UTC)Теперь у вас есть триангулированная категория и в ней внутри порождающая ее точная категория. Это такое обобщение ситуации с (ограниченной) t-структурой, со случая абелевой подкатегории на случай точной подкатегории. Как изложено в статье Саши про производные категории превратных пучков, в такой ситуации должен быть функтор из производной категории от точной категории в триангулированную категорию (у Саши абелева подкатегория, конечно, но будем надеяться, что это обобщается). Там нужно использовать, что у нас триангулированная категория алгебраического происхождения.
Наконец, вопрос в том, почему этот функтор сравнения -- эквивалентность категорий. Это вопрос о том, является ли изоморфизмом естественное отображение из Ext'ов по Ионеде в точной категории в Hom(X,Y[n]) в триангулированной категории. Это и есть вопрос о K(π,1)-гипотезе. В данном случае, он упирается в кошулевость. То есть, чтобы получить сформулированный ответ для мотивов Тейта, скажем, нужно предполагать кошулевость алгебры Милнора поля по модулю l (если поле содержит корень l-й степени из единицы).