Jump to content

Группа кос

(Перенаправлено из групп Braid )

Обычная коса из пяти прядей. Каждая стрелка составляет еще два элемента .

В математике группа кос из n нитей (обозначается ), также известный как группа кос Артина , [1] — это группа, элементы которой являются классами эквивалентности n -кос (например, при объемлющей изотопии ), а групповая операция — композиция кос (см. § Введение ). Примеры применения групп кос включают теорию узлов , где любой узел может быть представлен как замыкание определенных кос (результат, известный как теорема Александера ); в математической физике , где каноническое представление Артина группы кос соответствует уравнению Янга – Бакстера (см. § Основные свойства ); и в монодромии инвариантах алгебраической геометрии . [2]

Введение

[ редактировать ]

В этом введении пусть n = 4 ; обобщение на другие значения n будет простым. Рассмотрим два набора по четыре предмета, лежащие на столе, при этом предметы в каждом наборе расположены по вертикальной линии и так, что один набор расположен рядом с другим. (На иллюстрациях ниже это черные точки.) С помощью четырех нитей каждый предмет первого набора соединяется с предметом второго набора так, что получается взаимно однозначное соответствие. Такое соединение называется косой . Часто одни пряди придется пропускать над другими или под другими, и это крайне важно: следующие два соединения представляют собой разные косички:

Коса сигма 1−1 отличается от  Коса сигма 1

С другой стороны, два таких соединения, которым можно придать одинаковый вид, «вытягивая пряди», считаются одной и той же косой:

Коса сигма 1−1 то же самое, что  Другое представление сигмы 1−1

Все пряди необходимо двигаться слева направо; такие узлы не считаются косами:

Не коса это не коса

Любые две косы можно составить , нарисовав первую рядом со второй, определив четыре элемента посередине и соединив соответствующие пряди:

составленный с  урожайность 

Другой пример:

составленный с  урожайность 

Композиция кос σ и τ записывается как στ .

Совокупность всех кос из четырех прядей обозначается через . Приведенная выше композиция кос действительно является групповой операцией. Элементом идентичности является коса, состоящая из четырех параллельных горизонтальных прядей, а обратная сторона косы состоит из той косы, которая «отменяет» все, что делала первая коса, что получается путем переворачивания диаграммы, такой как приведенная выше, через вертикальную линию, идущую через его центр. (Первые два примера кос, приведенных выше, являются обратными друг другу.)

Приложения

[ редактировать ]

Теория кос недавно была применена к механике жидкости , особенно к области хаотического перемешивания в потоках жидкости. Переплетение (2 + 1)-мерных пространственно-временных траекторий, образованных движением физических стержней, периодических орбит или «призрачных стержней» и почти инвариантных множеств, использовалось для оценки топологической энтропии нескольких искусственных и встречающихся в природе жидких систем. , с использованием классификации Нильсена-Терстона . [3] [4] [5]

Другая область интенсивных исследований, связанных с группами кос и связанными с ними топологическими концепциями в контексте квантовой физики, - это теория и (предполагаемая) экспериментальная реализация предложенных частиц- анионов . Они вполне могут в конечном итоге стать основой для квантовых вычислений с коррекцией ошибок , и поэтому их абстрактное исследование в настоящее время имеет фундаментальное значение в квантовой информации .

Формальное обращение

[ редактировать ]

Чтобы поставить вышеизложенное неформальное обсуждение групп кос на прочную почву, необходимо использовать гомотопическую концепцию алгебраической топологии , определяя группы кос как фундаментальные группы конфигурационного пространства . Альтернативно, можно определить группу кос чисто алгебраически через отношения кос, держа в уме изображения только для руководства интуицией.

Чтобы объяснить, как свести группу кос в смысле Артина к фундаментальной группе, рассмотрим связное многообразие размерности не менее 2. Симметричное произведение копии означает частное , -кратное декартово произведение перестановочным действием симметрической группы на нити, действующие на индексы координат. То есть упорядоченный -tuple находится на той же орбите , что и любая другая его переупорядоченная версия.

Путь в -кратно симметричное произведение — это абстрактный способ обсуждения точки , рассматриваемый как неупорядоченный -кортеж, независимо отслеживающий струны. Поскольку мы должны требовать, чтобы струны никогда не проходили друг через друга, необходимо перейти в подпространство симметричного произведения орбит -кортежи различных точек. То есть мы удаляем все подпространства определяется условиями для всех . Это инвариант относительно симметричной группы, и является фактором по симметричной группе неисключенного -кортежи. В условиях размерности будет подключен.

