Деформация узла - это когда изменяется взаимное расположение всех его петелек и бантиков, а также когда сами петельки изменятся, напр. затягиваются.

В общем, я всё в этом деле вроде бы понял. Никому никаких-то особых четырёхмерных узлов придумать не получится. Спасибо.

vps137, я думаю, что любой узел в четырёхмерном эвклидовом пространстве можно "развязать" до тривиального узла, т.е. обычной окружности. А вопросы вложения узлов в различные трёхмерные многообразия являются трудными ... вспомните, что различают торические узлы, узлы на кренделе и т.д. Сами узлы играют существенную роль в частичной классификации трёхмерных многообразий, в то время как, полной классификации трёхмерных многообразий нет и доказано, что её быть не может ... вот так!

Такие узлы - страшное дело. "Торические узлы в торическом пространстве Калаби-Яу".
Пуанкаре бросил снежок и выросла огромная куча.

Смотрим на формулу (2.3) - это СЛЕД(Tr) ... всё остальное дело техники. В теме о числах уже приводились различные варианты формул из этой заметки.

В достойное завершение вашей темы следующая ссылка:

https://zen.yandex.ru/media/ateologia/vreme...c8be3f5d69b8edd

Валера, тушите свет:

https://m.hightech.fm/2017/01/31/lesovik

где F - это (3.3)? Если так, то grand merci, просто - аж жуть.

Это всё - мои слова. В частности, на этом форуме я сотни раз доказывал, что времени нет. Но, конечно, не я был первым.

Ещё рановато. Пусть сделают свой опыт.

vps137, F - это степень (-1) ...

Не нашёл в тексте.
Наверное, вся эта работа - это тоже то, что накрутил мизар?

У Мизара другой язык - там всё понятно. Здесь в статье магистра никаких доказательств нет, считается что всё делается по аналогии из уже известных источников ...

Вы не успели на поезд, ребятишки!

Валера, многие инварианты строятся на основе симметрических многочленов.
Простейшие из их это СЛЕД Tr и ДЕТЕРМИНАТ det и всевозможные промежуточные ... обычно, для поддержания традиционных свойств следа требуется согласованное чередование знаков, видимо (-1)^F и означает здесь это правило ... например, альтернированная сумма следов есть снова след (число Лефшеца) и т.п. Поскольку знаки чередуются в зависимости от чётности перестановок некоторого конечного множества индексов, а поскольку таких перестановок может быть очень много, то проблема вычисления таких инвариантов может быть весьма сложной. Сравните как легко вычислить след матрицы и как трудро вычислить её детерминант (определитель). Вот чтобы избежать этой процедуры и находят разные формулы связи ...

Ага, понятно.
Какую бы муть этот парень не написал - конечно, молодец. Второй Ершков.