Русская Википедия:Теория кос
Теория кос — раздел топологии и алгебры, изучающий косы и их приложения.
Исследования кос затрагивают различные аспекты теории групп, комбинаторики, алгебраической топологии, гиперболической геометрии, динамики, теории представлений, а сама теория кос проникает в теорию узлов, теорию гомеоморфизмов поверхностей, алгебраическую геометрию, теорию гомотопий, статистическую механику и криптографию.
История
Косы впервые рассматривались Карлом Фридрихом Гауссом. Так, в одном из его черновиков, написанном в период между 1815 и 1830 годами, Гаусс предложил разбиение кос на элементарные составляющие и наметил определение нетривиального инварианта кос, вдохновлённого недавно введёнными им гауссовыми целыми числами[1].
На значимость кос также обратил внимание Адольф Гурвиц в своей работе 1891 года[2], посвященной Шаблон:Нп5 поверхностей и явлению монодромии. Он изучал поведение нулей многочлена одной комплексной переменной при непрерывном изменении его коэффициентов. Иными словами, Гурвиц неявно рассматривал косы в терминах конфигурационных пространств.
Следующее проявление математики кос произошло в теории узлов. В 1897 году на первом Международном математическом конгрессе в Цюрихе Генрих Карл Брунн представил доказательство того, что произвольный узел может быть приведён к виду замкнутой косы[3]Шаблон:Sfn. В литературе данное утверждение известно как Шаблон:Нп5, в честь Джеймса Уэдделла Александера, доказавшего его в 1923 году[4] и, по-видимому, не знавшего о работе Брунна.
В явном виде косы были введены Эмилем Артином. В своей работе 1925 года[5], возникшей в результате сотрудничества с Отто Шрайером[6], он рассмотрел их с наглядной, геометрической точки зрения и обратил внимание на то, что косы с <math>n</math> нитями образуют группу, которую он назвал группой кос и обозначил символом <math>B_n</math>. Артин задал её образующими и соотношениями, которые по своей природе схожи с движениями Рейдемейстера, но ненадолго опережают их появление в литературе. Также он предложил решение Шаблон:Нп5 для группы кос, которое основано на её представлении в группу автоморфизмов свободной группы, а точнее, естественном действии групп кос на фундаментальной группе проколотого диска, и тем самым положил начало алгоритмическому направлению в теории кос. В 1947 году он опубликовал в Annals of Mathematics статью с полными доказательствами[7], в которой с помощью более действенных методов исследовал косы тщательнее, алгебраически. В ней он отозвался о своей первой работе следующим образом:
| « |
Текст цитаты | » |
| — Анонимус | ||
Вслед за Артином продолжил развивать алгебраическую линию в теории кос Шаблон:Нп5, ученик Курта Рейдемейстера. В 1933 году он глубже исследовал намеченную Артином связь между косами и перестановками и, пользуясь так называемым переписывающим процессом Рейдемейстера — Шрайера, задал подгруппу крашеных кос группы кос образующими и соотношениями[8]. А в 1935 году он представил довольно неожиданную связь между группами кос и многочленом Александера — полиномиальным инвариантом узлов[9]. А именно, Бурау показал, что матрица Александера узла, представленного в виде замкнутой косы с <math>n</math> нитями, может быть вычислена в терминах образа этой косы относительно линейного представления группы <math>B_n</math>, ныне носящего его имя. Как сообщает Джоан Бирман, сам Бурау узнал об этом представлении либо от Рейдемейстера, либо от АртинаШаблон:Sfn. В связи с этим стоит отметить, что с точки зрения Шаблон:Нп5 данное линейное представление естественным образом получается из представления Артина кос автоморфизмами свободной группы.
Основные понятия
Шаблон:Основная статья Основными понятиями теории кос являются понятия косы и группы кос. Её терминология близка к терминологии теории узлов.
Коса
Центральным в теории кос является понятие косы. Классический подход к его определению состоит из двух шагов. Сначала вводятся определённые наборы кривых в трёхмерном пространстве, которые называются геометрическими косами. Затем на множестве всех геометрических кос вводится определённое отношение эквивалентности, которое называется изотопией и отвечает возможности преобразовать одну геометрическую косу в другую определёнными физическими манипуляциями нитей. По определению принимается, что эквивалентные геометрические косы представляют один и тот же математический объект — косу. Иными словами, косой называется класс эквивалентности относительно такого отношения.
Некоторые авторы злоупотребляют обозначениями и опускают прилагательное «геометрические», называя косами как классы эквивалентности, так и их представителейШаблон:Sfn.
| ||
Геометрическая коса
Кратко охарактеризовать геометрическую косу из <math>n</math> нитей можно следующим образом.
Пусть в евклидовом пространстве <math>\R^3</math> на двух параллельных плоскостях <math>\R\times \{0\}</math> и <math>\R\times \{1\}</math> отмечены по <math>n</math> точек, расположенных друг напротив друга на двух параллельных прямых <math>\R\times \{0\}\times \{0\}</math> и <math>\R\times \{0\}\times \{1\}</math>.
При рассмотрении геометрических кос обычно ограничиваются либо пространством <math>\R\times [0,1]</math>, ограниченным такими плоскостями, либо его подпространством, представляющем собой прямой круговой цилиндр, ограниченный данными плоскостями и содержащий отмеченные точки во внутренности его оснований. Данные подходы к определению эквивалентныШаблон:Sfn.
Геометрической косой из <math>n</math> нитей называется такое подмножество этого цилиндрического тела, состоящее из <math>n</math> кривых, не пересекающих боковую поверхность цилиндра, что:
- концы этих кривых расположены в отмеченных точках;
- каждая плоскость, параллельная основаниям цилиндра и находящаяся между ними, пересекает геометрическую косу по ровно <math>n</math> точкам.
Последнее условие означает то, что нити геометрической косы идут монотонно, в длину вдоль оси цилиндра.
В определении геометрической косы некоторые авторы ограничиваются либо полигональными, либо гладкими кривыми и соответствующим образом модифицируют определения остальных основных понятий. Данные подходы приводят к эквивалентным теориямШаблон:SfnШаблон:Sfn.
Изотопность геометрических кос
Изотопия геометрических кос представляет собой определённое непрерывное шевеление нитей и может быть определена по-разному. В простейшем случае предполагается, что при таких манипуляциях должны сохраняться два указанных выше определяющих свойства геометрических кос. Для этого необходимо, чтобы концы нитей были неподвижны, а сами нити оставались монотонными и не проходили друг сквозь друга. Так, допустимыми движениями являются покачивания нитей, но не их задирания или попытки заузливания.
Точнее, изотопность геометрических кос обычно определяется с помощью понятия объемлющей изотопии. Данное понятие означает непрерывное шевеление сразу всех точек цилиндра. При таком шевелении точки не могут наезжать друг на друга, но могут переставляться и перемешиваться.
Изотопией геометрических кос называется такая объемлющая изотопия цилиндра, что:
- его точки не выходят за пределы содержащих их плоскостей, параллельных основаниям цилиндра;
- точки на поверхности цилиндра неподвижны.
При изотопии геометрических кос сохраняется не только количество нитей, но и изменение порядка их кончиков при движении от одного основания цилиндра к другому.
Геометрические косы называются изотопными, если одна может быть получена из другой изотопией.
Данное определение изотопии геометрических кос можно ослабить, исключив первое условие о невыходе точек за пределы плоскостей. Данный подход приводит к тому же самому понятию косы, т. е. классы эквивалентности геометрических кос не изменятся. Его также можно определённым образом ослабить, исключив из рассмотрения прочие точки цилиндра, не лежащие на нитяхШаблон:Sfn.
В литературе те авторы, которые ограничиваются полигональными или гладкими геометрическими косами, соответствующим образом модифицируют определение изотопии. Так, в случае полигональных кос рассматривают элементарную изотопиюШаблон:Sfn, а в случае гладких — гладкую.
Умножение кос
На множестве <math>B_n</math> всех кос из <math>n</math> нитей определена бинарная операция, которая превращает его в группу. Грубо говоря, произведением двух кос с одинаковым числом нитей называется коса, полученная путём соединения правых концов нитей первой косы с левыми концами нитей второй косы и сжатием полученного объекта в два раза.
Точнее, произведением геометрических кос <math>A, B \subset \R^2\times [0,1]</math> из <math>n</math> нитей называется геометрическая коса из <math>n</math> нитей, состоящая из таких точек <math>(p,t)</math>, что <math>(p,2t) \in A</math>, если <math>t \in [0,1/2]</math>, и <math>(p,2t-1) \in B</math>, если <math>t \in [1/2,1]</math>. Произведением кос <math>\alpha</math> и <math>\beta</math> называется коса, заданная произведением любых их геометрических представителей. Она обычно обозначается символами <math>\alpha\ast\beta</math> или просто <math>\alpha\beta</math>.
Данная операция умножения удовлетворяет всем определяющим свойствам группы. Полученная группа <math>(B_n,\ast)</math> называется группой кос.
Основные результаты теории
Теорема Артина о задании группы кос
Шаблон:Основная статья Основополагающим результатом теории кос является теорема Артина, которая посредством образующих Артина сводит геометрическое изучение кос к их алгебраическому изучению.
Согласно этой теореме, группа кос порождается образующими Артина, то есть любая коса может быть задана их произведением — артиновским словом, причем имеется конечный список типов преобразований, позволяющих получить из одного артиновского слова, представляющего данную косу, любое другое.
С точки зрения комбинаторной теории групп теорема Артина предоставляет задание группы кос образующими и соотношениями.
Важность теоремы Артина объясняется тем, что с её помощью классифицируются косы с малым числом нитей и определяются практически все инварианты кос. Например, из неё следует корректность определения коэффициентов зацепления нитей косы.
Алгоритмические проблемы
Первостепенными в теории кос являются алгоритмические вопросы, связанные с распознаванием различных свойств геометрических кос.
Проблема тождества
Основной алгоритмической задачей, связанной с косами, является их распознавание. Так, проблемой эквивалентности геометрических кос называется задача разрешимости, заключающаяся в определении того, являются ли изотопными две заданные геометрические косыШаблон:Sfn.
Две геометрические косы <math>\alpha</math> и <math>\beta</math> изотопны тогда и только тогда, когда они состоят из одного и того же числа нитей, и геометрическая коса <math>\alpha\beta^{-1}</math> изотопна тривиальной. Таким образом, проблема эквивалентности геометрических кос равносильна задаче определения того, изотопна ли данная геометрическая коса тривиальной.
Ввиду теоремы Артина, проблема эквивалентности геометрических кос равносильна проблеме тождества для групп кос.
Данная алгоритмическая проблема разрешима и известно несколько существенно различных алгоритмов распознавания кос. Их можно, в основном, разделить на алгебраические и топологические (геометрические). Первые основаны на поиске той или иной нормальной формы, представляющие заданный элемент группы кос, вторые — на определении действия элемента группы на топологических объектахШаблон:Sfn.
См. также
- Группа кос
- Глоссарий теории кос
- Теория узлов
- Шаблон:Iw — раздел динамики, использующий теорию кос.
Примечания
Литература
Вводная литература
Учебники
Ссылки
Шаблон:Топология Шаблон:Теория узлов
