카시미르 원소

틀:위키데이터 속성 추적 리 대수 이론에서, 카시미르 원소(Casimir元素, 틀:Llang)는 리 대수의 보편 포락 대수의 중심의 특별한 원소이다.

정의

체 $K$ 위의 리 대수 $𝔤$의 보편 포락 대수 $\mathrm{U}(𝔤)$의 환으로서의 중심 $\mathrm{Z}(\mathrm{U}(𝔤))$를 생각하자. 이는 $K$ 위의 벡터 공간이다. 물론, 이는 $\mathrm{U}(𝔤)$의 표준적인 자연수 등급에 의하여 등급 벡터 공간으로 분해된다.

$\mathrm{Z}(\mathrm{U}(𝔤))=\underset{i=0}{\overset{\mathrm{\infty }}{⨁}}{\mathrm{Z}}_i(\mathrm{U}(𝔤))$

푸앵카레-버코프-비트 정리에 따라서, ${\mathrm{Z}}_i(\mathrm{U}(𝔤))$는 ${𝔤}^{*}$ 변수의 $i$차 불변 다항식들의 공간과 같다.

두 불변 다항식의 곱은 물론 불변 다항식이다. 두 (양의 차수의) 불변 다항식의 곱으로 표현될 수 없는 동차 불변 다항식에 대응하는 $\mathrm{Z}(\mathrm{U}(𝔤))$의 원소를 $𝔤$의 카시미르 원소라고 한다.

이차 카시미르 원소

특히, 만약 $𝔤$가 표수 0의 체 $K$위의 단순 리 대수라면, 그 킬링 형식 $B$는 비퇴화 이차 형식이며, 그 역행렬 $B^{-1}(-,-)$은 ${𝔤}^{*}$ 위의 2차 불변 다항식이므로, 카시미르 원소를 이룬다. 이를 $𝔤$의 이차 카시미르 원소(틀:Llang)라고 한다.

특히, 만약 $K$가 대수적으로 닫힌 체일 때, $B$에 대한 정규 직교 기저를 $x_i$라고 하면, 이차 카시미르 원소는 다음과 같다.

$C=\sum _i{x}_i{x}_i\in \mathrm{U}(𝔤)$

성질

하리시찬드라 동형

만약 $𝔤$가 (대수적으로 닫힌 체일 필요가 없는) 표수 0의 체 위의 가약 리 대수일 경우, 하리시찬드라 동형(틀:Llang)에 의하여, 다음과 같은 동형 사상이 존재한다.

$\mathrm{Z}(\mathrm{U}(𝔤))\to \mathrm{Sym}(𝔤{)}^{\mathrm{W}(𝔤)}$

여기서 우변은 $𝔤$로 생성되는 대칭 대수의 원소 가운데, 바일 군 $\mathrm{W}(𝔤)$의 작용에 대하여 불변인 것들의 부분 공간이다.

라플라스-벨트라미 연산자

리 군 $G$의 리 대수가 반단순 리 대수라고 하자. 그렇다면, 그 위에서 킬링 형식 $B$는 준 리만 계량을 정의하며, 2차 카시미르 불변량은 이 준 리만 다양체 $(G,B)$의 라플라스-벨트라미 연산자 ${\mathrm{\Delta }}_B$와 같다.

예

표수 0의 체 $K$ 위의 (양의 정부호) 3차원 직교 리 대수 $𝔰𝔬(3;K)$를 생각하자. 그 기저는 다음과 같이 잡을 수 있다.

$L_x=\left(\begin{array}{ccc}0& 0& 0\\ 0& 0& -1\\ 0& 1& 0\end{array}\right),L_y=\left(\begin{array}{ccc}0& 0& 1\\ 0& 0& 0\\ -1& 0& 0\end{array}\right),L_z=\left(\begin{array}{ccc}0& -1& 0\\ 1& 0& 0\\ 0& 0& 0\end{array}\right)$

그렇다면, 이차 카시미르 원소

$L^2=L_x^2+L_y^2+L_z^2=-2\left(\begin{array}{ccc}1& 0& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right)$

을 정의할 수 있다. 이는 대각 행렬이므로, 보편 포락 대수의 중심에 속함을 알 수 있다.

양자역학에서, $L_i$는 세 직교 방향에 대한 각운동량에 해당하며, 이차 카시미르 원소 $L^2$는 각운동량의 크기의 절댓값의 제곱의 기댓값이다. (이는 물론 각운동량의 크기의 절댓값의 기댓값의 제곱과 다르다.) 총 각운동량 양자수의 스칼라 값을 $\ell$이라고 할 때, 이는 $\ell (\ell +1)$에 해당한다. 여기서 사용한 3차원 정의(定義) 표현은 스핀 $\ell =1$에 해당하므로, $L^2=2$가 된다.

역사

헨드릭 카시미르가 양자 강체 동역학에 대한 1931년 박사 학위 논문에서 $𝔰𝔬(3)$의 이차 카시미르 불변량을 최초로 사용하였다.틀:Rp

하리시찬드라 동형은 하리시찬드라 메로트라가 도입하였다.

같이 보기

• 파울리-루반스키 벡터
• 클렙슈-고르단 계수

외부 링크

• 틀:Eom
• 틀:매스월드
• 틀:Nlab
• 틀:웹 인용