Оригинал статьи: SCIENTIFIC AMERICAN JULY 2004

COPYRIGHT 2004 SCIENTIFIC AMERICAN, INC.

The Shapes of Space

By Graham P. Collins
Форма пространства
Грэхем П. Коллинз

Встаньте и посмотрите вокруг. Прогуляйтесь по кругу. Прыгните в воздух. Взмахните руками.

Вы являетесь набором частиц, двигающихся в малой области 3-многообразия – трех мерного
пространства – которое распространяется во всех направлениях на много миллионов световых лет.

Многообразие — это математическая конструкция. Триумфом физической науки времен

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

Согласно Ньютоновской физике и обычной квантовой физике трехмерное пространство, где

все происходит, фиксировано и неизменно. Эйнштейновская общая теория относительности
наоборот делает пространство активным игроком: расстояние от одной точки до другой зависит от
того как много материи и энергии находится вблизи и какие гравитационные волны могут
находиться рядом. Но или мы работаем с Ньютоновской или с Эйнштейновской физикой или
пространство бесконечно или конечно пространства представляется как 3-многообразия.
Понимание свойств 3-многообразия поэтому есть база для полного понимания оснований, на
которых строится почти вся физика и остальные науки. (4-многообразия так же важны: пространство
и время вместе составляют 4-многообразие).

Математика знает много о 3-многообразиях, но некоторые наиболее базовые вопросы

имеют труднейшие доказательства. Ветвь математики, которая изучает многообразия, это
топология. Среди фундаментальных вопросов о 3-многообразиях топологи могут спросить: каков
наиболее простой тип 3-многообраий с наиболее простой структурой? Имеется много
родственников, которые имеют эквивалентную простоту или он уникален? Какие виды 3-
многообразий существуют?

Ответ на первый вопрос давно известен: пространство, называемое 3-сфера есть

наипростейшее компактное 3-многообразие. (Не компактные многообразия можно представлять
как бесконечные или имеющие край. Далее я рассматриваю только компактные многообразия.)
Другие два вопроса продержались столетие и смогли получить ответы в 2002 году от Григория
Перельмана – русского математика, который вероятнее всего доказал теорему известную как
гипотеза Пуанкаре.

Впервые сформулированная французским математиком Анри Пуанкаре точно 100 лет

назад, гипотеза утверждает, что 3-сфера единственная среди 3-многообразий; нет других 3-
многообразий, имеющих свойства, которые делают их такими простыми. 3-мргообрахия более
сложные чем 3-сфера имеют границы, которые вы можете обегать снова и снова как кирпичную
стену или много проходов из одного района в другой. Гипотеза Пуанкаре утверждает, что 3-сфера
является единственным компактным 3-многообразием, которое лишено всех таких сложностей.
Любой трехмерный объект, который имеет такие же свойства как 3-сфера может быть
деформирован в такую же форму как 3-сфера; до настоящего времени топологи считают, что такой
объект есть другая копия 3-сферы. Доказательство Перельмана так же ответило третий наш вопрос:
(это полная работа) классификация всех 3-многообразий существует.

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

Доказательство гипотезы

После Пуанкаре, предложившего свою гипотезу о 3-сфере, пол столетия прошло без какого-
либо реального прогресса в доказательстве ее. В 1960 году математики доказали аналогичную
гипотезу для сфер с размерностью пять или выше. В каждом случае n-сфера является уникальным
наиболее простым многообразием этой размерности. Парадоксально, что этот результат был легче
доказать для сфер высокой размерности чем для сфер размерности четыре или три. Доказательство
трудного случая четырех мерной сферы пришло в 1982 году. Только исходный вариант, касающийся
трех мерной сферы, оставался открытым.

Главный шаг в отношении трехмерной проблемы пришел в ноябре 2002 года, когда
Перельман, математик из математического института имени Стеклова в Санкт-Петербурге,
опубликовал статью на сервере www.arxiv.org, который широко используется физиками и
математиками как депозитно-распределительный центр новых исследований. Статья не упоминала
гипотезу Пуанкаре непосредственно, но топологи - эксперты, которые посмотрели ее, немедленно
поняли – статья имеет отношение к этой теореме. Перельман опубликовал следующую статью в
марте 2003 года, и с апреля по май этого года он посетил США для проведения серии семинаров по
этим результатам в МТИ и Stony Brook University. Команда математиков из приблизительно
дюжины лидирующих институтов начала глубоко изучать его статьи проверяя каждую деталь и
пытаясь найти ошибки. В Stony Brook University Перельман в течении двух недель давал
формальные и неформальные лекции, ведя беседу от трех до шести часов в день. «Он отвечал на
каждый вопрос, который появлялся, и он был очень ясным» сказал математик Михаэль Андерсон
из Stony Brook. «Никто не выдвигал каких-либо серьезных сомнений». Один добавочный
сравнительно не серьезный шаг был доказан для завершения результата. Андерсон сказал «однако,
нет реальных сомнений относительно истинности этого финального куска». Первая статья сдержит
фундаментальные идеи и прелестный источник будет принят, когда будет подтвержден. Вторая
статья содержит применение и более технические аргументы; их верификация не достигает уровня
доверия, достигнутого в первой статье.

