Обобщенная гипотеза Пуанкаре - Generalized Poincaré conjecture

в математический зона топология, то обобщенная гипотеза Пуанкаре это утверждение, что многообразие который является гомотопическая сфера является а сфера. Точнее, фиксируется категория коллекторов: топологический (Вершина), кусочно-линейный (PL), или же дифференцируемый (Diff). Тогда утверждение

Каждая гомотопическая сфера (замкнутая п-многообразие, которое гомотопический эквивалент к п-сфера) в выбранной категории (т. е. топологические многообразия, PL-многообразия или гладкие многообразия) изоморфна в выбранной категории (т. е. гомеоморфна, PL-изоморфна или диффеоморфна) стандартной п-сфера.

Название происходит от Гипотеза Пуанкаре, который был сделан для (топологических или PL) многообразий размерности 3, где быть гомотопической сферой эквивалентно тому, чтобы быть односвязный и закрыто. Обобщенная гипотеза Пуанкаре, как известно, верна или ложна в ряде случаев благодаря работам многих выдающихся топологов, в том числе Медаль Филдса призеры Джон Милнор, Стив Смейл, Майкл Фридман, и Григорий Перельман.

Положение дел

Вот краткое изложение статуса обобщенной гипотезы Пуанкаре в различных условиях.

  • Вершина: верно во всех измерениях.
  • PL: верно для размеров, отличных от 4; неизвестен в размерности 4, что эквивалентно Diff.
  • Diff: false обычно, верно в некоторых измерениях, включая 1,2,3,5 и 6. Первый известный контрпример находится в измерении 7. Случай измерения 4 эквивалентен PL и не определен (по состоянию на 2019 г.).

Фундаментальный факт дифференциальная топология состоит в том, что понятие изоморфизма в Top, PL и Diff одинаково в размерности 3 и ниже; в размерности 4 PL и Diff совпадают, но Top отличается. В размерности выше 6 все они различаются. В размерностях 5 и 6 каждое PL-многообразие допускает бесконечно дифференцируемую структуру, которая называется так называемой Совместимость с Уайтхедом.[1]

История

Дело п = 1 и 2 давно известно по классификации многообразий по этим размерностям.

Для PL или же гладкий гомотопическая n-сфера, 1960 г. Стивен Смейл доказано для что он гомеоморфен п-сфере и впоследствии распространил свое доказательство на ;[2] он получил Медаль Филдса за его работу в 1966 году. Вскоре после того, как Смейл объявил о доказательстве, Джон Столлингс дал другое доказательство для размерностей не менее 7, что гомотопия PL п-сфера была гомеоморфна п-сфера, использующая понятие «поглощение».[3] Э. К. Зееман изменена конструкция Сталлинга для работы в размерах 5 и 6.[4] В 1962 году Смейл доказал гомотопию PL. п-сфера была PL-изоморфна стандартной PL п-сфера для п не менее 5.[5] В 1966 г. М. Х. А. Ньюман расширил PL-поглощение на топологическую ситуацию и доказал, что для а топологический гомотопия п-сфера гомеоморфна п-сфера.[6]

Майкл Фридман решил дело (в топе) в 1982 году и получил медаль Филдса в 1986 году.[7]

Григорий Перельман решил дело (где Top, PL и Diff совпадают) в 2003 году в серии из трех статей.[8][9][10] В августе 2006 года ему была предложена медаль Филдса. Приз тысячелетия от Институт математики Клэя в марте 2010 года, но оба отказались.

Экзотические сферы

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

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

Мишель Кервер и Милнор показали, что ориентированный 7-сфера имеет 28 различных гладких структур (или 15 без учета ориентации), а в более высоких измерениях на сфере обычно много разных гладких структур.[11] Предполагается, что некоторые дифференцируемые структуры на 4-сфере, называемые Глюк скручивает, не изоморфны стандартной, но на данный момент нет известных инвариантов, способных различать различные гладкие структуры на 4-сфере.[12]

PL

За кусочно-линейные многообразия, гипотеза Пуанкаре верна, за исключением, возможно, размерности 4, где ответ неизвестен и эквивалентен гладкому случаю. Другими словами, каждое компактное PL-многообразие размерности, отличной от 4, которое гомотопически эквивалентно сфере, PL изоморфно сфера.[1]

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

  1. ^ а б Видеть Буонкристиано, Сандро (2003). «Фрагменты геометрической топологии шестидесятых годов» (PDF). Монографии по геометрии и топологии. 6.
  2. ^ Смейл, Стивен (1961). «Обобщенная гипотеза Пуанкаре в размерностях больше четырех». Анна. математики. (2). 74 (2): 391–406. Дои:10.2307/1970239. МИСТЕР  0137124.
  3. ^ Столлингс, Джон (1960). «Полиэдральные гомотопические сферы». Бюллетень Американского математического общества. 66: 485–488. Дои:10.1090 / S0002-9904-1960-10511-3.
  4. ^ Зееман, Эрик Кристофер (1962). "Гипотеза Пуанкаре для п больше или равно 5 ". Топология трехмерных многообразий и смежные вопросы (Proc. The Univ. Of Georgia Institute, 1961). Энглвуд Клиффс, Нью-Джерси: Прентис – Холл: 198–204. МИСТЕР  0140113.
  5. ^ Смейл, Стивен (1962). «О строении многообразий». Амер. J. Math. 84 (3): 387–399. Дои:10.2307/2372978. МИСТЕР  0153022.
  6. ^ Ньюман, М. Х. А. (1966). «Теорема о поглощении для топологических многообразий». Анналы математики. (2). 84 (3): 555–571. Дои:10.2307/1970460. МИСТЕР  0203708.
  7. ^ Фридман, Майкл (1982). «Топология четырехмерных многообразий». Журнал дифференциальной геометрии. 17 (3): 357–453. Дои:10.4310 / jdg / 1214437136. МИСТЕР  0679066.
  8. ^ Перельман, Григорий (11 ноября 2002 г.). «Формула энтропии для потока Риччи и ее геометрические приложения». arXiv:math.DG / 0211159.
  9. ^ Перельман, Григорий (10 марта 2003 г.). «Поток Риччи с операцией на трехмерных многообразиях». arXiv:math.DG / 0303109.
  10. ^ Перельман, Григорий (17 июля 2003 г.). «Конечное время угасания решений потока Риччи на некоторых трехмерных многообразиях». arXiv:math.DG / 0307245.
  11. ^ Кервер, Мишель А.; Милнор, Джон В. (1963). «Группы гомотопических сфер: I». Анналы математики. 2-я сер. 77 (3): 504–537. Дои:10.2307/1970128. JSTOR  1970128. МИСТЕР  0148075. В данной статье вычисляется структура группы гладких структур на n-сфере для .
  12. ^ Глюк, Герман (1962). «Вложение двух сфер в четыре сферы». Пер. Амер. Математика. Soc. 104 (2): 308–333. Дои:10.2307/1993581.