posic ([personal profile] posic) wrote2015-06-06 06:38 pm

"I am not interested in what today's mathematicians find interesting"

1. Гарвардским аспирантом, сидя в своем кьюбикле, придумать году в 1996 концепт-формулу "кошулевость когомологий = K(π,1)-ность + квазиформальность"; рассказать, возможно, в лучшем случае, нескольким друзьям

2. Из-за отсутствия публикаций получить в 1999 году отказ в продлении постдока в Штатах; через четыре года, по той же причине, отказаться как от безнадежной от идеи поиска постоянной работы после окончания постдоков в Европе и вернуться в 2003 году безработным в Москву

3. В январе 2011 года быть спрошенным Делинем на докладе на "Рождественских встречах" в Независимом Университете о том, что значит, что когомологии группы Галуа кошулевы; не найтись с ответом, но после вспомнить, что был же такой концепт-формула

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

5. Заодно уж, для полноты сюжета о квазиформальности и связи с контекстом мотивов, вставить туда контрпример квазиформальной, но не формальной DG-алгебры, вычисляющей когомологии Галуа, придуманный, конечно, в том же примерно 1996 году

6. По приезде летом 2014 года в Беэр-Шеву услыхать от Идо Ефрата, что формальность DG-алгебр коцепей групп Галуа является теперь вопросом Хопкинса, сформулированным в его работе с Викельгрен

7. Написать письмо с описанием контрпримера на имя Викельгрен с копиями Хопкинсу и Ефрату

8. На вопрос озадаченного И.Е., не хочу ли я написать про это статью или как ему теперь ссылаться на этот контпример, отвечать, что так и ссылаться на раздел 9.11 статьи про мотивы Артина-Тейта

9. Удостоиться, в самом деле, ссылки из введения к очередному препринту И.Е. с его постдоком

10. Неизвестно еще, сколько лет после этого отвечать на письма с разных концов света с уточняющими вопросами и просьбами растолковать подробнее очень краткое изложение в разделе 9.11

***

Перефразируя изречение Фейнмана, вынесенное в заголовок -- "I am not interested in writing what todays' mathematicians find interesting to read or publish".

[identity profile] udod.livejournal.com 2015-06-06 08:59 pm (UTC)(link)
Ну даже по моей необразованности сюжет интересный. Конечно хорошо бы написать, раз есть спрос - тем паче.

[identity profile] udod.livejournal.com 2015-06-08 10:33 am (UTC)(link)
Sounds very good. Правда я понимаю все слова короме K(\pi, 1)-ness что это такое?
Edited 2015-06-08 10:45 (UTC)

[identity profile] posic.livejournal.com 2015-06-08 11:23 am (UTC)(link)
Свойство "быть K(\pi,1)-ом". Зануление всех гомотопических групп, кроме первой.

[identity profile] udod.livejournal.com 2015-06-08 11:39 am (UTC)(link)
И всего-то