АНОО «Физтех-лицей» имени П. Л.

Капицы

Поверхностный подход к оценке числа

разузлования узла через матрицу
Зейферта

Работу выполнил: Лобашев Семён, 10Л класс

Руководитель: м.н.с. ЛМТФ МФТИ Корзун Д. В.

г. Долгопрудный

1
Содержание
1 Введение 3

2 Зейферт-поверхности и матрица Зейферта 3

3 Допустимые разрезы Зейферт-поверхности 4

4 Алгебраически нетривиальные разрезы 5

5 Изменение ранга 5

6 Связь со сменами пересечений 6

7 Основная теорема 7

8 Заключение 10

2
 Аннотация
В работе предлагается геометрически интерпретируемый метод
получения нижних оценок числа разузлования ориентированного
узла. Подход основан на анализе разрезов Зейферт-поверхности и
их влияния на алгебраические свойства матрицы Зейферта. Полу-
чено строгое доказательство классической оценки
1
u(K) ≥ rank(V − V T ),
2
в котором каждая смена пересечения интерпретируется как алгеб-
раически нетривиальный разрез поверхности.

1 Введение
Число разузлования u(K) является одним из базовых, но трудно вычис-
лимых инвариантов теории узлов, несмотря на простоту определения.
Известно, что число разузлования узла допускает оценку через косо-
симметрическую форму, ассоциированную с матрицей Зейферта. Цель
настоящей работы состоит в построении геометрически наглядного и
строго формализованного доказательства этой связи, основанного на ана-
лизе топологии Зейферт-поверхности.

2 Зейферт-поверхности и матрица Зейферта

