Многочлен Александера

Многочлен Александера — это инвариант узла, который сопоставляет многочлен с целыми коэффициентами узлу любого типа. Джеймс Александер обнаружил его, первый многочлен узла, в 1923. В 1969 Джон Конвей представил версию этого многочлена, ныне носящую название многочлен Александера — Конвея. Этот многочлен можно вычислить с помощью скейн-соотношения, хотя важность этого не была осознана до открытия полинома Джонса в 1984. Вскоре после доработки Конвеем многочлена Александера стало понятно, что похожее скейн-cоотношение было и в статье Александера для его многочлена.

Определение

Пусть K — узел на 3-сфере. Пусть X — бесконечное циклическое накрытие дополнения узла K. Это накрытие можно получить путём разрезания дополнения узла вдоль поверхности Зейферта узла K и склеивания бесконечного числа копий полученного многообразия с границей. Существует Шаблон:Не переведено 5 t, действующее на X. Обозначим первую группу целочисленных гомологий X как $H_1(X)$. Преобразование t действует на эту группу, так что мы можем считать $H_1(X)$ модулем над $\mathbb{Z}[t,t^{-1}]$. Он называется инвариантом Александера или модулем Александера.

Этот модуль конечно порождён. Матрица копредставления для этого модуля называется матрицей Александера. Если число генераторов r меньше либо равно числу соотношений s, то рассмотрим идеал, порождённый минорами матрицы Александера порядка r. Это нулевой Шаблон:Не переведено 5, или идеал Александера, и он не зависит от выбора матрицы копредставления. Если r > s, полагаем идеал равным 0. Если идеал Александера главный, то порождающий элемент этого идеала и называется многочленом Александера данного узла. Поскольку порождающая может быть выбрана однозначно с точностью до умножения на одночлен Лорана $\pm t^n$, часто приводят к определённому уникальному виду. Александер выбирал нормализацию, в которой многочлен имеет положительный постоянный член.

Александер доказал, что идеал Александера ненулевой и всегда главный. Таким образом, многочлен Александера всегда существует, и ясно, что это инвариант узла, обозначаемый ${\mathrm{\Delta }}_K(t)$. Многочлен Александера для узла, образованного одной нитью, имеет степень 2 и для зеркального отражения узла многочлен будет тем же самым.

Вычисление многочлена

Следующий алгоритм вычисления многочлена Александера была приведена Дж. В. Александером в своей статье.

Возьмём ориентированную диаграмму узла с n пересечениями. Имеется n + 2 областей диаграммы. Чтобы получить многочлен Александера, сначала построим матрицу инцидентности размера (n, n + 2). n строк соответствуют n пересечениям, а n + 2 столбцов соответствуют областям. Значениями элементов матрицы будут 0, 1, −1, t, −t.

Значения элементов матрицы для областей, смежных пересечению. Линия, отмеченная стрелкой, лежит снизу и стрелка указывает направление обхода.

Рассмотрим элемент матрицы, соответствующий некоторой области и пересечению. Если область не прилегает к пересечению, элемент равен 0. Если область прилегает к пересечению, значение элемента зависит от положения. Рисунок справа показывает значение элементов в матрице для пересечения (лежащий ниже участок узла помечен направлением обхода, для лежащего сверху направление не имеет значения). Следующая таблица задаёт значения элементов в зависимости от положения, области относительно лежащей снизу линии.

слева до пересечения: −t

справа до пересечения: 1

слева после пересечения: t

справа после пересечения: −1

Удалим два столбца, соответствующих смежным регионам из матрицы, и вычислим определитель полученной n х n матрицы. В зависимости от того, какие столбцы удалены, ответ будет отличаться на множитель $\pm t^n$. Во избежание неоднозначности разделим многочлен на наибольшую возможную степень t и умножим на −1, если необходимо, для получения положительного коэффициента. Полученный многочлен есть многочлен Александера.

Многочлен Александера можно вычислить, исходя из Шаблон:Не переведено 5.

После работы Александера Р. Фокс рассматривал копредставление группы узла ${\pi }_1(S^3\mathrm{\setminus }K)$, и предложил некоммутативный метод вычисленияШаблон:Sfn, который также позволяет вычислить ${\mathrm{\Delta }}_K(t)$. Детальное изложение этого подхода можно найти в книге Шаблон:Harvtxt.

