Зачем контрагерентные копучки?
Apr. 10th, 2012 10:10 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicВот именно для того, чтобы обобщить результаты последней серии постингов про ко-контра соответствие со случая аффинных на произвольные нетеровы формальные схемы (с дуализирующими комплексами).
На самом деле, если смотреть на вещи оптимистически, можно надеяться иметь даже две глобализации понятия контрамодуля. Условно говоря, контраплоские контракогерентные пучки -- http://posic.livejournal.com/713074.html и контрагерентные копучки кокручения -- http://posic.livejournal.com/771746.html
И ко-контра соответствие, в идеале, связывало бы все три категории (абсолютную производную категорию контраплоских пучков, контрапроизводную категорию копучков кокручения и копроизводную категорию обычных квазикогерентных пучков кручения). Что-нибудь в этом роде.
И еще отдельно есть абелева категория когерентных пучков на нетеровой формальной схеме, да? Которую хотелось бы как-то во все перечисленное засунуть.
На самом деле, если смотреть на вещи оптимистически, можно надеяться иметь даже две глобализации понятия контрамодуля. Условно говоря, контраплоские контракогерентные пучки -- http://posic.livejournal.com/713074.html и контрагерентные копучки кокручения -- http://posic.livejournal.com/771746.html
И ко-контра соответствие, в идеале, связывало бы все три категории (абсолютную производную категорию контраплоских пучков, контрапроизводную категорию копучков кокручения и копроизводную категорию обычных квазикогерентных пучков кручения). Что-нибудь в этом роде.
И еще отдельно есть абелева категория когерентных пучков на нетеровой формальной схеме, да? Которую хотелось бы как-то во все перечисленное засунуть.
