Коса в математике — идеализированная абстракция знакомого из повседневности переплетения нитей. Является фундаментальным понятием теории кос.
Определение Классический подход к определению косы состоит из двух шагов. Сначала вводятся определённые наборы кривых в трёхмерном пространстве, которые называются геометрическими косами. Затем на множестве всех геометрических кос вводится отношение эквивалентности, которое называется изотопностью и отвечает возможности преобразовать одну геометрическую косу в другую определёнными физическими манипуляциями нитей. По определению принимается, что эквивалентные геометрические косы представляют один и тот же математический объект — косу.
Геометрические косы Для данного натурального числа пусть в евклидовом пространстве на двух параллельных плоскостях и отмечены по точек
,
расположенных друг напротив друга на двух параллельных прямых и . Для краткости множество , ограниченное плоскостями и , называется объемлющим пространством, а сами плоскости — основными.
Геометрической косой из нитей называется подмножество объемлющего пространства , которое состоит из непересекающихся кривых и удовлетворяет следующим требованиям: концы этих кривых расположены в отмеченных точках; каждая плоскость, параллельная основным и находящаяся между ними, пересекает геометрическую косу по ровно точкам.
Данные кривые называются нитями геометрической косы. Второе условие означает то, что нити идут «монотонно», то есть в длину вдоль прямой, перпендикулярной основным плоскостям.
Изотопность геометрических кос Изотопия геометрических кос представляет собой определённое непрерывное шевеление нитей. Предполагается, что при таких шевелениях должны сохраняться два указанных выше определяющих свойства геометрических кос, то есть необходимо, чтобы концы нитей были неподвижны, а сами нити оставались монотонными и не проходили друг сквозь друга. Так, допустимыми манипуляциями нитей являются их покачивания, но не задирания или попытки «заузливания».
Данные манипуляции обычно формализуются с помощью понятия объемлющей изотопии, которое представляет собой непрерывное шевеление сразу всех точек объемлющего пространства. При таком шевелении точки не могут наезжать друг на друга, но могут переставляться и «перемешиваться».
Изотопией геометрических кос называется такая объемлющая изотопия объемлющего пространства , что: его точки не выходят за пределы содержащих их плоскостей, параллельных основным; точки на основных плоскостях и неподвижны.
Геометрические косы называются изотопными, если одна может быть получена из другой некоторой изотопией. Косой называется класс эквивалентности геометрических кос по отношению изотопности.
Некоторые авторы злоупотребляют обозначениями и опускают прилагательное «геометрические», называя косами как классы эквивалентности, так и их представителей.
Нити косы Поскольку при изотопии геометрических кос количество нитей сохраняется, оно является корректно определённой характеристикой косы и называется её индексом.
Множество всех кос индекса обозначается символом (от — коса).
Точка пересечения данной нити с плоскостью называется её началом или левым концом, а с плоскостью — её концом или правым концом. Такое натуральное число , что началом данной нити является точка , называется её номером.
Перестановка косы
Помимо общего количества нитей, при изотопии также сохраняется изменение порядка кончиков нитей при движении от их начала к концу. А именно, перестановкой, соответствующей косе из нитей, называется функция
,
переводящая число в такое число , что точка является правым концом нити с левым концом в точке .
Вспомогательные определения
Произведение кос
Косы из одинакового числа нитей можно умножать, соединяя правые концы нитей первой косы с левыми концами нитей второй косы.
Точнее, произведением геометрических кос из одинакового числа нитей называется геометрическая коса из того же числа нитей, состоящая из таких точек , что
Произведением кос и из одинакового числа нитей называется коса , заданная произведением любых их геометрических представителей.
Такое умножение задаёт на множестве всех кос из нитей алгебраическую структуру, которая называется группой кос.
Тривиальная коса Операция умножения на множестве всех кос из нитей имеет нейтральный элемент, задающийся геометрическим представителем, нити которого являются прямыми отрезками, перпендикулярными основным плоскостям.
Точнее, геометрическая коса
,
и соответствующий ей класс эквивалентности геометрических кос называются тривиальными. Тривиальная коса из нитей обозначается символом или просто .
Характеристическим свойством тривиальной косы является то, что для любой косы выполняется цепочка равенств
.
Обратная коса Образ геометрической косы при отражении
относительно плоскости является геометрической косой и называется её обратной. Обратной косой к косе называется коса , заданная обратной к любому геометрическому представителю этой косы .
Характеристическим свойством обратной косы является цепочка равенств
.
Диаграммы кос
Геометрические косы традиционно изображают их плоскими диаграммами, которые определяются следующим образом.
Образ геометрической косы относительно ортогональной проекции , заданной формулой , называется плоской проекцией этой геометрической косы. Ветвью плоской проекции называется её подмножество, являющееся образом некоторого связного подмножества геометрической косы. Кратностью или порядком точки на плоской проекции называется мощность её прообраза относительно ортогональной проекции . Плоская проекция называется регулярной, если кратность каждой её точки не превосходит двух (то есть равна единице или двойке), причем двойных точек (то есть точек кратности два) лишь конечное число, и каждая из них представляет собой трансверсальное пересечение.
Любую геометрическую косу можно так подвергнуть небольшой изотопии, чтобы её плоская проекция стала регулярной.
Диаграммой геометрической косы, плоская проекция которой является регулярной, называется подмножество полосы , получающееся из этой проекции определёнными разрывами в её двойных точках. А именно, разрывами той ветви маленькой окрестности каждой двойной точки, прообраз в которой имеет меньшую вторую координату . Такую ветвь называют проход или нижняя ветвь, а оставшуюся — переход или верхняя ветвь.
Участок диаграммы, полученный в результате разрыва нижней ветви на маленькой окрестности некоторой двойной точки регулярной плоской проекции, называется перекрёстком. Каждый перекрёсток имеет один из следующих двух типов: если его нижняя ветвь указывает налево от его верхней ветви (относительно ориентации нитей, ведущей от их начала к концу), то перекрёсток называется положительным, а иначе, если нижняя ветвь указывает направо, то отрицательным.
Образующие Артина и артиновские слова
Косы и , называющиеся образующими А́ртина и обратными к ним, определяются следующим образом.
Коса (соответственно, ) задаётся своим геометрическим представителем, у которого нити под номерами и единожды переплетаются в положительном (соответственно, в отрицательном) направлении, а остальные являются прямыми.
Конечные последовательности элементов из множества образующих Артина и их обратных (или, что то же самое, слова в этом алфавите) называются а́ртиновскими или косо́выми словами (от ).
Каждому артиновскому слову соответствует диаграмма косы, полученная поочерёдным склеиванием (по длинным сторонам) стандартных диаграмм, отвечающих буквам этого слова. Поскольку конкатенации артиновских слов отвечает произведение кос, полученная коса является произведением образующих Артина и их обратных.
Любую геометрическую косу можно подвергнуть небольшой изотопии, чтобы её диаграмма могла быть получена таким способом по некоторому артиновскому слову. В частности, множество образующих Артина является порождающим для группы кос (см. ).
Фундаментальная и центральная косы
Коса, заданная для формулой
,
называется фундаментальной, полуоборотом нитей и элементом Гарсайда. Она также может быть представлена следующим образом:
.
По-определению, .
Квадрат фундаментальной косы может быть представлен следующим образом:
.
Он называется центральной косой и полным оборотом нитей.
Данное название происходит из того факта, что при коса порождает центр группы кос. В частности, для любой косы выполняется соотношение
,
которое может быть установлено геометрически: правая коса получается из левой прокручиванием косы вокруг своей оси на угол .
Операции над косами Помимо умножения, с косами связан ряд других операций, помогающих прояснить их структуру. К таким операциям относятся, например, всевозможные унарные и бинарные операции на множестве кос. Самостоятельный интерес представляют преобразования кос — произвольные геометрические процедуры, проводимые над геометрическими представителями кос или их артиновскими словами и задающие функции (возможно, многозначные) из множества кос в себя.
Тензорное произведение кос Косы можно комбинировать, параллельно приставляя одну косу к другой.
Точнее, тензорным произведением геометрических кос из и нитей, расположенных в областях и , называется геометрическая коса из нитей, состоящая из таких точек , что
Тензорным произведением кос и называется коса , заданная тензорным произведением любых их геометрических представителей с указанными выше свойствами.
Удаление нитей из косы Из косы из нитей можно следующим образом выдернуть любую её нить и получить корректно определённую косу из нитей.
В результате удаления нити из геометрической косы может, вообще говоря, не получиться геометрическая коса. Однако в случае, если для косы выполняется условие , операция удаления нити под номером корректно определена. Она позволяет определить для каждого отображение
удаления нити под номером формулой
.
Композиция данных операций задаёт для каждого множества индексов отображение
,
удаляющее из косы все нити с номерами из множества .
Например, при удалении из неё любого набора нитей, фундаментальная коса остаётся фундаментальной:
.
Повороты и отражения кос Помимо отражения, фигурирующего в определении обратной косы, некоторые другие геометрические преобразования трёхмерного пространства также задают функции на множестве кос.
Так, поворот на угол вокруг перпендикулярной основным плоскостям оси задаёт корректно определённую инволюцию
.
Она действует на образующих Артина формулой .
Кроме того, отражение относительно плоскости проекции задаёт корректно определённую инволюцию
.
Она действует на образующих Артина формулой и называется отражением.
Данные инволюции и являются автоморфизмами группы кос. В отличие от них, фигурирующее в определении обратной косы отражение относительно плоскости, расположенной посередине между основными плоскостями и параллельно им, действует по правилу
,
и, тем самым, задаёт инволютивный группы кос.
Сопряжение кос
Для косы из нитей преобразование
,
заданное правилом
,
называется сопряжением косой . Оно является частным случаем понятия внутренний автоморфизм.
Например, определённая выше инволюция совпадает с сопряжением фундаментальной косой:
.
Напротив, автоморфизм-отражение не является внутренним.
Локальные преобразования кос
Преобразования кос, заключающиеся в выборе геометрического представителя косы или её артиновского слова и замены в нём фрагмента определённого типа на некоторый другой, называются локальными.
Операция замены в артиновском слове образующей Артина на обратную, где , называется переключением перекрёстка. Она задаёт одноимённое (многозначное) преобразование кос, заключающееся в переключении перекрёстка в некотором артиновском слове косы.
Одну косу можно получить из другой конечной последовательностью переключений перекрёстка тогда и только тогда, когда они состоят из одинакового числа нитей и соответствующие им перестановки равны.