콕세터 군 H4

수학노트
이동: 둘러보기, 검색

개요

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

$$ \left\langle r_1,r_2,r_3,r_4 \mid r_i^2=(r_1r_2)^5=(r_2r_3)^3=(r_3r_4)^3=(r_1r_3)^2=(r_1r_4)^2=(r_2r_4)^2=1\right\rangle $$

  • 불변량

$$ \begin{array}{c|ccccc} & \text{rank} & \text{degree} & \text{exponent} & \text{order} & \text{Coxeter} \\ \hline H_4 & 4 & 2,12,20,30 & 1,11,19,29 & 14400 & 30 \end{array} $$


푸앵카레 다항식

  • $W=H_4$의 푸앵카레 다항식은 다음과 같다

$$ \begin{aligned} P_{W}(q)&=\sum_{w\in W}q^{\ell(w)} \\ &=1+4 q+9 q^2+16 q^3+25 q^4+36 q^5+49 q^6+64 q^7+81 q^8+100 q^9\\ &+121 q^{10}+144 q^{11}+168 q^{12}+192 q^{13}+216 q^{14}+240 q^{15}+264 q^{16}+288 q^{17}+312 q^{18}+336 q^{19}\\ &+359 q^{20}+380 q^{21}+399 q^{22}+416 q^{23}+431 q^{24}+444 q^{25}+455 q^{26}+464 q^{27}+471 q^{28}+476 q^{29}\\ &+478 q^{30}+476 q^{31}+471 q^{32}+464 q^{33}+455 q^{34}+444 q^{35}+431 q^{36}+416 q^{37}+399 q^{38}+380 q^{39}\\ &+359 q^{40}+336 q^{41}+312 q^{42}+288 q^{43}+264 q^{44}+240 q^{45}+216 q^{46}+192 q^{47}+168 q^{48}+144 q^{49}\\ &+121 q^{50}+100 q^{51}+81 q^{52}+64 q^{53}+49 q^{54}+36 q^{55}+25 q^{56}+16 q^{57}+9 q^{58}+4 q^{59}+q^{60} \end{aligned} $$


콕세터 원소

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

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

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


루트 시스템

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

$$ \begin{align} r(1)=\{\alpha ,-1/2,\beta ,0\}\\ r(2)=\{-\alpha ,1/2,\beta ,0\}\\ r(3)=\{1/2,\beta ,-\alpha ,0\}\\ r(4)=\{-1/2,-\alpha ,0,\beta \} \end{align} $$ 여기서 $\alpha=\cos \pi/5, \beta=\cos 2\pi/5$


콕세터 평면으로의 사영

콕세터 군 H41.png


테이블

  • 원소

$$ \begin{array}{ccc} & w & \ell(w) \\ \hline 1 & \{\} & 0 \\ 2 & \{1\} & 1 \\ 3 & \{2\} & 1 \\ 4 & \{3\} & 1 \\ 5 & \{4\} & 1 \\ 6 & \{2,1\} & 2 \\ 7 & \{3,1\} & 2 \\ 8 & \{4,1\} & 2 \\ 9 & \{1,2\} & 2 \\ 10 & \{3,2\} & 2 \\ 11 & \{4,2\} & 2 \\ 12 & \{2,3\} & 2 \\ 13 & \{4,3\} & 2 \\ 14 & \{3,4\} & 2 \\ 15 & \{1,2,1\} & 3 \\ 16 & \{3,2,1\} & 3 \\ 17 & \{4,2,1\} & 3 \\ 18 & \{2,3,1\} & 3 \\ 19 & \{4,3,1\} & 3 \\ 20 & \{3,4,1\} & 3 \\ 21 & \{2,1,2\} & 3 \\ 22 & \{3,1,2\} & 3 \\ 23 & \{4,1,2\} & 3 \\ 24 & \{2,3,2\} & 3 \\ 25 & \{4,3,2\} & 3 \\ 26 & \{3,4,2\} & 3 \\ 27 & \{1,2,3\} & 3 \\ 28 & \{4,2,3\} & 3 \\ 29 & \{3,4,3\} & 3 \\ 30 & \{2,3,4\} & 3 \\ 31 & \{2,1,2,1\} & 4 \\ 32 & \{3,1,2,1\} & 4 \\ 33 & \{4,1,2,1\} & 4 \\ 34 & \{2,3,2,1\} & 4 \\ 35 & \{4,3,2,1\} & 4 \\ 36 & \{3,4,2,1\} & 4 \\ 37 & \{1,2,3,1\} & 4 \\ 38 & \{4,2,3,1\} & 4 \\ 39 & \{3,4,3,1\} & 4 \\ 40 & \{2,3,4,1\} & 4 \\ 41 & \{1,2,1,2\} & 4 \\ 42 & \{3,2,1,2\} & 4 \\ 43 & \{4,2,1,2\} & 4 \\ 44 & \{2,3,1,2\} & 4 \\ 45 & \{4,3,1,2\} & 4 \\ 46 & \{3,4,1,2\} & 4 \\ 47 & \{1,2,3,2\} & 4 \\ 48 & \{4,2,3,2\} & 4 \\ 49 & \{3,4,3,2\} & 4 \\ 50 & \{2,3,4,2\} & 4 \\ 51 & \{2,1,2,3\} & 4 \\ 52 & \{4,1,2,3\} & 4 \\ 53 & \{3,4,2,3\} & 4 \\ 54 & \{2,3,4,3\} & 4 \\ 55 & \{1,2,3,4\} & 4 \\ \vdots & \vdots & \vdots \end{array} $$



관련된 항목들


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


사전 형태의 자료