Титаны от математики схлестнулись над эпичным доказательством abc-гипотезы
Немецкие математики
Петер Шольце (Боннский университет) и
Якоб Стикс (Франкфуртский университет имени Иоганна Вольфганга Гете) заявили о наличии «неисправимого пробела» в доказательстве abc-гипотезы (гипотезы Эстерле — Массера), представленном японским ученым Синъити Мотидзуки (Киотский университет). Подробности сообщает Quanta Magazine.
В
отчёте, опубликованном в сентябре 2018 в интернете, Петер Шольце из Боннского университета и Якоб Стикс из Университета имени Гёте во Франкфурте описали то, что Стикс называет «серьёзным и невосполнимым разрывом» в огромной серии объёмных работ Синъити Мотидзуки, знаменитого гениального математика из Киотского университета. Опубликованные в интернете в 2012 году работы Мотидзуки якобы доказывают abc-гипотезу, одну из наиболее далеко идущих задач в теории чисел.
Несмотря на множество конференций, пытавшихся объяснить доказательство Мотидзуки, специалисты по теории чисел с трудом справлялись с лежащими в его основе идеями. Его серия работ общим объёмом более 500 страниц написаны малопонятным стилем, и ссылаются на его предыдущую работу из порядка 500 страниц, что приводит к появлению «чувства бесконечного регресса», как
выразился математик
Брайан Конрад из Стэнфордского университета.
Из изучавших доказательство математиков верят в его правильность от 12 до 18 человек, как написал мне
Иван Фесенко из Ноттингемского университета по электронной почте. Но, как
прокомментировал ситуацию в обсуждении доказательства в блоге в прошлом декабре Конрад, за верность доказательства поручились лишь математики из «ближайшего окружения Мотидзуки». «Нет больше ни одного желающего заявить, пусть даже неофициально, об уверенности в полноте доказательства».
Тем не менее, как
писал в своём блоге
Фрэнк Калегари из Чикагского университета в декабре, «математики неохотно заявляют о проблемах с доказательством Мотидзуки, поскольку не могут указать на конкретную ошибку».
Теперь всё поменялось. В своём отчёте Шольце и Стикс утверждают, что линия рассуждений ближе к концу доказательства «следствия 3.12» в третьей из четырёх работ Мотидзуки фундаментально ошибочна. А это следствие необходимо для предлагаемого им доказательства abc-гипотезы.
«Мне кажется, что вопрос с abc-гипотезой остаётся открытым, — сказал Шольце. — И у любого человека есть шанс доказать его».
Заключения Шольце и Стикса основаны не только на собственном изучении работ, но и на недельном визите, нанесённом ими Мотидзуки и его коллеге, Юитиро Хоши в марте в Киотском университете, проведённом с целью обсуждения данного доказательства. Шольце говорит, что этот визит чрезвычайно сильно помог ему и Стиксу добраться до сути их возражений. В результате, пара учёных «пришла к выводу об отсутствии доказательства», пишут они в отчёте.
Однако эта встреча завершилась к неудовлетворению сторон. Мотидзуки не смог убедить Шольце и Стикса в том, что его доказательство верное, а они не смогли убедить его, что оно неверное. Мотидзуки уже выложил отчёт Шольце и Стикса на своём сайте, и присовокупил к ним несколько
своих возражений.
В них Мотидзуки относит критику Шольце и Стикса на счёт «определённых фундаментальных неверных толкований» его работы. Их «негативное отношение, — пишет он, — не говорит о наличии каких-либо недостатков» в его теории.
Точно так же, как серьёзная репутация Мотидзуки заставила математиков рассматривать его работу как серьёзную попытку доказательства гипотезы, репутация Шольце и Стикса гарантирует, что математики обратят внимание и на то, что они хотят сказать. Шольце, хотя ему всего 30 лет, быстро поднялся на вершину в своей области. В августе он получил
Филдсовскую премию, высочайшую награду в математике. Стикс же является экспертом в области исследований Мотидзуки, анабелевой геометрии.
«Петер и Якоб чрезвычайно осторожные и вдумчивые математики, — сказал Конрад. — Если у них есть какие-то опасения, их реально стоит прояснить».
