카르탕 부분 대수(영: Cartan subalgebra)는 복소(또는 실) 유한 차원 반군(반대칭) 리군(Lie algebra) $\mathfrak{g}$ 안에서 가장 중요한 구조적 부분을 이루는, 자기-정규화(self‑normalizing)이며 아벨리안(교환)인 최대 부분 대수를 말한다. 이는 에밀리 카르탕(Élie Cartan, 1869‑1951)이 리군 이론을 정립하면서 도입한 개념으로, 리군의 구조를 정밀히 이해하고 분류하는 데 핵심적인 역할을 한다.
1. 정의와 기본 성질
-
아벨리안성
$\mathfrak{h} \subset \mathfrak{g}$가 카르탕 부분 대수라면 모든 $X,Y \in \mathfrak{h}$에 대해 $[X,Y]=0$이다. 즉 $\mathfrak{h}$는 교환 대수이다. -
자기‑정규화
$\mathfrak{h}$가 자기‑정규화된다는 것은
$$ N_{\mathfrak{g}}(\mathfrak{h}) := {,X\in\mathfrak{g}\mid [X,\mathfrak{h}]\subset\mathfrak{h},}= \mathfrak{h} $$
를 만족한다는 뜻이다. 따라서 $\mathfrak{h}$는 $\mathfrak{g}$ 안에서 “가장 큰” 아벨리안 대수이며, 더 큰 아벨리안 부분 대수는 존재하지 않는다. -
최대성
$\mathfrak{h}$는 $\mathfrak{g}$ 내의 모든 아벨리안 부분 대수 중 차원이 최대이다. -
정규성 (Semisimple case)
$\mathfrak{g}$가 반군(semisimple) 리군이면 카르탕 부분 대수는 정규화된(self‑normalizing) 아벨리안 대수일 뿐 아니라, 정규화된 대수(Cartan subalgebra)라고도 불리며, 그 차수는 $\mathfrak{g}$의 랭크(rank)와 일치한다.
2. 존재와 유일성
- 반군 리군 $\mathfrak{g}$에 대해서는 카르탕 부분 대수가 언제나 존재한다.
- 가환 리군(abelian Lie algebra)의 경우, 전체가 바로 카르탕 부분 대수이다.
- 정규형(conjugacy): 반군 리군에서 모든 카르탕 부분 대수는 $\operatorname{Ad}(G)$ (리군 $G$의 아다액션)에 의해 서로 서로 동형(conjugate)이다. 즉, 어느 두 카르탕 부분 대수 $\mathfrak{h}_1,\mathfrak{h}_2$에 대해 $g\in G$가 존재해 $\operatorname{Ad}(g)(\mathfrak{h}_1)=\mathfrak{h}_2$가 된다.
3. 구조론에서의 역할
3.1 뿌리 분해(Root Decomposition)
카르탕 부분 대수 $\mathfrak{h}$를 잡으면, $\mathfrak{g}$는 $\mathfrak{h}$에 대한 가중치 분해(weight decomposition) 즉, 뿌리 분해(root space decomposition)를 갖는다.
$$
\mathfrak{g}= \mathfrak{h} \oplus \bigoplus_{\alpha\in\Delta} \mathfrak{g}\alpha,
$$
여기서
$$
\mathfrak{g}\alpha = {,X\in\mathfrak{g}\mid [H,X]=\alpha(H)X \ \forall H\in\mathfrak{h},},
$$
$\Delta\subset\mathfrak{h}^*$는 뿌리(root system) 라고 부르는 비영(非零) 선형 함수들의 집합이다.
3.2 랭크와 차원
카르탕 부분 대수의 차원 $\dim\mathfrak{h}$는 $\mathfrak{g}$의 랭크와 동일하다. 예를 들어,
- $\mathfrak{sl}(n,\mathbb{C})$의 랭크 = $n-1$ (대각 행렬이 카르탕 부분 대수)
- $\mathfrak{so}(2n+1,\mathbb{C})$의 랭크 = $n$
- $\mathfrak{sp}(2n,\mathbb{C})$의 랭크 = $n$
3.3 가중표현 및 가중치
유한 차원 $\mathfrak{g}$-표현 $V$는 $\mathfrak{h}$에 대해 가중치 분해된다. $$ V = \bigoplus_{\lambda\in\mathfrak{h}^*} V_\lambda,\qquad V_\lambda={v\in V\mid H\cdot v=\lambda(H)v \ \forall H\in\mathfrak{h}}. $$ 이 가중치는 최고중량(highest weight) 이론, 위상군표현, 그리고 문자 공식(예: Weyl 차트리즘) 등에서 핵심적인 입력값이 된다.
4. 구체적 예시
| 리군 $\mathfrak{g}$ | 카르탕 부분 대수 $\mathfrak{h}$ | 차원(랭크) | 비고 |
|---|---|---|---|
| $\mathfrak{sl}(n,\mathbb{C})$ | 대각 행렬이면서 행의 합이 0인 행렬 | $n-1$ | $\mathfrak{h} = { \operatorname{diag}(a_1,\dots,a_n) \mid \sum a_i=0}$ |
| $\mathfrak{so}(n,\mathbb{C})$ | 블록 $\begin{pmatrix}0&\theta_i\ -\theta_i&0\end{pmatrix}$ 형태 | $\lfloor n/2\rfloor$ | 회전 각 $\theta_i$를 담당 |
| $\mathfrak{sp}(2n,\mathbb{C})$ | $\begin{pmatrix}D &0\0&-D\end{pmatrix}$ (대각 $D$) | $n$ | 심플렉틱 구조 보존 |
| $\mathfrak{g}_2$ (예외형) | 차원 2인 아벨리안 대수 | 2 | 복잡한 구조지만 여전히 자기‑정규화 |
5. 응용 및 중요성
-
리군 분류
카르탕 부분 대수와 그에 대응되는 뿌리 시스템 $\Delta$는 반군 리군을 완전히 구분한다. 뿌리 시스템은 Dynkin 다이어그램으로 시각화되며, 이는 리군의 베르트-시벨(Verma) 모듈, 표현 이론 및 대수적 위상학 등에 직접 사용된다. -
Weyl 군
카르탕 부분 대수 $\mathfrak{h}$에 대해, $\mathfrak{g}$의 정상화자 $N_G(\mathfrak{h})$와 중심자 $Z_G(\mathfrak{h})$의 몫인 Weyl 군 $W = N_G(\mathfrak{h})/Z_G(\mathfrak{h})$는 뿌리 시스템을 대칭시키는 반사군이며, 가중치와 고전적 대칭성 분석에 필수적이다. -
양자역학 및 입자물리
대수적 구조는 대칭군으로 쓰이며, 예를 들어 $\mathfrak{su}(3)$의 카르탕 부분 대수는 색 대칭(색전하)를 정의한다. 무게(Weight)와 카르탕 전하(Cartan charge)는 입자 스펙트럼을 분류하는 데 직접적으로 사용된다. -
대수기하학
호지 구조, 복소다양체의 얽힌 구조, 그리고 Kac‑Moody 대수와 같은 무한 차원 일반화에서도 카르탕 부분 대수와 그 뿌리 시스템은 기본적인 도구가 된다.
6. 일반화와 변형
-
산술 카르탕 부분 대수 (Cartan subalgebra over a field other than $\mathbb{C}$ or $\mathbb{R}$)
실·복소 리군을 넘어서, 임의의 체 $K$ 위의 리군에서도 카르탕 부분 대수 개념을 정의한다. 그러나 체의 특성에 따라 존재와 유일성에 차이가 있다(예: 특성 $p>0$인 경우). -
비반군 카르탕 부분 대수
반군이 아닌 일반 리군에도 “카르탕 부분 대수”라는 용어를 사용한다. 이 경우 ‘자기‑정규화 아벨리안 대수’라는 정의를 그대로 적용하면 되지만, 뿌리 체계가 없으므로 구조적 의미가 제한된다. -
Cartan subalgebra of a Lie superalgebra
초리군(super Lie algebra)에서는 ‘Cartan subalgebra’는 짝수 부분(보통 $\mathfrak{g}_{\overline{0}}$)의 카르탕 부분 대수와, 짝수·홀수 부분이 혼합된 ‘표준형’(standard) 정의가 존재한다.
7. 주요 참고문헌
- E. Cartan, The Theory of Lie Groups, 1894‑1904 (원전: Leçons sur la théorie des groupes de transformations).
- J.-P. Serre, Lie Algebras and Lie Groups, Springer, 1992.
- R. Bourbaki, Lie Groups and Lie Algebras, Chapters 4–6, Springer, 2002.
- W. Fulton & J. Harris, Representation Theory: A First Course, Graduate Texts in Mathematics 129, Springer, 1991.
- V. Kac, Infinite-dimensional Lie Algebras, Cambridge University Press, 1990.
요약
카르탕 부분 대수는 리군 이론에서 “가장 큰 아벨리안, 자기‑정규화된” 부분 대수이며, 리군의 랭크, 뿌리 시스템, Weyl 군 등을 정의하는 핵심 구조이다. 반군 리군에서는 모든 카르탕 부분 대수가 서로 동형이며, 이를 이용해 리군을 뿌리와 가중치로 완전히 기술한다. 물리학, 대수기하학, 무한 차원 대수 등 다양한 분야에서 그 응용이 폭넓게 전개되고 있다.