ブレイド群

数学において**ブレイド群**（braid group、**組みひも群**とも呼ぶ）とは、直観的には平行に張られた複数の紐（braid）において、その隣り合う紐を交差させる操作を生成元とし、常に同じ絡まり方を生じる異なる交差操作の等式を関係式とする群である。特に紐が本のときこの群をと書く。

ブレイド群は1925年にエミール・アルティンにより初めて明確に定義された。しかしそれ以前にの基本群として、1891年のアドルフ・フルヴィッツのモノドロミーの論文において暗に現れており、更に遡ってガウスもアルティンと同様の着想を得ていたとも考えられている。

## 定義

### 特殊なnの場合
以下n=4とする。

一列に並んだ4点が二組あり、それらの間を結ぶ平行な紐が4本ある下図（以下eにより参照）のような状況を考える。

これらの紐に対し隣同士の紐を交差させる以下の3つの操作\sigma_1, \sigma_2, \sigma_3を考える。

これらの紐の交差においては上下を区別しており、例えば以下は\sigma_1とは異なる操作と看做される（これは後述の積の定義により\sigma_1の逆元である\sigma_1^{-1}と看做せる）。

\sigma_1, \sigma_2, \sigma_3及び、その交差の上下を逆にした操作を繰り返して得られる一つの具体的な紐の状態を**ブレイド**又は**組紐**と呼ぶ（以下上図の\sigma_1, \sigma_2, \sigma_3自身もブレイドとも看做すこととする）。

二つのブレイドa, bがあるとき、aの右にbを繋げaの元の左の端点とbの右の端点を新たな端点とするブレイドを、aとbの積abと定義する。
以下に例を示す。

任意のブレイドと、冒頭のブレイドeの積は元のブレイドを変えない（即ちeは単位元）。
また任意のブレイドに対し、その右端の全点を通る縦線を軸として鏡映反転させたブレイドとの積を取るとeとなるため、常に逆元が存在することがわかる。
従ってブレイドは上記の積に関して群となり、この群がB_4である。
定義よりB_4の任意のブレイドを\sigma_1, \sigma_2, \sigma_3及び、その逆元の積として表現することができる。

B_4を\sigma_1, \sigma_2, \sigma_3を生成元とする群とみたとき、その基本関係式は下記1~3と定められる。これらは本質的に同じ絡まり方を表すブレイドに関する等式であり、1は対象に共通の紐がない交差操作は可換であることを示す条件で、2及び3はライデマイスター移動III型の同値性に相当する。

# \sigma_1 \sigma_3 = \sigma_3 \sigma_1
# \sigma_1 \sigma_2 \sigma_1 = \sigma_2 \sigma_1  \sigma_2
# \sigma_2 \sigma_3 \sigma_2 = \sigma_3 \sigma_2 \sigma_3

### 一般のnの場合

この例を  本の紐へ一般化して、群 は次の表示により定義される。

:B_n= \left \langle
\sigma_1,\ldots,\sigma_{n-1}|
\sigma_i\sigma_j=\sigma_j\sigma_i
,\sigma_i\sigma_{i+1}\sigma_i=\sigma_{i+1}\sigma_i\sigma_{i+1} \right
\rangle\ . 

ここに、最初の等式では であり、第二の等式ではである。

これらの関係式は**ブレイド関係式**（braid relations）と呼ばれている。

## 基本的性質

*  は自明な群、 は無限巡回群  であり、 は三葉結び目の結び目群と同型である。

*  に対し、 は 2つの生成元を持つ自由群と同型な部分群を含む。従ってこれらの群は非可群な無限群である。

* 単位元を除くすべての  の元は、その位数が無限である。即ち、 は捩れを持たない。

*  上には、と呼ばれる左不変な全順序が存在する。

## ブレイドの解釈

### 結び目としての解釈

ブレイドの両端をつなげることにより一つの結び目又は絡み目が得られる。
逆に、すべての結び目と絡み目は少なくとも一つのブレイドとして表現可能であることが知られている（アレクサンダーの定理）。
ブレイドは生成子 に関する語(word)として与えられるため、計算機プログラムで結び目を扱う方法として採用されている。

### 写像類群とブレイドの分類への関係
ブレイド群  は、 個の穴を有する円板の(mapping class group)と同型であることを示すことができる。これは直感的には、写像類群の各元が穴同士を入れ替えるので、元の作用前後の同じ位置にある穴を繋ぐ紐の集合をブレイドと看做すことでブレイドと対応させることができることによる。

