Теория чисел

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

Цели урока

  • Понять соответствие Лэнглэндса: Galois-представления <-> автоморфные формы с совпадением L-функций
  • Знать теорему модулярности как полный случай соответствия для GL_2 над Q
  • Разобраться в гипотезе функциональности и её конкретных случаях
  • Иметь представление о геометрической программе Лэнглэндса

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

  • Теория Ивасавы
  • Автоморфные формы и операторы Гекке
  • Теория классов полей
  • Теория Ивасавы
  • Теория классов полей

Почему доказательство теоремы Ферма - о целых числах - требует глубокого понимания аналитических функций на полуплоскости? Ответ: программа Лэнглэндса.

  • Криптография: доказательство модулярности определяет безопасность ECDH через структуру L-функций
  • Машинное обучение: архитектуры трансформеров формально аналогичны операторам Гекке на пространствах состояний
  • Квантовые вычисления: геометрическая программа Лэнглэндса используется в топологической квантовой теории поля
  • Теоретическая физика: S-дуальность в теории суперструн - зеркальный аналог геометрического соответствия Лэнглэндса

17-страничное письмо, изменившее математику

Январь 1967 года. Роберт Лэнглэндс пишет Андре Вейлю письмо, начинающееся словами: 'Если это будет прочитано как чистая спекуляция, а не как серьёзная математика, я объясню свои идеи.' Письмо содержит 17 страниц и набросок программы, объединяющей теорию чисел, представлений и геометрию. Вейль вежливо ответил, что не понимает. За следующие 57 лет математики по кусочкам доказывали разделы этой программы: Лаффорг (функциональные поля, медаль Филдса 2002), Нго Бао Чау (основная лемма, медаль Филдса 2010), и наконец в 2024 году - геометрическое соответствие для унитарных групп.

Соответствие Лэнглэндса

В 1967 году Роберт Лэнглэндс написал 17-страничное письмо Андре Вейлю, в котором изложил грандиозную программу объединения теории чисел, геометрии и теории представлений. Доказательство теоремы Ферма Вайлзом в 1995 году использовало частный случай этой программы, а к 2024 году вся программа для унитарных групп доказана командой из 9 математиков.

Теория классов полей - абелев случай программы Лэнглэндса: соответствие Gal(K^ab/K) ~ A_K^x/K^x - это локальная версия для GL_1. Программа Лэнглэндса обобщает это на GL_n и произвольные редуктивные группы.

В соответствии Лэнглэндса гомоморфизмы rho: Gal(K-bar/K) -> GL_n(C) соответствуют автоморфным формам Pi для GL_n. Что даёт это соответствие?

Соответствие для GL_2: теорема модулярности

Самый конкретный и наиболее изученный случай программы Лэнглэндса - соответствие для GL_2 над Q. Здесь автоморфные представления - это модулярные формы уровня N, а соответствующие представления Галуа - 2-мерные l-адические. Этот случай полностью доказан и имеет революционные следствия.

Теорема Ферма как следствие

Кривая Фрея и соответствие GL_2

Предположим a^n + b^n = c^n для простого n >= 5. Фрей строит кривую E: y^2 = x(x-a^n)(x+b^n). По теореме Рибе (1990), если такая кривая существует, она не может быть модулярной. Теорема модулярности Вайлза говорит, что все эллиптические кривые над Q модулярны. Противоречие. Теорема Ферма доказана. Всё доказательство - это реализация соответствия Лэнглэндса для GL_2.

Что означает модулярность эллиптической кривой E/Q в смысле соответствия Лэнглэндса?

Модулярность E: существует f in S_2(Gamma_0(N)) с L(E,s) = L(f,s). Коэффициенты a_p кривой совпадают с a_p формы. Это конкретная реализация соответствия Лэнглэндса для GL_2.

Геометрическая программа Лэнглэндса

Геометрическая версия программы Лэнглэндса заменяет числовые поля на функциональные поля алгебраических кривых. Здесь соответствие между представлениями Галуа и автоморфными формами приобретает геометрический смысл через D-модули и перверсные пучки.

