Род узла: поверхность Зейферта и формула рода

Род узла - один из самых наглядных инвариантов в теории узлов: он измеряет, насколько сложную поверхность приходится натянуть на узел, чтобы её краем был именно он. Формально род узла $K$ равен минимальному числу ручек ориентируемой поверхности (поверхности Зейферта), границей которой служит $K$. У тривиального узла род равен нулю, у трилистника - единице, и чем «запутаннее» узел, тем больше его род. Ниже разберём, что такое поверхность Зейферта, как посчитать род через эйлерову характеристику, какая формула даёт род торического узла и почему род складывается при связной сумме. Чтобы сразу увидеть, как род меняется вместе с узлом, покрути калькулятор ниже: он строит диаграмму узла, натягивает на неё поверхность и пересчитывает род, число пересечений и эйлерову характеристику.

Что такое род узла

Возьмём узел - замкнутую несамопересекающуюся кривую в пространстве. На любой узел можно натянуть ориентируемую поверхность так, чтобы узел был её единственным краем; такая поверхность называется поверхностью Зейферта. Поверхностей много, и они бывают разной сложности: одну можно сделать с одной ручкой, другую - с тремя. Род узла $g(K)$ - это минимум числа ручек по всем таким поверхностям.

Ручка - это та самая «дырка от бублика»: сфера имеет род 0, тор (бублик) - род 1, крендель с двумя дырками - род 2. Когда мы говорим, что род трилистника равен единице, это значит, что трилистник можно затянуть поверхностью с одной ручкой, но никак не более простой. Род - топологический инвариант: он не меняется при любых деформациях узла без разрывов, поэтому два узла с разным родом заведомо различны.

Рассчитать для своей задачи

Поверхность Зейферта и алгоритм её построения

Главный инструмент для оценки рода - алгоритм Зейферта. Он строит ориентируемую поверхность прямо из диаграммы узла за три шага:

1. Ориентируем узел - выбираем направление обхода и ставим стрелки вдоль нити.
2. Сглаживаем перекрёстки по ориентации: в каждом из $c$ перекрёстков соединяем входящие и выходящие дуги так, чтобы стрелки совпали. Узел распадается на набор непересекающихся ориентированных окружностей - их называют окружностями Зейферта, пусть их $s$ штук.
3. Натягиваем диски на каждую окружность и вклеиваем скрученную ленту в каждый бывший перекрёсток. Получается ориентируемая поверхность, краем которой снова служит исходный узел.

Эта поверхность состоит из $s$ дисков и $c$ полос. Её род и даёт верхнюю оценку рода узла: построенная поверхность может оказаться не самой простой, но проще узел затянуть точно нельзя меньше, чем позволяет минимум по всем поверхностям.

Рассчитать для своей задачи

Формула рода через эйлерову характеристику

Род поверхности Зейферта считается через её эйлерову характеристику. Поверхность из $s$ дисков и $c$ полос имеет

$\chi = s - c,$

потому что каждый диск даёт вклад $+1$, а каждая лента, соединяющая два диска, добавляет $-1$. Для ориентируемой поверхности с одной граничной окружностью (а у узла край ровно один) эйлерова характеристика связана с родом соотношением

$\chi = 1 - 2g,$

откуда сразу получается формула рода поверхности:

$g = \frac{1 - \chi}{2} = \frac{c - s + 1}{2}.$

Это и есть род конкретной поверхности Зейферта. Если перебрать все диаграммы узла и все способы построения и взять минимум, получится род самого узла. На практике для многих семейств минимум достигается уже на стандартной диаграмме, поэтому формула $g = (c - s + 1)/2$ часто даёт точный ответ. Калькулятор выше показывает $s$, $c$ и итоговое $\chi$ прямо на столбиковой диаграмме, чтобы видеть, как из них собирается род.

Формула рода торического узла

Самый удобный для расчётов класс - торические узлы $T(p,q)$: они лежат на поверхности тора и наматываются $p$ раз в одном направлении и $q$ раз в другом, где $p$ и $q$ взаимно просты. Для них есть замкнутая формула рода:

$g\bigl(T(p,q)\bigr) = \frac{(p-1)(q-1)}{2}.$

Проверим на трилистнике - это $T(2,3)$:

$g\bigl(T(2,3)\bigr) = \frac{(2-1)(3-1)}{2} = \frac{1 \cdot 2}{2} = 1,$

ровно как и должно быть. Для $T(2,5)$ (узел-пятилистник) род равен $(1 \cdot 4)/2 = 2$, для $T(3,4)$ - уже $(2 \cdot 3)/2 = 3$. Видно, что род растёт с обоими параметрами, и среди торических узлов встречается сколь угодно большой род. Важное условие: $p$ и $q$ должны быть взаимно простыми, иначе $T(p,q)$ - не узел, а зацепление из нескольких компонент, и формула рода узла к нему неприменима. В калькуляторе это видно сразу: при $p$ и $q$ с общим делителем диаграмма помечается как зацепление.