Тогда, используя это определение, мы можем назвать группу кос с струны фундаментальная группа (при любом выборе базовой точки – это определено с точностью до изоморфизма). Случай, когда Евклидова плоскость является исходной плоскостью Артина. В некоторых случаях можно показать, что высшие гомотопические группы тривиальны.

Закрытые косы

[ редактировать ]

Когда X — плоскость, коса может быть замкнутой , т. е. соответствующие концы могут быть соединены попарно, образуя звено , т. е. возможно переплетенный союз возможно завязанных петель в трех измерениях. Число компонентов связи может быть любым от 1 до n , в зависимости от перестановки нитей, определяемой ссылкой. Теорема Дж. В. Александера показывает, что каждое звено можно получить таким способом как «замыкание» косы. Сравните со строковыми ссылками .

Разные косы могут порождать одно и то же звено, так же как разные схемы пересечений могут порождать один и тот же узел . В 1935 году Андрей Марков-младший описал два хода на диаграммах кос, которые приводят к эквивалентности в соответствующих замкнутых косах. [6] Одноходовая версия теоремы Маркова была опубликована в 1997 году. [7]

Воан Джонс первоначально определил свой многочлен как инвариант косы, а затем показал, что он зависит только от класса замкнутой косы.

Теорема Маркова дает необходимые и достаточные условия, при которых замыкания двух кос являются эквивалентными связями. [8]

Индекс оплетки

[ редактировать ]

«Индекс косы» — это наименьшее количество строк, необходимое для создания замкнутого представления ссылки в косе. Он равен наименьшему числу окружностей Зейферта в любой проекции узла. [9]

Группы кос были явно введены Эмилем Артином в 1925 году, хотя (как Вильгельм Магнус в 1974 году отметил [10] ) они уже подразумевались в Адольфа Гурвица работе о монодромии 1891 года.

Группы кос можно описать явными представлениями , как это показал Эмиль Артин в 1947 году. [11] Группы кос понимаются и в более глубокой математической интерпретации: как фундаментальная группа определенных конфигурационных пространств . [11]

Как говорит Магнус, Гурвиц дал интерпретацию группы кос как фундаментальной группы конфигурационного пространства (ср. теорию кос ), интерпретацию, которая была потеряна из поля зрения, пока она не была заново открыта Ральфом Фоксом и Ли Нойвиртом в 1962 году. [12]

Основные свойства

[ редактировать ]

Генераторы и отношения

[ редактировать ]

Рассмотрим следующие три косы:

                  

Каждая коса в можно записать как композицию нескольких таких кос и их обратных. Другими словами, эти три косы порождают группу . Чтобы убедиться в этом, произвольную косу сканируют слева направо на предмет пересечений; начиная сверху, при каждом перекрещивании прядей и встречается, или записывается в зависимости от того, является ли прядь перемещается под или над прядью . Достигнув правого конца, коса записалась как произведение и их обратные.

Ясно, что

(я) ,

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

(ииа) ,
(ИИБ)

(лучше всего эти отношения можно оценить, нарисовав косу на листе бумаги). Можно показать, что все остальные отношения между косами , и уже следуют из этих соотношений и аксиом группы.

Обобщив этот пример на пряди, группа можно абстрактно определить с помощью следующего представления :

где в первой группе отношений а во второй группе отношений . Это представление приводит к обобщению групп кос, называемых группами Артина . Кубические отношения, известные как отношения кос , играют важную роль в теории уравнений Янга – Бакстера .

Дополнительные свойства

[ редактировать ]
  • Группа кос тривиально , это бесконечная циклическая группа , и изоморфна группе узлов трилистника в частности, это бесконечная неабелева группа .
  • Группа n -прядных кос встраивается как подгруппа в группа кос из двух прядей добавив дополнительную нить, которая не пересекает ни одну из первых n нитей. Возрастающее объединение групп кос со всеми это бесконечная группа кос .
  • Все неидентичные элементы иметь бесконечный порядок ; то есть, не имеет скручивания .
  • Существует левоинвариантный линейный порядок на назывался орденом Дехорного .
  • Для , содержит подгруппу, изоморфную свободной группе с двумя образующими.
  • Существует гомоморфизм определяется σ i ↦ 1 . Так, например, коса σ 2 σ 3 σ 1 −1 σ 2 σ 3 отображается в 1 + 1 − 1 + 1 + 1 = 3 . Это отображение соответствует абелианизации группы кос. Поскольку σ i к ↦ k , то σ i к является тождественным тогда и только тогда, когда . Это доказывает, что генераторы имеют бесконечный порядок.

