Гомологии Хованова

Одним из прорывов в современной теории узлов стало развитие теории гомологий зацеплений — диаграмме зацепления ставится в соответствие цепной комплекс, гомологии которого оказываются неизменными при движениях Рейдемейстера. Начало этой теории было положено М. Г. Ховановым, и, как выяснилось вскоре, гомологии Хованова имеют применения к многочисленным задачам маломерной топологии. Недавно П. Кронхаймер и Т. Мровка доказали, что гомологии Хованова распознают тривиальный узел. И цепи, и дифференциалы комплекса Хованова строятся комбинаторно исходя из состояний диаграммы. Каждое состояние представляет собой набор окружностей, получающихся в результате разведений перекрестков. Каждый перекресток разводится двумя способами, и диаграмма c $n$ перекрестками имеет $2^n$ состояний. Каждой окружности в состоянии сопоставляется двумерное градуированное пространство (алгебра Фробениуса), а самому состоянию — тензорное произведение пространств соответствующих окружностей. Пространство цепей устроено таким образом, что градуированная эйлерова характеристика гомологий Хованова совпадает с полиномом Джонса. На комплексе вводится гомологическая градуировка, а дифференциалы (с коэффициентами над полем из двух элементов) соответствуют очевидным операциям в алгебре Фробениуса. Структура алгебры Фробениуса мгновенно гарантирует корректную определенность комплекса и инвариантность гомологий при движениях Рейдемейстера. Из нее следует и проективная функториальность гомологий Хованова при кобордизмах.
В докладе речь пойдет о комбинаторике гомологий Хованова и приложениях гомологий Хованова к оценкам различных характеристик узлов.