Третья глава Новая разновидность молотка

Третья глава

Новая разновидность молотка

Геометрия, несмотря на весьма насыщенную историю и впечатляющие достижения, которыми она может похвастаться на сегодняшний день, не является завершенным произведением, она по-прежнему развивается, постоянно открывая заново саму себя. Одним из последних нововведений в геометрии, внесшим определенный вклад в теорию струн, стало создание геометрического анализа — подхода, который ярко проявил себя только в последние десятилетия. Основной идеей этого подхода является использование мощных методов математического анализа (частью которого является дифференциальное исчисление) для интерпретации геометрических понятий и, напротив, использование геометрической интуиции для интерпретации понятий анализа. Едва ли это новшество станет последним в геометрии — как не стали последними в истории геометрии те нововведения, о которых мы уже говорили. Тем не менее геометрический анализ уже достиг весьма значительных успехов.

К работе в этой области я приступил в 1969 году, учась на первом курсе аспирантуры в Беркли. Для меня лично все началось с необходимости найти книгу для чтения во время рождественских каникул. Не проявив интереса к четырем наиболее продаваемым книгам того года — «Случай портного», «Крестный отец», «Машина любви» и «Штамм “Андромеда”», я остановился на книге, название которой было куда менее популярным — «Теория Морса» американского математика Джона Милнора. Меня особенно заинтересовала глава этой книги, посвященная топологии и кривизне, в которой разбиралось утверждение, что локальная кривизна заметно влияет на геометрию и топологию. С тех пор я постоянно возвращаюсь к этому утверждению, поскольку локальная кривизна поверхности определяется путем взятия производных по этой поверхности. Иными словами, определение кривизны требует использования методов анализа. Исследование влияния кривизны на геометрию, таким образом, составляет самую сущность геометрического анализа.

Не имея рабочего кабинета, в те дни я практически жил в математической библиотеке Беркли. Ходят слухи, будто первой моей целью по прибытию в Соединенные Штаты стало посещение этой библиотеки, а не, скажем, осмотр достопримечательностей Сан-Франциско, на чем, возможно, остановили бы свой выбор другие. И хотя я и не могу вспомнить точно, чем я занимался сорок лет назад, у меня нет оснований сомневаться в достоверности этих слухов. Я имел привычку постоянно прохаживаться по библиотеке, читая каждый журнал, который попадал мне в руки. Однажды, во время упомянутых рождественских каникул, просматривая каталог, я наткнулся на статью Милнора 1968 года, книгу которого я как раз читал в то время. В этой статье, в свою очередь, упоминалась теорема Александре Прайсмана, которая привлекла мое внимание. И поскольку у меня не было каких-либо других занятий (в то время большинство моих коллег разъехались на каникулы), я решил посмотреть, не смогу ли я доказать что-либо, относящееся к теореме Прайсмана.

В своей теореме Прайсман рассмотрел две нетривиальные петли, А и В, на заданной поверхности. Петлей в топологии называется кривая, начинающаяся в определенной точке поверхности и неким образом охватывающая эту поверхность, возвращаясь в конце концов в ту же точку. Нетривиальная означает в данном контексте, что эту петлю нельзя стянуть в точку, не отрывая ее от поверхности. Иными словами, существует некая преграда, не дающая петле стянуться в точку: так, например, петлю, продетую через дырку бублика, можно стянуть в точку, только разрезав этот бублик (после этого петля уже не будет находиться на поверхности, а бублик, с точки зрения топологии, перестанет быть бубликом). Если проследовать вдоль петли А, а затем вдоль петли В, то результирующий путь будет представлять собой новую петлю В?А. Напротив, если сначала обойти вокруг петли В, а потом вокруг петли А, возникнет петля А?В. Прайсман доказал, что в пространстве, кривизна которого всюду отрицательна — подобно внутренней поверхности седла, — петли В?А и А?В можно непрерывно преобразовать одну в другую путем изгиба, растяжения и сжатия только в одном особом случае: а именно, если петлю, кратную петле А (такую петлю можно получить, обойдя вокруг петли А один или целое число раз), можно плавно преобразовать в петлю, кратную петле В. В этом частном случае петли А и В носят название коммутирующих, точно так же, коммутирующими являются операции сложения и умножения (2 + 3 = 3 + 2 и 2 ? 3 = 3 ? 2), тогда как вычитание и деление некоммутативны (2 – 3 ? 3 – 2 и 2/3 ? 3/2).

Моя теорема имела несколько более общую форму, чем теорема Прайсмана. Данная теорема была применима к любому пространству неположительной кривизны (то есть либо отрицательной, либо — в отдельных местах — равной нулю). Для доказательства более общего случая мне пришлось прибегнуть к разделу математики, который никогда до этого не использовался в топологии или дифференциальной геометрии, — к теории групп. Группой в математике называется набор элементов, для которых выполняется определенный набор правил, таких как обязательное присутствие в группе нейтрального (например, единицы) и обратного (например, 1/x для каждого x) элементов. Группа является замкнутой, то есть, проведя определенную операцию над двумя элементами группы (такую, как сложение или умножение), мы получим еще один ее элемент. Помимо этого, в группе должен выполняться ассоциативный закон — а именно a ? (b ? c) = (a ? b) ? c.

