Ну, вроде все получилось
Mar. 29th, 2013 09:36 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
И вот вам (если я ничего не упустил) готовое определение контрагерентного копучка контрамодулей над инд-нетеровой инд-схемой нильпотентного типа. В смысле, инд-схемой, представимой счетной направленной индуктивной системой нетеровых схем и их замкнутых вложений, индуцирующих изоморфизмы максимальных приведенных подсхем.
Только условие локального кокручения на такие контрамодули непонятно пока, как накладывать. Хорошей теории плоских контрамодулей и контрамодулей кокручения нет у меня в этой общности, только теория очень плоских и контраприспособленных контрамодулей теперь появилась.
Интересно, что к концу мая прошлого года ситуация была обратной: для формальных схем была теория плоских контрамодулей и контрамодулей кокручения, а теории очень плоских и контраприспособленных контрамодулей не было. Нынешний виток этой спирали противоположно направлен по сравнению с предыдущим. Вот за этим я и таскаю с собой все свои контрагерентно-копучковые теории всегда в двух вариантах -- никогда не угадаешь, какой из них лучше сработает в очередной ситуации.
И еще: это разумный объект -- инд-нетерова инд-схема нильпотентного типа? В смысле -- всякая ли вещь, имеющая такой вид локально в топологии Зарисского, является таковой глобально? (Для формальных схем это очевидно, поскольку есть каноническое представление в виде прямого предела замкнутых подсхем, связанных с убывающей фильтрацией степенями нильрадикала.) Есть ли здесь место для естественного обобщения?
Только условие локального кокручения на такие контрамодули непонятно пока, как накладывать. Хорошей теории плоских контрамодулей и контрамодулей кокручения нет у меня в этой общности, только теория очень плоских и контраприспособленных контрамодулей теперь появилась.
Интересно, что к концу мая прошлого года ситуация была обратной: для формальных схем была теория плоских контрамодулей и контрамодулей кокручения, а теории очень плоских и контраприспособленных контрамодулей не было. Нынешний виток этой спирали противоположно направлен по сравнению с предыдущим. Вот за этим я и таскаю с собой все свои контрагерентно-копучковые теории всегда в двух вариантах -- никогда не угадаешь, какой из них лучше сработает в очередной ситуации.
И еще: это разумный объект -- инд-нетерова инд-схема нильпотентного типа? В смысле -- всякая ли вещь, имеющая такой вид локально в топологии Зарисского, является таковой глобально? (Для формальных схем это очевидно, поскольку есть каноническое представление в виде прямого предела замкнутых подсхем, связанных с убывающей фильтрацией степенями нильрадикала.) Есть ли здесь место для естественного обобщения?
no subject
Date: 2013-03-29 06:18 pm (UTC)no subject
Date: 2013-03-29 06:56 pm (UTC)Вы берете, грубо говоря, ножницы и вырезаете из плоскости очень тонкую (бесконечно тонкую) полоску вокруг нарисованной кривой. Или, наоборот, берете эту кривую y2 = x3 и вырезаете из нее очень короткий интервал вокруг особой точки (0,0). Вот эта бесконечно тонкая полоска или бесконечно короткий интервальчик -- и есть ваша формальная схема.
На уровне формул, это будет выглядеть так: имеются переменные x, y, и разность y2 − x3 бесконечно мала (это как бы полоска). Или, наоборот, y2 в точности равно x3, но сами переменные x и y бесконечно малы (это как бы интервальчик вокруг возвратной точки на кривой).
А инд-схема нильпотентного типа -- это, в сравнении с описанным выше, как если бы бесконечно малых переменных стало бесконечно много, и одна другой меньше. Скажем, имеются x1, x2, ... до бесконечности, все xn бесконечно малы, и еще к тому же при возрастании n они бесконечно убывают каждая следующая по сравнению с предыдущими (со временем).
Так что, скажем, выражение x1 + 2x12 + 6x13 + 24x14 + 120x15 + ... имеет смысл (это такой способ сказать, что x1 бесконечно мала), и еще к тому же выражение x1 + 2x2 + 6x3 + 24x4 + 120x5 + ... имеет смысл (это такой способ сказать, что xn eventually становятся все меньше и меньше, с ростом n).
no subject
Date: 2013-03-29 09:22 pm (UTC)no subject
Date: 2013-03-29 09:58 pm (UTC)no subject
Date: 2013-03-29 10:02 pm (UTC)