Теория Ивасавы

Изучение объектов арифметического интереса над бесконечными башнями числовых полей

В теории чисел теория Ивасавы — это изучение объектов арифметического интереса над бесконечными башнями числовых полей . Она началась как теория модулей Галуа групп идеальных классов , инициированная Кенкичи Ивасавой  (1959) (岩澤健吉), как часть теории циклотомических полей . В начале 1970-х годов Барри Мазур рассмотрел обобщения теории Ивасавы на абелевы многообразия . Совсем недавно (в начале 1990-х годов) Ральф Гринберг предложил теорию Ивасавы для мотивов .

Формулировка

Ивасава работал с так называемыми -расширениями: бесконечными расширениями числового поля с группой Галуа, изоморфной аддитивной группе p-адических целых чисел для некоторого простого p . ( В ранних работах они назывались -расширениями. ^[1] ) Каждая замкнутая подгруппа имеет вид так что по теории Галуа -расширение - это то же самое, что и башня полей ${\displaystyle \mathbb {Z} _{p}}$ ${\displaystyle F}$ ${\displaystyle \Gamma }$ ${\displaystyle \Gamma }$ ${\displaystyle \Gamma }$ ${\displaystyle \Gamma ^{p^{n}},}$ ${\displaystyle \mathbb {Z} _{p}}$ ${\displaystyle F_{\infty }/F}$

${\displaystyle F=F_{0}\subset F_{1}\subset F_{2}\subset \cdots \subset F_{\infty }}$

так что Ивасава изучал классические модули Галуа , задавая вопросы о структуре модулей ${\displaystyle \operatorname {Gal} (F_{n}/F)\cong \mathbb {Z} /p^{n}\mathbb {Z} .}$ ${\displaystyle F_{n}}$ ${\displaystyle F_{\infty }.}$

В более общем плане теория Ивасавы задает вопросы о структуре модулей Галуа над расширениями с группой Галуа как p-адической группой Ли .

Пример

Пусть будет простым числом, а будет полем, порожденным корнями степени th из единицы. Ивасава рассмотрел следующую башню числовых полей: ${\displaystyle p}$ ${\displaystyle K=\mathbb {Q} (\mu _{p})}$ ${\displaystyle \mathbb {Q} }$ ${\displaystyle p}$

${\displaystyle K=K_{0}\subset K_{1}\subset \cdots \subset K_{\infty },}$

где - поле, образованное присоединением к p n ^{+1 -му} корню из единицы и ${\displaystyle K_{n}}$ ${\displaystyle K}$

${\displaystyle K_{\infty }=\bigcup K_{n}.}$

Тот факт, что подразумевает, по бесконечной теории Галуа, что Для того, чтобы получить интересный модуль Галуа, Ивасава взял идеальную группу классов , и пусть будет ее p -торсионной частью. Существуют карты норм всякий раз , когда , и это дает нам данные обратной системы . Если мы положим ${\displaystyle \operatorname {Gal} (K_{n}/K)\simeq \mathbb {Z} /p^{n}\mathbb {Z} }$ ${\displaystyle \operatorname {Gal} (K_{\infty }/K)\simeq \varprojlim _{n}\mathbb {Z} /p^{n}\mathbb {Z} =\mathbb {Z} _{p}.}$ ${\displaystyle K_{n}}$ ${\displaystyle I_{n}}$ ${\displaystyle I_{m}\to I_{n}}$ ${\displaystyle m>n}$

${\displaystyle I=\varprojlim I_{n},}$

то нетрудно увидеть из конструкции обратного предела, что является модулем над Фактически, является модулем над алгеброй Ивасавы . Это 2-мерное , регулярное локальное кольцо , и это позволяет описывать модули над ним. Из этого описания можно восстановить информацию о p -части группы классов ${\displaystyle I}$ ${\displaystyle \mathbb {Z} _{p}.}$ ${\displaystyle I}$ ${\displaystyle \Lambda =\mathbb {Z} _{p}[[\Gamma ]]}$ ${\displaystyle K.}$

Мотивация здесь в том, что p -кручение в группе идеальных классов уже было определено Куммером как главное препятствие к прямому доказательству Великой теоремы Ферма . ${\displaystyle K}$

Связи с p-адическим анализом

С этого начала в 1950-х годах была построена существенная теория. Была замечена фундаментальная связь между теорией модулей и p-адическими L-функциями , которые были определены в 1960-х годах Куботой и Леопольдтом. Последние начинают с чисел Бернулли и используют интерполяцию для определения p-адических аналогов L-функций Дирихле . Стало ясно, что теория имеет перспективы окончательного продвижения вперед из результатов Куммера столетней давности о регулярных простых числах .

Ивасава сформулировал основную гипотезу теории Ивасавы как утверждение, что два метода определения p-адических L-функций (теорией модулей, интерполяцией) должны совпадать, поскольку это было хорошо определено. Это было доказано Мазуром и Уайлсом (1984) для и для всех полностью вещественных числовых полей Уайлсом (1990). Эти доказательства были смоделированы по образцу доказательства Кена Рибета обратной теоремы к теореме Эрбрана (так называемой теоремы Эрбрана–Рибета ). ${\displaystyle \mathbb {Q} }$

