"콕세터 군의 푸앵카레 급수"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
 
(같은 사용자의 중간 판 14개는 보이지 않습니다)
1번째 줄: 1번째 줄:
−
==introduction==
+
==개요==
−
* 콕세터 군 $W$의 푸앵카레 급수
+
* 콕세터 군 <math>W</math>의 푸앵카레 급수
−
$$
+
:<math>
 
P_{W}(q)=\sum_{w\in W}q^{\ell(w)}
 
P_{W}(q)=\sum_{w\in W}q^{\ell(w)}
−
$$
+
</math>
  
 
;정리 (Chevalley-Solomon)
 
;정리 (Chevalley-Solomon)
−
유한반사군 $W$에 대하여, 다음이 성립한다
+
유한반사군 <math>W</math>에 대하여, 다음이 성립한다
−
$$
+
:<math>
−
P_{W}(q)=\prod_{i=1}^{k}\begin{bmatrix} d_i \end{bmatrix}_{q}
+
P_{W}(q)=\prod_{i=1}^{k}\begin{bmatrix} d_i \end{bmatrix}_{q}=\prod_{i=1}^{k}\frac{1-q^{d_i}}{1-q}
−
$$
+
</math>
−
여기서 $d_i$는 $W$의 기본차수
+
여기서 <math>d_i</math>는 <math>W</math>의 기본차수
 
* 다음이 성립한다
 
* 다음이 성립한다
−
$$
+
:<math>
 
P_{W}(q)=\prod_{\alpha>0}\frac{q^{\operatorname{ht}(\alpha)+1}-1}{q^{\operatorname{ht}(\alpha)}-1}
 
P_{W}(q)=\prod_{\alpha>0}\frac{q^{\operatorname{ht}(\alpha)+1}-1}{q^{\operatorname{ht}(\alpha)}-1}
−
$$
+
</math>
 +
 
 +
;정리 (Bott)
 +
유한 바일군 <math>W</math>에 대하여 <math>\tilde{W}</math>를 대응되는 아핀 바일군이라 하자. 다음이 성립한다
 +
:<math>
 +
P_{\tilde{W}}(q)=\frac{1}{(1-q)^k}\prod_{i=1}^{k}\frac{1-q^{d_i}}{1-q^{d_i-1}}=P_{W}(q)\prod_{i=1}^{k}\frac{1}{1-q^{d_i-1}}
 +
</math>
 +
 
  
 
==예==
 
==예==
−
* $A_2$
+
===<math>A_2</math>===
 
* 차수 : 2,3
 
* 차수 : 2,3
−
* $W$는 6개의 원소를 가짐 : $1,s_1,s_2,s_1s_2,s_2s_1,s_1s_2s_1$
+
* <math>W</math>는 6개의 원소를 가짐 : <math>1,s_1,s_2,s_1s_2,s_2s_1,s_1s_2s_1</math>
−
* $P_{W}(q)=1 + 2 q + 2 q^2 + q^3=(1 + q) (1 + q + q^2)$
+
* <math>P_{W}(q)=1 + 2 q + 2 q^2 + q^3=(1 + q) (1 + q + q^2)</math>
 
* 차수를 이용하여 다음을 얻는다
 
* 차수를 이용하여 다음을 얻는다
−
$$
+
:<math>
 
\prod_{i=1}^{k}\begin{bmatrix} d_i \end{bmatrix}_{q}=\begin{bmatrix} 2 \end{bmatrix}_{q}\begin{bmatrix} 3 \end{bmatrix}_{q}=(1+q)(1+q+q^2)
 
\prod_{i=1}^{k}\begin{bmatrix} d_i \end{bmatrix}_{q}=\begin{bmatrix} 2 \end{bmatrix}_{q}\begin{bmatrix} 3 \end{bmatrix}_{q}=(1+q)(1+q+q^2)
−
$$
+
</math>
 
* 루트시스템에 정의되는 height를 이용하여 다음을 얻을 수 있다
 
* 루트시스템에 정의되는 height를 이용하여 다음을 얻을 수 있다
−
$$
+
:<math>
 
\prod_{\alpha>0}\frac{q^{\operatorname{ht}(\alpha)+1}-1}{q^{\operatorname{ht}(\alpha)}-1}=\frac{q^2-1}{q-1}\frac{q^2-1}{q-1}\frac{q^3-1}{q^2-1}=(1 + q) (1 + q + q^2)
 
