Artin braid group

Artin braid group
Name	Artin braid group
Generators	σ₁, σ₂, ..., σ_{n-1}
Relations	σ_i σ_j = σ_j σ_i (
>1); σ i σ {i+1} σ i	σ_{i+1} σ_i σ_{i+1}
Type	Infinite non-abelian group
Introduced	Emil Artin (1925)

Artin braid group

The Artin braid group is a family of groups defined for each positive integer n that encode the algebraic structure of braiding n strands; they were introduced by Emil Artin and have deep connections to Emmy Noether, Hermann Weyl, Henri Poincaré, William Thurston, and John Milnor. These groups arise in studies by Max Dehn, Jakob Nielsen, Vladimir Arnold, and Michael Atiyah and link areas investigated at institutions like Institute for Advanced Study, Princeton University, University of Göttingen, and University of Bonn.

Definition and presentations

The standard presentation of the nth group B_n uses generators σ_1,...,σ_{n-1} with relations given by Artin in the 1920s; this presentation was studied further by W. Magnus, Otto Schreier, Gustav Tannery, and Reidemeister. The defining relations are the far-commutativity relations σ_i σ_j = σ_j σ_i for |i−j|>1 and the braid relations σ_i σ_{i+1} σ_i = σ_{i+1} σ_i σ_{i+1}, connections that appear in work by Issai Schur, Richard Brauer, Emil Fischer, and Ludwig Sylow. Variants and extensions include the pure braid group P_n studied by Arnold, the affine braid groups considered by John McKay, and the virtual braid groups examined by researchers at University of Warwick and Seoul National University.

Algebraic properties

B_n is infinite, torsion-free, and residually finite, properties explored in papers by Graham Higman, John Conway, G. A. Miller, and Hans Zassenhaus. The center of B_n is infinite cyclic for n≥3, a fact proved in literature involving Charles Coxeter, Donald Knuth, and Francesco Garside. Garside theory, developed by Frank Garside and expanded by Patrick Dehornoy, Daan Krammer, and Bruno Guaschi, provides solutions to the word and conjugacy problems; these algorithms were implemented in software from groups at Université Paris-Sud and University College London. B_n admits a lattice structure on positive braids connected to work by A. Ocneanu and Vaughan Jones.

Geometric and topological interpretations

Geometrically B_n is the mapping class group of an n-punctured disk studied by William Thurston, Athanase Papadopoulos, Howard Masur, and Yair Minsky. Topologically it equals the fundamental group of the configuration space of n unordered points in the plane, a viewpoint developed by Henri Poincaré, Vladimir Arnold, Michel Boileau, and Benson Farb. Visual braid diagrams and Reidemeister moves link to knot tables created by Alexander Brunn, Horst Schubert, Kenneth Perko, and Dale Rolfsen; surface braid generalizations were studied by Nikolai V. Ivanov and Joan Birman.

Representations and linearity

Linear representations of B_n include the Burau representation investigated by Werner Burau and critiqued by John Birman and Stephen Bigelow, and the faithful Lawrence–Krammer representation established by Ruth Lawrence, Daan Krammer, and Stephen Bigelow—work recognized in seminars at University of California, Berkeley, University of Cambridge, and ETH Zürich. Quantum group representations coming from Vladimir Drinfeld, Michio Jimbo, and Louis Kauffman produce link invariants such as those of Vaughan Jones and modules used by Edward Witten in topological quantum field theory. Categorifications and homological representations relate to projects by Mikhail Khovanov, Jacob Rasmussen, Paul Seidel, and Ivan Smith.

Connections to mapping class groups and configuration spaces

B_n injects into mapping class groups of surfaces and appears in exact sequences studied by John Birman and Benson Farb; these relationships were developed further by Dan Margalit and Alan Reid. The identification of B_n with π_1 of configuration spaces of points in ℂ links to classical studies by Arnold and modern moduli space research at Institut des Hautes Études Scientifiques, Harvard University, and Max Planck Institute for Mathematics. Fiber bundle structures and monodromy representations involving Pierre Deligne, Nicholas Katz, Alexander Beilinson, and André Weil connect braid actions to Gauss–Manin connections and to algebraic geometry studied at Institut Henri Poincaré.

Applications in knot theory and physics

Braids encode knot and link data via the Alexander and Markov theorems used by J. W. Alexander, John Conway, and Vaughan Jones to study polynomial invariants; these techniques underpin knot tables compiled at Princeton University and University of Toronto. In physics, braid group statistics model anyons studied by Frank Wilczek and theoretical frameworks by Edward Witten, Gregory Moore, Nicolas Read, Michael Freedman, and Alexei Kitaev in topological quantum computation. Chern–Simons theory, conformal field theory by Belavin–Polyakov–Zamolodchikov, and quantum Hall effect research at Bell Labs and Harvard Medical School exploit braid representations; applications also appear in models developed at Los Alamos National Laboratory and Microsoft Research.

Category:Braid groups