Сигнатура узла: инвариант из матрицы Зейферта

Сигнатура - это целочисленный инвариант узла, который рождается из линейной алгебры: берут поверхность Зейферта, выписывают её матрицу, симметризуют и считают разность числа положительных и отрицательных собственных значений. Звучит как набор технических шагов, но за ними стоит сильный инструмент: сигнатура часто различает узлы, которые путает многочлен Александера, и сразу показывает, отличается ли узел от своего зеркального отражения. Разберём определение по шагам, посчитаем сигнатуру на трилистнике и соберём конкретный алгоритм, который не подведёт на экзамене.

Если нужно посчитать сигнатуру конкретного узла или проверить промежуточный шаг - соберите запрос ниже и получите разбор с матрицей и собственными значениями.

Что такое сигнатура узла

Сигнатура узла $K$ - это сигнатура симметричной билинейной формы, заданной матрицей $V + V^{T}$, где $V$ - матрица Зейферта узла. Обозначают её $\sigma(K)$. Сигнатура симметричной матрицы - это разность числа её положительных и отрицательных собственных значений:

$$\sigma(K) = n_{+} - n_{-},$$

где $n_{+}$ и $n_{-}$ - количества положительных и отрицательных собственных значений матрицы $V + V^{T}$. Поскольку определитель этой формы для узла не обращается в ноль, нулевых собственных значений нет, и величина $\sigma(K)$ всегда чётная.

Ключевое свойство: $\sigma(K)$ не зависит ни от выбора диаграммы узла, ни от выбора поверхности Зейферта и её базиса - это настоящий инвариант узла. Значит, если у двух узлов сигнатуры разные, эти узлы заведомо не эквивалентны.

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

Матрица Зейферта: откуда берётся

Чтобы получить $V$, нужна поверхность Зейферта - ориентируемая поверхность в трёхмерном пространстве, краем которой служит сам узел. Её строят по диаграмме алгоритмом Зейферта: ориентируют узел, в каждом перекрёстке делают сглаживание по стрелкам, получают набор окружностей Зейферта, а затем склеивают их перекрученными лентами в местах перекрёстков. Подробно про эту поверхность и связанную с ней величину мы говорили в разборе рода узла.

Первая группа гомологий поверхности $\Sigma$ порождена набором замкнутых петель $a_1, \dots, a_{2g}$, где $g$ - род поверхности. Матрица Зейферта составлена из коэффициентов зацепления:

$$V_{ij} = \operatorname{lk}\bigl(a_i^{+}, a_j\bigr),$$

где $a_i^{+}$ - петля $a_i$, сдвинутая чуть-чуть вдоль положительной нормали к поверхности, а $\operatorname{lk}$ - коэффициент зацепления двух кривых. Размер матрицы - $2g \times 2g$. Сама $V$ не симметрична, и именно поэтому для сигнатуры её приходится симметризовать суммой с транспонированной.

Алгоритм вычисления за пять шагов

Чтобы посчитать $\sigma(K)$ руками, удобно держать в голове жёсткую последовательность:

1. Нарисуйте диаграмму узла и расставьте ориентацию.
2. Алгоритмом Зейферта постройте поверхность и выберите базис петель $a_1, \dots, a_{2g}$ в её гомологиях.
3. Для каждой пары $(i, j)$ посчитайте коэффициент зацепления $\operatorname{lk}(a_i^{+}, a_j)$ и соберите матрицу $V$.
4. Образуйте симметричную матрицу $S = V + V^{T}$.
5. Найдите знаки собственных значений $S$ (через характеристический многочлен или приведение к диагональному виду) и возьмите $\sigma = n_{+} - n_{-}$.

Пятый шаг - чисто алгебраический: знаки собственных значений симметричной матрицы можно определить, не вычисляя их точно, например критерием Сильвестра по угловым минорам или приведением квадратичной формы к сумме квадратов.

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

Пример: сигнатура трилистника

Возьмём правый трилистник - простейший нетривиальный узел. Его поверхность Зейферта имеет род $g = 1$, поэтому базис гомологий состоит из двух петель, а матрица Зейферта имеет размер $2 \times 2$:

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

Симметризуем:

$$S = V + V^{T} = \begin{pmatrix} -2 & 1 \\ 1 & -2 \end{pmatrix}.$$

Собственные значения этой матрицы - корни уравнения $(-2 - \lambda)^2 - 1 = 0$, то есть $\lambda = -1$ и $\lambda = -3$. Оба отрицательны, значит $n_{+} = 0$, $n_{-} = 2$ и

