Введение

В математике, в области симплектической топологии, относительная контактная гомология является инвариантом пространств вместе с выбранным подпространством. В частности, она связана с контактным многообразием и одним из его подмногообразий Лежандра. Она является частью более общего инварианта, известного как симплектическая теория поля, и определяется с использованием псевдоголоморфных кривых.

Легендарные узлы

Самый простой случай даёт инварианты легендрианских узлов в трехмерных контактных многообразиях. Показано, что относительная контактная гомология является строго более мощным инвариантом, чем "классические инварианты", а именно число Тёрстона Беннекина и число вращения (для класса гладких узлов). Юрий Чеканов разработал чисто комбинаторную версию относительной контактной гомологии для легендрианских узлов, то есть инвариант, заданный комбинаторно и воспроизводящий результаты относительной контактной гомологии. Тамаш Калман разработал комбинаторный инвариант для петель легендрианских узлов, с помощью которого он выявил различия между фундаментальными группами пространства гладких узлов и пространства легендрианских узлов.

Высшее измерение легендарных подмножеств

В работе Ленхарда Нга относительная SFT используется для получения инвариантов гладких узлов: узел или зацепление внутри топологического трёхмерного многообразия порождает легендрианский тор внутри контактного пятимерного многообразия, состоящий из единичного конормального расслоения к узлу внутри единичного котангенциального расслоения окружающего трёхмерного многообразия. Относительная SFT этой пары является дифференциально градуированной алгеброй; Ng выводит мощный инвариант узла из комбинаторной версии нулевой степени гомологии. Он имеет вид конечно представленной тензорной алгебры над определённым кольцом многомерных полиномов Лорана с целочисленными коэффициентами. Этот инвариант присваивает различные инварианты (по крайней мере) узлам с не более чем десятью пересечениями и доминирует над полиномом Александра и полиномом A (и, следовательно, различает тривиальный узел).