![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicПусть кокольцо C над кольцом A является плоским левым и правым C-комодулем, а кольцо A имеет конечную слабую гомологическую размерность. Отметим прежде всего, что в точной категории C-контрамодулей A-кокручения достаточно много проективных объектов, каковыми являются прямые слагаемые C-контрамодулей, индуцированных с плоских A-модулей кокручения. Аналогично, в абелевой категории C-комодулей достаточно много инъективных объектов, которыми являются прямые слагаемые C-комодулей, коиндуцированных с инъективных A-модулей.
Теорема (ср. Semimodules, Theorem 5.3): для любого левого C-комодуля C-кокручения M, левый C-контрамодуль ΨC(M) является C/A-проективным C-контрамодулем A-кокручения. Для любого C/A-проективного левого С-контрамодуля A-кокручения P, левый C-комодуль ΦC(P) является C-комодулем C-кокручения. Функторы ΨC и ΦC, ограниченные на соответствующие подкатегории в категориях C-комодулей и C-контрамодулей, являются взаимно-обратными эквивалентностями между точными категориями левых C-комодулей C-кокручения и C/A-проективных левых C-контрамодулей A-кокручения.
Доказательство: отметим прежде всего, что функтор M → ΨC(M) = HomC(C,M) переводит точные последовательности левых C-комодулей C-кокручения в точные последовательности абелевых групп, т.к. C является A-плоским левым C-комодулем. Аналогично, функтор P → ΦC(P) = C ⊙C P переводит точные последовательности C/A-проективных левых C-контрамодулей A-кокручения в точные последовательности абелевых групп, т.к. HomZ(C ⊙C P, Q/Z) = HomC(P, HomZ(C,Q/Z)) и левый C-контрамодуль HomZ(C,Q/Z) A-инъективен (поскольку C -- плоский правый A-модуль).
Из сказанного видно, что достаточно было бы показать, что всякий C-комодуль C-кокручения является прямым слагаемым конечно итерированного расширения C-комодулей, коиндуцированных с A-модулей кокручения, а всякий C/A-проективный C-контрамодуль A-кокручения является прямым слагаемым конечно итерированного расширения C-контрамодулей A-кокручения, индуцированный с A-модулей кокручения. Это можно сделать с помощью конструкции, представляющей собой упрощенный и в чем-то лучший вариант моих обычных конструкций резольвент (почерпнуто в статье Eklof, Trlifaj "How to make Ext vanish", вторая половина доказательства теоремы 10, откуда стоит ссылка на Salce "Cotorsion theories for abelian groups", 1979, Lemma 2.2).
Пусть имеется левый C-комодуль M; вложим его в инъективный C-комодуль J (скажем, просто C-комодуль, коиндуцированный с инъективного A-модуля), и представим факторкомодуль J/M в виде факторкомодуля A-плоского C-комодуля P по С-комодулю K, являющемуся конечно итерированным расширением C-комодулей, коиндуцированных с A-модулей кокручения. Тогда расслоенное произведение L комодулей J и P над K является расширением J с помощью K, т.е., тоже конечно итерированным расширением комодулей, коиндуцированных с A-модулей кокручения. Если теперь M является C-комодулем С-кокручения, то расширение P с помощью M, каковым является L, расщепляется, т.е. M -- прямое слагаемое L.
Аналогично, пусть имеется левый C-контрамодуль A-кокручения P; представим его в виде фактоконтрамодуля С-контрамодуля F, индуцированного с плоского A-модуля кокручения, по C-подконтрамодулю A-кокручения K. Вложим K допустимым мономорфизмом в A-инъективный C-контрамодуль J так, чтобы факторконтрамодуль Q был конечно итерированным расширением C-контрамодулей, индуцированных с A-модулей кокручения. Тогда расслоенное копроизведение L допустимых мономорфизмов K → F и K → J, будучи расширением Q с помощью F, является конечно итерированным расширением контрамодулей, индуцированных с A-модулей кокручения. Если теперь P является C/A-проективным C-контрамодулем A-кокручения, то расширение P с помощью J, каковым является L, расщепляется, т.е. P -- прямое слагаемое L.
Альтернативное доказательство в русле рассуждения из книжки про полумодули: прежде всего, всякий C-комодуль С-кокручения M имеет конечную инъективную размерность в абелевой категории C-комодулей (посчитать ExtC(L,M) для произвольного C-комодуля L в терминах A-плоской левой резольвенты комодуля L, конечной ввиду конечности слабой гомологической размерности A). Аналогично, всякий C/A-проективный C-контрамодуль A-кокручения P имеет конечную проективную размерность в точной категории C-контрамодулей A-кокручения (посчитать ExtC(P,Q) для произвольного C-контрамодуля A-кокручения Q в терминах A-инъективной правой резольвенты контрамодуля Q, конечной ввиду конечности гомологической размерности категории A-модулей кокручения).
Пусть теперь M -- C-комодуль кокручения; выберем ему конечную резольвенту J из инъективных C-комодулей. Поскольку инъективные комодули являются комодулями кокручения и класс комодулей кокручения замкнут относительно перехода к коядрам вложений, ацикличный комплекс M → J составлен из точных троек C-комодулей кокручения. Поэтому функтор ΨC преобразует его в ацикличный комплекс C-контрамодулей, из которых все, кроме, м.б., ΨC(M), являются C/A-проективными C-контрамодулями A-кокручения. Поскольку, кроме того, функтор ΨC преобразует C-комодули C-кокручения в C-контрамодули A-кокручения, все A-модули циклов в этом комплексе С-контрамодулей являются A-модулями кокручения.
Поскольку класс C/A-проективных C-контрамодулей A-кокручения замкнут относительно перехода к ядрам сюръекций, являющимся A-модулями кокручения, наш комплекс контрамодулей ΨC(M) → ΨC(J) состоит из точных троек C/A-проективных C-контрамодулей A-кокручения и, в частности, ΨC(M) является таким контрамодулем. Применяя теперь функтор ΦC, получаем ацикличный комплекс C-комодулей ΦCΨC(M→J) вместе с естественным отображением комплексов C-комодулей ΦCΨC(M→J) → (M→J). Поскольку последнее отображение является изоморфизмом на членах J, оно является изоморфизмом и на M.
Аналогично, пусть P -- C/A-проективный C-контрамодуль A-кокручения, и пусть F → P -- его конечная проективная резольвента в точной категории C-контрамодулей A-кокручения. Поскольку класс C/A-проективных C-контрамодулей A-кокручения содержит проективные объекты в категории C-контрамодулей A-кокручения и закнут относительно перехода к ядрам сюръекций, являющимся C-контрамодулями A-кокручения, ацикличный комплекс F → P составлен из точных троек C/A-проективных C-контрамодулей A-кокручения. Поэтому функтор ΦC преобразует его в ацикличный комплекс C-комодулей, из которых все, кроме, м.б., ΦC(P), являются C-комодулями С-кокручения.
Поскольку класс C-комодулей C-кокручения замкнут относительно перехода к коядрам вложений, отсюда следует, что комплекс ΦC(F) → ΦC(P) составлен из точных троек C-комодулей C-кокручения, и в частности, ΦC(P) является таким комодулем. Применяя теперь функтор ΨC, получаем ацикличный комплекс С-контрамодулей ΨCΦC(F→P) вместе с естественным отображением комплексов C-контрамодулей (F→P) → ΨCΦC(F→P). Поскольку последнее отображение является изоморфизмом на членах F, оно является изоморфизмом и на P.
Теорема (ср. Semimodules, Theorem 5.3): для любого левого C-комодуля C-кокручения M, левый C-контрамодуль ΨC(M) является C/A-проективным C-контрамодулем A-кокручения. Для любого C/A-проективного левого С-контрамодуля A-кокручения P, левый C-комодуль ΦC(P) является C-комодулем C-кокручения. Функторы ΨC и ΦC, ограниченные на соответствующие подкатегории в категориях C-комодулей и C-контрамодулей, являются взаимно-обратными эквивалентностями между точными категориями левых C-комодулей C-кокручения и C/A-проективных левых C-контрамодулей A-кокручения.
Доказательство: отметим прежде всего, что функтор M → ΨC(M) = HomC(C,M) переводит точные последовательности левых C-комодулей C-кокручения в точные последовательности абелевых групп, т.к. C является A-плоским левым C-комодулем. Аналогично, функтор P → ΦC(P) = C ⊙C P переводит точные последовательности C/A-проективных левых C-контрамодулей A-кокручения в точные последовательности абелевых групп, т.к. HomZ(C ⊙C P, Q/Z) = HomC(P, HomZ(C,Q/Z)) и левый C-контрамодуль HomZ(C,Q/Z) A-инъективен (поскольку C -- плоский правый A-модуль).
Из сказанного видно, что достаточно было бы показать, что всякий C-комодуль C-кокручения является прямым слагаемым конечно итерированного расширения C-комодулей, коиндуцированных с A-модулей кокручения, а всякий C/A-проективный C-контрамодуль A-кокручения является прямым слагаемым конечно итерированного расширения C-контрамодулей A-кокручения, индуцированный с A-модулей кокручения. Это можно сделать с помощью конструкции, представляющей собой упрощенный и в чем-то лучший вариант моих обычных конструкций резольвент (почерпнуто в статье Eklof, Trlifaj "How to make Ext vanish", вторая половина доказательства теоремы 10, откуда стоит ссылка на Salce "Cotorsion theories for abelian groups", 1979, Lemma 2.2).
Пусть имеется левый C-комодуль M; вложим его в инъективный C-комодуль J (скажем, просто C-комодуль, коиндуцированный с инъективного A-модуля), и представим факторкомодуль J/M в виде факторкомодуля A-плоского C-комодуля P по С-комодулю K, являющемуся конечно итерированным расширением C-комодулей, коиндуцированных с A-модулей кокручения. Тогда расслоенное произведение L комодулей J и P над K является расширением J с помощью K, т.е., тоже конечно итерированным расширением комодулей, коиндуцированных с A-модулей кокручения. Если теперь M является C-комодулем С-кокручения, то расширение P с помощью M, каковым является L, расщепляется, т.е. M -- прямое слагаемое L.
Аналогично, пусть имеется левый C-контрамодуль A-кокручения P; представим его в виде фактоконтрамодуля С-контрамодуля F, индуцированного с плоского A-модуля кокручения, по C-подконтрамодулю A-кокручения K. Вложим K допустимым мономорфизмом в A-инъективный C-контрамодуль J так, чтобы факторконтрамодуль Q был конечно итерированным расширением C-контрамодулей, индуцированных с A-модулей кокручения. Тогда расслоенное копроизведение L допустимых мономорфизмов K → F и K → J, будучи расширением Q с помощью F, является конечно итерированным расширением контрамодулей, индуцированных с A-модулей кокручения. Если теперь P является C/A-проективным C-контрамодулем A-кокручения, то расширение P с помощью J, каковым является L, расщепляется, т.е. P -- прямое слагаемое L.
Альтернативное доказательство в русле рассуждения из книжки про полумодули: прежде всего, всякий C-комодуль С-кокручения M имеет конечную инъективную размерность в абелевой категории C-комодулей (посчитать ExtC(L,M) для произвольного C-комодуля L в терминах A-плоской левой резольвенты комодуля L, конечной ввиду конечности слабой гомологической размерности A). Аналогично, всякий C/A-проективный C-контрамодуль A-кокручения P имеет конечную проективную размерность в точной категории C-контрамодулей A-кокручения (посчитать ExtC(P,Q) для произвольного C-контрамодуля A-кокручения Q в терминах A-инъективной правой резольвенты контрамодуля Q, конечной ввиду конечности гомологической размерности категории A-модулей кокручения).
Пусть теперь M -- C-комодуль кокручения; выберем ему конечную резольвенту J из инъективных C-комодулей. Поскольку инъективные комодули являются комодулями кокручения и класс комодулей кокручения замкнут относительно перехода к коядрам вложений, ацикличный комплекс M → J составлен из точных троек C-комодулей кокручения. Поэтому функтор ΨC преобразует его в ацикличный комплекс C-контрамодулей, из которых все, кроме, м.б., ΨC(M), являются C/A-проективными C-контрамодулями A-кокручения. Поскольку, кроме того, функтор ΨC преобразует C-комодули C-кокручения в C-контрамодули A-кокручения, все A-модули циклов в этом комплексе С-контрамодулей являются A-модулями кокручения.
Поскольку класс C/A-проективных C-контрамодулей A-кокручения замкнут относительно перехода к ядрам сюръекций, являющимся A-модулями кокручения, наш комплекс контрамодулей ΨC(M) → ΨC(J) состоит из точных троек C/A-проективных C-контрамодулей A-кокручения и, в частности, ΨC(M) является таким контрамодулем. Применяя теперь функтор ΦC, получаем ацикличный комплекс C-комодулей ΦCΨC(M→J) вместе с естественным отображением комплексов C-комодулей ΦCΨC(M→J) → (M→J). Поскольку последнее отображение является изоморфизмом на членах J, оно является изоморфизмом и на M.
Аналогично, пусть P -- C/A-проективный C-контрамодуль A-кокручения, и пусть F → P -- его конечная проективная резольвента в точной категории C-контрамодулей A-кокручения. Поскольку класс C/A-проективных C-контрамодулей A-кокручения содержит проективные объекты в категории C-контрамодулей A-кокручения и закнут относительно перехода к ядрам сюръекций, являющимся C-контрамодулями A-кокручения, ацикличный комплекс F → P составлен из точных троек C/A-проективных C-контрамодулей A-кокручения. Поэтому функтор ΦC преобразует его в ацикличный комплекс C-комодулей, из которых все, кроме, м.б., ΦC(P), являются C-комодулями С-кокручения.
Поскольку класс C-комодулей C-кокручения замкнут относительно перехода к коядрам вложений, отсюда следует, что комплекс ΦC(F) → ΦC(P) составлен из точных троек C-комодулей C-кокручения, и в частности, ΦC(P) является таким комодулем. Применяя теперь функтор ΨC, получаем ацикличный комплекс С-контрамодулей ΨCΦC(F→P) вместе с естественным отображением комплексов C-контрамодулей (F→P) → ΨCΦC(F→P). Поскольку последнее отображение является изоморфизмом на членах F, оно является изоморфизмом и на P.
