Очередное интервью Ландо про матфак ВШЭ

[posic]

На 4-й странице 17-го номера "Троицкого варианта" -- http://www.scientific.ru/trv/17N.pdf

Порекламирую новый математический факультет Высшей Школы Экономики и я. Я знаю сейчас в России всего два высших учебных заведения, которые хотя бы стремятся преподавать современную фундамендальную математику (а не устаревшую лет на 100 инженерно-прикладную). Это один частный университет -- НМУ, и один факультет государственного университета -- матфак ВШЭ.

Comments

[posic.livejournal.com]

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

Беспокойство о том, что гипотезу Римана могут доказать неинтересным способом, озвучивает не только Манин. Если это произойдет, люди будут пытаться извлечь из неинтересного доказательства интересные идеи, преобразовать его в интересное доказательство. Если это не получится, направление может и зачахнуть, да. Что было бы очень жаль.

[sowa.livejournal.com]

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

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

Я, честно, плохо понимаю (внеспортивный) интерес гипотезы Римана как утверждения о нулях дзета-функции, и совершенно не понимаю интереса эквивалентного утверждения о распределении простых чисел. Гипотезы о значениях L-функций кажутся мне гораздо более интересными. В том же духе, гипотеза Бейтмана-Хорна кажется мне интереснее гипотезы Римана, поскольку она включает в себя интересные константы.

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

[posic.livejournal.com]

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

[sowa.livejournal.com]

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

[posic.livejournal.com]

Ну да, как говорят, физики ведут себя как бозоны, а математики как фермионы. То и другое имеет свои преимущества и недостатки. С одной стороны, наверно, неудобно, когда толпы народа бегают туда-сюда. Я бы так точно не мог; мне интересно сделать что-то такое, что без меня бы никто не сделал, или, по крайней мере, долго никто не сделал. С другой стороны, в результате физика, в пределе, разбивается на области, соответствующие классам явлений природы. А математика, в пределе, разбивается на области, соответствующие математикам, по одной на человека. Последние области, правда, слегка перекрываются; только это и спасает.

[sowa.livejournal.com]

"Я бы так точно не мог; мне интересно сделать что-то такое, что без меня бы никто не сделал, или, по крайней мере, долго никто не сделал."

Со мной точно так же.

"А математика, в пределе, разбивается на области, соответствующие математикам, по одной на человека. Последние области, правда, слегка перекрываются; только это и спасает."

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

[posic.livejournal.com]

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

[sowa.livejournal.com]

Я думаю, зависит от вершины. Мне кажется, чаще очень много, чем мало. Точнее, есть понятие core mathematics, ядро этого графа, которое неформально выделяется именно тем условием, что почти все вершины этого ядра связны с почти всеми остальными.

В этих терминах можно сформулировать и претензии к Семереди - очень далеко (по графу) от ядра, ребер очень мало.

[posic.livejournal.com]

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

[sowa.livejournal.com]

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

[posic.livejournal.com]

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

[sowa.livejournal.com]

Связи - это не обязательно решения проблем.

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

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