WikiDer > Экзотическая сфера

В дифференциальная топология, экзотическая сфера это дифференцируемое многообразие M то есть гомеоморфный но нет диффеоморфный к стандартному евклидову п-сфера. То есть, M является сферой с точки зрения всех своих топологических свойств, но несёт гладкая структура это не знакомый (отсюда и название «экзотический»).

Первые экзотические сферы были построены Джон Милнор (1956) в измерении ${ displaystyle n = 7}$ в качестве ${ Displaystyle S ^ {3}}$-связки над ${ displaystyle S ^ {4}}$. Он показал, что на 7-сфере существует не менее 7 дифференцируемых структур. В любом измерении Милнор (1959) показал, что классы диффеоморфизмов ориентированных экзотических сфер образуют нетривиальные элементы абелевой моноид под связанной суммой, которая является конечный абелева группа если размерность не равна 4. Классификация экзотических сфер по Мишель Кервер и Милнор (1963) показал, что ориентированный экзотические 7-сферы - нетривиальные элементы циклическая группа порядка 28 при эксплуатации связанная сумма.

Вступление

Единица п-сфера, ${ Displaystyle S ^ {п}}$, это набор всех (п+1) - пары ${ Displaystyle (x_ {1}, x_ {2}, ldots x_ {n + 1})}$ действительных чисел, так что сумма ${ displaystyle x_ {1} ^ {2} + x_ {2} ^ {2} + cdots + x_ {n + 1} ^ {2} = 1}$. (${ Displaystyle S ^ {1}}$ это круг; ${ Displaystyle S ^ {2}}$ представляет собой поверхность обычного шара радиуса один в трех измерениях.) Топологи рассматривают пространство, Икс, чтобы быть п-сфера, если каждая точка в Икс может быть присвоено ровно одной точке в блоке п-сфера в непрерывный пути, что означает, что достаточно близкие точки в Икс получить привязку к ближайшим точкам в S^п наоборот. Например, точка Икс на п-сфера радиуса р можно сопоставить с точкой на устройстве п-сфера, регулируя ее расстояние от начала координат на ${ displaystyle 1 / r}$.

В дифференциальная топологиядобавляется более жесткое условие, что функции, сопоставляющие точки в Икс с точками в ${ Displaystyle S ^ {п}}$ должно быть гладкий, то есть они должны иметь производные всех заказов везде. Для вычисления производных необходимо иметь локальные системы координат, определенные последовательно в Икс. Математики были удивлены в 1956 году, когда Милнор показал, что согласованные системы координат могут быть установлены на 7-сфере двумя разными способами, которые были эквивалентны в непрерывном смысле, но не в дифференцируемом смысле. Милнор и другие начали пытаться выяснить, сколько таких экзотических сфер может существовать в каждом измерении, и понять, как они соотносятся друг с другом. Никакие экзотические структуры невозможны на 1-, 2-, 3-, 5-, 6-, 12-, 56- или 61-сферах. Некоторые сферы более высоких измерений имеют только две возможные дифференцируемые структуры, другие - тысячи. Существуют ли экзотические 4-сферы, и если да, то сколько - нерешенная проблема.

Классификация

Моноид гладкие конструкции на п-сферы - это совокупность ориентированных гладких п-многообразия, гомеоморфные п-сфера, рассмотренная до сохраняющего ориентацию диффеоморфизма. Моноидная операция - это связанная сумма. При условии ${ Displaystyle п neq 4}$, этот моноид является группой и изоморфен группе ${ displaystyle Theta _ {n}}$ из час-кобордизм классы ориентированных гомотопия п-сферы, которая конечна и абелева. В размерности 4 о моноиде гладких сфер почти ничего не известно, за исключением того факта, что он конечен или счетно бесконечен и абелев, хотя предполагается, что он бесконечен; см. раздел о Глюк скручивает. Вся гомотопия п-сферы гомеоморфны п-сфера обобщенным Гипотеза Пуанкаре, доказано Стивен Смейл размером более 4, Майкл Фридман в размерности 4, и Григорий Перельман в измерении 3. В измерении 3, Эдвин Э. Моис доказал, что каждое топологическое многообразие имеет существенно единственную гладкую структуру (см. Теорема Моиса), поэтому моноид гладких структур на 3-сфере тривиален.

