nLab braid group

Contents

Contents

Idea

The braid group Br(n)Br(n) is the group whose elements are isotopy classes of nn 1-dimensional braids running vertically in 3-dimensional Cartesian space, the group operation being their concatenation.

Here a braid with nn strands is thought of as nn pieces of string joining nn points at the top of the diagram with nn-points at the bottom.

image/svg+xml

(This is a picture of a 3-strand braid.)

We can transform / ‘isotope’ these braid diagrams just as we can transform knot diagrams, again using Reidemeister moves. The ‘isotopy’ classes of braid diagrams form a group in which the composition is obtained by putting one diagram above another.

image/svg+xml

The identity consists of nn vertical strings, so the inverse is obtained by turning a diagram upside down:

image/svg+xml

This is the inverse of the first 3-braid we saw.

There are useful group presentations of the braid groups. We will return later to the interpretation of the generators and relations in terms of diagrams.


Definitions and characterizations

As fundamental group of a configuration space of points

Geometrically, one may understand the group of braids in 3\mathbb{R}^3 as the fundamental group of the configuration space of points in the plane 2\mathbb{R}^2 (traditionally regarded as the complex plane \mathbb{C} in this context, though the complex structure plays no role in the definition of the braid group as such).

(originally due to Hurwitz 1891, §II, then re-discovered/re-vived in Fadell & Neuwirth 1962, p. 118, Fox & Neuwirth 1962, §7, review includes Birman 1975, §1, Williams 2020, pp. 9)


In the plane

We say this in more detail:

Let C n nC_n \hookrightarrow \mathbb{C}^n denote the space of configurations of n ordered points in the complex plane, whose elements are those n-tuples (z 1,,z n)(z_1, \ldots, z_n) such that z iz jz_i \neq z_j whenever iji \neq j. In other words, C nC_n is the complement of the fat diagonal:

C n nΔ n. C_n \;\coloneqq\; \mathbb{C}^n \setminus \mathbf{\Delta}^n_{\mathbb{C}} \,.

The symmetric group S nS_n acts on C nC_n by permuting coordinates. Let:

  • C n/S nC_n/S_n denote the quotient by this group action, hence the orbit space (the space of nn-element subsets of \mathbb{C} if one likes),

  • [z 1,,z n][z_1, \ldots, z_n] denote the image of (z 1,,z n)(z_1, \ldots, z_n) under the quotient coprojection π:C nC n/S n\pi \colon C_n \to C_n/S_n (i.e. its the equivalence class).

We understand p=(1,2,,n)p = (1, 2, \ldots, n) as the basepoint for C nC_n, and [p]=[1,2,n][p] = [1, 2, \ldots n] as the basepoint for the configuration space of unordered points C n/S nC_n/S_n, making it a pointed topological space.

Definition

The braid group is the fundamental group of the configuration space of n unordered points:

Br(n)π 1(C n/S n,[p]) Br(n) \;\coloneqq\; \pi_1 \big( C_n/S_n, [p] \big)

The pure braid group is the fundamental group of the configuration space of n ordered points:

PBr(n)π 1(C n,p). PBr(n) \;\coloneqq\; \pi_1 \big( C_n, p \big) \,.

Evidently a braid β\beta is represented by a path α:IC n/S n\alpha: I \to C_n/S_n with α(0)=[p]=α(1)\alpha(0) = [p] = \alpha(1). Such a path may be uniquely lifted through the covering projection π:C nC n/S n\pi: C_n \to C_n/S_n to a path α˜\tilde{\alpha} such that α˜(0)=p\tilde{\alpha}(0) = p. The end of the path α˜(1)\tilde{\alpha}(1) has the same underlying subset as pp but with coordinates permuted: α˜(1)=(σ(1),σ(2),,σ(n))\tilde{\alpha}(1) = (\sigma(1), \sigma(2), \ldots, \sigma(n)). Thus the braid β\beta is exhibited by nn non-intersecting strands, each one connecting an ii to σ(i)\sigma(i), and we have a map βσ\beta \mapsto \sigma appearing as the quotient map of an exact sequence

1PBr(n)Br(n)Sym(n)11 \to PBr(n) \to Br(n) \to Sym(n) \to 1

which is part of a long exact homotopy sequence corresponding to the fibration π:C nC n/S n\pi \colon C_n \to C_n/S_n.


In general surfaces or graphs

