[personal profile] posic
1. Пусть X -- нетерова схема, F -- квазикогерентный пучок на X. Что значит условие, что F является вялым (как пучок абелевых групп)? Отметим, что всякий инъективный пучок на нетеровой схеме вял, но обратное неверно, судя по тому, что прямые образы квазикогерентных пучков при морфизмах схем сохраняют вялость, но не сохраняют инъективность (если морфизм схем не плоский).

2. Пусть B -- квазикогерентная алгебра над нетеровой схемой X; предположим, что сама B тоже нетерова слева, т.е. кольцо B(U) нетерово слева для любого открытого аффинного подмножества U⊂X (эквивалентно, категория квазикогерентных левых B-модулей локально нетерова). Верно ли, что инъективные объекты в категории квазикогерентных левых B-модулей являются также инъективными объектами в категории произвольных пучков левых B-модулей? В случае, когда B = OX, это известный факт (для нетеровой схемы).

Date: 2011-07-17 06:41 pm (UTC)
From: [identity profile] v99grey.livejournal.com
А какая, кстати, ссылка на 2) B=O_X?

Date: 2011-07-23 11:31 am (UTC)
From: [identity profile] posic.livejournal.com
Hartshorne "Residues and Duality", Chapter II, Theorem 7.18

Profile

Leonid Positselski

February 2026

S M T W T F S
1 2 34 567
891011121314
15161718192021
22232425262728

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Feb. 6th, 2026 09:06 am
Powered by Dreamwidth Studios