Параллелизуемые многообразия

Группа ${ displaystyle Theta _ {n}}$ имеет циклическую подгруппу

${ displaystyle bP_ {n + 1}}$

представлена п-сферы, которые связывают параллелизуемые многообразия. Структуры ${ displaystyle bP_ {n + 1}}$ и частное

${ displaystyle Theta _ {n} / bP_ {n + 1}}$

описаны отдельно в статье (Kervaire & Милнор 1963), что оказало влияние на развитие теория хирургии. Фактически, эти вычисления можно сформулировать современным языком в терминах точная последовательность операций как указано Вот.

Группа ${ displaystyle bP_ {n + 1}}$ является циклической группой и тривиальна или имеет порядок 2, за исключением случая ${ displaystyle n = 4k + 3}$, в этом случае он может быть большим, а его порядок зависит от Числа Бернулли. Это тривиально, если п даже. Если п 1 mod 4, он имеет порядок 1 или 2; в частности, он имеет порядок 1, если п равно 1, 5, 13, 29 или 61, и Уильям Браудер (1969) доказал, что он имеет порядок 2, если ${ displaystyle n = 1}$ мод 4 не имеет формы ${ displaystyle 2 ^ {k} -3}$. Из уже почти полностью решенного Инвариант Кервера Проблема в том, что у него порядок 2 для всех п больше 125; дело ${ displaystyle n = 125}$ все еще открыт. ${ displaystyle bP_ {4k}}$ за ${ Displaystyle к geq 2}$ является

${ displaystyle 2 ^ {2k-2} (2 ^ {2k-1} -1) B,}$

куда B числитель ${ displaystyle 4B_ {2k} / k}$, и ${ displaystyle B_ {2k}}$ это Число Бернулли. (Формула в топологической литературе немного отличается, поскольку топологи используют другое соглашение для именования чисел Бернулли; в этой статье используется соглашение теоретиков чисел.)

Карта между частными

Фактор-группа ${ displaystyle Theta _ {n} / bP_ {n + 1}}$ имеет описание с точки зрения стабильные гомотопические группы сфер по модулю изображения J-гомоморфизм; это либо фактор, либо индекс 2. Точнее, есть инъективное отображение

${ displaystyle Theta _ {n} / bP_ {n + 1} to pi _ {n} ^ {S} / J ,}$

куда ${ displaystyle pi _ {n} ^ {S}}$ это п-я стабильная гомотопическая группа сфер и J это образ J-гомоморфизм. Как и с ${ displaystyle bP_ {n + 1}}$, образ J является циклической группой и тривиальна или имеет порядок 2, за исключением случая ${ displaystyle n = 4k + 3}$, в этом случае он может быть большим, а его порядок зависит от Числа Бернулли. Фактор-группа ${ displaystyle pi _ {n} ^ {S} / J}$ является «жесткой» частью стабильных гомотопических групп сфер, и соответственно ${ displaystyle Theta _ {n} / bP_ {n + 1}}$ является сложной частью экзотических сфер, но почти полностью сводится к вычислению гомотопических групп сфер. Отображение является либо изоморфизмом (изображение - это вся группа), либо инъективным отображением с индекс 2. Последнее имеет место тогда и только тогда, когда существует п-мерное оснащенное многообразие с Инвариант Кервера 1, который известен как Проблема инварианта Кервера. Таким образом, коэффициент 2 при классификации экзотических сфер зависит от проблемы инварианта Кервера.

По состоянию на 2012 год^{[Обновить]}, проблема инварианта Кервера решена почти полностью, за исключением случая ${ displaystyle n = 126}$ оставаясь открытым; подробности см. в этой статье. Это прежде всего работа Браудер (1969), который доказал, что такие многообразия существуют только в размерности ${ Displaystyle п = 2 ^ {j} -2}$, и Хилл, Хопкинс и Равенел (2016), что доказало отсутствие таких многообразий размерности ${ displaystyle 254 = 2 ^ {8} -2}$ и выше. Многообразия с инвариантом Кервера 1 были построены в размерностях 2, 6, 14, 30 и 62, но размерность 126 открыта, и ни одно многообразие не было построено или опровергнуто.

