Восьмёрка (теория узлов)

Шаблон:Эта статья Шаблон:Абстрактный узел

В теории узлов восьмёрка (четырёхкратный узел или узел Листинга) — это единственный узел с числом пересечений четыре. Это наименьшее возможное число пересечений, за исключением тривиального узла и трилистника. Восьмёрка является простым узлом. Впервые рассмотрен Листингом в 1847 году.

Происхождение названия

Название происходит от бытового узла восьмёрка на верёвке, у которой концы соединены.

Описание

Простое параметрическое представление узла «восьмёрка» задаётся множеством точек (x,y,z), для которых

{\begin{aligned}x&=\left(2+\cos {(2t)}\right)\cos {(3t)}\\y&=\left(2+\cos {(2t)}\right)\sin {(3t)}\\z&=\sin {(4t)}\end{aligned}}

где t — вещественная переменная.

Восьмёрка является простым, альтернированным, Шаблон:Не переведено 3 узлом с соответствующим значением 5/2. Он является также ахиральным узлом. Восьмёрка является Шаблон:Не переведено 3 узлом. Это следует из другого, менее простого (но более интересного) представления узла:

Узел является однородной^[1] замкнутой косой (а именно, замыканием косы с 3 нитями σ₁σ₂⁻¹σ₁σ₂⁻¹), а теорема Шаблон:Нп3 показывает, что любая однородная коса является расслоённой.
Узел является зацеплением в точке (0,0,0,0) — изолированной критической точки вещественного полиномиального отображения F: R⁴→R² так, что (согласно теореме Джона Милнора) Шаблон:Не переведено 3 F является расслоением. Бернард Перрон нашёл первую такую функцию F для этого узла, а именно:

F(x,y,z,t)=G(x,y,z^{2}-t^{2},2zt),

где

{\begin{aligned}G(x,y,z,t)=\ &(z(x^{2}+y^{2}+z^{2}+t^{2})+x(6x^{2}-2y^{2}-2z^{2}-2t^{2}),\\&\ tx{\sqrt {2}}+y(6x^{2}-2y^{2}-2z^{2}-2t^{2})).\end{aligned}}

.

Математические свойства

Узел «восьмёрка» играл исторически важную роль (и продолжает её играть) в теории Шаблон:Не переведено 3. Где-то в середине 1970-х, Уильям Тёрстон показал, что восьмёрка является гиперболическим узлом путём разложения его дополнения на два идеальных гиперболических тетраэдра (Роберт Райли и Троэльс Йоргенсен, работая независимо друг от друга, до этого показали, что восьмёрка является гиперболической в другом смысле). Эта конструкция, новая по тем временам, привела его ко многим сильным результатам и методам. Например он смог показать, что все, кроме десяти, Шаблон:Не переведено 3 на узле «восьмёрка» дают Шаблон:Не переведено 3, не допускающие расслоение Зейферта Шаблон:Не переведено 3 3-многообразия. Это был первый из таких результатов. Много других было открыто путём обобщения построения Тёрстона для других узлов и зацеплений.

Восьмёрка является также гиперболическим узлом с наименьшим возможным объёмом 2,029 88…, согласно работе Чо Чунь (Chun Cao) и Роберта Майерхофа (Robert Meyerhoff). С этой точки зрения восьмёрку можно рассматривать как самый простой гиперболический узел. Дополнение восьмёрки является двойным накрытием многообразия Гизекинга, которое имеет наименьший объём среди некомпактных гиперболических 3-многообразий.

Узел «восьмёрка» и Шаблон:Не переведено 3 являются двумя гиперболическими узлами, для которых известно более шести особых хирургий, хирургий Дена, приводящих к негиперболическим 3-многообразиям. Они имеют 10 и 7 соответственно. Теорема Лэкенби (Lackenby) и Майерхофа, доказательство которой опирается на теорему геометризации и использование компьютерных вычислений, утверждает, что 10 является максимальным возможным числом особых хирургий для любых гиперболических узлов. Однако до сих пор не установлено, является ли восьмёрка единственным узлом, на которой достигается граница 10. Хорошо известная гипотеза утверждает, что нижняя граница (за исключением двух упомянутых узлов) равна 6.