Элементами той группы, которую рассматривал я (так называемой фундаментальной группы), были петли, которые можно изобразить на поверхности, такие как упоминавшиеся уже петли А и В. В том случае, если в пространстве есть нетривиальные петли, говорят, что пространство имеет нетривиальную фундаментальную группу. И напротив, если каждую петлю в пространстве можно стянуть в точку, то соответствующая фундаментальная группа будет тривиальной. Я доказал, что в том случае, если две петли коммутируют (то есть А ? В = В ? А), должна существовать «подповерхность» более низкой размерности — а именно имеющая форму тора, — находящаяся где-то внутри данной поверхности.

В двухмерном случае тор можно представить как «произведение» двух окружностей. Рассмотрим сначала одну окружность — она будет проходить вокруг дырки бублика, и представим, что все ее точки являются центрами одинаковых окружностей. Соединив вместе эти окружности, мы и получим тор. Мы как бы нанизываем колечки на нитку и связываем концы нитки вместе. Именно это и подразумевалось под утверждением, что тор — это произведение двух окружностей. В моей теореме (основанной, в свою очередь, на статье Прайсмана) в роли таких окружностей выступали петли А и В.

Конечно, наши с Прайсманом рассуждения носили скорее формальный характер и могут показаться вам малопонятными. Принципиально важным здесь является то, что наши доказательства показали, как глобальная топология поверхности влияет не только на ее локальную геометрию, но и на ее геометрию в целом. Петли в этом случае определяют фундаментальную группу, что является скорее глобальной, чем локальной особенностью пространства. Чтобы показать, что одну петлю можно непрерывно преобразовать в другую, необходимо рассмотреть поверхность в целом, обращаясь к глобальным свойствам данного пространства. По сути дела, вопрос о том, какие глобальные геометрические структуры соответствуют заданной топологии, является одним из основных вопросов современной геометрии. Так, если геометрическая поверхность топологически эквивалентна сфере, то ее кривизна всегда неотрицательна. Математики имеют на руках весьма длинный список подобных утверждений.

Поскольку мое доказательство показалось мне убедительным, по окончании зимних каникул я показал его одному из своих наставников, молодому преподавателю университета Блейну Лоусону. Лоусон согласился с ним и, используя некоторые идеи из той же статьи, мы совместными усилиями попытались доказать еще одну теорему, затрагивающую вопрос связи кривизны и топологии. Несомненно, я был доволен тем, что мне удалось внести определенный вклад в корпус математических знаний, хотя и не полагал, что сделал нечто особо примечательное. Я все еще искал тот путь, на котором мог бы оставить свой след.

Мне неожиданно пришло в голову, что ответ на вопрос, который меня интересовал, я смогу найти в курсе лекций по нелинейным дифференциальным уравнениям в частных производных, который я слушал в то время. Преподаватель, читавший нам эти лекции, профессор Чарльз Морри, производил на меня огромное впечатление. Его курс по предмету, который не пользовался большой популярностью, требовал огромных усилий для понимания, будучи основан на чрезвычайно тяжелой для чтения книге самого Морри. Вскоре после начала занятий на его лекциях не осталось других студентов, кроме меня, что во многом было обусловлено начавшимися в то время студенческими демонстрациями против бомбардировок Камбоджи. Впрочем, Морри не прекращал своих лекций, уделяя, по-видимому, достаточно большое внимание их подготовке несмотря на то, что посещал их теперь всего один студент.

Рис. 3.1. Геометр Чарльз Морри (фотография Джорджа М. Бергмана)

Морри был специалистом в области дифференциальных уравнений в частных производных, и методы их решения, разработанные им, отличались большой глубиной. Отдавая ему должное, могу сказать, что именно лекции Морри стали основой всей моей дальнейшей научной карьеры.

Дифференциальные уравнения используются везде, где встречаются бесконечно малые изменения переменных, в том числе и в физических законах. Одним из наиболее важных и сложных классов этих уравнений являются так называемые дифференциальные уравнения в частных производных, описывающие изменение некоей функции при изменении сразу нескольких переменных. При помощи дифференциальных уравнений в частных производных можно предсказать поведение данной, функции не только, например, во времени, но и при изменении других переменных, например при перемещении в пространстве вдоль осей x, y или z. Подобные уравнения дают возможность заглянуть в будущее и увидеть возможную эволюцию системы; без них физика была бы лишена своей предсказательной силы.

Геометрия тоже не может обойтись без дифференциальных уравнений. Мы используем их, чтобы определить кривизну объекта и вычислить ее изменение при переходе от точки к точке. Именно это делает геометрию необходимой для физических приложений. Приведем простой пример: ответ на вопрос, будет ли катящийся мяч двигаться с ускорением, то есть будет ли его скорость изменяться во времени, напрямую зависит от кривизны траектории мяча. Это только один пример тесной связи кривизны с физическими понятиями. По этой причине и геометрия — «наука о пространстве», включающая в себя все, что связано с кривизной, — играет важную роль во многих областях физики.

