внешним источником вдохновения для внезапного и бурного старта теории схем в 1958 г. была статья Серра, хорошо известная под сокращением АКП («Алгебраические когерентные пучки»), которая вышла в свет на несколько лет раньше. В остальном же все дальнейшее развитие теории питалось энергией, истекавшей по сути от нее самой. Поток этот возобновлялся с годами, хотя бы только в соответствии с требованиями простоты и внутренней согласованности, в попытке рассмотреть в новом контексте все «хорошо известное» в алгебраической геометрии (и усвоенное мной по мере того, как преобразовывалось, проходя через мои руки) - и то еще, что это «известное» дало мне возможность предугадать.
38
38По правде говоря, традиционно именно «непрерывный» аспект находился в центре внимания геометрии, в то время как свойства «дискретной природы», в частности численные и комбинаторные, было принято обходить молчанием, или кой-как, мельком учитывать. И воистину с восхищением десять лет назад я обнаружил богатства комбинаторики икосаэдра, а ведь эта тема совсем не затронута (может быть, даже не замечена) Клейном в его классической книге об икосаэдре. Другой поразительный признак той же (двухтысячелетней) небрежности геометров, которые стояли лицом к лицу с дискретными структурами, самопроизвольно проникшими в геометрию, мне видится в том, что понятие группы (симметрии, в частности) не появлялось вплоть до конца прошлого века - и поначалу оно было введено (Эваристом Галуа) в контексте, который тогда не почитался частью геометрических владений. Правда, что и в наши дни есть немало алгебраистов, все еще не разобравших, что теория Галуа - видение по сути своей геометрическое, которому удалось обновить наше понимание явлений, именуемых «арифметическими»…
39
39Андрэ Вейль, французский математик, эмигрировавший в Соединенные Штаты, один из «членов- основателей» группы Бурбаки, о которой немало будет сказано в первой части «РС» (как, впрочем, и о самом Вейле).
40
40 (Предназначается для читателя-математика.) Речь идет о «конструкциях и рассуждениях», связанных с когомологической теорией комплексных или гладких многообразий, в частности, включающих формулу неподвижных точек Лефшеца и теорию Ходжа.
41
41Речь идет о четырех «средних» темах (5-8), то есть темах топоса, мотивов, этальных и l-адических когомологии и (в меньшей степени) кристаллов. Я их извлек на свет одну за другой между 1958 и 1966 годами.
42
42 (Предназначается для читателя-математика.) Основным вкладом Зарисского в этом направлении мне представляется введение «топологии Зарисского» (ставшей позднее важным инструментом для Серра в АКП), его «принцип связности» и то, что он назвал «теорией голоморфных функций» - сделавшейся в его руках теорией формальных схем; также «теоремы сравнения» между формальным и алгебраическим (наряду с основополагающей статьей ГАГА Серра, вторым источником вдохновения). Что же до вклада Серра, о котором я упомянул в тексте, он, безусловно, заключается прежде всего во введении в абстрактную алгебраическую геометрию точки зрения пучков (предложенной Жаном Лерэ десятью годами раньше в совершенно ином контексте), в другой его важнейшей работе АКП («Алгебраические когерентные пучки»), о которой здесь уже говорилось.
43
43О бурном зарождении новой геометрии (1958 г.) идет речь в сноске п° 31. Понятие ситуса, или «топологии Гротендика» (предварительная версия понятия топоса), появляется по горячим следам понятия схемы. Оно, в свою очередь, предоставляет в распоряжение математиков новый язык «локализации» или «спуска», который применяется на каждом шагу при развитии темы и инструмента теоретико-схемных. Понятие топоса, более глубокое и геометрическое, остается невыраженным в явном виде в течение нескольких последующих лет; оно выбирается на свет главным образом начиная с 1963 г. с развитием этальных когомологии и понемногу заставляет признать себя первым из основополагающих.
44
44Удобно также включить в этот ряд и случай р = оо, соответствующий алгебраическим многообразиям «в характеристике нуль».
45
45Отчет об этом «бурном старте» теории схем был предметом моего доклада на Международном Конгрессе Математиков в Эдинбурге в 1958 г. Текст этого доклада мне представляется одним из лучших введений в теорию схем, способным (быть может) увлечь читателя-геометра идеей ознакомиться с внушительным трактатом (позднейшим) «Начала Алгебраической Геометрии», в котором тщательным образом (не опуская ни единой технической подробности) излагаются новые основы и новые методы алгебраической геометрии.
46
46Говоря о понятии «предела», я подразумеваю здесь в первую очередь «предельный переход», скорее чем понятие «границы» (которое ближе нематематику).