Контракогерентные копучки
Apr. 7th, 2012 01:08 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicОпределение: модуль M над коммутативным кольцом R называется контраприспособленным относительно элемента r ∈ R, если для любой последовательности элементов mi ∈ M, i ≥ 0, найдется (не единственная!) последовательность элементов ni ∈ M, такая что ni = mi + r ni+1 для всех i ≥ 0.
Попросту это значит, что ExtR1(R[r−1], M) = 0. Например, если r действует в M нулевым или обратимым оператором, то M r-контраприспособлен. R-модуль M называется контраприспособленным, если он контраприспособлен относительно любого элемента r ∈ R.
Пусть R → S -- морфизм коммутативных колец, такой, что индуцированное отображение спектров является открытым вложением аффинных схем. Тогда ExtRn(S,M) = 0 для всех n > 0, если R-модуль M контраприспособлен. Кроме того, в этом случае N = HomR(S,M) является контраприспособленным S-модулем.
Контраприспособленные R-модули образуют в абелевой категории R-модулей точную подкатегорию, замкнутую относительно расширений и бесконечных произведений, и содержащую вместе с любым R-модулем все его фактормодули. Инъективные R-модули контраприспособлены. Всякий R-модуль имеет двучленную правую резольвенту из контраприспособленных R-модулей.
Контракогерентным копучком F на схеме X называется следующий набор данных. Каждой аффинной открытой подсхеме Spec R = U ⊂ X должен быть сопоставлен контраприcпособленный R-модуль F(U). Каждой паре вложенных открытых аффинных подсхем Spec S = V ⊂ Spec R = U ⊂ X должен быть сопоставлен изоморфизм S-модулей F(V) ≅ HomR(S,F(U)). (Заметим, что тогда имеется естественное отображение коограничения F(V) → F(U); отсюда "копучки".)
Похоже, что контракогерентные копучки на схеме образуют точную категорию с точными функторами бесконечных произведений. В случае аффинной схемы X = Spec R это просто точная категория контраприспособленных R-модулей. Таким образом, мы получили частичное решение этой задачи -- http://posic.livejournal.com/290276.html
Далее, R-модуль M называется r-контрамодулем, если для любой последовательности mi ∈ M, как выше, последовательность ni, как выше, не только существует, но и единственна. Пусть I ⊂ M -- идеал; будем называть (R,I)-контрамодулем такой R-модуль, который является r-контраприспособленным для всех r ∈ R и r-контрамодулем для всех r ∈ I.
Будем предполагать, что R -- нетерово кольцо. Тогда из второго условия следует, что на M есть естественная структура модуля над пополнением R по идеалу I. В частности, если идеал I максимальный, то все r ∈ R∖I действуют на M обратимыми операторами, так что второе условие влечет первое.
Склейкой-глобализацией понятия (R,I)-контрамодуля должно получаться понятие контракогерентного копучка над нетеровой формальной схемой.
Задача: для любой нетеровой формальной схемы X, построить эквивалентность между контрапроизводной категорией контракогерентных копучков и копроизводной категорией квазикогерентных дискретных пучков (кручения) на X.
Попросту это значит, что ExtR1(R[r−1], M) = 0. Например, если r действует в M нулевым или обратимым оператором, то M r-контраприспособлен. R-модуль M называется контраприспособленным, если он контраприспособлен относительно любого элемента r ∈ R.
Пусть R → S -- морфизм коммутативных колец, такой, что индуцированное отображение спектров является открытым вложением аффинных схем. Тогда ExtRn(S,M) = 0 для всех n > 0, если R-модуль M контраприспособлен. Кроме того, в этом случае N = HomR(S,M) является контраприспособленным S-модулем.
Контраприспособленные R-модули образуют в абелевой категории R-модулей точную подкатегорию, замкнутую относительно расширений и бесконечных произведений, и содержащую вместе с любым R-модулем все его фактормодули. Инъективные R-модули контраприспособлены. Всякий R-модуль имеет двучленную правую резольвенту из контраприспособленных R-модулей.
Контракогерентным копучком F на схеме X называется следующий набор данных. Каждой аффинной открытой подсхеме Spec R = U ⊂ X должен быть сопоставлен контраприcпособленный R-модуль F(U). Каждой паре вложенных открытых аффинных подсхем Spec S = V ⊂ Spec R = U ⊂ X должен быть сопоставлен изоморфизм S-модулей F(V) ≅ HomR(S,F(U)). (Заметим, что тогда имеется естественное отображение коограничения F(V) → F(U); отсюда "копучки".)
Похоже, что контракогерентные копучки на схеме образуют точную категорию с точными функторами бесконечных произведений. В случае аффинной схемы X = Spec R это просто точная категория контраприспособленных R-модулей. Таким образом, мы получили частичное решение этой задачи -- http://posic.livejournal.com/290276.html
Далее, R-модуль M называется r-контрамодулем, если для любой последовательности mi ∈ M, как выше, последовательность ni, как выше, не только существует, но и единственна. Пусть I ⊂ M -- идеал; будем называть (R,I)-контрамодулем такой R-модуль, который является r-контраприспособленным для всех r ∈ R и r-контрамодулем для всех r ∈ I.
Будем предполагать, что R -- нетерово кольцо. Тогда из второго условия следует, что на M есть естественная структура модуля над пополнением R по идеалу I. В частности, если идеал I максимальный, то все r ∈ R∖I действуют на M обратимыми операторами, так что второе условие влечет первое.
Склейкой-глобализацией понятия (R,I)-контрамодуля должно получаться понятие контракогерентного копучка над нетеровой формальной схемой.
Задача: для любой нетеровой формальной схемы X, построить эквивалентность между контрапроизводной категорией контракогерентных копучков и копроизводной категорией квазикогерентных дискретных пучков (кручения) на X.
