Арифметика
Адели и идели
Можно ли одновременно работать с вещественными и p-адическими числами в единой алгебраической структуре? Адели Шевалле дают ответ - и это открывает путь к теории классов полей и программе Ленглендса.
- **Программа Ленглендса:** автоморфные формы на GL(n, A_Q) - центральный объект, связывающий теорию чисел и теорию представлений
- **L-функции:** L-функции Дирихле как эйлеровы произведения - аделический язык делает разложение прозрачным
- **Криптография:** аделические конструкции в пост-квантовой криптографии (изогенные схемы)
- **Теория чисел:** аделическое доказательство теоремы Кронекера-Вебера элегантнее классического
Предварительные знания
- p-адические числа Q_p
- p-адические нормы и пополнения
- Основы теории Галуа
Аделическое кольцо
В 1940-х Клод Шевалле решил техническую проблему теории чисел: как одновременно работать со всеми пополнениями Q? Ответ - аделическое кольцо A_Q = R x prod'_p Q_p, восстанавливающее 'локально-глобальный' принцип Хассе-Минковского. Сегодня программа Ленглендса формулируется на аделях: автоморфные представления GL(n, A_Q) - центральный объект современной теории чисел.
Сильная теорема аппроксимации: Q плотна в prod'_p Q_p (конечных аделях). Это означает, что для любого конечного набора p-адических приближений найдётся одно рациональное число, удовлетворяющее всем одновременно. Аделическая форма Китайской теоремы об остатках на бесконечное число простых.
Для r=12/35 какие простые p дают |r|_p > 1?
Группа классов идель
Идели I_Q = A_Q^x - обратимые элементы аделей. Группа классов идель C_Q = I_Q / Q^x - аналог группы классов идеалов классической теории чисел. Главная теорема: отображение Артина C_Q -> Gal(Q^ab/Q) - изоморфизм топологических групп. Это теория классов полей, явно описывающая все абелевы расширения Q.
Локальная теория классов полей - параллельная теория для одного p-адического поля: K_p^x / N_{L/K}(L_p^x) изоморфно Gal(L_p^ab/K_p). Глобальная теория собирает локальные в адельную картину - 'локально-глобальный' принцип в действии.
Что утверждает теорема Кронекера-Вебера о максимальном абелевом расширении Q?
Тезис Тейта и L-функции
Джон Тейт в 1950 году в своей знаменитой PhD-диссертации (под научным руководством Артина) переписал классическую теорию L-функций на аделическом языке. Аналитическое продолжение и функциональное уравнение L(s, chi) Дирихле получили концептуальное объяснение через гармонический анализ на A_Q. Эта работа стала основой программы Ленглендса - объединяющей теории чисел и теории представлений.
Место аделей в современной математике
Адели - универсальный язык глобальной теории чисел и арифметической геометрии.
- Программа Ленглендса — Автоморфные представления GL(n, A_K) - центральный объект; функториальность связывает разные группы через L-функции
- Теория модулярных форм — Модулярные формы - это автоморфные формы на GL(2, A_Q) с весом k; аделический язык унифицирует подход
- Арифметическая геометрия — Схемы над Spec(Z) и их аделические точки; теорема Хассе-Минковского о квадратичных формах
- Тезис Тейта — Аналитическое продолжение и функциональное уравнение L-функций - через гармонический анализ на A_Q
Итоги
- **Адельное кольцо:** A_Q = R x prod'_p Q_p; ограниченное произведение всех пополнений Q
- **Диагональное вложение:** Q -> A_Q дискретно, A_Q/Q компактно (аделическое Минковского)
- **Формула произведения:** prod_v |r|_v = 1 для всех r в Q^x
- **Сильная аппроксимация:** Q плотна в конечных аделях (аделическая КТО)
- **Группа классов идель:** C_Q = A_Q^x / Q^x; отображение Артина C_Q -> Gal(Q^ab/Q)
- **Кронекер-Вебер:** Q^ab = Q(zeta_n); Gal(Q^ab/Q) = prod_p Z_p^x
- **Тезис Тейта:** L-функции через гармонический анализ на A_Q; основа программы Ленглендса
Что объединяет дзета-интеграл Тейта с классической L-функцией Дирихле?