Fact-checked by Grok 2 weeks ago

Braid group

In mathematics, the braid group B_n on n strands is a finitely presented group that algebraically encodes the combinatorial structure of braids, consisting of n continuous paths in three-dimensional space connecting fixed points on two parallel lines while avoiding intersections except at endpoints.^[1] Introduced by Emil Artin in his 1925 paper, later published in English in 1947, the braid group formalizes the intuitive notion of braiding strands and provides a bridge between geometry, topology, and algebra.^[2] For n \geq 2, B_n is infinite and non-abelian (except for n=2, where it is isomorphic to the integers \mathbb{Z}), distinguishing it from the finite symmetric group S_n, which arises as the quotient of B_n by the relation that each generator has order two.^[1]^[3] Algebraically, B_n is generated by elements \sigma_1, \sigma_2, \dots, \sigma_{n-1}, where each \sigma_i represents a single crossing of the i-th and (i+1)-th strands, subject to two types of relations: the far commutativity \sigma_i \sigma_j = \sigma_j \sigma_i for |i - j| \geq 2, and the braid relation \sigma_i \sigma_{i+1} \sigma_i = \sigma_{i+1} \sigma_i \sigma_{i+1} for adjacent generators.^[1] Geometrically, B_n is isomorphic to the fundamental group of the unordered configuration space of n points in the Euclidean plane \mathbb{R}^2, capturing all possible isotopy classes of braids up to ambient deformation.^[3] A distinguished normal subgroup, the pure braid group P_n, consists of braids where each strand returns to its original position and has index n! in B_n; it is generated by elements A_{i,j} (for $1 \leq i < j \leq n) that loop the i-th strand around the j-th without affecting others, with relations ensuring commutativity and conjugation properties.^[1] Braid groups play a central role in low-dimensional topology, particularly through Alexander's theorem (1923), which states that every knot or link in three-space can be represented as the closure of a braid, allowing algebraic invariants of braids to yield topological invariants like the Jones polynomial.^[3] This connection extends to Markov's theorem (1958), which characterizes when two braids yield isotopic closures via moves like stabilization and conjugation, facilitating the study of knot equivalence.^[3] Beyond topology, braid groups appear in representation theory (e.g., via the Burau and Lawrence-Krammer representations), algebraic geometry (as Artin groups of Coxeter type A), and even applied areas like quantum computing and cryptography, where their non-abelian structure supports secure protocols.^[1] Artin solved the word problem for B_n in his original work, and subsequent developments, including Garside's normal form (1969), have enabled efficient computation and deeper structural analysis.^[2]

Fundamentals

Introduction

The braid group captures the topological essence of intertwined strands, visualized as n parallel line segments in three-dimensional space that may cross over or under each other but never pass through one another, allowing for continuous deformations while preserving their connectivity.^[2] This setup contrasts sharply with permutations, in which elements exchange positions discretely as if able to traverse through one another, emphasizing the non-commutative geometry inherent to braids.^[1] The braid group B_n comprises equivalence classes of such n-strand braids, identified under ambient isotopy—a continuous deformation that fixes the endpoints—and forms a group under the operation of stacking braids vertically.^[2] For n=2, B_2 is isomorphic to the infinite cyclic group \mathbb{Z}, generated by repeated twists of the two strands.^[1] With n=3, closing certain braids in B_3 yields the trefoil knot, a basic non-trivial knot that underscores the link to knot theory.^[1] As a cornerstone of low-dimensional topology, the braid group bridges abstract algebra and geometric intuition, acting as the fundamental group of the unordered configuration space of n points in the Euclidean plane and facilitating the study of embeddings and manifolds in dimensions two and three.^[4]^[3] Braid groups model the exchange of indistinguishable particles in quantum physics, such as anyons in two-dimensional systems, and describe the topological rearrangements of DNA strands during site-specific recombination events.^[5]^[6]

History

The development of braid group theory occurred within the context of early 20th-century algebraic topology, where the study of fundamental groups of topological spaces had been pioneered by Henri Poincaré in his 1895 paper "Analysis Situs," introducing the concept as a tool for classifying surfaces and manifolds. This framework was further advanced by Max Dehn's 1911 work on infinite discontinuous groups and their presentations, which emphasized algebraic structures underlying geometric configurations. Emil Artin formally introduced the braid groups in 1925 through his seminal paper "Theorie der Zöpfe," published in the Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, where he defined them geometrically as equivalence classes of braids under ambient isotopy and algebraically via a presentation with generators representing crossings and relations capturing their interactions.^[7] Artin's motivation stemmed from efforts to distinguish knots and links topologically, extending the algebraic techniques applied to knot groups. In the 1930s, Werner Burau contributed a key linear representation of the braid groups, detailed in his 1935 paper "Über Zopfgruppen und gleichsinnig verdrillte Verkettungen," which provided a matrix-based realization useful for computing invariants. Concurrently, H. S. M. Coxeter's 1935 classification of finite reflection groups in "The complete enumeration of finite groups of the form R_i^2 = (R_i R_j)^{k_{ij}} = 1" laid groundwork for understanding braid groups as generalizations, with Coxeter groups arising as quotients by adding relations of order 2 to the braid relations. Following World War II, interest in braid groups revived with Ralph Fox and Lee Neuwirth's 1962 paper "The braid groups," published in Mathematica Scandinavica, which provided a configuration space interpretation of the braid groups, deriving their presentation and confirming the pure braid group as a normal subgroup of index n!, facilitating connections to knot theory. The field experienced significant growth in the 1970s and 1980s, propelled by Vaughan Jones's 1984 discovery of a new knot polynomial invariant derived from representations of the braid groups via von Neumann algebras, as presented in his 1985 Bulletin of the American Mathematical Society paper, which unified algebraic and topological approaches to link invariants. During this period, Kunio Murasugi advanced the theory by defining and studying the braid index, the minimal number of strands needed to represent a link as a closed braid, with foundational results on its computation for alternating links appearing in his 1991 Transactions of the American Mathematical Society paper.

Formal Definition

Geometric Interpretation

The braid group on n strands arises geometrically from the study of intertwined paths in three-dimensional space. Introduced by Emil Artin, an n-braid is defined as a collection of n continuous curves, or strands, embedded in \mathbb{R}^3, each connecting a fixed point on the plane z=0 to a fixed point on the plane z=1, with the curves being monotonic in the z-direction (i.e., each intersects every horizontal plane z=c for $0 < c < 1 exactly once). These strands may intersect transversely but are not allowed to pass through one another. This setup is often visualized on the surface of a cylinder, with the top and bottom circles representing the initial and final positions of the strands.^[2] Two n-braids are considered equivalent if there exists a continuous deformation (isotopy) of one into the other that preserves the endpoints and monotonicity, without any strands crossing through each other during the deformation. This isotopy equivalence classes the set of all such braids under composition (by stacking), forming a group structure where the identity is the trivial braid with parallel strands, and inverses are obtained by reversing the braids. Artin's original 1925 formulation emphasized this topological perspective to capture the essential non-commutative nature of braiding motions. An equivalent topological realization of the braid group B_n views it as the fundamental group of the configuration space of n unordered distinct points in the Euclidean plane \mathbb{R}^2. The ordered configuration space C_n(\mathbb{R}^2) consists of all n-tuples of distinct points (p_1, \dots, p_n) \in (\mathbb{R}^2)^n with p_i \neq p_j for i \neq j, and the unordered version is the quotient by the action of the symmetric group S_n. Loops in this space, based at a fixed configuration, correspond to braiding motions of the points, where the group operation is concatenation of paths, yielding B_n = \pi_1(C_n(\mathbb{R}^2)/S_n). This interpretation highlights the braid group as encoding the homotopy classes of simultaneous motions of n points without collisions. For n=3, the geometric structure is particularly intuitive: the generator \sigma_1 represents a half-twist where the first and second strands cross over each other while the third remains straight, and \sigma_2 is the analogous half-twist of the second and third strands. Composing these reveals the non-commutativity, as \sigma_1 \sigma_2 produces a different intertwining pattern than \sigma_2 \sigma_1, reflecting the topological obstruction to simultaneous untwisting without strand passage. This visual asymmetry underscores the group's departure from abelian structure.^[2]

Algebraic Presentation

The braid group B_n on n strands is defined algebraically as the group generated by the elements \sigma_1, \sigma_2, \dots, \sigma_{n-1}, where each \sigma_i symbolically represents the basic crossing in which the i-th strand passes over the (i+1)-th strand.^[8] This presentation, introduced by Emil Artin, abstracts the combinatorial structure of braids without relying on their topological embedding.^[8] The generators satisfy two types of relations: the far commutativity relation \sigma_i \sigma_j = \sigma_j \sigma_i whenever |i-j| \geq 2, allowing non-adjacent crossings to commute freely, and the braid relation \sigma_i \sigma_{i+1} \sigma_i = \sigma_{i+1} \sigma_i \sigma_{i+1} for $1 \leq i \leq n-2.^[8] Elements of B_n are formal words in the generators \sigma_i and their inverses \sigma_i^{-1}, which can be reduced to a normal form using the defining relations; this reduction process enables unique representations for equivalence classes of braids under the group operation of concatenation.^[8] For the case n=2, B_2 is generated by the single element \sigma_1 with no applicable relations, yielding an isomorphism to the infinite cyclic group \mathbb{Z}.^[8]

Closed Braids and Braid Index

The closure of an n-braid \beta \in B_n is formed by connecting each top endpoint of the braid strands to the corresponding bottom endpoint with simple arcs that do not intersect the braid, yielding an oriented link in \mathbb{R}^3 or S^3. This operation, first described by J. W. Alexander in 1923, demonstrates that every oriented knot or link is isotopic to the closure of some braid.^[9] The closure construction was later integrated into the algebraic framework of braid groups by E. Artin in 1947.^[2] The resulting closed braid diagram encodes the topology of the link through the crossings determined by the braid word. The number of components in the closure equals the number of cycles in the permutation induced by \beta; thus, the closure of a pure braid (where the permutation is the identity) yields an n-component link consisting of n unknotted circles that may be linked, while the closure of a braid whose permutation is a single n-cycle yields a knot.^[10] Alexander's result establishes that every knot arises as such a closed braid.^[9] The braid index b(L) of a link L is defined as the minimal number of strands n such that L is isotopic to the closure of an n-braid; it serves as a topological invariant measuring the "width" of minimal braid representations of L. The span of the HOMFLY polynomial provides a lower bound for the braid index: b(L) \geq \frac{s_a(-1) + 1}{2}, where s_a(-1) is the span (maximal minus minimal degree) in the a-variable when m = -1. Equality often holds for alternating links.^[11] Additionally, the braid index relates to the crossing number c(L) via the inequality b(L) \leq \frac{c(L) + 2}{2} for knots, offering an upper bound computable from any diagram of L. For example, the unknot has braid index 1, as its trivial representation uses a single strand with no crossings. The right-handed trefoil knot has braid index 2, realized as the closure of the 2-braid \sigma_1^3, and cannot be expressed as a closed 1-braid since that would yield only the unknot.^[12] The braid index exhibits additivity under connected sum for knots: b(K_1 \# K_2) = b(K_1) + b(K_2) - 1, reflecting how minimal braid representations combine via a specific stabilization technique.^[13] This property, established by Birman and Menasco, underscores the braid index's utility in decomposing composite links.^[13]

Basic Properties

Generators and Relations

The braid group B_n on n strands admits a presentation with generators \sigma_1, \sigma_2, \dots, \sigma_{n-1}, where each \sigma_i corresponds to a positive crossing between the i-th and (i+1)-th strands.^[2] These generators satisfy two types of relations: the braid relation \sigma_i \sigma_{i+1} \sigma_i = \sigma_{i+1} \sigma_i \sigma_{i+1} for i = 1, 2, \dots, n-2, and the far commutativity relation \sigma_i \sigma_j = \sigma_j \sigma_i whenever |i - j| \geq 2.^[2] Artin's theorem establishes that this presentation faithfully defines B_n, meaning the group is isomorphic to the quotient of the free group on these generators by the normal closure of the relations.^[2] The proof proceeds by constructing a faithful representation \phi: B_n \to \mathrm{Aut}(F_n), where F_n is the free group on n generators x_1, \dots, x_n, defined by \phi(\sigma_i)(x_i) = x_{i+1}, \phi(\sigma_i)(x_{i+1}) = x_i x_{i+1} x_i^{-1}, and \phi(\sigma_i)(x_k) = x_k for k \neq i, i+1.^[2] This representation embeds B_n injectively, confirming the relations are complete and no additional ones are needed; the group is thus not free.^[2] A complementary approach uses the Garside normal form, which provides a unique canonical expression for each element as \Delta^k \cdot p_1 p_2 \cdots p_m, where \Delta is the half-twist (Garside element), k \in \mathbb{Z}, and each p_j is a positive permutation braid dividing \Delta.^[14] This form solves the word problem and underscores the sufficiency of Artin's relations by ensuring unique normalizations.^[14] In the context of representations on tensor powers V^{\otimes n}, the braid relations translate to the Yang-Baxter equation for an R-matrix acting via R_{i,i+1} = \mathrm{id}^{\otimes (i-1)} \otimes R \otimes \mathrm{id}^{\otimes (n-i-1)}, satisfying

\begin{aligned} &R_{i,i+1} R_{i,i+2} R_{i,i+1} = R_{i+1,i+2} R_{i,i+1} R_{i+1,i+2} \end{aligned}

for i = 1, \dots, n-2, where R: V \otimes V \to V \otimes V encodes the crossing.^[15] This formulation arises in quantum groups and ensures the representation respects the braid group structure.^[15] For n=3, the presentation simplifies to B_3 = \langle a, b \mid aba = bab \rangle, where a = \sigma_1 and b = \sigma_2.^[16] This group is infinite and non-abelian, and modulo its center (generated by (aba)^2), it is isomorphic to PSL(2, ℤ), as is the trefoil knot group modulo its center.^[4]

Subgroups and Quotients

The pure braid group P_n on n strands is the kernel of the natural surjection \pi: B_n \to S_n, which forgets the over/under information of crossings and records only the induced permutation of the strands.^[17] This subgroup consists of all braids whose strands begin and end at the same positions.^[18] The group P_n is generated by elements A_{ij} for $1 \leq i < j \leq n, where each A_{ij} is the braid in which the i-th strand wraps around the j-th strand once in a positive direction while passing under all intermediate strands; algebraically, A_{ij} = (\sigma_i \sigma_{i+1} \cdots \sigma_{j-2}) \sigma_{j-1}^2 (\sigma_i \sigma_{i+1} \cdots \sigma_{j-2})^{-1}.^[2] The center Z(B_n) of the braid group B_n is infinite cyclic for n \geq 3 and generated by the full twist \Delta^2, where \Delta is the Garside fundamental element given by the product \Delta = \prod_{1 \leq i < j \leq n} A_{ij}^{1/(j-i)} in the Garside normal form (explicitly, \Delta is the positive half-twist braid obtained by ordering the generators appropriately).^[19] This element \Delta^2 represents a complete 360-degree rotation of all strands together and commutes with every element of B_n.^[20] Key quotients of B_n include the quotient by its center, B_n / Z(B_n) \cong B_n / \langle \Delta^2 \rangle, which is isomorphic to the mapping class group of the (n+1)-punctured sphere.^[21] For n=3, another important quotient is the Temperley-Lieb quotient, obtained by imposing relations that identify certain braids relevant to diagrammatic algebras, yielding a structure closely related to the modular group \mathrm{PSL}(2, \mathbb{Z}).^[22] The pure braid group P_n is a normal subgroup of B_n, and its derived series provides insight into the solvable structure of B_n; specifically, the abelianization P_n^{\mathrm{ab}} = P_n / [P_n, P_n] is the free abelian group \mathbb{Z}^{n(n-1)/2}, reflecting the rank equal to the number of generators A_{ij}. For n=3, the pure braid group P_3 is isomorphic to the free group F_2 on two generators, generated freely by A_{12} and A_{23} (with A_{13} = A_{12} A_{23} A_{12}^{-1}).

Interactions with Other Groups

Symmetric and Pure Braid Groups

The braid group B_n admits a natural surjective homomorphism \phi: B_n \to S_n to the symmetric group S_n, defined by sending each standard generator \sigma_i to the transposition (i \, i+1).^[2] This map arises from the permutation of the endpoints of the braid strands, preserving the braid relations since the transpositions satisfy the corresponding Coxeter relations of S_n.^[23] The kernel of \phi is the pure braid group P_n, consisting of those braids whose strands return to their original positions, inducing the identity permutation.^[23] This yields the short exact sequence

$1 \to P_n \to B_n \xrightarrow{\phi} S_n \to 1,

where P_n is a normal subgroup of B_n.^[23] However, P_n is not central in B_n for n > 2, as the center of B_n is infinite cyclic, generated by the full twist, while P_n has rank \binom{n}{2}.^[2] Topologically, B_n is the fundamental group of the unordered configuration space of n points in the plane, while P_n is the fundamental group of the corresponding ordered configuration space.^[24] The pure braid group P_n is generated by elements A_{ij} for $1 \leq i < j \leq n, where each A_{ij} represents a "double twist" that loops the i-th strand around the j-th strand and back, without affecting other strands.^[2] These generators satisfy relations derived from the Artin relations of B_n, including commutativity [A_{ik}, A_{jl}] = 1 when the pairs \{i,k\} and \{j,l\} are disjoint, and more involved relations when the pairs overlap.^[2] For n=3, P_3 is generated by A_{12}, A_{13}, and A_{23}, subject to the single relation A_{12} A_{13} A_{23} = A_{23} A_{13} A_{12}.^[2] This relation reflects the non-commutativity arising from the geometric intertwining of the strands, and P_3 is a central extension of the free group of rank 2 by \mathbb{Z}.^[2]

Modular Group Relation

The 3-braid group B_3 admits a surjective homomorphism onto the modular group \mathrm{PSL}(2,\mathbb{Z}), with kernel generated by the full twist \Delta^2, where \Delta = \sigma_1 \sigma_2 \sigma_1. Thus, B_3 / \langle \Delta^2 \rangle \cong \mathrm{PSL}(2,\mathbb{Z}), establishing B_3 as a central extension of the modular group by the infinite cyclic group \langle \Delta^2 \rangle.^[25]^[26] Under this quotient map, the standard generators \sigma_1 and \sigma_2 of B_3 are sent to elements of \mathrm{SL}(2,\mathbb{Z}) whose images in \mathrm{PSL}(2,\mathbb{Z}) generate the group: specifically, \sigma_1 maps to the matrix \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix} and \sigma_2 to \begin{pmatrix} 0 & -1 \\ 1 & 1 \end{pmatrix}. The element \sigma_1^2 lies in the kernel, corresponding to the central -I in \mathrm{SL}(2,\mathbb{Z}). The presentation of B_3 is \langle \sigma_1, \sigma_2 \mid \sigma_1 \sigma_2 \sigma_1 = \sigma_2 \sigma_1 \sigma_2 \rangle, and modding out by the center yields the presentation of \mathrm{PSL}(2,\mathbb{Z}) as \langle a, b \mid a^2 = b^3 = 1 \rangle, where a and b are the images of certain products like \sigma_1 \sigma_2 and (\sigma_1 \sigma_2)^2.^[26]^[25] Geometrically, this relation connects 3-braids to hyperbolic geometry, as the modular group \mathrm{PSL}(2,\mathbb{Z}) acts on the upper half-plane via Möbius transformations, with the Farey tessellation providing a fundamental domain that visualizes the action and links braid isotopies to modular transformations.^[26] For instance, the defining braid relation \sigma_1 \sigma_2 \sigma_1 = \sigma_2 \sigma_1 \sigma_2 (or aba = bab with a = \sigma_1, b = \sigma_2) descends in the quotient to the relation ABA = BAB between the images A and B, which, combined with the orders imposed by the center, yields the modular relations like (AB)^3 = 1.^[25]

Mapping Class Group and Braid Classification

The braid group B_n is isomorphic to the mapping class group of the n-punctured disk, where the punctures are fixed points in the interior.^[27] This isomorphism, established by Birman, identifies the Artin generators \sigma_i (for $1 \leq i \leq n-1) with Dehn twists around simple closed curves in the disk that enclose the i-th and (i+1)-th punctures and separate them from the others.^[27] Under this identification, isotopy classes of homeomorphisms fixing the boundary pointwise and permuting the punctures correspond precisely to braids up to ambient isotopy. Braid classification leverages these connections, particularly through the observation that every element of B_n can be expressed as a product of conjugates of the generators \sigma_i. For positive braids (those generated by the \sigma_i without inverses), the Garside normal form provides a unique canonical representative, facilitating algorithmic computation and uniqueness in classification. This form decomposes a positive braid into a product \Delta^k \cdot p_1 \cdot p_2 \cdots p_m, where \Delta is the fundamental half-twist (Garside element), and each p_j is a positive permutation braid with specific divisibility properties. The Birman exact sequence further elucidates these structures by relating mapping class groups of surfaces differing by one puncture: for a surface S_{g,n}, the sequence is $1 \to \pi_1(S_{g,n}) \to \text{Mod}(S_{g,n+1}) \to \text{Mod}(S_{g,n}) \to 1, which is exact and often splits for low genus.^[27] In the context of braids, this sequence implies that conjugacy classes in B_n (corresponding to closed braids up to rotation) are classified by their images in the symmetric group quotient together with invariants from the pure braid kernel, enabling a systematic enumeration via surface homeomorphisms. For n=4, the mapping class group \text{Mod}(S_{0,4}) of the 4-punctured sphere fits into the short exact sequence $1 \to \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z} \to \text{Mod}(S_{0,4}) \to \mathrm{PSL}(2,\mathbb{Z}) \to 1, where \mathrm{PSL}(2,\mathbb{Z}) \cong B_3 / \langle \Delta^2 \rangle. This illustrates the connection between low-dimensional mapping class groups and braid group quotients.^[28]

Applications and Connections

Knot and Link Theory

Braid groups play a central role in knot and link theory by providing algebraic tools to represent and distinguish embeddings of circles in three-dimensional space. A fundamental connection arises through the closure operation, where the strands of a braid are joined to form a link; two braids yield isotopic links if and only if they are related by Markov moves, which consist of three operations: conjugation by any braid, stabilization (adding a trivial strand twisted around an existing one), and destabilization (the reverse of stabilization). These moves, established by Markov in 1958 and rigorously analyzed in subsequent works, characterize the equivalence of braid representations for knots and links, enabling the translation of geometric isotopy problems into algebraic ones within the braid group.^[29] Alexander's 1923 theorem shows that any knot or link is isotopic to the closure of some braid, where the number of components in the closure is determined by the number of cycles in the permutation induced by the braid on the strands. Pure braids close to links with as many components as strands. The minimal number of strands required, known as the braid index, is bounded below by the Morton-Franks-Williams (MFW) inequality, which relates the span of the Alexander-Conway polynomial to twice the braid index minus two; this inequality provides a computable lower bound but is not always sharp, as demonstrated by certain knots where higher invariants detect stricter minima. Braid representations facilitate the construction of knot invariants, such as the Alexander polynomial, which can be derived briefly from the Burau representation of the braid group—a matrix representation that acts on the homology of the punctured disk. Specifically, for a braid \beta, the Alexander polynomial \Delta(t) of its closure is given by \Delta(t) = \det(I - \beta(t)), where \beta(t) is the evaluated Burau matrix and I is the identity; this yields a Laurent polynomial invariant up to multiplication by powers of t. More powerfully, the Jones polynomial emerges from quotients of the braid group onto the Temperley-Lieb algebra, with Jones showing in 1984 that closures of braids produce this invariant via the Ocneanu trace on Hecke algebras, revolutionizing link classification by capturing quantum topological features.^[30]

Topology and Geometry

The braid group B_n on n strands is realized topologically as the fundamental group of the unordered configuration space of n points in the plane, \pi_1(\mathrm{Conf}_n(\mathbb{R}^2)/S_n), where \mathrm{Conf}_n(\mathbb{R}^2) denotes the ordered configuration space of distinct points in \mathbb{R}^2 and S_n is the symmetric group acting by permutation.^[31] The pure braid group P_n, the kernel of the natural surjection B_n \to S_n, is correspondingly \pi_1(\mathrm{Conf}_n(\mathbb{R}^2)).^[31] These identifications stem from viewing braids as loops in the space of point configurations, where strands trace paths without collision. A key structural result is the Fadell-Neuwirth fibration, which provides a sequence of fibrations \mathrm{Conf}_n(\mathbb{R}^2) \to \mathrm{Conf}_{n-1}(\mathbb{R}^2) with fiber \mathbb{R}^2 minus n-1 points, inducing short exact sequences such as $1 \to F_{n-1} \to P_n \to P_{n-1} \to 1, where F_{n-1} is the free group on n-1 generators.^[31] Similar fibrations hold for the full braid groups, revealing recursive presentations and enabling inductive computations of their properties.^[31] The cohomology of these configuration spaces encodes significant algebraic structure, with the integral cohomology ring of the pure braid group H^*(P_n; \mathbb{Z}) computed by Arnol'd as the exterior algebra generated by classes in degrees $2k-1 for k=1,\dots,n-1.^[32] This ring structure arises from the action of the symmetric group and reflects the topology of the spaces, with generators corresponding to basic cycles in the configuration space.^[32] Furthermore, the cohomology relates to Vassiliev invariants through finite type invariants of braids, where weight systems on chord diagrams are tied to the associated graded Lie algebra of the pure braid group, as developed via bar complexes and holonomy representations on configuration spaces. In geometric group theory, the braid group B_n is an Artin group of Coxeter type A, with generators that commute when non-adjacent and satisfy braid relations when adjacent. This presentation facilitates the study of actions on non-positively curved spaces, allowing braid groups to act on related complexes that reveal hyperbolic-like behavior for small n. For instance, B_n for n \leq 6 admits a proper cocompact action on a CAT(0) cube complex, highlighting quasiconvex subgroups and asymptotic properties. Braid groups also play a role in dynamical systems on surfaces, as elements of B_n represent isotopy classes of homeomorphisms of the n-punctured disk, which is isomorphic to the mapping class group of that surface. In Thurston's classification of surface homeomorphisms up to isotopy, pseudo-Anosov braids correspond to those inducing pseudo-Anosov maps, characterized by a transverse pair of measured foliations with expansion factor greater than 1, leading to hyperbolic dynamics and minimal entropy realizations among periodic braids. In higher dimensions, braid groups generalize to configuration spaces \mathrm{Conf}_n(\mathbb{R}^m) for m > 2, where the fundamental groups capture motion in \mathbb{R}^4 and beyond, with applications to 4-manifolds via surface braids—braided ribbons in 4-space—whose closures yield surface links amenable to Kirby calculus for handle decompositions. These structures allow classification of certain 4-manifolds through isotopies and handle slides on braided links, extending classical 3-dimensional braid theory to smooth 4-dimensional topology.

Computational Aspects

The word problem in braid groups, which asks whether two given braid words represent the same element, is solvable using the Garside normal form introduced by F. A. Garside in 1969. In this structure, every element of the braid group B_n can be uniquely expressed as \Delta^k \cdot p, where \Delta is the fundamental Garside element (the half-twist braid), k \in \mathbb{Z}, and p is a positive braid written as a product of simple elements (divisors of \Delta) satisfying certain greediness conditions. This normal form allows direct comparison of braids after canonical reduction, enabling efficient algorithmic solutions to the word problem. The algorithm runs in polynomial time relative to the input length, leveraging the left and right greediness properties to decompose words systematically. Computing the braid index of a knot or link, defined as the minimal number of strands n such that the link is the closure of a braid in B_n, is computationally challenging. However, lower bounds can be obtained from the span of the HOMFLY polynomial via the Morton-Franks-Williams inequality, which states that the braid index b(L) satisfies b(L) \geq \frac{1}{2} (\max \deg_a P_L(a,z) - \min \deg_a P_L(a,z)) + 1, where P_L(a,z) is the HOMFLY polynomial of the link L. Upper bounds follow from the crossing number c(L), as any link diagram with c crossings admits a braid representation with at most \frac{c}{2} + 1 strands via Seifert's algorithm. These approximations provide practical estimates without solving the exact problem. Software tools facilitate computations involving braids. The KnotTheory package in Mathematica supports braid word input, closure to links, and calculation of invariants such as the Alexander polynomial from braid representations. Similarly, the Regina software package handles triangulations of link complements derived from braid closures, enabling computations of 3-manifold properties like hyperbolic volume for braid-induced manifolds. The Nielsen-Thurston classification algorithm categorizes braids in B_n as reducible (conjugate to a power of a reducible braid), periodic (some power is a power of \Delta), or pseudo-Anosov (has a representative with hyperbolic action on the disk). This classification, extending the Nielsen-Thurston theorem for mapping classes, can be decided algorithmically using train track methods or canonical reduction forms, with quadratic-time implementations available for fixed n. For positive braids, the conjugacy problem—determining if two braids are conjugate—is solvable in linear time using summit sets and sliding circuits in the Garside structure.

Representations and Actions

Finite-Dimensional Representations

The finite-dimensional representations of the braid group B_n provide linear encodings of its elements into matrix groups over polynomial rings, facilitating connections to knot invariants and algebraic topology. These representations are typically defined over Laurent polynomial rings such as \mathbb{Z}[t, t^{-1}] or \mathbb{Z}[q, t, t^{-1}], and their faithfulness—whether the kernel is trivial—has been a central question in the field. Key examples include the Burau representation, which arises from the homology of free coverings of punctured disks, and the Lawrence-Krammer representation, a higher-dimensional faithful alternative. Additionally, quotient representations into the Temperley-Lieb algebra capture quadratic relations among generators, linking to statistical mechanics and link polynomials. The Burau representation \psi_n: B_n \to \mathrm{GL}_{n-1}(\mathbb{Z}[t, t^{-1}]) is a classical finite-dimensional representation introduced by Werner Burau in the 1930s, obtained as the action on the homology of the universal abelian cover of the punctured disk. It is unfaithful for n \geq 5, as demonstrated by Stephen Bigelow's explicit counterexample showing a nontrivial braid in the kernel for n=5. For n=3, the representation is faithful and relates directly to the Alexander polynomial of the closure of the braid: if \beta \in B_3 closes to a knot or link L, then the Alexander polynomial \Delta_L(t) satisfies (1 - t) \det(\psi_3(\beta) - I) = \Delta_L(t). The explicit form maps each generator \sigma_i to a block-diagonal matrix over \mathbb{Z}[t, t^{-1}], with identity blocks elsewhere and a 2-by-2 block

\begin{pmatrix} 1 - t & t \\ 1 & 0 \end{pmatrix}

in positions i to i+1. For B_3, up to similarity, \psi_3(\sigma_1) = \begin{pmatrix} -t & 1 \\ 1 & 0 \end{pmatrix} and \psi_3(\sigma_2) = \begin{pmatrix} 1 & 0 \\ -t & 1 \end{pmatrix}. The Lawrence-Krammer (LK) representation, discovered by Roger Lawrence and further developed by Daan Krammer, provides a faithful finite-dimensional alternative: \phi_n: B_n \to \mathrm{GL}_{n(n-1)/2}(\mathbb{Z}[q, t]), where the dimension reflects the space of pairs of punctures. It deforms the action on the second exterior power of the Burau module and satisfies the braid relations. Stephen Bigelow proved its faithfulness in 2003 by showing injectivity via a topological realization through arc complexes and duality pairings, resolving a long-standing conjecture on the linearity of braid groups. Unlike the Burau representation, the LK representation remains faithful for all n, making it a cornerstone for algorithmic and structural studies. The Temperley-Lieb representation arises as a quotient of the group algebra of B_n by the relations defining the Temperley-Lieb algebra \mathrm{TL}_n(\delta), a finite-dimensional associative algebra over \mathbb{C}[\delta] generated by idempotents e_i satisfying e_i e_{i \pm 1} e_i = e_i, e_i e_j = e_j e_i for |i-j| > 1, and e_i^2 = \delta e_i. The braid generators map to u_i = \sigma_i + \sigma_i^{-1}, but in the standard Jones representation, \sigma_i maps to elements whose trace yields link invariants; this quotient enforces quadratic relations on the images, reducing the representation to the (n+1)-dimensional path model or cellular basis of \mathrm{TL}_n. Introduced by Vaughan Jones in connection with Hecke algebras, it is unfaithful but pivotal for computing the Jones polynomial via braid closures.

Infinite-Dimensional and Quantum Representations

Infinite-dimensional representations of the braid group B_n arise prominently in the context of quantum groups and operator algebras, where the classical relations are deformed to incorporate a parameter q, often a root of unity or generic complex number. These representations map the generators \sigma_i of B_n to operators satisfying modified quadratic relations, leading to structures like the Hecke algebra H_n(q), defined as the quotient of the group algebra \mathbb{C}[B_n] by the ideal generated by \left( \sigma_i - q \right) \left( \sigma_i + 1 \right) = 0 for each i, alongside the original braid relations.^[33] Such mappings connect the braid group to the representation theory of quantum \mathfrak{sl}_2, where the Hecke algebra emerges as a q-deformation of the Temperley-Lieb algebra, capturing link invariants like the Jones polynomial in the limit q \to 1.^[33] A refinement of these structures is provided by the Birman-Murakami-Wenzl (BMW) algebra, which extends the Hecke algebra by introducing an additional invertible generator g_i for each i, satisfying relations such as g_i \sigma_i g_i = (q - q^{-1}) \sigma_i + 1 and g_i^2 = (q + q^{-1} - m) g_i + (q - q^{-1}), where m is a parameter related to the quantum dimension.^[34] This algebra quotients the braid group algebra and incorporates braiding operators from the quantum group U_q(\mathfrak{g}) for a semisimple Lie algebra \mathfrak{g}, enabling representations on tensor products of infinite-dimensional modules where the braid action intertwines highest weight representations.^[34] The BMW algebra thus provides a framework for studying colored braid representations, linking to higher-rank quantum groups beyond \mathfrak{sl}_2. Further infinite-dimensional representations stem from R-matrices associated with Yangians and quantum affine algebras, where the braid generators act via universal R-matrices R \in U_q(\hat{\mathfrak{g}}) \otimes U_q(\hat{\mathfrak{g}}) satisfying the colored Yang-Baxter equation \left( R_{12} R_{13} R_{23} \right) = \left( R_{23} R_{13} R_{12} \right) on multi-fold tensor products of evaluation modules. These representations, derived from the Drinfeld realization of quantum affine algebras U_q(\hat{\mathfrak{g}}), act faithfully on the infinite-dimensional space of symmetric functions or Verma modules, with the braid group action induced by the coproduct structure. A concrete example occurs for the 3-strand braid group B_3, where the representation arises from the quantum group SU(2)_q at q = e^{2\pi i / (k+2)} for integer level k, realized through the Hilbert space of conformal blocks in SU(2) Chern-Simons theory. In this setting, the generators \sigma_1, \sigma_2 act as unitary operators on the infinite-dimensional space spanned by Jones-Wenzl projectors, intertwining integrable representations of SU(2)_k, and the full representation ties directly to the computation of link invariants via surgery on 3-manifolds. Unlike the classical Burau representation, which degenerates from the Hecke representation at q=1 and is unfaithful for n \geq 5, certain quantum representations, such as infinite direct sums of those from SU(2)_q, are faithful on B_n.^[35] This faithfulness ensures that the kernel of the representation is trivial, distinguishing these infinite-dimensional quantum actions from their finite-dimensional classical counterparts.^[35]

Advanced Topics

Infinitely Generated Braid Groups

The infinite braid group B_\infty, also denoted B_\omega, is defined as the direct limit of the finite braid groups B_n as n \to \infty, where each B_n embeds naturally into B_{n+1} by adding an idle strand.^[36] Algebraically, B_\infty is generated by an infinite countable set of elements \{\sigma_i \mid i \in \mathbb{N}\}, subject to the Artin relations: \sigma_i \sigma_j = \sigma_j \sigma_i for |i - j| > 1, and \sigma_i \sigma_{i+1} \sigma_i = \sigma_{i+1} \sigma_i \sigma_{i+1} for all i \geq 1.^[36]^[37] Elements of B_\infty correspond to locally finite braids, consisting of crossings that involve only finitely many strands at a time, ensuring that the infinite collection of strands remains well-defined under the group operation of vertical stacking. The pure infinite braid group P_\infty is the kernel of the natural surjection B_\infty \to S_\infty, where S_\infty is the infinite symmetric group, comprising braids that permute only finitely many strands while returning all others to their original positions.^[37] Key properties of B_\infty include that it is not finitely generated, reflecting the need for infinitely many generators to capture all possible finite-support interactions among strands.^[36] Its center is trivial, meaning no non-identity element commutes with every generator.^[37] Furthermore, B_\infty embeds faithfully into the automorphism group \Aut(F_\infty) of the free group F_\infty on countably many generators, extending Artin's classical representation from the finite case. Geometrically, B_\infty can be realized as the fundamental group of the configuration space of countably many distinct points in the half-plane \mathbb{H}^2, with fixed points accumulating at infinity along the boundary line, allowing strands to extend indefinitely without global tangling. The word problem in B_\infty remains solvable, leveraging the structure of the infinite Garside monoid B_\infty^+, the positive monoid generated by the \sigma_i with the same relations, which admits a Garside normal form for unique representation of elements.^[36]^[38] For example, any element can be expressed as a product of positive and negative powers relative to the infinite Garside element, enabling algorithmic equality checks despite the infinite generation.^[38]

Cohomology

The first cohomology group of the braid group B_n with integer coefficients is H^1(B_n, \mathbb{Z}) \cong \mathbb{Z} for n \geq 2, generated by the homomorphism that sends each standard generator \sigma_i to 1 (the total linking number or writhe of the braid).^[39] This follows from the abelianization of B_n being infinite cyclic. The second cohomology group H^2(B_n, \mathbb{Z}) is trivial for n = 2 and n = 3, and isomorphic to \mathbb{Z}/2\mathbb{Z} for n \geq 4, reflecting the Schur multiplier of B_n.^[40] These low-dimensional computations originate from V. I. Arnold's foundational work on the cohomology of braid groups and configuration spaces.^[41] In the stable regime as n \to \infty, the cohomology ring of the braid groups stabilizes, and its structure is determined by the ring generated by classes arising from the action on configuration spaces. This stable cohomology aligns with the resolution of the Mumford conjecture for the cohomology of mapping class groups of surfaces, proved as a theorem by Madsen and Weiss, which identifies it as the tensor product of the polynomial ring on one generator in degree 4 and an exterior algebra on infinitely many generators in odd degrees greater than or equal to 3. The cohomology of the pure braid group P_n is the exterior algebra generated by \binom{n}{2} classes in degree 1, corresponding to the basic 1-forms on the ordered configuration space \mathrm{Conf}_n(\mathbb{C}), modulo the Arnold relations \omega_{i,j} \wedge \omega_{j,k} + \omega_{j,k} \wedge \omega_{k,i} + \omega_{k,i} \wedge \omega_{i,j} = 0 for distinct i,j,k.^[41] This structure arises from the de Rham cohomology of the Fadell-Neuwirth fibration for pure braid spaces. These cohomology groups have applications to knot invariants, particularly Vassiliev invariants, which arise from the cohomology of braid configuration spaces via contour integrals over singular braids or weight systems on chord diagrams derived from the fundamental group of the complement of the discriminant in the space of braids.^[42] For example, the degree-k Vassiliev invariants correspond to classes in H^k of the associated loop spaces or bar complexes for braids. As a concrete example, the cohomology of B_3 can be computed using the central extension $1 \to \mathbb{Z} \to B_3 \to \mathrm{PSL}(2,\mathbb{Z}) \to 1, where the center is generated by the square of the Garside element \Delta^2; the Lyndon-Hochschild-Serre spectral sequence then relates H^*(B_3, \mathbb{Z}) to the known cohomology of the modular group \mathrm{PSL}(2,\mathbb{Z}), yielding H^1(B_3, \mathbb{Z}) \cong \mathbb{Z} and higher groups involving torsion from the quotient.^[43]

Recent Developments

In the early 2000s, braid groups gained prominence in quantum computing through their role in topological qubits, where anyon braiding provides universal quantum gates robust against decoherence. Michael Freedman's work demonstrated that representations of the braid group on non-Abelian anyons enable simulation of topological field theories, establishing a foundation for fault-tolerant computation. Ongoing efforts at Microsoft Station Q have advanced this by engineering topoconductors to realize Majorana zero modes, whose braiding operations correspond to braid group elements for qubit manipulation. In February 2025, Microsoft unveiled Majorana 1, the world's first quantum processor powered by topological qubits using topoconductors hosting Majorana zero modes.^[44] Recent applications of braid groups in machine learning have emerged in the 2020s, particularly for analyzing topological features in non-Hermitian systems via supervised and unsupervised methods. For instance, machine learning models classify knot topologies in band braids by training on spectral data, revealing patterns in braid group actions that inform non-Hermitian topological phases.^[45] These approaches extend to predicting braid ranks, where neural networks learn invariants from braid words to distinguish conjugacy classes efficiently.^[46] Advancements in representations include faithful constructions over cyclotomic fields via cyclotomic Hecke algebras, which quotient to yield irreducible modules for braid groups. In the 2010s, Geck and Michel's frameworks for complex reflection groups provided tools to classify such representations, ensuring injectivity for specific parameters.^[47] Connections to categorification have deepened through Khovanov homology, where braid actions lift to chain complexes categorifying quantum group representations, as explored in recent extensions to infinite braids.^[48] Key open problems persist, including criteria for full faithfulness of Burau-like representations beyond small n; for n=4, this remains unresolved despite progress on specializations over complex numbers.^[49] The computational complexity of the conjugacy problem in large-n braid groups is also undecided, with evidence suggesting NP-hardness in generalized settings, complicating cryptographic applications.^[50] In the 2020s, braid groups have appeared in string theory via the AdS/CFT correspondence, where defect operators encode braid representations dual to bulk Wilson loops in holographic models.^[51] In biology, braided topologies model protein and chromosome folding; for example, loop braid groups describe amino acid configurations in evolutionary folding pathways, while braiding in cohesion complexes influences energy landscapes for DNA organization.^[52]^[53]

References

[1]
[PDF] Introduction to Braid Groups - UChicago Math
4. The Artin Braid Group. Definition 4.1 The Artin Braid Group on n letters, Bn, is a finitely- generated group with generators σ1,σ2, ...σn−1 which satisfy the ...
[2]
[PDF] Theory of Braids
Jun 22, 2013 · Theory of Braids. Author(s): E. Artin. Source: Annals of Mathematics, Second Series, Vol. 48, No. 1 (Jan., 1947), pp. 101- ...
[3]
[PDF] BRAIDS: A SURVEY - Columbia Math Department
Dec 2, 2004 · Abstract. This article is about Artin's braid group Bn and its role in knot theory. We set our- selves two goals: (i) to provide enough of ...
[4]
[PDF] Tutorial on the braid groups - arXiv
Oct 19, 2010 · The braid groups Bn were introduced by E. Artin eighty years ago [1], although their significance to mathematics was possibly realized a ...
[5]
[PDF] Topological Quantum Information Theory
A class of invariants of knots and links called quantum invariants can be con- structed by using representations of the Artin braid group, and more specifi-.
[6]
[PDF] A calculus for rational tangles: applications to DNA recombination
A calculus for rational tangles: applications to DNA recombination. BY C ... braid group. B3. We write S3 as two 3-balls {BDB2} connected by S2 ><I, and ...
[7]
Theorie der Zöpfe | Abhandlungen aus dem Mathematischen ...
Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg Aims and scope Submit manuscript. Theorie der Zöpfe. Download PDF. Emil Artin. 919 ...
[8]
http://www.jstor.org/stable/1969218
[9]
A Lemma on Systems of Knotted Curves - PNAS
A LEMMA ON SYSTEMS OF KNOTTED CURVES. By J. W. ALEXANDER. D1PARTMENT oP MAMmATICS, PRINcEToN UNIVERSITY. Communicated, February 2, 1923 ... 1923. The Golgi method ...
[10]
[PDF] A Lemma on Systems of Knotted Curves - JW Alexander
Mar 11, 2005 · A LEMMA ON SYSTEMS OF KNOTTED CURVES. BY J. W. ALEXANDER. DEPARTMENT OF MATHEMATICS, PRINCETON UNIVERSITY. Communicated, February 2, 1923.
[11]
Relationships between braid length andthe number of braid strands
Mar 29, 2007 · 1923 when Alexander proved that every oriented knot or link is isotopic to a closed braid [1]. The complicating twist is that this braid is ...Missing: method | Show results with:method
[12]
Braids and the Jones Polynomial - jstor
In [J] Vaughan Jones introduced a new polynomial invariant of oriented knots and links in 3-space. Subsequently a number of researchers (Freyd and Yetter,.
[13]
[PDF] Section 7.3. Braids and Bridges
Mar 11, 2021 · We illustrate this process by drawing the knot 41 as a closed braid. For Step 1 we take the knot diagram and convert it to a polygonal not.Missing: method | Show results with:method
[14]
[PDF] Introduction to Knot Theory
We define the braid index of a link to be the least number of strings in a braid corresponding to a closed braid representation of the link. Example: The ...<|control11|><|separator|>
[15]
Studying links via closed braids IV: composite links and split links
As an immediate Corollary, it follows that braid index is additive (resp. additive minus 1) under disjoint union (resp. connected sum). Article PDF. Download ...
[16]
THE BRAID GROUP AND OTHER GROUPS - Oxford Academic
F. A. GARSIDE; THE BRAID GROUP AND OTHER GROUPS, The Quarterly Journal of Mathematics, Volume 20, Issue 1, 1 January 1969, Pages 235–254, https://doi.org/1.
[17]
None
Below is a merged response that consolidates all the information from the provided summaries into a single, comprehensive overview. To maximize density and clarity, I will use a table in CSV format to organize the key details (statements, contexts, equations, and references) across the different segments. Following the table, I will provide a narrative summary that ties everything together and includes additional notes (e.g., useful URLs) not easily captured in the table.
[18]
[PDF] What is a Braid Group? - OSU Math - The Ohio State University
On the other hand, braids connect to some deep and technical math; indeed, just defining the geometric braid groups rigorously requires a good deal of topology.
[19]
[PDF] 1 Five definitions of the (pure) braid group
Jun 15, 2018 · The pure braid group PBn on n strands is the kernel of the natural surjection Bn → Sn. 2. Page 3. 1 Five definitions of the (pure) braid group.
[20]
[PDF] Braid Groups
Nov 21, 2022 · Definition 1.3. The pure braid group Pn is defined as the kernel of the projection π : Bn 7→ Sn, or in other words, Pn = ker(π : Bn 7→ Sn). The ...
[21]
[PDF] Basic results on braid groups - Numdam
The term braid group was used for the first time by Emil Artin in 1925 [2], although probably these groups were considered for the first time by Hur- witz in ...
[22]
[PDF] Braid Group Cryptography - McMaster University
The strands are numbered from bottom to top. 1. 6. The center of Bn, is generated by ∆2. This is the braid in which every strand crosses.
[23]
[PDF] Geometric approaches to braid groups and mapping class groups
Dn to a puncture corresponds to quotient Bn by its center. The space obtained when collapsing the boundary of Dn to a puncture is the (n + 1)-times punctured ...Missing: disk | Show results with:disk
[24]
[PDF] Local Unitary Representation of the Braid Group and their ...
The generic Temperley-Lieb algebra T Ln(A) is the quotient of the Hecke algebra Hn(q)/I, where I is the ideal generated by uiui±1ui −ui. The generic Temperley- ...
[25]
[PDF] THE BRAID GROUPS
THE BRAID GROUPS. Author(s): R. FOX and L. NEUWIRTH. Source: Mathematica Scandinavica , 1962, Vol. 10 (1962), pp. 119-126. Published by: Mathematica ...
[26]
[PDF] Configuration spaces and braid groups - Imaginary.org
In this snapshot we introduce configuration spaces and explain how a mathematician studies their 'shape'. This will lead us to consider paths of configurations.
[27]
[PDF] The braid group B3 in the framework of continued fractions - arXiv
Aug 5, 2020 · We use the classical interpretation of the braid group B3 as a central extension of the modular group PSL2 (Z) to establish new and fundamental.
[28]
[PDF] Institute for Mathematical Sciences National University of Singapore ...
. The modular group PSL(2,Z) is the quotient of SL(2,Z) by its center {±I}. One can also regard PSL(2,Z) as the group of Möbius transformations of the complex.
[29]
Mapping class groups and their relationship to braid groups
Mapping class groups and their relationship to braid groups. Joan S. Birman, ... March 1969. Pages 213-238. References. Related. Information. Close Figure Viewer.
[30]
[1911.03745] Markov's Theorem - arXiv
Nov 9, 2019 · This survey consists of a detailed proof of Markov's Theorem based on Joan Birman's book "Braids, Links, and Mapping Class Groups" and Carlo ...
[31]
Hecke Algebra Representations of Braid Groups and Link Polynomials
It is expressed using a trace, discovered by Ocneanu, on the Hecke algebras of type. A. A certain specialization of the polynomial, whose discovery predated and.
[32]
https://doi.org/10.1007/BF01098313
[33]
https://annals.math.princeton.edu/1987/126-2/p05
[34]
[math/0409205] Braids: A Survey - arXiv
Sep 13, 2004 · This article is about Artin's braid group and its role in knot theory. We set ourselves two goals: (i) to provide enough of the essential background.
[35]
Hecke algebra representations of braid groups and link polynomials
The paper studies braid group representations to obtain a two-variable polynomial invariant for oriented links, using a trace on Hecke algebras of type A.
[36]
[PDF] Braids, Link Polynomials and a New Algebra - Joan S. Birman
Dec 15, 2004 · The final section of the paper, §6, discusses a possible application of our work to the question of whether the braid group is a linear group.
[37]
Quantum SU(2) faithfully detects mapping class groups modulo center
Nov 23, 2002 · It seems hard to decide the faithfulness of Jones representation but in this direction, we prove: Theorem 5.1 For every braid h 6= 1 ∈ Bn , the ...
[38]
[PDF] New developments in the theory of Artin's braid groups
This is one way in which the braid groups play a role in classical algebraic geometry, as fundamental groups of such spaces of polynomials. Definition 4: The ...
[39]
[PDF] braids.pdf - UiO
[1] Emil Artin. Theory of braids. Ann. of Math. (2), 48:101–126, 1947. [2] Erik Bédos. A ...
[40]
[PDF] garside combinatorics for thompson's monoid f+ and a hybrid ... - HAL
2.3. Using word reversing. The second method for investigating the monoid F+ is word reversing [12], a distillation of an argument that ultimately stems from ...
[41]
[PDF] HOMOLOGY OF BRAID GROUPS AND THEIR GENERALIZATIONS
Arnold proves the following facts about cohomology of the braid groups. Theorem 4.1 (of finiteness). The cohomology groups of the braid groups are finite.
[42]
[PDF] Labelled oriented graph groups and crossed modules
We show how to obtain generators for the Schur Multiplier H2(G) of a LOG group from the underlying LOG, and by exhibiting the n–string braid group. Bn as a LOG ...
[43]
The cohomology ring of the colored braid group | Mathematical Notes
The cohomology ring of the colored braid group. Published: February ... DOI : https://doi.org/10.1007/BF01098313. Share this article. Anyone you share ...
[44]
[PDF] VASSILIEV INVARIANTS I : BRAID GROUPS AND RATIONAL ...
This paper is the first one in a series of papers on Vassiliev invariants and we are dealing here only with braid groups. The present article is a fairly ...
[45]
None
### Summary of Cohomology of Braid Group B3 from arXiv:1204.5390
[46]
Topological Quantum Computation - Microsoft Research
Topological quantum computation uses topological phases of matter, storing information in many-anyon systems and processing by braiding non-abelian anyons.
[47]
Machine learning of knot topology in non-Hermitian band braids
Jun 29, 2024 · Our study shows significant potential of machine learning in classification of knots, braid groups, and non-Hermitian topological phases.Introduction · Results · Method
[48]
[PDF] Using Supervised Learning to Predict the Band Rank of Braids
Dec 13, 2024 · Braid groups, introduced by Emil Artin in the early 20th century, are fundamen- tal structures in the study of topology and algebra.
[49]
Cyclotomic quiver Hecke algebras and Hecke algebra of $ G(r,p,n)
[BMR] Michel Broué, Gunter Malle, and Raphaël Rouquier, Complex reflection groups, braid groups, Hecke algebras, J. Reine Angew. Math. 500 (1998), 127–190 ...
[50]
[1610.04582] The Khovanov homology of infinite braids - arXiv
Oct 14, 2016 · Abstract:We show that the limiting Khovanov chain complex of any infinite positive braid categorifies the Jones-Wenzl projector.Missing: groups | Show results with:groups
[51]
Burau Representation of Braid Groups and q-Rationals
Jan 13, 2024 · Burau. ,. W. “ Über Zopfgruppen und gleichsinnig verdrillte Verkettungen .” Abh. Math. Sem. Univ. Hamburg. 11. (. 1936. ): 179. –. 86 . https:// ...
[52]
[PDF] Computational Problems in the Braid Group with Applications to ...
Mar 18, 2005 · The MINIMAL BRAIDS problem we shall consider below is not known to be in NP, but it is NP-hard. But its complement is NP-complete. For a very ...
[53]
Braid Group Representations and Defect Operators in AdS/CFT ...
May 22, 2025 · This paper investigates the connection between braid group representations, defect operators, and holography within the AdS/CFT framework.Missing: string 2020s
[54]
Chemical evolution of protein folding in amino acids - ScienceDirect
Sep 1, 2020 · The paper uses loop braid groups to define amino acid properties, visualize protein structures, and explain the 20 curvature states in protein ...
[55]
Braiding topology and the energy landscape of chromosome ... - PNAS
Dec 30, 2019 · We find that the coiled-coil regions of the complexes braid together, and this braiding is coupled to the movements of the head domains, which are ATPase ...