Инварианты узлов

Инварианты узлов — это математические объекты (числа, многочлены, группы, гомологии), которые ставятся в соответствие узлу или зацеплению и не изменяются при изотопии (непрерывной деформации), то есть являются одинаковыми для эквивалентных узлов. Инварианты служат основным инструментом для различения узлов: если два узла имеют разные значения некоторого инварианта, они заведомо неэквивалентны. Обратное утверждение (одинаковость инварианта гарантирует эквивалентность) верно не для всех инвариантов; инвариант, различающий все узлы, называется полным, и его существование остаётся открытым вопросом. Теория инвариантов узлов — один из центральных разделов теории узлов, находящий применение в топологии, алгебре, статистической механике и квантовой теории поля.

История

Первые инварианты узлов появились в конце XIX — начале XX века. В 1928 году американский математик Джеймс Александер опубликовал работу о многочлене, названном его именем (многочлен Александера). Он стал первым нетривиальным полиномиальным инвариантом, позволяющим различать многие узлы, но не являющимся полным (например, трилистник и его зеркальное отражение имеют одинаковый многочлен Александера).

В 1960-х годах Джон Конвей предложил улучшенную версию — многочлен Конвея, а также разработал метод вычисления инвариантов через скобочные соотношения. Однако настоящий прорыв произошёл в 1984 году, когда новозеландский математик Воган Джонс открыл новый многочлен (многочлен Джонса), который оказался чувствительным к хиральности узлов и привёл к неожиданным связям с алгеброй фон Неймана и статистической механикой. За это открытие Джонс получил Филдсовскую медаль в 1990 году.

В 1990-е годы были разработаны более мощные инварианты: многочлены HOMFLY (названный по первым буквам фамилий авторов: Hoste, Ocneanu, Millett, Freyd, Lickorish, Yetter) и многочлен Кауфмана. Параллельно развивались гомологические инварианты, такие как гомологии Хованова (2000 год), которые обобщают многочлен Джонса и являются более тонким инструментом.

Классификация инвариантов

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

Числовые инварианты

Простейшие инварианты — числа, характеризующие узел:

• Число пересечений — минимальное количество пересечений на диаграмме узла при всех возможных её представлениях. Например, трилистник имеет число пересечений 3, восьмёрка — 4.
• Род узла — минимальный род ориентируемой поверхности, натянутой на узел (поверхности Зейферта). Показывает, сколько «дырок» имеет такая поверхность. Для трилистника род равен 1, для восьмёрки — 1, для простого узла — 0.
• Число мостов — минимальное количество максимумов (или минимумов) на диаграмме узла при проекции на прямую. Узлы с числом мостов 2 называются двухмостовыми.
• Число нитей — минимальное количество нитей в представлении узла в виде косы (теорема Александера утверждает, что любой узел можно представить косой).

Полиномиальные инварианты

Наиболее известные и широко используемые инварианты — многочлены от одной или нескольких переменных с целыми коэффициентами.

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

Обозначается Δ(t). Для узла K он определяется через матрицу Зейферта или через диаграмму узла. Многочлен Александера — один из первых и наиболее изученных инвариантов. Он обладает свойством Δ(1) = ±1 для узлов. Например, для трилистника Δ(t) = t² − t + 1, для восьмёрки Δ(t) = t² − 3t + 1. Многочлен не различает зеркальные отражения (хиральность).

Многочлен Джонса

Обозначается V(t). Вводится через скобку Кауфмана и нормализацию. Многочлен Джонса — более сильный инвариант: он различает трилистник и его зеркальное отражение (V(трилистник) = t + t³ − t⁴, а для зеркального — t⁻¹ + t⁻³ − t⁻⁴). Для восьмёрки V(t) = t² − t + 1 − t⁻¹ + t⁻². Многочлен Джонса связан с квантовыми инвариантами и статистической механикой.

Многочлен HOMFLY

Обозначается P(l, m). Обобщает многочлены Александера и Джонса: при подстановке l = 1 получается многочлен Александера, при m = t¹/² − t⁻¹/² — многочлен Джонса. HOMFLY является более тонким инвариантом, чем каждый из них по отдельности.

Многочлен Кауфмана

Обозначается F(a, x). Строится на основе скобки Кауфмана и учитывает ориентацию узла. Является инвариантом относительно изотопии и различает некоторые узлы, неразличимые многочленом Джонса.

Гомологические инварианты

Современное направление — гомологии Хованова (Khovanov homology). Это гомологическая теория, обобщающая многочлен Джонса. Каждому узлу ставится в соответствие биградуированный комплекс цепей, гомологии которого являются инвариантом. Гомологии Хованова содержат больше информации, чем многочлен Джонса: они различают узлы, которые многочлен Джонса не различает. Например, они позволяют различать некоторые пары узлов с одинаковым многочленом Джонса.