Взаимодействия

[ редактировать ]

Связь с симметрической группой и группой чистых кос

[ редактировать ]

Забывая, как пряди скручиваются и перекрещиваются, каждая коса из n прядей определяет перестановку из n элементов. Это присвоение совместимо с композицией и, следовательно, становится группы Bn из Sn сюръективной гомоморфизмом группы кос на симметрическую группу . Образ косы σi Bn это транспозиция si + = ( i , i Sn . 1 ) Эти транспозиции порождают симметрическую группу, удовлетворяют отношениям группы кос и имеют порядок 2. Это преобразует представление Артина группы кос в представление Коксетера симметричной группы:

Ядро на гомоморфизма Bn и Sn , — это подгруппа Bn группой называемая кос n нитях обозначаемая Pn . чистых Это можно рассматривать как фундаментальную группу пространства из n наборов различных точек евклидовой плоскости. В чистой косе начало и конец каждой пряди находятся в одинаковом положении. Чистые группы кос укладываются в короткую точную последовательность.

Эта последовательность расщепляется, и поэтому чистые группы кос реализуются как итерированные полупрямые произведения свободных групп.

Связь между B 3 и модульной группой

[ редактировать ]
является универсальным центральным расширением модульной группы.

Группа кос является универсальным центральным расширением модульной группы , причем они располагаются как решетки внутри (топологической) универсальной покрывающей группы

.

модулярная группа изоморфна факторгруппе Более того, модулярная группа имеет тривиальный центр, и, следовательно , по модулю его центра , и, что эквивалентно, группе внутренних автоморфизмов .

Вот конструкция этого изоморфизма . Определять

.

Из соотношений кос следует, что . Обозначая этот последний продукт как , из соотношений кос можно убедиться, что

подразумевая, что находится в центре . Позволять обозначим подгруппу порожденная c и , поскольку C Z ( B3 можно ) это нормальная подгруппа взять факторгруппу B3 / , C . Мы утверждаем, что B 3 / C ≅ PSL(2, Z ) ; этому изоморфизму можно придать явный вид. Классы C σ 1 C и σ 2 отображаются в

где L и R — стандартные ходы влево и вправо на дереве Штерна–Броко ; хорошо известно, что эти ходы порождают модульную группу.

Альтернативно, одним из распространенных представлений модульной группы является

где

Отображение a в v и b в p дает гомоморфизм сюръективной группы B 3 → PSL(2, Z ) .

Центр B 3 равен C , что является следствием того факта, что c находится в центре, модулярная группа имеет тривиальный центр и указанный выше сюръективный гомоморфизм имеет ядро ​​C .

Связь с группой классов отображения и классификацией кос.

[ редактировать ]

группа кос B n Можно показать, что изоморфна группе классов отображений с проколотого диска n проколами . Это легче всего визуализировать, представляя каждый прокол соединенным веревкой с границей диска; тогда каждый гомоморфизм отображения, который переставляет местами два прокола, можно рассматривать как гомотопию струн, то есть сплетение этих струн.

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

Связь с теорией узлов

[ редактировать ]

Если дана коса и соединить первый левый элемент с первым правым элементом с помощью новой нити, второй левый элемент со вторым правым элементом и т. д. (без создания кос в новых нитях ), получается звено , а иногда и узел . Теорема Александера в теории кос утверждает, что верно и обратное: каждый узел и каждое звено возникают таким образом по крайней мере из одной косы; такую ​​косу можно получить, разрезав звено. Поскольку косы могут быть конкретно заданы в виде слов в генераторах σi , это часто является предпочтительным методом ввода узлов в компьютерные программы.

Вычислительные аспекты

[ редактировать ]

Проблема слов для отношений кос эффективно разрешима и существует нормальная форма для элементов B n в терминах образующих σ 1 , ..., σ n −1 . (По сути, вычисление нормальной формы косы — это алгебраический аналог «выдергивания нитей», как показано в нашем втором наборе изображений выше.) Система компьютерной алгебры Free GAP может выполнять вычисления в B n, если элементы заданы с точки зрения этих генераторов. Существует также пакет CHEVIE для GAP3 со специальной поддержкой групп кос. Проблема слов также эффективно решается с помощью представления Лоуренса-Краммера .

Помимо проблемы слов, существует несколько известных сложных вычислительных задач, которые могут реализовать группы кос, и приложения в криптографии . были предложены [13]

