Александр Гротендик - Урожаи и посевы

По правде говоря, традиционно именно «непрерывный» аспект находился в центре внимания геометрии, в то время как свойства «дискретной природы», в частности численные и комбинаторные, было принято обходить молчанием, или кой-как, мельком учитывать. И воистину с восхищением десять лет назад я обнаружил богатства комбинаторики икосаэдра, а ведь эта тема совсем не затронута (может быть, даже не замечена) Клейном в его классической книге об икосаэдре. Другой поразительный признак той же (двухтысячелетней) небрежности геометров, которые стояли лицом к лицу с дискретными структурами, самопроизвольно проникшими в геометрию, мне видится в том, что понятие группы (симметрии, в частности) не появлялось вплоть до конца прошлого века — и поначалу оно было введено (Эваристом Галуа) в контексте, который тогда не почитался частью геометрических владений. Правда, что и в наши дни есть немало алгебраистов, все еще не разобравших, что теория Галуа — видение по сути своей геометрическое , которому удалось обновить наше понимание явлений, именуемых «арифметическими»…

Андрэ Вейль, французский математик, эмигрировавший в Соединенные Штаты, один из «членов-основателей» группы Бурбаки, о которой немало будет сказано в первой части «РС» (как, впрочем, и о самом Вейле).

(Предназначается для читателя-математика.) Речь идет о «конструкциях и рассуждениях», связанных с когомологической теорией комплексных или гладких многообразий, в частности, включающих формулу неподвижных точек Лефшеца и теорию Ходжа.

Речь идет о четырех «средних» темах (5–8), то есть темах топоса, мотивов, этальных и l-адических когомологий и (в меньшей степени) кристаллов . Я их извлек на свет одну за другой между 1958 и 1966 годами.

(Предназначается для читателя-математика.) Основным вкладом Зарисского в этом направлении мне представляется введение «топологии Зарисского» (ставшей позднее важным инструментом для Серра в АКП), его «принцип связности» и то, что он назвал «теорией голоморфных функций» — сделавшейся в его руках теорией формальных схем; также «теоремы сравнения» между формальным и алгебраическим (наряду с основополагающей статьей ГАГА Серра, вторым источником вдохновения). Что же до вклада Серра, о котором я упомянул в тексте, он, безусловно, заключается прежде всего во введении в абстрактную алгебраическую геометрию точки зрения пучков (предложенной Жаном Лерэ десятью годами раньше в совершенно ином контексте), в другой его важнейшей работе АКП («Алгебраические когерентные пучки»), о которой здесь уже говорилось.

В свете этой «поименной переклички»: если бы мне предложили назвать ближайших «прародителей» нового геометрического видения, то имена Оскара Зарисского, Андрэ Вейля, Жана Лерэ и Жан-Пьера Серра я бы произнес, не задумываясь. Среди них Серру принадлежит особая роль, так как главным образом через его посредство я ознакомился не только с его собственными идеями, но также с идеями Зарисского, Вейля и Лерэ, немало значившими для зарождения и развития новой геометрии.

О бурном зарождении новой геометрии (1958 г.) идет речь в сноске n ° 31. Понятие ситуса, или «топологии Гротендика» (предварительная версия понятия топоса), появляется по горячим следам понятия схемы. Оно, в свою очередь, предоставляет в распоряжение математиков новый язык «локализации» или «спуска», который применяется на каждом шагу при развитии темы и инструмента теоретико-схемных. Понятие топоса, более глубокое и геометрическое, остается невыраженным в явном виде в течение нескольких последующих лет; оно выбирается на свет главным образом начиная с 1963 г. с развитием этальных когомологии и понемногу заставляет признать себя первым из основополагающих.

Удобно также включить в этот ряд и случай р = ∞, соответствующий алгебраическим многообразиям «в характеристике нуль».

Отчет об этом «бурном старте» теории схем был предметом моего доклада на Международном Конгрессе Математиков в Эдинбурге в 1958 г. Текст этого доклада мне представляется одним из лучших введений в теорию схем, способным (быть может) увлечь читателя-геометра идеей ознакомиться с внушительным трактатом (позднейшим) «Начала Алгебраической Геометрии», в котором тщательным образом (не опуская ни единой технической подробности) излагаются новые основы и новые методы алгебраической геометрии.