Связная сумма

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

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

Связанная сумма в точке [ править ]

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

Если оба многообразия ориентированы , существует единственная связная сумма, определяемая обратной ориентацией карты склейки. Хотя в конструкции используется выбор шаров, результат единственен с точностью до гомеоморфизма . Можно также заставить эту операцию работать в гладкой категории , и тогда результат будет единственным с точностью до диффеоморфизма . В гладком случае возникают тонкие проблемы: не всякий диффеоморфизм между границами сфер дает одно и то же составное многообразие, даже если ориентации выбраны правильно. Например, Милнор показал, что две 7-клетки можно склеить вдоль их границы так, что в результате получится экзотическая сфера, гомеоморфная, но не диффеоморфная 7-сфере.

Однако существует канонический способ выбора склейки $M_{1}$ и $M_{2}$ что дает единственную четко определенную связную сумму. ^[1] Выберите вложения $i_{1}:D_{n}\rightarrow M_{1}$ и $i_{2}:D_{n}\rightarrow M_{2}$ так что $i_{1}$ сохраняет ориентацию и $i_{2}$ меняет ориентацию. Теперь получите $M_{1}\mathbin {\#} M_{2}$ из непересекающейся суммы

(M_{1}-i_{1}(0))\sqcup (M_{2}-i_{2}(0))

путем выявления $i_{1}(tu)$ с $i_{2}((1-t)u)$ для каждого единичного вектора $u\in S^{n-1}$ и каждый $0<t<1$ . Выберите ориентацию для $M_{1}\mathbin {\#} M_{2}$ который совместим с $M_{1}$ и $M_{2}$ . Тот факт, что эта конструкция корректна, решающим образом зависит от теоремы о диске , которая совсем не очевидна. Более подробную информацию см. ^[2]

Операция связной суммы обозначается $\#$ .

Операция связной суммы имеет сферу $S^{m}$ как личность ; то есть, $M\mathbin {\#} S^{m}$ гомеоморфно (или диффеоморфно) $M$ .

Классификация замкнутых поверхностей, основополагающий и исторически значимый результат топологии, утверждает, что любая замкнутая поверхность может быть выражена как связная сумма сферы с некоторым числом. $g$ Тори и некоторое количество $k$ реальных проективных плоскостей .

Связная сумма по подмногообразию [ править ]

Позволять $M_{1}$ и $M_{2}$ — два гладких ориентированных многообразия одинаковой размерности и $V$ гладкое замкнутое ориентированное многообразие, вложенное как подмногообразие в оба $M_{1}$ и $M_{2}.$ Предположим, далее, что существует изоморфизм нормальных расслоений

\psi :N_{M_{1}}V\to N_{M_{2}}V

это меняет ориентацию каждого волокна. Затем $\psi$ индуцирует сохраняющий ориентацию диффеоморфизм

N_{1}\setminus V\cong N_{M_{1}}V\setminus V\to N_{M_{2}}V\setminus V\cong N_{2}\setminus V,

где каждый нормальный пучок $N_{M_{i}}V$ диффеоморфно отождествляется с окрестностью $N_{i}$ из $V$ в $M_{i}$ и карта

N_{M_{1}}V\setminus V\to N_{M_{2}}V\setminus V

— это обращающая ориентацию диффеоморфная инволюция

v\mapsto v/|v|^{2}

на нормальных векторах . Связная сумма $M_{1}$ и $M_{2}$ вдоль $V$ тогда это пространство

(M_{1}\setminus V)\bigcup _{N_{1}\setminus V=N_{2}\setminus V}(M_{2}\setminus V)

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

(M_{1},V)\mathbin {\#} (M_{2},V).

Тип его диффеоморфизма зависит от выбора двух вложений $V$ и по выбору $\psi$ .

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

Особый случай $V$ точка восстанавливает связную сумму предыдущего раздела.

коразмерности два сумма по подмногообразию Связная

Другой важный частный случай имеет место, когда размерность $V$ на два меньше, чем у $M_{i}$ . Тогда изоморфизм $\psi$ нормальных расслоений существует, если их классы Эйлера противоположны:

e\left(N_{M_{1}}V\right)=-e\left(N_{M_{2}}V\right).

Более того, в этом случае структурной группой нормальных расслоений является группа окружностей $SO(2)$ ; следует, что выбор вложений канонически можно отождествить с группой классов гомотопических отображений из $V$ к окружности , которая, в свою очередь, равна первой целой когомологий группе $H^{1}(V)$ . Таким образом, тип диффеоморфизма суммы зависит от выбора $\psi$ и выбор элемента из $H^{1}(V)$ .

Связная сумма по коразмерности два $V$ можно провести и в категории симплектических многообразий ; эта разработка называется симплектической суммой .

Локальное управление [ править ]

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

Связная сумма узлов [ править ]

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

Эта процедура приводит к проецированию нового узла, связной суммы (или суммы узла , или композиции ) исходных узлов. Чтобы связная сумма узлов была корректно определена, необходимо рассматривать ориентированные узлы в трехмерном пространстве. Чтобы определить связную сумму для двух ориентированных узлов:

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

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

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

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

Если не принимать во внимание ориентации узлов, операция связной суммы не будет четко определена на изотопических классах (неориентированных) узлов. Чтобы убедиться в этом, рассмотрим два необратимых узла K, L , которые не эквивалентны (как неориентированные узлы); например, возьмем два узла-кренделя K = P (3, 5, 7) и L = P (3, 5, 9). Пусть K ₊ и K ₋ будут K с двумя неэквивалентными ориентациями, и пусть L ₊ и L ₋ будут L с двумя неэквивалентными ориентациями. Мы можем сформировать четыре ориентированные связные суммы:

А = К ₊ # Л ₊
Б = К _- # L _-
С = К ₊ # L _-
Д = К ₋ # L ₊

Все ориентированные объемлющие изотопические классы этих четырех ориентированных узлов различны, и, если рассматривать объемлющую изотопию узлов без учета ориентации, существует два различных класса эквивалентности: { A ~ B } и { C ~ D }. Чтобы увидеть, что A и B неориентированы, просто заметьте, что они оба могут быть построены из одной и той же пары непересекающихся проекций узлов, как указано выше, единственная разница заключается в ориентации узлов. Точно так же можно видеть, что C и D могут быть построены из одной и той же пары непересекающихся проекций узлов.

См. также [ править ]

Дальнейшее чтение [ править ]

Роберт Гомпф : Новая конструкция симплектических многообразий, Annals of Mathematics 142 (1995), 527–595.
Уильям С. Мэсси , Базовый курс алгебраической топологии , Springer-Verlag, 1991. ISBN 0-387-97430-X .

Ссылки [ править ]

^ Кервэр и Милнор, Группы гомотопических сфер I, Анналы математики, том 77, № 3, май 1963 г.
^ Косински, Дифференциальные многообразия, Academic Press Inc (1992).

[1] Кервэр и Милнор, Группы гомотопических сфер I, Анналы математики, том 77, № 3, май 1963 г.

[2] Косински, Дифференциальные многообразия, Academic Press Inc (1992).

[1]

[2]