Последний бастион: Как Эндрю Уайлс приручил теорему Ферма

Разрешите представить вам ещё один пост, предложенный Ёжику нашим очень активным участником Алексеем Камазом. Предыдущие философские посты были несколько претенциозны и вызывали много вопросов, но теперь Алексей предложил нам весьма сносный исторический текст про Великую теорему Ферма.

Мы хотели бы обратиться к Алексею с просьбой: сосредоточьтесь на качестве, а не на количестве постов, и поменьше используйте нейросети ;)

Последний бастион: Как Эндрю Уайлс приручил теорему Ферма

Введение: Тайна на полях

В 1637 году французский математик Пьер де Ферма читал «Арифметику» Диофанта. На полях, напротив задачи о делении квадрата на два квадрата, он сделал заметку, ставшую самым дорогостоящим маргиналием в истории науки:

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

Эти строки стали проклятием для математиков на 358 лет. Теорема утверждает: уравнение a^n + b^n = c^n не имеет целых положительных решений при n > 2 . Простота формулировки обманчива — за ней скрывается бездна сложности.

Долгая осада: От детских доказательств до грандиозных обобщений

История теоремы Ферма — это история самой математики. Каждое поколение интеллектуалов оставляло свой след в попытках её доказать.

"Детские" доказательства появились сразу. Сам Ферма доказал случай n=4 методом бесконечного спуска . Эйлер разобрался с n=3 . Дирихле и Лежандр доказали для n=5, Ламе — для n=7 . К середине XIX века Куммер разработал теорию идеальных чисел и доказал теорему для всех так называемых "регулярных" простых чисел .

Что объединяет эти элементарные подходы? В них чувствуется геометрическая интуиция: при n>2 конструкция "ломается" — гипотенуза не сходится с катетами, углы ведут себя неправильно в тех геометрических обьектах которые возникают при n>2 с обоих сторон уравнения теоремы Ферма . Но эти блестящие, но разрозненные методы не могли покрыть бесконечное множество показателей.

К 1980-м годам теорема была проверена для всех n до 4 миллионов с помощью компьютеров , но общего доказательства не существовало.

Три кита: Эллиптические кривые, модулярные формы и дерзкая гипотеза

Параллельно с атаками на Ферма развивалась другая линия математики. В 1950-60-х годах японские математики Ютака Танияма и Горо Шимура выдвинули поразительную гипотезу: каждая эллиптическая кривая над полем рациональных чисел является модулярной .

Что это значит?

· Эллиптическая кривая — это объект, задаваемый уравнением вида y^2 = x^3 + ax + b. Несмотря на название, это не эллипс, а объект с богатой алгебраической структурой.

· Модулярные формы — это невероятно симметричные функции на верхней комплексной полуплоскости, объекты из совершенно другой области математики.

Гипотеза Таниямы-Шимуры (позже — Таниямы-Шимуры-Вейля) утверждала, что эти два мира — эллиптическая геометрия и модулярный анализ — суть одно и то же, увиденное с разных сторон . Большинство математиков считало гипотезу недоступной для доказательства .

Кривая Фрея: Мост через пропасть

В 1984 году немецкий математик Герхард Фрей совершил концептуальный прорыв. Он предположил, что если существует решение уравнения Ферма a^p + b^p = c^p (для простого p > 2), то из него можно построить эллиптическую кривую:

y^2 = x(x - a^p)(x + b^p)

Эта кривая впоследствии получила название кривой Фрея .

Фрей показал, что такая кривая обладает бы настолько экзотическими свойствами, что она не могла бы быть модулярной. Другими словами: контрпример к Ферма порождает контрпример к Танияме-Шимуре.

В 1986 году Кен Рибет доказал "эпсилон-гипотезу" (теперь — теорема Рибета), строго установив: да, кривая Фрея действительно не может быть модулярной . Это означало, что доказательство гипотезы Таниямы-Шимуры (хотя бы для полустабильных эллиптических кривых, к которым относится кривая Фрея) автоматически докажет теорему Ферма.

