Поверхность Зейферта - Seifert surface

Поверхность Зейферта, ограниченная набором Кольца Борромео.

В математика, а Поверхность Зейферта (названный в честь Немецкий математик Герберт Зайферт^[1]^[2]) это поверхность чей граница дано морской узел или же связь.

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

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

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

Примеры

Поверхность Зейферта для Ссылка Хопфа. Это кольцо, а не лента Мёбиуса. Он имеет два полуворота и поэтому его можно ориентировать.

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

«Шахматная» раскраска обычной минимальной пересекающейся проекции трилистник дает ленту Мебиуса с тремя полувитками. Как и в предыдущем примере, это не поверхность Зейферта, поскольку она не ориентируема. Применение алгоритма Зейферта к этой диаграмме, как и ожидалось, действительно дает поверхность Зейферта; в данном случае это проколотый тор рода грамм = 1, а матрица Зейферта имеет вид

{ displaystyle V = { begin {pmatrix} 1 & -1 0 & 1 end {pmatrix}}.}

Существование и матрица Зейферта

Это теорема что любая ссылка всегда имеет связанную поверхность Зейферта. Эта теорема была впервые опубликована Франклом и Понтрягин в 1930 г.^[3] Другое доказательство было опубликовано в 1934 г. Герберт Зайферт и полагается на то, что сейчас называется алгоритмом Зейферта. В алгоритм производит поверхность Зейферта ${ displaystyle S}$ , учитывая проекцию рассматриваемого узла или звена.

Предположим, что ссылка имеет м составные части (м= 1 для узла) диаграмма имеет d точки пересечения, и разрешение пересечений (с сохранением ориентации узла) дает ж круги. Тогда поверхность ${ displaystyle S}$ построен из ж несвязанные диски путем присоединения d группы. Группа гомологий ${ displaystyle H_ {1} (S)}$ бесплатный абелевский на 2грамм генераторы, где

{ Displaystyle г = (2 + д-ж-м) / 2}

это род из ${ displaystyle S}$ . В форма пересечения Q на ${ displaystyle H_ {1} (S)}$ является кососимметричный, а есть база из 2грамм циклы

{ displaystyle a_ {1}, a_ {2}, ldots, a_ {2g}}

с

{ Displaystyle Q = (Q (a_ {i}, a_ {j}))}

прямая сумма грамм копии

{ displaystyle { begin {pmatrix} 0 & -1 1 & 0 end {pmatrix}}}

.

Иллюстрация "выталкивания" генератора гомологии а в положительном и отрицательном направлениях для поверхности Зейферта узла восьмерки.

2грамм × 2грамм целое число Матрица Зейферта

{ Displaystyle V = (v (я, j))}

имеет ${ Displaystyle v (я, j)}$ то номер ссылки в Евклидово 3-пространство (или в 3-сфера ) из а_я и "отталкивание" а_j в положительном направлении ${ displaystyle S}$ . Точнее, напоминая, что поверхности Зейферта двоякошерстны, что означает, что мы можем расширить вложение ${ displaystyle S}$ к вложению ${ Displaystyle S раз [-1,1]}$ , учитывая некоторую репрезентативную петлю ${ displaystyle x}$ который является генератором гомологии внутри ${ displaystyle S}$ , положительный выталкиватель ${ Displaystyle х раз {1 }}$ а отрицательное выталкивание ${ Displaystyle х раз {- 1 }}$ .^[4]

При этом у нас есть

{ Displaystyle V-V ^ {*} = Q,}

куда V^* = (v(j,я)) транспонированная матрица. Каждое целое число 2грамм × 2грамм матрица ${ displaystyle V}$ с ${ Displaystyle V-V ^ {*} = Q}$ возникает как матрица Зейферта узла с родом грамм Поверхность Зейферта.

В Полином александра вычисляется из матрицы Зейферта по формуле ${ Displaystyle A (t) = det (V-tV ^ {*}),}$ который является полиномом степени не выше 2грамм в неопределенном ${ displaystyle t.}$ Полином Александера не зависит от выбора поверхности Зейферта. ${ displaystyle S,}$ и является инвариантом узла или зацепления.

В подпись узла это подпись симметричной матрицы Зейферта ${ displaystyle V + V ^ { mathrm {T}}.}$ Это снова инвариант узла или звена.

Род узла

