콕세터 군 H3

개요

• 다음과 같이 정의되는 콕세터 군 $H_3$

$$ \left\langle r_1,r_2,r_3 \mid r_i^2=(r_3r_1)^2=(r_1r_2)^3=(r_2r_3)^5=1\right\rangle $$

• 불변량

$$ \begin{array}{c|ccccc} & \text{rank} & \text{degree} & \text{exponent} & \text{order} & \text{Coxeter} \\ \hline H_3 & 3 & 2,6,10 & 1,5,9 & 120 & 10 \end{array} $$

푸앵카레 다항식

• $H_3$의 푸앵카레 다항식은 다음과 같다

$$ \begin{aligned} P_{W}(q)&=\sum_{w\in W}q^{\ell(w)} \\ &=1+3 q+5 q^2+7 q^3+9 q^4+11 q^5+12 q^6+12 q^7+12 q^8+12 q^9+11 q^{10}+9 q^{11}+7 q^{12}+5 q^{13}+3 q^{14}+q^{15} \end{aligned} $$

콕세터 원소

• 콕세터 다항식, 즉 콕세터 원소의 특성다항식은 다음과 같다

$$ -(x+1) \left(x^2- \varphi x +1\right) $$ 여기서 $\varphi=\frac{1+\sqrt{5}}{2}$

• 콕세터 다항식의 세 해는 $\zeta, \zeta^5,\zeta^9$로 주어지며 여기서 $\zeta=e^{2\pi i/10}$

루트 시스템

• 30개의 원소로 구성
• 다음과 같은 세 벡터가 simple system을 이룬다

$$ \begin{align} r_1= \beta(1+2 \alpha,1 , -2 \alpha) \\ r_2= \beta(-1-2 \alpha , 1 , 2 \alpha) \\ r_3= \beta(2 \alpha , -1-2 \alpha , 1) \end{align} $$ 여기서 $\alpha=\cos \pi/5, \beta=\cos 2\pi/5$

콕세터 평면으로의 사영

매스매티카 파일 및 계산 리소스

• https://docs.google.com/file/d/0B8XXo8Tve1cxQURSVzA3QXYzQTA/edit?usp=drivesdk