![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicПродолжение постинга http://posic.livejournal.com/1168127.html
Лемма 3. Для любого коммутативного кольца R с конечно-порожденным идеалом I, ограничение функтора ΔI на полную подкатегорию плоских R-модулей F является точным функтором, изоморфным функтору I-адического пополнения F → projlimn F/InF.
Доказательство: из явной конструкции функтора ΔI видно, что на всей категории R-модулей он изоморфен функтору, переводящему произвольный R-модуль M в R-модуль H0HomR(Tel(R,s),M), где s=(sj) -- обозначение для выбранного набора образующих идеала I и Tel(R,s) -- конечный комплекс бесконечно-порожденных свободных R-модулей из работы [PSY], квазиизоморфный комплексу Cs(R) = C(R) из первого постинга этой серии. Изоморфизм H0HomR(Tel(R,s),F) = projlimn F/InF для плоских R-модулей F следует из вычисления (2) в доказательстве [PSY, Theorem 5.21], а точность функтора F → projlimn F/InF на категории плоских R-модулей очевидна (см. напр. [PSY, Lemma 3.5]).
Лемма 4. Если конечно-порожденный идеал I в коммутативном кольце R прорегулярен (в частности, если кольцо R нетерово), то точный справа функтор ΔI: R-mod → R-modI-contra имеет конечную гомологическую размерность, не превышающую минимального числа образующих идеала I.
Доказательство: согласно [PSY, Theorem 5.21], в этих предположениях комплекс HomR(Tel(R,s),F) не имеет когомологий с ненулевыми номерами для любого плоского R-модуля F. Тогда для любого R-модуля M комплекс HomR(Tel(R,s),M) вычисляет левый производный функтор LΔI(M) [PSY, Corollaries 5.25, 5.27].
Лемма 5. Если идеал I прорегулярен, то производный функтор функтора ΔI отображает I-контрамодули в себя, т.е. ΔI(P) = P и LiΔI(P) = 0 для любого R-модуля P, являющегося I-контрамодулем.
Доказательство: все члены обоих комплексов по две стороны квазиизоморфизма Tel(R,s) → Cs(R) имеют то свойство, что функторы ExtRi с ненулевыми номерами i > 0 из них во все R-контрамодули зануляются, так что комплексы HomR(Tel(R,s),P) и HomR(Cs(R),P) квазиизоморфны. Далее, все члены ядра морфизма комплексов Cs(R) → R имеют то свойство, что функторы ExtRi со всеми номерами из них во все R-контрамодули зануляются, так что комплекс HomR(Cs(R),P) квазиизоморфен P.
Следствие 2. Если идеал I прорегулярен, то для любого символа * = b, +, −, ∅, abs+, abs−, co, или abs, триангулированный функтор D*(R-modI-contra) → D*(R-mod), индуцированный функтором вложения абелевых категорий R-modI-contra → R-mod, является вполне строгим.
Доказательство такое же, как у следствия 1 из первого постинга этой серии. В случае нетерова кольца R и производных категорий с символами b или −, утверждение следует из результатов разделов B.8-B.10 препринта "Weakly curved ..." (см. также раздел C.5 препринта "Contraherent cosheaves").
В общем случае, рассмотрим в R-mod полную подкатегорию R-modI-contra-adj, состоящую из всех объектов M, на которых зануляются высшие производные функторы функтора ΔI. Полная подкатегория R-modI-contra-adj ⊂ R-mod замкнута относительно расширений, ядер сюръекций, и бесконечных произведений; и всякий R-модуль допускает конечную левую резольвенту равномерно ограниченной длины, составленную из объектов R-modI-contra-adj. Таким образом, для любого символа * из нашего списка естественный функтор D*(R-modI-contra-adj) → D*(R-mod) является эквивалентностью триангулированных категорий.
Используя комплексы объектов из R-modI-contra-adj в качестве резольвент, можно построить левый производный функтор функтора ΔI, действующий из категории D*(R-mod) в категорию D*(R-modI-contra). Этот функтор сопряжен справа к интересующему нас функтору D*(R-modI-contra) → D*(R-mod). Далее, точная подкатегория R-modI-contra-adj содержит абелеву подкатегорию R-modI-contra ⊂ R-mod, так что композиция сопряженных функторов D*(R-modI-contra) → D*(R-mod) → D*(R-modI-contra) изоморфна тождественному функтору. Желаемая полная строгость отсюда немедленно следует.
Следствие 3. Если идеал I прорегулярен, то для любого символа * = b, +, − или ∅ образ функтора D*(R-modI-contra) → D*(R-mod) совпадает с полной подкатегорией в D*(R-mod), состоящей из всех комплексов с модулями когомологий, принадлежащими R-modI-contra.
Доказательство: в одну сторону вложение очевидно, ввиду абелевости категории R-modI-contra, а в другую доказывается тем же way-out argument, основанным на конечности гомологической размерности функтора ΔI, что и [PSY, Corollary 4.32].
Лемма 3. Для любого коммутативного кольца R с конечно-порожденным идеалом I, ограничение функтора ΔI на полную подкатегорию плоских R-модулей F является точным функтором, изоморфным функтору I-адического пополнения F → projlimn F/InF.
Доказательство: из явной конструкции функтора ΔI видно, что на всей категории R-модулей он изоморфен функтору, переводящему произвольный R-модуль M в R-модуль H0HomR(Tel(R,s),M), где s=(sj) -- обозначение для выбранного набора образующих идеала I и Tel(R,s) -- конечный комплекс бесконечно-порожденных свободных R-модулей из работы [PSY], квазиизоморфный комплексу Cs(R) = C(R) из первого постинга этой серии. Изоморфизм H0HomR(Tel(R,s),F) = projlimn F/InF для плоских R-модулей F следует из вычисления (2) в доказательстве [PSY, Theorem 5.21], а точность функтора F → projlimn F/InF на категории плоских R-модулей очевидна (см. напр. [PSY, Lemma 3.5]).
Лемма 4. Если конечно-порожденный идеал I в коммутативном кольце R прорегулярен (в частности, если кольцо R нетерово), то точный справа функтор ΔI: R-mod → R-modI-contra имеет конечную гомологическую размерность, не превышающую минимального числа образующих идеала I.
Доказательство: согласно [PSY, Theorem 5.21], в этих предположениях комплекс HomR(Tel(R,s),F) не имеет когомологий с ненулевыми номерами для любого плоского R-модуля F. Тогда для любого R-модуля M комплекс HomR(Tel(R,s),M) вычисляет левый производный функтор LΔI(M) [PSY, Corollaries 5.25, 5.27].
Лемма 5. Если идеал I прорегулярен, то производный функтор функтора ΔI отображает I-контрамодули в себя, т.е. ΔI(P) = P и LiΔI(P) = 0 для любого R-модуля P, являющегося I-контрамодулем.
Доказательство: все члены обоих комплексов по две стороны квазиизоморфизма Tel(R,s) → Cs(R) имеют то свойство, что функторы ExtRi с ненулевыми номерами i > 0 из них во все R-контрамодули зануляются, так что комплексы HomR(Tel(R,s),P) и HomR(Cs(R),P) квазиизоморфны. Далее, все члены ядра морфизма комплексов Cs(R) → R имеют то свойство, что функторы ExtRi со всеми номерами из них во все R-контрамодули зануляются, так что комплекс HomR(Cs(R),P) квазиизоморфен P.
Следствие 2. Если идеал I прорегулярен, то для любого символа * = b, +, −, ∅, abs+, abs−, co, или abs, триангулированный функтор D*(R-modI-contra) → D*(R-mod), индуцированный функтором вложения абелевых категорий R-modI-contra → R-mod, является вполне строгим.
Доказательство такое же, как у следствия 1 из первого постинга этой серии. В случае нетерова кольца R и производных категорий с символами b или −, утверждение следует из результатов разделов B.8-B.10 препринта "Weakly curved ..." (см. также раздел C.5 препринта "Contraherent cosheaves").
В общем случае, рассмотрим в R-mod полную подкатегорию R-modI-contra-adj, состоящую из всех объектов M, на которых зануляются высшие производные функторы функтора ΔI. Полная подкатегория R-modI-contra-adj ⊂ R-mod замкнута относительно расширений, ядер сюръекций, и бесконечных произведений; и всякий R-модуль допускает конечную левую резольвенту равномерно ограниченной длины, составленную из объектов R-modI-contra-adj. Таким образом, для любого символа * из нашего списка естественный функтор D*(R-modI-contra-adj) → D*(R-mod) является эквивалентностью триангулированных категорий.
Используя комплексы объектов из R-modI-contra-adj в качестве резольвент, можно построить левый производный функтор функтора ΔI, действующий из категории D*(R-mod) в категорию D*(R-modI-contra). Этот функтор сопряжен справа к интересующему нас функтору D*(R-modI-contra) → D*(R-mod). Далее, точная подкатегория R-modI-contra-adj содержит абелеву подкатегорию R-modI-contra ⊂ R-mod, так что композиция сопряженных функторов D*(R-modI-contra) → D*(R-mod) → D*(R-modI-contra) изоморфна тождественному функтору. Желаемая полная строгость отсюда немедленно следует.
Следствие 3. Если идеал I прорегулярен, то для любого символа * = b, +, − или ∅ образ функтора D*(R-modI-contra) → D*(R-mod) совпадает с полной подкатегорией в D*(R-mod), состоящей из всех комплексов с модулями когомологий, принадлежащими R-modI-contra.
Доказательство: в одну сторону вложение очевидно, ввиду абелевости категории R-modI-contra, а в другую доказывается тем же way-out argument, основанным на конечности гомологической размерности функтора ΔI, что и [PSY, Corollary 4.32].