$$\sigma(K) = 0 - 2 = -2.$$

Для зеркального (левого) трилистника все ленты перекручены в другую сторону, знаки в $V$ меняются, и сигнатура получается $+2$. Раз сигнатуры различаются, правый и левый трилистники не эквивалентны - трилистник хирален. Это тот случай, где сигнатура работает там, где многочлен Александера бессилен: у обоих трилистников он одинаков.

Зачем нужна сигнатура

Сигнатура - это не просто учебное упражнение по линейной алгебре, а рабочий инвариант с несколькими сильными применениями.

• Различает зеркальные узлы. При зеркальном отражении сигнатура меняет знак: $\sigma(\overline{K}) = -\sigma(K)$. Поэтому если $\sigma(K) \neq 0$, узел заведомо отличается от своего зеркала, то есть хирален.
• Даёт нижнюю оценку рода. Существует неравенство, связывающее сигнатуру с четырёхмерным родом узла: $|\sigma(K)| \le 2 g_4(K)$. Это связывает сигнатуру с гладкой топологией и теорией конкордантности.
• Аддитивна по связной сумме. Для связной суммы узлов $\sigma(K_1 \# K_2) = \sigma(K_1) + \sigma(K_2)$, что облегчает расчёты для составных узлов.

Эти свойства роднят сигнатуру с другими числовыми инвариантами вроде числа пересечений узла, но в отличие от него сигнатура чувствительна к зеркальной симметрии.

Связь с другими инвариантами

Из той же матрицы Зейферта выводятся и соседние инварианты. Определитель узла - это $|\det(V + V^{T})|$, то есть модуль определителя той самой симметризованной матрицы. Многочлен Александера получается как $\Delta_K(t) = \det(V - t V^{T})$ с точностью до домножения на $\pm t^k$. Сигнатура же берёт у этой матрицы не определитель, а знаковую структуру - поэтому она несёт информацию, которой нет ни в определителе, ни в многочлене Александера.

Есть и более тонкая конструкция - сигнатуры Тристрама–Левина $\sigma_\omega(K)$, зависящие от комплексного параметра $\omega$ на единичной окружности. При $\omega = -1$ они дают обычную сигнатуру, а при других $\omega$ образуют целое семейство инвариантов конкордантности.

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

• Считают сигнатуру несимметризованной матрицы $V$. Сигнатура определена только для симметричной формы - обязательно берут $V + V^{T}$, иначе понятие собственных значений с фиксированными знаками теряет смысл.
• Путают сигнатуру матрицы и её след или ранг. Сигнатура - это $n_{+} - n_{-}$, а не сумма диагонали и не размер матрицы.
• Забывают про ориентацию. Знаки в матрице Зейферта и итоговый знак сигнатуры зависят от ориентации узла и выбора положительной нормали; перепутанная ориентация перевернёт знак.
• Считают, что разные поверхности дадут разную сигнатуру. Матрицы будут разными, но сигнатура у них одинаковая - в этом и смысл инвариантности.
• Берут чётность неверно. Для узла сигнатура всегда чётная; нечётный ответ - сигнал арифметической ошибки в собственных значениях.

FAQ

Может ли сигнатура узла быть нулевой? Да. У тривиального узла $\sigma = 0$, и у амфихиральных узлов (совпадающих со своим зеркалом, например восьмёрки) сигнатура тоже равна нулю. Нулевая сигнатура не доказывает тривиальность - она лишь не различает узел и его зеркало.

Чем сигнатура лучше многочлена Александера? Сигнатура чувствительна к зеркальному отражению, а многочлен Александера - нет: у трилистника и его зеркала он одинаков, а сигнатуры $-2$ и $+2$ их сразу различают. Зато многочлен Александера несёт больше алгебраической информации в целом, так что инварианты дополняют друг друга.

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

Коротко

Сигнатура узла $\sigma(K) = n_{+} - n_{-}$ - это знаковая характеристика симметризованной матрицы Зейферта $V + V^{T}$, не зависящая от диаграммы и поверхности, а потому настоящий инвариант. Она всегда чётна, меняет знак при зеркальном отражении и аддитивна по связной сумме. На трилистнике сигнатура равна $-2$ против $+2$ у зеркала, что доказывает его хиральность там, где многочлен Александера ничего не различает. Алгоритм короткий: построить поверхность Зейферта, выписать $V$ через коэффициенты зацепления, симметризовать и посчитать знаки собственных значений.