Burau gösterimi - Burau representation

İçinde matematik Burau gösterimi bir temsil of örgü grupları, adını ve aslen Alman matematikçi tarafından incelenen Werner Burau[1] 1930'larda. Burau gösterimi iki yaygın ve neredeyse eşdeğer formülasyona sahiptir, indirgenmiş ve indirgenmemiş Burau temsilleri.

Tanım

Kaplama alanı Cn somut olarak şu şekilde düşünülebilir: diski sınırdan işaretli noktalara doğru çizgiler boyunca kesin. Tam sayılar olduğu kadar sonucun çok sayıda kopyasını alın, bunları dikey olarak istifleyin ve bir seviyede kesimin bir tarafından aşağıdaki seviyede kesimin diğer tarafına giden rampalarla bağlayın. Bu prosedür burada gösterilmiştir n = 4; kaplama dönüşümleri t±1 alanı dikey olarak kaydırarak hareket edin.

Yi hesaba kat örgü grubu Bn olmak eşleme sınıfı grubu ile bir diskin n işaretli noktalar Dn. homoloji grubu H1(Dn) ücretsiz rütbe değişkeni n. Dahası, değişmez alt uzayı H1(Dn) (eylemi altında Bn) ilkel ve sonsuz döngüseldir. İzin Vermek π : H1(Dn) → Z bu değişmez altuzayın izdüşümü olabilir. Sonra bir var kaplama alanı Cn bu projeksiyon haritasına karşılık gelir. Yapımındaki gibi Alexander polinomu, düşünmek H1(Cn) kaplama dönüşümlerinin grup halkası üzerinde bir modül olarak Z[Z]halkası için izomorfik olan Laurent polinomları Z[t, t−1]. Olarak Z[t, t−1]-modül, H1(Cn) rütbesiz n − 1. Temel teorisine göre kaplama alanları, Bn Üzerinde davranır H1(Cn)ve bu gösterime azaltılmış Burau temsili.

indirgenmemiş Burau temsili benzer bir tanımı vardır, yani biri yerine geçer Dn onunla (gerçek, odaklı) patlama işaretli noktalarda. Sonra düşünmek yerine H1(Cn) göreceli homoloji düşünülür H1(Cn, Γ) nerede γDn sınırın bir parçasıdır Dn disk sınırındaki bir nokta ile birlikte patlama işlemine karşılık gelir. Γ kaldırma anlamına gelir γ -e Cn. Olarak Z[t, t−1]-modül bu rütbesiz n.

Tarafından homoloji bir çiftin uzun kesin dizisi Burau temsilleri kısa ve kesin bir diziye uyar

0 → VrVsenDZ[t, t−1] → 0,

nerede Vr (resp. Vsen) indirgenmiş (veya indirgenmemiş) Burau Bn-modül ve DZn diyagonal alt uzayın tamamlayıcısıdır, başka bir deyişle:

ve Bn Üzerinde davranır Zn permütasyon temsili ile.

Açık matrisler

İzin Vermek σben örgü grubunun standart jeneratörlerini belirtir Bn. Daha sonra indirgenmemiş Burau temsili, haritalama yoluyla açıkça verilebilir

için 1 ≤ benn − 1, nerede benk gösterir k × k kimlik matrisi. Aynı şekilde n ≥ 3 indirgenmiş Burau temsili,

süre için n = 2, eşlenir

Bowling salonu yorumu

Vaughan Jones[2] pozitif örgülerin indirgenmemiş Burau temsilinin aşağıdaki yorumunu verdi t içinde [0,1] - ör. Standart örgü grubu oluşturucularda tersi olmayan kelimeler olan örgüler için - yukarıdaki açık açıklamadan hemen sonra:

Olumlu bir örgü verildiğinde σ açık n bir bowling salonu olarak yorumlayın n iç içe geçmiş şeritler. Şimdi şeritlerden birine bir bowling topu atın ve yolunun başka bir şeridin üzerinden geçtiği her geçişte, olasılıkla yere düştüğünü varsayın. t ve alt şerit boyunca devam ediyor. Sonra (ben,j)indirgenmemiş Burau temsilinin girişi σ topun atılma olasılığıdır. benşerit, jşerit.

Alexander polinomuyla ilişki

