Теория чисел
Великая теорема Ферма
Эндрю Уайлс работал над доказательством теоремы Ферма в тайне 7 лет. В 1993 объявил результат - и нашёл ошибку. В 1995 исправил её. 129 страниц открыли целую эпоху: доказательство потребовало модулярных форм, деформаций Галуа и геометрии эллиптических кривых - математики, которой не существовало когда Ферма писал свои поля.
- Связь Ленглендса: программа обобщает доказательство Уайлса на все числовые поля
- Модулярные формы: используются в криптографии и в теории кодирования
- Деформации Галуа: метод Уайлса стал основой для других теорем теории чисел
- Алгоритмы факторизации: кривые Фрая дали идеи для Number Field Sieve
- Алгебраическая K-теория: мотивы Гротендика как обобщение доказательства
- Алгоритм Шора: квантовый алгоритм взломает RSA через теорию чисел
«Поля книги слишком узки» - и математика трудилась 358 лет. Уайлс работал в тайне 7 лет. В 1993 объявил - и нашёл ошибку. В 1995 исправил. 129 страниц в Annals of Mathematics. История FLT - это не просто доказательство теоремы, это рождение целых областей математики: идеальные числа Куммера, кольца Хекке, деформации Галуа, теория модулярных форм.
**О чём этот урок на самом деле:** FLT - это не про целые числа. Это про связь алгебраической геометрии (эллиптические кривые), комплексного анализа (модулярные формы) и теории Галуа. Уайлс не «решил задачу» - он построил мост между тремя мирами.
Хронология: 358 лет
Инструменты доказательства Уайлса
Уайлс использовал концепции, неизвестные в XIX веке. **Деформации Галуа**: как непрерывно меняются p-адические представления группы Галуа? **Кольца Хекке**: алгебры операторов на модулярных формах, контролирующие их L-функции. **Технема R=T** (Уайлс): кольцо деформаций = кольцо Хекке - это ключевой шаг, связывающий геометрию с анализом.
Наследие FLT: открытые проблемы
**FLT и программа Лангландса** Доказательство Уайлса как часть грандиозной связи • Теория Галуа: Представления группы Галуа Q̄/Q. p-адические представления Галуа контролируют арифметику кривых. Деформации Галуа = центральный инструмент Уайлса. • Модулярные формы: Автоморфные представления GL(2). Модулярные формы = функции на H с симметрией. Их L-функции связаны с кривыми через теорему модулярности. Примеры: η-функция Дедекинда, формы Рамануджана. • Эллиптические кривые: Алгебраические кривые рода 1. L(E,s) = произведение по простым. Теорема модулярности: L(E,s) = L(f,s) для некоторой модулярной формы f. Это центральный мост. • Программа Лангландса: Обобщение: GL(n) и группы Ли. Объединяет все L-функции в единую теорию. FLT для GL(2) - первый крупный результат. Глобальная программа остаётся главной целью математики XXI века.
358 лет: от маргиналии до 129 страниц
Пьер де Ферма, 1637 год: «Я нашёл поистине замечательное доказательство, но поля книги слишком узки для него». Так появилось утверждение xⁿ+yⁿ=zⁿ (n>2) без натуральных решений. 358 лет это задача не давала покоя лучшим математикам мира. В 1993 году Эндрю Уайлс объявил о доказательстве - и нашёл ошибку. В сентябре 1995, вместе с Ричардом Тейлором, доказал - 129 страниц в Annals of Mathematics.
Почему для доказательства FLT достаточно рассмотреть только n=4 и нечётные простые p? Опишите логику сведения.
Куммер: идеальные числа и регулярные простые
Ламе (1847) заявил о доказательстве FLT: разложить xᵖ+yᵖ = (x+y)(x+ζy)...(x+ζ^{p-1}y) в кольце Z[ζₚ] и использовать единственность разложения. **Лиувилль немедленно указал ошибку**: единственность разложения на простые элементы может не выполняться в Z[ζₚ]. Куммер исправил это, введя **идеальные числа** - элементы, которые позволяют восстановить единственность.
Что такое регулярное простое в смысле Куммера? Почему нерегулярность не означает, что FLT ложна для этого простого?
Кривая Фрая, Рибет и Уайлс
1985 год: Герхард Фрай замечает, что если aᵖ+bᵖ=cᵖ существует, то эллиптическая кривая E: y² = x(x-aᵖ)(x+bᵖ) имеет очень маленький conductor и нарушает гипотезу Танияма-Симуры. Это кривая Фрая. 1990 год: Кен Рибет строго доказывает: кривая Фрая не является модулярной. 1995 год: Уайлс доказывает, что **все** полустабильные эллиптические кривые над Q модулярны - и FLT следует немедленно.
[FLT ЛОЖНА] | v ∃ aᵖ+bᵖ=cᵖ для некоторого простого p и натуральных a,b,c | v (Фрай, 1985) Определим E_Фрая: y² = x(x-aᵖ)(x+bᵖ) | v (Рибет, 1990) E_Фрая НЕ является модулярной кривой | v (Уайлс+Тейлор, 1995) Ho: КАЖДАЯ полустабильная кривая над Q МОДУЛЯРНА | v [ПРОТИВОРЕЧИЕ] => FLT ИСТИННА
Какую роль играет гипотеза Танияма-Симуры (теорема модулярности) в доказательстве FLT? Почему достаточно было доказать её для полустабильных кривых?
ABC-гипотеза и горизонты теории чисел
Доказательство FLT открыло эру: Уайлс использовал деформации Галуа, кольца Хекке, представления Галуа - арсенал, созданный в XX веке. **Программа Лангландса** объединяет L-функции кривых, модулярные формы и теорию Галуа в единую структуру. ABC-гипотеза (1985) может дать новые простые доказательства FLT и многих других теорем - но пока не доказана.
**Мочидзуки и ABC (2012):** Синъити Мочидзуки опубликовал 500-страничное доказательство ABC-гипотезы через «Inter-universal Teichmüller Theory (IUT)». Сообщество до сих пор изучает текст. Два выдающихся математика (Схольце и Стикс) нашли предполагаемую ошибку в 2018. Мочидзуки настаивает на корректности. Статус: открыт.
Что такое rad(n) и как ABC-гипотеза связана с FLT? Покажите качественно, как ABC влечёт FLT для больших n.
| Год | Математик | Результат |
|---|---|---|
| 1637 | Ферма | Формулировка (без доказательства), n=4 методом спуска |
| 1753 | Эйлер | n=3 |
| 1825 | Дирихле, Лежандр | n=5 |
| 1839 | Ламе | n=7 |
| 1847 | Куммер | Все регулярные простые; идеальные числа |
| 1955 | Танияма, Симура | Гипотеза о модулярности эллиптических кривых |
| 1985 | Фрай | Связь FLT с гипотезой T-S через кривую Фрая |
| 1990 | Рибет | Кривая Фрая не модулярна (Level Lowering) |
| 1995 | Уайлс, Тейлор | Теорема модулярности для полустабильных кривых → FLT |
| Проблема | Статус | Связь с FLT |
|---|---|---|
| ABC-гипотеза | Открыта (Мочидзуки 2012 - под вопросом) | Влечёт FLT и многие диофантовы теоремы |
| BSD-гипотеза | Частично (ранг 0 и 1) | Связь рационных точек кривой с L-функцией |
| Теорема Кэтлана-Михайлеску | Доказана (2002) | xᵃ-yᵇ=1 только 3²-2³=1 |
| Гипотеза Гольдбаха | Открыта | Не связана, но похожий стиль задачи |
| Уравнение Ферма обобщённое | Частично (Беккер et al) | xᵖ+yq=zʳ для конкретных (p,q,r) |
Упражнения
- Объясните логическую цепочку: как теорема модулярности эллиптических кривых влечёт FLT? — FLT ложна → существует aᵖ+bᵖ=cᵖ Фрай: строим E: y²=x(x-aᵖ)(x+bᵖ) - полустабильная кривая Рибет (1990): E не модулярна (Level Lowering theorem) Уайлс: все полустабильные кривые над Q модулярны Противоречие → FLT истинна
- Что такое ABC-гипотеза и почему она важна для теории чисел? — rad(n) = произведение различных простых делителей ABC: a+b=c, gcd=1 → c ≤ C(ε)·rad(abc)^{1+ε} Следствие: FLT для n≥4, теорема Ферма-Каталана, оценки на диофантовы уравнения Гипотеза открыта; Мочидзуки (2012) - спорный статус
Ключевые идеи
- FLT: xⁿ+yⁿ=zⁿ нет решений n>2; доказано Уайлсом в 1995 через 358 лет поисков
- Метод спуска Ферма (n=4), идеальные числа Куммера (регулярные простые) - исторические инструменты
- Кривая Фрая: если FLT ложна → E немодулярна (Рибет 1990); все полустабильные E модулярны (Уайлс 1995)
- Теорема модулярности: L(E,s)=L(f,s) - связь геометрии (кривые) и анализа (модулярные формы)
- rad(n) = произведение различных простых; ABC-гипотеза влечёт FLT и многие диофантовы теоремы
- Доказательство Уайлса - первый крупный результат программы Лангландса; открыло новую эру
Связанные темы
FLT на перекрёстке теории чисел, геометрии и анализа
- Эллиптические кривые — Кривая Фрая - эллиптическая кривая; теорема модулярности Уайлса = теорема об эллиптических кривых
- p-адические числа — Деформации Галуа в p-адических представлениях - ключевой инструмент Уайлса
- Теорема Ферма и Эйлера — Малая теорема Ферма исторически связана, но математически независима от FLT