Александр Гротендик - УРОЖАИ И ПОСЕВЫ

29Сentre national de la recherche scientifique = Национальный центр научных исследований - прим. перев.

30Схоронив втихомолку, чуть не на другой день после моего ухода, этих трех сирот, двух из них потом вырыли с оркестром, позабыв упомянуть труженика-родителя: одну в 1981 г., и другую (ввиду безусловного успеха предыдущей операции) на год позже.

31Оговорки эти относятся прежде всего к йоге дуальности Гротендика (производные категории и шесть операций) и топосов. О них (и еще о многом другом) речь пойдет более подробно в частях II и IV «РС» («Похороны» (1) и (3)).

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

33Мне в первый раз пришло в голову этому видению дать название в «Раздумьи» от 4 декабря 1984 г. (сноска п° 136/1 к примечанию «Инь-слуга (2), или великодушие» - PC III, стр. 637).

34То, что этот образ должен оставаться расплывчатым, нисколько не мешает ему быть верным истинной сути объекта, о котором идет речь (в данном случае моего труда). Наоборот, образ ясный и отчетливый может оказаться сильно искаженным, и к тому же содержать в себе лишь побочные, второстепенные черты объекта, совершенно опуская главные. И потом, если в тебе «найдет зацепку» то, что я скажу о своем труде (а тем самым, разумеется, и кое-что от того образа, который действительно «проносится» предо мной), ты сможешь похвастаться куда лучшим пониманием его сути, чем, пожалуй, любой из моих ученых коллег.

35Здесь имеются в виду «натуральные числа» 0, 1, 2, 3 и т.д., или (в крайнем случае) числа (дробные), которые нужны как подручные для выполнения элементарных действий. Они не претендуют на то, чтобы, подобно «вещественным числам», измерять величины, способные к непрерывному изменению - такие, как расстояние между двумя точками, движущимися вдоль прямой, на плоскости или в пространстве.

36Я использую сочетание слов «захлестывающий, сверх всякой меры», чтобы кое-как передать выражение «uberwaltigend» из немецкого и его английский эквивалент «overwhelming». В предыдущем предложении выражение (неадекватное) «захватывающее ощущение» следует воспринимать со следующей окраской: то, что бывает, когда мы сталкиваемся с невероятным великолепием, величием и красотой вне рамок обыденного, так, что чувства лавиной обрушиваются на нас - и тогда любая робкая попытка описать, что творится с нашими душами, заранее обречена на неудачу.

37Я знал об этой «мечте Кронекера» лишь понаслышке до тех пор, пока кто-то (вполне возможно, что это был Джон Тэйт) не сказал мне, что я нахожусь в процессе ее осуществления. Образование, которое я получал от старших коллег, ссылки на историю включало редко. Восполнялось это не чтением современных или сколько-нибудь древних авторов, но в первую очередь общением с другими математиками, непосредственным или по переписке, начатой старшими. Основным, даже может быть, единственным, внешним источником вдохновения для внезапного и бурного старта теории схем в 1958 г. была статья Серра, хорошо известная под сокращением АКП («Алгебраические когерентные пучки»), которая вышла в свет на несколько лет раньше. В остальном же все дальнейшее развитие теории питалось энергией, истекавшей по сути от нее самой. Поток этот возобновлялся с годами, хотя бы только в соответствии с требованиями простоты и внутренней согласованности, в попытке рассмотреть в новом контексте все «хорошо известное» в алгебраической геометрии (и усвоенное мной по мере того, как преобразовывалось, проходя через мои руки) - и то еще, что это «известное» дало мне возможность предугадать.

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

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

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

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

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