http://posic.livejournal.com/1102817.html и далее по ссылкам
Попросту, мутная философия из предыдущего постинга означает следующее. Эквивалентность между обычными производными категориями квазикогерентных пучков кручения и контрагерентных копучков на формальном пополнении Z нетеровой схемы X вдоль ее замкнутой подсхемы Y задается функторами контратензорного произведения с и контрагерентных гомоморфизмов из конечного комплекса пучков кручения на Z -- образа пучка OX при правом производном функторе перехода к максимальному подпучку, сосредоточенному теоретико-множественно на Y, или, лучше сказать, являющемуся пучком кручения на Z. На языке формул, этот комплекс называется iZ! OX = ind-limn iYn! OX -- прямой предел по инфинитезимальным утолщениям Y внутри X экстраординарных производных ограничений структурного пучка схемы X на эти замкнутые подсхемы.
(Продолжение следует.)
Продолжение серии постингов Другие новости от posic.livejournal.com
Реклама на проекте
Комментарии (0)