Bir düğüm K bir örgünün kapanması f içinde Bn, sonra bir birimle çarpmaya kadar Z[t, t−1], Alexander polinomu ΔK(t) nın-nin K tarafından verilir

nerede f örgünün indirgenmiş Burau temsilidir f.

Örneğin, eğer f = σ1σ2 içinde B3yukarıdaki açık matrisler kullanılarak bulunur

ve kapanış f* Alexander polinomu olan unknot 1.

Sadakat

İlk sadakatsiz Burau temsilleri, John A. Moody tarafından bilgisayar kullanılmadan bulundu. sargı numarası veya kontur entegrasyonu.[3] Darren D. Long ve Mark Paton sayesinde daha kavramsal bir anlayış[4] bağlantı veya sargıyı nereden geldiği şeklinde yorumlar Poincaré ikiliği bir kaplama alanının temel noktasına göre birinci homolojide ve kavşak formu (özelliklerini keşfeden ilk kişi Craig Squier olduğu için geleneksel olarak Squier'in Formu olarak adlandırılır).[5] Stephen Bigelow Burau temsilinin sadık olmadığını göstermek için kombine bilgisayar teknikleri ve Long Paton teoremi n ≥ 5.[6][7][8] Bigelow ayrıca, örgü grubunun standart üreticilerinde bir kelime olarak çekirdekte önemsiz olmayan açık bir öğe sağlar: let

Sonra çekirdeğin bir öğesi komütatör tarafından verilir

Burau temsili n = 2, 3 bir süredir sadık olduğu bilinmektedir. Burau temsilinin sadakati n = 4 açık bir sorundur. Burau temsili, Jones gösterimi, ve için n = 4Burau temsilinin sadakati Jones temsilinin sadakati ile eşdeğerdir, diğer yandan bu temsilin sadık olup olmadığı sorusuyla ilgilidir. Jones polinomu bir unknot detektörü.[9]

Geometri

Craig Squier, Burau temsilinin bir sesquilineer form.[5] Üstelik değişken t aşkın bir birim olarak seçildi karmaşık sayı yakın 1pozitif tanımlıdır Hermit eşleştirme. Böylece örgü grubunun Burau gösterimi Bn bir harita olarak düşünülebilir. üniter grup U (n).

Referanslar

  1. ^ Burau, Werner (1936). "Über Zopfgruppen und gleichsinnig verdrillte Verkettungen". Abh. Matematik. Sem. Üniv. Hamburg. 11: 179–186. doi:10.1007 / bf02940722.
  2. ^ Jones, Vaughan (1987). "Örgü Gruplarının ve Bağlantı Polinomlarının Hecke cebir gösterimleri". Matematik Yıllıkları. İkinci Seri. 126 (2): 335–388. doi:10.2307/1971403. JSTOR  1971403.
  3. ^ Moody, John Atwell (1993), "Burau temsili için sadakat sorusu", American Mathematical Society'nin Bildirileri, 119 (2): 671–679, doi:10.1090 / s0002-9939-1993-1158006-x, JSTOR  2159956, BAY  1158006
  4. ^ Long, Darren D .; Paton, Mark (1993), "Burau'nun temsili, ", Topoloji, 32 (2): 439–447, doi:10.1016 / 0040-9383 (93) 90030-Y, BAY  1217079
  5. ^ a b Squier, Craig C (1984). "Burau temsili üniterdir". American Mathematical Society'nin Bildirileri. 90 (2): 199–202. doi:10.2307/2045338. JSTOR  2045338.
  6. ^ Bigelow, Stephen (1999). "Burau temsili, n = 5". Geometri ve Topoloji. 3: 397–404. arXiv:math / 9904100. doi:10.2140 / gt.1999.3.397.
  7. ^ S. Bigelow,Uluslararası Matematikçiler Kongresi, Pekin, 2002
  8. ^ Vladimir Turaev, Örgü gruplarının sadık temsilleri, Bourbaki 1999-2000
  9. ^ Bigelow, Stephen (2002). "Jones polinomu düğümlenmemiş olanı algılar mı?". Düğüm Teorisi Dergisi ve Sonuçları. 11 (4): 493–505. arXiv:math / 0012086. doi:10.1142 / s0218216502001779.

Dış bağlantılar