K
p
)
.
В 1893 году Deutsche Mathematiker-Vereinigung 8 обратилось к Гильберту и Минковскому с просьбой подготовить в течение двух лет обзор по теории чисел. Спустя некоторое время Минковский выбыл из участия в этом проекте. Монументальный обзор Гильберта Die Theorie der algebraischen Zahlkorper появился в Jahresbericht 9 в 1896 году (предисловие датировано апрелем 1897 года). Представленный Гильбертом труд в бесконечное число раз превосходил всё то, на что могло рассчитывать Общество. На самом деле его обзор представляет собой жемчужину математической литературы. Даже сегодня, спустя почти пятьдесят лет, изучение этой книги необходимо для любого, кто пожелает стать специалистом в теории алгебраических чисел. Заполнив пробелы большим количеством своих собственных исследований, Гильберт придал этой теории величественную унифицированную форму. Доказательства всех известных теорем были тщательно проанализированы, прежде чем он остановился на тех из них, «принципы которых поддаются обобщению и более всего пригодны для дальнейших исследований». Но прежде чем сделать такой выбор, нужно было провести сами эти «дальнейшие исследования»! Особое внимание было уделено обозначениям, благодаря чему впоследствии они стали общеупотребительными (включая, к ужасу американских издателей, готические буквы для идеалов). Ему удалось существенно упростить теорию Куммера, основанную на очень сложных вычислениях, а также ввести те понятия и доказать большинство из тех теорем, которые составляют сегодня основания общей теории относительных абелевых полей. Наиболее важными в ней являются понятие символа норменного вычета, центральная теорема об относительных циклических полях, знаменитая Satz 10 90 (Собрание трудов, т. 1, стр. 149). Позвольте мне привести один абзац из предисловия, в котором он описывает общий характер теории чисел и, в частности, те темы, которые затрагиваются в его обзоре.
«Теория числовых полей представляет собой здание редкой красоты и гармонии. Самая же богатая идеями часть этого здания, как мне кажется, есть теория абелевых полей, возникшая из работы Куммера о высших законах взаимности и исследований Кронекера по комплексному умножению эллиптических функций. Глубокое проникновение в эту теорию, которое дают работы этих двух математиков, показывает в то же время, что несметные сокровища всё ещё лежат сокрытыми, маня богатым вознаграждением исследователя, знающего им цену и с любовью применяющего своё искусство, чтобы овладеть ими».
Сам Гильберт был рудокопом, который в течение следующих двух лет добыл бoльшую часть скрытой под землей руды. Руководящим принципом в это время для него служила аналогия с соответствующими проблемами для алгебраических функций от одной переменной, где доступны мощные методы топологии и абелевых интегралов, введённые Риманом (ср. его замечания в разделе 12 Парижских проблем). Доставляет большое удовольствие наблюдать, как шаг за шагом, поднимаясь от частного к общему, Гильберт вводит адекватные понятия и методы и делает важные заключения. Я упомяну о его выдающейся работе по относительным квадратичным полям, а также о его последней и самой важной работе Ueber die Theorie der relativ Abelschen Zahlkorper. Подробно разбирая примеры, ему удалось предсказать и сформулировать основные факты о так называемых полях классов. В то время как работы Гильберта по теории инвариантов служили завершением теории, его работы по алгебраическим числам были только началом. Бoльшая часть усилий таких теоретико-числовиков последних десятилетий, как Фуртвенглер, Такаги, Хассе, Артин, Шевалле, была направлена на доказательство результатов, предсказанных Гильбертом. Используя ?-функцию для доказательства существования некоторых вспомогательных простых идеалов, Гильберт существенно опирался на трансцендентные рассуждения. Последующее развитие постепенно избавилось от этих трансцендентных методов, показав, что, хотя те и являются подходящим и мощным инструментом для исследования распределения простых идеалов, они чужды для проблем теории полей классов. Пытаясь описать основные моменты последней, я не буду отказываться от прогресса и упрощения, достигнутого этим недавним развитием.