Порядок Θ_п

Порядок группы Θ_п приведено в этой таблице (последовательность A001676 в OEIS) из (Кервэр и Милнор 1963) (за исключением того, что запись для п = 19 ошибается в 2 раза в своей статье; см. исправление в томе III стр. 97 собрания сочинений Милнора).

Dim n	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20
заказ Θп	1	1	1	1	1	1	28	2	8	6	992	1	3	2	16256	2	16	16	523264	24
bPп+1	1	1	1	1	1	1	28	1	2	1	992	1	1	1	8128	1	2	1	261632	1
Θп/bPп+1	1	1	1	1	1	1	1	2	2×2	6	1	1	3	2	2	2	2×2×2	8×2	2	24
πпS/J	1	2	1	1	1	2	1	2	2×2	6	1	1	3	2×2	2	2	2×2×2	8×2	2	24
индекс	–	2	–	–	–	2	–	–	–	–	–	–	–	2	–	–	–	–	–	–

Обратите внимание, что для тусклого п = 4k - 1, то Θ_п 28 = 2²(2³ − 1), 992 = 2⁵(2⁵ − 1), 16256 = 2⁷(2⁷ - 1) и 523264 = 2¹⁰(2⁹ - 1). Дальнейшие записи в этой таблице могут быть вычислены на основе информации выше вместе с таблицей стабильные гомотопические группы сфер.

Вычислениями стабильных гомотопических групп сфер Ван и Сюй (2017) доказывает, что сфера S⁶¹ имеет уникальную гладкую структуру, и это последняя нечетномерная структура - единственные S¹, S³, S⁵, и S⁶¹.

Явные примеры экзотических сфер

Один из первых примеров экзотической сферы, найденной Милнор (1956, раздел 3) был следующим: Возьмите две копии B⁴×S³, каждый с граница S³×S³, и склейте их вместе, указав (а,б) на границе с (а, а²ба⁻¹), (где мы идентифицируем каждый S³ с группой юнита кватернионы). Полученное многообразие имеет естественную гладкую структуру и гомеоморфно S⁷, но не диффеоморфен S⁷. Милнор показал, что это не граница любого гладкого 8-многообразия с исчезающим 4-м числом Бетти и не имеет обращающего ориентацию диффеоморфизма к самому себе; любое из этих свойств означает, что это не стандартная 7-сфера. Милнор показал, что это многообразие имеет Функция Морса всего с двумя критические точки, оба невырожденные, что означает, что это топологически сфера.

Как показал Эгберт Брискорн (1966, 1966b) (смотрите также (Хирцебрух и Майер 1968 г.)) пересечение комплексное многообразие очков в C⁵ удовлетворение

${ displaystyle a ^ {2} + b ^ {2} + c ^ {2} + d ^ {3} + e ^ {6k-1} = 0 }$

с небольшой сферой вокруг начала координат для k = 1, 2, ..., 28 дает все 28 возможных гладких структур на ориентированной 7-сфере. Подобные многообразия называются Сферы Брискорна.

Скрученные сферы

Учитывая (сохраняющий ориентацию) диффеоморфизм ж : S^п−1 → S^п−1, склеивая границы двух копий стандартного диска D^п вместе ж дает многообразие, называемое скрученная сфера (с крутить ж). Он гомотопически эквивалентен стандартному п-сфера, потому что отображение склейки гомотопно тождеству (будучи сохраняющим ориентацию диффеоморфизмом, следовательно, степенью 1), но в общем случае не диффеоморфно стандартной сфере. (Милнор 1959b)Параметр ${ displaystyle Gamma _ {n}}$ быть группой скрученных п-сферы (под связной суммой), получается точная последовательность