Пусть K ⊂ S 3 — ориентированный узел. Зейферт-поверхностью F назы-
вается компактная ориентируемая поверхность, удовлетворяющая ∂F =
K.
Из классификации поверхностей следует, что
g
F ∼
[
= D2 ∪ hi ,
i=1

где hi — 1-ручки (стандартный топологический строительный блок по-

верхности, который увеличивает её род на 1), а g — род поверхности.

Определение 1. Пусть {a1 , . . . , a2g } — базис H1 (F ; Z) (Кривые ai вы-

бираются как вложенные ориентированные простые замкнутые кривые

3
на F , согласованные с разложением поверхности на 1-ручки, так что их
классы образуют симплектический базис первой гомологии). Матрица
Зейферта V = (vij ) определяется формулой

vij = lk(ai , a+
j ),

где a+
j — положительное нормальное смещение цикла aj и lk — число
зацепления.

Кососимметрическая матрица V − V T представляет алгебраическую

форму пересечения на H1 (F ).
Форма алгебраического пересечения на H1 (F ; Z) является кососим-
метрической билинейной формой. В выбранном базисе {ai } она пред-
ставляется матрицей V − V T , поскольку для любых i, j выполняется

⟨ai , aj ⟩ = lk(ai , a+ +
j ) − lk(aj , ai ).

3 Допустимые разрезы Зейферт-поверхности

Определение 2. Допустимым разрезом называется вложенная дуга γ ⊂
F с концами на ∂F , такая что разрезание поверхности вдоль γ умень-
шает ранг группы H1 (F ; Z). Геометрически это означает, что дуга γ пе-
ресекает по меньшей мере одну 1-ручку в разложении поверхности и
потому не гомотопна в ∂F относительно концов. Разрезание по такой
дуге топологически эквивалентно удалению 1-ручки, что уменьшает род
поверхности на единицу.

Лемма 1. Каждый допустимый разрез уничтожает ровно один при-

митивный класс [α] ∈ H1 (F ; Z).

Доказательство. Разрез по γ проходит через одну 1-ручку h ⊂ F , не

гомотопен в границу относительно концов, и поэтому топологически раз-
рывает именно эту ручку. Соответствующие два базисных цикла, прохо-
дящие через h, становятся гомологически тривиальными. Другие циклы
остаются нетронутыми. Следовательно, разрез уменьшает ранг H1 (F )
ровно на 1, и уничтожаемый класс [α] является примитивным.

4
4 Алгебраически нетривиальные разрезы
Определение 3. Допустимый разрез называется алгебраически нетри-
виальным, если существует класс [β] ∈ H1 (F ), такой что

⟨[α], [β]⟩ ̸= 0,

где ⟨·, ·⟩ — форма пересечения.

Определение 4 (Форма пересечения). Пусть F — ориентированная по-
верхность, а [a], [b] ∈ H1 (F ; Z) — гомологические классы 1-циклов. Форма
пересечения ⟨·, ·⟩ определяется как алгебраическая сумма пересечений
представителей классов:
X
⟨[a], [b]⟩ = sign(p),
p∈a∩b

где sign(p) зависит от ориентации поверхности в точке p. Эта форма

кососимметрична и билинейна, и не зависит от выбора представителей.
Лемма 2. Разрез, уничтожающий класс [α], является алгебраически
нетривиальным тогда и только тогда, когда соответствующая строка
матрицы V − V T ненулевая.
Доказательство. Матрица V − V T представляет форму пересечения в
выбранном базисе. Ненулевость строки эквивалентна существованию клас-
са с ненулевым алгебраическим пересечением с [α].

5 Изменение ранга
Лемма 3. Пусть A — кососимметрическая матрица над полем харак-
теристики ноль (например, Q или R). Тогда rank A чётен.
Доказательство. Известно, что любую кососимметрическую матрицу
можно привести к блочно-диагональному виду
   
0 λ1 0 λk
⊕ ··· ⊕ ⊕ 0 ⊕ · · · ⊕ 0.
−λ1 0 −λk 0

Каждый ненулевой блок 2 × 2 даёт ровно 2 к рангу. Следовательно, ранг

A чётен.

5
Лемма 4. Удаление одной строки и соответствующего столбца из це-
лочисленной кососимметрической матрицы уменьшает её ранг не более
чем на 2.

Доказательство. Ранг кососимметрической матрицы над полем харак-

теристики ноль всегда чётен. Удаление строки и столбца уменьшает раз-
мерность пространства не более чем на два.
Характеристика поля — это наименьшее положительное число n, та-
кое что 1| + ·{z
· · + 1} = 0 в поле. Если такого числа нет, поле имеет ха-
n раз
рактеристику 0, например Q, R. Заметим, что свойство чётного ранга
кососимметрической матрицы верно только над полем характеристики
не равной 2.
Например, поля рациональных, вещественных и комплексных чисел
имеют характеристику 0, поскольку никакое конечное число сложений
единицы не даёт ноль. Поле Z/pZ имеет характеристику p. В частности,
в поле характеристики 2 выполняется равенство −1 = 1, что приводит
к исчезновению знаков пересечений. Поэтому при рассмотрении форм
пересечения обычно предполагается, что характеристика поля отлична
от 2.

6 Связь со сменами пересечений

Лемма 5. Каждый алгебраически нетривиальный разрез Зейферт - по-
верхности реализуется сменой знака ровно одного пересечения в неко-
торой диаграмме узла.

Доказательство. В представлении Зейферт-поверхности в виде диска с

ленточками каждый алгебраически нетривиальный класс [α] ∈ H1 (F ; Z)
соответствует ленте с ненулевым перекрутом. Смена знака соответству-
ющего пересечения на диаграмме эквивалентна размативанию перекрута
на ленте, что делает класс [α] гомологически тривиальным. Остальные
ленты не затрагиваются, поэтому новых алгебраически нетривиальных
классов не появляется.

6
7 Основная теорема
Теорема 1. Для любого ориентированного узла K выполняется нера-
венство
1
u(K) ≥ rank(V − V T ).
2
Доказательство. Каждая смена пересечения соответствует алгебраиче-
ски нетривиальному разрезу. После выполнения всех разрезов Зейферт-
поверхность превращается в диск, для которого форма пересечения тож-
дественно равна нулю. Каждый разрез уменьшает ранг не более чем на
2, что и даёт требуемую оценку.

Пример: вычисление для трилистника

Рассмотрим правый трилистник K = 31 . По стандартной диаграмме
строим поверхность Зейферта F рода 1 с одной граничной компонентой.
Имеем
H1 (F ; Z) ∼
= Z2 .
Выбираем базис (a, b).
Матрица Зейферта в этом базисе имеет вид
 
1 0
V = .
−1 0

Кососимметрическая форма:
 
T 0 1
V −V = .
−1 0

rank(V − V T ) = 2.

Отсюда
1
u(31 ) ≥ rank(V − V T ) = 1.
2
Смена одного пересечения в стандартной диаграмме трилистника раз-
узлывает узел. Следовательно,
u(31 ) = 1.

7
Пример: вычисление для лапчатки
Рассмотрим узел лапчатки K = 51 . По стандартной диаграмме строим
поверхность Зейферта F .
Поверхность F имеет род g = 2 и одну граничную компоненту.
Имеем
H1 (F ; Z) ∼
= Z4 .
Выбираем базис (a1 , b1 , a2 , b2 ).
Матрица Зейферта в этом базисе имеет вид
 
1 0 0 0
−1 0 0 0
V = 0 0 1 0 .


0 0 −1 0

Кососимметрическая форма:
 
0 1 0 0
−1 0 0 0
V −VT =
0
.
0 0 1
0 0 −1 0

rank(V − V T ) = 4.

Отсюда
1
u(51 ) ≥ rank(V − V T ) = 2.
2
Существует диаграмма лапчатки, в которой смена знаков двух пере-
сечений приводит к тривиальному узлу. Следовательно,

u(51 ) = 2.

8
Пример узлов с несоответствием нижней оценки
Ниже приведены примеры узлов, для которых нижние оценки, основан-
ные на кососимметрической форме и других инвариантах, дают значе-
ние, строго меньше фактического значения числа разузлования.
Согласно таблице неопределённости числа разузлования на KnotInfo
(таблица значений u(K) для узлов с известными инвариантами), напри-
мер следующие узлы не допускают u(K) = 1:

810 , 1048 , 1052 , 1054 , 1057 , . . .

для которых доказано, что u(K) ≥ 2, несмотря на то, что подписями и

формой пересечения могли быть получены оценки 1. В других случаях,
таких как 11-узлы, указано, что многие узлы также не имеют u(K) =
1, хотя простые оценки оставляют эту возможность открытой до более
тонких методов.

Пример: узел со строгим неравенством

Рассмотрим узел K = 810 . По фиксированной ориентированной диаграм-
ме применяем алгоритм Зейферта и получаем ориентированную поверх-
ность Зейферта F рода g = 1 с одной граничной компонентой.
Имеем
H1 (F ; Z) ∼
= Z2 .
Зафиксируем базис (a, b).
Для выбранной поверхности Зейферта матрица Зейферта в этом ба-
зисе равна  
0 1
V = .
0 0

Транспонированная матрица имеет вид

 
T 0 0
V = .
1 0

Кососимметрическая форма пересечения вычисляется как

 
T 0 1
V −V = .
−1 0

9
 Ранг матрицы V − V T равен
rank(V − V T ) = 2.

Алгебраическая оценка числа разузлования даёт

1
u(K) ≥ rank(V − V T ) = 1.
2
Однако узел 810 не разузлывается сменой одного пересечения. Ми-
нимальное число смен пересечений, приводящих к тривиальному узлу,
равно 2:
u(810 ) = 2.

Следовательно, в данном случае выполняется строгое неравенство

1
u(810 ) > rank(V − V T ).
2

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

Список литературы
[1] D. Rolfsen, Knots and Links, Publish or Perish, 1976.
[2] C. Livingston, Knot Theory, The Mathematical Association of America,
1993.
[3] R. A. Horn, C. R. Johnson, Matrix Analysis, Cambridge University Press,
1985.
[4] Charles Livingston and Allison Moore, KnotInfo: Table of Knot
Invariants.
[Link]

10