Фундаментальные законы физики являются локальными в том смысле, что они всегда описывают поведение той или иной физической величины не во всем пространстве, а в отдельных, локальных, областях. Это справедливо даже для общей теории относительности, стремящейся описать кривизну всего пространственно-временного континуума в целом. В конце концов, и производные, фигурирующие в дифференциальных уравнениях, тоже берутся именно в отдельных точках. Все это создает проблему для физиков. Как сказал математик UCLA Роберт Грин: «Итак, исходя из локальной информации, такой как кривизна, необходимо узнать строение объекта как целого. Вопрос состоит в том, как это сделать»[25].

Рассмотрим для начала кривизну поверхности Земли. Поскольку провести измерения всего земного шара сразу крайне сложно, Грин предложил рассмотреть вместо этого следующую картину. Представим себе собаку, сидящую на прикрепленной к столбу цепи во дворе. Если у собаки есть возможность перемещаться хотя бы в небольших пределах, она сможет узнать, какую кривизну имеет тот участок земли, который ограничен длиной цепи. В данном случае предполагается, что эта кривизна положительна. Представим теперь, что в каждом дворе мира живет подобная собака, привязанная к столбу, и каждый из участков земли вокруг этих столбов имеет положительную кривизну. Сведя воедино все эти данные о локальной кривизне, можно сделать вывод, что топологически данная планета должна иметь сферическую форму.

Рис. 3.2. Графики, иллюстрирующие движение объекта вдоль определенной траектории. Скорость — величина, показывающая, насколько быстро положение объекта изменяется с течением времени, может быть получена путем взятия производной по кривой перемещения. Производная определяется наклоном кривой в данной точке и численно равна скорости в соответствующий момент времени. Ускорение, величина которого показывает, как изменяется скорость с течением времени, можно, в свою очередь, получить, взяв производную по кривой зависимости скорости от времени. Значение ускорения в определенный момент времени определяется наклоном кривой в соответствующей точке

Конечно, существуют и более строгие методы определения кривизны участка поверхности, не основанные на субъективных ощущениях привязанной на нем собаки. К примеру, если цепь имеет длину r и собака движется вокруг столба так, что ее цепь все время натянута, то в случае плоского пространства (плоской Земли) длина описываемой собакой окружности будет равна точно 2?r. На поверхности сферы, обладающей положительной кривизной, длина окружности будет несколько меньше, чем 2?r, из-за того что сферическая поверхность как бы «наклоняется вниз» при движении в любом из возможных направлений; в том же случае, когда столб находится на горном перевале или в седловой точке, обладающей отрицательной кривизной, имеющей наклон вниз в одних направлениях и наклон вверх в других, длина окружности будет несколько больше, чем 2?r. Таким образом, наша задача сводится к тому, чтобы определить кривизну каждого конкретного участка, измерив расстояния, проходимые по кругу каждой из собак, — и затем свести эти результаты воедино.

Именно этим и занимается дифференциальная геометрия. Кривизна в дифференциальной геометрии определяется локально, то есть в отдельных точках, однако полученная таким образом информация применяется для того, чтобы сделать выводы о пространстве в целом. «Кривизна управляет топологией» — наш основной девиз. А нашим основным инструментом являются дифференциальные уравнения.

Геометрический анализ — сравнительно новая область математики, к обсуждению которой мы сейчас приступим, — развивает эту идею дальше. Следует отметить, что общий подход, предусматривающий использование дифференциальных уравнений в геометрии, развивался в течение нескольких столетий, зародившись практически одновременно с дифференциальным исчислением. Одним из первых исследователей в этой области стал великий швейцарский математик XVIII столетия Леонард Эйлер. Помимо всего прочего, он первым применил дифференциальные уравнения в частных производных для систематического исследования трехмерных поверхностей. Через два с лишним столетия после Эйлера мы продолжаем идти по его стопам. По сути, Эйлер был одним из первых, кто обратил внимание на нелинейные уравнения, лежащие сегодня в основе геометрического анализа.

Нелинейные уравнения, как правило, весьма сложны для решения, отчасти потому, что описываемые ими модели носят более запутанный характер. Так, нелинейные системы по своей природе менее предсказуемы, чем линейные, — хорошим примером здесь может служить погода — даже небольшие изменения в начальных условиях могут привести к совершенно другим результатам. Возможно, наиболее известной формулировкой того же утверждения является так называемый эффект бабочки в теории хаоса, парадоксальным образом предсказывающий возможность того, что взмах крыла бабочки в одной части мира может стать причиной возникновения торнадо в другой.

Линейные системы, напротив, содержат в себе гораздо меньше подводных камней и, следовательно, гораздо более просты для понимания.

