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

Теория полей классов — это раздел алгебраической теории чисел, изучающий абелевы расширения (конечные расширения с абелевой группой Галуа) полей алгебраических чисел и полей алгебраических функций. Основная цель теории — установить взаимно однозначное соответствие между абелевыми расширениями данного поля и определёнными объектами, связанными с этим полем (такими как группы классов идеалов, группы норм или характеры). Теория полей классов является одной из центральных и наиболее глубоких ветвей современной теории чисел, объединяющей идеи Галуа, алгебраической геометрии и гармонического анализа.

История

Истоки: квадратичные и круговые поля

Корни теории полей классов восходят к работам Карла Фридриха Гаусса, который в начале XIX века исследовал квадратичные поля и их связь с квадратичными вычетами. Гаусс сформулировал закон квадратичной взаимности, который описывает, когда одно простое число является квадратичным вычетом по модулю другого. Этот закон стал первым примером «взаимности» — ключевой идеи, лежащей в основе теории полей классов.

В 1830-х годах Эрнст Куммер развил теорию круговых полей (полей, получаемых присоединением корней из единицы) и показал, что многие свойства простых чисел в этих полях подчиняются закономерностям, связанным с группами классов. Леопольд Кронекер в 1850-х годах сформулировал знаменитую теорему Кронекера — Вебера, которая утверждает, что любое абелево расширение поля рациональных чисел является подполем некоторого кругового поля. Это стало первым крупным результатом теории полей классов.

Развитие в конце XIX — начале XX века

В 1880-х годах Давид Гильберт начал систематическое изучение абелевых расширений числовых полей. Он ввёл понятие поля классов Гильберта — максимального абелева неразветвлённого расширения данного поля, которое взаимно однозначно соответствует группе классов идеалов. Гильберт также сформулировал программу построения теории полей классов, которая была реализована в последующие десятилетия.

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

Современный этап

В 1930-х годах Эмиль Артин (США) ввёл символ Артина, который обобщает закон квадратичной взаимности на произвольные абелевы расширения. Символ Артина является ключевым инструментом для построения взаимности между абелевыми расширениями и группами иделей. В 1940-х годах Клод Шевалле (Франция) разработал теорию иделей, которая позволила единообразно описывать абелевы расширения как для числовых, так и для функциональных полей.

В 1960-х годах Джон Тейт (США) и Кенкичи Ивасава (Япония) развили теорию полей классов в рамках когомологической алгебры, что привело к созданию «современной» теории полей классов, основанной на группах когомологий Галуа. В 1970-х годах Пьер Делинь (Франция) и Дэвид Мамфорд (США) применили идеи теории полей классов к алгебраической геометрии, что привело к развитию теории модулярных форм и эллиптических кривых.

Основные понятия

Абелевы расширения

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

Идели и группы классов

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

Символ Артина

Символ Артина — это гомоморфизм из группы иделей в группу Галуа абелева расширения, который обобщает символ Лежандра для квадратичных полей. Для простого идеала p символ Артина (p, L/K) определяет, как p разлагается в расширении L/K. Символ Артина является центральным элементом теории полей классов, так как он позволяет вычислять разложение простых чисел в абелевых расширениях.

Основные теоремы

Теорема существования

Теорема существования утверждает, что для любого числового поля K существует взаимно однозначное соответствие между абелевыми расширениями L/K и подгруппами конечного индекса в группе иделей K, содержащими группу норм. Это соответствие задаётся отображением L → N_{L/K}(I_L), где N_{L/K} — норма из L в K. Теорема существования является основой для построения всех абелевых расширений.

Теорема взаимности Артина

Теорема взаимности Артина утверждает, что символ Артина задаёт изоморфизм между группой иделей K, факторизованной по группе норм, и группой Галуа абелева расширения L/K. Этот изоморфизм является каноническим и не зависит от выбора простых чисел. Теорема взаимности обобщает закон квадратичной взаимности Гаусса на произвольные абелевы расширения.

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

Теорема о поле классов Гильберта утверждает, что для любого числового поля K существует максимальное абелево неразветвлённое расширение H(K), называемое полем классов Гильберта. Группа Галуа H(K)/K изоморфна группе классов идеалов K. Это расширение является единственным и обладает свойством, что любое простое число, неразветвлённое в K, полностью разлагается в H(K). Поле классов Гильберта играет ключевую роль в теории чисел, например, в решении проблемы о представимости целых чисел квадратичными формами.

Применения

Закон квадратичной взаимности

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

Эллиптические кривые и модулярные формы

Теория полей классов тесно связана с теорией эллиптических кривых и модулярных форм. Например, теорема о модулярности (доказанная Эндрю Уайлсом и его последователями) утверждает, что каждая эллиптическая кривая над полем рациональных чисел является модулярной, что является частным случаем общих принципов теории полей классов. Кроме того, теория полей классов используется для изучения кручения на эллиптических кривых и для построения абелевых расширений с помощью эллиптических единиц.

Криптография

Теория полей классов находит применение в криптографии, особенно в построении криптосистем на основе эллиптических кривых и в теории решёток. Например, алгоритмы, основанные на свойствах полей классов Гильберта, используются для построения криптосистем с открытым ключом, устойчивых к квантовым атакам.

Интересные факты

• Теория полей классов является одной из немногих областей математики, где удалось полностью классифицировать все абелевы расширения для произвольных числовых полей. Для неабелевых расширений (например, для расширений с группой Галуа, изоморфной симметрической группе S_n) такая классификация до сих пор не найдена.
• Поле классов Гильберта для поля рациональных чисел Q является самим Q, так как группа классов Q тривиальна. Для поля Q(√-5) поле классов Гильберта имеет степень 2 и содержит √-1.
• Теория полей классов была использована для доказательства гипотезы Вейля о дзета-функциях алгебраических многообразий (доказана Пьером Делинем в 1974 году), что является одним из величайших достижений математики XX века.

Критика и ограничения

Теория полей классов, несмотря на свою мощь, имеет ограничения. Она классифицирует только абелевы расширения, оставляя неабелевы расширения (например, расширения с группой Галуа, изоморфной S_3 или A_5) вне своего охвата. Для неабелевых расширений требуется более сложная теория, такая как программа Ленглендса, которая связывает представления групп Галуа с автоморфными формами. Кроме того, теория полей классов не даёт явных методов построения абелевых расширений для произвольных полей, хотя для некоторых частных случаев (например, для круговых полей) такие методы существуют.

Источники

• Нейкирх, Ю. (1999). Алгебраическая теория чисел. Springer.
• Ленг, С. (1994). Алгебраическая теория чисел. Springer.
• Такаги, Т. (1920). Теория полей классов. Университет Токио.
• Артин, Э. (1927). Теория полей классов. Гёттинген.
• Шевалле, К. (1940). Теория иделей. Париж.