무한 차원 2그룹 표현 이론

본 논문은 2‑그룹(2‑category equipped with a multiplication) 이론을 무한 차원으로 확장하기 위해 ‘측정 가능한 범주(Measurable categories)’라는 새로운 2‑벡터 공간을 도입하고, 이를 이용해 골격(skeletal) 2‑그룹의 표현 이론을 전면적으로 전개한다. 1. **배경과 동기** - Kapranov‑Voevodsky가 제시한 유한 차원 2‑벡터 공간(Vect\_N)은 객체가 N‑tuple의 유한 차원 벡터 공간이며, 이는 ‘표준 기저(e_i)’에 의해 완전히 규정된다. 이 구조는 군이 유한 집합에 작용하는 경우에만 풍부한 표현을 제공한다. - 그러나 Lie 2‑그룹, 특히 Poincaré 2‑그룹과 같이 객체군이 연속적인 리군인 경우, 유한 집합에 대한 작용이 거의 없으므로 Vect\_N 위에서는 의미 있는 표현을 거의 만들 수 없다. - 이를 극복하기 위해 Crane·Sheppeard·Yetter는 ‘측정 가능한 장(measurable fields of Hilbert spaces)’을 이용해 무한 차원 2‑벡터 공간을 정의하였다. 2. **측정 가능한 범주(Meas)의 구성** - 측정 가능한 공간 X와 그 위에 정의된 Hilbert 공간들의 측정 가능한 장을 객체로 하는 카테고리 H\_X 를 정의한다. - 1‑사상은 장 사이의 가측 연산자(즉, 각 점 x∈X에서 정의된 유계 연산자들의 장)이며, 2‑사상은 자연 변환(점별 강연속 변환)이다. - Meas는 이러한 H\_X 들을 객체로 하는 2‑범주이며, 직접 적분(direct integral)과 같은 연산을 통해 내적을 정의할 수 있다. 3. **골격 2‑그룹과 그 표현** - 논문은 strict하고 skeletal한 2‑그룹을 교차 모듈 (G, H, β) 로 동등시킨다. 여기서 G는 객체군, H는 자동사상군(abelian), β는 G가 H에 미치는 왼쪽 작용이다. - 이러한 2‑그룹 G에 대한 ‘측정 가능한 2‑표현’은 다음과 같이 구성된다. * G의 객체 g∈G는 X 위의 가측 변환 Φ\_g : X → X 를 정의한다 (즉, G가 X에 작용). * H의 원소 h∈H는 각 x∈X에서 Hilbert 장 H\_x 위의 유계 연산자 T\_h(x) 로 구현된다. - 따라서 2‑표현은 (Φ, T) 쌍으로, Φ는 G‑action, T는 H‑action을 동시에 기술한다. 4. **구조 정리: 텐서곱·직접합·부분표현** - **직접합(⊕)**: 두 2‑표현 (Φ\_1, T\_1)와 (Φ\_2, T\_2)의 직접합은 X 위에 장 H\_x = H\_x^{(1)} ⊕ H\_x^{(2)} 로 정의된다. 이는 Meas 안에서의 카테고리적 직접합과 일치한다. - **텐서곱(⊗)**: 두 2‑표현의 텐서곱은 X×Y 위에 장 H\_{(x,y)} = H\_x^{(1)} ⊗ H\_y^{(2)} 로 구성한다. 이는 2‑표현들의 ‘곱표현(product representation)’을 제공한다. - **부분표현**은 세 단계로 구분된다. * **객체 수준**: 장 H\_x 의 서브 장 K\_x 로 정의되는 ‘측정 가능한 서브 장’. * **1‑사상 수준**: 서브 장들 사이의 가측 연산자들의 서브 카테고리. * **2‑사상 수준**: 자연 변환들의 서브 집합, 즉 ‘sub‑intertwiners’. - 이러한 다층 구조는 전통적인 군 표현 이론에서는 존재하지 않는 ‘intertwiners의 직접합’과 ‘sub‑intertwiners’를 가능하게 만든다. 5. **불가분·분해불가능·irretractable 표현** - **Irreducible (불가분)**: 비자명한 부분표현이 전혀 존재하지 않는다. 이는 G가 X에 전이(transitive)하게 작용하고, H가 장의 내부에서 비자명한 변환을 만들지 않을 때 발생한다. - **Indecomposable (분해불가능)**: 직접합으로는 분해되지 않지만, 재축소(retraction) 혹은 섹션(section)이 존재한다. - **Irretractable**: 재축소 자체가 존재하지 않는 가장 강한 형태의 표현. 이는 2‑표현 이론에서 처음 제시되는 개념이며, 전통적인 군 표현에서는 관찰되지 않는다. 6. **분리 가능한 2‑Hilbert 공간** - Meas에 ‘inner product’를 부여하기 위해 각 객체를 직접 적분을 통해 완비 Hilbert 공간으로 만든다. - 1‑사상은 유계 연산자들의 직접 적분, 2‑사상은 강연속적인 변환으로 정의한다. - 이렇게 하면 Meas는 ‘separable 2‑Hilbert space’가 되며, 이는 ‘commutative von Neumann 대수 A의 표준 표현 범주 Rep(A)’와 동형임을 보인다. 즉, 2‑Hilbert 공간을 ‘교환형 von Neumann 대수의 표현 범주’라는 관점으로 재해석한다. 7. **예시와 물리적 응용** - Poincaré 2‑그룹을 구체적인 예시로 들어, Lorentz 변환이 객체군 G, 평행 이동이 자동사상군 H 로 작용하는 구조를 설명한다. - 이러한 2‑표현은 스핀 포프 모델(spin foam model)과 같은 양자 중력 이론에 적용될 가능성을 제시한다. 8. **결론 및 향후 과제** - 측정 가능한 범주를 이용한 무한 차원 2‑표현 이론은 기존의 제한된 유한 차원 2‑벡터 공간을 뛰어넘어, 연속적인 대칭을 포착하고, 새로운 부분표현·재축소·불가분 구조를 제공한다. - 향후 연구 과제로는 비‑skeletal 2‑그룹에 대한 일반화, 측정 가능한 2‑Hilbert 공간에 대한 완전한 내적 구조 구축, 그리고 물리학적 모델에의 구체적 적용이 제시된다.