manifolds and cobordisms
cobordism theory, Introduction
By a braid group [Artin (1925)] one means the group of joint continuous motions [cf. Goldsmith (1981)] of a fixed number $n+1$ of non-coincident points in the plane, from any fixed configuration back to that fixed configuration. The “worldlines” traced out by such points in space-time under such an operation look like a braid with $n+1$ strands, whence the name.
As with actual braids, here it is understood that two such operations are identified if they differ only by continuous deformations of the “strands” without breaking or intersecting these, hence that one identifies those such systems of worldlines which are isotopic in $\mathbb{R}^3$. (This is just the kind of invariance considered for link diagrams — such as under Reidemeister moves — and in fact every link diagram may be obtained by “closing up” a braid diagram, in the evident sense.)
A quick way of saying this with precision is to observe that a braid group is thus the fundamental group $\pi_1$ of a configuration space of points in the plane (see below for more).
Here it makes a key difference whether:
one considers the points in a configuration as ordered (labeled by numbers $1, \cdots, n+1$) in which case one speaks of the pure braid group,
or as indistinguishable (albeit in any case with distinct positions!) in which case one speaks of the braid group proper.
Namely, after traveling along a general braid $b$ the order of the given points may come out permuted by a permutation $\mathrm{perm}(b)$, and the braid is called pure precisely if this permutation is trivial:
More explicitly, braid groups admit finite presentations by generators and relations. To these we now turn first:
We discuss the braid group as a finitely generated group (Artin 1925, (5)-(6); Artin 1947, (18)-(19); review in, e.g.: Fox & Neuwirth 1962, §7):
(Artin presentation)
The Artin braid group, $Br({n+1})$, on $n+1$ strands is the finitely generated group given via generators and relations by (this and the following graphics are taken from Myers et al. (2023)):
generators:
relations I:
relations II
Similarly, the pure braid group has a finite presentation.
One possible set of generators (also originally considered by Artin) are the “weave” braids where one strands lassos exactly one other strand:
In terms of these generators, the pure braid group is obained by quotienting out the following relations — an optimization of Artin’s original pure braid relations, due to Lee (2010, Thm. 1.1, Rem. 3.1):
Here we repeatedly used products of pure braid generators of the following form:
Geometrically, one may understand the group of braids in $\mathbb{R}^3$ as the fundamental group of the configuration space of points in the plane $\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 \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, \ldots, z_n)$ such that $z_i \neq z_j$ whenever $i \neq j$. In other words, $C_n$ is the complement of the fat diagonal:
The symmetric group $S_n$ acts on $C_n$ by permuting coordinates. Let:
$C_n/S_n$ denote the quotient by this group action, hence the orbit space (the space of $n$-element subsets of $\mathbb{C}$ if one likes),
$[z_1, \ldots, z_n]$ denote the image of $(z_1, \ldots, z_n)$ under the quotient coprojection $\pi \colon C_n \to C_n/S_n$ (i.e. its the equivalence class).
We understand $p = (1, 2, \ldots, n)$ as the basepoint for $C_n$, and $[p] = [1, 2, \ldots n]$ as the basepoint for the configuration space of unordered points $C_n/S_n$, making it a pointed topological space.
The braid group is the fundamental group of the configuration space of n unordered points:
The pure braid group is the fundamental group of the configuration space of n ordered points:
Evidently a braid $\beta$ is represented by a path $\alpha: I \to C_n/S_n$ with $\alpha(0) = [p] = \alpha(1)$. Such a path may be uniquely lifted through the covering projection $\pi: C_n \to C_n/S_n$ to a path $\tilde{\alpha}$ such that $\tilde{\alpha}(0) = p$. The end of the path $\tilde{\alpha}(1)$ has the same underlying subset as $p$ but with coordinates permuted: $\tilde{\alpha}(1) = (\sigma(1), \sigma(2), \ldots, \sigma(n))$. Thus the braid $\beta$ is exhibited by $n$ non-intersecting strands, each one connecting an $i$ to $\sigma(i)$, and we have a map $\beta \mapsto \sigma$ appearing as the quotient map of an exact sequence
which is part of a long exact homotopy sequence corresponding to the fibration $\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 $\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 $X$.
For example for $X$ 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:
Star-type generators: exchanges of particle pairs on vertices of the particular graph
loop type generators: circular moves of a single particle around a simple cycle of the graph
The braid group $Br(n)$ may be alternatively described as the mapping class group of a 2-disk $D^2$ with $n$ punctures.
(review includes Birman 1975, §4, González-Meneses 2011, §1.4, [Abadie 2022, §1.3(#Abadie22))]
Concretely, consider
$D^2 \setminus \{z_1, \cdots, z_n\}$
denoting the complement of $n$ distinct points in the closed disk (with boundary the circle);
$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;
$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
Now observe that
for the case that $n = 0$ this group is trivial, by Alexander's trick.
continuous extension yields an injection
Combining this implies that for every $[\phi] \,\in\, MCG\big(D^2 \setminus \{z_1, \cdots, z_n\}big)$ therese is an isotopy of $\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 yields a morphism from the mappign class group? to the braid group
and this is an isomorphism.
(action of braid group on fundamental group of $n$-punctured disk)
It follows in particular that the braid group $Br(n)$ has a canonical group action on the fundamental group of the $n$-punctured disk. Since the latter is isomorphic to the free group on $n$ generators, this leads to the purely algebraic characterization of the braid group below.
See also eg. Margalit & Winarski (2021), §7, Amram, Lawrence & Vishne (2012), §7.
Since the fundamental group of $D^2 \setminus \{z_1, \cdots, z_n\}$ is the free group of $n$ 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 $n$ circles, it follows that its fundamental group is is the free group $F_n$ on $n$ generators:
Now the functoriality of $\pi_1 \,\colon\, Top^{\ast/} \longrightarrow Grp$ implies we have an induced homomorphism
If such an automorphism $\phi$ of $D^2 \setminus \{z_1, \cdots, z_n\}$ is isotopic to the identity, then of course $\pi_1(\phi)$ is trivial, which means that the above homomorphism factors through the quotient group known as the mapping class group:
Therefore, the above gives a homomorphism of the following form, which turns out to be a monomorphism:
Explicitly, the generator $yb_i$ (1) in the Artin presentation(Def. ) is mapped to the automorphism $\sigma_i$ on the free group on $n$ generators $t_1, \ldots, t_n$ which is given as follows:
(moduli space of monopoles is stably weak homotopy equivalent to classifying space of braid group)
For $k \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})$ on $2 k$ strands:
The first few examples of the braid group $Br(n)$ for low values of $n$:
The group $Br(1)$ has no generators and no relations, so is the trivial group:
The group $Br(2)$ has one generator and no relations, so is the infinite cyclic group of integers:
The group $Br(3)$ (we will simplify notation writing $u = y_1$, $v = y_2$) has presentation
This is also known as the “trefoil knot group”, i.e., the fundamental group of the complement of a trefoil knot.
The group $Br(4)$ (simplifying notation as before) has generators $u,v,w$ and relations:
$r_u \equiv v w v w^{-1} v^{-1} w^{-1}$,
$r_v \equiv u w u^{-1} w^{-1}$,
$r_w \equiv u v u v^{-1} u^{-1} v^{-1}$.
The Hurwitz braid group (or sphere braid group) is the surface braid group for $\Sigma$ the 2-sphere $S^2$. Algebraically, the Hurwitz braid group $H_{n+1}$ has all of the generators and relations of the Artin braid group $Br({n+1})$, plus one additional relation:
chord diagrams | weight systems |
---|---|
linear chord diagrams, round chord diagrams Jacobi diagrams, Sullivan chord diagrams | Lie algebra weight systems, stringy weight system, Rozansky-Witten weight systems |
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:
Emil Artin, Theorie der Zöpfe, Abh. Math. Semin. Univ. Hambg. 4 (1925) 47–72 [doi;10.1007/BF02950718]
(the braid group via generators & relations and via automorphisms of free groups)
Wilhelm Magnus, Über Automorphismen von Fundamentalgruppen berandeter Flächen, Mathematische Annalen 109 (1934) 617–646 [doi:10.1007/BF01449158]
(the braid group as a mapping class group)
Emil Artin, Theory of Braids, Annals of Mathematics, Second Series, 48 1 (1947) 101-126 [doi:10.2307/1969218]
Frederic Bohnenblust, The Algebraical Braid Group, Annals of Mathematics Second Series 48 1 (1947) 127-136 [doi:10.2307/1969219]
Wei-Liang Chow, On the Algebraical Braid Group, Annals of Mathematics Second Series, 49 3 (1948) 654-658 [doi:10.2307/1969050]
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:
Ralph H. Fox, Lee Neuwirth, The braid groups, Math. Scand. 10 (1962) 119-126 $[$doi:10.7146/math.scand.a-10518, pdf, MR150755$]$
Edward Fadell, Lee Neuwirth, Configuration spaces, Math. Scand. 10 (1962) 111-118 $[$doi:10.7146/math.scand.a-10517, MR141126$]$
Textbook accounts:
Joan S. Birman, Braids, links, and mapping class groups, Princeton Univ Press (1975) [ISBN:9780691081496, preview pdf]
Saunders MacLane, §XI.4 of: Categories for the Working Mathematician, Graduate Texts in Mathematics 5 Springer (second ed. 1997) [doi:10.1007/978-1-4757-4721-8]
Christian Kassel, Vladimir Turaev, Braid Groups, GTM 247 Springer Heidelberg 2008 (doi:10.1007/978-0-387-68548-9, webpage)
Further introduction and review:
Joan S. Birman, Anatoly Libgober (eds.) Braids, Contemporary Mathematics 78 (1988) [doi:10.1090/conm/078]
Chen Ning Yang, M. L. Ge (eds.), Braid Group, Knot Theory and Statistical Mechanics, Advanced Series in Mathematical Physics 9, World Scientific (1991) [doi:10.1142/0796]
Joshua Lieber, Introduction to Braid Groups, 2011 (pdf)
Juan González-Meneses, Basic results on braid groups, Annales Mathématiques Blaise Pascal, Tome 18 1 (2011) 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)
Jennifer C. H. Wilson, The geometry and topology of braid groups, lecture at 2018 Summer School on Geometry and Topology, Chicago (2018) [pdf, 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)
Jennifer C. H. Wilson, Representation stability and the braid groups, talk at ICERM – Braids (Feb 2022) [pdf]
Marie Abadie, §1 in: A journey around mapping class groups and their presentations (2022) [pdf]
See also:
As an example of motion general “motion groups” (such as loop braid groups):
Algebraic presentation of braid groups:
Warren Dicks, Edward Formanek, around Ex. 15.2 of: Algebraic Mapping-Class Groups of Orientable Surfaces with Boundaries, in: Infinite Groups: Geometric, Combinatorial and Dynamical Aspects, Progress in Mathematics 248 Birkhäuser (2005) [doi :10.1007/3-7643-7447-0_4]
More finite presentations of the pure braid group:
Dan Margalit, Jon McCammond, Geometric presentations for the pure braid group, Journal of Knot Theory and Its Ramifications 18 01 (2009) 1-20 [arXiv:math/0603204, doi:10.1142/S0218216509006859]
Eon-Kyung Lee, A positive presentation of the pure braid group, Journal of the Chungcheong Mathematical Society 23 3 (2010) 555-561 [JAKO201007648745187, pdf]
More on the relation of braid groups to mapping class groups:
M. Amram, R. Lawrence, U. Vishne, Artin Covers of the Braid Group, Journal of Knot Theory and Its Ramifications 21 07 (2012) 1250061 [doi:10.1142/S0218216512500617, pdf]
Dan Margalit, Rebecca R. Winarski, Braid groups and mapping class groups: The Birman–Hilden theory, Bull. London Math. Soc. 53 3 (2021) 643-659 [arXiv:1703.03448, doi:10.1112/blms.12456]
More on the braid representation on automorphisms of free groups:
Lluís Bacardit, Warren Dicks, Actions of the braid group, and new algebraic proofs of results of Dehornoy and Larue, Groups Complexity Cryptology 1 (2009) 77-129 [arXiv:0705.0587, doi;10.1515/GCC.2009.77]
Valerij G. Bardakov, Extending representations of braid groups to the automorphism groups of free groups, Journal of Knot Theory and Its Ramifications 14 08 (2005) 1087-1098 [arXiv:math/0408330, doi:10.1142/S0218216505004251]
Tetsuya Ito, Actions of the $n$-strand braid groups on the free group of rank n which are similar to the Artin representation, Quart. J. Math 66 (2015) 563-581 [arXiv;1406.2411, doi:10.1093/qmath/hau033]
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:
On orderings of the braid group:
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:
On G-structure for $G = Br_\infty$ the infinite braid group:
Frederick R. Cohen, Braid orientations and bundles with flat connections, Inventiones mathematicae 46 (1978) 99–110 [doi:10.1007/BF01393249]
Jonathan Beardsley, On Braids and Cobordism Theories, Glasgow (2022) [notes: pdf, pdf]
On linear representations of braid groups (see also at braid group statistics and interpretation as quantum gates in topological quantum computation):
Review:
Chen Ning Yang, M. L. Ge (eds.). Braid Group, Knot Theory and Statistical Mechanics, Advanced Series in Mathematical Physics 9, World Scientific (1991) $[$doi:10.1142/0796$]$
(focus on quantum Yang-Baxter equation)
Camilo Arias Abad, Introduction to representations of braid groups, Rev. colomb. mat. vol.49 no.1 (2015) (arXiv:1404.0724, doi:10.15446/recolma.v49n1.54160)
Toshitake Kohno, Introduction to representation theory of braid groups, Peking 2018 (pdf, pdf)
in relation to modular tensor categories:
Braid representations from the monodromy of the Knizhnik-Zamolodchikov connection on bundles of conformal blocks over configuration spaces of points:
Ivan Todorov, Ludmil Hadjiivanov, Monodromy Representations of the Braid Group, Phys. Atom. Nucl. 64 (2001) 2059-2068; Yad.Fiz. 64 (2001) 2149-2158 $[$arXiv:hep-th/0012099, doi:10.1134/1.1432899$]$
Ivan Marin, Sur les représentations de Krammer génériques, Annales de l’Institut Fourier, 57 6 (2007) 1883-1925 $[$numdam:AIF_2007__57_6_1883_0$]$
and understood in terms of anyon statistics:
Braid representations seen inside the topological K-theory of the braid group‘s classifying space:
Alejandro Adem, Daniel C. Cohen, Frederick R. Cohen, On representations and K-theory of the braid groups, Math. Ann. 326 (2003) 515-542 (arXiv:math/0110138, doi:10.1007/s00208-003-0435-8)
Frederick R. Cohen, Section 3 of: On braid groups, homotopy groups, and modular forms, in: J.M. Bryden (ed.), Advances in Topological Quantum Field Theory, Kluwer 2004, 275–288 (pdf)
See also:
As quantum gates for topological quantum computation with anyons:
Louis H. Kauffman, Samuel J. Lomonaco, Braiding Operators are Universal Quantum Gates, New Journal of Physics, Volume 6, January 2004 (arXiv:quant-ph/0401090, doi:10.1088/1367-2630/6/1/134)
Samuel J. Lomonaco, Louis Kauffman, Topological Quantum Computing and the Jones Polynomial, Proc. SPIE 6244, Quantum Information and Computation IV, 62440Z (2006) (arXiv:quant-ph/0605004)
(braid group representation serving as a topological quantum gate to compute the Jones polynomial)
Louis H. Kauffman, Samuel J. Lomonaco, Topological quantum computing and $SU(2)$ braid group representations, Proceedings Volume 6976, Quantum Information and Computation VI; 69760M (2008) (doi:10.1117/12.778068, rg:228451452)
C.-L. Ho, A.I. Solomon, C.-H.Oh, Quantum entanglement, unitary braid representation and Temperley-Lieb algebra, EPL 92 (2010) 30002 (arXiv:1011.6229)
Louis H. Kauffman, Majorana Fermions and Representations of the Braid Group, International Journal of Modern Physics AVol. 33, No. 23, 1830023 (2018) (arXiv:1710.04650, doi:10.1142/S0217751X18300235)
David Lovitz, Universal Braiding Quantum Gates [arXiv:2304.00710]
Introduction and review:
Colleen Delaney, Eric C. Rowell, Zhenghan Wang, Local unitary representations of the braid group and their applications to quantum computing, Revista Colombiana de Matemáticas(2017), 50 (2):211 (arXiv:1604.06429, doi:10.15446/recolma.v50n2.62211)
Eric C. Rowell, Braids, Motions and Topological Quantum Computing $[$arXiv:2208.11762$]$
Realization of Fibonacci anyons on quasicrystal-states:
Realization on supersymmetric spin chains:
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)
On moduli spaces of monopoles related to braid groups:
Fred Cohen, Ralph Cohen, B. M. Mann, R. J. Milgram, The topology of rational functions and divisors of surfaces, Acta Math (1991) 166: 163 (doi:10.1007/BF02398886)
Ralph Cohen, John D. S. Jones Monopoles, braid groups, and the Dirac operator, Comm. Math. Phys. Volume 158, Number 2 (1993), 241-266 (euclid:cmp/1104254240)
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:
Karl Mahlburg, An Overview of Braid Group Encryption, 2004 (pdf)
Parvez Anandam, Introduction to Braid Group Cryptography, 2006 (pdf)
David Garber, Braid Group Cryptography, Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore (arXiv:0711.3941, doi:10.1142/9789814291415_0006)
Cryptowiki, Cryptosystems based on braid groups
A followup proposal was to use the problem of reversing E-multiplication in braid groups, thought to remedy the previous problems.
Original article:
Review:
But other problems were found with this approach, rendering it non-viable.
Original article:
Review:
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_n$-based Asymmetric Cryptography, Solid State Technology Vol. 63 No. 2s (2020) (JSST:5573)
But further attacks are being discussed:
As are further ways around these:
Last revised on July 5, 2023 at 11:05:41. See the history of this page for a list of all contributions to it.