Örgü grubu

Matematikte, Artin Örgü Grubu olarak da bilinen n iplik üzerindeki örgü grubu ($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.

Tarihi

Ö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), 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.

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

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

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

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

Temel Özellikler

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

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

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

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

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

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

ve

$\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 

$\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ü $\mathbf {B_{4}}$'ü temsil eder.

    ve 

Konfigürasyon Uzayı ile İlişkisi

Kompleks uzayda $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:

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

Pür Örgü Grubu

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

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

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

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

Diğer Özellikler

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

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

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

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