В математике глобальное поле — это один из двух типов полей (второй — локальные поля ), которые характеризуются с помощью оценок . Существует два типа глобальных полей : [1]
Аксиоматическая характеристика этих областей с помощью теории оценки была дана Эмилем Артином и Джорджем Уэплсом в 1940-х годах. [2] [3]
Глобальное поле является одним из следующих:
Поле алгебраических чисел F — это конечное (и, следовательно , алгебраическое ) полевое расширение поля рациональных чисел Q. Таким образом, F — это поле, которое содержит Q и имеет конечную размерность, если рассматривать его как векторное пространство над Q.
Функциональное поле алгебраического многообразия — это совокупность всех рациональных функций этого многообразия. О неприводимой алгебраической кривой (т. е . одномерном многообразии V ) над конечным полем мы говорим, что рациональная функция на открытом аффинном подмножестве U определяется как отношение двух многочленов в аффинном координатном кольце U , и что Рациональная функция на всем V состоит из таких локальных данных, которые согласуются на пересечениях открытых аффинов. Технически это определяет рациональные функции на V как поле частных аффинного координатного кольца любого открытого аффинного подмножества, поскольку все такие подмножества плотны.
Между этими двумя типами полей имеется ряд формальных сходств. Поле любого типа обладает тем свойством, что все его пополнения являются локально компактными полями (см. локальные поля ). Каждое поле любого типа можно реализовать как поле частных дедекиндовой области , в которой каждый ненулевой идеал имеет конечный индекс. В каждом случае имеется формула произведения для ненулевых элементов x :
Аналогия между двумя видами полей была сильной движущей силой в теории алгебраических чисел . Идея аналогии между числовыми полями и римановыми поверхностями восходит к Рихарду Дедекинду и Генриху М. Веберу в девятнадцатом веке. Более строгая аналогия, выраженная идеей «глобального поля», в которой аспект римановой поверхности как алгебраической кривой отображается в кривые, определенные над конечным полем, была построена в 1930-х годах, кульминацией которой стала гипотеза Римана для кривых над конечными полями . Андре Вейля в 1940 году. Терминология может быть принадлежит Вейлю, который написал свою « Основную теорию чисел» (1967) частично для того, чтобы выявить параллелизм.
Обычно проще работать с функциональным полем, а затем попытаться разработать параллельные методы для числового поля. Ярким примером является развитие теории Аракелова и ее использование Гердом Фалтингсом в доказательстве гипотезы Морделла . Аналогия также оказала влияние на развитие теории Ивасавы и основной гипотезы . В доказательстве основной леммы программы Ленглендса также использовались приемы, сводящие случай числового поля к случаю функционального поля.
Теорема Хассе -Минковского является фундаментальным результатом теории чисел , который утверждает, что две квадратичные формы над глобальным полем эквивалентны тогда и только тогда, когда они эквивалентны локально во всех местах , то есть эквивалентны над каждым пополнением поля.
Закон взаимности Артина подразумевает описание абелианизации абсолютной группы Галуа глобального поля K , основанное на локально-глобальном принципе Хассе . Его можно описать в терминах когомологий следующим образом:
Пусть L v ⁄ K v — расширение Галуа локальных полей с группой Галуа G . Локальный закон взаимности описывает канонический изоморфизм
называется локальным символом Артина , локальной картой взаимности или нормальным символом вычета . [4] [5]
Пусть L ⁄ K — расширение Галуа глобальных полей, а CL обозначает группу классов идель L . Карты θ v для разных мест v из K можно собрать в одну глобальную карту символов путем умножения локальных компонентов класса idèle. Одно из утверждений закона взаимности Артина состоит в том, что это приводит к каноническому изоморфизму. [6] [7]