Since the notion of a configuration space of points makes sense for points in any topological space, not necessarily the plane 2\mathbb{R}^2, the above geometric definition has an immediate generalization:

For Σ\Sigma any surface, the fundamental group of the (ordered) configuration space of points in Σ\Sigma may be regarded as generalized (pure) braid group. These surface braid groups are of interest in 3d topological field theory and in particular in topological quantum computation where it models non-abelian anyons.

Yet more generally, one may consider the fundamental group of the configuration space of points of any topological space XX.

For example for XX a 1-dimensional CW-complex, hence an (undirected) graph, one speaks of graph braid groups (e.g. Farley & Sabalka 2009).

The following should maybe not be here in the Definition-section, but in some Properties- or Examples-section, or maybe in a dedicated entry on graph braid groups?:

It has been shown (An & Maciazek 2006, using discrete Morse theory and combinatorial analysis of small graphs) that graph braid groups are generated by particular particle moves with the following description:

  1. Star-type generators: exchanges of particle pairs on vertices of the particular graph

  2. loop type generators: circular moves of a single particle around a simple cycle of the graph


By generators and relations

The braid group as a finitely generated group:

Definition

(Artin presentation)

The Artin braid group, Br(n+1)Br({n+1}), on n+1n+1 strands is the finitely generated group given via generators and relations by:

  • generators:

    (1)b ii=1,,n b_i\;\; i = 1, \ldots, n
  • relations:

    (2)i+1<j b ib j = b jb i 1i<n b ib i+1b i = b i+1b ib i+1 \begin{array}{ccccc} \underset{ i+1 \lt j }{\forall} &\;& b_i \cdot b_j &=& b_j \cdot b_i \\ \underset{ 1 \leq i \lt n }{\forall} && b_i \cdot b_{i+1} \cdot b_i &=& b_{i+1} \cdot b_i \cdot b_{i+1} \end{array}

(Artin 1925, (5)-(6); Artin 1947, (18)-(19); review in, e.g.: Fox & Neuwirth 1962, §7)

As mapping class group of punctured disk

The braid group Br(n)Br(n) may be alternatively described as the mapping class group of a 2-disk D 2D^2 with nn punctures.

(review includes Birman 1975, §4, González-Meneses 2011, §1.4)

Concretely, consider

  1. D 2{z 1,,z n}D^2 \setminus \{z_1, \cdots, z_n\}

    denoting the complement of nn distinct points in the closed disk (with boundary the circle);

  2. Homeo (D 2{z 1,,z n})Homeo^{\partial}\big(D^2 \setminus \{z_1, \cdots, z_n\} \big)

    denoting the mapping space of auto-homeomorphisms which restrict to the identity on the boundary circle, regarding with its canonical group structure;

  3. Homeo id (D 2{z 1,,z n})Homeo^{\partial}_id\big(D^2 \setminus \{z_1, \cdots, z_n\} \big)

    denoting the subgroup which is the connected component of the identity.

Then the mapping class group is

MCG(D 2{z 1,,z n})Homeo (D 2{z 1,,z n})/Homeo id (D 2{z 1,,z n}). MCG \big( D^2 \setminus \{z_1, \cdots, z_n\} \big) \;\coloneqq\; Homeo^{\partial}\big(D^2 \setminus \{z_1, \cdots, z_n\} \big) \Big/ Homeo^{\partial}_{id}\big(D^2 \setminus \{z_1, \cdots, z_n\} \big) \,.

Now observe that

  1. for the case that n=0n = 0 this group is trivial, by Alexander's trick.

  2. continuous extension yields an injection

    Homeo (D 2{z 1,,z n})ιHomeo (D 2). Homeo^{\partial}\big(D^2 \setminus \{z_1, \cdots, z_n\} \big) \xhookrightarrow{\phantom{-}\iota\phantom{-}} Homeo^{\partial}\big(D^2\big) \,.

Combining this implies that for every [ϕ]MCG(D 2{z 1,,z n}big)[\phi] \,\in\, MCG\big(D^2 \setminus \{z_1, \cdots, z_n\}big) therese is an isotopy of ι[ϕ]id\iota[\phi] \to id under which the locations of the punctures trace out a braid (in the sense of a loop in the symmetrized configuration space of points). This construction zields a morphism

and this is isomorphic to the braid group

MCG(D 2{z 1,,z n})Br(n). MCG \big( D^2 \setminus \{z_1, \cdots, z_n\} \big) \xrightarrow{\;\;\sim\;\;} Br(n) \,.

