카츠-무디 대수

틀:위키데이터 속성 추적 리 이론에서, 카츠-무디 대수(Кац-Moody代數, 틀:Llang)는 복소수 리 대수의 일종이다. 단순 리 대수와 아핀 리 대수의 공통적인 일반화이다.

정의

카츠-무디 대수 $(A,𝔥,\{({\alpha }_i,{\alpha }_i^{\vee }){\}}_{i\in \{1,2,\dots ,n\}})$는 다음과 같은 데이터로 구성된다.

• $A\in \mathrm{Mat}(n;\mathbb{Z})$는 정수 성분의 $n\times n$ 정사각 행렬이며, 그 계수는 $r$이다. 이를 (일반화) 카르탕 행렬(一般化Cartan行列, 틀:Llang)이라고 한다.
• $𝔥$는 $2n-r$차원 복소수 벡터 공간이다. 이를 카르탕 부분 대수(Cartan部分代數, 틀:Llang)라고 한다.
• ${\alpha }_1,\dots ,{\alpha }_n\in {𝔥}^{*}$은 $n$개의 선형 독립 벡터이며, ${\alpha }_1^{\vee },\dots ,{\alpha }_n^{\vee }\in 𝔥$는 $n$개의 선형 독립 벡터이다. ${\alpha }_i$를 단순근(單純根, 틀:Llang), ${\alpha }_i^{\vee }$를 단순쌍대근(單純雙對根, 틀:Llang)이라고 한다.

이들은 다음 조건을 만족시켜야 한다.

• 모든 $i,j\in \{1,2,\dots ,n\}$에 대하여, ${\alpha }_i({\alpha }_j^{\vee })=A_{ij}$
• 모든 $i\in \{1,2,\dots ,n\}$에 대하여, $A_{ii}=2$
• 모든 $i,j\in \{1,2,\dots ,n\}$에 대하여, 만약 $i\ne j$라면 $A_{ij}\le 0$
• 모든 $i,j\in \{1,2,\dots ,n\}$에 대하여, 만약 $A_{ij}=0$이라면 $A_{ji}=0$

이 경우, 카츠-무디 대수 $𝔤$는 $𝔥$ 및 생성원 $e_1,\dots ,e_n$, $f_1,\dots ,f_n$으로 생성되며, 다음과 같은 리 괄호를 갖는 복소수 리 대수이다.

$[h,h^{\prime }]=0\mathrm{\forall }h,h^{\prime }\in 𝔥$

$[h,e_i]={\alpha }_i(h)e_i\mathrm{\forall }h\in 𝔥,i\in \{1,\dots ,n\}$

$[h,f_i]=-{\alpha }_i(h)f_i\mathrm{\forall }h\in 𝔥,i\in \{1,\dots ,n\}$

$[e_i,f_i]={\delta }_{ij}{\alpha }_i^{\vee }\mathrm{\forall }i,j\in \{1,\dots ,n\}$

$\stackrel{1-A_{ij}}{\overbrace{[e_i,[e_i,\cdots ,[e_i,}}{e}_j]\cdots ]]=\stackrel{1-A_{ij}}{\overbrace{[f_i,[f_i,\dots ,[f_i,}}{f}_j]\cdots ]]=0\mathrm{\forall }i\ne j$

여기서 $(e_i,f_i)$를 슈발레 생성원(틀:Llang)라고 한다.

만약 카츠-무디 대수 $𝔤$의 카르탕 행렬 $A$에 대하여, $A=DS$인 대각 행렬 $D\in \mathrm{Mat}(n;\mathbb{Z})$와 대칭 행렬 $S\in \mathrm{Mat}(n;ℝ)$가 존재한다면, $𝔤$를 대칭화 가능 카츠-무디 대수(틀:Llang)라고 한다.

카츠-무디 대수 $𝔤$의 계수(틀:Llang) $\mathrm{rank}𝔤$는 그 카르탕 행렬의 계수 $r=\mathrm{rank}A$와 같다.

근계

카츠-무디 대수 $𝔤$가 주어졌을 때, 만약 $x\in 𝔤\setminus \{0\}$ 및 $\lambda \in {𝔥}^{*}\setminus \{0\}$에 대하여

$[h,x]=\lambda (h)x\mathrm{\forall }h\in 𝔥$

라면, $\lambda$를 $𝔤$의 근(根, 틀:Llang)이라고 하고, $x$를 $\lambda$의 근 벡터(根vector, 틀:Llang)라고 한다. $𝔤$의 모든 근들의 집합을 $\mathrm{\Delta }\subset {𝔥}^{*}$라고 하자.