\prod_{\alpha>0}\frac{q^{\operatorname{ht}(\alpha)+1}-1}{q^{\operatorname{ht}(\alpha)}-1}=\frac{q^2-1}{q-1}\frac{q^2-1}{q-1}\frac{q^3-1}{q^2-1}=(1 + q) (1 + q + q^2)
−
$$
+
</math>
−
 
+
===아핀 <math>A_2</math>===
−
 
+
* 푸앵카레 급수는 다음과 같다
 +
:<math>P_{\tilde{W}}(q)=\frac{1}{(1-q)^2}\frac{1-q^2}{1-q}\frac{1-q^3}{1-q^2}=\frac{q^2+q+1}{(q-1)^2}=1+3 q + 6 q^2 + 9 q^3 + 12 q^4 + 15 q^5+\cdots</math>
 +
* 이는 아래 그림에서 하나의 정삼각형을 반사시켜 얻을 수 있는 정삼각형들의 개수를 세어준다
 +
[[파일:2차원 평면의 테셀레이션1.gif]]
  
 
==관련된 항목들==
 
==관련된 항목들==
36번째 줄: 46번째 줄:
  
  
−
==computational resource==
+
==매스매티카 파일 및 계산리소스==
 
* https://docs.google.com/file/d/0B8XXo8Tve1cxbF9YQmxvNjBFYzQ/edit
 
* https://docs.google.com/file/d/0B8XXo8Tve1cxbF9YQmxvNjBFYzQ/edit
−
 
+
* Terragni, T. “Data about Hyperbolic Coxeter Systems.” arXiv:1503.08764 [math], March 30, 2015. http://arxiv.org/abs/1503.08764.
  
 
==메모==
 
==메모==
45번째 줄: 55번째 줄:
 
* Richard Kane
 
* Richard Kane
 
** 144p, 219p, 236p
 
** 144p, 219p, 236p
 +
 +
 +
==관련도서==
 +
* Steinberg, Robert. ‘Endomorphisms of Linear Algebraic Groups’. Memoirs of the American Mathematical Society 0, no. 80 (1968): 0–0. doi:10.1090/memo/0080.
  
  
52번째 줄: 66번째 줄:
  
 
==관련논문==
 
==관련논문==
 +
* Marberg, Eric, and Graham White. “Variations of the Poincar’e Series for Affine Weyl Groups and Q-Analogues of Chebyshev Polynomials.” arXiv:1410.2772 [math], October 10, 2014. http://arxiv.org/abs/1410.2772.
 +
* Heckman, G. J. ‘The Volume of Hyperbolic Coxeter Polytopes of Even Dimension’. Indagationes Mathematicae 6, no. 2 (26 June 1995): 189–96. doi:10.1016/0019-3577(95)91242-N.
 
