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

Инвариант узла — это величина, которая не изменяется при деформации узла, что позволяет доказать, что два узла действительно различны.

Definition

Инвариант узла — это функция на узлах, которая принимает равные значения на эквивалентных узлах, так что различные значения подтверждают, что два узла не являются объемно-изотопными; эквивалентно, это любая величина, сохраняющаяся при трёх преобразованиях Рейдемейстера.

Scope

Эта тема охватывает принцип, согласно которому любая величина, не изменяющаяся при преобразованиях Рейдемейстера, является инвариантом узла, и рассматривает классические инварианты: группу узла (фундаментальную группу дополнения), поверхность Зейферта и род Зейферта, число пересечений, число развязывания, мостовое число и трёхцветность. В ней рассматриваются матрицы Зейферта и сигнатура, ограничения отдельных инвариантов и роль инвариантов в обнаружении хиральности и различении узлов, которые на первый взгляд кажутся похожими.

Core questions

• Как преобразования Рейдемейстера сводят вопрос инвариантности к конечному, проверяемому условию?
• Какие геометрические и алгебраические инварианты — группа узла, род, сигнатура — отражают различные особенности узла?
• Почему инвариант может различать одни узлы, но не может разделить другие?
• Как инварианты обнаруживают такие свойства, как хиральность и число развязывания?

Key concepts

• Преобразования Рейдемейстера и инвариантность
• Группа узла и дополнение узла
• Поверхности Зейферта, род Зейферта и матрица Зейферта
• Числа пересечений, развязывания и мостовые числа
• Сигнатура и трёхцветность

Clinical relevance

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

History

Рейдемейстер доказал в 1927 году, что его три преобразования порождают эквивалентность узлов, сводя инвариантность к локальным проверкам; конструкция Зейферта стягивающих поверхностей (1934) дала род и сигнатуру, и эти классические инварианты составили основу предмета до эры полиномов.

Key figures

• Kurt Reidemeister
• Herbert Seifert
• Dale Rolfsen

Seminal works

• lickorish1997
• rolfsen1976

Frequently asked questions

Почему преобразования Рейдемейстера так важны?

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

Что такое род Зейферта узла?

Это наименьший род среди всех ориентируемых поверхностей в пространстве, границей которых является узел; это инвариант, который измеряет сложность узла и является аддитивным при связной сумме.