Гипотеза геометризации - Geometrization conjecture

Теорема геометризации
ПолеГеометрическая топология
ПредполагаетсяУильям Терстон
Предполагается в1982
Первое доказательствоГригорий Перельман
Первое доказательство в2006
ПоследствияГипотеза Пуанкаре
Гипотеза об эллиптизации Терстона

В математике Гипотеза терстона о геометризации заявляет, что каждый из определенных трехмерных топологические пространства имеет уникальную геометрическую структуру, которая может быть с ней связана. Это аналог теорема униформизации для двумерных поверхности, в котором говорится, что каждый односвязный Риманова поверхность можно задать одну из трех геометрий (Евклидово, сферический, или же гиперболический В трех измерениях не всегда возможно назначить одну геометрию целому топологическому пространству. Вместо этого гипотеза геометризации утверждает, что каждый замкнутый 3-х коллекторный может быть разложен каноническим образом на части, каждая из которых имеет один из восьми типов геометрической структуры. Гипотеза была предложена Уильям Терстон  (1982 ), и предполагает несколько других гипотез, таких как Гипотеза Пуанкаре и Терстона гипотеза эллиптизации.

Терстона теорема гиперболизации подразумевает, что Многообразия Хакена удовлетворяют гипотезе геометризации. Терстон объявил о доказательстве в 1980-х годах, и с тех пор в печати появилось несколько полных доказательств.

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

Гипотеза

Трехмерное многообразие называется закрыто если это компактный и не имеет граница.

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

Вот утверждение гипотезы Терстона:

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

Существует 8 возможных геометрических структур в 3-х измерениях, описанных в следующем разделе. Существует единственный минимальный способ разрезать неприводимое ориентированное трехмерное многообразие вдоль торов на части, Многообразия Зейферта или же аториоидальный называется Разложение JSJ, что не совсем то же самое, что разложение в гипотезе геометризации, потому что некоторые из частей в разложении JSJ могут не иметь геометрических структур конечного объема. (Например, отображающий тор Карта Аносова тора имеет решаемую структуру конечного объема, но его JSJ-разложение разрезает его вдоль одного тора, чтобы произвести произведение тора и единичного интервала, а внутренняя часть этого не имеет геометрической структуры конечного объема.)

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

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

Восемь геометрий Терстона

А геометрия модели является односвязным гладким многообразием Икс вместе с переходным действием Группа Ли грамм на Икс с компактными стабилизаторами.

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

А геометрическая структура на коллекторе M является диффеоморфизмом из M к Икс/ Γ для некоторой геометрии модели Икс, где Γ - дискретная подгруппа группы грамм действовать свободно на Икс ; это частный случай полного (G, X) -структура. Если данное многообразие допускает геометрическую структуру, то оно допускает такое, модель которого максимальна.

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

Есть некоторая связь с Группы Бьянки: трехмерные группы Ли. Большинство геометрий Терстона могут быть реализованы как левоинвариантная метрика на группе Бианки. тем не мение S2 × р не может быть, евклидово пространство соответствует двум различным группам Бианки, и существует несчетное количество разрешимых неунимодулярных групп Бьянки, большинство из которых дают модельные геометрии без компактных представителей.

Сферическая геометрия S3

Стабилизатор точки - O (3, р), а группа грамм является 6-мерной группой Ли O (4, р), с 2 компонентами. Соответствующие многообразия - это в точности замкнутые трехмерные многообразия с конечной фундаментальной группой. Примеры включают 3-сфера, то Сфера гомологии Пуанкаре, Объективы. Эту геометрию можно смоделировать как левоинвариантную метрику на Группа Бианки IX типа. Все многообразия этой геометрии компактны, ориентируемы и имеют структуру Волоконное пространство Зейферта (часто несколькими способами). Полный список таких многообразий приведен в статье на Сферические 3-многообразия. Под потоком Риччи многообразия с такой геометрией схлопываются в точку за конечное время.

Евклидова геометрия E3

Стабилизатор точки - O (3, р), а группа грамм 6-мерная группа Ли р3 × O (3, р), с 2 компонентами. Примерами являются 3-тор, и в более общем плане отображение тор автоморфизма конечного порядка 2-тора; видеть расслоение торов. Имеется ровно 10 конечных замкнутых трехмерных многообразий с этой геометрией: 6 ориентируемых и 4 неориентируемых. Эту геометрию можно смоделировать как левоинвариантную метрику на Группы Бьянки типа I или VII0. Все многообразия конечного объема с такой геометрией компактны и имеют структуру Волоконное пространство Зейферта (иногда двумя способами). Полный список таких многообразий приведен в статье на Расслоения Зейферта. При потоке Риччи многообразия с евклидовой геометрией остаются инвариантными.

Гиперболическая геометрия H3

Стабилизатор точки - O (3, р), а группа грамм - шестимерная группа Ли O+(1, 3, р), с 2 компонентами. Таких примеров огромное количество, и их классификация до конца не изучена. Пример с наименьшим объемом - Множество недель. Другие примеры приведены Пространство Зейферта – Вебера, или "достаточно сложный" Операции Дена по ссылкам или в большинстве Многообразия Хакена. Из гипотезы геометризации следует, что замкнутое трехмерное многообразие гиперболично тогда и только тогда, когда оно неприводимо, аториоидальный, и имеет бесконечную фундаментальную группу. Эту геометрию можно смоделировать как левоинвариантную метрику на Группа Бьянки типа V. Под действием потока Риччи расширяются многообразия с гиперболической геометрией.

Геометрия S2 × R

Стабилизатор точки - O (2, р) × Z/2Z, а группа грамм равно O (3, р) × р × Z/2Z, с 4 компонентами. Четыре многообразия конечного объема с такой геометрией: S2 × S1, отображающий тор отображения антиподов S2, связная сумма двух копий трехмерного проективного пространства и произведение S1 с двумерным проективным пространством. Первые два являются отображающими торами тождественного отображения и отображением антиподов 2-сферы и являются единственными примерами 3-многообразий, которые являются простыми, но не неприводимыми. Третий - единственный пример нетривиальной связной суммы с геометрической структурой. Это единственная модельная геометрия, которая не может быть реализована как левоинвариантная метрика на трехмерной группе Ли. Все многообразия конечного объема с такой геометрией компактны и имеют структуру Волоконное пространство Зейферта (часто несколькими способами). При нормированном потоке Риччи многообразия с такой геометрией сходятся к одномерному многообразию.

Геометрия H2 × R

Стабилизатор точки - O (2, р) × Z/2Z, а группа грамм это O+(1, 2, р) × р × Z/2Z, с 4 компонентами. Примеры включают продукт гиперболическая поверхность с окружностью или, в более общем смысле, отображающим тором изометрии гиперболической поверхности. Многообразия конечного объема с такой геометрией имеют структуру Волоконное пространство Зейферта если они ориентируемые. (Если они не ориентируемы, естественное расслоение на окружности не обязательно является расслоением Зейферта: проблема в том, что некоторые слои могут «переориентировать»; другими словами, их окрестности выглядят как расслоенные сплошные бутылки Клейна, а не как сплошные торы.[1]) Классификация таких (ориентированных) многообразий приведена в статье о Расслоения Зейферта. Эту геометрию можно смоделировать как левоинвариантную метрику на Группа Бьянки III типа. При нормированном потоке Риччи многообразия с такой геометрией сходятся к двумерному многообразию.

Геометрия универсальной крышки SL (2, «R»)

В универсальный чехол из SL (2, р) обозначается . Это волокна над ЧАС2. Группа грамм имеет 2 компонента. Его идентификационная составляющая имеет структуру . Стабилизатор точки - O (2,р).

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

Нулевая геометрия

Смотрите также: Нильмногообразие

Это волокна над E2, а - геометрия Группа Гейзенберга. Стабилизатор точки - O (2, р). Группа грамм имеет 2 компоненты и является полупрямым произведением трехмерной группы Гейзенберга на группу O (2, р) изометрий окружности. Компактные многообразия с такой геометрией включают отображающий тор Ден твист 2-тора, или фактор группы Гейзенберга по «целочисленной группе Гейзенберга». Эту геометрию можно смоделировать как левоинвариантную метрику на Группа Бьянки II типа. Многообразия конечного объема с такой геометрией компактны, ориентируемы и имеют структуру Волоконное пространство Зейферта. Классификация таких многообразий приведена в статье о Расслоения Зейферта. При нормированном потоке Риччи компактные многообразия с такой геометрией сходятся к р2 с плоской метрикой.

Геометрия Солнца

Смотрите также: Сольвмногообразие

Эта геометрия (также называемая Геометрия решения) расслоения на прямой с расслоением на плоскость, - геометрия единичной компоненты группы грамм. Стабилизатором точки является группа диэдра порядка 8. Группа грамм имеет 8 компонентов и представляет собой группу отображений из 2-мерного пространства Минковского в себя, которые либо являются изометриями, либо умножают метрику на −1. Компонент идентичности имеет нормальную подгруппу р2 с частным р, куда р действует на р2 с двумя (действительными) собственными подпространствами, с различными действительными собственными значениями продукта 1. Это Группа Бьянки типа VI0 и геометрия может быть смоделирована как левоинвариантная метрика на этой группе. Все многообразия конечного объема с решаемой геометрией компактны. Компактные многообразия с решаемой геометрией являются либо отображение тор из Карта Аносова 2-тора (автоморфизм 2-тора, заданный обратимой матрицей 2 на 2, собственные значения которой вещественны и различны, например , или их частные по группам порядка не выше 8. Собственные значения автоморфизма тора порождают порядок вещественного квадратичного поля, и решаемые многообразия в принципе можно классифицировать в терминах единиц и идеальных классов этого порядка , хотя подробности вроде нигде не прописаны. При нормированном потоке Риччи компактные многообразия с такой геометрией сходятся (довольно медленно) к р1.

Уникальность

Замкнутое трехмерное многообразие имеет геометрическую структуру не более одного из 8 типов, указанных выше, но некомпактные трехмерные многообразия конечного объема иногда могут иметь более одного типа геометрической структуры. (Тем не менее, многообразие может иметь множество различных геометрических структур одного и того же типа; например, поверхность рода не меньше 2 имеет континуум различных гиперболических метрик.) Точнее, если M является многообразием с геометрической структурой конечного объема, то тип геометрической структуры почти определяется следующим образом в терминах фундаментальной группы π1(M):

  • Если π1(M) конечна, то геометрическая структура на M сферическая, и M компактный.
  • Если π1(M) практически циклический, но не конечный, то геометрическая структура на M является S2×р, и M компактный.
  • Если π1(M) практически абелева, но не циклична, то геометрическая структура на M евклидово, и M компактный.
  • Если π1(M) практически нильпотентна, но не абелева, то геометрическая структура на M - нулевая геометрия, и M компактный.
  • Если π1(M) виртуально разрешима, но не нильпотентна, то геометрическая структура на M является решаемой геометрией, и M компактный.
  • Если π1(M) имеет бесконечную нормальную циклическую подгруппу, но не является виртуально разрешимой, то геометрическая структура на M либо ЧАС2×р или универсальный чехол SL (2, р). Коллектор M может быть как компактным, так и некомпактным. Если он компактный, то две геометрии можно различить по тому, есть ли π1(M) имеет конечную индекс подгруппа, которая распадается как полупрямое произведение нормальной циклической подгруппы и чего-то еще. Если многообразие некомпактно, то фундаментальная группа не может различать две геометрии, и есть примеры (например, дополнение к узлу-трилистнику), где многообразие может иметь геометрическую структуру конечного объема любого типа.
  • Если π1(M) не имеет бесконечной нормальной циклической подгруппы и не является виртуально разрешимой, то геометрическая структура на M гиперболический, и M может быть как компактным, так и некомпактным.

Многообразия бесконечного объема могут иметь много различных типов геометрической структуры: например, р3 может иметь 6 различных геометрических структур, перечисленных выше, поскольку 6 из 8 геометрий модели гомеоморфны ему. Более того, если объем не должен быть конечным, возникает бесконечное количество новых геометрических структур без компактных моделей; например, геометрия почти любой неунимодулярной 3-мерной группы Ли.

Существует несколько способов разложить замкнутое 3-многообразие на части с геометрическими структурами. Например:

  • Взяв связанные суммы с несколькими копиями S3 не меняет коллектор.
  • Связная сумма двух проективных 3-пространств имеет S2×р геометрии, а также является связной суммой двух частей с S3 геометрия.
  • Продукт поверхности отрицательной кривизны и круга имеет геометрическую структуру, но также может быть разрезан по торам для получения более мелких деталей, которые также имеют геометрическую структуру. Есть много подобных примеров для расслоенных пространств Зейферта.

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

История

В Медаль Филдса был награжден Терстон в 1982 году частично за доказательство гипотезы геометризации для Многообразия Хакена.

Случай 3-коллекторов, которые должны быть сферическими, был медленнее, но обеспечивал искру, необходимую для Ричард С. Гамильтон развивать его Риччи поток. В 1982 году Гамильтон показал, что для замкнутого трехмерного многообразия с метрикой положительной Кривизна Риччи, поток Риччи схлопнул бы многообразие в точку за конечное время, что доказывает гипотезу геометризации для этого случая, поскольку метрика становится «почти круглой» непосредственно перед коллапсом. Позже он разработал программу, чтобы доказать гипотезу геометризации. Риччи Флоу с хирургией. Идея состоит в том, что поток Риччи, как правило, порождает сингулярности, но можно продолжить поток Риччи мимо сингулярности, используя операцию по изменению топологии многообразия. Грубо говоря, поток Риччи сжимает области положительной кривизны и расширяет области отрицательной кривизны, поэтому он должен убивать части многообразия с геометрией "положительной кривизны". S3 и S2 × р, а то, что осталось на больших временах, должно иметь толсто-тонкий разложение в «толстый» кусок с гиперболической геометрией и «тонкий» графовое многообразие.

В 2003 г. Григорий Перельман набросал доказательство гипотезы о геометризации, показав, что поток Риччи действительно может продолжаться за сингулярностями и имеет поведение, описанное выше. Основная трудность в проверке доказательства Перельманом гипотезы о геометризации заключалась в критическом использовании его теоремы 7.4 в препринте «Поток Риччи с перестройками на трехмерных многообразиях». Эта теорема была сформулирована Перельманом без доказательства. В настоящее время имеется несколько различных доказательств теоремы Перельмана 7.4 или ее вариантов, которых достаточно для доказательства геометризации. Есть работа Шиоя и Ямагучи, в которой используются теорема Перельмана об устойчивости и теорема о расслоении для пространств Александрова.[2][3][4] Этот метод с подробностями, ведущими к доказательству геометризации, можно найти в изложении автора Брюс Кляйнер и Джон Лотт.[5]

Второй путь к последней части доказательства геометризации Перельмана - это метод Бессьер и другие.,[6][7] который использует теорему Терстона о гиперболизации для многообразий Хакена и норму Громова для 3-многообразий.[8][9] Европейское математическое общество опубликовало книгу тех же авторов с полными деталями их версии доказательства.[10]

Там же есть доказательства теоремы Перельмана 7.4. Морган и Тиан,[11] еще одна статья Клейнера и Лотта,[12] и статья Цзяньго Цао и Цзянь Ге.[13]

Примечания

  1. ^ Финтушел, Рональд (1976). "Местный S1 действия на 3-многообразиях ". Тихоокеанский математический журнал. 66 (1): 111–118. Дои:10.2140 / pjm.1976.66.111.
  2. ^ Shioya, T .; Ямагути, Т. (2005). «Объемные сжатые трехмерные многообразия с нижней границей кривизны». Математика. Анна. 333 (1): 131–155. arXiv:математика / 0304472. Дои:10.1007 / s00208-005-0667-x.
  3. ^ Капович, В. (2007). «Теорема Перельмана об устойчивости». Обзоры дифференциальной геометрии, метрики и сравнительной геометрии. т. XI. Международная пресса. С. 103–136. ISBN  978-1-57146-117-9. Есть препринт на arXiv:математика / 0703002
  4. ^ Ямагути, Т. (1996). «Теорема сходимости в геометрии пространств Александрова». Actes de la Table Ronde de Geometrie Differentielle (Luminy, 1992). том 1 семин. Congr. Париж: Soc. математика. Франция. С. 601–642. ISBN  2-85629-047-7.
  5. ^ Kleiner, B .; Лотт, Дж. (2008). «Заметки о бумагах Перельмана». Геометрия и топология. 12 (5): 2587–2855. arXiv:математика / 0605667. Дои:10.2140 / gt.2008.12.2587. Препринт есть на arXiv:математика / 0605667
  6. ^ Bessieres, L .; Besson, G .; Boileau, M .; Maillot, S .; Порти, Дж. (2007). «Слабое схлопывание и геометризация асферических трехмерных многообразий». arXiv:0706.2065 [math.GT ].
  7. ^ Bessieres, L .; Besson, G .; Boileau, M .; Maillot, S .; Порти, Дж. (2010). «Коллапсирующие неприводимые трехмерные многообразия с нетривиальной фундаментальной группой». Изобретать. Математика. 179 (2): 435–460. Bibcode:2010InMat.179..435B. Дои:10.1007 / s00222-009-0222-6.CS1 maint: ref = harv (ссылка на сайт)
  8. ^ Отал, Ж.-П. (1998). "Гиперболизация Терстона многообразий Хакена". Обзоры по дифференциальной геометрии. Vol. III. Кембридж, Массачусетс: Int. Нажмите. С. 77–194. ISBN  1-57146-067-5.
  9. ^ Громов, М. (1983). «Объем и ограниченные когомологии». Inst. Hautes Études Sci. Publ. Математика. (56): 5–99.
  10. ^ Л. Бессьер, Г. Бессон, М. Буало, С. Майо, Дж. Порти, «Геометризация трехмерных многообразий», EMS Tracts in Mathematics, volume 13. Европейское математическое общество, Цюрих, 2010. Доступно по адресу https://www-fourier.ujf-grenoble.fr/~besson/book.pdf
  11. ^ Морган, Джон; Тиан, Банда (2014). Гипотеза геометризации. Американское математическое общество, Провиденс, Род-Айленд; Институт математики Клэя, Кембридж, Массачусетс. п. 291. ISBN  978-0-8218-5201-9.
  12. ^ Кляйнер, Брюс; Лотт, Джон (2014). «Локально схлопывающиеся 3-многообразия». Astérisque. 365 (7–99).
  13. ^ Цао, Цзяньго; Ге, Цзянь (2011). «Простое доказательство теоремы Перельмана о коллапсе для трехмерных многообразий». J. Geom. Анальный. 21 (4): 807–869.

Рекомендации

внешняя ссылка