Örgü grubu

Matematikte, Artin Örgü Grubu olarak da bilinen n iplik üzerindeki örgü grubu (${\displaystyle B_{n}}$ ile gösterilir), elemanları n-örgülerin denklik sınıfları olan gruptur. Örgü gruplarının örnek uygulamaları arasında düğüm teorisi (knot theory), matematiksel fizikte; Artin'in örgü grubunun Yang-Baxter denklemine karşılık geldiği kanonik sunumu (matematiksel fizik konusu) ve cebirsel geometrinin monodromy değişmezleri yer alırlar.

Örgü grupları, 1925'te Emil Artin tarafından açık bir şekilde tanıtıldı, ancak (Wilhelm Magnus'un 1974'te işaret ettiği gibi^[1]), Adolf Hurwitz'in, 1891 yılı "Monodromy" çalışmasında zaten üstü kapalı bir şekilde geçiyordu. 1947'de Emil Artin tarafından açıkça tanımlanabileceği gibi, Örgü grupları ayrıca daha derin bir matematiksel yorumla da tanımlanır: belirli konfigürasyon uzaylarının temel grubu olarak.^[2]

${\displaystyle I=[0,1]}$ aralığı olmak üzere aşağıdaki şartları sağlayan ${\displaystyle b\subset \mathbb {R} ^{2}\times I}$ kümesine n-ipli örgü denir.

⋅ ${\displaystyle b}$ kümesi ${\displaystyle n}$ tane ayrık ipten oluşur. Bu iplerin her biri ${\displaystyle \mathbb {R} ^{2}\times I\to I}$ projeksiyonu altında ${\displaystyle I}$ birim aralığına homeomorfdur. Kısacası her ip ${\displaystyle z=t,0\leq t\leq 1}$ düzleminden sadece bir kere geçmektedir.

⋅ ${\displaystyle b\cap (\mathbb {R} ^{2}\times \{0\})=\{(1,0),(2,0),...,(n,0)\}\times \{0\}}$

⋅ ${\displaystyle b\cap (\mathbb {R} ^{2}\times \{1\})=\{(1,0),(2,0),...,(n,0)\}\times \{1\}}$

${\displaystyle n}$ tane ipten oluşan ve ${\displaystyle B_{n}}$ olarak gösterilen bir Artin örgü grubu, ${\displaystyle n\geq 2}$ için ${\displaystyle \sigma _{1},\sigma _{2},\ldots ,\sigma _{n-1}}$ üreteçleri ile üretilen ve aşağıdaki ilişkileri sağlayan bir gruptur.

i) ${\displaystyle \sigma _{i}\sigma _{j}=\sigma _{j}\sigma _{i},\ |i-j|\geq 2}$

ii) ${\displaystyle \sigma _{i+1}\sigma _{i}\sigma _{i+1}=\sigma _{i}\sigma _{i+1}\sigma _{i},\ 1\leq i\leq n-2}$

Kısaca ${\displaystyle B_{n}=\langle \sigma _{1},\sigma _{2},\ldots ,\sigma _{n-1}\rangle }$ şeklinde de gösterilir.

${\displaystyle \mathbf {B_{1}} }$ örgü grubunda tüm örgüler tek bir ip üzerinde oluşur. Trivial bir gruptur.

${\displaystyle \mathbf {B_{2}} }$ grubundaki örgüler iki ipin bükülmesi ile oluşur. Bir yönde bir büküm vererek ${\displaystyle +1}$ değeri ve diğer yönde bir büküm ile ${\displaystyle -1}$ değeri elde edilir. Bu sayede ${\displaystyle B_{2}}$ grubunun ${\displaystyle (\mathbb {Z} ,+)}$ grubuna izomorfik olduğu görülür.

ve