写像類群の元に関する(Nielsen-Thurston classification)によって、ブレイドを周期的、可約、擬アノソフの3種類に分類することができる。

## ブレイド群の作用
置換による対称群の作用と類似して、様々な数学的設定における個の対象の組や重のテンソル積に対して、ブレイド群は以下の自然な作用を有する。

 を任意の群、 を  の元のすべての 個の組の集合で、それらの積が  の単位元となる集合とすると、\sigma \in B_n, \{x_i\}\in Xに対する以下の写像は の上へのの作用である。

:  \sigma_i \left (x_1,\ldots,x_{i-1},x_i, x_{i+1},\ldots, x_n \right)= \left (x_1,\ldots, x_{i-1}, x_{i+1}, x_{i+1}^{-1}x_i x_{i+1}, x_{i+2},\ldots,x_n \right ). 

この対応は、成分 と  の位置を交換し、更にをに関する内部自己同型を付加しただけであるため、作用後の元の成分の積が再び単位元であることが保証される。また、これがブレイド群の関係式を満たすことも確認できる。

別な例として、ブレイド群の作用を持つモノイダル圏として(braided monoidal category)が考えられている。そのような構造は、現代の数理物理学で重要な役目を果し、量子結び目不変量を導く。

## ブレイド群の表現
ブレイド群  の線形表現として古典的なや、が知られている。

Burau表現は、1変数の整係数ローラン多項式環の一般線形群への表現と看做せる：
: B_n \to GL_{n-1}(\Z[\Z]). 

Burau表現が忠実であるか否かは長い間問題となっていたが、 に対しては否定的であることが判明した。

Lawrence-Krammer(-Bigelow)表現は、2変数の整係数ローラン多項式環の一般線形群への表現と看做せる：
: B_n \to GL_{\binom n2}(\Z[\Z^2]). 

2001年頃Stephen BigelowとDaan Krammerが独立に、この表現を用いてすべてのブレイド群が線型であることを証明した。

1996年、C. Nayakとフランツ・ウィルチェック(Frank Wilczek)は、の射影表現の類似として、ブレイド群の射影表現が分数量子ホール効果における準粒子に関する物理的意味を有することを提唱した。

## その他
### 計算関係
ブレイドには生成元による正規化表現が存在し、ブレイドの(word problem)を効率的に処理することができる。
実際数式処理システムには、生成元で与えられたブレイドに対してこの問題を解くことができるものがある。
語の問題は、(Lawrence-Krammer representation)を通しても効率的に解くことができる。

その他、ブレイド群に関する計算論的に難しい問題があるため、暗号理論への応用が提案されている。

### とモジュラー群の関係

ブレイド群 B3は、モジュラー群\Gammaの中心拡大（central extension）である。即ち、B_3の中心をZ(B_3)により表すとき以下の短完全列を満たす：

:1 \to Z(B_3) \to B_3 \to \Gamma \to 1

従って\Gamma \cong B_3/Z(B_3)である。

## 関連する群

### 純粋ブレイド群
ブレイドの紐の交差の上下を無視すると、 本の紐のブレイドは  個の元の置換を定める。実際ブレイド \sigma_i \in B_nの像を隣接互換  とする写像は、ブレイド群から対称群への全射群準同型  である。
この準同型  の核を**純粋ブレイド群**（pure braid group）と呼び、 と書く。即ち純粋ブレイド群は以下の短完全列を満たすものである。

: 1\to P_n \to B_n \to S_n \to 1.

純粋ブレイド群は、その元が単位置換に写像されるものであるため、幾何学的には各々の紐において起点と終点が必ず同じ位置にあるブレイドの全体と解釈することができる。

また純粋ブレイド群は、以下の分裂する短完全系列を満たすため、一般論から自由群の半直積を繰り返し取ったものと看做すこともできる。

: 1\to F_{n-1} \to P_n \to P_{n-1}\to 1.

## 関連事項
* 組みひも理論
* (Non-commutative cryptography）

## 脚注
### 注釈

### 出典


## さらに先の書籍

*. In 
*
*
*

## 外部リンク
*
*CRAG: CRyptography and Groups at Algebraic Cryptography Center Contains extensive library for computations with Braid Groups
*
*Stephen Bigelow's exploration of B5 Java applet.
*
*Braid group: List of Authority Articles on arxiv.org.