Теория чисел

Теория Ивасавы

Цели урока

Понять формулу Ивасавы |A_n| = p^{mu*p^n + lambda*n + nu} и смысл инвариантов mu, lambda
Освоить алгебру Ивасавы Lambda = Zp[[T]] и её структурную теорему
Знать главную гипотезу Ивасавы и её связь с p-адическими L-функциями
Понимать приложения: теорему Мазура-Вайлза и результаты Коатса-Вайлза

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

Теория классов полей
L-функции и BSD
Основы p-адического анализа

Почему группы классов числовых полей, расположенных вдоль бесконечной башни расширений, ведут себя настолько регулярно - и как это связано с L-функциями?

Постквантовая криптография: кольцевой LWE использует кольца целых в CM-полях, чья структура описывается теорией Ивасавы
Алгоритмы: атаки на кривые с CM требуют понимания расщепления в Zp-башнях
Теоретическая физика: p-адические квантовые поля используют алгебру Ивасавы как пространство состояний
Алгебраическая K-теория: K-группы числовых полей вдоль башни описываются Lambda-модулями

От наблюдения 1959 года до доказательства 1984

Кенкити Ивасава в 1959 году заметил: порядки p-частей групп классов K_n вдоль башни не растут хаотично, а подчиняются точной формуле. Это было поразительно - никто не ожидал такой регулярности. В 1969 году он сформулировал главную гипотезу: этот рост управляется p-адической L-функцией. 15 лет гипотеза оставалась открытой. В 1984 году Мазур и Вайлз доказали её для Q, используя геометрию модулярных кривых. Метод, разработанный для этого доказательства, стал прообразом инструментария, которым Вайлз воспользовался в 1995 году для теоремы Ферма.

Алгебра Ивасавы и башни расширений

В 1959 году Кенкити Ивасава обнаружил, что порядки p-частей групп классов растут по регулярному закону вдоль башни Zp-расширений числового поля. Его теория стала прообразом программы Лэнглэндса p-адическими методами, использующейся сегодня в криптографии на основе решёток с 256-битной безопасностью.

Для циклотомического Zp-расширения Q гипотеза Vandiver предсказывает mu = 0. Это проверено для всех простых p < 12 000 000, но не доказано в общем случае.

Формула Ивасавы: |A_n| = p^{mu*p^n + lambda*n + nu} при n >> 0. Что происходит при mu = 0 и lambda > 0?

Структурная теорема для Lambda-модулей

Алгебра Ивасавы Lambda = Zp[[T]] - регулярное локальное кольцо размерности 2. Для конечно порождённых Lambda-модулей существует структурная теорема, аналогичная классификации конечно порождённых абелевых групп. Именно она позволяет считывать инварианты mu и lambda из алгебраической структуры.

Доказательство Мазура-Вайлза 1984 использует теорию Галуа для кривых Симуры-Вайля. Рубин в 1991 дал более прямое доказательство через системы Эйлера. Это тот же метод, что использовал Коливагин для BSD.

Lambda-инвариант и ранг класса

Конкретный пример для p=3

Для поля Q(zeta_3) и простого p=3 группа классов тривиальна (h=1). Вдоль башни Q(zeta_{3^{n+1}}) группы классов остаются тривиальными: mu=0, lambda=0. Для Q(sqrt(-23)) и p=3 - ситуация другая: группа классов имеет порядок 3, и вдоль башни она растёт с lambda=1. Это предсказывается тем, что 3 - особый простой для Q(sqrt(-23)).

Что такое характеристический идеал char_Lambda(M) конечно порождённого Lambda-модуля M?

char_Lambda(M) порождается p^{sum mu_i} * prod f_j^{n_j}, где mu_i и f_j берутся из структурной теоремы. Главная гипотеза: этот идеал для X_infty = lim A_n порождается p-адической L-функцией.

p-адические L-функции

p-адические L-функции - аналоги классических L-функций Дирихле, живущие в мире p-адических чисел. Они интерполируют специальные значения L(chi, n) при целых n и являются ключевым объектом в p-адической гипотезе BSD.

Объект	Классический	p-адический аналог
L-функция	L(chi, s), s in C	L_p(chi, s), s in Z_p
Область сходимости	Re(s) > 1	Весь Z_p (после интерполяции)
Специальные значения	L(chi, n), n in Z	То же при n >=1
Связь с геометрией	BSD для E(Q)	p-адическая BSD (Мазур-Тейт-Тейтельбаум)

p-адическая BSD - отдельная гипотеза, отличная от обычной BSD. Её частично доказал Коатс-Вайлз (1977) для кривых с CM. Она предсказывает порядок нуля p-адической L-функции через ранг плюс поправки от группы Шафаревича-Тейта.

Что интерполирует p-адическая L-функция L_p(chi, s)?

L_p(chi, s) - p-адически непрерывная функция на Z_p, совпадающая с L(chi, n) (с поправкой Эйлерова множителя) при n = 1, 2, 3, ... Это p-адическая аналитическая интерполяция дискретных значений.

Приложения: доказательство главной гипотезы и BSD

Теория Ивасавы - не просто красивая структура. Она используется для доказательства конкретных теорем: от главной гипотезы Мазура-Вайлза (1984) до результатов Коатса-Вайлза о BSD для CM-кривых.

Метод систем Эйлера, развитый Коливагиным и Рубиным, позволяет доказывать включение характеристического идеала в идеал L-функции. Обратное включение требует тяжёлой алгебраической геометрии - кривых Симуры и корреспонденций Гекке.

Теорема Коатса-Вайлза для CM-кривых

Частичная BSD через теорию Ивасавы

Коатс и Вайлз (1977) доказали: для эллиптической кривой E с CM над K, если L(E,1) не равно нулю, то E(K) конечна. Доказательство использует p-адическую L-функцию, построенную через алгоритм Ивасавы для CM-поля. Это первое серьёзное свидетельство BSD в сторону доказательства - за 13 лет до результата Коливагина.

Что доказали Мазур и Вайлз в 1984 году с помощью теории Ивасавы?

Мазур и Вайлз 1984: main conjecture верна для Q. char_Lambda(X_infty) = (L_p(T, omega)) как идеалы в Lambda = Z_p[[T]]. Это связывает рост групп классов с p-адическими L-значениями.

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

Теория Ивасавы - мост между классической теорией чисел и современной p-адической геометрией.

Когомологии Галуа — Связанная тема
Алгебраическая K-теория — Связанная тема
p-адическая геометрия — Связанная тема

Итоги

Формула Ивасавы: |A_n| = p^{mu*p^n + lambda*n + nu} при n >> 0 вдоль Zp-башни
Lambda = Zp[[T]] - алгебра Ивасавы, действующая на X_infty = lim A_n
Структурная теорема: M ~ Lambda^r + сумма циклических Lambda-модулей
Главная гипотеза (Мазур-Вайлз 1984): char_Lambda(X_infty) = (L_p) в Lambda
p-адическая L-функция интерполирует значения L(chi, n) при целых n в p-адической топологии

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

Почему регулярность роста групп классов вдоль башни - нетривиальный факт, а не прямое следствие определений?
Как главная гипотеза Ивасавы связана с гипотезой BSD: в чём аналогия и в чём отличие?
Почему метод систем Эйлера, разработанный для теории Ивасавы, оказался применим к BSD и теореме Ферма?

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

nt-24-class-field-theory — Теория классов полей - язык для описания Zp-расширений
nt-23 — L-функции и BSD - мотивация для p-адических L-функций
nt-26-langlands — Программа Лэнглэндса - обобщение, включающее теорию Ивасавы