Глобальное поле (IlkQgl,uky hkly)

Глобальное поле — это поле одного из двух видов:

поле алгебраических чисел, то есть конечное расширение поля рациональных чисел $\mathbb {Q}$ ,

или

глобальное поле функций, то есть поле функций на алгебраической кривой над конечным полем, или эквивалентно, конечное расширение $\mathbb {F} _{q}(T)$ — поля рациональных функций от одной переменной над конечным полем $\mathbb {F} _{q}$ из $q$ элементов.

Аксиоматическая характеризация таких полей через теорию показателей была дана Эмилем Артином и Джорджом Воплесом в 1940-м.^[1]

Определение

Глобальное поле — это одно из следующих полей:

Поле алгебраических чисел

Поле алгебраических чисел $F$ является конечным расширением (и, следовательно, алгебраическим расширением) полем рациональных чисел $\mathbb {Q}$ . Таким образом, $F$ — это поле, которое содержит $\mathbb {Q}$ , и имеет конечную размерность как векторное пространство над $\mathbb {Q}$ .

Поле функций на алгебраической кривой над конечным полем

Поле функций на многообразии — это множество всех рациональных функций на этом многообразии. На алгебраической кривой (то есть на одномерном многообразии $V$ ) над конечным полем мы говорим, что рациональная функция на открытом аффинном подмножестве $U$ определена как отношение двух многочленов в аффинном координатном кольце $U$ , причём мы считаем, что любые две такие функции эквивалентны, если они совпадают на пересечении их открытых аффинных множеств. Это технически определяет рациональные функции на $V$ как поле отношений аффинных координатных колец любых аффинных подмножеств, поскольку всё множество всех таких подмножеств плотно.

Аналогия между двумя классами полей

Существует ряд формальных сходств между двумя типами полей. Независимо от типа поля все его пополнения являются локально компактными полями (см. Локальное поле). Каждое поле любого типа может быть реализовано как поле отношений дедекиндова кольца, в котором каждый ненулевой идеал имеет конечный индекс. В каждом случае существует «формула произведения» для ненулевых элементов $x$ :

\prod \limits _{v}|x|_{v}=1.\

Аналогия между двумя видами полей была сильной движущей силой в алгебраической теории чисел. Идея аналогии между полями алгебраических чисел и римановой поверхностью восходит к Дедекинду и Веберу в девятнадцатом веке. Более строгая аналогия, выраженная идеей глобального поля, в которой аспект римановой поверхности как алгебраической кривой, отображенной на кривые, определенные над конечным полем, была создана в 1930-х годах, что привело к гипотезе Римана для кривых над конечными полями, обоснованные Вейлем в 1940 году. Терминология может быть связана с Вейлем, который написал свою «Basic Number Theory» (1967) частично для разработки аналогии.

Как правило, легче работать в случае поля функций, а затем пытаться разработать аналогичную технику на стороне числового поля. Драматический пример — развитие теории Аракелова и её использование Фалтингсом в его доказательстве гипотезы Морделла. Аналогия также влияла на развитие теории Ивасавы и её Главной Гипотезы. В доказательстве фундаментальной леммы в программе Ленглендса также использовались методы, которые сводили числовое поле к случаю функционального поля.

Теоремы

Теорема Минковского-Хассе

Теорема Минковского — Хассе — это фундаментальный результат в теории чисел, который утверждает, что две квадратичные формы над глобальным полем эквивалентны тогда и только тогда, когда они эквивалентны над локальными полями, то есть эквивалентны в любом пополнении поля.

Закон взаимности Артина

Из закона взаимности Артина вытекает описание абелианизации абсолютной группы Галуа глобального поля $K$ , которое основано на принципе Хассе. Его можно описать в терминах когомологий следующим образом:

Пусть $L_{v}/K_{v}$ — расширение Галуа локального поля с группой Галуа $G$ . Тогда локальный закон взаимности описывает канонический изоморфизм

\theta _{v}:K_{v}^{\times }/N_{L_{v}/K_{v}}(L_{v}^{\times })\to G^{\mathrm {ab} },

который называется локальный символ Артина.^[2]^[3]

Пусть $L/K$ — расширение Галуа глобального поля, а $C_{L}$ — группа классов иделей $L$ . Отображения $\theta _{v}$ для разных $K_{v}$ могут быть собраны в единый глобальный символ через произведение локальных компонент класса иделя. Одним из утверждений закона «взаимности Артина» является то, что это приводит к каноническому изоморфизму^[4]^[5]

Примечания

↑ Artin & Whaples, 1945 and Artin & Whaples, 1946
↑ Serre (1967) p.140
↑ Serre (1979) p.197
↑ Neukirch (1999) p.391
↑ Jurgen Neukirch, Algebraische Zahlentheorie, Springer, 1992, p. 408. In fact, a more precise version of the reciprocity law keeps track of the ramification.

Ссылки

Artin, Emil; Whaples, George (1945), "Axiomatic characterization of fields by the product formula for valuations", Bull. Amer. Math. Soc., 51: 469—492, doi:10.1090/S0002-9904-1945-08383-9, MR 0013145
Artin, Emil; Whaples, George (1946), "A note on axiomatic characterization of fields", Bull. Amer. Math. Soc., 52: 245—247, doi:10.1090/S0002-9904-1946-08549-3, MR 0015382
J.W.S. Cassels, «Global fields», in J.W.S. Cassels and A. Frohlich (eds), Algebraic number theory, Academic Press, 1973. Chap.II, pp. 45-84.
J.W.S. Cassels, «Local fields», Cambridge University Press, 1986, ISBN 0-521-31525-5. P.56.
Neukirch, Jurgen; Schmidt, Alexander; Wingberg, Kay (2008), Cohomology of Number Fields, Grundlehren der Mathematischen Wissenschaften, vol. 323 (Second ed.), Berlin: Springer-Verlag, doi:10.1007/978-3-540-37889-1, ISBN 978-3-540-37888-4, MR 2392026, Zbl 1136.11001

[1] Artin & Whaples, 1945 and Artin & Whaples, 1946

[Ser140-2] Serre (1967) p.140

[S79197-3] Serre (1979) p.197

[N99391-4] Neukirch (1999) p.391

[5] Jurgen Neukirch, Algebraische Zahlentheorie, Springer, 1992, p. 408. In fact, a more precise version of the reciprocity law keeps track of the ramification.

[1]

[2]

[3]

[4]

[5]