Текущий статус копучковой деятельности
Apr. 27th, 2012 11:26 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicСейчас у меня эта наука находится в состоянии, примерно соответствующем состоянию полубесконечной деятельности где-то между 2000 и 2002 годами. Ясно, что подход имеет смысл и в принципе работает, какие-то разумные утверждения доказываются; но на пути к доказательствам основных результатов в их желательной общности лежат технические препятствия, которые совершенно непонятно, как преодолевать.
Надо бы написать в ближайшие месяцы текст с построением той части теории, которую сейчас кажется возможным построить (что будет примерно соответствовать письмам 2002 года, только хорошо бы на этот раз это были не письма, а препринт); а дальше, скорее всего, придется отложить это дело в долгий ящик вплоть до появления новых идей, позволяющих преодолеть препятствия.
Конкретнее, ситуация выглядит так, что
- для аффинных нетеровых формальных схем теория построена;
- для нетеровых схем теория строится;
- для нетеровых формальных схем теория пока что не строится.
Надо бы написать в ближайшие месяцы текст с построением той части теории, которую сейчас кажется возможным построить (что будет примерно соответствовать письмам 2002 года, только хорошо бы на этот раз это были не письма, а препринт); а дальше, скорее всего, придется отложить это дело в долгий ящик вплоть до появления новых идей, позволяющих преодолеть препятствия.
Конкретнее, ситуация выглядит так, что
- для аффинных нетеровых формальных схем теория построена;
- для нетеровых схем теория строится;
- для нетеровых формальных схем теория пока что не строится.
