Автоморфизм Фробениуса

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

Определение

Автоморфизм Фробениуса определяется для конечного поля \(\mathbb{F}_q\) (где \(q = p^n\) — степень простого числа \(p\)) как отображение \(\varphi: \mathbb{F}_q \to \mathbb{F}_q\), заданное правилом:

\[ \varphi(x) = x^p. \]

Это отображение является автоморфизмом поля, так как для любых \(a, b \in \mathbb{F}_q\) выполняются условия:

• \(\varphi(a + b) = (a + b)^p = a^p + b^p = \varphi(a) + \varphi(b)\) (в характеристике \(p\) выполняется равенство \((a + b)^p = a^p + b^p\));
• \(\varphi(ab) = (ab)^p = a^p b^p = \varphi(a) \varphi(b)\);
• \(\varphi(1) = 1\);
• \(\varphi\) биективно, так как конечное поле \(\mathbb{F}_q\) является полем характеристики \(p\), и отображение \(x \mapsto x^p\) инъективно (если \(a^p = b^p\), то \((a - b)^p = 0\), откуда \(a = b\)), а в конечном множестве инъекция равносильна сюръекции.

Автоморфизм \(\varphi\) называется автоморфизмом Фробениуса (или эндоморфизмом Фробениуса) для поля \(\mathbb{F}_q\). Его порядок в группе автоморфизмов \(\text{Aut}(\mathbb{F}_q)\) равен \(n\), так как \(\varphi^n(x) = x^{p^n} = x^q = x\) для всех \(x \in \mathbb{F}_q\) (поскольку каждый элемент конечного поля удовлетворяет уравнению \(x^q = x\)), а меньшие степени не дают тождественного отображения.

Свойства

Группа Галуа конечного расширения

Для расширения полей \(\mathbb{F}_{q^m} / \mathbb{F}_q\) (где \(q = p^n\), а \(m\) — натуральное число) автоморфизм Фробениуса \(\varphi\) поля \(\mathbb{F}_{q^m}\) оставляет неподвижными элементы подполя \(\mathbb{F}_q\) (так как для \(x \in \mathbb{F}_q\) выполняется \(x^p = x\)? На самом деле, для \(\mathbb{F}_q\) условие неподвижности: \(x^q = x\). Автоморфизм \(\varphi\) поля \(\mathbb{F}_{q^m}\) задаётся как \(x \mapsto x^q\). Тогда \(\varphi\) является образующей группы Галуа \(\text{Gal}(\mathbb{F}_{q^m} / \mathbb{F}_q)\), которая является циклической порядка \(m\). Таким образом, автоморфизм Фробениуса — это канонический образующий элемент группы Галуа конечного расширения конечных полей.

Артинов символ

В теории чисел, для расширений числовых полей (или, более общо, для расширений глобальных полей) автоморфизм Фробениуса обобщается до так называемого символа Артина (или автоморфизма Фробениуса для простого идеала). Пусть \(L/K\) — расширение Галуа числовых полей с группой Галуа \(G\). Для простого идеала \(\mathfrak{p}\) кольца целых чисел поля \(K\), неразветвлённого в \(L\), выбирается простой идеал \(\mathfrak{P}\) кольца целых чисел поля \(L\), лежащий над \(\mathfrak{p}\). Тогда существует единственный элемент \(\text{Frob}_{\mathfrak{P}} \in G\), такой что для любого \(x \in \mathcal{O}_L\) (кольца целых \(L\)) выполняется:

\[ \text{Frob}_{\mathfrak{P}}(x) \equiv x^{N(\mathfrak{p})} \pmod{\mathfrak{P}}, \]

где \(N(\mathfrak{p}) = |\mathcal{O}_K / \mathfrak{p}|\) — норма идеала \(\mathfrak{p}\). Этот элемент называется автоморфизмом Фробениуса для \(\mathfrak{P}\). Его класс сопряжённости в \(G\) не зависит от выбора \(\mathfrak{P}\) над \(\mathfrak{p}\) и обозначается \(\text{Frob}_{\mathfrak{p}}\). В случае, когда расширение абелево (то есть \(G\) абелева), \(\text{Frob}_{\mathfrak{p}}\) определён однозначно.

Эндоморфизм Фробениуса в алгебраической геометрии

Для алгебраического многообразия \(X\), определённого над конечным полем \(\mathbb{F}_q\), эндоморфизм Фробениуса действует на точках \(X(\overline{\mathbb{F}}_q)\) (где \(\overline{\mathbb{F}}_q\) — алгебраическое замыкание) как отображение:

\[ \text{Frob}_X: (x_0 : x_1 : \dots : x_n) \mapsto (x_0^q : x_1^q : \dots : x_n^q) \]

в проективном пространстве. Это морфизм многообразий, который играет ключевую роль в гипотезах Вейля и в теории \(L\)-функций. Неподвижные точки эндоморфизма Фробениуса соответствуют точкам многообразия, определённым над \(\mathbb{F}_q\).

История

Понятие автоморфизма Фробениуса восходит к работам немецкого математика Фердинанда Георга Фробениуса (1849–1917), который в конце XIX века исследовал эндоморфизмы конечных полей и их связь с теорией групп. Фробениус ввёл отображение \(x \mapsto x^p\) для конечных полей характеристики \(p\) и показал, что оно является автоморфизмом. Позднее, в начале XX века, это понятие было обобщено Эмилем Артином и Хельмутом Хассе на случай числовых полей, что привело к созданию теории полей классов.

Применение

• Теория кодирования: Автоморфизм Фробениуса используется при построении циклических кодов и кодов Рида — Соломона, где конечные поля играют центральную роль.
• Криптография: В криптосистемах на основе эллиптических кривых (например, ECDSA) автоморфизм Фробениуса применяется для ускорения вычислений при помощи метода Фробениуса — эндоморфизма.
• Теория чисел: Автоморфизм Фробениуса лежит в основе определения \(L\)-функций Артина и гипотезы Вейля, которая была доказана Пьером Делинем в 1974 году.
• Алгебраическая геометрия: Эндоморфизм Фробениуса используется для изучения этальных когомологий и для подсчёта числа точек на алгебраических многообразиях над конечными полями.

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

• В конечных полях автоморфизм Фробениуса является единственным автоморфизмом, порождающим всю группу Галуа расширения. Это свойство делает его «каноническим» выбором образующей.
• В контексте арифметической геометрии автоморфизм Фробениуса можно рассматривать как аналог «замены переменной» в положительной характеристике, что приводит к интересным явлениям, таким как «кривые Фробениуса» и «эндоморфизм Фробениуса на абелевых многообразиях».
• Для конечных полей автоморфизм Фробениуса является биекцией, но для бесконечных полей положительной характеристики отображение \(x \mapsto x^p\) может не быть сюръективным (например, для поля \(\mathbb{F}_p(t)\) оно не сюръективно). В таких случаях говорят об эндоморфизме Фробениуса, а не об автоморфизме.

Источники

• Ленг С. «Алгебра». — М.: Мир, 1968.
• Вейль А. «Основы теории чисел». — М.: Мир, 1972.
• Хартсхорн Р. «Алгебраическая геометрия». — М.: Мир, 1981.
• Нойкирх Ю. «Теория чисел». — М.: Физматлит, 2003.
• Боревич З. И., Шафаревич И. Р. «Теория чисел». — М.: Наука, 1985.