Вот, для заинтересованного читателя-математика, список этих двенадцати главных идей, или «ключевых тем» моего труда (в хронологическом порядке их появления):
1. Топологические тензорные произведения и ядерные пространства.
2. «Непрерывная» и «дискретная» двойственность (производные категории, «шесть операций»).
3. «Йога» Римана-Роха-Гротендика (К-теория, связь с теорией пересечений).
4. Схемы.
5. Топосы.
6. Этальные и l -адические когомологии.
7. Мотивы и мотивная группа Галуа (×-категории Гротендика).
8. Кристаллы и кристальные когомологии, йога «коэффициентов де Рама», «коэффициентов Ходжа».
9. «Топологическая алгебра»: ∞-стэки, derivateurs; когомологический формализм топосов как основа для новой гомотопической алгебры.
10. Ручная топология.
11. Йога анабелевой алгебраической геометрии, теория Галуа-Тейхмюллера.
12. «Теоретико-схемная», или «арифметическая» точка зрения на правильные многогранники и правильные конфигурации произвольного рода.
Если не считать первой из этих тем, важная часть которой вошла в мою диссертацию (1953), и которая получила развитие в период, когда я занимался функциональным анализом (с 1950 по 1955 г.), все одиннадцать остальных явились на свет в период моих занятий геометрией, начиная с 1955 г.
Из этих тем наиболее обширной по своей значимости мне представляется тема топосов , которая осуществляет идею синтеза алгебраической геометрии, топологии и арифметики. Самой объемной по числу приложений, получивших развитие уже на настоящий момент, оказалась теория схем. (См. по этому поводу сноску на предыдущей странице.) Именно она в полном смысле слова составила среду обитания еще восьми из рассматриваемых тем (то есть всех остальных, кроме первой, пятой и десятой) и в то же время предоставила ключевое понятие для полнейшего обновления алгебраической геометрии и ее языка.
Напротив, первая и последняя из двенадцати тем кажутся мне по своему масштабу скромнее прочих. И все же, если говорить о последней, представившей новый взгляд на весьма древнюю проблему правильных многогранников и конфигураций — сомневаюсь, что математику, который ей одной посвятил бы себя душой и телом, хватило бы жизни на то, чтобы ее исчерпать. Что касается первой из всех этих тем, топологических тензорных произведений и ядерных пространств, то она скорее играет роль нового инструмента, готового к использованию, чем основы для последующей разработки. При всем том, однако, до меня еще долетают — вплоть до этих последних лет — отрывочные отклики более или менее недавних работ, отвечающих (двадцать или тридцать лет спустя) на некоторые из вопросов, которые я тогда оставил неразрешенными.
Наиболее глубокая (на мой взгляд) среди этих двенадцати — тема мотивов, то есть та, что теснейшим образом связала анабелеву алгебраическую геометрию с йогой Галуа-Тейхмюллера.
С точки зрения технических возможностей инструментов , совершенно готовых и отшлифованных моими стараниями, и повседневного применения на различных «передовых участках» исследования в течение двух последних десятилетий, схемы и этальные и l-адические когомологии представляются мне среди прочих наиболее значительными. Я думаю, что уже сейчас у достаточно осведомленного математика не может быть никаких сомнений в том, что инструмент теоретико-схемный, как и вышедший из него l -адический, вошли в число серьезных достижений века, исполнивших свежими силами и обновивших нашу науку в ходе последних поколений.
Единственный «полуофициальный» текст, в котором эти три темы мало-мальски обрисованы — «Набросок программы», составленный в январе 1984 г. по случаю запроса из CNRS (Сentre national de la recherche scientifique — Национальный центр научных исследований — прим. перев .). Этот текст (о нем говорится также в третьем параграфе «Введения», «Компас и багаж») будет в основе своей включен в четвертый том «Раздумий».
Cхоронив втихомолку, чуть не на другой день после моего ухода, этих трех сирот, двух из них потом вырыли с оркестром, позабыв упомянуть труженика-родителя: одну в 1981 г., и другую (ввиду безусловного успеха предыдущей операции) на год позже.
Оговорки эти относятся прежде всего к йоге дуальности Гротендика (производные категории и шесть операций) и топосов. О них (и еще о многом другом) речь пойдет более подробно в частях II и IV «РС» («Похороны» (1) и (3)).
Читать дальше