Инд-схемы нильпотентного типа Это к вопросу о контрагерентных копучках контрамодулей над инд-схемой векторов Витта (многообразия в характеристике p), полубесконечной алгебраической геометрии (в нильпотентной ситуации), и т.п. -- базовая техника для этого дела развивается теперь в новом приложении D к текущей версии
http://positselski.narod.ru/contrah.pdf (228 страниц сейчас).
К сожалению, это пока только локально контраприспособленные контрагерентные копучки. Как доказывать полноту необходимых "теорий кокручения" для построения контрагерентных копучков локально кокручения на инд-схемах, не являющихся нетеровыми формальными схемами, по-прежнему неизвестно. Не говоря уже об инд-схемах ненильпотентного типа, о возможностях разумного определения контрагерентных копучков контрамодулей на которых неизвестно совсем ничего.