Линейные зависимости — это зависимости типа y = 2x, названные так, поскольку их графиками являются прямые линии. Каждому значению аргумента здесь соответствует единственное значение функции. Двоение x автоматически приведет к удвоению y и наоборот. Изменение одной переменной всегда пропорционально изменению другой; невозможно получить огромный скачок в значении одной из переменных, лишь слегка изменив другую. Если бы законы природы описывались исключительно линейными зависимостями, наш мир был бы намного проще для понимания — хотя и значительно менее интересным. Но это не так — и именно поэтому приходится иметь дело с нелинейными уравнениями.

Впрочем, существуют некоторые методы, упрощающие работу с нелинейными уравнениями. К примеру, сталкиваясь с нелинейной задачей, можно прибегнуть к соответствующему линейному приближению и использовать его до тех пор, пока оно не перестанет быть применимым. Так, проанализировать волнистую (нелинейную) кривую можно путем нахождения производных соответствующей функции, что дает возможность представить кривую в виде совокупности касательных или, другими словами, линейных элементов (прямых линий) в любых необходимых нам точках кривой.

Аппроксимация нелинейного мира линейными зависимостями является для ученых обычной практикой, что, конечно, никоим образом не изменяет сам факт принципиальной нелинейности Вселенной. Для того чтобы получить возможность работать с нелинейными системами непосредственно, необходимо использовать математические приемы, лежащие на границе между геометрией и нелинейными дифференциальными уравнениями. Именно это было осуществлено в рамках геометрического анализа, математического подхода, оказавшегося весьма полезным как для теории струн, так и для всей современной математики в целом.

Я не хотел бы, чтобы у вас возникло впечатление, будто бы начало геометрического анализа было заложено только в первой половине 1970-х годов, когда я остановил свой выбор на этой области математики. Как я уже говорил, в математике никто не может заявить о том, что он начал что-либо с чистого листа. Так и идея геометрического анализа восходит еще к XIX столетию — а именно к работам французского математика Анри Пуанкаре, который, в свою очередь, основывался на трудах Римана и других его предшественников.

Рис. 3.3. Метод геометрического анализа, известный как поток сокращения кривых, дает математическое описание механизма превращения любой несамопересекающейся замкнутой кривой в окружность без возникновения при этом каких-либо особенностей, таких как выступы, петли или узлы

Вклад, внесенный многими из моих непосредственных предшественников в математику, был весьма значителен, таким образом, к моменту моего выхода на сцену в области нелинейного анализа уже имелось множество детально разработанных теорий. К подобным теориям относится разработанная Морри, Алексеем Погореловым и другими теория нелинейных дифференциальных уравнений в частных производных для случая двухмерного пространства, которые называют эллиптическими уравнениями и которые будут обсуждаться в пятой главе. В 1950-х годах Эннио де Джорджи и Джон Нэш разработали методы исследования подобных уравнений для случая большего числа измерений и более того — для любого числа измерений. Вскоре после этого теории, созданные для большого числа измерений, были развиты такими учеными, как Морри и Луис Ниренберг, что говорит о том, что я выбрал отличное время для начала работы в данной области и применения разработанных ими методов к геометрическим задачам.

Несмотря на то что подход, который я и мои коллеги взяли на вооружение в начале 1970-х, не был чем-то совершенно новым, мы попытались взглянуть на него с совершенно иной точки зрения. Так, для Морри дифференциальные уравнения в частных производных имели фундаментальное значение сами по себе и представляли скорее подлежащее изучению прекрасное творение разума, нежели средство для достижения какой-либо цели. Интересуясь также и геометрией, он рассматривал ее в основном как источник интересных дифференциальных уравнений, точно так же он смотрел и на многие области физики. И хотя мы оба восхищались этими уравнениями, наши цели были практически противоположны — вместо того, чтобы пытаться искать новые нелинейные уравнения в геометрических задачах, я собирался использовать эти уравнения для решения геометрических задач, до этого считавшихся неразрешимыми.

Вплоть до 1970-х годов геометры всячески избегали нелинейных уравнений, впрочем, я и мои современники не испытывали перед ними сильного страха. Мы поставили себе целью узнать, как следует обращаться с подобными уравнениями, чтобы затем использовать их в своей повседневной работе. Рискуя показаться нескромным, я все же скажу, что эта стратегия не только оправдала себя, но и вышла далеко за рамки первоначальных задач. На протяжении многих лет, используя методы геометрического анализа, мы занимались решением важнейших задач, не разрешенных до этого каким-либо другим способом. «Смесь геометрии с теорией [дифференциальных уравнений в частных производных], — отметил математик Имперского колледжа Лондона Саймон Дональдсон, — задает тон во всей обширной области, касающейся данного предмета, на протяжении последней четверти столетия».[26]

Итак, чем же занимается геометрический анализ? Рассмотрим сначала простейший пример. Предположим, что вы нарисовали окружность и сравнили ее с произвольной петлей или замкнутой кривой, которая имеет несколько меньшую длину, — в роли подобной петли может выступать обычная резинка, небрежно брошенная на письменный стол. Эти две кривые выглядят совершенно различными и, естественно, имеют разную форму. Однако можно представить, как резинка деформируется (или растягивается) и превращается в окружность — такую же, как та, что нарисована на бумаге.

