Very flatness conjecture

Let R be a commutative Noetherian ring and S a finitely generated commutative R-algebra. Assume that S is a flat R-module. Then S is a very flat R-module.

It seems that we now know how to prove this more than three year old conjecture of mine, though the argument is rather involved.

К предыдущему

Это доказательство гипотезы про очень плоские морфизмы (если оно действительно проходит -- и мне пока что кажется, что оно действительно проходит) представляется, между прочим, примером эффективности "гротендиковского подхода" к решению математических задач -- строй теорию вокруг задачи, и со временем она сама решится.

В практическом плане, в последнее время я пользуюсь таким рецептом, который могу всем рекомендовать. Подбирается набор взаимосвязанных технических понятий, свойства которых хотелось бы изучить. Формулируются естественные утверждения, говорящие о том, что эти понятия хорошо ведут себя в тех или иных контекстах -- в общем, то, чем хотелось бы иметь возможность пользоваться, когда с этими понятиями работаешь. Получается набор лемм, которые ты пытаешься доказать. Кода многие из них окажутся у тебя доказанными, ты называешь более трудные или важные из них теоремами или следствиями, менее трудные или важные -- просто леммами или предложениями, а те, которые не удалось доказать -- вопросами или гипотезами. Пишешь об этом статью, или аппендикс к уже существующей статье, и выкладываешь на Архив.

Текст, может быть, придется несколько раз переписывать, конечно, с постепенным обобщением и усилением. На этот случай на Архиве есть функция "обновить версию". Можно еще переписывать у себя в компьютере, не обнародуя промежуточные версии, но если время от времени выкладывать на Архив, то сохранность + шансы привлечь читателей увеличиваются, а вероятность умереть от голода уменьшается.

Надо найти кого-нибудь, с кем это можно обсуждать, чтоб был приток новых идей. После нескольких лет такой деятельности, однажды вечером ты открываешь свой старый препринт, сохраненный на Архиве, и находишь там давно забытую лемму или теорему, из которой (в комбинации с более свежими соображениями) следует твоя гипотеза.

Потому, что

во мне на самом деле есть что-то от Честертоновского профессора Чэдда, от фанатика с горящими глазами, скрытыми нелепым обликом книжного червя. Поэтому пишу я то, что хочу или что считаю важным написать, а не то, что напечатают или что кому-то хочется видеть. Занимаюсь тем, что мне близко, а не тем, чем принято или чем занимаются вокруг. А в тех, кого это не устраивает, вижу если не врагов, то, как минимум, людей, с которыми невозможно и не нужно иметь никаких дел.

Поэтому гипотезы я давно уже доказываю не те, которым посвящена длинная статья в Википедии, а по большей части свои собственные. И очень рад, что ближе к старости лет моих мои гипотезы у меня теперь уже иногда доказываются. В юности не доказывались.

При этом, как можно иногда видеть из моих постингов, я отслеживаю и в целом прекрасно понимаю, чем живет окружающий меня мир, как устроены в нем отношения власти и как делаются карьеры. Просто я интересуюсь этим не для того, чтобы прийти к власти над кем-то, а как минимум, для того, чтобы никто не пришел к власти надо мной, а как максимум -- чтобы способствовать общей нормализации обстановки. Поэтому я не ищу себе нишу в окружающем мире каков он есть, а добиваюсь, чтобы такая ниша была создана какой она должна быть. Это небезопасно и некомфортно, но приспособленчество морально нестерпимо для меня.

Почему правильное должно приспосабливаться к неправильному? Пусть они ко мне приспосабливаются.

К предыдущему

При всем том, поразительна огромная разница между тем, как я жил в последние годы в Москве и тем, как живу теперь. Между тогдашней изоляцией и интересом к моим идеям, который я нашел в Праге. Поразительная, огромная разница.