개요
SU(2)의 표현론은 특수 유니터리 군 $ \mathrm{SU}(2) $와 그 리 대수 $ \mathfrak{su}(2) $에 대한 복소수 혹은 실수 선형 표현을 연구하는 수학 분야이다. 이 분야는 대수학, 해석학, 양자역학 등 다양한 학문에서 핵심적인 역할을 하며, 특히 입자 물리학에서 스핀과 같은 내부 대칭을 기술하는 데 사용된다.
역사
SU(2)의 표현론은 19세기 말 에바리스트 갈루아와 펠레의 군 이론을 토대로, 20세기 초 에르빈 슈레딩거와 파울 디랙 등이 양자역학에서 스핀을 도입하면서 물리학적으로 중요한 응용을 얻게 되었다. 1950년대와 1960년대에 사무엘 아이젠버그와 윌리엄 피델이 리 군과 리 대수의 일반적인 표현론을 정리하면서 SU(2)의 고유표현 구조가 체계적으로 밝혀졌다.
정의
- 군 표현: 복소수 벡터 공간 $V$와 군 동형사상 $\rho: \mathrm{SU}(2) \to \operatorname{GL}(V)$의 쌍.
- 리 대수 표현: 선형 사상 $\sigma: \mathfrak{su}(2) \to \operatorname{End}(V)$이며, $\sigma([X,Y])=[\sigma(X),\sigma(Y)]$를 만족한다.
군 표현과 리 대수 표현은 $\mathrm{SU}(2)$가 연결군이므로 서로 일대일 대응한다(지수 사상과 로그 사상에 의해).
불변표현 및 기본표현
- 기본 표현: 차원 2의 표준 표현으로, $\mathrm{SU}(2)$를 $2\times2$ 특수 유니터리 행렬 집합으로 보는 자연스러운 매핑이다.
- 실제표현: 차원 3의 회전군 $\mathrm{SO}(3)$와 동형인 실수표현이 존재한다. 이는 $\mathfrak{su}(2)$의 3차원 실수표현과 동일하게 해석된다.
불가약 표현(irreducible representation, IR)
불가약 복소수 표준 표현은 차원 $n+1$ ( $n\in\mathbb{N}_0$ )인 $\mathrm{SU}(2)$의 모든 불가약 표현을 구성한다. 이들은 다음과 같은 특징을 갖는다.
| 차원 | 최고중량(highest weight) | 표기법 |
|---|---|---|
| 1 | 0 | $\mathbf{1}$ (항등 표현) |
| 2 | $\frac{1}{2}$ | $\mathbf{2}$ (기본 표현) |
| 3 | 1 | $\mathbf{3}$ (벡터 표현) |
| $\vdots$ | $\frac{n}{2}$ | $\mathbf{n+1}$ |
- 가중치 구조: 각 불가약 표현은 최고중량 $\frac{n}{2}$를 가지고, 중량은 $\frac{n}{2}, \frac{n}{2}-1, \dots, -\frac{n}{2}$ 로 1씩 감소한다.
- 텐서곱 분해: 두 불가약 표현 $\mathbf{m+1}$와 $\mathbf{n+1}$의 텐서곱은 Clebsch–Gordan 규칙에 따라 $\bigoplus_{k=|m-n|}^{m+n} \mathbf{k+1}$ 로 분해된다.
실제 응용
- 양자역학·양자장론: 전자 스핀 $ \frac{1}{2} $는 $\mathbf{2}$에 해당하고, 입자들의 총 스핀은 텐서곱과 Clebsch–Gordan 계수를 통해 합성된다.
- 위상수학: SU(2) 번들은 3‑차원 매니폴드의 스핀 구조와 연결된다.
- 수학 물리: 가량자역학계의 대칭군으로써 SU(2)와 그 표현이 행렬 모델 및 베타함수와 결합한다.
주요 정리 및 성질
- 완전성 정리: 모든 유한 차원 복소수 표현은 불가약 표현들의 직합으로 분해된다.
- 슈워츠 정리: 불가약 표현 $\mathbf{n+1}$는 $\mathfrak{su}(2)$의 중심화(사실상는 스칼라) 연산자를 제외하고는 자기동형군이 $\mathbb{C}$ 뿐이다.
- Frobenius–Schur 지표: 실수 혹은 의사실수(quaternionic) 구조를 판정한다. 차원 $\equiv 0 \pmod{4}$인 경우 의사실수 구조를 갖는다.
관련 주제
- SU(2)와 SO(3)의 관계: $\mathrm{SU}(2)$는 $\mathrm{SO}(3)$의 2배 표피 이중피복이며, 두 군의 표현론은 차원과 실수/복소수 구조에 따라 서로 대응한다.
- 양자군론: 양자 변형 $U_q(\mathfrak{su}(2))$의 표현은 기본적인 SU(2) 표현을 $q$-기하학적으로 일반화한다.
- 베르트와이즈 연산자: SU(2) 불가약 표현에 대한 대수적 구조를 이용한 대칭적 정규화에 활용된다.
참고문헌
- Hall, Brian C. Lie Groups, Lie Algebras, and Representations: An Elementary Introduction. Springer, 2015.
- Georgi, Howard. Lie Algebras in Particle Physics. Westview Press, 1999.
- Fulton, William; Harris, Joe. Representation Theory: A First Course. Springer, 1991.
외부 링크
- 위키백과: SU(2)
- MathWorld: SU(2) Representations
본 문서는 최신 수학·물리학 문헌을 기반으로 작성되었으며, 내용은 일반적으로 인정받는 학술적 합의를 반영한다.