![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicПусть f: A → B -- морфизм CDG-колец. Тогда DG-функтор ограничения скаляров Rf: B-mod → A-mod индуцирует триангулированные функторы между ко- и контрапроизводными категориями CDG-модулей IcoRf: Dco(B-mod) → Dco(A-mod) и IctrRf: Dctr(B-mod) → Dctr(A-mod).
Когда существуют функторы, сопряженные слева или справа к IcoRf и IctrRf ? На уровне DG-категорий или гомотопических категорий CDG-модулей, существуют оба функтора. Функтор расширения скаляров Ef, сопряженный слева к функтору Rf, сопоставляет CDG-модулю M над CDG-кольцом A CDG-модуль B ⊗A M над CDG-кольцом B. Функтор корасширения скаляров Ef, сопряженный справа к функтору Rf, сопоставляет CDG-модулю M над CDG-кольцом A CDG-модуль HomA(B,M) над CDG-кольцом B. Вопрос состоит, таким образом, в том, при каких условиях функторы расширения и/или корасширения скаляров имеют производные функторы, действующие между ко- или контрапроизводными категориями CDG-модулей над A и B.
Чтобы построить контрапроизводный функтор расширения скаляров LctrEf: Dctr(A-mod) → Dctr(B-mod), достаточно отождествить контрапроизводную категорию Dctr(A-mod) с гомотопической категорией градуированно-проективных CDG-модулей H0(A-modproj) и ограничить функтор Ef с H0(A-mod) на H0(A-modproj). Таким образом, левый контрапроизводный функтор расширения скаляров LctrEf существует всегда, когда контрапроизводная категория CDG-модулей над A эквивалентна гомотопической категории градуированно-проективных CDG-модулей (если пользоваться моим определением контрапроизводной категории) или вообще всегда (если пользоваться определением Х.Б.)
Чтобы построить контрапроизводный функтор корасширения скаляров RctrEf: Dctr(A-mod) → Dctr(B-mod), предположим, что градуированное кольцо B является проективным градуированным левым A-модулем. Тогда, как очевидно, функтор непроизводного корасширения скаляров Ef переводит контраацикличные CDG-модули над A (как в смысле моего определения, так и в смысле определения Х.Б.) в контраацикличные CDG-модули над B, так что имеется индуцированный триангулированный функтор, который, наверное, правильнее было бы обозначить через IctrEf: Dctr(A-mod) → Dctr(B-mod).
Аналогично, чтобы построить копроизводный функтор корасширения скаляров RcoEf: Dco(A-mod) → Dco(B-mod), достаточно отождествить копроизводную категорию Dco(A-mod) с гомотопической категорией градуированно-инъективных CDG-модулей H0(A-modinj) и ограничить функтор Ef с H0(A-mod) на H0(A-modinj). Таким образом, правый копроизводный функтор корасширения скаляров RcoEf существует всегда, когда копроизводная категория CDG-модулей над A эквивалентна гомотопической категории градуированно-инъективных CDG-модулей (если пользоваться моим определением копроизводной категории) или вообще всегда (если пользоваться определением Х.Б.)
Чтобы построить копроизводный функтор расширения скаляров LcoEf: Dco(A-mod) → Dco(B-mod), предположим, что градуированное кольцо B является плоскиым градуированным правым A-модулем. Тогда функтор непроизводного расширения скаляров Ef переводит коацикличные CDG-модули над A (как в смысле моего определения, так и в смысле определения Х.Б.) в коацикличные CDG-модули над B, так что имеется индуцированный триангулированный функтор, который, наверное, правильнее было бы обозначить через IcoEf: Dco(A-mod) → Dco(B-mod).
Когда существуют функторы, сопряженные слева или справа к IcoRf и IctrRf ? На уровне DG-категорий или гомотопических категорий CDG-модулей, существуют оба функтора. Функтор расширения скаляров Ef, сопряженный слева к функтору Rf, сопоставляет CDG-модулю M над CDG-кольцом A CDG-модуль B ⊗A M над CDG-кольцом B. Функтор корасширения скаляров Ef, сопряженный справа к функтору Rf, сопоставляет CDG-модулю M над CDG-кольцом A CDG-модуль HomA(B,M) над CDG-кольцом B. Вопрос состоит, таким образом, в том, при каких условиях функторы расширения и/или корасширения скаляров имеют производные функторы, действующие между ко- или контрапроизводными категориями CDG-модулей над A и B.
Чтобы построить контрапроизводный функтор расширения скаляров LctrEf: Dctr(A-mod) → Dctr(B-mod), достаточно отождествить контрапроизводную категорию Dctr(A-mod) с гомотопической категорией градуированно-проективных CDG-модулей H0(A-modproj) и ограничить функтор Ef с H0(A-mod) на H0(A-modproj). Таким образом, левый контрапроизводный функтор расширения скаляров LctrEf существует всегда, когда контрапроизводная категория CDG-модулей над A эквивалентна гомотопической категории градуированно-проективных CDG-модулей (если пользоваться моим определением контрапроизводной категории) или вообще всегда (если пользоваться определением Х.Б.)
Чтобы построить контрапроизводный функтор корасширения скаляров RctrEf: Dctr(A-mod) → Dctr(B-mod), предположим, что градуированное кольцо B является проективным градуированным левым A-модулем. Тогда, как очевидно, функтор непроизводного корасширения скаляров Ef переводит контраацикличные CDG-модули над A (как в смысле моего определения, так и в смысле определения Х.Б.) в контраацикличные CDG-модули над B, так что имеется индуцированный триангулированный функтор, который, наверное, правильнее было бы обозначить через IctrEf: Dctr(A-mod) → Dctr(B-mod).
Аналогично, чтобы построить копроизводный функтор корасширения скаляров RcoEf: Dco(A-mod) → Dco(B-mod), достаточно отождествить копроизводную категорию Dco(A-mod) с гомотопической категорией градуированно-инъективных CDG-модулей H0(A-modinj) и ограничить функтор Ef с H0(A-mod) на H0(A-modinj). Таким образом, правый копроизводный функтор корасширения скаляров RcoEf существует всегда, когда копроизводная категория CDG-модулей над A эквивалентна гомотопической категории градуированно-инъективных CDG-модулей (если пользоваться моим определением копроизводной категории) или вообще всегда (если пользоваться определением Х.Б.)
Чтобы построить копроизводный функтор расширения скаляров LcoEf: Dco(A-mod) → Dco(B-mod), предположим, что градуированное кольцо B является плоскиым градуированным правым A-модулем. Тогда функтор непроизводного расширения скаляров Ef переводит коацикличные CDG-модули над A (как в смысле моего определения, так и в смысле определения Х.Б.) в коацикличные CDG-модули над B, так что имеется индуцированный триангулированный функтор, который, наверное, правильнее было бы обозначить через IcoEf: Dco(A-mod) → Dco(B-mod).