which is an isomorphism.

As automorphisms of a free group

Since the fundamental group of D 2{z 1,,z n}D^2 \setminus \{z_1, \cdots, z_n\} is the free group of nn generators, the MCG-presentation of the braid group (above) induces a group homomorphism of the braid group into the automorphism group of a free group, which turns out to be faithful.

This presentation is due to Artin 1925, §6, review includes González-Meneses 2011, §1.6, see also pointer in Bardakov 2005, p. 2.

More in detail, since the homotopy type of this punctured disk is, evidently, that of the the wedge sum of nn circles, it follows that its fundamental group is is the free group F nF_n on nn generators:

π 1(D 2{z 1,,z n})π 1( nS 1)F n. \pi_1 \big( D^2 \setminus \{z_1, \cdots, z_ n\} \big) \;\simeq\; \pi_1 \big( \vee_n S^1 \big) \;\simeq\; F_n \,.

Now the functoriality of π 1:Top */Grp\pi_1 \,\colon\, Top^{\ast/} \longrightarrow Grp implies we have an induced homomorphism

Aut(D 2{z 1,,z n})Aut(π 1(D 2{z 1,,z n}))Aut(F n). Aut \big( D^2 \setminus \{z_1, \cdots, z_n\} \big) \longrightarrow Aut \Big( \pi_1\big( D^2 \setminus \{z_1, \cdots, z_n\} \big) \Big) \,\simeq\, Aut(F_n) \,.

If such an automorphism ϕ\phi of D 2{z 1,,z n}D^2 \setminus \{z_1, \cdots, z_n\} is isotopic to the identity, then of course π 1(ϕ)\pi_1(\phi) is trivial, which means that the above homomorphism factors through the quotient group known as the mapping class group:

MCG(D 2{z 1,,z n})=Aut(D 2{z 1,,z n})/Aut 0(D 2{z 1,,z n}) MCG \big( D^2 \setminus \{z_1, \cdots, z_n\} \big) \,=\, Aut \big( D^2 \setminus \{z_1, \cdots, z_n\} \big)/Aut_0 \big( D^2 \setminus \{z_1, \cdots, z_n\} \big)

Therefore, the above gives a homomorphism of the following form, which turns out to be a monomorphism:

Br(n)=MCG(D 2{z 1,,z n})Aut(F n) Br(n) \,=\, MCG \big( D^2 \setminus \{z_1, \cdots, z_n\} \big) \xhookrightarrow{\phantom{--}} Aut(F_n)
from Artin 1925

Explicitly, the generator yb iyb_i (1) in the Artin presentation(Def. ) is mapped to the automorphism σ i\sigma_i on the free group on nn generators t 1,,t nt_1, \ldots, t_n which is given as follows:

σ i(t j)={t i+1 | j=i t i+1 1t it i+1 | j=i+1 t j | otherwise. \sigma_i(t_j) \,=\, \left\{ \begin{array}{lcl} t_{i+1} & \vert & j = i \\ t_{i+1}^{-1} \cdot t_i \cdot t_{i+1} & \vert & j = i + 1 \\ t_j &\vert& \text{otherwise.} \end{array} \right.

(Artin 1925, (24))

from González-Meneses 2011


Properties

Relation to moduli space of monopoles

Proposition

(moduli space of monopoles is stably weak homotopy equivalent to classifying space of braid group)

For kk \in \mathbb{N} there is a stable weak homotopy equivalence between the moduli space of k monopoles (?) and the classifying space of the braid group Br(2k)Br({2k}) on 2k2 k strands:

Σ kΣ Br(2k) \Sigma^\infty \mathcal{M}_k \;\simeq\; \Sigma^\infty Br({2k})

(Cohen-Cohen-Mann-Milgram 91)

Examples

The first few examples of the braid group Br(n)Br(n) for low values of nn:

Example

The group Br(1)Br(1) has no generators and no relations, so is the trivial group:

Br(1)1. Br(1) \;\simeq\; 1 \,.

Example

The group Br(2)Br(2) has one generator and no relations, so is the infinite cyclic group of integers:

Br(2). Br(2) \;\simeq\; \mathbb{Z} \,.

Example

The group Br(3)Br(3) (we will simplify notation writing u=y 1u = y_1, v=y 2v = y_2) has presentation

Br(3)𝒫(u,v:ruvuv 1u 1v 1). Br(3) \;\simeq\; \mathcal{P} \coloneqq \big( u,v : r \equiv u v u v^{-1} u^{-1} v^{-1} \big).

This is also known as the “trefoil knot group”, i.e., the fundamental group of the complement of a trefoil knot.

Example

The group Br(4)Br(4) (simplifying notation as before) has generators u,v,wu,v,w and relations:

  • r uvwvw 1v 1w 1r_u \equiv v w v w^{-1} v^{-1} w^{-1},

  • r vuwu 1w 1r_v \equiv u w u^{-1} w^{-1},

  • r wuvuv 1u 1v 1r_w \equiv u v u v^{-1} u^{-1} v^{-1}.

Example

The Hurwitz braid group (or sphere braid group) is the surface braid group for Σ\Sigma the 2-sphere S 2S^2. Algebraically, the Hurwitz braid group H n+1H_{n+1} has all of the generators and relations of the Artin braid group Br(n+1)Br({n+1}), plus one additional relation:

y 1y 2y n1y n 2y n1y 2y 1 y_1 y_2 \dots y_{n-1} y_n^2 y_{n-1}\dots y_2 y_1

chord diagramsweight systems
linear chord diagrams,
round chord diagrams
Jacobi diagrams,
Sullivan chord diagrams
Lie algebra weight systems,
stringy weight system,
Rozansky-Witten weight systems


knotsbraids
chord diagram,
Jacobi diagram
horizontal chord diagram
1T&4T relation2T&4T relation/
infinitesimal braid relations
weight systemhorizontal weight system
Vassiliev knot invariantVassiliev braid invariant
weight systems are associated graded of Vassiliev invariantshorizontal weight systems are cohomology of loop space of configuration space

References

General

The braid group regarded as the fundamental group of a configuration space of points is considered (neither of them under these names, though) already in:

there regarded as acting on Riemann surfaces forming branched covers, by movement of the branch points.

The original articles dedicated to analysis of the braid group:

Survey of the early history:

The understanding of the braid group as the fundamental group of a configuration space of points was re-discovered/re-vived (after Hurwitz 1891) in:

Textbook accounts:

Further introduction and review:

  • Joan S. Birman, Anatoly Libgober (eds.) Braids, Contemporary Mathematics 78 (1988) [doi:10.1090/conm/078]

  • Joshua Lieber, Introduction to Braid Groups, 2011 (pdf)

  • Juan González-Meneses, Basic results on braid groups, Annales Mathématiques Blaise Pascal, Tome 18 (2011) no. 1, pp. 15-59 (ambp:AMBP_2011__18_1_15_0)

  • Alexander I. Suciu, He Wang, The pure braid groups and their relatives, Perspectives in Lie theory, 403-426, Springer INdAM series, vol. 19, Springer, Cham, 2017 (arXiv:1602.05291)

  • Dale Rolfsen, New developments in the theory of Artin’s braid groups (pdf)

  • Lucas Williams, Configuration Spaces for the Working Undergraduate, Rose-Hulman Undergraduate Mathematics Journal, 21 1 (2020) Article 8. (arXiv:1911.11186, rhumj:vol21/iss1/8)

Algebraic presentation of braid groups:

More on the braid representation on automorphisms of free groups:

See also:

On the group homology and group cohomology of braid groups:

Relation of automorphism groups of the profinite completion of braid groups to the Grothendieck-Teichmüller group:

For orderings of the braid group see

  • Patrick Dehornoy, Braid groups and left distributive operations , Transactions AMS 345 no.1 (1994) pp.115–150.

  • H. Langmaack, Verbandstheoretische Einbettung von Klassen unwesentlich verschiedener Ableitungen in die Zopfgruppe , Computing 7 no.3-4 (1971) pp.293-310.

On geometric presentations of braid groups:

  • An, Byung Hee and Maciazek, Tomasz, Geometric Presentations of Braid Groups for Particles on a Graph, Communications in Mathematical Physics (2021) volume 384, pp. 1109-1140,(http://dx.doi.org/10.1007/s00220-021-04095-x)

Braid group representations (as topological quantum gates)

On linear representations of braid groups (see also at braid group statistics and interpretation as quantum gates in topological quantum computation):

Review:

in relation to modular tensor categories:

  • Colleen Delaney, Lecture notes on modular tensor categories and braid group representations, 2019 (pdf, pdf)

Braid representations from the monodromy of the Knizhnik-Zamolodchikov connection on bundles of conformal blocks over configuration spaces of points:

and understood in terms of anyon statistics:

Braid representations seen inside the topological K-theory of the braid group‘s classifying space:

See also:

  • R. B. Zhang, Braid group representations arising from quantum supergroups with arbitrary qq and link polynomials, Journal of Mathematical Physics 33, 3918 (1992) (doi:10.1063/1.529840)

As quantum gates for topological quantum computation with anyons:

Introduction and review:

Realization of Fibonacci anyons on quasicrystal-states:

Realization on supersymmetric spin chains:

  • Indrajit Jana, Filippo Montorsi, Pramod Padmanabhan, Diego Trancanelli, Topological Quantum Computation on Supersymmetric Spin Chains [[arXiv:2209.03822]]

Graph braid groups

  • Daniel Farley, Lucas Sabalka, Presentations of Graph Braid Groups (arXiv:0907.2730)

  • Ki Hyoung Ko, Hyo Won Park, Characteristics of graph braid groups (arXiv:1101.2648)

  • Byung Hee An, Tomasz Maciazek, Geometric presentations of braid groups for particles on a graph (arXiv:2006.15256)

Relation to moduli space of monopoles

On moduli spaces of monopoles related to braid groups:

Braid group cryptography

Partly motivated by the possibility of quantum computation eventually breaking the security of cryptography based on abelian groups, such as elliptic curves, there are proposals to use non-abelian braid groups for purposes of cryptography (“post-quantum cryptography”).

An early proposal was to use the Conjugacy Search Problem in braid groups as a computationally hard problem for cryptography. This approach, though, was eventually found not to be viable.

Original articles:

  • Iris Anshel, M. Anshel and D. Goldfeld, An algebraic method for public-keycryptography, Math. Research Letters 6 (1999), 287–291 (pdf)

  • K.H. Ko, S.J. Lee, J.H. Cheon , J.W. Han, J. Kang, C. Park , New Public-Key Cryptosystem Using Braid Groups, In: M. Bellare (ed.) Advances in Cryptology — CRYPTO 2000 Lecture Notes in Computer Science, vol 1880. Springer 2000 (doi:10.1007/3-540-44598-6_10)

Review:

Via E-multiplication

A followup proposal was to use the problem of reversing E-multiplication in braid groups, thought to remedy the previous problems.

Original article:

  • Iris Anshel, Derek Atkins, Dorian Goldfeld and Paul E Gunnells, WalnutDSA(TM): A Quantum-Resistant Digital Signature Algorithm (eprint:2017/058)

Review:

  • Magnus Ringerud, WalnutDSA: Another attempt at braidgroup cryptography, 2019 (pdf)

But other problems were found with this approach, rendering it non-viable.

Original article:

  • Matvei Kotov, Anton Menshov, Alexander Ushakov, An attack on the Walnut digital signature algorithm, Designs, Codes and Cryptography volume 87, pages 2231–2250 (2019) (doi:10.1007/s10623-019-00615-y)

Review:

  • José Ignacio Escribano Pablos, María Isabel González Vasco, Misael Enrique Marriaga and Ángel Luis Pérez del Pozo, The Cracking of WalnutDSA: A Survey, in: Interactions between Group Theory, Symmetry and Cryptology, Symmetry 2019, 11(9), 1072 (doi:10.3390/sym11091072)

Further developments

The basic idea is still felt to be promising:

  • Xiaoming Chen, Weiqing You, Meng Jiao, Kejun Zhang, Shuang Qing, Zhiqiang Wang, A New Cryptosystem Based on Positive Braids (arXiv:1910.04346)

  • Garry P. Dacillo, Ronnel R. Atole, Braided Ribbon Group C nC_n-based Asymmetric Cryptography, Solid State Technology Vol. 63 No. 2s (2020) (JSST:5573)

But further attacks are being discussed:

  • James Hughes, Allen Tannenbaum, Length-Based Attacks for Certain Group Based Encryption Rewriting Systems (arXiv:cs/0306032)

As are further ways around these:

  • Xiaoming Chen, Weiqing You, Meng Jiao, Kejun Zhang, Shuang Qing, Zhiqiang Wang, A New Cryptosystem Based on Positive Braids (arXiv:1910.04346)
category: knot theory

Last revised on September 20, 2022 at 15:33:26. See the history of this page for a list of all contributions to it.