Существует много способов сделать это. Вопрос в том, какой из них лучше? Иными словами, существует ли такой способ, который будет безотказно работать во всех возможных случаях и никогда не приведет к возникновению узлов или перекручиваний? Можно ли найти этот универсальный способ, не прибегая к методу проб и ошибок? Узнать все это можно в рамках геометрического анализа, который позволяет, исходя из геометрии произвольной кривой (в нашем случае резинки), сделать выводы о способах ее преобразования в окружность. Этот процесс не должен быть произвольным. Строго определенный или — еще лучше — канонический путь превращения нашей кривой в окружность однозначно определяется ее геометрией. Для математиков слово канонический является синонимом слова «единственно верный», что, впрочем, иногда звучит излишне строго. Представим себе, что мы хотели бы попасть с Северного полюса на Южный. Существует бесконечно много меридианов, соединяющих эти точки. Каждый из меридианов будет кратчайшим путем, но ни один из них не будет единственно верным; вместо этого мы называем такие пути каноническими.

Те же вопросы остаются актуальными и в случае более высоких размерностей. Вместо окружности и резинки теперь можно сравнить сферу или полностью надутый баскетбольный мяч со сдутым баскетбольным мячом с разнообразными углублениями и выступами. Задача состоит в том, чтобы превратить сдутый баскетбольный мяч в идеальную сферу. Конечно, для этого лучше всего использовать насос, но можно и математику. Математическим аналогом насоса в геометрическом анализе является дифференциальное уравнение, служащее движущим механизмом процесса преобразования формы путем крошечных непрерывных изменений. Стоит только определиться с начальной ситуацией (геометрией сдутого мяча) и найти подходящее дифференциальное уравнение — и задача будет решена.

Самым тяжелым во всем этом является нахождение подходящего для данного случая дифференциального уравнения, равно как и выяснение, существует ли в принципе уравнение, подходящее для данной задачи. К счастью, Морри и другие математики создали немало инструментов для анализа дифференциальных уравнений, при помощи которых можно узнать, имеет ли решение задача, с которой мы столкнулись, и, если да, то является ли это решение единственным.

Описанный выше тип задач принадлежит к категории задач, известных как геометрический поток. Подобные задачи в последнее время привлекли достаточно большое внимание по причине их использования в доказательстве сформулированной сто лет назад гипотезы Пуанкаре, о которой еще пойдет речь в этой главе. При этом, однако, необходимо отметить, что задачи данного типа составляют лишь часть круга исследований геометрического анализа, который охватывает гораздо большую область возможных применений.

Говорят, что, для того кто держит в руке молоток, любая проблема кажется гвоздем. Загвоздка лишь в том, как правильно определить направление «удара», необходимое для того, чтобы разрешить ту или иную задачу. Так, одним из важных классов задач, для решения которых используется геометрический анализ, является исследование минимальных поверхностей. Для таких гвоздей геометрический анализ порой является идеальным молотком.

Рис. 3.4. Кратчайшее расстояние между точками А и В проходит по дуге большого круга, который в данном случае совпадает с экватором, через точку Р. Этот путь носит название геодезической линии. Путь из А в В через точку Q также называется геодезической линией, хотя он и не соответствует кратчайшему расстоянию между точками. Однако он является кратчайшим по сравнению с другими путями, лежащими в непосредственной близости от него

Рис. 3.5. Жозеф Плато выдвинул гипотезу, согласно которой для любой простой замкнутой кривой можно найти минимальную поверхность — иными словами, поверхность минимально возможной площади, ограниченную данной кривой. Минимальной поверхностью, натянутой на замкнутую кривую, показанную жирной линией, в данном случае является так называемая поверхность Эннепера, названная в честь немецкого математика Альфреда Эннепера. (Изображение предоставлено Джоном Ф. Опреа)

Любой человек неоднократно сталкивался с минимальными поверхностями. При погружении пластмассового кольца из набора для пускания пузырей в сосуд с мыльной водой действие поверхностного натяжения приводит к тому, что образующаяся мыльная пленка принимает совершенно плоскую форму, стремясь иметь минимальную возможную площадь. Выражаясь математическим языком, минимальная поверхность является наименьшей по площади из всех поверхностей, которые можно натянуть на заданный замкнутый контур.

Задачи на нахождения минимума уже на протяжении сотен лет играют одну из ведущих ролей в геометрии и физике. Так, в XVII столетии французский математик Пьер Ферма показал, что свет, проходя через различные среды, всегда следует по тому пути, который требует наименьшего времени, что впоследствии привело к открытию так называемого «принципа наименьшего действия», ставшему одним из первых фундаментальных физических принципов, основанных на понятии нахождения минимума.

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

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