$𝔤$의 근 $\lambda \in \mathrm{\Delta }$에 대응하는 근공간(틀:Llang) ${𝔤}_{\lambda }$은 $\lambda$에 대응하는 모든 근 벡터들의 집합이다. 즉, 다음과 같다.

${𝔤}_{\lambda }=\{x\in 𝔤:\mathrm{\forall }h\in 𝔥:[h,x]=\lambda (h)x\}$

이는 복소수 벡터 공간을 이룬다.

모든 카츠-무디 대수 $𝔤$는 복소수 벡터 공간으로서 다음과 같은 직합으로 나타내어진다.

$𝔤=𝔥{\oplus }_{\lambda \in \mathrm{\Delta }}{𝔤}_{\lambda }$

또한, 모든 근 $\lambda$는 단순근들의 정수 계수 선형 결합이며, 이 경우 모든 계수들은 모두 양의 정수이거나 아니면 모두 음의 정수이다.

$\lambda =\sum _{i=1}^n{z}_i{\alpha }_i(z_1,\dots ,z_n\in \mathbb{Z},\mathrm{sgn}{z}_1=\cdots =\mathrm{sgn}{z}_n\ne 0)$

이 경우, 모두 양의 정수 계수들로 나타내어지는 근을 양근(陽根, 틀:Llang), 모두 음의 정수 계수들로 나타내어지는 근을 음근(陰根, 틀:Llang)이라고 한다.

모든 단순근 ${\alpha }_i$는 양근이며, $-{\alpha }_i$는 음근이다. 또한, $e_i$ 및 $f_i$는 각각 대응하는 단순근 또는 그 반대 벡터의 근공간에 속한다.

$e_i\in {𝔤}_{{\alpha }_i}$

$f_i\in {𝔤}_{-{\alpha }_i}$

딘킨 도표

카츠-무디 대수는 딘킨 도표(Дынкин圖表, 틀:Llang)로 나타낼 수 있다. 이는 그래프의 일종이다. 카르탕 행렬 $A\in \mathrm{Mat}(n;\mathbb{Z})$에 대응하는 딘킨 도표는 다음과 같다.

• 딘킨 도표의 꼭짓점은 $n$개가 있으며, $1,\dots ,n$에 대응한다. 즉, 각 단순근에 대응한다.
• $i\ne j$일 때, 두 꼭짓점 $i,j$ 사이의 변의 수는 $A_{ij}{A}_{ji}$이다.
• 만약 $A_{ij}\le -2$라면, $i$와 $j$ 사이의 변에 $i$로 향하는 화살표를 그린다.

실근과 허근

카츠-무디 대수 $𝔤$의 근 $\alpha \in \mathrm{\Delta }(𝔤)$는 다음과 같이 두 종류로 분류된다.

• 만약 $w(\alpha )$가 단순근인 바일 군 원소 $w\in W(𝔤)$가 존재한다면, $\alpha$를 실근(實根, 틀:Llang)이라고 한다.
• 실근이 아닌 근을 허근(虛根, 틀:Llang)이라고 한다.

분류

대칭화 가능 카츠-무디 대수 $𝔤$의 카르탕 행렬 $A$는 대각 행렬과 대칭 행렬의 곱 $A=DS$로 나타낼 수 있다. 카츠-무디 대수는 $S$의 부호수에 따라서 다음과 같이 분류된다.

• 만약 $S$가 양의 정부호일 경우, $𝔤$는 (유한 차원) 단순 리 대수이다. 이 경우, $r=n$이다.
• 만약 $S$가 양의 준정부호이지만 양의 정부호가 아닐 경우, $𝔤$는 아핀 리 대수이다. 이 경우, $r=n-1$이다.
• 만약 $S$가 부정부호일 경우, $𝔤$는 부정부호 카츠-무디 대수(틀:Llang)이다.
• 대각선 성분들이 양수이므로, $S$는 음의 정부호이거나 음의 준정부호일 수 없다.

이들 가운데, 단순 리 대수 및 아핀 리 대수는 완전히 분류되었다. 또한, 부정부호 카츠-무디 대수 가운데 쌍곡선형 카츠-무디 대수(틀:Llang)라는 것은 총 238개가 있으며, 역시 완전히 분류되었다. 그러나 단순 리 대수 · 아핀 리 대수 · 쌍곡 카츠-무디 대수가 아닌 것들은 아직 잘 알려지지 않았다.

역사

캐나다의 로버트 본 무디(틀:Llang) 가 토론토 대학교 박사 학위 논문에서 도입하였다. 이와 독자적으로 소비에트 연방의 빅토르 카츠가 거의 동시에 이들을 발견하였다.

같이 보기

• 가공할 헛소리

각주

• 틀:서적 인용
• 틀:저널 인용

외부 링크

• 틀:Eom
• 틀:Nlab
• 틀:수학노트