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

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

Визначення

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

Цей модуль скінченно породжений. Матриця коподання для цього модуля називається матрицею Александера. Якщо число генераторів r менше або дорівнює числу співвідношень s, то розглянемо ідеал, породжений мінорами матриці Александера порядку r. Це нульовий Шаблон:Не перекладено, або ідеал Александера, і він не залежить від вибору матриці коподання. Якщо 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, якщо необхідно, для отримання додатного коефіцієнта. Отриманий многочлен — це многочлен Александера.

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

Після роботи Александера Р. Фокс розглядав коподання групи вузла ${\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$ тоді і тільки тоді, коли група вузла Шаблон:Не перекладено (її комутант збігається з усією групою вузла).

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

Подвоєний рід вузла обмежений знизу степенем многочлена Александера.

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

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

Є також інші зв'язки з поверхнями і гладкою 4-вимірною топологією. Наприклад, при деяких припущеннях допустима хірургія на Шаблон:Не перекладено, за якої окіл двовимірного тора замінюється доповненням вузла, помноженим на S¹. Результатом буде гладкий 4-многовид, гомеоморфний початковому, хоча Шаблон:Не перекладено змінюється (збільшується на многочлен Александера вузла).

Відомо, що вузли з симетрією мають обмежені многочлени Александера. Див. розділ Симетрії в роботі КаваутіШаблон: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}$.

Приклад: Для Шаблон:Iw${\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$, тому теорія Шаблон:Не перекладено є категорифікацією многочлена Александера. Детальніше див. у статті Шаблон:Не перекладеноШаблон: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 Шаблон:Webarchive і The Alexander-Conway Polynomial Шаблон:Webarchive, The Knot Atlas. — таблиця вузлів і зачеплень з обчисленими многочленами Александера і Конвея