Другие гомологические инварианты: гомологии Хегора–Флоера (Heegaard Floer homology) — мощный инвариант, введённый Питером Озватом и Жолтом Сабо, который содержит информацию о роде узла, числе пересечений и других свойствах.

Групповые инварианты

• Группа узла — фундаментальная группа дополнения узла в трёхмерной сфере. Она является мощным инвариантом: два узла эквивалентны тогда и только тогда, когда их группы изоморфны (теорема Гордона–Люке). Однако вычисление и сравнение групп — сложная задача.
• Представления группы узла — гомоморфизмы группы узла в различные группы (например, в группу матриц). Инварианты, получаемые из таких представлений (например, многочлен Александера можно получить из представления в группу матриц 2×2 над кольцом многочленов).

Квантовые инварианты

Квантовые инварианты узлов возникают из теории квантовых групп и алгебр Хопфа. Наиболее известный пример — многочлен Джонса, который можно получить из представления квантовой группы U_q(sl₂). Обобщения — инварианты, связанные с произвольными простыми алгебрами Ли (инварианты Васильева, инварианты Концевича). Эти инварианты играют важную роль в топологической квантовой теории поля (TQFT).

Методы вычисления

Диаграммный подход

Большинство полиномиальных инвариантов вычисляются по диаграмме узла с помощью рекуррентных соотношений. Например, многочлен Джонса вычисляется через скобку Кауфмана, которая удовлетворяет соотношениям:

• ⟨○⟩ = 1 (пустая диаграмма)
• ⟨○ ⊔ D⟩ = (−a² − a⁻²)⟨D⟩ (отдельная компонента)
• ⟨×⟩ = a⟨⟩ + a⁻¹⟨⟩ (скрещивание)

Затем скобка нормализуется умножением на (−a³)⁻ʷ, где w — число закручивания диаграммы.

Алгебраический подход

Для некоторых инвариантов (например, многочлена Александера) используется матрица Зейферта, которая строится по поверхности Зейферта узла. Группа узла вычисляется по диаграмме с помощью алгоритма Виртингера.

Компьютерные методы

Существуют программы для вычисления инвариантов узлов, например, KnotTheory (пакет для Mathematica), SnapPy, KnotScape. Они позволяют вычислять многочлены, группы, гомологии для узлов с большим числом пересечений.

Применение

Различение узлов

Основное применение — доказательство неэквивалентности узлов. Например, трилистник и восьмёрка имеют разные многочлены Александера, поэтому они неэквивалентны. Многочлен Джонса позволяет различать зеркальные отражения (хиральные узлы).

Классификация узлов

Инварианты используются для построения таблиц узлов. Например, таблица простых узлов с числом пересечений до 16 (более 1,7 миллиона узлов) построена с помощью компьютерного перебора и проверки инвариантов.

Связь с другими областями

• Статистическая механика: многочлен Джонса возникает как статистическая сумма модели Поттса на решётке.
• Квантовая теория поля: инварианты узлов связаны с корреляционными функциями в топологической квантовой теории поля (теория Черна–Саймонса).
• Биология: инварианты применяются для анализа зацеплений ДНК, которые образуются при действии ферментов топоизомераз.
• Физика полимеров: инварианты используются для описания топологических состояний полимерных цепей.

Ограничения и открытые проблемы

Ни один из известных инвариантов не является полным. Существуют пары неэквивалентных узлов с одинаковыми многочленами Александера, Джонса и HOMFLY. Например, узел 11n_34 и узел 11n_42 имеют одинаковые многочлены HOMFLY, но различаются гомологиями Хованова. Полная классификация узлов остаётся нерешённой задачей.

Другая проблема — вычислительная сложность. Для узлов с большим числом пересечений вычисление гомологий Хованова или группы узла требует значительных ресурсов. Существуют гипотезы о связи инвариантов с геометрическими свойствами узлов (например, гипотеза о том, что многочлен Джонса распознаёт тривиальный узел — доказана в 2011 году).

Источники

• Adams, C. C. The Knot Book: An Elementary Introduction to the Mathematical Theory of Knots. — American Mathematical Society, 2004.
• Lickorish, W. B. R. An Introduction to Knot Theory. — Springer, 1997.
• Kauffman, L. H. Knots and Physics. — World Scientific, 2001.
• Khovanov, M. A categorification of the Jones polynomial // Duke Mathematical Journal. — 2000. — Vol. 101, no. 3. — P. 359–426.
• Ozsváth, P., Szabó, Z. Holomorphic disks and knot invariants // Advances in Mathematics. — 2004. — Vol. 186, no. 1. — P. 58–116.