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 V⊗W su sekilde tanimlaniyor:
V⊗W=∞⨁i=0⨁j+k=iVi⊗Wj
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.