Текст книги "УРОЖАИ И ПОСЕВЫ"
Автор книги: Александр Гротендик
Жанр:
Математика
сообщить о нарушении
Текущая страница: 22 (всего у книги 23 страниц)
Комментарии
1
1Примечания даются не в виде сносок, а собраны все вместе после основного текста. Некоторые из них даже имеют собственные названия. Здесь приводится их список с порядковыми номерами (средний столбец) и номерами разделов, к которым данные примечания относятся (правый столбец). – Прим. перев.Примечания 44' и далее (к § 50 «Груз прошлого») не вошли в этот список: они составляют часть «Похороны». От издателя
2
2Речь идет о книге в целом – прим. перев.
3
3Робер Жолэн – мой старинный друг. По моим представлениям, выйдя один на один с узаконенным сводом нравов сообщества этнологического, он поставил себя в положение («белой вороны»), в чем-то сходное с моим противостоянием «высшему свету» в математике.
4
4Сильви и Катрин Шевалле – вдова и дочь Клода Шевалле, коллеги и друга, которому посвящена центральная часть «РС» (PC III, «Ключ к Инь и Ян»). И на страницах моих раздумий я неоднократно говорю о нем и о той роли, которую он сыграл в выборе моего пути.
5
5Между 1945 и 1948 годами мы с матерью жили в маленькой деревушке Мераргю (неподалеку от Вераргю), затерянной среди виноградников, в десяти километрах от Монпелье. (Мой отец погиб в Освенциме в 1942 г.) Чтобы сводить концы с концами, я участвовал каждый год в сборе винограда, а после из того, что было забыто на лозе, делал вино, которое и продавал кое-как (кажется, в нарушение действовавших тогда законов). Кроме того, рядом был сад, который, хоть никто за ним и не ухаживал, в изобилии поставлял нам фиги, шпинат и даже (под конец) помидоры, посаженные любезным соседом на острове в море великолепных маков. То была красивая жизнь, но не без ям на дороге – когда нужно было заменить оправу очков или ботинки, изношенные до нитки. К счастью, моя мать, ослабленная и больная вследствие долгого пребывания в лагерях, имела право на бесплатную медицинскую помощь. У нас ни за что не достало бы денег на лечение…
6
6Я поместил короткий рассказ об этом переходном периоде, довольно трудном, в первой части «РС», в разделе «Желанный иностранец».
7
7Это несколько неточная формулировка. Я не мог «научиться быть один» по той простой причине, что я никогда и не разучивался', в детстве эта способность была со мной – с рождения, как и со всяким другим ребенком. Но три года уединенного труда, когда я смог дать самому себе оценку, исходя из моих собственных внутренних критериев, подтвердили и обновили во мне, по отношению к математическим занятиям на этот раз, основу спокойной уверенности в себе, не подчиненной законодательству общепринятых соглашений или велениям моды. Я еще коснусь этого в примечании «Корни и одиночество» (PC IV, п° 171/3, в особенности стр. 1080).
8
8Так, возможные исправления ошибок (фактических, во взгляде на вещи и пр.) не вводятся ретушевкой первого наброска, а появляются в виде сносок внизу страницы или во время позднейшего возвращения к тому же вопросу.
9
9Для уточнений по поводу «резкого вызова» см. «Письмо», особенно разделы 3-8.
10
10Ожидаемое примечание по завершении вылилось в часть IV «РС», состоящую из 70 примечаний, растянувшуюся на добрые четыреста страниц.
11
11В равной мере и здесь, и там в дополнение к математическим обзорам уже завершенного мной труда содержатся новые математические разработки. Из них самая длинная – «Пять фото (кристаллы и Х›-модули)» в «РС» IV, примечание п° 171 (ix).
12
12Главная тому причина мне видится в наличии определенного благоприятного климата, окружавшего меня в детстве, начиная с пятилетнего возраста. См. по этому поводу примечание «Невинность» (PC III, п° 107).
13
13Этот образ-архетип строящегося дома в первый раз всплыл на поверхность и нашел словесное выражение в примечании «Инь-слуга и новые хозяева» (PC III, п° 135).
14
14Я рассказываю об этих шагах в разделе «Долгожданный иностранец» (PC I, §9).
15
15Это не помешало мне (вслед за Картаном и Серром) войти в число тех, кто активнейшим образом применял, пропагандировал и способствовал развитию одного из важнейших новаторских понятий, введенных Лерэ, то есть понятия пучка, занявшего место в ряду главных инструментов для моего труда, посвященного геометрии. Оно же снабдило меня ключом к расширению понятия пространства (топологического) до понятия топоса, о котором пойдет разговор ниже.
16
16Крадучись в обход прямого смысла, тайком, я соединил в этом месте два мужественно звучащих наименования («строитель» и «первопроходец»), которые отражают, однако, весьма различные аспекты импульса к открытию – более тонкие по своей природе, чем эти два слова способны передать. Нам еще предстоит с этим столкнуться во время прогулки-раздумья, на этапе «Открытие Матери, или два склона» (§17).
17
17Тем самым он невольно устанавливает в этой древней (если не для него самого, то, по крайней мере, для менее подвижных его сородичей) Вселенной новые границы, новые круги, конечно, просторнее прежних, но столь же невидимые, столь же властные, как и те, которые он, восстав, смог лишь заменить.
18
18Именно так обстояли дела в математике в период с 1948 по 1969 г., чему я был непосредственным свидетелем, когда сам входил в математическое сообщество. После моего ухода в 1970 г. наблюдалось что-то похожее на широкомасштабное сопротивление, вроде «всеобщего презрения», по отношению к «идеям» вообще, и особенно к важнейшим новаторским идеям, мною предложенным.
19
19Большинство моих старших коллег (о чем говорится, например, в разделе «Желанный долг», Введение, §10) относятся к этому промежуточному типу. В особенности мне приходят на ум Анри Картан, Клод Шевалле, Андре Вейль, Жан-Пьер Серр, Лоран Шварц. Впрочем, они все, кроме, быть может, Вейля, сочувственным взглядом, «не тая ни тревоги, ни укора», провожали меня в мои уединенные походы за приключениями.
20
20Конечно, это справедливо не для одного только «нашего искусства», но и (как мне кажется) для всякого труда, связанного с открытием, по крайней мере, в русле умственного познания.
21
21Всякая точка зрения приводит к развитию языка, на котором она может быть выражена, именно ей присущего. Иметь несколько «глаз»21, или «точек зрения», для изучения ситуации означает также (по крайней мере в математике) располагать несколькими различными языками, чтобы подойти к ней со всех сторон.
22
22Образ сомнамбулы был мне навеян названием замечательной книги Кестлера «Сомнамбулы» (изд. Кальман Леви), представляющей собой «Очерк истории концепций Вселенной» (со времен зарождения научной мысли до эпохи Ньютона). Одна из особенностей этой истории поразила Кестлера, а именно – до какой степени иногда путь от одной точки на маршруте познания мира до другой, как будто бы (по логике вещей и в перспективе многих лет) к ней совсем близкой, претерпевает немыслимые повороты, словно нарочно бросая вызов здравому смыслу; и как при этом, пройдя тысячу поворотов и, кажется, заблудившись безвозвратно, с «уверенностью сомнамбулы» люди, которые отправлялись на поиски «ключей» к устройству Вселенной, натыкались, как бы вопреки себе и часто не отдавая себе в том отчета, на другие «ключи», существования которых они решительно не предвидели, и которые, однако, оказываются «подходящими».
23
23Начиная с шестидесятых годов, часть из них написана совместно с коллегами (прежде всего Ж. Дьедонне) и учениками.
24
24Важнейшим из этих понятий сделан обзор в «Тематическом очерке» и в сопровождающем его «Историческом комментарии», которые будут включены в четвертый том «Раздумий». Некоторые из названий были мне предложены друзьями и учениками, как, например, термин «гладкий морфизм» (Ж. Дьедонне) или набор понятий «ситус, стэк, джерб, связка», получивших развитие в диссертации Жана Жиро.
25
25К тому моменту, как я покинул математическую сцену в 1970 г., общая масса моих публикаций (многие из которых написаны в соавторстве), имеющих центральной темой схемы, должно быть, составляла около десяти тысяч страниц. Это, однако, лишь скромная часть программы широкого масштаба, относящейся к схемам, которую я видел перед собой. Стоило мне удалиться со сцены – и эта программа была заброшена на неопределенное время, как нечто не сулящее перспектив… а ведь (за очень редкими исключениями) все, что я когда-либо заметил и затем развивал для передачи в общее распоряжение, благополучно вошло в копилку «хорошо известных», активно используемых в науке вещей.
26
26Вот, для заинтересованного читателя-математика, список этих двенадцати главных идей, или «ключевых тем» моего труда (в хронологическом порядке их появления):
27
27Из этих тем наиболее обширной по своей значимости мне представляется тема топосов, которая осуществляет идею синтеза алгебраической геометрии, топологии и арифметики. Самой объемной по числу приложений, получивших развитие уже на настоящий момент, оказалась теория схем. (См. по этому поводу сноску на предыдущей странице.) Именно она в полном смысле слова составила среду обитания еще восьми из рассматриваемых тем (то есть всех остальных, кроме первой, пятой и де-
28
28Единственный «полуофициальный» текст, в котором эти три темы мало-мальски обрисованы – «Набросок программы», составленный в январе 1984 г. по случаю запроса из CNRS. Этот текст (о нем говорится также в третьем параграфе «Введения», «Компас и багаж») будет в основе своей включен в четвертый том «Раздумий».
29
29Сentre national de la recherche scientifique = Национальный центр научных исследований – прим. перев.
30
30Схоронив втихомолку, чуть не на другой день после моего ухода, этих трех сирот, двух из них потом вырыли с оркестром, позабыв упомянуть труженика-родителя: одну в 1981 г., и другую (ввиду безусловного успеха предыдущей операции) на год позже.
31
31Оговорки эти относятся прежде всего к йоге дуальности Гротендика (производные категории и шесть операций) и топосов. О них (и еще о многом другом) речь пойдет более подробно в частях II и IV «РС» («Похороны» (1) и (3)).
32
32Год 1957 г. – тот самый, когда мне удалось настичь по горячему следу тему «Римана-Роха» (версия Гротендика), которая сразу же принесла мне «всеобщую известность». Это также год смерти моей матери, то есть резко выделенный в моей жизни – и один из наиболее интенсивно творческих, причем не на одной только математической ниве. Двенадцать лет уже шло тому, как все мои силы были вложены в математику. И я вдруг ясно почувствовал, что мои занятия сделали почти «полный оборот» по кругу, так что на часах, пожалуй, время их оставить и взяться за что-то другое. Очевидно, то была потребность духовного обновления, впервые тогда ко мне подступившая. Я собрался было стать писателем, и на многие месяцы прекратил всякую деятельность, связанную с математикой. Под конец я решил, что запишу черным по белому хотя бы те математические работы, какие у меня уже были начаты; без сомнения, дело нескольких месяцев, года самое большее…
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По правде говоря, инварианты, введенные Бетти, были гомологиями. Когомологии, более или менее эквивалентные им, «дуальные» понятия, были введены гораздо позднее. Этот аспект обрел превосходство над начальным, «гомологическим», главным образом, бесспорно, вслед за введением Жаном Лерэ точки зрения, основанной на понятии пучка, о чем говорится ниже. В техническом отношении можно сказать, что огромная часть моего труда в области геометрии состояла в извлечении на свет и развитии в тех или иных пределах недостающих когомологических теорий для пространств и многообразий всех видов, прежде всего «алгебраических многообразий» и схем. Мне привелось, прокладывая дорогу, истолковать традиционные гомологические инварианты в терминах когомологических, и тем самым представить их в совершенно новом свете.
48
48Парадоксально, у Вейля был прочный «барьер», очевидно, инстинктивный, против когомологического формализма – при том, что именно его прославленные гипотезы в значительной мере послужили основой для развития важнейших когомологических теорий в алгебраической геометрии, начиная с 1955 г. (первоначальный толчок процессу был дан Серром, с его основополагающей статьей АКП, уже упоминавшейся в одной из предыдущих сносок).
49
49(Предназначено для математика.) По правде говоря, здесь речь идет о пучках множеств, а не о пучках абелевых групп, введенных Лерэ как самые общие коэффициенты «теории когомологии». Думаю, что я первым начал систематически работать с пучками множеств (начиная с 1955 г., в моей статье «Общая теория расслоенных пространств со структурным пучком», изданной в Канзасском Университете).
50
50(Предназначено для математика.) Строго говоря, это справедливо лишь для пространств, называемых «трезвыми». Они, однако же, составляют почти все типы пространств, с какими обыкновенно сталкиваешься – в частности, таковы все «отделимые» пространства, излюбленные аналитиками.
51
51«Зеркало», о котором речь, таково, что если поместить перед ним пространство, оно даст (как в «Алисе в стране чудес») в качестве «отражения» соответствующую
52
52 (Предназначено для математика.) Здесь речь идет прежде всего о свойствах, которые я ввел в теорию категорий под названием «свойства точности» (одновременно с современным категорным понятием общих индуктивных и проективных «пределов»). См. русский перевод «О некоторых вопросах гомологической алгебры», Библиотека сборника «Математика«, Москва, 1961.
53
53Так, можно построить топос весьма «объемный», в котором будет только одна «точка» – или вовсе ни одной!
