Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
1 beğenilme 0 beğenilmeme
1.9k kez görüntülendi


Akademik Matematik kategorisinde (3.7k puan) tarafından  | 1.9k kez görüntülendi

1 cevap

2 beğenilme 0 beğenilmeme
En İyi Cevap
Ben Coxeter gruplarini cok bilmiyorum. O yuzden istenilen cevabi veremeyecegim sanirim. Ama en azindan ilk soruya cevap vereyim.

Genel olarak elimizde N-dereceli bir vektor uzayi varsa (yani eger vektor uzayimizi V=i=0Vi seklinde ayristirabiliyorsak ve morfizmalarimizi suradaki gibi goruyorsak) o zaman fV(x)=i=0dimVixi
seklinde tanimlanan seriye V'nin Hilbert serisi diyoruz. Zaman zaman Hilbert-Poincare serisi de deniyor. Bu serinin sonlu olmasi halinde, yani bir yerden sonra Vi'lerin sifir vektor uzayi olmasi halinde, ise Hilbert-Poincare polinomu oluyor. Bu seri daha da genel haliyle dereceli bir halka/cebir uzerine dereceli moduller icin de tanimlanabiliyor ve bize halkamiz/cebirimiz hakkinda ekstra bilgiler veriyor. Degismeli cebirde bircok yerde karsimiza cikiyor.

Simdi biraz daha ozel bir duruma bakalim. Anladigim kadariyla Poincare isminin verilmesinin topolojik sebepleri var. Elimizde bir topolojik uzay X oldugunu dusunelim. Bu uzaydan bize gelen dogal bir dereceli vektor uzayi var: i=1Hi(X). Katsayilarin C'de oldugunu dusunelim ama aslinda hangi halkayi alirsak alalim tanim ayni olacak. O zaman, X'in Poincare serisi fX(x)=idimHi(X)xi
olarak tanimlaniyor. Eger bu sonlu bir toplamsa, yani X'in homolojisi bir yerden sonra sifirlaniyorsa -ki genelde boyle topolojik uzaylara bakiyor insanlar- o zaman fX'e X'in Poincare polinomu deniyor. Peki bu polinom uzay hakkinda ne soyluyor bize? Evet, katsayilari Betti sayilari ve homolojisinin boyutunu belirliyor. Ama bu katsayilari polinomlarla kodlamamizin getirdigi bir kolaylik var mi? Ilk bakista gorebilecegimiz neler var? Mesela bu polinomu sifirda degerlendirince dimH0(X) geliyor. Yani, Poincare polinomunun sifirdaki degeri topolojik uzayimizin baglantili bilesenlerinin sayisini veriyor bize. Eger 1'deki degerine bakarsak da Euler karakteristigini elde ediyoruz.

Baska bir kolaylik da tensor carpimin Betti sayilarini bulmakta. Eger V=iVi ve W=iWi iki N-dereceli vektor uzayi ise VW su sekilde tanimlaniyor:
VW=i=0j+k=iViWj
ama buna bakinca polinom carpmasi direkt olarak goze carpiyor zaten: Tensor carpimin Hilbert-Poincare serisi, Hilbert-Poincare serilerinin carpimina esit. Peki tensor carpimini topolojide gordugumuz bir yer var mi? Evet. Kunneth formulu, bize sunu soyluyor: X ve Y iki topolojik uzay ise X×Y'nin (singuler) homolojisi su formulle hesaplaniyor: Hi(X×Y)=j+k=iHj(X)Hk(Y)
Bu da demek oluyor ki X×Y'nin Betti sayilarini bulmak icin X ve Y'nin Poincare serilerini/polinomlarini carpmam yeterli. Ornegin, eger torusun (T=S1×S1) homolojisini merak ediyorsam (1+x)(1+x) carpimina bakmaliyim. Cunku cemberin homolojisi H0(S1)=H1(S1)=C ve Hi(S1)=0 (i>1 icin.). Bu da bize torusun Poincare polinomunun 1+2x+x2 oldugunu soyluyor. Ve gercekten de H0(T)=H2(T)=C ve H1(T)=C2 (ve diger homolojiler sifir.).

Ama Lie grup ya da cebirsel temsil teorisinde nasil kullanildigini gormedim henuz. Cok bilmiyorum. Biri yazar umarim.
(2.5k puan) tarafından 
tarafından seçilmiş

Cevaba nasil link verebiliyoruz? Soyle bir site-ici soru da sormustum: link.

20,296 soru
21,840 cevap
73,541 yorum
2,723,853 kullanıcı