|
Математическим институтом Клэя в Кембридже, штат Массачусетс (CMI) определены семь задач, за решение которых дается премия. Были отмечены некоторые из наиболее сложных проблем, с которыми математики бились на рубеже второго тысячелетия. Это было сделано для того, чтобы донести до широкой общественности тот факт, что математика изобилует важными нерешенными задачами, чтобы подчеркнуть важность работы, направленной на решение самых глубоких, самых сложных проблем, и признать историческое значение достижений в области математики.
О премии было объявлено на встрече в Париже, состоявшейся 24 мая 2000 года в Коллеж де Франс. Тогда были представлены три лекции. Тимоти Гауэрс говорил о важности математики, Майкл Атья и Джон Тейт говорили о самих задачах.
Семь задач тысячелетия были выбраны Научно-консультативным советом института, который обсуждал их с ведущими специалистами всего мира. В центре внимания совета были важные классические задачи, которые не поддавались решению в течение многих лет.
Следуя решению Научно-консультативного совета, совет директоров института Клэя определил призовой фонд в 7 миллионов долларов за решение этих задач, с выделением $ 1 млн. долларов за решение каждой задачи.
Заметим, что одной из семи задач является гипотеза Римана, сформулированная в 1859 году, которая находится также в списке из двадцати трех задач, представленном Давидом Гильбертом в Париже 9 августа 1900 года.
Итак, вот эти задачи.
Гипотеза Берча — Свиннертон-Дайера
Математики всегда были увлечены задачей описания всех целочисленных решений алгебраических уравнений типа
Евклид дал полное решение для данного уравнения, но для более сложных уравнений это сделать крайне тяжело. Действительно, в 1970 году Ю.В. Матиясевич показал, что десятая проблема Гильберта неразрешима, т. е. не существует общего метода определения, когда такие уравнения имеют решения в целых числах. Но в некоторых случаях можно надеяться что-то получить. Когда решения являются точками абелева многообразия, Бирч и Свиннертон-Дайер утверждают, что размер группы рациональных точек связан с поведением соответствующей дзета-функции вблизи точки . В частности, эта удивительная гипотеза утверждает, что если , то существует бесконечное число рациональных точек (решений), и наоборот, если , то существует лишь конечное число таких точек.
Гипотеза Ходжа
В ХХ веке математики открыли мощный способ исследовать формы сложных объектов. Основная идея метода состоит в том, чтобы выяснить, в какой степени мы можем аппроксимировать форму данного объекта склеиванием простых геометрических блоков возрастающей размерности. Эта методика оказалась настолько полезной, что ее обобщали различными способами, в конечном счете давшими мощные инструменты, который позволили математикам сильно продвинуться в каталогизации различных объектов, с которыми они сталкиваются в своих исследованиях. К сожалению, геометрическое происхождение метода стало скрытым в этом обобщении. В некотором смысле было необходимо добавить кусочки, которые не имели геометрической интерпретации. Гипотеза Ходжа утверждает, что для особенно хороших типов пространств, называемых проективными алгебраическими многообразиями, части, называемые циклами Ходжа, являются на самом деле (рациональными линейными) комбинациями геометрических частей, называемых алгебраическими циклами.
Уравнение Навье-Стокса
Волны следуют за нашей лодкой, когда мы плывем по озеру, и турбулентные потоки воздуха сопровождают наш полет в современном самолете. Математики и физики полагают, что объяснение и предсказание таких явлений, как ветер и турбулентность, могут быть найдены на основе понимания решения уравнений Навье-Стокса. Хотя эти уравнения были получены в 19-м веке, наше понимание их остается минимальным. Задача состоит в том, чтобы добиться существенного прогресса на пути к математической теории, которая откроет тайны, скрытые в уравнении Навье-Стокса.
Задача о равенстве классов P и NP
Предположим, что вы организуете размещение группы из четырехсот студентов университета. Количество мест ограничено, и только сто студентов получат места в общежитии. Ситуация усложняется тем, что декан предоставил вам список пар студентов, которые не могут жить вместе, и просил, чтобы ни одна пара из этого списка не попала в окончательный вариант. Это пример того, что ученые-компьютерщики называют NP-задачей. Легко проверить, будет ли данный выбор ста студентов, предложенный сотрудником, удовлетворительным (т.е. никакая пара студентов из списка вашего коллеги не фигурирует в списке из деканата), однако задача создания такого списка с нуля, кажется абсолютно невыполнимой. Действительно, общее число способов выбора ста студентов из четырехсот претендентов больше, чем количество атомов в известной вселенной! Таким образом, никакая будущая цивилизация не может даже надеяться построить суперкомпьютер, способный решить эту задачу с помощью грубой силы, то есть проверяя все возможные комбинации 100 студентов. Однако эта кажущаяся трудность может только отражать отсутствие изобретательности вашего программиста. В самом деле, одной из нерешенных проблем в области компьютерной науки является определение того, существуют ли вопросы, ответы на которые можно быстро проверить, но которые требуют невозможно долгого времени для решения любым прямым методом. Задачи, подобные той, что указана выше, конечно, кажутся задачами такого рода, но до сих пор никто не смог доказать, что какая-то из них на самом деле так сложна, как кажется, т.е. что действительно нет возможности получить ответ с помощью компьютера. Стивен Кук и Леонид Левин сформулировали задачу сравнения классов P (то есть легко найти) и NP (то есть легко проверить) в 1971 году.
Теория Янга-Миллса и дефект массы
Законы квантовой физики в мире элементарных частиц играют ту же роль, что и законы Ньютона классической механики в макроскопическом мире. Почти полвека назад Янг и Миллс ввели новую замечательную концепцию для описания элементарных частиц с помощью структур, которые встречаются также в геометрии. Квантовая теория Янга-Миллса в настоящее время является основой большей части теории элементарных частиц, и ее предсказания были проверены во многих экспериментальных лабораториях, но ее математическая основа остается неясной. Успешное применение теории Янга-Миллса для описания сильных взаимодействий элементарных частиц зависит от тонкого квантово-механического свойства, которое называют дефектом массы: квантовые частицы имеют положительную массу, хотя классические волны распространяются со скоростью света. Это свойство было обнаружено физиками в экспериментах и подтверждено компьютерным моделированием, но оно до сих пор непонятно с теоретической точки зрения. Прогресс в создании теории Янга-Миллса и дефекта массы потребует новых фундаментальных идей как в физике, так и в математике.
Гипотеза Римана
Некоторые числа имеют особое свойство, они не могут быть выражены как произведение двух меньших чисел, например, 2, 3, 5, 7 и т.д. Такие числа называются простыми, и они играют важную роль как в чистой математике, так и в ее приложениях. Распределение таких простых чисел среди всех натуральных чисел не является упорядоченным, однако немецкий математик Георг Фридрих Бернхард Риман (1826 — 1866) заметил, что частота простых чисел очень тесно связана с поведением сложной функции
,
которая называется дзета-функцией Римана. Гипотеза Римана утверждает, что все вещественные части так называемых нетривиальных решений уравнения
лежат на некоторой вертикальной прямой. Это было проверено для первых 1500000000 решений. Доказательство того, что это верно для каждого нетривиального решения могло бы пролить свет на многие тайны, окружающие распределение простых чисел.
Гипотеза Пуанкаре (доказана Григорием Перельманом в 2002-2003 гг.)
Если натянуть резинку вокруг поверхности яблока, то можно стянуть его в точку, медленно перемещая его, не разрывая и не позволяя ему выйти за пределы резинки. С другой стороны, если мы представим себе, что эта же резинка как-то была растянута вокруг бублика, то нет никакого способа стянуть ее в точку, не нарушая ни резинки, ни бублика. Мы говорим, что поверхность яблока “односвязная’’, а поверхность бублика — нет. Пуанкаре почти сто лет назад знал, что двумерная сфера фактически характеризуется этим свойством связности, и задал такой же вопрос для трехмерной сферы (множества точек в четырехмерном пространстве, находящихся на единичном расстоянии от начала координат).
Этот вопрос оказался чрезвычайно трудным. Почти столетие прошло между его формулировкой в 1904 году Анри Пуанкаре и ответом на него Григорием Перельманом, который был размещен в препринтах на ArXiv.org в 2002 и 2003 годах. Решение Перельмана было основано на теории Ричарда Гамильтона о потоках Риччи, и использовало результаты на пространстве метрик, принадлежащие Чигеру, Громову и самому Перельману. В своих работах Перельман доказал также геометрическую гипотезу Уильяма Терстона, частным случаем которой является гипотеза Пуанкаре.
|
