Брунново зацепление

В теории узлов брунново зацепление — это нетривиальное зацепление, которое распадается при удалении любой компоненты. Другими словами, разрезание любого (топологического) кольца расцепляет все остальные кольца (стало быть, никакие два из колец не сцеплены, как в зацеплении Хопфа).

Название брунново дано в честь Германа Брунна, который в статье 1892 года Über Verkettung привёл примеры таких зацеплений.

Наиболее известным и самым простым брунновым зацеплением являются кольца Борромео, зацепление трёх колец. Однако для любого числа, начиная с трёх, существует бесконечное число брунновых зацеплений, содержащее такое число колец. Существует несколько относительно простых зацеплений из трёх компонент, которые не эквивалентны кольцам Борромео:

• 
  Зацепление с 12 пересечениями.
• 
  Зацепление с 18 пересечениями.
• 
  Зацепление с 24 пересечениями.

Простейшее брунново зацепление, отличное от колец Борромео (имеющих 6 пересечений), по-видимому, зацепление L10a140^[англ.] с 10 пересечениями^[1].

Пример n-компонентного бруннова зацепления — это брунново зацепление «резиновых колец», где каждая компонента оборачивает предыдущую по схеме aba⁻¹b⁻¹ и последнее кольцо зацепляется за первое, образуя цикл.

Брунновы зацепления описаны с точностью до гомотопии Джоном Милнором в статье 1954 года ^[2], и инварианты, введённые им, теперь называются инвариантами Милнора

(n + 1)-компонентное зацепление можно понимать как элемент группы зацепления^[англ.] n незацеплённых компонент (группа зацепления в этом случае является фундаментальной группой дополнения зацепления^[англ.]). Группа зацепления n незацеплённых компонент является свободным произведением n образующих, то есть свободной группой F_n.

Не любой элемент группы F_n порождает брунново зацепление. Милнор показал, что группа элементов, соответствующих брунновым зацеплениям, связана с градуированной алгеброй Ли^[англ.] нижнего центрального ряда свободной группы, и её можно понимать как «соотношения» в свободной алгебре Ли^[англ.].

Брунновы зацепления можно понимать с помощью произведений Масси^[англ.]: произведение Масси — это n-членное произведение, которое определено только если все (n − 1)-членные произведения обращаются в нуль. Это соответствует свойству бруннова зацепления, в котором все наборы из (n − 1) компонент не сцеплены, но все n компонент вместе образуют нетривиальное зацепление.

Бруннова коса — это коса, которая становится тривиальной при удалении любой из её нитей. Брунновы косы образуют подгруппу в группе кос. Брунновы косы на сфере, не являющиеся брунновыми на (плоском) круге, дают нетривиальные элементы в группах гомотопий сферы. Например, «стандартная» коса, соответствующая кольцам Борромео, даёт расслоение Хопфа S³ → S², и продолжение такого плетения также даёт бруннову косу.

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

Брунновы цепочки используются для создания декоративных украшений из резиновых колец с помощью устройств типа Wonder Loom^[англ.] (или её варианта Rainbow Loom).

• A. J. Berrick, Frederick R. Cohen, Yan Loi Wong, Jie Wu. Configurations, braids, and homotopy groups // Journal of the American Mathematical Society. — 2006. — Т. 19, вып. 2. — С. 265–326. — doi:10.1090/S0894-0347-05-00507-2..
• Hermann Brunn, «Über Verkettung», J. Münch. Ber, XXII. 77-99 (1892). JFM 24.0507.01  (нем.)
• John Milnor. Link Groups // Annals of Mathematics. — Annals of Mathematics, 1954. — Т. 59, вып. 2 (March). — С. 177–195. — doi:10.2307/1969685. — JSTOR 1969685.
• Dale Rolfsen (1976). Knots and Links. Berkeley: Publish or Perish, Inc. ISBN 0-914098-16-0.

• «Are Borromean Links so Rare?», by Slavik Jablan (Можно также обратиться к оригиналу в журнале Forma здесь).
• Brunnian_link Knot Atlas