Контрагерентные копучки на проективном пространстве
Нельзя ли в духе Серра описать точную категорию контрагерентных копучков на Pⁿ как факторкатегорию абелевой категории градуированных модулей над многочленами, скажем, по абелевой подкатегории градуированных контрамодулей над степенными рядами?

Пока что мне кажется, что ядро функтора ограничения контрагерентных копучков с векторного/аффинного пространства на дополнение к точке 0 очень похоже на категорию контрамодулей над степенными рядами (которые функции на формальной окрестности этой точки). Что именно это, в сущности, доказано в приложении B к 1202.2697.