33
33Мне в первый раз пришло в голову этому видению дать название в «Раздумьи» от 4 декабря 1984 г. (сноска п° 136/1 к примечанию «Инь-слуга (2), или великодушие» - PC III, стр. 637).
34
34То, что этот образ должен оставаться расплывчатым, нисколько не мешает ему быть верным истинной сути объекта, о котором идет речь (в данном случае моего труда). Наоборот, образ ясный и отчетливый может оказаться сильно искаженным, и к тому же содержать в себе лишь побочные, второстепенные черты объекта, совершенно опуская главные. И потом, если в тебе «найдет зацепку» то, что я скажу о своем труде (а тем самым, разумеется, и кое-что от того образа, который действительно «проносится» предо мной), ты сможешь похвастаться куда лучшим пониманием его сути, чем, пожалуй, любой из моих ученых коллег.
35
35Здесь имеются в виду «натуральные числа» 0, 1, 2, 3 и т.д., или (в крайнем случае) числа (дробные), которые нужны как подручные для выполнения элементарных действий. Они не претендуют на то, чтобы, подобно «вещественным числам», измерять величины, способные к непрерывному изменению - такие, как расстояние между двумя точками, движущимися вдоль прямой, на плоскости или в пространстве.
36
36Я использую сочетание слов «захлестывающий, сверх всякой меры», чтобы кое-как передать выражение «uberwaltigend» из немецкого и его английский эквивалент «overwhelming». В предыдущем предложении выражение (неадекватное) «захватывающее ощущение» следует воспринимать со следующей окраской: то, что бывает, когда мы сталкиваемся с невероятным великолепием, величием и красотой вне рамок обыденного, так, что чувства лавиной обрушиваются на нас - и тогда любая робкая попытка описать, что творится с нашими душами, заранее обречена на неудачу.
37
37Я знал об этой «мечте Кронекера» лишь понаслышке до тех пор, пока кто-то (вполне возможно, что это был Джон Тэйт) не сказал мне, что я нахожусь в процессе ее осуществления. Образование, которое я получал от старших коллег, ссылки на историю включало редко. Восполнялось это не чтением современных или сколько-нибудь древних авторов, но в первую очередь общением с другими математиками, непосредственным или по переписке, начатой старшими. Основным, даже может быть, единственным, внешним источником вдохновения для внезапного и бурного старта теории схем в 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Говоря о понятии «предела», я подразумеваю здесь в первую очередь «предельный переход», скорее чем понятие «границы» (которое ближе нематематику).
47
47По правде говоря, инварианты, введенные Бетти, были гомологиями. Когомологии, более или менее эквивалентные им, «дуальные» понятия, были введены гораздо позднее. Этот аспект обрел превосходство над начальным, «гомологическим», главным образом, бесспорно, вслед за введением Жаном Лерэ точки зрения, основанной на понятии пучка, о чем говорится ниже. В техническом отношении можно сказать, что огромная часть моего труда в области геометрии состояла в извлечении на свет и развитии в тех или иных пределах недостающих когомологических теорий для пространств и многообразий всех видов, прежде всего «алгебраических многообразий» и схем. Мне привелось, прокладывая дорогу, истолковать традиционные гомологические инварианты в терминах когомологических, и тем самым представить их в совершенно новом свете.