${ displaystyle pi _ {0} operatorname {Diff} ^ {+} (D ^ {n}) to pi _ {0} operatorname {Diff} ^ {+} (S ^ {n-1} ) to Gamma _ {n} to 0.}$

За п > 5, каждая экзотика п-сфера диффеоморфна скрученной сфере, что доказано Стивен Смейл что можно рассматривать как следствие час-теорема -кобордизм. (Напротив, в кусочно-линейный установка самой левой карты на переходе радиальное расширение: каждая кусочно линейно скрученная сфера стандартна.) Группа Γ_п скрученных сфер всегда изоморфна группе Θ_п. Обозначения разные, потому что сначала не было известно, что они одинаковы для п = 3 или 4; например, случай п = 3 эквивалентен Гипотеза Пуанкаре.

В 1970 году Жан Серф доказал теорема о псевдоизотопии откуда следует, что ${ displaystyle pi _ {0} operatorname {Diff} ^ {+} (D ^ {n})}$ это тривиальная группа при условии ${ Displaystyle п geq 6}$, так ${ displaystyle Gamma _ {n} simeq pi _ {0} operatorname {Diff} ^ {+} (S ^ {n-1})}$ при условии ${ Displaystyle п geq 6}$.

Приложения

Если M это кусочно-линейное многообразие то проблема поиска совместимых гладких структур на M зависит от знаний групп Γ_k = Θ_k. Точнее, препятствия к существованию любой гладкой структуры лежат в группах ЧАС_{к + 1}(M, Γ_k) для различных значений k, а если такая гладкая структура существует, то все такие гладкие структуры можно классифицировать с помощью групп ЧАС_k(M, Γ_k)В частности, группы Γ_k исчезнуть, если k < 7, поэтому все PL-многообразия размерности не более 7 имеют гладкую структуру, которая по существу уникальна, если размерность многообразия не превышает 6.

Следующие конечные абелевы группы по существу одинаковы:

• Группа Θ_п классов h-кобордизмов ориентированных гомотопий п-сферы.
• Группа классов h-кобордизмов ориентированных п-сферы.
• Группа Γ_п витой ориентированной п-сферы.
• Гомотопическая группа π_п(PL / DIFF)
• Если п ≠ 3, гомотопия π_п(TOP / DIFF) (если п = 3 эта группа имеет порядок 2; видеть Инвариант Кирби – Зибенмана).
• Группа гладких структур ориентированной ПЛ п-сфера.
• Если п ≠ 4, группа гладких структур ориентированного топологического п-сфера.
• Если п ≠ 5, группа компонент группы всех сохраняющих ориентацию диффеоморфизмов S^п−1.

4-х мерные экзотические сферы и глюковые повороты

В четырехмерном измерении неизвестно, есть ли на четырехмерной сфере какие-либо экзотические гладкие структуры. Утверждение, что их не существует, известно как "гладкая гипотеза Пуанкаре" и обсуждается Майкл Фридман, Роберт Гомпфи Скотт Моррисон и др. (2010) которые говорят, что это считается ложью.

Некоторыми кандидатами, предложенными для экзотических 4-сфер, являются сферы Каппелла – Шенесона (Сильвен Каппелл и Юлиус Шэнсон (1976)) и полученные Глюк скручивает (Глюк 1962). Твист-сферы Глюка создаются путем вырезания трубчатой ​​окрестности двумерной сферы. S в S⁴ и склеивая его обратно, используя диффеоморфизм его границы S²×S¹. Результат всегда гомеоморфен S⁴. Многие случаи за прошедшие годы были исключены как возможные контрпримеры к гладкой четырехмерной гипотезе Пуанкаре. Например, Кэмерон Гордон (1976), Хосе Монтесинос (1983), Стивен П. Плотник (1984), Гомпф (1991), Хабиро, Марумото и Ямада (2000), Сельман Акбулут (2010), Гомпф (2010), Ким и Ямада (2017).

Смотрите также

• Атлас (топология)
• Сцепление конструкции
• Экзотический р⁴
• Теория серфа
• Семимерное пространство

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

