Олег Арсенов - Григорий Перельман и гипотеза Пуанкаре

Гиперповерхность— срез четырехмерного пространства-времени.

Гиперсфера— сфера в гипотетическом многомерном пространстве.

Гипотеза Пуанкаре— топологическая задача, дающая достаточное условие того, что пространство является трехмерной сферой с точностью до деформации. В исходной форме утверждает, что всякое односвязное компактное трехмерное многообразие без края гомеоморфно трехмерной сфере. Обобщенная гипотеза Пуанкаре содержит утверждение, что для любого n всякое многообразие размерности n гомотопически эквивалентно сфере размерности n тогда и только тогда, когда оно гомеоморфно ей. Исходная гипотеза Пуанкаре является частным случаем обобщенной гипотезы при n = 3. Она сформулирована французским математиком Пуанкаре в 1904 году. Попытки доказать гипотезу привели к многочисленным продвижениям в топологии многообразий. Доказательства обобщенной гипотезы Пуанкаре для n > 5 получены в начале 1960-1970-х годов почти одновременно Смейлом и Столлингсом (независимо и другими методами). Для n > 1 его доказательство было распространено на случаи n = 5 и 6 Зееманом. Доказательство значительно более трудного случая n = 4 было получено только в 1982 году Фридманом. Из теоремы Новикова о топологической инвариантности характеристических классов Понтрягина следует, что существуют гомотопически эквивалентные, но не гомеоморфные многообразия в высоких размерностях. Доказательство исходной гипотезы Пуанкаре и более общей гипотезы Терстона было найдено только в 2002 году Г. Я. Перельманом. Впоследствии доказательство Перельмана было проверено и представлено в развернутом виде как минимум тремя группами ученых. Доказательство использует поток Риччи

-239-

с хирургией и во многом следует плану, намеченному Гамильтоном, который также первым применил поток Риччи.

Голая сингулярность— пространственно-временная сингулярность, не окруженная горизонтом событий.

Гомеоморфизм(от греч. homoios — подобный и гомео morphe — вид, форма) — топологическое взаимно-однозначное и непрерывное отображение, обратное к которому тоже непрерывно. Пространства, связанные гомеоморфизмом, топологически неразличимы.

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

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

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

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

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

-240-

двумя независимыми компонентами (поляризациями). Гравитационную волну излучает любая движущаяся ускоренно материя. Для возникновения волны существенной амплитуды необходимы чрезвычайно большая масса излучателя или/и огромные ускорения, амплитуда гравитационной волны прямо пропорциональна ускорению и массе генератора. Однако если некоторый объект движется ускоренно, то это означает, что на него действует некоторая сила со стороны другого объекта. В свою очередь этот другой объект испытывает обратное действие по III закону Ньютона. Получается, что два объекта излучают гравитационные волны только в паре, причем в результате интерференции они существенно взаимно гасятся.