Аддитивность рода и связная сумма

Одно из ключевых свойств рода - его поведение при связной сумме. Связная сумма $K_1 \# K_2$ получается, если разрезать оба узла и склеить их концы в один узел. Теорема Шуберта утверждает, что род при этом просто складывается:

$g(K_1 \# K_2) = g(K_1) + g(K_2).$

Это сильное утверждение: оно означает, что род - аддитивный инвариант, и из него следует, что узел с родом 1 нельзя разложить в связную сумму двух нетривиальных узлов (иначе их роды дали бы в сумме хотя бы 2). Например, связная сумма двух трилистников имеет род $1 + 1 = 2$, а сумма трилистника и пятилистника - род $1 + 2 = 3$. График аддитивности в калькуляторе показывает, как растёт род при сложении нескольких копий выбранного узла: зависимость строго линейная.

Из аддитивности следует и важное теоретическое наблюдение: тривиальный узел (род 0) - единственный, кто ничего не добавляет к сумме, поэтому он играет роль нейтрального элемента. А узлы рода 1, которые не раскладываются дальше, - это «простые кирпичики» в смысле рода.

Род как мера сложности узла

Род - не единственный инвариант: рядом стоят число пересечений, мостовое число, многочлен Александера. Все они по-своему измеряют сложность, и между ними есть связи. Род связан с многочленом Александера $\Delta_K(t)$: его степень не превосходит $2g$, а у альтернированных и торических узлов достигает ровно $2g$, что даёт ещё один способ вычислить род. Если вам интересна другая мера сложности - минимальное число перекрёстов на диаграмме, - смотрите разбор про число пересечений узла: там показано, как $c$ оценивается снизу и почему трилистнику нужно не менее трёх перекрёстков.

В отличие от числа пересечений, род почти никогда не считается «на глаз»: его сила именно в том, что он привязан к топологии натянутой поверхности и потому устойчив. Поэтому в задачах род чаще выводят через формулу для торических узлов или через поверхность Зейферта, а не пытаются угадать по картинке.

Частые ошибки

• Путают род узла и род поверхности. Род узла - это минимум по всем поверхностям Зейферта, а не род первой попавшейся. Конкретная диаграмма даёт лишь верхнюю оценку рода.
• Забывают про взаимную простоту $p$ и $q$. Формула $g = (p-1)(q-1)/2$ верна для узла $T(p,q)$ только при $\gcd(p,q) = 1$. Иначе это зацепление, и понятие рода узла к нему не относится напрямую.
• Берут неориентируемую поверхность. Поверхность Зейферта обязана быть ориентируемой. Лента Мёбиуса натягивается на тривиальный узел, но она неориентируема, и её род в формулу для $g$ не входит.
• Считают $\chi$ без учёта края. Соотношение $\chi = 1 - 2g$ верно для поверхности с одной граничной окружностью. Если краёв несколько (зацепление), формула меняется на $\chi = 2 - 2g - b$, где $b$ - число компонент края.
• Думают, что род всегда меньше числа пересечений. Обычно $2g \le c - 1$, но путать эти инварианты нельзя: у разных узлов с одним $c$ род может различаться.

FAQ

Чему равен род трилистника? Род трилистника равен единице. Это торический узел $T(2,3)$, и по формуле $g = (2-1)(3-1)/2 = 1$. Натянуть на трилистник поверхность проще, чем с одной ручкой, невозможно, а тривиальной (род 0) она быть не может, поскольку трилистник не развязывается.

Как род узла связан с поверхностью Зейферта? Род узла по определению равен минимальному роду ориентируемой поверхности, краем которой является узел, то есть минимуму по всем поверхностям Зейферта. Любая конкретная поверхность Зейферта даёт верхнюю оценку рода, а её род считается через эйлерову характеристику: $g = (1 - \chi)/2$.

Может ли род узла быть равен нулю? Да, но только у тривиального узла. Род 0 означает, что на узел натягивается диск (поверхность без ручек), а это возможно лишь тогда, когда узел развязывается в окружность. Поэтому равенство $g = 0$ - это критерий тривиальности узла.

Коротко

Род узла $g(K)$ - это минимальное число ручек ориентируемой поверхности Зейферта, натянутой на узел. Он считается через эйлерову характеристику поверхности по формуле $g = (c - s + 1)/2$, где $c$ - число перекрёстков, а $s$ - число окружностей Зейферта. Для торических узлов есть готовая формула $g(T(p,q)) = (p-1)(q-1)/2$, а при связной сумме род складывается: $g(K_1 \# K_2) = g(K_1) + g(K_2)$. Род равен нулю только у тривиального узла, поэтому он служит надёжной мерой сложности.