Нахождение кратчайшего пути является одномерным вариантом более сложной задачи нахождения минимальной поверхности для большего числа измерений. Кратчайший путь между двумя точками — будь то прямая линия, плоскость или дуга окружности, соединяющая две точки на земном шаре, — иногда называют геодезической линией, хотя это понятие, также вызывая путаницу, включает в себя и те пути, которые не обязательно являются кратчайшими, что, впрочем, не мешает им иметь большое значение для геометров и физиков. Если на дуге большого круга взять две точки, не лежащие на противоположных полюсах, то возникнет сразу два возможных пути из одной точки в другую — короткий и длинный. Оба пути представляют собой геодезические линии, но лишь один из них соответствует кратчайшему расстоянию между точками. Более длинный путь также имеет минимально возможную длину, однако только локально, среди всех возможных путей, проходящих вблизи данной геодезической линии. При рассмотрении всех возможных вариантов этот путь уже не будет кратчайшим — более кратким будет противоположный ему путь. Ситуация становится еще более запутанной в случае эллипсоида — поверхности, имеющей форму сплюснутой сферы, которую можно получить, вращая эллипс вокруг одной из его осей, — на эллипсоиде существует много геодезических линий, не являющихся кратчайшими путями из всех возможных.

Для нахождения упомянутых выше минимальных путей необходимо использовать дифференциальные уравнения. Чтобы найти минимальные значения, необходимо обратить внимание на точки, в которых производная равна нулю. Поверхность с наименьшей площадью должна удовлетворять определенному дифференциальному уравнению, а именно такому уравнению, которое выражает факт равенства нулю средней кривизны во всех возможных точках поверхности. Как только вы нашли требуемое дифференциальное уравнение в частных производных — вы сразу же получаете огромное количество информации о вашей задаче, поскольку за годы работы мы узнали многое об этих уравнениях.

Рис. 3.6. Хотя оригинальная формулировка проблемы Плато относится к поверхностям, натянутым на простые замкнутые кривые, можно сформулировать более сложные варианты того же вопроса — и иногда даже найти на них ответы. Например, можно ли найти минимальную поверхность в том случае, если граница состоит не из одной, а из нескольких замкнутых кривых (например, окружностей)? На рисунке приведены некоторые примеры минимальных поверхностей, являющихся решениями проблемы Плато, представленной в данной форме. (Исходное изображение — 3D-XplorMath Consortium)

«Впрочем, это совсем не означает, что мы занимаемся разграблением хорошо разработанной области и просто подбираем все, что плохо лежит. Наше сотрудничество — это скорее улица с двухсторонним движением, поскольку большой объем информации о поведении дифференциальных уравнений в частных производных был получен именно благодаря геометрии», — говорит Роберт Грин.[28] Чтобы увидеть то, что может получиться из соединения геометрического анализа с теорией минимальных поверхностей, давайте продолжим наш разговор о мыльных пленках.

В XIX столетии бельгийский физик Жозеф Плато провел в этой области серию классических экспериментов, состоявших в погружении изогнутых различными способами кусков проволоки в сосуды с мыльной водой. Плато сделал вывод, что мыльные пленки, которые образовывались в ходе эксперимента, всегда имели минимальную поверхность. Более того, он предположил, что для любой замкнутой кривой всегда можно найти минимальную поверхность, контуром которой служила бы данная кривая. В большинстве случаях будет существовать только одна минимальная поверхность — и тогда задача будет иметь единственное решение. Но в некоторых случаях существует больше чем одна поверхность с минимальной площадью, и мы не знаем, сколько их будет всего.

Гипотеза Плато оставалась недоказанной вплоть до 1930 года, когда Джесси Дуглас и Тибор Радо независимо друг от друга нашли решение этой проблемы. За свою работу в этой области Дуглас получил в 1936 году медаль Филдса, став первым обладателем этой награды.

Рис. 3.7. Математик Уильям Микс (фотография Хоакина Переза)

Не всякая минимальная поверхность столь же проста, как мыльная пленка. Некоторые минимальные поверхности, над которыми ломают головы математики, намного сложнее и характеризуются многочисленными изгибами и складками, называемыми особенностями, или сингулярностями, — впрочем, многие из них встречаются в природе. Через несколько десятилетий после того, как Дуглас и Радо опубликовали свои работы, их разработки были продолжены стэнфордским математиком Робертом Оссерманом, автором блестящей книги по геометрии под названием «Поэзия Вселенной», который показал, что минимальные поверхности, фигурирующие в экспериментах, подобных экспериментам Плато, могут иметь только один тип особенностей, выглядящих как диски или плоскости, пересекающиеся по прямым линиям. Следующий шаг был совершен мной и Уильямом Миксом, профессором Массачусетского университета, с которым мы вместе учились в Беркли.

Рис. 3.8. Лемма Дена, геометрическая версия которой была доказана Уильямом Миксом и автором данной книги (Яу), обеспечивает математический метод для преобразования пересекающихся поверхностей в поверхности без пересечений, складок и других особенностей. Лемму обычно формулируют в терминах топологии, но геометрический подход Микса и Яу дает более точное решение