Действия

[ редактировать ]

По аналогии с действием симметричной группы перестановками, в различных математических постановках существует естественное действие группы кос на n -наборы объектов или на n -свернутое тензорное произведение , которое включает в себя некоторые «повороты». Рассмотрим произвольную группу G и пусть X — множество всех n -наборов элементов группы G, которых является единичным элементом группы G. произведение Тогда Bn : действует на X следующим образом

Таким образом, элементы x i и x i +1 меняются местами и, кроме того, x i скручивается внутренним автоморфизмом, соответствующим x i +1 – это гарантирует, что произведение компонентов x остается единичным элементом. Можно проверить, что соотношения группы кос выполняются и эта формула действительно определяет Bn групповое на X. действие Другой пример: косая моноидальная категория — это моноидальная категория с действием группы кос. Такие структуры играют важную роль в современной математической физике и приводят к инвариантам квантовых узлов .

Представительства

[ редактировать ]

Элементы группы кос Bn более конкретно могут быть представлены матрицами. Одним из классических таких представлений является представление Бурау , где элементы матрицы представляют собой полиномы Лорана с одной переменной . Давно стоял вопрос о том, является ли представление Бурау точным , но ответ оказался отрицательным для n ≥ 5 . В более общем смысле, это была серьезная открытая проблема, являются ли группы кос линейными . В 1990 году Рут Лоуренс описала семейство более общих «представлений Лоуренса», зависящих от нескольких параметров. В 1996 году Четан Наяк и Фрэнк Вильчек предположили, что по аналогии с проективными представлениями SO(3) проективные представления группы кос имеют физический смысл для некоторых квазичастиц в дробном квантовом эффекте Холла . [14] Примерно в 2001 году Стивен Бигелоу и Даан Краммер независимо друг от друга доказали, что все группы кос линейны. В их работе использовалось Лоуренса-Краммера. представление измерения в зависимости от переменных q и t . Путем соответствующей специализации этих переменных группа кос может быть реализована как подгруппа общей линейной группы над комплексными числами .

Бесконечно генерируемые группы кос

[ редактировать ]

Есть много способов обобщить это понятие на бесконечное число нитей. Самый простой способ — взять прямой предел групп кос, где прикрепляющие отображения отправить генераторы до первого генераторы (т.е. путем присоединения тривиальной нити). Однако эта группа не допускает метризуемой топологии, оставаясь при этом непрерывной.

Поль Фабель показал, что существует две топологии , которые можно наложить на результирующую группу, каждая из которых дает другую группу. [15] Первая — очень ручная группа, изоморфная группе классов отображений бесконечно проколотого диска — дискретному набору проколов, ограничивающемуся границей диска .

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

Когомологии

[ редактировать ]

Когомологии группы определяется как когомологии соответствующего Эйленберга – Маклейна классифицирующего пространства , , который представляет собой комплекс CW, однозначно определяемый вплоть до гомотопии. Классифицирующее пространство для группы кос это н й неупорядоченное конфигурационное пространство , то есть набор отдельные неупорядоченные точки на плоскости: [16]

.

Итак, по определению

Расчеты коэффициентов в можно найти у Фукса (1970). [17]

Аналогично, классифицирующее пространство для группы чистых кос является , затем й упорядоченное конфигурационное пространство . В 1968 году Владимир Арнольд показал, что целые когомологии группы чистых кос является фактором внешней алгебры, порожденной совокупностью классов первой степени. , с учетом отношений [18]

См. также

