Геометрия
Арифметическая геометрия
Цели урока
- Понять схемы над Z как семейства, параметризованные простыми числами
- Освоить теорему Мордела-Вейля о структуре E(Q)
- Знать теорему Фальтингса и классификацию рациональных точек по родам
- Понять гипотезу BSD и её место среди задач Тысячелетия
Предварительные знания
- Алгебраические кривые
- Тропическая геометрия
Почему теорема Ферма потребовала 350 лет доказательства, и как арифметическая геометрия связала её с теорией эллиптических кривых?
- Теорема Ферма: доказательство Уайлса (1995) через модулярность эллиптических кривых - применение арифметической геометрии
- Криптография: ECDSA на secp256k1 (Bitcoin) использует группу E(F_p) - конечнополевой аналог E(Q)
- Задача Тысячелетия BSD: 1 млн долларов за доказательство связи L-функции с рангом E(Q)
- Шифрование в мессенджерах: Signal, WhatsApp, Telegram используют ECDH на кривых Curve25519 и secp256r1
От Диофанта до Уайлса
Диофант в III веке нашей эры изучал рациональные решения уравнений. Безу в XVIII веке начал систематически считать решения. Мордел в 1922 году доказал, что E(Q) конечно-порождённа. Вейль обобщил теорему на любые абелевы многообразия (теорема Мордела-Вейля, 1929). Гротендик в 1960-е создал язык схем. Фальтингс в 1983 году доказал гипотезу Мордела. Уайлс в 1995 году доказал великую теорему Ферма через модулярность - вершина программы Лэнглэндса. BSD по-прежнему открыта.
Схемы над Z и арифметика
1994 год. Эндрю Уайлс доказывает великую теорему Ферма. В доказательстве - эллиптические кривые над Q, модулярные формы, представления Галуа. Все инструменты - из арифметической геометрии. Эта дисциплина изучает геометрические объекты там, где числа имеют арифметическую природу - над Z, Q, конечными полями.
Эллиптическая кривая E над Q - одновременно алгебраический объект (уравнение над Q), геометрический (риманова поверхность над C) и арифметический (группа точек E(Q)). Арифметическая геометрия изучает все три аспекта вместе.
Криптография ECDSA использует группу E(F_p). Теорема Мордела работает над Q. Доказательство теоремы Ферма использует деформации галуа-представлений между разными полями. Одна кривая - несколько миров.
Что утверждает теорема Мордела-Вейля?
Теорема Мордела-Вейля: E(Q) = Z^r + E(Q)_tors. Ранг r (= 0, 1, 2, ...) и торсионная подгруппа E(Q)_tors (конечная по теореме Мазура: 15 типов) - ключевые инварианты.
Теорема Фальтингса и кривые высшего рода
1983 год. Герд Фальтингс доказывает гипотезу Мордела: кривая рода >= 2 над Q имеет конечно много рациональных точек. Доказательство - через многообразие абелевых многообразий и высоты Фальтингса. Одна теорема, 50 лет ожиданий.
Кривые Ферма
Теорема Фальтингса как частный случай
Кривая Ферма C_n: x^n + y^n = 1 имеет род (n-1)(n-2)/2. При n >= 4: rod >= 3 >= 2, и по теореме Фальтингса C_n(Q) конечно. Это означает конечность решений x^n + y^n = z^n в целых числах при фиксированном n >= 4. Великая теорема Ферма - частный случай (n >= 3 простое).
Что гарантирует теорема Фальтингса для кривой рода >= 2 над Q?
Теорема Фальтингса: кривая C рода g >= 2 над числовым полем K имеет конечно много точек |C(K)| < inf. Для сравнения: при g=1 (эллиптическая) точек может быть бесконечно много.
L-функции и гипотеза Бёрча-Суиннертона-Дайера
Одна из семи задач Тысячелетия: гипотеза Бёрча-Суиннертона-Дайера (BSD) связывает аналитический объект (L-функция кривой) с арифметическим (ранг группы рациональных точек). Никто не знает, как её доказать. Приз - 1 млн долларов.
BSD - мост между двумя мирами: аналитическим (свойства L-функции над C) и арифметическим (рациональные точки над Q). Этот мост предсказывает, что в них закодирована одна и та же информация - но как это доказать, никто не знает.
Программа Эллиптических кривых в SageMath (sage.math.ucdavis.edu) вычисляет группу E(Q), ранг, торсионную часть, L-функцию. Это инструмент для экспериментальной математики в арифметической геометрии.
Что предсказывает гипотеза Бёрча-Суиннертона-Дайера?
BSD: ord_{s=1} L(E,s) = rank E(Q). Если кривая имеет бесконечно много рациональных точек (ранг r), то L(E,s) имеет нуль порядка r в точке s=1. Одна из самых красивых связей аналитики и арифметики.
Связи с другими темами
Арифметическая геометрия связывает теорию чисел, криптографию и программу Ленгландса.
- Алгебраические кривые — Эллиптические кривые и кривые рода больше 1 - центральные объекты арифметической геометрии
- Тропическая геометрия — Тропические методы дают комбинаторные модели для p-адических многообразий
- Производная алгебраическая геометрия: введение — Производные стэки - современный язык для модулей арифметических объектов
Итоги
- Схема над Z: семейство с редукциями E mod p; объединяет геометрию над Q и F_p
- Теорема Мордела-Вейля: E(Q) = Z^r + E(Q)_tors; ранг r и кручение определяют группу
- Теорема Фальтингса: кривая рода >= 2 над Q имеет конечно много рациональных точек
- L-функция L(E,s): продукт Эйлера по простым, аналитически продолжается на C
- BSD: ord_{s=1} L(E,s) = rank E(Q) - открытая задача Тысячелетия
- Теорема Ферма: следствие модулярности эллиптических кривых (Уайлс, 1995)
Вопросы для размышления
- Почему для кривых разного рода ситуация с рациональными точками так принципиально различается: конечно много для g=0 или бесконечно (g=0, q=1), бесконечно много (g=1, ранг>=1), конечно (g>=2)?
- Как гипотеза BSD связывает аналитический объект (L-функция в комплексной плоскости) с арифметическим (рациональные точки)?
- Что означает редукция эллиптической кривой mod p, и как теорема Хассе (|E(F_p)| ~ p) связана с L-функцией?
Связанные уроки
- geo-24 — Алгебраические кривые - объекты арифметической геометрии
- geo-27 — Тропикализация над p-адическими полями - инструмент арифметической геометрии
- geo-29 — Производная алгебраическая геометрия работает над любым кольцом
- top-05 — Фундаментальная группа - этальная фундаментальная группа схемы
- geo-26 — Зеркальная симметрия использует арифметические структуры