Мы рассмотрели ситуацию, в которой в роли минимальных поверхностей выступали так называемые вложенные диски, представляющие собой поверхности, которые на всем своем протяжении ни разу не изгибаются настолько, чтобы пересечь сами себя. Локально подобное пересечение выглядело бы как пересечение двух или нескольких плоскостей. В частности, нас заинтересовали выпуклые тела, то есть такие объекты, для которых отрезок прямой (или геодезическая линия), соединяющий любые две точки, всегда будет лежать на поверхности или внутри данного объекта. Таким образом, куб и сфера являются выпуклыми объектами, а седло — нет. Любые полые тела, обладающие выступами или имеющие форму полумесяца, не считаются выпуклыми, поскольку отрезки, соединяющие некоторые точки, обязательно будут выходить за пределы тела. Нами было доказано, что для любой замкнутой кривой, которую можно нарисовать на поверхности выпуклого тела, минимальная поверхность, опирающаяся на данную кривую, всегда будет вложенной, то есть не будет иметь тех складок или пересечений, которые упоминал Оссерман. Иными словами, в выпуклых пространствах все идет гладко и красиво.

Таким образом мы разрешили важнейший вопрос геометрии, являвшийся предметом дискуссий на протяжении десятилетий. Впрочем, на этом история не закончилась. Для доказательства данной версии теоремы Плато мы с Миксом использовали некую лемму, называемую леммой Дена.

(Леммой в геометрии называется вспомогательное утверждение, доказанное исключительно с целью доказательства в дальнейшем более общего положения.) Долгое время считалось, что эта лемма была доказана в 1910 году немецким математиком Максом Деном, однако по прошествии десяти лет в его доказательстве была обнаружена ошибка. Ден утверждал, что для случая трехмерного пространства диск, имеющий особенность, то есть самопересечение под углом или крест-накрест, можно заменить на другой диск, не имеющий каких-либо особенностей и опирающийся на тот же контур. В случае своей истинности это утверждение было бы весьма полезно, поскольку оно изрядно упростило бы работу геометров и топологов, предоставив им возможность заменять самопересекающиеся поверхности поверхностями, не имеющими подобных пересечений.

Окончательное доказательство леммы Дена было найдено в 1956 году греческим математиком Христосом Папакирьякопулосом. Это событие было запечатлено в шуточном стишке Джона Мильнора:

Вероломнейшая лемма Дена

Пред топологом ставила стену.

Но явился Христос

Папакирьякопулос,

Доказав эту лемму мгновенно.

Мы с Миксом применили основанный на топологии подход Папакирьякопулоса к геометрической проблеме, затронутой в работах Плато. Затем мы пошли в обратном направлении и при помощи геометрии доказали более строгие варианты (по сравнению с теми, которые можно было получить исходя исключительно из топологии) как леммы Дена, так и относящейся к ней теоремы о петле. Прежде всего, мы показали возможность существования диска с наименьшей площадью во вложенном (и, следовательно, несамопересекающемся) пространстве. Однако в этом частном случае (называемом эквивариантным) необходимо было рассматривать не один диск, а множество симметричных пар — нечто подобное многочисленным отражениям в кривом зеркале. Случай, рассмотренный нами, предполагал конечное, хотя и произвольно большое число зеркальных отражений — или симметричных пар. Мы доказали, что диск минимальной площади ни при каких условиях не пересекается ни с самим собой, ни с дисками из его группы симметрии. Можно сказать, что диски, принадлежащие одной группе, «параллельны» друг другу за одним только исключением: в тех случаях, когда диски все же пересекаются, они должны полностью совпадать.

Данная задача важна и сама по себе, однако еще большую важность она приобретает в связи со знаменитой топологической задачей, сформулированной в 1930 году и известной как гипотеза Смита. Эта гипотеза основана на размышлениях американского тополога Пола Смита о возможности вращения обычного трехмерного пространства вокруг бесконечно длинной вертикальной оси. Смиту было известно, что в том случае, когда ось является прямой линией, осуществить вращение вокруг нее трехмерного пространства довольно просто. Его гипотеза состояла в том, что подобное вращение становится невозможным при наличии на оси хотя бы одного узла.

Вас, конечно, может удивить, что кого-то заинтересовал подобный вопрос, но это именно тот тип задач, которыми и занимаются топологи и геометры. Как заметил Кэмерон Гордон из Техасского университета по этому поводу: «Наша интуиция подсказывает нам, что это утверждение самоочевидно, поскольку возможно ли представить вращение пространства вокруг завязанной в узел линии?» Наше с Миксом доказательство леммы Дена и теоремы о петле стали двумя последними фрагментами, необходимыми для того, чтобы подтвердить гипотезу Смита. Окончательное подтверждение его гипотезы было получено путем объединения наших результатов с результатами Уильяма Тёрстона и Хаймана Басса. Упоминавшийся ранее Кэмерон Гордон свел воедино разрозненные фрагменты и получил безупречное доказательство, подтвердившее предположение Смита о невозможности вращения трехмерного пространства вокруг завязанной в узел оси. При этом, правда, оказалось, что — как бы смешно это ни прозвучало — это утверждение неверно для пространств более высокой размерности, и для них подобные вращения все-таки возможны.[29]

