Обсуждается применение процедуры каблирования для вычисления раскра-шенных полиномов ХОМФЛИ. Описано, как можно ее использовать и как най-ти проекторы и R-матрицы, которые необходимы для этой процедуры. Постро-енные матричные выражения для проекторов и R-матриц в фундаментальном представлении позволяют вычислить полином ХОМФЛИ для произвольного узла и для произвольного представления. Использованный алгоритм вычисле-ний дает возможность провести их для узлов и зацеплений с |Q|m 12, где m -число нитей в представлении узла в виде косы, а |Q| -число клеток в диа-грамме Юнга представления. Также обсуждается обоснование процедуры каб-лирования с точки зрения теории групп. При этом выводятся выражения для R-матриц в фундаментальном представлении и поясняются некоторые предпо-ложения, сформулированные в предыдущих работах.Ключевые слова: теория Черна-Саймонса, теория узлов, теория представлений. DOI: 10.4231/tmf8588
ВВЕДЕНИЕКак известно, некоторые квантовые эффекты являются непертурбативными яв-лениями. Иногда они возникают уже в квантовой механике, например эффект Ааро-нова-Бома [1], [2], но гораздо чаще -в теории калибровочных полей [3], [4]. Непер-турбативные эффекты в настоящий момент привлекают все больше внимания. Одна из основных причин этого состоит в том, что при рассмотрении таких явлений возни-кает огромное количество точно решаемых моделей, где, в отличие от реалистичной квантовой теории поля, сам ответ хорошо определен и потому доступен для строго-го анализа. С другой стороны, есть надежда, что таким образом удастся объяснить некоторые исключительно важные наблюдаемые явление, среди которых конфайн-мент в квантовой хромодинамике [5]. Изучение непертурбативных эффектов дало начало нескольким новым типам теорий, таким как теория Зайберга-Виттена [6], [7] * Институт теоретической и экспериментальной физики, Москва, Россия. E-mail: anokhina@itep.ru, Andrey.Morozov@itep.ru † Московский физико-технический институт, Долгопрудный, Московская обл., Россия ‡ Московский государственный университет им. М. В. Ломоносова, Москва, Россия 3 4 А. С. АНОХИНА, А. А. МОРОЗОВ и конформная теория поля [8], в которых именно непертурбативные явления играют ключевую роль. Важный класс таких непертурбативных теорий составляют так называемые то-пологические теории поля [9]. Они представляют собой специальный класс кван-товых теорий поля, в которых наблюдаемые, скажем амплитуды, нечувствительны к малым возмущениям, например, константы связи, и в этом смысле топологически инвариантны. Исследование теорий такого рода привело к изучению различных топологических объектов, как ранее известных, так и впервые открытых. Самый прямолинейный способ применить квантовую теорию поля для изучения тополо-гических объектов -это рассмотреть действие, которое в некотором смысле есть полная производная, так что соответствующая статистическая сумма (1.1) не меняется при гладких преобразованиях многообразия M [10], [11]. Такая стати-стическая сумма может быть устроена весьма сложным образом, если рассматри-ваемое многообразие обладает нетривиальными топол...