Поле классов Гильберта

Поле классов Гильберта — это максимальное абелево неразветвленное расширение поля алгебраических чисел. Иными словами, для заданного числового поля \(K\) его поле классов Гильберта \(H\) является таким расширением Галуа, что группа Галуа \(\operatorname{Gal}(H/K)\) абелева, все простые идеалы поля \(K\) не разветвляются в \(H\) (то есть расширение неразветвленно во всех конечных и бесконечных точках), и \(H\) является максимальным среди всех таких расширений. Поле классов Гильберта играет центральную роль в теории полей классов — одном из фундаментальных разделов алгебраической теории чисел, связывающем арифметику поля с его группой классов идеалов.

История и происхождение

Концепция поля классов Гильберта восходит к работам Давида Гильберта конца XIX — начала XX века. В 1898–1902 годах Гильберт в серии статей, посвященных теории полей классов, сформулировал гипотезу о существовании для любого числового поля \(K\) такого конечного расширения \(H\), что группа Галуа \(\operatorname{Gal}(H/K)\) изоморфна группе классов идеалов \(\operatorname{Cl}(K)\). Эта гипотеза стала известна как «теорема Гильберта о полях классов» (или «теорема о существовании поля классов Гильберта»). Первое строгое доказательство было получено Филиппом Фуртвенглером в 1907 году, который показал, что для любого числового поля \(K\) существует конечное абелево неразветвленное расширение \(H\) с группой Галуа, изоморфной \(\operatorname{Cl}(K)\). Впоследствии теория была обобщена Эмилем Артином, Гельмутом Хассе и другими математиками, что привело к созданию общей теории полей классов.

Определение и основные свойства

Формальное определение

Пусть \(K\) — числовое поле (конечное расширение поля \(\mathbb{Q}\)). Поле классов Гильберта \(H\) поля \(K\) — это максимальное расширение Галуа поля \(K\), удовлетворяющее следующим условиям:

1. Расширение \(H/K\) является абелевым (группа Галуа \(\operatorname{Gal}(H/K)\) абелева).
2. Расширение \(H/K\) неразветвлено во всех простых идеалах поля \(K\) (включая бесконечные простые числа, то есть вещественные и комплексные архимедовы точки).

Связь с группой классов идеалов

Фундаментальное свойство поля классов Гильберта — изоморфизм между его группой Галуа и группой классов идеалов поля \(K\): \[ \operatorname{Gal}(H/K) \cong \operatorname{Cl}(K). \] Этот изоморфизм устанавливается с помощью отображения Артина (или символа Артина), которое каждому простому идеалу \(\mathfrak{p}\) поля \(K\) (не разветвленному в \(H\)) сопоставляет элемент группы Галуа — автоморфизм Фробениуса. В случае поля классов Гильберта отображение Артина сюръективно, а его ядро состоит из главных идеалов, что и дает изоморфизм.

Размерность поля классов Гильберта

Степень расширения \([H:K]\) равна порядку группы классов \(\operatorname{Cl}(K)\). Таким образом, поле классов Гильберта тем больше, чем сложнее арифметика поля \(K\) (чем больше нетривиальных классов идеалов). В частности, если группа классов \(\operatorname{Cl}(K)\) тривиальна (то есть \(K\) — поле с однозначным разложением на множители), то \(H = K\).

Примеры

Поле рациональных чисел

Для \(K = \mathbb{Q}\) группа классов \(\operatorname{Cl}(\mathbb{Q})\) тривиальна (состоит только из единичного класса). Следовательно, поле классов Гильберта совпадает с самим \(\mathbb{Q}\): \(H = \mathbb{Q}\).

Мнимые квадратичные поля

Рассмотрим мнимое квадратичное поле \(K = \mathbb{Q}(\sqrt{-5})\). Его группа классов имеет порядок 2 (классы порождаются идеалом \((2, 1+\sqrt{-5})\)). Поле классов Гильберта \(H\) является расширением степени 2 над \(K\). Оно может быть найдено как \(H = K(\sqrt{-1}) = \mathbb{Q}(\sqrt{-5}, i)\). Действительно, это расширение неразветвлено над \(K\) (все простые идеалы, кроме, возможно, некоторых, не разветвляются), и его группа Галуа изоморфна \(\mathbb{Z}/2\mathbb{Z}\), что соответствует группе классов.

Круговые поля

