12:39p |
Конечно порожденные CDG-модули компактно порождают копроизводную категорию CDG-кольца, подлежащее градуированное кольцо которого нетерово. Совсем несложное доказательство этого мне прислал письмом сегодня Дима А.
В частности, если подлежащее градуированное кольцо CDG-кольца B нетерово конечной гомологической размерности, то CDG-модули, проективные и конечно порожденные как градуированные модули, компактно порождают абсолютную производную категорию CDG-модулей.
Сей факт, между прочим, может представлять интерес для науки про матричные факторизации и Ландау-Гинзбурга.
Ужасно приятно, что у моей работы есть такие внимательные читатели, не говоря о том, что это важное продвижение. |