В математике локальная теория полей классов , введенная Гельмутом Хассе [1] , является изучением абелевых расширений локальных полей ; здесь «локальное поле» означает поле, которое является полным относительно абсолютного значения или дискретного оценивания с конечным полем вычетов: следовательно, каждое локальное поле изоморфно ( как топологическое поле) действительным числам R , комплексным числам C , конечному расширению p -адических чисел Q p ( где p — любое простое число ) или полю формальных рядов Лорана F q (( T )) над конечным полем F q .
Локальная теория полей классов дает описание группы Галуа G максимального абелева расширения локального поля K с помощью отображения взаимности, которое действует из мультипликативной группы K × = K \{0}. Для конечного абелева расширения L поля K отображение взаимности индуцирует изоморфизм фактор-группы K × / N ( L × ) поля K × по группе норм N ( L × ) расширения L × в группу Галуа Gal( L / K ) расширения. [2]
Теорема существования в локальной теории полей классов устанавливает взаимно-однозначное соответствие между открытыми подгруппами конечного индекса в мультипликативной группе K × и конечными абелевыми расширениями поля K . Для конечного абелева расширения L поля K соответствующая открытая подгруппа конечного индекса является группой нормы N ( L × ). Отображение взаимности переводит высшие группы единиц в высшие подгруппы ветвления, см., например, гл. IV [3]
Используя локальное отображение взаимности, определяется символ Гильберта и его обобщения. Нахождение явных формул для него является одним из направлений теории локальных полей, оно имеет долгую и богатую историю, см., например, обзор Сергея Востокова . [4]
Существуют когомологические подходы и негомологические подходы к локальной теории полей классов. Когомологические подходы, как правило, неявны, поскольку они используют кубковое произведение первых групп когомологий Галуа.
О различных подходах к локальной теории полей классов см. гл. IV и раздел 7 гл. IV книги [5]. Они включают подход Хассе с использованием группы Брауэра , когомологические подходы, явные методы Юргена Нойкирха , Михиля Хазевинкеля , теорию Любина-Тейта и другие.
Обобщения локальной теории полей классов на локальные поля с квазиконечным полем вычетов были простыми расширениями теории, полученными Г. Уэйплсом в 1950-х годах, см. главу V [ необходимо разъяснение ] . [6]
Явная теория полей p-класса для локальных полей с совершенными и несовершенными полями вычетов, которые не являются конечными, должна иметь дело с новой проблемой групп норм бесконечного индекса. Соответствующие теории были построены Иваном Фесенко . [7] [8] Некоммутативная локальная теория полей классов Фесенко для арифметически проконечных расширений Галуа локальных полей изучает соответствующее локальное отображение взаимности коцикла и его свойства. [9] Эту арифметическую теорию можно рассматривать как альтернативу локальному соответствию Ленглендса в теории представлений.
Для более многомерного локального поля существует более высокое локальное отображение взаимности, которое описывает абелевы расширения поля в терминах открытых подгрупп конечного индекса в K-группе Милнора поля. А именно, если - -мерное локальное поле, то используется или его отделенное фактор-множество, наделенное подходящей топологией. Когда теория становится обычной локальной теорией полей классов. В отличие от классического случая, K-группы Милнора не удовлетворяют спуску по модулю Галуа, если . Общая многомерная локальная теория полей классов была разработана К. Като и И. Фесенко .
Высшая локальная теория полей классов является частью высшей теории полей классов , которая изучает абелевы расширения (соответственно, абелевы накрытия) полей рациональных функций собственных регулярных схем, плоских над целыми числами.