- 표현론에서의 슈어 보조정리

슈어 보조정리(Schur’s lemma)는 표현론에서 기약표현 사이의 연동 연산자(intertwining operators)를 특징짓는 기본적인 결과입니다. 이 보조정리는 두 가지 중요한 부분으로 구성됩니다.

제1부: 서로 다른 기약표현 사이의 연동 사상 #

만약 $D_a(g)$와 $D_b(g)$가 군 $G$의 서로 동등하지 않은 기약표현이고, $A$가 모든 $g \in G$에 대해 다음을 만족하는 선형 연산자라면:

$$D_a(g)A = AD_b(g)$$

그러면 $A = 0$입니다.

증명: #

1. $A|\mu\rangle = 0$을 만족하는 영이 아닌 벡터 $|\mu\rangle$가 존재한다고 가정합시다. $P$를 $|\mu\rangle$에 대한 투영 연산자라고 합시다.

   그러면 $D_a(g)AP = AD_b(g)P = 0$입니다. $D_b(g)$가 기약표현이므로, $P$는 반드시 전체 벡터 공간에 대한 투영자여야만하며, 이는 $|\mu\rangle$가 전체 벡터 공간의 임의의 벡터임을 의미합니다. 따라서 임의의 $|\mu\rangle$에 대해 $A|\mu\rangle = 0$이므로, $A = 0$이라고 결론지을 수 있습니다.

2. 만약 그러한 영이 아닌 $|\mu\rangle$가 존재하지 않는다면, $D_a(g)A = AD_b(g)$로부터 $D_a(g) = AD_b(g)A^{-1}$을 얻게 되는데, 이는 $D_a(g)$와 $D_b(g)$가 서로 동등하지 않은 기약표현이라는 우리의 가정에 모순됩니다.

(1)과 (2)로부터, 만약 $D_a(g)$와 $D_b(g)$가 모든 $g \in G$에 대해 서로 동등하지 않은 기약표현이고 $D_a(g)A = AD_b(g)$라면, $A|\mu\rangle = 0$을 만족하는 영이 아닌 $|\mu\rangle$가 항상 존재합니다. 따라서 $A = 0$입니다.

제2부: 동일한 기약표현 내의 연동 사상 #

만약 $D(g)$가 $G$의 기약표현이고, $A$가 모든 $g \in G$에 대해 다음을 만족하는 선형 연산자라면:

$$D(g)A = AD(g)$$

(즉, $[D(g), A] = 0$), 그러면 $A$는 항등 연산자에 비례합니다: $A \propto I$.

증명: #

1. 만약 $A|\mu\rangle = 0$을 만족하는 영이 아닌 벡터 $|\mu\rangle$가 존재한다면, 제1부와 같은 논증에 의해 $A = 0$이라고 결론지을 수 있으며, 이는 항등 연산자에 비례합니다.

2. 그렇지 않으면, 모든 연산자 $A$는 적어도 하나의 고유벡터 $|\mu\rangle$를 어떤 고유값 $\lambda$와 함께 가지므로, $(A - \lambda I)|\mu\rangle = 0$입니다.

   $D(g)A = AD(g)$로부터, $D(g)(A - \lambda I) = (A - \lambda I)D(g)$를 얻습니다. $(A - \lambda I)|\mu\rangle = 0$을 만족하는 $|\mu\rangle$가 존재하므로, 제1부의 논증에 의해 $A - \lambda I = 0$, 즉 $A = \lambda I$여야 합니다.

(1)과 (2)로부터, $A \propto I$라고 결론지을 수 있습니다.

중요성 #

슈어 보조정리는 표현론에서 강력한 도구로, 양자역학에서 특히 대칭성과 보존 법칙을 이해하는 데 응용됩니다. 이 정리는 기약표현의 행렬 요소의 직교성에 대한 엄밀한 수학적 기초를 제공하며, 캐릭터 이론(character theory) 발전에 중요한 역할을 합니다.