Пример построения многочлена

Вычисление многочлена Александера для трилистника.
Стрелка показывает направление обхода, линия со стрелкой проходит снизу.

Построим многочлен Александера для трилистника. На рисунке показаны области (A0, A1, A2, A3, A4) и точки пересечения (P1, P2, P3), а также значения элементов таблицы (рядом с точками пересечения).

Таблица Александера для трилистника примет вид:

Точка	A0	A1	A2	A3	A4
P1	-1	0	-t	t	1
P2	-1	1	-t	0	t
P3	-1	t	-t	1	0

Отбросим первые два столбца и вычислим определитель: $-t^3-t+t^2$.

Разделив полученное выражение на $-t$, получим многочлен Александера для трилистника: $t^2-t+1$.

Основные свойства многочлена

Многочлен Александера симметричен: ${\mathrm{\Delta }}_K(t^{-1})={\mathrm{\Delta }}_K(t)$ для всех узлов K.

С точки зрения определения выше, это выражение изоморфизма Пуанкаре $\overline{H_{1}X}\simeq {\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathbb{Z}[t,t^{-1}]}(H_{1}X,G)$ где $G$ — факторгруппа поля частных кольца $\mathbb{Z}[t,t^{-1}]$, рассматриваемого как $\mathbb{Z}[t,t^{-1}]$-модуль, а $\overline{H_{1}X}$ — сопряжённый $\mathbb{Z}[t,t^{-1}]$-модуль к $H_{1}X$ (как абелева группа он идентичен $H_{1}X$, но накрывающее отображение $t$ действует как $t^{-1}$).

Кроме того, многочлен Александера принимает значение в 1, по модулю равное единице: ${\mathrm{\Delta }}_K(1)=\pm 1$.

С точки зрения определения, это выражение факта, что дополнение узла -- гомологическая окружность, первые гомологии которой порождены накрывающим преобразованием $t$. Более общо, если $M$ является 3-многообразием, таким, что $\mathrm{r}\mathrm{a}\mathrm{n}\mathrm{k}(H_{1}M)=1$, оно имеет многочлен Александера ${\mathrm{\Delta }}_M(t)$, определённый как порядковый идеал бесконечного циклического накрывающего пространства. В этом случае ${\mathrm{\Delta }}_M(1)$, с точностью до знака, равно порядку подгруппы кручения $H_{1}M$.

Известно, что любой лорановский многочлен с целыми коэффициентами, который симметричен и в точке 1 имеет по модулю значение 1, является многочленом Александера некоторого узлаШаблон:Sfn.

Геометрическая важность многочлена

Поскольку идеал Александера является главным, ${\mathrm{\Delta }}_K(t)=1$ тогда и только тогда, когда группы узла Шаблон:Не переведено 5 (её коммутант совпадает со всей группой узла).

Для топологически срезанного узла многочлен Александера удовлетворяет условию Фокса-Милнора ${\mathrm{\Delta }}_K(t)=f(t)f(t^{-1})$, где $f(t)$ — некий другой лорановский многочлен с целыми коэффициентами.

Удвоенный род узла ограничен снизу степенью многочлена Александера.

Михаэль Фридман доказал, что узел на 3-сфере является топологически срезанным, то есть границами «локально плоского» топологического диска на 4-мерном шаре, если многочлен Александера узла тривиаленШаблон:Sfn.

Луис Кауффман описываетШаблон:Sfn построение многочлена Александера через суммы состояний физических моделей. Обзор этого подхода, а также других связей с физикой даны в другой статье Кауффмана (Шаблон:Harvnb).

Имеются также другие связи с поверхностями и гладкой 4-мерной топологией. Например, при некоторых предположениях допустима хирургия на Шаблон:Не переведено 5, при которой окрестность двумерного тора заменяется на дополнение узла, умноженное на S¹. Результатом будет гладкое 4-многообразие, гомеоморфное исходному, хотя Шаблон:Не переведено 5 меняется (умножается на многочлен Александера узла).

Известно, что узлы с симметрией имеют ограниченные полиномы Александера. См. раздел симметрии в работе КаваутиШаблон:Sfn. Однако многочлен Александера может не заметить некоторые симметрии, такие как сильная обратимость.

