В конце апреля в научном мире произошло нечто грандиозное.
В последнем номере Математического ежегодника опубликовали сорокастраничную статью, посвященную доказательству существования решения уравнений Янга — Миллса.
Как только эта новость подтвердилась, она вызвала фурор в международных математических и физических кругах.
На всемирно известном математическом форуме Math Overflow разгорелось бурное обсуждение.
«Вы слышали? Доказано существование решения уравнений Янга — Миллса!»
«Я узнал об этом сегодня утром, но это все еще не подтверждено, верно?»
«Математический ежегодник опубликовал статью, очевидно, это подтверждено. Рецензент — Чарльз Фефферман!»
«Я еще не закончил читать, и я не очень много знаю о многообразиях Лу. Если я хочу понять статью 18 года о многообразиях Лу, мне сначала придется изучить дифференциальную геометрию, просто боль… Во всяком случае, очень трудно найти ошибки в такой работе, как эта. Посмотрим, каков будет окончательный вердикт после отчетной конференции.»
Поскольку многие современные молодые математики, такие как Тао Теренс и Шульц, имели свои собственные аккаунты на этом сайте, популярные темы отражали события, произошедшие в математическом кругу.
Последний раз такое бурное обсуждение было два года назад из-за пятистраничной статьи сэра Атии…
Профессиональные научные форумы не единственное место, где велось обсуждение.
Хотя большинство людей даже не знали, как выглядят уравнения Янга — Миллса, большинство людей знали о задачах тысячелетия.
Через два дня после того, как опубликовали статью, новость появилась в различных новостных сетях и привлекла внимание множества людей из академических кругов и из-за их пределов.
По сравнению с обсуждениями по существу на математических форумах, толпы в Facebook и Twitter писали более эмоционально.
«Лу Чжоу? Лу Чжоу автор статьи? Если я правильно помню, он решил математическую задачу мирового класса два года назад!»
«Уравнения Навье — Стокса! Одну из семи задач тысячелетия! Я до сих пор помню его доклад на Международном конгрессе математиков!»
«Оспорить две задачи тысячелетия за два года… Господи, как он это делает?»
«И он также решил проблему управляеомого термоядерного синтеза!»
«Ха-ха, может быть, это и есть сила азиатских математиков?»
«Безумие!»
«…»
После объявления задач тысячелетия недостатка в претендентах не было.
Однако очень немногие люди достигли достойных результатов в отношении уравнений Янга — Миллса.
Если бы кто-то мог доказать существование решения уравнений Янга — Миллса с помощью математического метода, то это не заняло бы много времени, прежде чем кто-то сможет найти общее решение.
Поскольку эта тема настолько значительно, что даже журнал Nature, который обычно уделял очень мало внимания математическим исследованиям, взял 200 слов из аннотации к статье и разместил в новом выпуске журнала. Nature даже разместила выдержку на обложке.
Во время интервью с журналистом из Science профессор Фефферман высоко оценил математические методы, использованные в этой работе.
Читайте ранобэ Передовая Технологическая Система Учёного на Ranobelib.ru
— Очень немногие люди способны достичь высокого уровня более чем в трех областях математики. Он не только смог это сделать, но и интегрировал дифференциальные уравнения в частных производных, дифференциальную геометрию и топологию в новый математический инструмент.
— Вы говорите о магических многообразиях Лу?
— Именно так.
— Но некоторые люди отметили, что, хотя он доказал существование решения уравнений Янга — Миллса, он не создал никаких новых математических инструментов, он только повторно использовал инструменты, которые создал во время своих исследований уравнений Навье — Стокса… Что вы думаете об этом?
Ценность математического доказательства не отражается в самом доказательстве, а скорее отражается в математических инструментах, которые были созданы при решении проблемы.
Если бы эта статья только доказала существование решения уравнений Янга — Миллса с помощью математического языка и не смогла проложить путь к нахождению общего решения, хотя это все равно было бы отличным достижением, оно не будет выдающимся.
— Я не думаю, что это справедливо. Ценность математической гипотезы проявляется не только в создании новых математических инструментов. Она также может проявляться в совершенствовании существующих инструментов или даже просто в абстрактной математической концепции.
— Думаете, он укрепил теорию многообразия Лу?
— Верно, теории часто требуется от пяти до десяти лет, чтобы созреть, и это требует накопления бесчисленных гипотез и теорем. Изобретя многообразие Лу, он успешно построил мост между дифференциальными уравнениями в частных производных и дифференциальной геометрией и ввел топологические методы. Если бы я описал это в простых словах, он преобразовал уравнения в геометрический объект, который существует в особом пространстве.
— Это слишком абстрактно, не могли бы вы быть более конкретным?
Фефферман пожал плечами:
— Это как провести вспомогательную линию на изображении. После специальной трансформации первоначально сложное становятся простым.
— Но я заметил, что в arXiv очень мало людей, которые следят за этой исследовательской областью. Хотя мое мнение может быть недостаточно объективным, но если оно так важно, почему люди не пытаются использовать их?
— Ответ прост. Нельзя ожидать, что теория двухлетней давности станет популярной в научном мире. Даже Гротендик не мог сделать ничего подобного. Забудьте о глубоком изучении теории, даже если хотя бы просто научится ее использовать требует много времени… Не говоря уже о том, что существует определенный порог для изучения этой теории.
— Итак, вы высоко оцениваете его работу?
— Да, я верю, что любой, кто действительно понимает эту статью, согласится со мной.
— Еще один вопрос, он не связан с уравнениями Янга — Миллса, и, конечно, вы можете отказаться отвечать.
Фефферман улыбнулся:
— Спрашивайте.
— Как вы думаете, он может стать величайшим математиком этого века?
Это очень трудный вопрос.
В конце концов, двадцать первый век только начался.
Фефферман посмотрел в глаза журналисту и задумался, а потом ответил.
— Это зависит от того, будет ли гипотеза Римана доказана в этом столетии, если нет… — Он сделал паузу. — Тогда нет никаких сомнений, что он уже.