Для кругового поля \(K = \mathbb{Q}(\zeta_n)\), где \(\zeta_n\) — примитивный корень из единицы степени \(n\), группа классов может быть нетривиальной. Например, для \(n=23\) группа классов имеет порядок 3, и поле классов Гильберта является расширением степени 3 над \(K\). В общем случае вычисление поля классов Гильберта для круговых полей связано с проблемой Бернулли и гипотезой Вандивера.

Построение и вычисление

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

Существование поля классов Гильберта для любого числового поля гарантируется теоремой Гильберта (доказанной Фуртвенглером). Конструктивное построение, однако, может быть сложным. Для квадратичных полей поле классов Гильберта часто является расширением, порожденным квадратными корнями из некоторых чисел, связанных с дискриминантом поля. Для полей высших степеней используются методы теории комплексного умножения (для мнимых квадратичных полей) или общие алгоритмы теории полей классов.

Алгоритмические аспекты

В современной вычислительной теории чисел существуют алгоритмы, позволяющие вычислять поле классов Гильберта для полей с небольшим дискриминантом. Например, в системе компьютерной алгебры PARI/GP есть функция bnrclassfield, которая строит поле классов Гильберта для заданного числового поля. Эти алгоритмы основаны на вычислении группы классов, решетки единиц и использовании теории полей классов.

Связь с другими понятиями

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

Поле классов Гильберта является частным случаем более общего понятия «поля классов» для модуля. В теории полей классов каждому модулю \(\mathfrak{m}\) (формальному произведению простых идеалов и бесконечных точек) сопоставляется максимальное абелево расширение, неразветвленное вне \(\mathfrak{m}\). Поле классов Гильберта соответствует модулю \(\mathfrak{m} = 1\) (то есть без условий разветвления).

Комплексное умножение

Для мнимых квадратичных полей поле классов Гильберта может быть построено с помощью эллиптических кривых с комплексным умножением. А именно, если \(K\) — мнимое квадратичное поле, то его поле классов Гильберта порождается значениями \(j\)-инварианта эллиптических кривых, имеющих комплексное умножение на порядок в \(K\). Это дает явное описание и позволяет вычислять поле классов Гильберта через модулярные функции.

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

Для поля \(K = \mathbb{Q}\) поле классов Гильберта тривиально, но существует обобщение: максимальное абелево расширение \(\mathbb{Q}\) (которое является полем классов Гильберта для модуля, включающего все простые числа) есть круговое поле, то есть объединение всех полей \(\mathbb{Q}(\zeta_n)\). Это утверждение известно как теорема Кронекера — Вебера.

Применение

Решение диофантовых уравнений

Поле классов Гильберта используется при изучении разрешимости уравнений в целых числах. Например, для мнимого квадратичного поля \(K\) существование нетривиального поля классов Гильберта указывает на то, что в \(K\) нет однозначного разложения на множители, что влияет на решения уравнений типа \(x^2 + 5y^2 = p\).

Арифметика эллиптических кривых

В теории эллиптических кривых поле классов Гильберта мнимого квадратичного поля \(K\) связано с точками кручения на эллиптических кривых с комплексным умножением. Это используется в доказательстве теоремы о модулярности и в криптографии на эллиптических кривых.

Теория чисел и алгебраическая геометрия

Поле классов Гильберта является ключевым объектом в программе Ленглендса, где абелевы расширения связываются с автоморфными формами. Оно также появляется в теории мотивов и в гипотезе Бёрча — Свиннертон-Дайера.

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

• Поле классов Гильберта может быть бесконечным, если рассматривать бесконечные расширения (например, максимальное абелево неразветвленное расширение поля \(\mathbb{Q}\) бесконечно, но оно не является полем классов Гильберта в классическом смысле, так как не конечно).
• Для поля \(K = \mathbb{Q}(\sqrt{-23})\) поле классов Гильберта имеет степень 3 и является кубическим расширением, порожденным корнем многочлена \(x^3 - x^2 - 2x + 1\).
• Существует гипотеза (гипотеза Вандивера), связанная с полями классов Гильберта круговых полей, которая до сих пор не доказана в общем виде.

Источники

• Нойкирх, Юрген. Алгебраическая теория чисел. — М.: МЦНМО, 2003.
• Ленг, Серж. Алгебраическая теория чисел. — М.: Мир, 1970.
• Кох, Хельмут. Теория полей классов. — М.: Мир, 1982.
• Cohen, Henri. Advanced Topics in Computational Number Theory. — Springer, 2000.
• Washington, Lawrence C. Introduction to Cyclotomic Fields. — Springer, 1997.