![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicВот типичная задача, косвенно (а может, и прямо) относящаяся к программе, намеченной в предыдущем постинге. Пусть C -- квазикогерентный пучок коколец над квазикогерентной алгеброй A над схемой X. Как бы определить классы (слабо) C/A-инъективных и локально копроективных квазикогерентных C-комодулей?
Скажем, пусть X -- аффинная схема и M -- квазикогерентный С-комодуль. Пусть X покрыта аффинными открытыми подсхемами U так, что M(U) является C(U)/A(U)-инъективным (или C(U)-копроективным) для всех U. Верно ли, что M(X) является C(X)/A(X)-инъективным (или C(X)-копроективным)?
Скажем, пусть X -- аффинная схема и M -- квазикогерентный С-комодуль. Пусть X покрыта аффинными открытыми подсхемами U так, что M(U) является C(U)/A(U)-инъективным (или C(U)-копроективным) для всех U. Верно ли, что M(X) является C(X)/A(X)-инъективным (или C(X)-копроективным)?
