組み紐 (数学)

提供: miniwiki
移動先:案内検索
ファイル:Tresse math.svg
ブレイドの例

数学における組み紐(くみひも)またはブレイド (braid) とは、垂れ下がる何本かの紐を適当に編んでできる図形を抽象化した数学的対象である。組み紐全体の集合がを成すこと、幾何的対象の絡みを表す様子として次元がもっとも低いものであることなどから多様な分野に姿を現す。

定義

幾何的側面

区間 [0,1] の n 個のコピーを 立方体 D2 × [0, 1] へ滑らかに埋め込んだものが以下の条件をみたすとき、n-ブレイド と呼ぶ。

  • 各区間の座標 t に対応する点は立方体の平面 {(x,y,z) | z = t} の一点に写る。
  • 各区間の t = 0 に対応する端点は y 軸に平行に等間隔に並ぶ。t = 1 に対応する端点も同様。

境界を動かさない立方体の連続変形で写りあうブレイドを同一視することにする。

定義の一つ目の条件から、ブレイドの各連結成分の各点での方向ベクトルは正の z 成分を持つ。特にブレイドの各成分は極大点極小点を持たない。

この様子を、平面内をぶつからずに運動する n 個の点の軌跡とみることもできる。 [math]X=D^2[/math] として、[math]\{(x_1,x_2,\dots,x_n)\in X^n|i\neq j\Rightarrow x_i\neq x_j\}[/math]対称群作用で割ってできる空間 [math]C_X[/math] を考えると、[math]C_X[/math]閉道はブレイドであり、適当な基点 p のもと基本群 [math]\pi_1(C_X,p)[/math] がブレイド群(次節参照)となる。

代数的側面

集合 {σ1, σ2, ..., σn−1} から生成され、次の二つの関係式を満たす群を n-ブレイド群 (n-braid group) と呼び、Bn で表す。またその元をブレイドと呼ぶ。

  1. [math]\sigma_i\sigma_j = \sigma_j\sigma_i[/math]   ([math]|i-j|\ge 2[/math])
  2. [math]\sigma_i\sigma_{i+1}\sigma_i = \sigma_{i+1}\sigma_i\sigma_{i+1}[/math]   ([math]1\le i\le n-2[/math])

二番目の関係式を組み紐関係式 (braid relation) と呼ぶ。

生成元 σi を、i 番目と i + 1 番目のひもを半回転ひねってできるブレイドとみなすことで幾何的なブレイドの定義と対応する。また、σi−1i 番目と i + 1 番目のひもを逆向きに半回転ひねったブレイドと対応する。

  • nm のとき、 Bn から Bm への埋め込みが存在する。
  • 写像 σ1si によって n-ブレイド群から n対称群への自然な全射が定まる (sin次対称群の生成元)。
  • 対称群への自然な全射の純ブレイド群 (pure braid group) と呼ぶ。

絡み目との関係

ブレイドの上端と下端の点を順につなぐことで絡み目ができる。逆に任意の絡み目はあるブレイドの上端と下端をつないだものとみなすことができる。但し、一般にある絡み目に対応するブレイドは複数存在する。

二つのブレイドから同じ絡み目がつくられるための必要十分条件は、ブレイドとしての同値を表す移動と以下のマルコフ操作(Markov move) を繰り返して片方のブレイドを他方に変形できることである。

  1. b1b2 の形で書かれているブレイドを b2b1 に変形する。
  2. n -ブレイド bφn(b)σn に変形する、または逆向きの操作で変形する。ただし、φnBn の生成元 σiBn+1σi に写すことで得られる埋め込みである。

マルコフ操作の両方を一種類の操作で実現できることを 1997年に Lambropoulou と Rourke が示した[1]

表現

ブレイド群から対称群への自然な全射が存在することから、対称群の表現をもとにブレイド群の表現を構成し、考察されることがある。特に、対称群の表現をパラメータを入れて変形したものは岩堀-ヘッケ代数量子群とも関連し盛んに研究された。

  • 行列表現(スタブ)
  • ブレイド群の有限次元表現が与えられたとき、それによるブレイドの行列表現のトレースはマルコフ操作の一つ目で不変となる。これによりブレイドの表現から絡み目の不変量を構成する一つの指針が得られる。実際、ジョーンズ多項式は表現のトレースをマルコフ操作の二つ目でも不変になるように補正することで得られた。
  • カテゴリー表現(ブレイディング)(スタブ)

性質

  • ブレイド群は語の問題(1926年にアルティンが解決[2]))、共役問題(Garside が解決)が解ける群である。
  • ブレイド群 B1自明な群、B2無限巡回群B3 は無限非可換群で三葉結び目結び目群(補空間の基本群)と同型である。
  • 自明なブレイド(ブレイド群の単位元)以外のブレイド b の冪 bn は任意の n に対して自明でない。つまりブレイド群はねじれ元を持たない。
  • n≥3 のとき、ブレイド群 Bn は二元生成の自由群を部分群として持つ。
  • 不変量(スタブ)

脚注

  1. S. Lambropulou, C. P. Rourke, Markov's theorem in 3-manifolds, Topology and its Applications 78(1997), 95--122
  2. J. Stillwell, The word problem and the isomorphism problem for groups, Bull. AMS (N.S.) Vol 6(1) (1982), 33--56.

参考文献

  • 村杉邦男 『結び目理論とその応用』 日本評論社, 1993年. ISBN 978-4535781993。
  • C. Kassel and V. Turaev, Braid Groups, Graduate Texts in Mathematics 247, Springer, 2008. ISBN 978-0387338415.

関連項目

テンプレート:Knottheory-stub