Геометрическое соответствие Лэнглэндса доказал Фрэнкель и другие для GL_n над функциональными полями. В 2024 году прорыв: Бен-Цви, Чен, Надлер и другие доказали версию геометрического соответствия над комплексным числовым полем.

ВерсияОбъектыМетодСтатус
Функциональные поляF_q(C), GL_nГеометрические пучкиДоказана (Лаффорг 2002)
Числовые поляQ, GL_nПредставления GL_n(A_Q)Частично: GL_2 полностью
ГеометрическаяКривые/CD-модули, стекиДоказана 2024 (унитарные группы)
p-адическаяQ_p, GL_np-адические представленияВ разработке

Что соответствует автоморфным формам в геометрической версии программы Лэнглэндса?

В геометрической версии: локальные системы (= представления pi_1) <-> D-модули на Bun_G. D-модули, являющиеся собственными объектами операторов Гекке - геометрический аналог автоморфных форм.

Функциональность и базисное изменение

Функциональность - центральная гипотеза программы Лэнглэндса. Она утверждает: гомоморфизм L-групп L_H -> L_G должен переводить автоморфные представления H в автоморфные представления G, сохраняя L-функции. Это мощный инструмент для сравнения теорий для разных групп.

Функциональность в полной общности открыта. Даже для GL_2 -> GL_3 через симметрический квадрат - частный случай, доказанный Геладзе в 1978 году. Каждый новый случай требует новых методов.

Гипотеза Рамануджана как следствие функциональности

Связь оценки коэффициентов с функциональностью

Гипотеза Рамануджана для GL_2: |a_p| <= 2p^{(k-1)/2} для коэффициентов модулярной формы веса k. В языке Лэнглэндса это утверждение о темперированности: все локальные компоненты Pi_v являются темперированными представлениями. Делинь доказал для весовых форм через когомологии (гипотезы Вейля). Для форм Маасса - до сих пор открыто.

Что предсказывает функциональность Лэнглэндса для гомоморфизма r: L_H -> L_G?

Функциональность Лэнглэндса: r: L_H -> L_G дает перенос Pi_H ~> Pi_G с L(s,Pi_H) = L(s,Pi_G). Доказано для базисного изменения (Arthur-Clozel 1989) и симметрических степеней для малых n.

Связи с другими темами

Программа Лэнглэндса - центральная объединяющая программа современной математики.

  • Теория представлений — Связанная тема
  • Алгебраическая геометрия — Связанная тема
  • Теоретическая физика — Связанная тема

Итоги

  • Соответствие Лэнглэндса: {rho: Gal -> GL_n} <-> {автоморфные формы Pi для GL_n}, L(s,rho) = L(s,Pi)
  • Теория классов полей - абелев случай (GL_1): Gal(K^ab/K) ~ A_K^x/K^x
  • Теорема модулярности (Вайлз 1995) - полный случай для GL_2 над Q; следствие - теорема Ферма
  • Функциональность: гомоморфизм r: L_H -> L_G переводит автоморфные формы с сохранением L-функций
  • Геометрическая версия: локальные системы <-> D-модули на Bun_G; доказана в 2024 для унитарных групп

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

  • Почему теория классов полей - это ровно GL_1-случай программы Лэнглэндса, и что мешает обобщить её доказательство на GL_n?
  • Как функциональность Лэнглэндса может использоваться для доказательства аналитического продолжения L-функций?
  • В чём смысл того, что геометрическое соответствие Лэнглэндса связано с S-дуальностью в суперсимметричной калибровочной теории?

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

  • nt-25-iwasawa-theory — Теория Ивасавы - p-адическое приближение к программе Лэнглэндса
  • nt-28 — Автоморфные формы - основные объекты программы Лэнглэндса
  • nt-24-class-field-theory — Теория классов полей - абелев случай программы Лэнглэндса для GL_1
Программа Лэнглэндса

0

1

Войти