Изменить размер шрифта - +
Картина немного напоминает кошку под ковром из главы 4, но теперь кошка, хотя и не может сбежать, способна растечься по полу ровным слоем. (Говоря иначе, кошка здесь должна быть топологической.)

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

 

 

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

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

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

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

Быстрый переход