Если дополнение узла является расслоением над окружностью, то многочлен Александера узла монарен (коэффициенты при старшем и младшем членах равны $\pm 1$). Пусть $S\to C_K\to S^1$ — расслоение, где $C_K$ — дополнение узла. Обозначим отображение монодромии как $g:S\to S$. Тогда ${\mathrm{\Delta }}_K(t)=Det(tI-g_{*})$, где $g_{*}:H_1(S)\to H_1(S)$ — индуцированное отображение в гомологиях.

Связь с сателлитными операциями

Пусть $K$ — сателлитный узел со спутником $K^{\prime }$, то есть существует вложение $f:S^1\times D^2\to S^3$, такое что $K=f(K^{\prime })$, где $S^1\times D^2\subset S^3$ — незаузлённый сплошной тор, содержащий $K$. Тогда ${\mathrm{\Delta }}_K(t)={\mathrm{\Delta }}_{f(S^1\times \{0\})}(t^a){\mathrm{\Delta }}_{K^{\prime }}(t)$. Здесь $a\in \mathbb{Z}$ — целое число, которое представляет $K^{\prime }\subset S^1\times D^2$ в $H_1(S^1\times D^2)=\mathbb{Z}$.

Пример: Для Шаблон:Не переведено ${\mathrm{\Delta }}_{K_1\mathrm{\#}{K}_2}(t)={\mathrm{\Delta }}_{K_1}(t){\mathrm{\Delta }}_{K_2}(t)$. Если $K$ является нескрученным двойным узлом Уайтхеда, то ${\mathrm{\Delta }}_K(t)=\pm 1$.

Многочлен Александера — Конвея

Александер показал, что полином Александера удовлетворяет скейн-соотношению. Джон Конвей позже переоткрыл это в другой форме и показал, что скейн-соотношение вместе с выбором значения на тривиальном узле достаточно для определения многочлена. Версия Конвея является многочленом от z с целочисленными коэффициентами, обозначается $\mathrm{\nabla }(z)$ и называется многочленом Александера — Конвея (а также многочленом Конвея или многочленом Конвея — Александера).

Рассмотрим три диаграммы ориентированных зацеплений $L_{+},L_{-},L_0$.

Скейн-соотношения Конвея:

• $\mathrm{\nabla }(O)=1$ (где O — диаграмма тривиального узла)
• $\mathrm{\nabla }(L_{+})-\mathrm{\nabla }(L_{-})=z\mathrm{\nabla }(L_0)$

Связь со стандартным многочленом Александера задаётся соотношением ${\mathrm{\Delta }}_L(t^2)={\mathrm{\nabla }}_L(t-t^{-1})$. Здесь ${\mathrm{\Delta }}_L$ должен быть должным образом нормализован (умножением на $\pm t^{n/2}$) чтобы выполнялось скейн-соотношение $\mathrm{\Delta }(L_{+})-\mathrm{\Delta }(L_{-})=(t^{1/2}-t^{-1/2})\mathrm{\Delta }(L_0)$. Заметим, что это даёт многочлен Лорана от t^1/2.

Связь с гомологиями Хованова

В работах Ожвата и СабоШаблон:Sfn и РасмуссенаШаблон:Sfn многочлен Александера представлен как эйлерова характеристика комплекса, гомологии которого являются изотопическими инвариантами рассматриваемого узла $K$, поэтому теория Шаблон:Не переведено 5 является категорификацией полинома Александера. Подробнее см. в статье «Шаблон:Не переведено 5»Шаблон:Sfn.

Вариации и обобщения

• Многочлен HOMFLY — похожий, но более тонкий инвариант узлов и зацеплений.

Литература

• Шаблон:Статья
• Шаблон:Книга
• Шаблон:Книга (accessible introduction utilizing a skein relation approach)
• Шаблон:Статья
• Шаблон:Книга
• Шаблон:Статья
• Шаблон:Книга
• Шаблон:Книга (covers several different approaches, explains relations between different versions of the Alexander polynomial)
• Шаблон:Статья
• Шаблон:Статья
• Шаблон:Статья
• Шаблон:Книга (explains classical approach using the Alexander invariant; knot and link table with Alexander polynomials)

Ссылки

• Шаблон:Книга
• Main Page и The Alexander-Conway Polynomial, The Knot Atlas. — таблица узлов и зацеплений с вычисленными многочленами Александера и Конвея