• Акбулут, Сельман (2010), «Гомотопические сферы Каппелла – Шенесона стандартные», Анналы математики, 171 (3): 2171–2175, arXiv:0907.0136, Дои:10.4007 / анналы.2010.171.2171
• Брискорн, Эгберт В. (1966), "Примеры особых нормальных комплексных пространств, которые являются топологическими многообразиями", Труды Национальной академии наук, 55 (6): 1395–1397, Bibcode:1966ПНАС ... 55.1395Б, Дои:10.1073 / пнас.55.6.1395, МИСТЕР 0198497, ЧВК 224331, PMID 16578636
• Брискорн, Эгберт (1966b), "Beispiele zur Differentialtopologie von Singularitäten", Изобретать. Математика., 2 (1): 1–14, Bibcode:1966InMat ... 2 .... 1B, Дои:10.1007 / BF01403388, МИСТЕР 0206972
• Браудер, Уильям (1969), "Инвариант Кервера оснащенных многообразий и его обобщение", Анналы математики, 90 (1): 157–186, Дои:10.2307/1970686, JSTOR 1970686, МИСТЕР 0251736
• Каппелл, Сильвен Э.; Шанезон, Юлиус Л. (1976), "Некоторые новые четырехмерные многообразия", Анналы математики, 104 (1): 61–72, Дои:10.2307/1971056, JSTOR 1971056
• Фридман, Майкл; Гомпф, Роберт; Моррисон, Скотт; Уокер, Кевин (2010), «Человек и машина, размышляющие о гладкой 4-мерной гипотезе Пуанкаре», Квантовая топология, 1 (2): 171–208, arXiv:0906.5177, Дои:10,4171 / кварт / 5
• Глюк, Герман (1962), "Вложение двух сфер в четырех сферах", Труды Американского математического общества, 104 (2): 308–333, Дои:10.2307/1993581, JSTOR 1993581, МИСТЕР 0146807
• Хьюз, Марк; Ким, Сынвон; Миллер, Мэгги (2018), Глюк Twists Of S⁴ Диффеоморфны S⁴, arXiv:1804.09169v1
• Гомпф, Роберт Э (1991), «Убийство 4-сферы Акбулут-Кирби, имеющее отношение к проблемам Андреса-Кертиса и Шенфлиса», Топология, 30: 123–136, Дои:10.1016/0040-9383(91)90036-4
• Гомпф, Роберт Э (2010), «Больше сфер Каппелла-Шейнсона являются стандартными», Алгебраическая и геометрическая топология, 10 (3): 1665–1681, arXiv:0908.1914, Дои:10.2140 / agt.2010.10.1665
• Гордон, Кэмерон Мака. (1976), «Узлы в четырехмерной сфере», Комментарии Mathematici Helvetici, 51: 585–596, Дои:10.1007 / BF02568175
• Хабиро, Кадзуо; Марумото, Ёсихико; Ямада, Юичи (2000), "Хирургия Глюка и оснащенные зацепления в 4-многообразиях", Серия о узлах и обо всем, World Scientific, 24: 80–93, ISBN 978-9810243401
• Хилл, Майкл А .; Хопкинс, Майкл Дж.; Равенел, Дуглас С. (2016) [Впервые опубликовано как arXiv 2009]. «Об отсутствии элементов инвариантной единицы Кервера». Анналы математики. 184 (1): 1–262. arXiv:0908.3724. Дои:10.4007 / анналы.2016.184.1.1.CS1 maint: ref = harv (связь)
• Хирцебрух, Фридрих; Майер, Карл Хайнц (1968), O (n) -Mannigfaligkeiten, Exotische Sphären und Singularitäten, Конспект лекций по математике, 57, Берлин-Нью-Йорк: Springer-Verlag, Дои:10.1007 / BFb0074355, ISBN 978-3-540-04227-3, МИСТЕР 0229251 В этой книге описывается работа Брискорна, связывающая экзотические сферы с особенностями комплексных многообразий.
• Кервер, Мишель А.; Милнор, Джон В. (1963). «Группы гомотопических сфер: I» (PDF). Анналы математики. 77 (3): 504–537. Дои:10.2307/1970128. JSTOR 1970128. МИСТЕР 0148075. - В статье описывается структура группы гладких структур на п-сфера для п > 4. К сожалению, обещанная статья «Группы гомотопических сфер: II» так и не появилась, но в лекционных заметках Левина содержится материал, который, как можно было ожидать, в ней содержится.
• Ким, Мин Хун; Ямада, Шохей (2017), Идеальные классы и гомотопические 4-сферы Каппелла-Шенезона, arXiv:1707.03860v1
• Левин, Джером П. (1985), "Лекции о группах гомотопических сфер", Алгебраическая и геометрическая топология, Конспект лекций по математике, 1126, Берлин-Нью-Йорк: Springer-Verlag, стр. 62–95, Дои:10.1007 / BFb0074439, ISBN 978-3-540-15235-4, МИСТЕР 8757031
• Милнор, Джон В. (1956), «О многообразиях, гомеоморфных 7-сфере», Анналы математики, 64 (2): 399–405, Дои:10.2307/1969983, JSTOR 1969983, МИСТЕР 0082103, S2CID 18780087
• Милнор, Джон В. (1959), "Различные варианты различных структур и различные структуры сфер", Bulletin de la Société Mathématique de France, 87: 439–444, Дои:10.24033 / bsmf.1538, МИСТЕР 0117744
• Милнор, Джон В. (1959b), «Дифференцируемые структуры на сферах», Американский журнал математики, 81 (4): 962–972, Дои:10.2307/2372998, JSTOR 2372998, МИСТЕР 0110107
• Милнор, Джон (2000), «Классификация ${ Displaystyle (п-1)}$-связаны ${ displaystyle 2n}$-мерные многообразия и открытие экзотических сфер », в Каппелл, Сильвен; Раники, Андрей; Розенберг, Джонатан (ред.), Обзоры по теории хирургии: Том 1, Annals of Mathematics Studies 145, Princeton University Press, стр. 25–30, ISBN 9780691049380, МИСТЕР 1747528.
• Милнор, Джон Уиллард (2009), «Пятьдесят лет назад: топология многообразий в 50-60-е годы» (PDF), в Мровка, Томаш С.; Озсват, Питер С. (ред.), Низкоразмерная топология. Конспект лекций 15-й летней школы выпускников Математического института Парк-Сити (PCMI), прошедшей в Парк-Сити, штат Юта, летом 2006 г., IAS / Park City Math. Сер., 15, Провиденс, Р.И .: Американское математическое общество, стр. 9–20, ISBN 978-0-8218-4766-4, МИСТЕР 2503491
• Милнор, Джон В. (2011), «Дифференциальная топология сорок шесть лет спустя» (PDF), Уведомления Американского математического общества, 58 (6): 804–809
• Монтесинос, Хосе М. (1983), "О близнецах в четырехмерной I" (PDF), Ежеквартальный журнал математики, 34 (6): 171–199, Дои:10.1093 / qmath / 34.2.171
• Плотник, Стивен П. (1984), Гордон, Кэмерон Мака. (ред.), Волокнистые узлы в ${ displaystyle S ^ {4}}$ - скрученные, прядильные, прокатные, хирургические и ветвящиеся, Американское математическое общество, Contemporary Mathematics Volume 35, pp. 437–459, ISBN 978-0-8218-5033-6.
• Ван, Гочжэнь; Сюй, Чжоули (2017), "Тривиальность 61-ствола в стабильных гомотопических группах сфер", Анналы математики, 186 (2): 501–580, arXiv:1601.02184, Дои:10.4007 / анналы.2017.186.2.3, МИСТЕР 3702672.
• Рудяк, Юлий Б. (2001) [1994], "Сфера Милнора", Энциклопедия математики, EMS Press

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

• Экзотические сферы на атласе многообразия
• Домашняя страница экзотической сферы на домашней странице Андрея Раницкого. Подборка исходных материалов, относящихся к экзотическим сферам.
• Анимация экзотических 7 сфер Видео с презентации Найлз Джонсон на Вторая конференция Авеля в честь Джон Милнор.
• Конструкция Глюка на атласе многообразия