Grand project

[posic]

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

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

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

Comments

[anhinga-anhinga.livejournal.com]

> если противоречие в ZFC выведут в гомологической алгебре несколько позже, а не раньше

Выведут корректно, или выведут ошибочно?

[posic.livejournal.com]

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

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

[anhinga-anhinga.livejournal.com]

Такие работы, время от времени, появляются.

Они даже не все плохие; некоторые были восприняты, как "хорошие, но ошибочные"...

[posic.livejournal.com]

Ошибочные работы бывали всегда, и всегда будут. Я не об этом. Никто не станет говорить о противоречии в математике, если известно или широко предполагается, что работа ошибочная.

Где-то я читал, что в 70-х годах была знаменитая (тогда) история, попавшая на страницы New York Times или что-то в этом роде. Когда топологи, вычислявшие гомотопические группы сфер, написали пару работ с доказательствами несовместимых утверждений. Что-то там по модулю 5, какое-то 5-кручение, что ли. И на протяжении полугода не могли разобраться, где ошибка. Один автор утверждает одно, другой противоположное, и поди разбери. Это уже ближе к тому, что я имею в виду.

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

[anhinga-anhinga.livejournal.com]

Ну, что-то близкое уже происходит в связи с "abc conjecture"...

[buddha239.livejournal.com]

Для начала, там противоречия не найдено.:)

[anhinga-anhinga.livejournal.com]

Противоречия не найдено :-)

Но зато деление математиков на большие фракции (по вовсе не чисто математическим признакам) и внимание прессы уже тут, как тут...

Про постмодернизм пока не говорят, но, вообще, когда позиция математиков по некоторому вопросу настолько сильно коррелирует с тем, из какой они страны, тут вполне можно ожидать начала разговоров про "social construction of reality" ;-)

[posic.livejournal.com]

А что, разве большинство японских математиков считают, что Мочидзуки доказал abc? Или хотя бы большинство японских алгебраистов (алгебраических геометров, теоретико-числовиков)? С другой стороны — вот, Иван Фесенко видный мочидзуковец, но он не японец и работает не в Японии а, как я понимаю, в Ноттингеме.

[buddha239.livejournal.com]

Вроде бы, слегка переехал — но в приделах Британии.:)

[posic.livejournal.com]

А куда он переехал?

[buddha239.livejournal.com]

Возможно, я перепутал; не исключено, что он место жительства сменил, а работу — нет.

[anhinga-anhinga.livejournal.com]

Достаточное количество известных японских математиков так считает, если верить тому, что я читал про это.

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

[posic.livejournal.com]

Я об этом не слыхал, но как вы излагаете, получается, что это политическое. Националистическая политкорректность такая.

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

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

[i_anatta]

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

В 1959 году Хироши Тода построил \alpha_i, бесконечный набор нетривиальных элементов в \pi^s. Доказательства нетривиальности, по сути, не было, но на стороне Тоды было провидение в духе Рамануджана, и большое количество экспериментально подтверждающих заявление вычислительных результатов, которые американскому коммьюнити топологов за год-два-... удавалось превращать в содержательные конструкции и проверять концептуально (Адамс, Барратт, 1965: отображение Тоды поднимается на некоторый несложный спектр в виде эндоморфизма \alpha, где иньективен на К-теории; и есть нестабильная *почти ретракция* этого спектра на сферу, нетривиальная на гомологиях)

Через 10 лет Ларри Смит построил другой пример \beta такого эндоморфизма (являющегося Massey square предыдущего после спуска на сферу), используя MU вместо К-теории (локально для p>=5), но было неясно, как доказать нетривиальность связанного с ним отображения на сфере. В ответ в том же году Тода и Ока показали, что для p=3 отображения Смита нет, но зато есть (...но это не очень точно...) ещё \gamma, который должен быть Massey product \alpha c \beta. Понятно, что вычисление произведений Масси третьего порядка какими-то неясными комбинаторно-алхимическими методами ни к чему хорошему привести не могло, и в 1971 Тода на встрече JMS анонсировал, что \gamma_1 = 0. Публикация если и была, то только в японском вестнике чего-то там.

В том же 1971 аспирант Люлевичуса (Zahler, кажется) придумал некую идею, как доказать, что \gamma_1 \neq 0, весь контент был, в общем-то, в 10 страницах вычислений произведений Масси в координатах и в том, что группы когомологий достаточно редкие, чтобы эти *третичные когомологические операции* не имели фатального количества indeterminacy. Ларри Смит, редактируя это, совершенно случайно заметил в лежавшей по соседству статье Оки что-то в духе "we use here that \gamma_1 = 0 [1],.. [1] Private communication, Hiroshi Toda". Он запросил у Тоды доказательство, и Тода отправил черновик статьи (~70 страниц вычислений) и бандероль черновиков (поскольку эти 70 страниц имели внутри изрядное количество "easy to see"). Написать в ответ на это прямо, что, мол, доказательством это не является, было неприлично, поэтому с публикацией пришлось просто подождать до 1974, когда Тода и Ока написали, что да, и в самом деле не равно нулю, и вот даже рецензированная публикация. (Бумаги на доказательство верного утверждения ушло в разы меньше, чем на доказательство неверного, что не очень удивительно.)

После этого произошло две вещи. Во-первых, перед топологами явно проявился недостаток концептуальных методов. (Возможно, без этого инцидента они появились бы заметно позднее.) Равенель и Морава в 1974, внимательно изучив появившиеся работы Новикова о спектре BP, увидели там формулы, буквально повторяющие вычисление когомологий p-адической алгебраической группы Лазаром, дав возможность людям вокруг ещё около 20 лет не думать о нахождении какого-то нового взгляда.

Во-вторых, Gina Colata (в то время бесперспективный аспирант math dept в Мэриленде) случайно (ну, люди говорят...) узнала про эту историю, и решила, естественно, совершенно не разбираясь с сутью дела, сделать на этом карьеру научного журналиста, написав заметку в Science, где работала в то время каким-то архивариусом. И у неё замечательно получилось такую карьеру сделать!

Вот, очень изящные _советы математикам_ о том, как им _нужно общаться с журналистами_ от Gina Colata http://www.ams.org/notices/199604/comm-kolata.pdf)

“You have to have news,” Kolata states.
(So, if you do not have news, she's going to make them up).

***

Вообще, это я к чему: мне кажется, ни разу не случалось такого, чтобы два математических *текста* (в этимологическом значении слова, от texo; подразумевающего а) целостность, сплетение б) явно видимую структуру) содержали противоречащие утверждения. Все известные мне случаи происходили от желания людей пробиться силой там, где имеющейся аксиоматики и знания хватает только на какие-то шаткие мостки через болото вязкого хаоса.