Coxeter kompleksi - Coxeter complex - Wikipedia

Matematikte Coxeter kompleksi, adını H. S. M. Coxeter, geometrik bir yapıdır (a basit kompleks ) ile ilişkili Coxeter grubu. Coxeter kompleksleri, yapının inşasına izin veren temel nesnelerdir. binalar; bir binanın dairelerini oluştururlar.

İnşaat

Kanonik doğrusal gösterim

Bir Coxeter grubuyla ilişkili Coxeter kompleksinin yapımındaki ilk bileşen W kesin temsil nın-nin W, kanonik temsili denir W.

İzin Vermek olmak Coxeter sistemi ilişkili W, ile Coxeter matrisi . Kanonik gösterim bir vektör uzayı ile verilir V resmi semboller temelinde simetrik çift doğrusal formla donatılmış . Eylemi W bu vektör uzayında V tarafından verilir , düşünceler için ifade tarafından motive edildiği gibi kök sistemler.

Bu temsilin Coxeter grupları teorisinde birkaç temel özelliği vardır; örneğin, iki doğrusal form B pozitif tanımlıdır ancak ve ancak W sonludur. Bu (her zaman) bir sadık temsil nın-nin W.

Chambers and the Tits koni

Bu temsilin ifade ettiği düşünülebilir. W bir çeşit olarak yansıma grubu ihtar ile B kesin pozitif olmayabilir. Daha sonra temsili ayırt etmek önemli hale gelir V çiftinden V*. Vektörler geç saate kadar yatmak Vve karşılık gelen ikili vektörlere sahip içinde V*, veren:

açılı parantezler, bir ikili vektörün doğal eşleşmesini gösterir. V* bir vektör ile V, ve B yukarıdaki iki doğrusal formdur.

Şimdi W Üzerinde davranır V*ve eylem formülü karşılar

için Ve herhangi biri f içinde V*. Bu ifade eder s hiper düzlemde bir yansıma olarak . Biri temel odaya sahip bu sözde duvarlara bakar, . Diğer odalar aşağıdaki kaynaklardan elde edilebilir: çeviri ile: onlar için .

Temel bir oda verildiğinde , Göğüsler koni olarak tanımlandı . Bunun tamamı olmak zorunda değil V*. En önemli şey, Göğüsler konisinin X dışbükeydir. Eylemi W Göğüsler konisinde X vardır temel alan temel oda .

Coxeter kompleksi

Göğüsler konisini tanımladıktan sonra XCoxeter kompleksi nın-nin W göre S bölümü olarak tanımlanabilir X, menşe tarafından çıkarılmış pozitif gerçekler (ℝ+, ×):

.

Örnekler

Sonlu dihedral grupları

dihedral grupları (sipariş 2n) karşılık gelen tipte Coxeter gruplarıdır . Bunların sunumu var .

Kanonik doğrusal gösterimi dihedral grubun olağan yansıma temsilidir. ndüzlemde -gen (yani bu durumda). Örneğin, durumda n = 3, tip Coxeter grubunu alıyoruz , düzlemde bir eşkenar üçgene etki eder. Her yansıma s ilişkili bir hiper düzleme sahiptir Hs çift ​​vektör uzayında (iki doğrusal form kullanılarak vektör uzayının kendisi ile kanonik olarak tanımlanabilir) B(yukarıda belirtildiği gibi bu durumda bir iç ürün olan), bunlar duvarlardır. Aşağıda görüldüğü gibi odaları kesiyorlar:

Küresel dihedral complex.svg

Coxeter kompleksi bu durumda karşılık gelen 2n-gen, yukarıdaki resimde olduğu gibi. Bu, 1. boyutun basit bir kompleksidir ve kod tipine göre renklendirilebilir.

Sonsuz dihedral grubu

Bir başka motive edici örnek ise sonsuz iki yüzlü grup . Bu, nokta kümesini tam sayı koordinatlarıyla koruyan gerçek çizginin simetri grubu olarak görülebilir; içindeki yansımalar tarafından üretilir ve . Bu grupta Coxeter sunumu var .

Bu durumda, artık tespit etmek mümkün değildir V ikili boşlukla V*, gibi B pozitif tanımlı değil. O halde yalnızca şununla çalışmak daha iyidir V*, hiper düzlemlerin tanımlandığı yerdir. Bu daha sonra aşağıdaki resmi verir:

Afin dihedral kompleksi.svg

Bu durumda, Göğüsler konisi tüm düzlem değil, sadece üst yarı düzlemdir. Pozitif gerçeklerle bölümleme daha sonra gerçek çizginin tam sayılarda işaretli noktalar ile başka bir kopyasını verir. Bu, sonsuz iki yüzlü grubun Coxeter kompleksidir.

Coxeter kompleksinin alternatif yapısı

Coxeter kompleksinin başka bir açıklaması, Coxeter grubunun standart kosetlerini kullanır W. Standart bir koset, formun bir kosetidir , nerede bazı alt küme için J nın-nin S. Örneğin, ve .

Coxeter kompleksi o zaman Poset standart kosetlerin ters dahil edilerek sıralanması. Bu, aşağıdakileri karşılayan tüm kümeler gibi basit bir kompleksin kanonik bir yapısına sahiptir:

  • Herhangi iki öğenin en büyük alt sınırı vardır.
  • Verilen herhangi bir elemandan küçük veya ona eşit olan elemanlar kümesi, aşağıdaki alt kümelerin kümesine göre izomorfiktir. bir tam sayı içinn.

Özellikleri

Coxeter kompleksi ile ilişkili boyut var . Bir için homeomorfiktir -sfer eğer W sonludur ve kasılabilir Eğer W sonsuzdur.

Ayrıca bakınız

Referanslar

  • Peter Abramenko ve Kenneth S. Brown, Yapılar, Teori ve Uygulamalar. Springer, 2008.