За доказательство гипотезы Пуанкаре назначена награда в 1миллион долларов: это одна из

семи «Проблем миллениума» объявленных институтом математики Клэй в Кембридже в 2000 году.
Доказательство Перельмана должно быть опубликовано и выдержать два года исследований
перед тем как он получит право на приз. (Институт может решить, что публикация на веб-сервере
расценивается как «публикация» т.к. результат исследуется как строго равное просмотру как любая
журнальная статья.) Работа Перельмана расширяет и дополняет программу исследований, которую
Ричард С. Гамильтон из Колумбийского университета исследовал в 1990-х годах. Клэй институт
признал работу Гамильтона достойной исследовательской награды за 2003 год. Вычисления и
анализ Перельманом отбросили в сторону несколько дорожных препятствий, на которые наехал
Гамильтон и не смог обойти.

Если, как все предполагают, доказательство Перельмана корректно, оно действительно

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

Резиновый бублик

Для понимания гипотезы Пуанкаре и доказательства Перельмана с большей глубиной вы

должны знать кое что о топологии. В этой ветви математики точная форма объекта не имеет
значения как, если играть с тестом, то вы можете растягивать, сжимать и сгибать в любой степени.
Но почему мы должны получать представление об объектах или пространствах представляя игру с
тестом? Причина имеет отношение к тому факту, что точная форма объекта – расстояние от одной
точки на нем до другой – является уровнем структуры, который называется геометрией объекта.
Рассматривая игру «объект из теста», топологи открывают какие свойства объекта так
фундаментальны, что они существуют независимо от их геометрической структуры. Изучение
топологии подобно открытию, какие свойства людей являются общими принимая во внимание
свойства игры с человеком из теста, которая может трансформировать некоторого человека в
любого другого.

Если вы прочитаете любой популярный аккаунт топологии, вы вероятно встретите седой

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

Топологов интересуют больше поверхности мяча и пончика поэтому вместо представления

их как твердые тела мы должны представлять их как баллон в обоих случаях. Топологи все же
различают – сферический баллон не может быть преобразован в баллон в форме кольца, который
они называют тором. Тогда с топологической точки зрения сфера и тор различные сущности. Ранние
топологи ясно установили, как много других различных с топологической точки зрения существует
сущностей и как можно их охарактеризовать. Для двумерных объектов (двумерный означает сама
поверхность двумерная, но она может располагаться в пространствах большей размерности),
которые так же называются поверхностями, ответ ясный и аккуратный: они все разделяются по тому
как много «ручек» эти поверхности имеют.
 В конце 19 века математики поняли, как классифицировать поверхности. Из всех
поверхностей сфера, они знали, имеет уникальную простоту. Естественно они стали интересоваться
трехмерной сферой. Для начала – была ли 3-сфера уникальна в своей простоте, аналогично 2-
сфере? История длинною в век, которая последовала после этого элементарного вопроса, принесла
ложные шаги и ложные доказательства. Анри Пуанкаре прямо высказал этот вопрос. Он был одним
из двух выдающихся математиков, которые были активны в начале 20 века (другой Давид
Гильберт). Пуанкаре называли последним универсалом – он свободно работал во всех разделах
математики, чистой и прикладной. В дополнение к многочисленным разделам математики он внес
вклад в теорию небесной механики и электромагнетизма, а также был философом науки (о которой
он написал несколько популярных книг).

Пуанкаре в большой степени создал ветвь математики, названную алгебраической

топологией. Около 1900 года, используя технику этой ветви, он сформулировал раздел топологии
называемый гомотопией. Для определения гомотопии многообразий представим, что вы врезали
замкнутую линию (цикл) в многообразие. Цикл может быть намотан на многообразие любым
возможным образом. Мы тогда спрашиваем: Можно ли цикл всегда стянуть в точку строго
перемещая его по многообразию без подъема частей цикла над многообразием? На торе это всегда
невозможно. Если цикл проходит окружность тора, он не может стянуть его в точку – он захватил
внутреннее кольцо тора. Гомотопия оценивает все различные пути – цикл может получить захват.

