적절한 리 군체에 대한 탄나카 이중성 정리

본 논문은 ‘적절한 리 군체(proper Lie groupoid)’에 대한 탄나카 이중성 정리를 새롭게 정립한다. 전통적으로 탄나카 이중성은 콤팩트 군에 대해 그들의 연속적인 유한 차원 표현들의 범주를 통해 원래 군을 재구성하는 이론이다. 그러나 리 군체는 기저다양체 위에 화살표가 존재하는 보다 복잡한 구조이며, 기존의 매끄러운 벡터다발을 대상으로 한 표현론만으로는 충분히 풍부한 대수적 정보를 포착하기 어렵다. 이를 해결하기 위해 저자는 두 가지 주요 개념을 도입한다. 첫째, ‘스무스 유클리드 필드(smooth Euclidean field)’라는 범주를 정의한다. 이는 각 점에서 유클리드 공간(내적을 가진 유한 차원 실벡터공간)으로 구성된 섬유를 갖는 매끄러운 장(bundle)이며, 전통적인 벡터다발보다 더 일반적인 객체이다. 이러한 필드는 연속 힐베르트 필드(continuous Hilbert field)의 매끄러운, 유한 차원 버전으로, 섬유마다 내적이 존재하므로 군체 작용을 정의할 때 자연스러운 전단사 구조를 유지한다. 둘째, ‘스무스 텐서 스택(smooth tensor stacks)’이라는 2-범주적 프레임워크를 구축한다. 텐서 스택은 스무스 유클리드 필드와 매끄러운 벡터다발을 모두 포함하는 범주이며, 텐서곱, 내부 Hom, 대수적 구조(예: 알게브라, 코알게브라) 등을 내부적으로 정의한다. 이 구조를 통해 군체 G에 대한 표현을 ‘스무스 텐서 스택 위의 객체’로 일관되게 기술하고, 전통적인 클래시컬 표현과 새로운 유클리드 필드 표현을 동일한 언어로 비교한다. 논문의 핵심 정리는 다음과 같다. 적절한 리 군체 G의 기저다양체를 M이라 하면, 스무스 유클리드 필드들의 범주 EuclField(M)를 고려한다. G의 스무스 작용을 갖는 유클리드 필드에 대한 표현 범주 Rep(G)를 정의하고, 자연스러운 ‘잊어버리기’ 함자 ω: Rep(G) → EuclField(M) 를 설정한다. ω의 자연 변환군 End(ω) 에는 텐서 구조와 호환되는 부분군 T(G) 가 정의되며, 이는 C^∞‑구조를 갖는 새로운 군체 T(G) 로 해석된다. 이때, 사상 π: G → T(G) 를 각 화살표 g∈G에 대해 π(g)(E) = g·E (E는 Rep(G)의 객체) 로 정의한다. 저자는 π가 매끄러운 군체 동형임을 증명한다. 증명의 핵심은 전사성이다. 전사성을 보이기 위해, 먼저 Zung의 ‘정규화된 Haar 시스템’과 ‘정규화된 선형화 정리’를 이용해 G의 각 화살표를 국소적으로 선형화하고, 이를 전역적인 매끄러운 구조로 조합한다. 정규성 가정(모든 등각군체가 콤팩트함) 덕분에 Haar 시스템이 존재하고, 정규화된 선형화 정리를 적용할 수 있다. 이를 통해 π가 각 화살표를 완전하게 재현함을 보인다. 또한, π의 단사성은 N.T. Zung의 기존 정리(‘정규성에 대한 사상은 전단사’)를 직접 인용한다. 결과적으로 T(G)는 실제 매끄러운 군체이며, G와 동형이다. 논문은 이 정리를 기존의 ‘클래시컬 표현(classical representation)’에도 적용한다. 클래시컬 표현은 매끄러운 벡터다발 E 위에 정의된 군체 호몰로지 ρ: G → GL(E) 로, 이는 유클리드 필드 표현의 특수 경우이다. 저자는 텐서 스택 프레임워크 안에서 클래시컬 표현을 재해석하고, 동일한 탄나카 군체 T(G)를 얻는다. 마지막으로, 저자는 텐서 스택 이론을 통해 다양한 응용 가능성을 제시한다. 예를 들어, 군체 코호몰로지, 양자화 변형 이론, 포리즘(orbifold) 이론 등에서 스무스 유클리드 필드와 텐서 스택이 자연스럽게 등장한다는 점을 강조한다. 또한, 이론이 ‘C^∞‑구조화된 군체(C^∞‑structured groupoid)’라는 새로운 개념을 도입함으로써, 기존의 Lie 군체 이론을 확장하고, 비가환적 기하학과 대수적 구조 사이의 다리를 놓는다. 요약하면, 이 논문은 (1) 스무스 유클리드 필드라는 새로운 대상군을 도입, (2) 스무스 텐서 스택이라는 범주론적 프레임워크를 구축, (3) 적절한 리 군체에 대한 탄나카 이중성 정리를 증명, (4) 기존의 클래시컬 표현을 일반화된 텐서 스택 언어로 재구성, (5) 다양한 기하·물리 응용에 대한 가능성을 제시함으로써, 리 군체와 탄나카 이중성 사이의 이론적 연결을 크게 확장하였다.