2차원 유클리드·포인카레 군의 단위 불가약 표현 완전 해석

초록

본 논문은 Mackey의 유도 표현 정리를 이용해 차원 D=2인 유클리드군 E(2)와 포인카레군 ISO(1,1)의 모든 단위 불가약 표현을 구체적으로 구성한다. 번역군의 문자와 궤도‑소군(리틀 그룹) 분석을 통해 원점 궤도와 비원점 원형 궤도로 나누고, 각각에 대해 적절한 섹션과 Bessel 함수 형태의 행렬 원소를 도출한다. 또한 스핀군의 이중 피복을 명시적으로 계산한다.

상세 분석

논문은 먼저 Mackey 정리의 전반적인 구조를 상세히 복습한다. 여기서는 폐쇄된 부분군 H와 전체군 G 사이의 유도 표현 Ind_G^H(σ) 과, G가 반직접곱 N⋊H 형태일 때 문자 χ∈ĤN 에 대한 궤도 O_χ, 동등군 G_χ, 그리고 리틀 그룹 H_χ 을 정의한다. 특히 N이 아벨리안(여기서는 ℝ²)일 때 모든 단위 불가약 표현이 1차원 문자 χ_p(x)=e^{i p·x} 형태임을 강조한다.

E(2) = T²⋊SO(2) 에 대해서는 번역군 T²의 문자 χ_q(a)=e^{i q·a} 와 회전군의 이중 피복 Spin(2) 을 사용한다. 궤도는 두 종류로 나뉜다. (1) q=0 인 특이 궤도에서는 전체군이 동등군이 되며, 리틀 그룹은 Spin(2) 이고, 정수 m∈ℤ 으로 표시되는 1차원 표현 e^{i mθ/2} 을 얻는다. (2) |q|>0 인 일반 궤도는 반지름 |q| 의 원이며, 동등군은 T²⋊ℤ₂, 리틀 그룹은 ℤ₂ (±id) 이다. 여기서 섹션은 f(a,z)=e^{-i q·R_{θ}^{-1}a} · \tilde f(z) 형태가 되며, \tilde f(z) 는 z→±z 대칭에 따라 짝/홀 짝성을 갖는다. 이때 회전 파라미터 θ 와 z=e^{iθ/2} 관계가 핵심이다.

그 결과, 회전 생성자 J와 번역 생성자 Q_i 의 리프대수 표현은
J → -i ∂/∂θ, Q_i → i ∂/∂a_i 이며, 비원점 궤도에 대해서는 Bessel 함수 J_m(|q|r) 가 나타난다. 이는 기존 물리학에서 파동함수의 평면파 전개와 일치한다.

포인카레군 ISO(1,1) = ℝ^{1,1}⋊SO(1,1) 에 대해서는 리틀 그룹이 ℤ₂ 또는 ℝ(연속) 인 경우가 존재한다. 시간‑유사 궤도(양의 질량)와 공간‑유사 궤도(음의 질량) 그리고 빛‑같은 궤도(질량 0)로 구분한다. 각 궤도마다 동등군과 리틀 그룹을 구하고, 문자 χ_p(x)=e^{i p·x} 에 대한 회전(부스트) 변환을 계산한다. 특히 빛‑같은 궤도에서는 리틀 그룹이 ℤ₂ 이며, 이중 피복 Spin(1,1) 이 등장한다. 결과적으로, 모든 경우에 대해 섹션 f(x,λ) 을 구하고, 유도된 표현의 행렬 원소를 Bessel K 함수와 지수 함수의 곱으로 명시한다.

부록에서는 Clifford 대수를 이용해 Spin(2)와 Spin(1,1) 을 직접 구성하고, 이들의 매핑 ϕ:Spin→SO 을 제시한다. 이는 이중 피복이 어떻게 회전·부스트를 두 배 각도로 표현하는지를 명확히 보여준다. 전체적으로 논문은 저차원에서 Mackey 이론을 완전 구현함으로써, 일반적인 차원에서 “Wigner 회전”을 구하기 어려운 문제를 회피하고, 구체적인 함수 형태와 행렬 원소를 제공한다는 점에서 이론 물리와 수학 모두에 유용한 사례를 제시한다.