На n-сфере не имеет значения какие изгибы принимает линия цикла, она всегда может быть
распутана и стянута в точку. (Цикл всегда может проходить сквозь самого себя, т.к. это разрешено в
многообразиях.) Пуанкаре предположил, что только 3-многообразие, на котором любой
возможный цикл может быть стянут в точку является 3-сферой, но он не смог доказать это. В свое
время это предположение стало известно как гипотеза Пуанкаре. В течение десятилетий многие
люди сообщали о доказательствах этой гипотезы, но доказательства были не верными. (Для
ясности, здесь и далее я игнорирую две сложности: так называемые не ориентируемые
многообразия и многообразия с краем. Например, лента Мебиуса, лента, концы которой
перекручены на 180 градусов один относительно другого и соединены так, что образуется
замкнутая лента, является не ориентируемой поверхностью. Сфера с вырезанным из нее диском
имеет край. Лента Мебиуса так же имеет край.

Геометризация

Доказательство Перельмана первое устояло полному внимательному исследованию. Его

подход к анализу трехмерных многообразий относится к процедуре называемой геометризацией.
Геометрия относится к действительной форме объекта или многообразия: для геометрии объект
делается не из теста, а из керамики. Чашка, например, имеет геометрию отличающеюся от пончика;
кривизна поверхности у них разная. Говорят, что чашка и пончик два экземпляра топологического
тора (при условии, что чашка имеет ручку), которые обладают различными геометриями. Для
понимания, как геометризация помогла Перельману, рассмотрим, как геометрия может быть
использована для классификации 2-многообразий. Каждой топологической поверхности
присваивается специальная, уникальная геометрия: такая для которой кривизна поверхности
одинаковая на всем многообразии. Для сферы эта уникальная геометрия есть совершенная
сферическая поверхность. Форма скорлупы яйца есть другая возможная геометрия для
топологической сферы, но она не имеет постоянной кривизны: тонкий конец яйца больше изогнут
чем толстый.
 2-многообразия образуют три геометрических типа (см. рисунок). Сфера имеет то, что
называется положительной кривизной, форму вершины холма. Геометризированный тор есть
плоскость; его кривизна нулевая, подобна равнине. Все другие многообразия с двумя и более
ручками имеют отрицательную кривизну. Отрицательная кривизна подобна форме долины в горах
или седлу: проходя с передней части на заднюю кривизна увеличивается; слева направо его
кривизна уменьшается. Пуанкаре совместно с Паулем Кобе и Феликсом Клейном (автор в честь
которого названа бутылка Клейна), внесли вклад в эту геометрическую классификацию или
геометризацию 2-многообразий.

Естественно попытаться применить подобные методы к 3-многообразиям. Возможно ли

найти уникальные геометрии для каждого топологического 3-многообразия для которых кривизна
одинакова на всем многообразии. Оказалось, что 3-многообразия гораздо более сложные чем 2-
многообразия. Они могут быть разрезаны на куски, каждый из которых имеет различную
каноническую геометрию. Еще больше, вместо трех базовых геометрий, как у 2-многообразий,
куски 3-многообразия могут иметь любую из восьми канонических геометрий. Разрезание каждого
3-многообразия в чем-то аналогично разложению целых чисел в произведение простых
сомножителей.

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

Как мы можем пытаться геометризовать многообразие, то есть дать ему одинаковую

кривизну везде. Один способ начать с какой-либо произвольной геометрии, возможно подобной
форме скорлупы яйца с различными выпуклостями и впадинами и затем сгладить все
нерегулярности. Гамильтон начал такую программу анализа 3-многообразий в начале 1990-х годов
используя уравнения под названием «потоки Риччи (названные так в честь математика Джорджо
Риччи-Курбастро), которые имели некоторое сходство с уравнениями, которые описывают потоки
тепла. В теле с теплыми и холодными участками тепло естественно течет от более теплых участков
к более холодным пока температура на выровняется везде. Уравнения потоков Риччи имеют
подобный эффект для кривизны, деформируя многообразие до выравнивания всех выпуклостей и
впадин. Если вы начнете со скорлупы яйца, то оно постепенно станет идеальной сферой.
 Гамильтонов анализ приводил к тупику: в некоторых ситуациях потоки Риччи могли
приводить к появлению сужения и сжатию его в точку. (Это есть то, что отличает потоки Риччи от
потоков тепла. Место, которое сжимается подобно точкам, в которых достигается бесконечная
температура. Один пример был, когда многообразие имело форму гантели, подобно двум сферам
соединенным тонким горлышком. Сферы могут расти, по эффекту вытягивания материала от
горлышка, которое может утончаться до точки в середине. Другой возможный пример появляется,
когда ветка вырастает из многообразия; потоки Риччи могут производить трудности под названием
сигарная сингулярность. Когда многообразие стягивается таким способом, это называется
сингулярностью – это теперь не настоящее трёхмерное многообразие. В настоящем трехмерном
многообразии маленький район вокруг любой точки подобен маленькому району обычного
трехмерного (Евклидова) пространства, но это свойство не выполняется в сжатых точках. Способ
обхода этих тупиков ждал Перельмана.

Перельман прибыл США как студент с ученой степенью в 1992 году, провел семестры в
Нью-Йоркском университете и Stony Brook, затем последовали два года в университете Беркли в
Калифорнии. Он быстро сделал имя как юная звезда, получив много важных и глубоких результатов
в специфических разделах геометрии. Он был награжден призом от Европейского математического
общества (Которую он отклонил) и получил престижное звание от международного конгресса
математиков (которое он принял). Весной 1995 года он был приглашен в несколько выдающихся
математических подразделений, но он отклонил их все для возвращения домой в Санкт-Петербург.
«Культурно он очень русский» комментировал один американский коллега. «Он совершенно не
материалист».

Вернувшись в Санкт-Петербург он посуществу исчез из математического горизонта.

Единственными признаками активности после многих лет были редкие случаи, когда он посылал
по e-mail письма старым коллегам, например, указывал на ошибки в статьях, которые они
публиковали в интернете. Запросы по e-mail о его любимом занятии оставались без ответа.
 В конце концов в начале 2002 года несколько человек получили от него по e-mail
оповещение им, что он поместил на математическом сервере материал – характерную короткую
заметку говорящую, что они могут найти его интересным. Это заниженное извещение было первой
стадией его атаки на гипотезу Пуанкаре. В препринте, параллельно с принятием в институт имени
Стеклова, Перельман благодарил за поддержку в форме денег, которые он сохранил с его
пребывания в США как студента с ученой степенью.

В этой статье Перельман добавил новый член в уравнение потоков Риччи.

Модифицированное уравнение не исключало трудностей с сингулярностью, но оно дало
возможность Перельману продвинуть анализ намного дальше. С сингулярностью гантели он
показал, что вырезание может быть выполнено: отрезать кусок тонкой трубки с каждой стороны
зарождающейся сингулярности и герметизировать открытую трубку на каждом гантельном шаре
сферической кепкой (сегментом). Тогда поток Риччи может быть продолжен с оперированным
многообразием пока не появится следующее сжатие, с которым такая же процедура может быть
выполнена. Он так же показал, что сигарная сингулярность не может появиться. Таким образом он
показал, что любое 3-многообразие может быть преобразовано в коллекцию кусков, каждый из
которых имеют однородную геометрию.

Тогда потоки Риччи и вырезания применяются ко всем возможным 3-многообразиям,

любое многообразие простое как 3-сфера (технически, которое имеет гомотопию как у 3-сферы)
необходимо приобретает такую же однородную геометрию как у 3-сферы. Этот результат означает,
что 3-сфера уникальна.

Помимо доказательства гипотезы Пуанкаре исследование Перельмана важны для

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

КОНЕЦ СТАТЬИ ОПИСЫВАЕТ ПРИЛОЖЕНИЕ К ЯДЕРНОЙ ФИЗИКЕ И ТЕОРИИ ОТНОСИТЕЛЬНЛСТИ. МНЕ

НЕ ИНТЕРЕСНО И ТРУДНО ПЕРЕВОДИТЬ. ПОСЛЕДНИЕ 287 СЛОВ Я НЕ ПЕРЕВОДИЛ.

ДГМ 20.11.2019

Примечание переводчика. Точная формулировка теоремы «Гипотеза Пуанкаре»: если

фундаментальная группа 3-многообразия тривиальна, то это 3-многообразие гомеоморфно 3-
сфере.
Что видит насекомое интересует журналистов, а я поясню термины на рабоче-крестьянском
уровне.
Слова «Фундаментальная группа тривиальна» означают, что замкнутую линию на
многообразии можно непрерывно стянуть (продеформировать) в точку.
Фундаментальная группа – это множество замкнутых линий*) на многообразии
начинающихся и заканчивающихся в выделенной точке. Операция суммирования двух путей – это
сшивание (объединение) их в выделенной точке в один путь.
Два многообразия гомеоморфны, когда одно можно непрерывно продеформировать в
другое.
Пуанкаре доказал, что фундаментальная группа 3-сферы тривиальна. Вскоре было
показано, что существуют два не гомеоморфных 3-многообразия, у которых фундаментальные (не
тривиальные) группы совпадают.
Теорема «Гипотеза Пуанкаре» дает способ выяснить: данное 3-многообразие гомеоморфно
3-сфере или нет.
 *) Боле строго не линий, а классов эквивалентности по отношению «непрерывная
деформация».