Карл Рубин нашел более элементарное доказательство теоремы Мазура-Уайлса, используя системы Эйлера Колывагина , описанные в работах Лэнга (1990) и Вашингтона (1997), а позднее доказал другие обобщения основной гипотезы для мнимых квадратичных полей.

Обобщения

Группа Галуа бесконечной башни, начальное поле и вид изучаемого арифметического модуля могут быть изменены. В каждом случае существует основная гипотеза , связывающая башню с p -адической L-функцией.

В 2002 году Кристофер Скиннер и Эрик Урбан заявили о доказательстве основной гипотезы для GL (2). В 2010 году они опубликовали препринт (Skinner & Urban 2010).

Смотрите также

• Теорема Ферреро–Вашингтона
• Модуль Тейта числового поля

Ссылки

Источники

• Коутс, Дж .; Суджата, Р. (2006), Циклотомические поля и дзета-значения , Springer Monographs in Mathematics, Springer-Verlag , ISBN 978-3-540-33068-4, ЗБЛ  1100.11002
• Гринберг, Ральф (2001), «Теория Ивасавы — прошлое и настоящее», в Мияке, Кацуя (ред.), Теория полей классов — ее столетие и перспективы (Токио, 1998) , Adv. Stud. Pure Math., т. 30, Токио: Math. Soc. Japan, стр. 335–385, ISBN 978-4-931469-11-2, MR  1846466, Zbl  0998.11054
• Ивасава, Кенкичи (1959), «О Γ-расширениях полей алгебраических чисел», Бюллетень Американского математического общества , 65 (4): 183–226, doi : 10.1090/S0002-9904-1959-10317-7 , ISSN  0002 -9904, МР  0124316, Збл  0089.02402
• Като, Казуя (2007), «Теория и обобщения Ивасавы» (PDF) , в Санс-Соле, Марта ; Сория, Хавьер; Варона, Хуан Луис; и др. (ред.), Международный конгресс математиков. Том. Я , Евр. Математика. Soc., Цюрих, стр. 335–357, номер документа : 10.4171/022-1/14, ISBN. 978-3-03719-022-7, MR  2334196, архивировано из оригинала (PDF) 2017-09-22 , извлечено 2011-05-08
• Ланг, Серж (1990), Циклотомические поля I и II, Graduate Texts in Mathematics , т. 121, с приложением Карла Рубина (объединенное 2-е изд.), Берлин, Нью-Йорк: Springer-Verlag , ISBN 978-0-387-96671-7, ЗБЛ  0704.11038
• Мазур, Барри ; Уайлс, Эндрю (1984), "Поля классов абелевых расширений Q ", Inventiones Mathematicae , 76 (2): 179–330, Bibcode : 1984InMat..76..179M, doi : 10.1007/BF01388599, ISSN  0020-9910, MR  0742853, S2CID  122576427, Zbl  0545.12005
• Нойкирх, Юрген ; Шмидт, Александр; Вингберг, Кей (2008), Когомологии числовых полей , Grundlehren der Mathematischen Wissenschaften, vol. 323 (второе изд.), Берлин: Springer-Verlag , номер документа : 10.1007/978-3-540-37889-1, ISBN. 978-3-540-37888-4, MR  2392026, Zbl  1136.11001
• Рубин, Карл (1991), «Основные гипотезы» теории Ивасавы для мнимых квадратичных полей», Inventiones Mathematicae , 103 (1): 25–68, Bibcode : 1991InMat.103...25R, doi : 10.1007/BF01239508, ISSN  0020-9910, S2CID  120179735, Збл  0737.11030
• Скиннер, Крис; Урбан, Эрик (2010), Основные гипотезы Ивасавы для GL2 (PDF) , стр. 219
• Вашингтон, Лоуренс К. (1997), Введение в циклотомические поля, Graduate Texts in Mathematics, т. 83 (2-е изд.), Берлин, Нью-Йорк: Springer-Verlag, ISBN 978-0-387-94762-4
• Уайлс, Эндрю (1990), «Гипотеза Ивасавы для полностью вещественных полей», Annals of Mathematics , 131 (3): 493–540, doi :10.2307/1971468, JSTOR  1971468, Zbl  0719.11071.

Цитаты

1. Гринберг, Ральф. «Воспоминания профессора Ивасавы» . Получено 25 сентября 2021 г.

Дальнейшее чтение

• де Шалит, Эхуд (1987), Теория Ивасавы эллиптических кривых с комплексным умножением. p -адические функции L , Перспективы в математике, т. 3, Бостон и т. д.: Academic Press, ISBN 978-0-12-210255-4, ЗБЛ  0674.12004

Внешние ссылки

• «Теория Ивасавы», Энциклопедия математики , EMS Press , 2001 [1994]