Kokseter kompleksi - Coxeter complex

Matematikada Kokseter kompleksinomi bilan nomlangan H. S. M. Kokseter, geometrik strukturadir (a soddalashtirilgan kompleks ) bilan bog'liq Kokseter guruhi. Kokseter komplekslari - bu qurilishga imkon beradigan asosiy ob'ektlar binolar; ular binoning kvartiralarini tashkil qiladi.

Qurilish

Kanonik chiziqli tasvir

Kokseter guruhi bilan bog'langan Kokseter majmuasini qurishda birinchi tarkibiy qism V aniq vakillik ning V, ning kanonik vakili deb nomlangan V.

Ruxsat bering ${ displaystyle (W, S)}$ bo'lishi a Kokseter tizimi bilan bog'liq V, bilan Kokseter matritsasi ${ displaystyle M = (m (s, t)) _ {s, t in S}}$ . Kanonik vakillik vektor maydoni bilan berilgan V rasmiy belgilar asosida ${ displaystyle (e_ {s}) _ {s in S}}$ nosimmetrik bilinear shakl bilan jihozlangan ${ displaystyle B (e_ {s}, e_ {t}) = - cos chap ({ frac { pi} {m (s, t)}} o'ng)}$ . Ning harakati V ushbu vektor makonida V keyin tomonidan beriladi ${ displaystyle s (v) = v-2 { frac {B (e_ {s}, v)} {B (e_ {s}, e_ {s})}} e_ {s}}$ , in aks ettirishga asoslangan ildiz tizimlari.

Ushbu vakillik Kokseter guruhlari nazariyasida bir necha asosiy xususiyatlarga ega; masalan, bilinear shakl B ijobiy va faqat agar ijobiy bo'lsa V cheklangan. Bu (har doim) a sodiq vakillik ning V.

Palatalar va ko'kraklar konusi

Ushbu vakolatxonani ifodalovchi deb hisoblash mumkin V kabi aks ettirish guruhi, buni ogohlantirish bilan B ijobiy aniq bo'lmasligi mumkin. Shunda vakillikni farqlash muhim ahamiyatga ega bo'ladi V uning dualidan V^*. Vektorlar ${ displaystyle e_ {s}}$ kechgacha yotish Vva mos keladigan ikkita vektorga ega ${ displaystyle e_ {s} ^ { vee}}$ yilda V^*, tomonidan berilgan:

{ displaystyle langle e_ {s} ^ { vee}, v rangle = 2 { frac {B (e_ {s}, v)} {B (e_ {s}, e_ {s})}}, }

bu erda burchakli qavs dual vektorning tabiiy juftligini ko'rsatadi V^* ning vektori bilan Vva B yuqoridagi kabi bilinib turadigan shakl.

Endi V harakat qiladi V^*, va harakat formulani qondiradi

{ displaystyle s (f) = f- langle f, e_ {s} rangle e_ {s} ^ { vee},}

uchun ${ displaystyle s in S}$ va har qanday f yilda V^*. Bu ifoda etadi s giperplanedagi aks sifatida ${ displaystyle H_ {s} = {f in V ^ {*}: langle f, e_ {s} rangle = 0 }}$ . Bittasi asosiy xonaga ega ${ displaystyle { mathcal {C}} = {f in V ^ {*}: langle f, e_ {s} rangle> 0 forall s in S }}$ , bu devorlar deb ataladigan yuzlarga ega, ${ displaystyle H_ {s}}$ . Boshqa xonalarni olish mumkin ${ displaystyle { mathcal {C}}}$ tarjima orqali: ular ${ displaystyle w { mathcal {C}}}$ uchun ${ displaystyle w in W}$ .

Asosiy xonani hisobga olgan holda ${ displaystyle { mathcal {C}}}$ , Ko'krak qafasi deb belgilangan ${ displaystyle X = bigcup _ {w in W} w { overline { mathcal {C}}}}$ . Buning hammasi bo'lmasligi kerak V^*. Ko'krak qafasining konusi katta ahamiyatga ega X qavariq. Ning harakati V Tits konusida X bor asosiy domen asosiy palata ${ displaystyle { mathcal {C}}}$ .

Kokseter majmuasi

Tits konusini aniqlagandan so'ng X, Kokseter majmuasi ${ displaystyle Sigma (W, S)}$ ning V munosabat bilan S ning taklifi sifatida belgilanishi mumkin X, kelib chiqishi olib tashlangan holda, tomonidan ijobiy natijalar (ℝ⁺, ×):

{ displaystyle Sigma (W, S) = (X setminus {0 }) / mathbb {R} ^ {+}}

.

Misollar

Sonli dihedral guruhlar

The dihedral guruhlar ${ displaystyle D_ {n}}$ (buyurtma 2n) tegishli tipdagi Kokseter guruhlari ${ displaystyle mathrm {I} _ {2} (n)}$ . Ushbu taqdimot mavjud ${ displaystyle left langle s, t , left | , s ^ {2}, t ^ {2}, (st) ^ {n} right rangle right.}$ .

Ning kanonik chiziqli tasviri ${ displaystyle mathrm {I} _ {2} (n)}$ dihedral guruhining odatdagi aks ettirish vakili bo'lib, a da harakat qilgandek n- samolyotda bor (shunday qilib) ${ displaystyle V = mathbb {R} ^ {2}}$ Ushbu holatda). Masalan, ishda n = 3, biz Koxeter tur guruhini olamiz ${ displaystyle mathrm {I} _ {2} (3) = mathrm {A} _ {2}}$ , tekislikda teng qirrali uchburchakda harakat qilish. Har bir aks ettirish s bog'liq giperplanga ega H_s ikkilangan vektor makonida (bilaynar shakl yordamida vektor makonining o'zi bilan kanonik ravishda aniqlanishi mumkin) B, bu yuqorida aytib o'tilganidek ichki mahsulot), bu devorlar. Quyida ko'rinib turganidek, ular kameralarni kesib tashlashdi:

Keyinchalik Kokseter kompleksi mos keladigan 2 ga tengn-gon, yuqoridagi rasmdagi kabi. Bu 1-o'lchamdagi soddalashtirilgan kompleks bo'lib, uni kotip bilan bo'yash mumkin.

Cheksiz dihedral guruh

Yana bir turtki beruvchi misol cheksiz dihedral guruh ${ displaystyle D _ { infty}}$ . Buni butun koordinatali nuqtalar to'plamini saqlaydigan haqiqiy chiziqning simmetriya guruhi sifatida ko'rish mumkin; u aks ettirish orqali hosil bo'ladi ${ displaystyle x = 0}$ va ${ displaystyle x = {1 2} dan ortiq}$ . Ushbu guruhda Kokseter taqdimoti mavjud ${ displaystyle left langle s, t , left | , s ^ {2}, t ^ {2} right rangle right.}$ .

Bunday holda, endi aniqlash mumkin emas V er-xotin bo'shliq bilan V^*, kabi B ijobiy aniq emas. Keyin faqat bilan ishlash yaxshiroqdir V^*, bu erda giperplanlar aniqlanadi. Bu quyidagi rasmni beradi:

Bunday holda, Tits konusi butun tekislik emas, balki faqat yuqori yarim tekislikdir. Ijobiy natijalar bo'yicha ma'lumotni ajratib bo'lgandan so'ng, haqiqiy chiziqning yana bir nusxasi olinadi va butun sonlarda belgilangan nuqtalar mavjud. Bu cheksiz dihedral guruhning Kokseter kompleksi.

Kokseter majmuasining alternativ qurilishi

Kokseter kompleksining yana bir tavsifida Kokseter guruhining standart kosetlaridan foydalaniladi V. Standart koset - bu shaklning koseti ${ displaystyle wW_ {J}}$ , qayerda ${ displaystyle W_ {J} = langle J rangle}$ ba'zi bir kichik to'plam uchun J ning S. Masalan; misol uchun, ${ displaystyle W_ {S} = W}$ va ${ displaystyle W _ { emptyset} = {1 }}$ .

Kokseter majmuasi ${ displaystyle Sigma (W, S)}$ keyin poset teskari qo'shilish bilan buyurtma qilingan standart kosetlarning. Bu soddalashtirilgan kompleksning kanonik tuzilishiga ega, shuningdek, quyidagilarni qondiradigan barcha posetlar:

Har qanday ikkita element eng katta pastki chegaraga ega.
Har qanday berilgan elementdan kam yoki teng bo'lgan elementlarning pozitsiyasi ning pastki to'plamlari posetiga izomorfdir ${ displaystyle {1,2, ldots, n }}$ butun son uchunn.

Xususiyatlari

Bilan bog'liq bo'lgan Kokseter kompleksi ${ displaystyle (W, S)}$ o'lchovga ega ${ displaystyle | S | -1}$ . Bu a uchun gomomorfikdir ${ displaystyle (| S | -1)}$ - agar bo'lsa V cheklangan va mavjud kontraktiv agar V cheksizdir.

Shuningdek qarang

Adabiyotlar

Piter Abramenko va Kennet S. Braun, Binolar, nazariya va qo'llanmalar. Springer, 2008 yil.