Новости об ABC conjecture, или Церковь Свидетелей Моичизуки

[leblon]

Тут подробный отчет с воркшопа, посвященного попыткам разобраться с Inter-Universal Teichmuller theory.
Автор - Брайан Конрад, специалист по арифметической геометрии. Так же присутствовали Бейлинсон, Фалтингс, Лаффорг, Уайлс, Кедлая и другие. Насколько я понял из отчета, те, кто утверждают, что поняли работы Моичизуки, так и не смогли донести, что именно они поняли, до других. Пахнет какой-то лысенковщиной, честное слово.

Comments

[roma.livejournal.com]

интересно! Про лысенковщину ты загнул, все же.

[sasha-br.livejournal.com]

+1 про лысенковщину.

[xaxam.livejournal.com]

Такой феномен "шварцшильдовского радиуса". Встречается и в других областях, скажем, mould calculus Экалля. Кажется, все, кто всерьёз продвинулись хоть как-то в понимании этой безумной алгебры, сдвигались рассудком и теряли возможность сообщить о своих продвижениях.

[shuffle81.livejournal.com]

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

[xaxam.livejournal.com]

Одно дело - fonctions resurgentes, это действительно стало понятней (D. Sauzin, J.-P. Ramis, ...). А вот насчёт calcul des moules, arborification etc., - то, что я видел в переизложении, близко не подходит к тому, что существует в голове у Экалля.

[shuffle81.livejournal.com]

Ну, наверное, справедливо сказать, что мы до какой-то степени оба правы. Тексты, что я знаю, применяют идеи Экалля, включая пресловутую арборификацию, к multiple zeta values, и довольно интересным образом применяют. Наверное, для специалистов по динамическим системам соль не в этом, и, может быть, какие-то тонкости, важные для этого, оказываются заметёнными под ковёр?

[xaxam.livejournal.com]

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

[leblon.livejournal.com]

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

[leblon.livejournal.com]

Я таких примеров не знаю. Погуглил сейчас арХив. Ни одной статьи со словом Frobenoid в абстракте. В то же время, легко находятся статьи, где используется mould calculus, включая читабельные обзоры.

[xaxam.livejournal.com]

Я знаю двух людей (не буду называть имён). Про Фробеноиды ничего сказать не могу, но вот избранное место из перепислки с друзьями по этому поводу:

У экаллевой деятельности был и есть raison d'etre: грубо говоря, если расходящийся ряд возникает, как решение аналитического уравнения (дифференциального, функционального и т.д.), то структура ("природа") этого уравнения диктует комбинаторику рекурсивных соотношений, определяющих коэффициенты ряда. Что, в свою очередь, позволяет извлечь из расходящегося ряда нечто сходящееся (не там и не к тому, что было изначально), и тем самым изготавливать аналитические инварианты, модули и т.д. У этой теории есть геометрическая альтернатива, которая прекрасно понята в простейшем случае (аналитическая нормализация эллиптических голоморфных ростков), и параллельное изучение двух теорий позволяет лучше понять обе.

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

Сдвигались рассудком

[prof-yura.livejournal.com]

И получали трех-миллионные гранты? :-)

[repressii.livejournal.com]

а по мне так вполне себе лысенковщина
не лично Мочизуки, конечно, который няша неимоверная,
но секта его последователей, из которых, по ощущениям, одна половина -
жулики, другая половина - поехавшие

впрочем, от церкви свидетелей Лурье с нкатлаба это дело ничем не отличается
разве что масштабами

[roma.livejournal.com]

Лысенко вроде был мерзавцем, по крайней мере отчасти виновным в гибели Вавилова и проч. и проч., ничего разумного в науке не сделавшим. Морально-политический аспект ты, наверное, не имел в виду (хотя слово "лысенковщина" к нему отсылает); но у Мочизуки есть вполне признанные (по крайней мере Конрадом) сущетвенные достижения.

[prof-yura.livejournal.com]

Предыдущие работы Мочидзуки вполне хороши - если б не это, то отношение общественности к его заявлениям/текстам было бы совсем другим.

[leblon.livejournal.com]

Нет, я не имел в виду моральной оценки. Возможен самообман. Даже вероятен. Правильной аналогией, наверное, был бы какой нибудь знахарь или алхимик, который пытается продать рецепт эликсира молодости коллегам.

[roma.livejournal.com]

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

[viktor makoviychuk (from livejournal.com)]

На этой неделе новый воркшоп намечается: https://www.maths.nottingham.ac.uk/personal/ibf/files/kyoto.iut.html Интересно, был ли сколько-нибудь заметный прогресс в понимании его работ за это время?