L-функции и гипотеза Римана

Почему простые числа 'знают' о нулях комплексной функции? Гипотеза Римана - это не просто красивое утверждение: от неё зависят тысячи теорем и безопасность криптографии. А программа Лангландса - это попытка написать единый язык для всей математики, где теория Галуа и автоморфные формы оказываются двумя сторонами одной монеты.

• **Тест Миллера:** детерминированный (без рандомизации) при условии GRH - используется в криптографии для проверки простоты
• **Теорема Уайлса:** доказательство FLT - прямое следствие программы Лангландса для GL(2)
• **BSD и криптография:** ранг эллиптических кривых связан с L-функциями; алгоритмы нахождения рациональных точек опираются на BSD

Предварительные знания

• Analytic Number Theory: An Overview
• Elliptic Curves

Дзета-функция Римана и критическая полоса

TLS 1.3 (RFC 8446, 2018) использует эллиптические кривые и L-функции Дирихле для key exchange: 256-bit security за 1 ms. **Дзета-функция Римана** ζ(s) = sum_{n=1}^{inf} 1/n^s (Re(s) > 1) аналитически продолжается на всю комплексную плоскость (кроме s=1). Её нули определяют распределение простых чисел. **Гипотеза Римана:** все нетривиальные нули лежат на критической прямой Re(s) = 1/2.

Явная формула Римана: pi(x) = Li(x) - sum_{rho: zeta(rho)=0} Li(x^rho) - log(2) + ..., где сумма по нетривиальным нулям rho. Если ГР истинна, то |pi(x) - Li(x)| < (1/8pi) * sqrt(x) * log(x). Известно: вычислены первые 10^13 нулей - все на критической прямой.

L-функции Дирихле

**L-функция Дирихле** - обобщение ζ(s): L(s, χ) = sum_{n=1}^{inf} χ(n)/n^s, где χ - характер Дирихле (мультипликативная функция mod q). Дирихле использовал их для доказательства своей теоремы: в любой арифметической прогрессии a, a+q, a+2q, ... (gcd(a,q)=1) содержится бесконечно много простых.

GRH: для каждого характера Дирихле χ все нетривиальные нули L(s, χ) лежат на Re(s) = 1/2. GRH влечёт: формулу простых в прогрессиях с ошибкой O(sqrt(x)*log(x)); эффективную версию теоремы Дирихле; улучшенные оценки в проверке простоты (тест Миллера без рандомизации при GRH).

Гипотеза Бёрча-Свиннертон-Дайера

**BSD-гипотеза** (1965) - одна из 7 задач тысячелетия: ранг группы E(Q) (количество независимых рациональных точек) равен порядку нуля L(E, 1) в точке s=1. Это связывает аналитический объект (L-функция) с алгебраическим (рациональные точки).

По теореме Мордела-Вейля: E(Q) = Z^r ⊕ E(Q)_tors, где r - ранг (свободный ранг). BSD: r = ord_{s=1} L(E, s). Известно: BSD доказана для r=0 и r=1 (Коливагин-Гросс-Загье, 1989). Вычислительно: кривая y^2=x^3-x имеет r=0; y^2=x^3-x+1 имеет r=1; y^2=x^3-432*x+8208 имеет r=3.

Программа Лангландса

**Программа Лангландса** (с 1967) - грандиозный проект: установить соответствие между автоморфными формами (обобщение модулярных форм) и представлениями группы Галуа. Это «Grand Unified Theory» математики - объединяет теорию чисел, алгебраическую геометрию и теорию представлений.

Локальное соответствие Лангландса (доказано Харрис-Тейлор 2001): для GL(n) над p-адическими полями. Глобальное соответствие: для GL(2) над Q - теорема Уайлса (T-S). Геометрическая программа Лангландса: над полями функций (Дринфельд 1983, Лаффорг 2002 - оба Fields Medal). Функторальность: L-функции автоморфных форм совпадают с L-функциями представлений Галуа.

Ключевые идеи

• **Гипотеза Римана:** нетривиальные нули ζ(s) лежат на Re(s)=1/2; контролирует ошибку в pi(x) ~ Li(x)
• **L-функции Дирихле:** L(s,χ) = sum χ(n)/n^s; L(1,χ) ≠ 0 => бесконечно много простых в прогрессии
• **BSD-гипотеза:** rank E(Q) = ord_{s=1} L(E,s) - связывает алгебру кривой с аналитикой L-функции
• **Программа Лангландса:** глобальное соответствие Galois ↔ автоморфные формы; T-S - её частный случай

Связанные темы

L-функции объединяют всю современную теорию чисел:

• Распределение простых чисел — Нули ζ(s) напрямую определяют ошибку в теореме о простых числах
• Эллиптические кривые — L(E,s) - L-функция кривой; BSD связывает её нули с рациональными точками
• Теорема Ферма - история и доказательство — Теорема Уайлса (T-S) - частный случай программы Лангландса для GL(2)

Вопросы для размышления

• Почему нули дзета-функции - комплексного аналитического объекта - управляют распределением простых чисел - дискретного арифметического объекта? Какая глубинная связь здесь стоит?
• BSD-гипотеза - задача тысячелетия с призом $1M. Что известно на сегодня? Почему доказательство для ранга >= 2 принципиально труднее?
• Программа Лангландса называют 'Grand Unified Theory' математики. Что именно она 'объединяет' - и почему физики тоже ею интересуются?

Связанные уроки

• calc-03-limits-intro