В действительности, эта тема была эксгумирована в 1982 г. (годом позже, чем тема кристаллов) под тем же названием на этот раз (и в более узкой форме: дело ограничивалось случаем основного поля характеристики нуль), только имя задумавшего ее работника не произносилось. Это один пример из множества прочих, когда тема или понятие, похороненные тут же после моего ухода как безумные гротенди-ческие причуды, бывали извлечены из могил одна за другой некоторыми из моих учеников в ходе десяти-пятнадцати последующих лет со скромным достоинством и (нужно ли уточнять) без упоминания работника…
macho (исп.) — мужчина, мужской — прим. перев.
То, что я говорю здесь о математической работе, столь же справедливо для труда «медитации» (о котором в том или иной мере говорится на всем протяжении «РС»). Я уверен и в том, что нечто подобное возникает на пути всякого труда открытия, включая работу художника (скажем, поэта или писателя). Два «склона», которые я пытаюсь здесь описать, можно рассматривать и по-другому: первый связан с выражением готовых идей и возникающими при этом потребностями технического толка; на второй же переходишь, чтобы принимать сигнал (то есть ощущения, впечатления всякого рода). Напряженное внимание, преобразуя такой сигнал, делает его источником вдохновения. Оба аспекта присутствуют в каждый момент работы; преобладает, по очереди, то один, то другой.
Это не значит, что в моей работе не хватает так называемых «великих теорем». Их довольно, включая те, которые впервые разрешали давно висевшие в воздухе (не мной поставленные) вопросы. (Я сделал обзор некоторых из них в сноске на стр. 554 — в примечании «Море, которое вздымается…» (PC III, п. 122).) Но, как я подчеркнул в начале этой «прогулки» (на этапе «Точки зрения и видение, § 6), эти теоремы обретают для меня свой полный смысл лишь в щедром на толкования контексте единой темы, порожденной одной из таких «плодотворных идей». Тогда уже их доказательство легко вытекает из самой природы, из «глубины» несущей их темы. Так волны в реке свободно рождаются от самой водяной глуби и несутся вперед плавно, без усилий. Я говорю о том же самом, используя иные образы, в примечании «Море, которое вздымается…» (см. выше).
Cначала, приступая к Эпилогу, я собирался включить в него сжатый обзор некоторых из этих «глубоких изменений» и вкратце осветить эту «непрерывность по существу», как она мне виделась. Все же я передумал, дабы «Прогулка» не затянулась чрезмерно — и так уж она куда длиннее, чем я ожидал. Предполагаю вернуться к этому вопросу в Исторических Комментариях, намеченных для четвертого тома «РС», обращаясь на этот раз к читателю-математику (что должно полностью изменить задачи изложения).
Это утверждение (некоторым оно представляется чересчур категоричным) вполне выверено здравым смыслом. Оно ни более, ни менее соответствует действительности, чем утверждение (к нему я еще вернусь ниже) о том, что «ньютоновская модель» механики (земной или небесной) была «при смерти» в начале этого века, когда Эйнштейн явился ей на выручку. Несомненно, что еще и теперь для большей части «повседневных» ситуаций в физике модель Ньютона совершенно адекватна, и было бы нелепо (ввиду допустимой степени точности измерений) отправляться на поиски релятивистской модели. Точно так же, во многих ситуациях в математике привычные старинные понятия «пространства» и «многообразия» остаются абсолютно адекватными, так что нет нужды в погоне за нильпотентными элементами, топосами или «ручными структурами». Но и в том и в другом случае для растущего числа контекстов, участвующих в современных исследованиях, самые «обычные» ситуации не умещаются в рамках старинного восприятия.
(Предназначено для математика.) К этому «потомству» я отношу, в частности, формальные схемы, стэки (орбиобразия, «пространства» модулей — устоявшегося
Случилось так, впрочем, что к этим двоим младенцам прибавился третий, еще младше, который появился на свет в менее мягкие времена — малютка ручное Пространство. Как я уже отмечал выше, у него нет свидетельства о рождении, и я совершенно незаконно включил его, несмотря на это, в число двенадцати «главных тем», которые я имел честь привнести в математику.
Это, конечно, не слишком подробное описание идеи Эйнштейна. В техническом отношении, следует указать, какой структурой снабжено новое пространство-время (она, впрочем, уже «носилась в воздухе» после теории Максвелла и идей Лоренца). Существенный шаг вперед был не технической природы, но философской: принять в расчет, что понятие одновременности для событий, отдаленных в пространстве,
Речь идет прежде всего о понятии «риманова многообразия» и тензорного исчисления над этим многообразием.
Одна из самых поразительных черт, отличающих эту модель от евклидовой (или ньютоновской), а также от первой модели Эйнштейна (из «специальной теории относительности») состоит в том, что глобальная топологическая форма пространства-времени остается неопределенной, вместо того чтобы быть предписанной автоматически самой природой модели. Вопрос определения этой глобальной формы кажется мне (как математику) одним из самых увлекательных в космологии.
Гипотетическую теорию, которая объединила и согласовала бы между собой все частичные теории, о которых идет речь, назвали «теорией великого объединения». У меня есть ощущение, что то, над чем здесь стоит основательно поразмыслить, распадается на нижеследующие два раздела.