${\displaystyle \mathbf {B_{3}} =\langle \sigma _{1},\sigma _{2}\ |\ \sigma _{1}\sigma _{2}\sigma _{1}=\sigma _{2}\sigma _{1}\sigma _{2}\rangle }$ grubu sonsuzdur ve değişmeli değildir. Elemanları aşağıdaki gibidir.

     ve 

${\displaystyle \mathbf {B_{4}} =\langle \sigma _{1},\sigma _{2},\sigma _{3}\ |\ \sigma _{1}\sigma _{2}\sigma _{1}=\sigma _{2}\sigma _{1}\sigma _{2}\ ,\ \sigma _{2}\sigma _{3}\sigma _{2}=\sigma _{3}\sigma _{2}\sigma _{3}\ ve\ \sigma _{1}\sigma _{3}=\sigma _{3}\sigma _{1}\rangle }$grubundaki her örgü bu 3 örgü ve tersleri ile yazılabilir, bu yüzden bu 3 örgü ${\displaystyle \mathbf {B_{4}} }$'ü temsil eder.

    ve 

Kompleks uzayda ${\displaystyle n}$ tane sıralı ve birbirinden farklı nokta düşünelim. Bu noktaların oluşturduğu konfigürasyon uzayı aşağıdaki gibi tanımlanır:

 ${\displaystyle \operatorname {M_{n}} =\{(z_{1},\ldots ,\ z_{n})\in \mathbb {C} ^{n};\ z_{i}\neq z_{j},\ \forall i\neq j\}}$

${\displaystyle n}$ ipten oluşan pür örgü grubu ${\displaystyle \operatorname {PB_{n}} }$ ile gösterilir ve ${\displaystyle \operatorname {M_{n}} }$ uzayının temel grubudur. ${\displaystyle \operatorname {PB_{n}} =\pi _{1}(\operatorname {M_{n}} )}$

Bir pür örgü ${\displaystyle \beta \in \pi _{1}(\operatorname {M_{n}} )}$, ${\displaystyle \operatorname {M_{n}} }$ uzayı içerisinde bir düğümdür. Yani, aynı noktada başlayıp aynı noktaya geri döner.

${\displaystyle \beta \colon [0,1]\to \operatorname {M_{n}} }$

${\displaystyle t\mapsto \beta (t)=(\beta _{1}(t),\ldots ,\beta _{n}(t))}$

${\displaystyle n=1}$ için ${\displaystyle \operatorname {M_{1}} =\mathbb {C} }$'dir. Rastgele bir ${\displaystyle z\in \operatorname {M_{1}} }$ alalım. O halde ${\displaystyle 1}$ ipli pür örgü grubu ${\displaystyle z}$'den ${\displaystyle z}$'ye giden morfizmaların kümesi olur. Sonuç olarak ${\displaystyle \pi _{1}(\operatorname {M_{1}} )=\langle \operatorname {id} _{z}\rangle }$ elde edilir.

${\displaystyle n=2}$ olsun. O halde ${\displaystyle \operatorname {M_{2}} =\{(z_{1},z_{2})\in \mathbb {C} ^{2}|\ z_{1}\neq z_{2}\}}$ olur. Bu uzayın temel grubu ${\displaystyle \mathbb {Z} }$ kümesine izomorftur. Sonuç olarak ${\displaystyle \operatorname {PB_{2}} \cong \mathbb {Z} }$.

${\displaystyle \mathbf {SL_{2}(\mathbb {Z} )} }$ Özel lineer grup olarak adlandırılır, determinantı ${\displaystyle 1}$ olan ${\displaystyle 2\times 2}$ tam sayı matrislerinin grubudur.

${\displaystyle \mathbf {PSL_{2}(\mathbb {Z} )} }$ Projektif özel lineer grup olarak adlandırılır, ${\displaystyle \mathbf {SL_{2}(\mathbb {Z} )} /}$ {${\displaystyle \pm I}$}' e eşittir, öyle ki ${\displaystyle I}$, ${\displaystyle 2\times 2}$ birim matrislerdir.