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

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

Определение

Пусть [math]\displaystyle{ L }[/math] — ручной ориентированный узел или зацепление в трёхмерном пространстве (или на трёхмерной сфере). Поверхностью Зейферта называется компактная связная ориентированная поверхность [math]\displaystyle{ S }[/math], вложенная в трёхмерное пространство таким образом, что её границей является [math]\displaystyle{ L }[/math], причём ориентация на поверхности [math]\displaystyle{ S }[/math] индуцирует исходную ориентацию на [math]\displaystyle{ L }[/math].

Подчеркнем, что поверхность Зейферта должна быть ориентирована.

Примеры

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

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

Род узла

Поверхность Зейферта данного узла или зацепления определена неоднозначно: один и тот же узел (или зацепление) [math]\displaystyle{ K }[/math] может иметь несколько различных поверхностей Зейферта, минимально возможный род такой поверхности называется родом узла, является его инвариантом и обозначается через [math]\displaystyle{ g(K) }[/math].

К примеру:

• Род тривиального узла равен 0 (поскольку он является границей диска); обратно, если род узла равен нулю, то узел тривиален.
• Трилистник, как и восьмёрка, имеют род 1.
• Род торического узла типа [math]\displaystyle{ (p, q) }[/math] равен [math]\displaystyle{ (p-1)(q-1)\over 2 }[/math].
• Степень полинома Александера является оценкой снизу на удвоенный род узла.

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

[math]\displaystyle{ g(K_1 \# K_2) = g(K_1) + g(K_2) }[/math]

Ссылки

• SeifertView programme Архивная копия от 26 мая 2010 на Wayback Machine — построение поверхностей Зейферта для различных узлов.