Теория чисел

Теория классов полей

Цели урока

Понять главную теорему теории классов полей: Gal(K^ab/K) изоморфна группе идельных классов
Знать отображение Артина и символ Артина для простых идеалов
Разобраться в структуре локальной теории классов для Q_p
Применить теорию к расщеплению простых в поле классов Гильберта

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

L-функции и BSD
Теория Галуа
Основы алгебраической теории чисел

Какие простые числа являются суммой двух квадратов? Ответ связан с тем, как эти числа расщепляются в Q(i) - и теория классов полей объясняет почему.

Криптография: структура абелевых расширений определяет группы точек эллиптических кривых над конечными полями
Алгоритмы факторизации: метод числового решета использует факторизацию в расширениях числовых полей
Коды над алгебраическими кривыми: AG-коды используют расщепление простых в функциональных полях
Квантовая криптография: постквантовые системы на решётках опираются на кольца целых в CM-полях

От Гаусса до Артина: 120 лет от частного к общему

Карл Гаусс в 1801 году доказал закон квадратичной взаимности - один из красивейших результатов теории чисел. Он предчувствовал более общую структуру, но инструментов не было. Давид Гильберт в 1900 году в 12-й проблеме поставил задачу: описать все абелевы расширения числового поля через явные аналитические функции. Частичный ответ дали Такаги (1920) и Артин (1927). Полную теорию завершили Чевалле (1940) с помощью идел. Программа Лэнглэндса - неабелево обобщение, открытое по сей день.

Рецепрочность Артина и абелевы расширения

В 1927 году Эмиль Артин доказал закон взаимности, объединив все ранее известные законы взаимности (Гаусса, Кубический, Биквадратный) в единую формулу. Современные криптосистемы на базе эллиптических кривых, защищающие 5 триллионов долларов ежедневных транзакций, опираются на структуру абелевых расширений числовых полей.

Символ Лежандра (p/q) - это частный случай символа Артина для расширения Q(sqrt(q))/Q. Закон квадратичной взаимности - следствие рецепрочности Артина. Вся классическая теория взаимности упаковывается в одну формулу.

Что говорит главная теорема теории классов полей о группе Gal(K^ab/K) для числового поля K?

Локальная теория классов полей

Локальная теория классов полей описывает абелевы расширения локальных полей (Q_p, конечных расширений Q_p). Она проще глобальной - нет задачи о принципе Хассе - и служит строительным блоком для глобальной теории.

Теорема Кронекера-Вебера - глобальный аналог: каждое абелево расширение Q содержится в циклотомическом поле Q(zeta_n). Это доказывается через локальную теорию классов полей для всех простых одновременно.

Закон взаимности как частный случай

Квадратичная взаимность через теорию классов

Расщепление нечётного простого q в Q(sqrt(p)) полностью определяется символом (p/q). По теории классов это равносильно: q расщепляется тогда и только тогда, когда p является квадратом в Q_q^x. Из этого, применяя рецепрочность Артина к произведению мест, выводится классический закон квадратичной взаимности Гаусса.

Чему изоморфна Gal(Q_p^ab / Q_p) по локальной теории классов полей?

Локальная теория классов: Gal(Q_p^ab/Q_p) изоморфна Q_p^x через отображение взаимности. Неразветвлённая часть соответствует Z, порождённому Фробениусом.

Идели и глобальная теория

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

Объект	Локальная версия	Глобальная версия
Поле	Q_p (локальное)	K (числовое)
Группа	K_v^x	A_K^x / K^x (идельные классы)
Расширения	Q_p^ab	K^ab
Изоморфизм Артина	K_v^x -> Gal(K_v^ab/K_v)	A_K^x/K^x -> Gal(K^ab/K)

Условие рецепрочности Артина (произведение символов = 1) - нетривиальный факт, эквивалентный тому, что диагональное вложение K^x лежит в ядре отображения Артина. Это формализует идею: глобальное поле знает о своих локальных расширениях.

Зачем вводить идели вместо обычных дробных идеалов в глобальной теории классов полей?

Идели - правильный язык для записи глобальной теории: они учитывают все места одновременно, включая архимедовы, и позволяют формально определить отображение Артина как произведение локальных.

Приложения: расщепление простых и поле классов Гильберта

Теория классов полей отвечает на конкретные вопросы: какие простые числа расщепляются в данном расширении? Что такое максимальное неразветвлённое расширение? Для этого используется поле классов Гильберта - центральный объект арифметики числовых полей.

Q(sqrt(-5)): классы и расщепление

Пример с нефакториальным кольцом

Кольцо Z[sqrt(-5)] не является факториальным: 6 = 2 * 3 = (1+sqrt(-5)) * (1-sqrt(-5)) - два разложения. Группа классов идеалов Cl(Q(sqrt(-5))) имеет порядок 2. Поле классов Гильберта - это Q(sqrt(-5), sqrt(-1)) = Q(sqrt(-5), i). Простое p расщепляется полностью в этом расширении тогда и только тогда, когда идеал (p) в Z[sqrt(-5)] является главным.

Как теория классов полей описывает расщепление простых в поле классов Гильберта H_K?

Поле классов Гильберта H_K: Gal(H_K/K) = Cl(K) через Артина. Простое p расщепляется полностью тогда и только тогда, когда его класс в Cl(K) тривиален - то есть (p) является главным идеалом.

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

Теория классов полей - центральный результат алгебраической теории чисел, связывающий анализ, алгебру и геометрию.

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

Итоги

Главная теорема: Art_K: A_K^x / K^x -> Gal(K^ab/K) - топологический изоморфизм
Символ Артина (L/K, p) = Frob_p - Фробениус для нераздвоенного простого идеала p
Поле классов Гильберта H_K: Gal(H_K/K) = Cl(K), расщепление p в H_K - главность (p)
Закон квадратичной взаимности - следствие рецепрочности Артина для Q(sqrt(p))/Q
Теорема Кронекера-Вебера: каждое абелево расширение Q - подполе циклотомического поля

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

Почему для неабелевых расширений (группа Галуа не коммутативна) теория классов полей перестаёт работать и нужна программа Лэнглэндса?
Как связаны поле классов Гильберта и нефакториальность кольца целых: почему h_K > 1 ровно когда Z_K не факториально?
В чём принципиальное отличие локального отображения Артина от глобального?

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

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