Семь лет одиночества: Стратегия Уайлса

Десятилетний Эндрю Уайлс, впервые прочитав о теореме Ферма в книге Эрика Темпла Белла "Последняя проблема", решил, что когда-нибудь докажет её . Узнав в 1986 году о результате Рибета, он понял: момент настал. Но он выбрал необычный путь — полную секретность .

Уайлс поставил перед собой задачу доказать гипотезу Таниямы-Шимуры для полустабильных эллиптических кривых. Его подход можно описать так:

Точка по определению нульмерна и бесструктурна — к ней невозможно подступиться напрямую. Но кривая — это функция, а функция есть множество касательных к точкам.

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

Уайлс создал вокруг неуловимой точки ? плотную сеть аналитических соотношений, которая позволила применить мощь современной теории чисел .

Он использовал мощнейший аппарат современной математики:

· Теорию деформаций Галуа (развитую Барри Мазуром)

· Теорию Ивасавы

· Методы Колывагина и Флаха

· Результаты Ленглендса и Таннелла

Основная идея — доказать так называемую "R = T" теорему (изоморфизм кольца деформаций и алгебры Гекке), что влечёт модулярность эллиптической кривой .

В июне 1993 года на трёх лекциях в Институте Ньютона в Кембридже Уайлс объявил о доказательстве. В конце третьей лекции он произнёс: "Думаю, я остановлюсь здесь". Зал взорвался аплодисментами .

Кризис и триумф: Девять месяцев отчаяния

При рецензировании рукописи Ником Кацем была обнаружена проблема. В ключевом месте доказательства использовался метод для построения системы Эйлера, который не работал в полной общности . Уайлс потратил почти год на попытки исправить ошибку.

19 сентября 1994 года, когда он уже был готов признать поражение, его осенило. Он понял, что можно использовать подход, который когда-то отбросил, соединив его с идеей своего бывшего студента Ричарда Тейлора . Это был момент, который сам Уайлс назвал "самым важным в моей рабочей жизни".

Исправленное доказательство было опубликовано в 1995 году в Annals of Mathematics в виде двух статей общим объёмом 129 страниц .

Связь с "детскими" доказательствами: Вывернутая наизнанку простота

В чём же глубокая связь между монументальным 129-страничным доказательством Уайлса и теми простыми геометрическими интуициями, с которых мы начали?

Можно сказать, что Уайлс вывернул задачу наизнанку и взял в кольцо те самые "детские" доказательства. Их суть была проста и геометрична: при n > 2 либо гипотенуза рвётся, либо углы не сходятся — построить целочисленный треугольник невозможно.

Уайлс не отменил эту простоту. Он создал для неё броню из высшей математики. Вместо того чтобы атаковать числа (a, b, c, n) напрямую, он:

1. Построил вокруг них кривую Фрея

2. Доказал, что эта кривая обязана быть модулярной (по теореме Уайлса-Тейлора)

3. Доказал, что эта кривая не может быть модулярной (по теореме Рибета)

4. Получил противоречие, которое уничтожает исходное предположение

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

Послесловие: Открытая дверь

К 1999 году Бройль, Конрад, Даймонд и Тейлор завершили доказательство полной гипотезы Таниямы-Шимуры (теперь — теорема о модулярности) . Позже, в 2004-2008 годах, Харе и Винтенбергер доказали гипотезу Серра, что дало ещё одно, более концептуальное доказательство теоремы Ферма .

Структура доказательства: логическая бомба

В окончательном виде доказательство Уайлса занимает 129 страниц и использует сложнейший аппарат алгебраической геометрии, теории Галуа и теории модулярных форм. Но его логический скелет изящно прост :

1. Предположим противное: пусть существует тройка целых чисел (a, b, c) и показатель n > 2 такие, что a? + b? = c?.

2. Строим кривую Фрея: по этой тройке строим эллиптическую кривую E: y? = x(x — a?)(x + b?).

