리대수 g2의 유한차원 표현론

수학노트
둘러보기로 가기 검색하러 가기

개요

  • 복소수체 위의 14차원 리대수
  • \(G_2\) 타입의 단순 리대수


리대수 \(\mathfrak{g}_2\)

  • \(G_2\) 카르탄 행렬

\[ \left( \begin{array}{cc} 2 & -3 \\ -1 & 2 \\ \end{array} \right) \]

  • \(G_2\) 루트 시스템

\[\Phi= \left\{\alpha _1,\alpha _2,3 \alpha _1+\alpha _2,\alpha _1+\alpha _2,2 \alpha _1+\alpha _2,3 \alpha _1+2 \alpha _2\\,-\alpha _1,-\alpha _2,-3 \alpha _1-\alpha _2,-\alpha _1-\alpha _2,-2 \alpha _1-\alpha _2,-3 \alpha _1-2 \alpha _2\right\} \]

  • 바일군, 크기 12인 유한반사군

\[ \{s[],s[1],s[2],s[1,2],s[2,1],s[1,2,1],s[2,1,2],s[1,2,1,2],s[2,1,2,1],s[1,2,1,2,1],s[2,1,2,1,2],s[1,2,1,2,1,2]\} \]

  • \(G_2\)의 루트 시스템을 \(\mathbb{R}^2\)안에서 다음과 같이 얻을 수 있다
    • \(\alpha_1=(1,0)\)
    • \(\alpha_2=(-\frac{3}{2},\frac{\sqrt{3}}{2})\)

리대수 g21.png

  • fundamental weights
    • \(\omega_1=(\frac{1}{2},\frac{\sqrt{3}}{2})\)
    • \(\omega_2=(0,\sqrt{3})\)
  • 바일 벡터 \(\rho=(1/2, 3\sqrt{3}/2)\)


유한차원 기약 표현의 분류

  • 유한차원 기약 표현 \(V\)에 대하여, 적당한 dominant weight \(\omega=a\omega_1+b\omega_2, a,b\in \mathbb{Z}_{\geq 0}\)가 존재하여, \(V\cong L(\omega)\)가 성립
  • 바일 차원 공식(Weyl dimension formula)을 이용하면, 다음을 얻는다

\[ \dim L(a\omega_1+b\omega_2)=\frac{1}{120} (a+1) (b+1) (a+b+2) (a+2 b+3) (a+3 b+4) (2 a+3 b+5) \]

기약표현의 예

  • 표현 \(V=L(\lambda)\)의 지표를 다음과 같이 정의

\[ \chi_{\lambda}=\sum_{\lambda' \in P} (\dim{V_{\lambda'}})e^{\lambda'} \]

예1

  • fundamental 표현, highest weight은 \(\omega_1\)
  • 7차원 표현
  • 지표

\[ \chi_{\omega_1}=1+\frac{1}{x_1}+x_1+\frac{x_1}{x_2}+\frac{x_1^2}{x_2}+\frac{x_2}{x_1^2}+\frac{x_2}{x_1} \]

  • weight diagram

리대수 g22.png


예2

  • adjoint 표현, highest weight은 \(\omega_2\)
  • 14차원 표현
  • 지표

\[ \chi_{\omega_2}=2+\frac{1}{x_1}+x_1+\frac{x_1^3}{x_2^2}+\frac{1}{x_2}+\frac{x_1}{x_2}+\frac{x_1^2}{x_2}+\frac{x_1^3}{x_2}+x_2+\frac{x_2}{x_1^3}+\frac{x_2}{x_1^2}+\frac{x_2}{x_1}+\frac{x_2^2}{x_1^3} \]

  • weight diagram

리대수 g23.png


예3

  • highest weight \(\omega_1+\omega_2\)
  • 64차원 표현
  • weight diagram

리대수 g24.png


관련된 항목들


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


관련논문

원본 주소 "https://wiki.mathnt.net/index.php?title=리대수_g2의_유한차원_표현론&oldid=43509"