Поверхности Зейферта вовсе не уникальны: поверхность Зейферта S рода грамм и матрица Зейферта V может быть изменен топологическая хирургия, что приводит к поверхности Зейферта S'Рода грамм + 1 и матрица Зейферта

{ displaystyle V '= V oplus { begin {pmatrix} 0 & 1 1 & 0 end {pmatrix}}.}

В род узла K это инвариант узла определяется минимальным род грамм поверхности Зейферта для K.

Например:

An развязанный - которая по определению является границей диск - имеет нулевой род. Причем развязка - это Только узел с нулевым родом.
В трилистник имеет род 1, как и узел восьмерка.
Род а (п,q)-торический узел является (п − 1)(q − 1)/2
Степень завязанности узла Полином александра является нижней оценкой удвоенного своего рода.

Фундаментальным свойством рода является его аддитивность по отношению к узловая сумма:

{ displaystyle g (K_ {1} # K_ {2}) = g (K_ {1}) + g (K_ {2})}

В общем, род узла сложно вычислить, и алгоритм Зейферта обычно не дает поверхности Зейферта наименьшего рода. По этой причине иногда полезны другие связанные инварианты. В канонический род ${ displaystyle g_ {c}}$ узла - наименьший род всех поверхностей Зейферта, которые могут быть построены с помощью алгоритма Зейферта, а свободный род ${ displaystyle g_ {f}}$ наименьший род всех поверхностей Зейферта, дополнение которых в ${ Displaystyle S ^ {3}}$ это ручка. (Дополнением к поверхности Зейферта, порожденным алгоритмом Зейферта, всегда является ручка.) Для любого узла выполняется неравенство ${ displaystyle g leq g_ {f} leq g_ {c}}$ очевидно, выполняется, поэтому, в частности, эти инварианты накладывают верхние границы на род.^[5]

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

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

В Программа SeifertView из Джек ван Вейк визуализирует поверхности Зейферта узлов, построенных с использованием алгоритма Зейферта.

[1] Зейферт, Х. (1934). "Über das Geschlecht von Knoten". Математика. Annalen (на немецком). 110 (1): 571–592. Дои:10.1007 / BF01448044.

[2] ван Вейк, Ярке Дж.; Коэн, Арджех М. (2006). «Визуализация поверхностей Зейферта». IEEE Transactions по визуализации и компьютерной графике. 12 (4): 485–496. Дои:10.1109 / TVCG.2006.83. PMID 16805258.

[3] Frankl, F .; Понтрягин, Л. (1930). "Ein Knotensatz mit Anwendung auf die Dimensionstheorie". Математика. Annalen (на немецком). 102 (1): 785–789. Дои:10.1007 / BF01782377.

[4] Дейл Рольфсен. Узлы и ссылки. (1976), 146-147.

[5] Бриттенхэм, Марк (24 сентября 1998 г.). «Канонический род ограничивает объем». arXiv:математика / 9809142.

[1]

[2]

[3]

[4]

[5]

Теория узлов (узлы и ссылки )
Гиперболический	Восьмерка (4₁) Три твиста (5₂) Стивидор (6₁) 6₂ 6₃ Бесконечный (7₄) Коврик каррика (8₁₈) Пара перко (10₁₆₁) (−2,3,7) крендель (12n242) Уайтхед (5² ₁) Кольца Борромео (6³ ₂) L10a140
спутник	Композитные узлы Бабушка Квадрат Сумма узла
Тор	Не узел (0₁) Трилистник (3₁) Лапчатка (5₁) Септафойл (7₁) Отменить связь (0² ₁) Хопф (2² ₁) Соломона (4² ₁)
Инварианты	Чередование Инвариант Arf Мост нет. 2-мост Бруннский Хиральность Обратимый Crosscap no. Переход нет. Инвариант конечного типа Гиперболический объем Гомологии Хованова Род Группа узлов Группа ссылок Ссылка нет. Полиномиальный Александр скобка ДОМАШНИЙ Джонс Кауфман Крендель основной список Палка нет. Трехцветность Распутывания нет. и проблема
Обозначение и операции	Обозначения Александра – Бриггса Обозначение Конвея Обозначение Даукера Flype Мутация Ход Рейдемейстера Отношение мотков Табулирование
Другой	Теорема александра Berge Теория кос Сфера Конвея Дополнение Двойной тор Волокнистый Морской узел Список узлов и ссылок Лента Ломтик Сумма Домыслы Тэйта Крутить Дикий Писать Теория хирургии
Категория Commons