[ редактировать ]
  1. ^ Вайсштейн, Эрик. «Группа Брейд» . Вольфрам Математический мир .
  2. ^ Коэн, Дэниел; Сучу, Александр (1997). «Мондромия кос плоских алгебраических кривых и расположение гиперплоскостей». Комментарии по математике Helvetici . 72 (2): 285–315. arXiv : alg-geom/9608001 . дои : 10.1007/s000140050017 . S2CID   14502859 .
  3. ^ Бойленд, Филип Л.; Ареф, Хасан; Стремлер, Марк А. (2000), «Топологическая механика перемешивания жидкости» (PDF) , Journal of Fluid Mechanics , 403 (1): 277–304, Бибкод : 2000JFM...403..277B , doi : 10.1017/S0022112099007107 , MR   1742169 , S2CID   47710742 , заархивировано из оригинала (PDF) 26 июля 2011 г.
  4. ^ Гуйяр, Эммануэль; Тиффо, Жан-Люк; Финн, Мэтью Д. (2006), «Топологическое смешивание с призрачными стержнями», Physical Review E , 73 (3): 036311, arXiv : nlin/0510075 , Bibcode : 2006PhRvE..73c6311G , doi : 10.1103/PhysRevE.73.036311 , MR   2231368 , ПМИД   16605655 , С2КИД   7142834
  5. ^ Стремлер, Марк А.; Росс, Шейн Д.; Гровер, Пиюш; Кумар, Панкадж (2011), «Топологический хаос и периодическое переплетение почти циклических множеств», Physical Review Letters , 106 (11): 114101, Бибкод : 2011PhRvL.106k4101S , doi : 10.1103/PhysRevLett.106.114101 , hdl : 10919/2 4513 , PMID   21469863
  6. ^ Марков, Андрей (1935), «О свободной эквивалентности замкнутых кос» , Recueil Mathématique de la Société Mathématique de Moscou (на немецком и русском языках), 1 : 73–78.
  7. ^ Ламбропулу, София; Рурк, Колин П. (1997), «Теорема Маркова в 3-многообразиях», Топология и ее приложения , 78 (1–2): 95–122, arXiv : math/0405498 , doi : 10.1016/S0166-8641(96) 00151-4 , МР   1465027 , С2КИД   14494095
  8. ^ Бирман, Джоан С. (1974), Косы, связи и отображение групп классов , Анналы математических исследований, том. 82, Принстон, Нью-Джерси: Издательство Принстонского университета , ISBN  978-0-691-08149-6 , МР   0375281
  9. ^ Вайсштейн, Эрик В. (август 2014 г.). «Индекс кос» . MathWorld — веб-ресурс Wolfram . Проверено 6 августа 2014 г.
  10. ^ Магнус, Вильгельм (1974). «Группы кос: опрос» . Материалы второй международной конференции по теории групп . Конспект лекций по математике. Том. 372. Спрингер. стр. 463–487. дои : 10.1007/BFb0065203 . ISBN  978-3-540-06845-7 .
  11. ^ Перейти обратно: а б Артин, Эмиль (1947). «Теория кос». Анналы математики . 48 (1): 101–126. дои : 10.2307/1969218 . JSTOR   1969218 .
  12. ^ Фокс, Ральф ; Нойвирт, Ли (1962). «Группы кос» . Математика Скандинавия . 10 : 119–126. doi : 10.7146/math.scand.a-10518 . МР   0150755 .
  13. ^ Гарбер, Дэвид (2009). «Криптография группы кос». arXiv : 0711.3941v2 [ cs.CR ].
  14. ^ Наяк, Четан; Вильчек, Франк (1996), « 2 и квазидырочные состояния реализуют 2 п -1 -Статистика многомерного спинорного переплетения в парных состояниях квантового зала», Nuclear Physics B , 479 (3): 529–553, arXiv : cond-mat/9605145 , Bibcode : 1996NuPhB.479..529N , doi : 10.1016/0550-3213( 96)00430-0 , S2CID   18726223 Некоторые предложения Вильчека-Наяка слегка нарушают известную физику, см. обсуждение; Рид, Н. (2003), «Статистика неабелевых кос против проективной статистики перестановок», Журнал математической физики , 44 (2): 558–563, arXiv : hep-th/0201240 , Bibcode : 2003JMP....44.. 558R , doi : 10.1063/1.1530369 , S2CID   119388336
  15. ^
  16. ^ Грист, Роберт (1 декабря 2009 г.). «Конфигурационные пространства, косы и робототехника». Косы . Серия конспектов лекций, Институт математических наук, Национальный университет Сингапура. Том. 19. Всемирный научный . стр. 263–304. дои : 10.1142/9789814291415_0004 . ISBN  9789814291408 .
  17. ^ Фукс, Дмитрий Борисович (1970). «Когомологии группы кос mod 2». Функциональный анализ и его приложения . 4 (2): 143–151. дои : 10.1007/BF01094491 . МР   0274463 . S2CID   123442457 .
  18. ^ Арнольд, Владимир (1969). «Кольцо когомологий группы цветных кос» (PDF) . Мат. Заметки . 5 : 227–231. МР   0242196 .

Дальнейшее чтение

[ редактировать ]
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 3b36258f1b7e564ca9e4936c6c2d3e1f__1720081140
URL1:https://arc.ask3.ru/arc/aa/3b/1f/3b36258f1b7e564ca9e4936c6c2d3e1f.html
Заголовок, (Title) документа по адресу, URL1:
Braid group - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)