3. Результат Рибета: такая кривая E не может быть модулярной.

4. Теорема Уайлса–Тейлора: всякая полустабильная эллиптическая кривая (а кривая Фрея именно такова) является модулярной.

5. Противоречие: кривая не может быть одновременно модулярной и немодулярной. Следовательно, наше исходное предположение ложно — решений не существует .

Работа Уайлса открыла дверь в грандиозную программу Ленглендса — сеть гипотез, связывающих теорию чисел, гармонический анализ и геометрию . Как заметил сам Уайлс: "Это открыло ещё одну дверь, на этот раз к проблемам модулярности. А эти проблемы — лишь очередная дверь, открывающая грандиозную перспективу того, что называется программой Ленглендса" .

Анатомия доказательства: кратко и ёмко

3.1 Основная идея в трёх шагах

Если очистить доказательство Уайлса от технических деталей, остаётся удивительно прозрачная структура:

Шаг 1. Сведение к модулярности

Вместо прямого доказательства теоремы Ферма Уайлс доказывает гипотезу Таниямы-Шимуры для полустабильных эллиптических кривых.

Шаг 2. Язык Галуа

Уайлс переводит проблему на язык теории Галуа. Каждой эллиптической кривой сопоставляется представление Галуа — способ, которым группа Галуа действует на точки кручения кривой. Модулярность кривой означает, что это представление "поднимается" из модулярной формы .

Шаг 3. Теорема R = T

Главное техническое достижение Уайлса — доказательство того, что кольцо деформаций (R) и алгебра Гекке (T) совпадают. Это позволяет "поднимать" модулярность с малого уровня на больший. Метод известен как R = T-теорема и стал революционным инструментом в теории чисел .

«Детские» доказательства: геометрия против целых чисел

Что видит глаз

Представьте себе прямоугольный треугольник. Теорема Пифагора говорит: a^2 + b^2 = c^2. Пифагоровых троек бесконечно много: 3-4-5, 5-12-13, 8-15-17... Это работает .

А теперь попробуйте построить треугольник со сторонами, скажем, a^3 + b^3 = c^3. Возьмите a = 2, b = 2. Тогда c^3 = 8 + 8 = 16, и c approx 2,52 — не целое число. Перебирайте любые комбинации — целого c не выходит. Геометрическая интуиция подсказывает: при n > 2 целочисленный треугольник «рвётся», углы не сходятся, конструкция разваливается .

Почему это не работает как строгое доказательство

Математика требует большего, чем интуиция. Для n = 4 доказательство ещё элементарно (его нашёл сам Ферма методом бесконечного спуска). Для n = 3 доказательство Эйлера уже сложнее и содержит пробел, который позже закрыли . А для всех n сразу нужен аппарат, которого в XVII веке просто не существовало.

Но сама идея — что при n > 2 конструкция «не склеивается» — оказалась пророческой. Уайлс доказал именно это, только языком не треугольников, а эллиптических кривых.

Мечта о двух строках

Существует ли простое доказательство? Тот самый «детский» вариант, который намекает на себя через геометрическую интуицию?

Строго говоря, математического чуда не произошло — никто не предъявил двухстрочного доказательства, которое устроило бы профессиональное сообщество. Попытки «ферматиков» — любителей, предъявляющих элементарные «доказательства», — регулярно оказываются ошибочными .

Но философский смысл доказательства Уайлса в том, что оно показало: простота формулировки теоремы Ферма обманчива. За ней стоит глубина, сопоставимая с глубиной всей современной теории чисел.

И когда теория чисел дорастёт до строгого обоснования геометрической интуиции — но уже с новых концепций,в позиции совершенно новой математической парадигмы , возможно, теорема Ферма действительно будет доказываться в две строчки. Гениальность Уайлса в том, что он уже сейчас показал — эти две строчки существуют, просто они пока записаны языком эллиптических кривых и модулярных форм.

Источник: vk.com

Комментарии: