braid group
Generated by GPT-5-miniExpansion Funnel Raw 68 → Dedup 27 → NER 17 → Enqueued 15
| braid group | |
|---|---|
| Name | Braid group |
| Notation | B_n |
| Type | Infinite discrete group |
| Generators | σ_1, …, σ_{n-1} |
| Relations | σ_i σ_j = σ_j σ_i ( |
| >1), σ i σ {i+1} σ i | σ_{i+1} σ_i σ_{i+1} |
braid group The braid group is an algebraic object arising from intertwining strands that encodes both algebraic and geometric information. It appears in the work of Emil Artin, connects to the topology of Configuration spaces, and influences areas such as Knot theory, Quantum field theory, and algorithmic problems in Cryptography. The structure unites contributions from Camille Jordan, Wilhelm Magnus, and modern developments linked to Vaughan Jones and Edward Witten.
Definition and basic examples
A basic definition was given by Emil Artin using generators and relations that generalize the symmetric group's presentation and mirror the Artin braid relations studied by Arthur Cayley and Sophus Lie. For n = 2 the group is isomorphic to the infinite cyclic group featured in examples studied by Augustin-Louis Cauchy and Niels Henrik Abel; for n = 3 it maps onto the modular group studied by Felix Klein and appears in computations by Henri Poincaré. Classical examples appear in papers by Oscar Zariski relating braids to monodromy in work connected to Riemann surfaces and to mapping class group phenomena investigated by Max Dehn.
Algebraic structure and presentations
The standard presentation uses generators σ_i subject to relations that were formalized by Emil Artin and later analyzed with techniques from Wilhelm Magnus and John Stallings. Algebraic properties such as center, torsion, and orderability were studied by Graham Higman, Dehornoy, and Ivanov with connections to the theory of Garside structures developed after insights from F. A. Garside and refinements by Patrick Dehornoy. The link with the symmetric group via the natural surjection to S_n features in classic articles by Arthur Cayley and later computational group theory work by Serge Lang and Jean-Pierre Serre.
Geometric interpretation and configuration spaces
Geometrically the group is the fundamental group of a configuration space of n labeled points in the plane, a viewpoint used by Hassler Whitney and Raoul Bott in the study of singularity and homotopy theory. This viewpoint connects to braid monodromy in algebraic geometry investigated by Zariski and to mapping class group actions featured in the work of William Thurston and Benson Farb. Relations to configuration spaces of surfaces link to research by Dennis Sullivan, Michael Weiss, and the study of operads by Peter May.
Representations and linearity
Representations such as the Burau representation and the Lawrence–Krammer representation trace back to computations by Wilhelm Burau and were proven faithful for small n in breakthroughs by Stephen Bigelow and Daan Krammer; these results influenced work by Vaughan Jones and Louis Kauffman on polynomial invariants. Connections to Hecke algebras and quantum groups tie into the theories of Drinfeld and Vladimir Drinfeld and were applied by Edward Witten in topological quantum field theory contexts related to Chern–Simons theory.
Applications and connections (knot theory, cryptography, physics)
Braids encode knot and link invariants via closure operations used by Alexander, Hermann Seifert, and Vaughan Jones to produce polynomial invariants exploited in low-dimensional topology pursued by William Thurston and John Conway. In cryptography proposals by Ishai Ben-David and others adapted braid-based protocols studied by Romulus Cernazanu-Glavan and Ko et al. drew attention alongside critiques from researchers in computational complexity such as Odlyzko and Petrank. In physics, braid statistics appear in descriptions of anyons in Frank Wilczek's work and in models by Alexei Kitaev and Nayak within topological quantum computation and condensed matter studies by Philip W. Anderson.
Variations and generalizations
Generalizations include braid groups of surfaces analyzed by John Birman and Birman–Hilden theory, pure braid groups examined by Fadell and Neuwirth, and Artin groups of finite and infinite type studied by Eugene Artin descendants and Brieskorn with connections to reflection groups classified by H.S.M. Coxeter and Shephard–Todd. Further extensions such as virtual braids introduced by Louis Kauffman and welded braids explored by Brendle and Hatcher broaden links to automorphism groups of free groups researched by Magnus and Nielsen.