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

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

ОпределениеПравить

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

Этот модуль конечно порождён. Матрица копредставления для этого модуля называется матрицей Александера. Если число генераторов r меньше либо равно числу соотношений s, то рассмотрим идеал, порождённый минорами матрицы Александера порядка r. Это нулевой идеал Фиттинга^[en], или идеал Александера, и он не зависит от выбора матрицы копредставления. Если r > s, полагаем идеал равным 0. Если идеал Александера главный, то порождающий элемент этого идеала и называется многочленом Александера данного узла. Поскольку порождающая может быть выбрана однозначно с точностью до умножения на одночлен Лорана $\pm <!--\; \pm \; -->t^n$$\pm t^{n}$ , часто приводят к определённому уникальному виду. Александер выбирал нормализацию, в которой многочлен имеет положительный постоянный член.

Александер доказал, что идеал Александера ненулевой и всегда главный. Таким образом, многочлен Александера всегда существует, и ясно, что это инвариант узла, обозначаемый ${\mathrm{\Delta <!--\; \Delta \; -->}}_K(t)$$\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 <!--\; \pm \; -->t^n$$\pm t^{n}$ . Во избежание неоднозначности разделим многочлен на наибольшую возможную степень t и умножим на −1, если необходимо, для получения положительного коэффициента. Полученный многочлен есть многочлен Александера.

Многочлен Александера можно вычислить, исходя из матрицы Зейферта^[en].

После работы Александера Р. Фокс рассматривал копредставление группы узла ${\mathrm{\pi <!--\; \pi \; -->}}_1(S^3\mathrm{\setminus <!--\; \setminus \; -->}K)$$\pi _{1}(S^{3}\backslash K)$ , и предложил некоммутативный метод вычисления, который также позволяет вычислить ${\mathrm{\Delta <!--\; \Delta \; -->}}_K(t)$$\Delta _{K}(t)$ . Детальное изложение этого подхода можно найти в книге Crowell & Fox (1963).

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

 

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

Построим многочлен Александера для трилистника. На рисунке показаны области (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^{3}-t+t^{2}$ .

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

Основные свойства многочленаПравить

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

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

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

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

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

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

Поскольку идеал Александера является главным, ${\mathrm{\Delta <!--\; \Delta \; -->}}_K(t)=1$$\Delta _{K}(t)=1$  тогда и только тогда, когда группы узла совершенна^[en] (её коммутант совпадает со всей группой узла).

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

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

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

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

Имеются также другие связи с поверхностями и гладкой 4-мерной топологией. Например, при некоторых предположениях допустима хирургия на 4-многообразии^[en], при которой окрестность двумерного тора заменяется на дополнение узла, умноженное на S¹. Результатом будет гладкое 4-многообразие, гомеоморфное исходному, хотя инвариант Зайберга — Виттена^[en] меняется (умножается на многочлен Александера узла).

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

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

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

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

Пример: Для связной суммы узлов (англ.) ${\mathrm{\Delta <!--\; \Delta \; -->}}_{K_1\mathrm{\#<!--\; \#\; -->}{K}_2}(t)={\mathrm{\Delta <!--\; \Delta \; -->}}_{K_1}(t){\mathrm{\Delta <!--\; \Delta \; -->}}_{K_2}(t)$$\Delta _{{K_{1}\#K_{2}}}(t)=\Delta _{{K_{1}}}(t)\Delta _{{K_{2}}}(t)$ . Если $K$$K$  является нескрученным двойным узлом Уайтхеда, то ${\mathrm{\Delta <!--\; \Delta \; -->}}_K(t)=\pm <!--\; \pm \; -->1$$\Delta _{K}(t)=\pm 1$ .

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

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

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

 

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

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

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

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

В работах Ожвата и Сабо и Расмуссена многочлен Александера представлен как эйлерова характеристика комплекса, гомологии которого являются изотопическими инвариантами рассматриваемого узла $K$$K$ , поэтому теория гомологий Флоера^[en] является категорификацией полинома Александера. Подробнее см. в статье «гомологии Хованова^[en]».

Вариации и обобщенияПравить

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

ЛитератураПравить

• J. W. Alexander. Topological invariants of knots and links // Trans. Amer. Math. Soc.. — 1928. — Т. 30, вып. 2. — С. 275–306. — doi:10.2307/1989123.
• R. Crowell, R. Fox. Introduction to Knot Theory. — Ginn and Co. after 1977 Springer Verlag, 1963.
• Colin C. Adams. The Knot Book: An elementary introduction to the mathematical theory of knots. — Revised reprint of the 1994 original. — Providence, RI: American Mathematical Society, 2004. — ISBN 0-8218-3678-1. (accessible introduction utilizing a skein relation approach)
• R. Fox. A quick trip through knot theory, In Topology of ThreeManifold // Proceedings of 1961 Topology Institute at Univ. of Georgia, edited by M.K.Fort. — Englewood Cliffs. N. J.: Prentice-Hall, 1961. — С. 120–167.
• Michael H. Freedman, Frank Quinn. Topology of 4-manifolds. — Princeton, NJ: Princeton University Press, 1990. — Т. 39. — (Princeton Mathematical Series). — ISBN 0-691-08577-3.
• Louis Kauffman. Formal Knot Theory. — Princeton University press, 1983.
• Louis Kauffman. Knots and Physics. — World Scientific Publishing Companey, 2001.
• Akio Kawauchi. A Survey of Knot Theory. — Birkhauser, 1996. (covers several different approaches, explains relations between different versions of the Alexander polynomial)
• M. Khovanov. Link homology and categorification. — 2006. — arXiv:math/0605339.
• Peter Ozsvath, Zoltan Szabo. Holomorphic disks and knot invariants // Adv. Math., no., 58--6. — 2004. — Т. 186, вып. 1. — С. 58–116. — doi:10.1016/j.aim.2003.05.001. — Bibcode: 2002math......9056O. — arXiv:math/0209056.
• J. Rasmussen. Floer homology and knot complements. — 2003. — С. 6378. — Bibcode: 2003math......6378R. — arXiv:math/0306378.
• Dale Rolfsen. Knots and Links. — 2nd. — Berkeley, CA: Publish or Perish, 1990. — ISBN 0-914098-16-0. (explains classical approach using the Alexander invariant; knot and link table with Alexander polynomials)

СсылкиПравить

• Encyclopedia of Mathematics / Michiel Hazewinkel. — Springer, 2001. — ISBN 978-1-55608-010-4.
• Main Page и The Alexander-Conway Polynomial, The Knot Atlas. — таблица узлов и зацеплений с вычисленными многочленами Александера и Конвея