Фробениусов эндоморфизм

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

Определение

Пусть \( R \) — коммутативное кольцо простой характеристики \( p \) (то есть \( p = 0 \) в \( R \)). Тогда эндоморфизм Фробениуса \( F_R: R \to R \) определяется как

\[ F_R(x) = x^p \quad \text{для всех } x \in R. \]

В силу биномиальной теоремы Ньютона и того, что биномиальные коэффициенты \( \binom{p}{k} \) делятся на \( p \) при \( 0 < k < p \), отображение \( F_R \) является кольцевым гомоморфизмом: \( (x+y)^p = x^p + y^p \) и \( (xy)^p = x^p y^p \). Если кольцо \( R \) является полем, то эндоморфизм Фробениуса инъективен, но не обязательно сюръективен; для конечных полей он является автоморфизмом.

История

Концепция возведения в степень \( p \) в кольцах характеристики \( p \) восходит к работам Эвариста Галуа (1830-е годы), который изучал конечные поля. Галуа показал, что отображение \( x \to x^p \) является автоморфизмом поля \( \mathbb{F}_{p^n} \), порождающим его группу Галуа. Фердинанд Георг Фробениус в 1879 году ввёл понятие «фробениусова автоморфизма» для конечных расширений полей в контексте теории групп. В XX веке, с развитием коммутативной алгебры (работы Оскара Зарисского, Пьера Самуэля) и алгебраической геометрии (Александр Гротендик), эндоморфизм Фробениуса стал центральным инструментом для изучения особенностей, когомологий и \( p \)-адических представлений.

Свойства

Основные свойства

• Гомоморфизм: \( F_R \) является кольцевым гомоморфизмом для любого коммутативного кольца характеристики \( p \).
• Итерации: Композиция \( F_R \) с собой \( n \) раз даёт отображение \( x \to x^{p^n} \), называемое \( n \)-м эндоморфизмом Фробениуса.
• Инъективность: Если \( R \) — область целостности, то \( F_R \) инъективен. В общем случае, ядро \( F_R \) состоит из нильпотентных элементов, для которых \( x^p = 0 \).
• Сюръективность: Для конечных полей \( \mathbb{F}_{p^n} \) эндоморфизм Фробениуса является автоморфизмом (биективным). Для бесконечных полей характеристики \( p \) (например, \( \mathbb{F}_p(t) \)) он не сюръективен — образ состоит из \( p \)-х степеней, что является собственным подполем.

Связь с группой Галуа

Для конечного поля \( \mathbb{F}_{p^n} \) эндоморфизм Фробениуса \( F: x \to x^p \) является образующим элементом циклической группы Галуа \( \operatorname{Gal}(\mathbb{F}_{p^n}/\mathbb{F}_p) \). Порядок \( F \) равен \( n \), и любой автоморфизм поля \( \mathbb{F}_{p^n} \) над \( \mathbb{F}_p \) является степенью \( F^k \). Это свойство обобщается на локальные и глобальные поля: фробениусов автоморфизм (или его класс сопряжённости) играет ключевую роль в теории полей классов и теории представлений Галуа.

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

В алгебраической геометрии эндоморфизм Фробениуса определяется для схем над полем характеристики \( p \). Для схемы \( X \) над \( \mathbb{F}_p \) абсолютный эндоморфизм Фробениуса \( F_X: X \to X \) действует как тождественное отображение на топологическом пространстве и как возведение в степень \( p \) на структурном пучке. Это отображение является морфизмом схем, но не обязательно морфизмом над \( \mathbb{F}_p \). Для изучения когомологий и \( p \)-адических представлений используется относительный эндоморфизм Фробениуса, который является морфизмом над \( \mathbb{F}_p \).

Классификация и виды

Классический эндоморфизм Фробениуса

Определён для любого коммутативного кольца характеристики \( p \). Включает:

• Автоморфизм Фробениуса — для конечных полей и совершенных полей (где каждый элемент имеет \( p \)-й корень).
• Эндоморфизм Фробениуса — для несовершенных полей (например, \( \mathbb{F}_p(t) \)) или колец с нильпотентами.

Арифметический и геометрический эндоморфизмы Фробениуса

В теории полей классов и \( p \)-адических представлений различают:

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

Фробениусов эндоморфизм в дифференциальной алгебре

В контексте \( D \)-модулей и \( p \)-адических дифференциальных уравнений рассматривается фробениусово разложение — представление дифференциального оператора в виде композиции с эндоморфизмом Фробениуса.

Применение

Теория полей и конечные поля

Эндоморфизм Фробениуса является основным инструментом для описания структуры конечных полей. Он позволяет:

• Определять все подполя \( \mathbb{F}_{p^n} \) как неподвижные точки степеней \( F^k \).
• Вычислять след и норму элементов поля.
• Строить представления группы Галуа.

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

В этальных когомологиях и \( l \)-адических когомологиях (где \( l \neq p \)) эндоморфизм Фробениуса действует на когомологических группах, и его следы дают числа точек многообразий над конечными полями (гипотеза Вейля, доказанная Пьером Делинем). В кристаллических когомологиях (характеристика \( p \)) фробениусов эндоморфизм является частью структуры.

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

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

Теория чисел

В теории чисел фробениусов автоморфизм используется для определения символа Артина в полях классов, а также для изучения распределения простых чисел в арифметических прогрессиях (теорема Чеботарёва о плотности). В \( p \)-адической теории Ходжа эндоморфизм Фробениуса связывает когомологии многообразий над \( p \)-адическими полями.

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

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

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

Эндоморфизм Фробениуса не является морфизмом в категории колец над \( \mathbb{F}_p \) в том смысле, что он не сохраняет структуру \( \mathbb{F}_p \)-алгебры: \( F_R(\lambda x) = \lambda^p x^p \neq \lambda x^p \) для \( \lambda \in \mathbb{F}_p \). Это ограничение преодолевается введением относительного эндоморфизма Фробениуса, который является \( \mathbb{F}_p \)-линейным после поднятия до схемы над \( \mathbb{F}_p \). Кроме того, в некоммутативных кольцах эндоморфизм Фробениуса не является гомоморфизмом, что ограничивает его применение в некоммутативной алгебре.

Источники

• Бурбаки Н. Алгебра. Модули, кольца, формы. — М.: Наука, 1966.
• Хартсхорн Р. Алгебраическая геометрия. — М.: Мир, 1981.
• Делинь П. Гипотезы Вейля. — УМН, 1974.
• Мамфорд Д. Лекции по кривым на алгебраической поверхности. — Princeton University Press, 1966.
• Grothendieck A. Éléments de géométrie algébrique. — Publ. Math. IHES, 1960–1967.