* Macdonald, I. G. 1972. “The Poincaré Series of a Coxeter Group.” Mathematische Annalen 199 (3) (September 1): 161–174. doi:[http://dx.doi.org/10.1007/BF01431421 10.1007/BF01431421]
 
* Macdonald, I. G. 1972. “The Poincaré Series of a Coxeter Group.” Mathematische Annalen 199 (3) (September 1): 161–174. doi:[http://dx.doi.org/10.1007/BF01431421 10.1007/BF01431421]
 
* Solomon, Louis. 1966. “The Orders of the Finite Chevalley Groups.” Journal of Algebra 3 (3): 376–93. doi:10.1016/0021-8693(66)90007-X.
 
* Solomon, Louis. 1966. “The Orders of the Finite Chevalley Groups.” Journal of Algebra 3 (3): 376–93. doi:10.1016/0021-8693(66)90007-X.
 
* Solomon, Louis. 1963. “Invariants of Finite Reflection Groups.” Nagoya Mathematical Journal 22: 57–64.
 
* Solomon, Louis. 1963. “Invariants of Finite Reflection Groups.” Nagoya Mathematical Journal 22: 57–64.
 +
* Bott, Raoul. “An Application of the Morse Theory to the Topology of Lie-Groups.” Bulletin de La Société Mathématique de France 84 (1956): 251–81.
 
* Chevalley, C. “Sur certains groupes simples.” Tohoku Mathematical Journal 7, no. 1–2 (1955): 14–66. doi:10.2748/tmj/1178245104.
 
* Chevalley, C. “Sur certains groupes simples.” Tohoku Mathematical Journal 7, no. 1–2 (1955): 14–66. doi:10.2748/tmj/1178245104.

2020년 11월 12일 (목) 22:54 기준 최신판

개요

  • 콕세터 군 \(W\)의 푸앵카레 급수

\[ P_{W}(q)=\sum_{w\in W}q^{\ell(w)} \]

정리 (Chevalley-Solomon)

유한반사군 \(W\)에 대하여, 다음이 성립한다 \[ P_{W}(q)=\prod_{i=1}^{k}\begin{bmatrix} d_i \end{bmatrix}_{q}=\prod_{i=1}^{k}\frac{1-q^{d_i}}{1-q} \] 여기서 \(d_i\)는 \(W\)의 기본차수

  • 다음이 성립한다

\[ P_{W}(q)=\prod_{\alpha>0}\frac{q^{\operatorname{ht}(\alpha)+1}-1}{q^{\operatorname{ht}(\alpha)}-1} \]

정리 (Bott)

유한 바일군 \(W\)에 대하여 \(\tilde{W}\)를 대응되는 아핀 바일군이라 하자. 다음이 성립한다 \[ P_{\tilde{W}}(q)=\frac{1}{(1-q)^k}\prod_{i=1}^{k}\frac{1-q^{d_i}}{1-q^{d_i-1}}=P_{W}(q)\prod_{i=1}^{k}\frac{1}{1-q^{d_i-1}} \]


예

\(A_2\)

  • 차수 : 2,3
  • \(W\)는 6개의 원소를 가짐 \[1,s_1,s_2,s_1s_2,s_2s_1,s_1s_2s_1\]
  • \(P_{W}(q)=1 + 2 q + 2 q^2 + q^3=(1 + q) (1 + q + q^2)\)
  • 차수를 이용하여 다음을 얻는다

\[ \prod_{i=1}^{k}\begin{bmatrix} d_i \end{bmatrix}_{q}=\begin{bmatrix} 2 \end{bmatrix}_{q}\begin{bmatrix} 3 \end{bmatrix}_{q}=(1+q)(1+q+q^2) \]

  • 루트시스템에 정의되는 height를 이용하여 다음을 얻을 수 있다

\[ \prod_{\alpha>0}\frac{q^{\operatorname{ht}(\alpha)+1}-1}{q^{\operatorname{ht}(\alpha)}-1}=\frac{q^2-1}{q-1}\frac{q^2-1}{q-1}\frac{q^3-1}{q^2-1}=(1 + q) (1 + q + q^2) \]

아핀 \(A_2\)

  • 푸앵카레 급수는 다음과 같다

\[P_{\tilde{W}}(q)=\frac{1}{(1-q)^2}\frac{1-q^2}{1-q}\frac{1-q^3}{1-q^2}=\frac{q^2+q+1}{(q-1)^2}=1+3 q + 6 q^2 + 9 q^3 + 12 q^4 + 15 q^5+\cdots\]

  • 이는 아래 그림에서 하나의 정삼각형을 반사시켜 얻을 수 있는 정삼각형들의 개수를 세어준다

2차원 평면의 테셀레이션1.gif

관련된 항목들


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

메모


관련도서

  • Steinberg, Robert. ‘Endomorphisms of Linear Algebraic Groups’. Memoirs of the American Mathematical Society 0, no. 80 (1968): 0–0. doi:10.1090/memo/0080.


리뷰, 에세이, 강의노트


관련논문

  • Marberg, Eric, and Graham White. “Variations of the Poincar’e Series for Affine Weyl Groups and Q-Analogues of Chebyshev Polynomials.” arXiv:1410.2772 [math], October 10, 2014. http://arxiv.org/abs/1410.2772.
  • Heckman, G. J. ‘The Volume of Hyperbolic Coxeter Polytopes of Even Dimension’. Indagationes Mathematicae 6, no. 2 (26 June 1995): 189–96. doi:10.1016/0019-3577(95)91242-N.
  • Macdonald, I. G. 1972. “The Poincaré Series of a Coxeter Group.” Mathematische Annalen 199 (3) (September 1): 161–174. doi:10.1007/BF01431421
  • Solomon, Louis. 1966. “The Orders of the Finite Chevalley Groups.” Journal of Algebra 3 (3): 376–93. doi:10.1016/0021-8693(66)90007-X.
  • Solomon, Louis. 1963. “Invariants of Finite Reflection Groups.” Nagoya Mathematical Journal 22: 57–64.
  • Bott, Raoul. “An Application of the Morse Theory to the Topology of Lie-Groups.” Bulletin de La Société Mathématique de France 84 (1956): 251–81.
  • Chevalley, C. “Sur certains groupes simples.” Tohoku Mathematical Journal 7, no. 1–2 (1955): 14–66. doi:10.2748/tmj/1178245104.
원본 주소 "https://wiki.mathnt.net/index.php?title=콕세터_군의_푸앵카레_급수&oldid=34138"