Это доказательство представляет собой прекрасный пример совместной работы геометров и топологов над проблемой, которая потребовала бы от них много больше времени в том случае, если бы они пытались решить ее поодиночке. Кроме того, работая над упомянутой задачей, я впервые осознал, что рассуждения о минимальных поверхностях применимы к вопросам топологии. Наконец, доказательство гипотезы Смита подтвердило идею о возможности использования геометрии для решения проблем в области топологии и физики. Впрочем, пока мы говорили только о топологии и практически не затрагивали физику, оставив открытым вопрос о возможном использовании в ней геометрического анализа.

На международной конференции по геометрии, проходившей в Стэнфорде в 1973 году, мое внимание впервые привлекла одна задача из области общей теории относительности, которой всего через несколько лет после этого суждено было стать подтверждением действенности методов геометрического анализа в физике. Я узнал об этой задаче от физика Чикагского университета Роберта Героха, затронувшего в своем докладе неподтвержденную на то время гипотезу о положительности массы или энергии. Согласно этой гипотезе, в изолированной физической системе общая масса и общая энергия должны быть положительны. В данном случае понятия массы и энергии эквивалентны, как было показано Эйнштейном в его знаменитом уравнении E = mc2. Поскольку Вселенную можно рассматривать как изолированную систему, гипотеза должна быть применима также и к Вселенной в целом. Вопрос о правомерности этого утверждения был столь важен, что на протяжении многих лет на всех основных конференциях по общей теории относительности ему отводили отдельную сессию. Причиной этого являлось непосредственное отношение гипотезы о положительности массы к вопросу о стабильности пространственно-временного континуума и, следовательно, непротиворечивости теории Эйнштейна самой по себе. Говоря простыми словами, пространственно-временной континуум может быть стабилен только в том случае, если его общая масса положительна.

На Стэнфордской конференции Герох бросил вызов геометрам, призвав их заняться задачей, которую физики на тот момент собственными усилиями решить не могли. Его надежда на помощь основывалась не только на фундаментальной связи между геометрией и гравитацией, но также и на том факте, что утверждения о положительности плотности материи и о положительности средней кривизны в каждой точке пространства по сути эквивалентны.

Герох был крайне заинтересован в окончательном разрешении этого вопроса. «Трудно было поверить, что эта гипотеза может быть ошибочной, но не менее трудно было доказать ее истинность», — заметил он впоследствии. Нельзя полагаться на интуицию, когда речь идет о подобных вещах, поскольку, добавил он, «она далеко не всегда ведет нас в правильном направлении».[30]

Призыв Героха прочно засел у меня в голове, и через несколько лет после этого, занимаясь совершенно иным вопросом, мы с моим бывшим аспирантом Ричардом Шоном (теперь стэнфордским профессором) обратили внимание на то, что некоторые из разработанных нами в последнее время методов геометрического анализа могут быть использованы для доказательства гипотезы о положительности массы. Тогда, применив стратегию, обычную для решения крупных задач, мы попытались разбить задачу на небольшие фрагменты, с которыми можно было бы работать поодиночке. Перед тем как приступить к доказательству гипотезы в целом (которую для геометра тяжело даже осознать, не то что пытаться доказывать), мы сосредоточили наше внимание на нескольких частных случаях. Кроме того, мы не были до конца уверены, что эта гипотеза верна с чисто геометрической точки зрения, поскольку ее утверждения казались нам чересчур строгими.

В своих попытках мы были не одиноки. Так, Михаил Громов, известный геометр, работающий в Нью-Йоркском университете и в Институте высших научных исследований (Франция), поделился с нами своим мнением о том, что, согласно его геометрической интуиции, общий случай этой гипотезы ошибочен, с чем были согласны и многие из его коллег. С другой стороны, большинство физиков были твердо уверены в истинности гипотезы, что они постоянно демонстрировали, год за годом поднимая вопрос о ней на всевозможных научных конференциях. Все это побудило нас более пристально взглянуть на эту идею, чтобы понять, что мы сможем сделать в этой области.

Подход, который мы задействовали, был тесно связан с понятием о минимальных поверхностях. К доказательству гипотезы о положительности массы этот метод был применен впервые, поскольку никакой очевидной связи между этой задачей и минимальными поверхностями не существовало. Впрочем, Шон и я чувствовали, что мы выбрали правильный путь. В геометрии, как и в инженерии, для того чтобы решить задачу, необходимо прежде всего правильно подобрать инструменты для ее решения, хотя, после того как доказательство уже завершено, мы порой обнаруживаем и другие пути для его нахождения. Если бы локальная плотность материи оказалась положительной, как постулировалось в общей теории относительности, то геометрии пришлось бы считаться с этим фактом. Шон и я предположили, что именно минимальные поверхности являются наиболее подходящим инструментом для определения влияния локальной плотности материи на глобальную кривизну и топологию.