Инд-схемы нильпотентного типа
Jan. 12th, 2014 05:18 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicЭто к вопросу о контрагерентных копучках контрамодулей над инд-схемой векторов Витта (многообразия в характеристике p), полубесконечной алгебраической геометрии (в нильпотентной ситуации), и т.п. -- базовая техника для этого дела развивается теперь в новом приложении D к текущей версии http://positselski.narod.ru/contrah.pdf (228 страниц сейчас).
К сожалению, это пока только локально контраприспособленные контрагерентные копучки. Как доказывать полноту необходимых "теорий кокручения" для построения контрагерентных копучков локально кокручения на инд-схемах, не являющихся нетеровыми формальными схемами, по-прежнему неизвестно. Не говоря уже об инд-схемах ненильпотентного типа, о возможностях разумного определения контрагерентных копучков контрамодулей на которых неизвестно совсем ничего.
К сожалению, это пока только локально контраприспособленные контрагерентные копучки. Как доказывать полноту необходимых "теорий кокручения" для построения контрагерентных копучков локально кокручения на инд-схемах, не являющихся нетеровыми формальными схемами, по-прежнему неизвестно. Не говоря уже об инд-схемах ненильпотентного типа, о возможностях разумного определения контрагерентных копучков контрамодулей на которых неизвестно совсем ничего.
