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

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

Definition

Теория полей классов устанавливает соответствие между конечными абелевыми расширениями числового поля и определенными фактор-группами его иделической группы классов (или обобщенных групп классов идеалов), при этом отображение взаимности Артина обеспечивает канонический изоморфизм на группу Галуа каждого расширения.

Scope

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

Core questions

• Как отображение Артина переводит арифметические данные в автоморфизмы Галуа, и почему это закон взаимности?
• Какие подгруппы иделической группы классов соответствуют каким абелевым расширениям (теорема существования)?
• Что такое поле классов Гильберта, и как его группа Галуа восстанавливает группу классов идеалов?
• Как теорема Кронекера-Вебера описывает каждое абелево расширение рациональных чисел?

Key theories

Взаимность Артина

Для абелева расширения отображение Артина, переводящее каждое неразветвленное простое число в его Фробениус, расширяется до изоморфизма из обобщенной группы классов идеалов на группу Галуа, что является обширным обобщением квадратичной взаимности.

Теорема существования и поле классов Гильберта

Каждая открытая подгруппа конечного индекса в иделической группе классов является группой норм единственного абелева расширения; поле классов Гильберта является максимальным неразветвленным, с группой Галуа, канонически изоморфной группе классов идеалов.

Теорема Кронекера-Вебера

Каждое конечное абелево расширение рациональных чисел содержится в круговом поле, порожденном корнями из единицы, что является первым и прототипическим примером явной теории полей классов.

Clinical relevance

Теория полей классов формирует основу программы Ленглендса и результатов модулярности, лежащих в основе доказательства Великой теоремы Ферма; явные формы, включая комплексное умножение, также лежат в основе конструкций, используемых в криптографии на основе эллиптических кривых и изогений.

History

Гильберт выдвинул гипотезу о существовании поля классов и поставил основные проблемы около 1900 года. Такаги доказал теорему существования в 1920 году, Артин установил закон взаимности в 1927 году, а введение иделий Шевалье в 1930-х годах придало теории ее современную адельную форму, подготовив почву для программы Ленглендса.

Key figures

• David Hilbert
• Teiji Takagi
• Emil Artin
• Helmut Hasse

Seminal works

• cox2013

Frequently asked questions

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

Квадратичная взаимность — это простейший случай: она описывает абелево расширение, полученное присоединением квадратного корня, а взаимность Артина обобщает ее на все абелевы расширения любого числового поля.

Что такое поле классов Гильберта?

Это наибольшее абелево расширение числового поля, которое неразветвлено повсюду; его группа Галуа естественно изоморфна группе классов идеалов поля, поэтому его степень равна числу классов.