적절한 리 대수군oid를 위한 탄카 대칭 정리

본 논문은 “적절한 리 군oid(Proper Lie Groupoid)”에 대한 탄카 이중성(Tannaka duality) 정리를 새롭게 구축한다. 이를 위해 저자는 먼저 매끄러운 벡터 번들의 범주를 완전하게 확장한 ‘매끄러운 유클리드 필드(smooth Euclidean field)’라는 개념을 도입한다. 매끄러운 유클리드 필드는 각 점에서 유클리드 공간을 할당하고, 전역적으로 매끄러운 전이 함수를 갖는 구조로, 연속 힐베르트 필드의 유한 차원 매끄러운 버전이다. 이 필드는 섬유마다 내적을 보존하는 매끄러운 구조를 제공함으로써, 전통적인 벡터 번들보다 풍부한 표현 가능성을 제공한다. 다음으로 저자는 텐서 카테고리 이론을 활용해 ‘매끄러운 텐서 스택(smooth tensor stack)’이라는 범주적 틀을 마련한다. 텐서 스택은 매끄러운 유클리드 필드와 같은 객체들을 포함하며, 텐서곱, 대칭, 내부 Hom 등 텐서 연산을 매끄럽게 정의한다. 이 구조 위에 리 군oid G의 매끄러운 작용을 정의하면, G‑표현은 단순히 군oid‑동형사상 G→GL(E) 형태가 아니라, 각 섬유에 대한 선형 변환을 매끄럽게 연결하는 ‘스택‑표현’이 된다. 논문은 이러한 스택‑표현을 이용해 ‘버림(functor)’을 정의한다. 버림은 각 G‑표현을 그 기반이 되는 매끄러운 유클리드 필드로 맵핑하는 자연스러운 강함수이며, 이 강함수는 대칭 모노이달 구조를 보존한다. 버림을 통해 얻은 데이터는 ‘탄카 군oid(Tannakian groupoid)’를 구성하는데, 이는 원래 군oid G의 모든 스택‑표현을 모아 만든 새로운 군oid이다. 핵심 결과는 제8장 9절에 제시된 재구성 정리(The Reconstruction Theorem)이다. 적절한 리 군oid G에 대해, 위에서 정의한 매끄러운 유클리드 필드와 그 위의 G‑작용을 이용해 만든 탄카 군oid T(G)는 G와 동형이며, 이 동형은 군oid 구조뿐 아니라 C^∞‑스페이스 구조까지 보존한다. 여기서 C^∞‑스페이스는 섬유마다 연속 실함수들의 쉐이브를 갖는 구조로, 전통적인 매끄러운 다양체보다 범주론적으로 더 풍부한 정보를 담는다. 동형성의 증명은 Zung의 정리(정리 20)를 활용해 G가 ‘정규(proper)’하고 ‘정규화된 Haar 시스템’을 가질 때 가능한데, 이는 적절함 가정이 Haar 측정의 존재와 연속성을 보장함을 이용한다. 또한 논문은 이 정리가 기존의 리 군에 대한 탄카 이중성과 일치함을 확인한다. 리 군의 경우, 탄카 군은 연속 유한 차원 대표함수 대수(또는 대표함수 군)로부터 복원되며, 여기서 Haar 측정은 단일 Haar 측정으로 충분하다. 반면 군oid에서는 각 소스 섬유마다 Haar 측정이 필요하고, 적절함이 이를 보장한다. 마지막으로, 저자는 매끄러운 텐서 스택을 이용해 다양한 종류의 군oid 표현 이론을 통합할 수 있음을 제시한다. 전통적인 벡터 번들 표현, 매끄러운 유클리드 필드 표현, 그리고 더 일반적인 스택‑표현 모두 동일한 재구성 절차를 통해 동일한 탄카 군oid를 산출한다. 이는 군oid 이론에서 표현, 작용, 그리고 대칭 구조를 범주론적으로 일관되게 다룰 수 있는 강력한 프레임워크를 제공한다. 논문의 구성은 다음과 같다: 1) 적절한 리 군oid의 정의와 기본 예시, 2) 텐서 카테고리와 텐서 스택의 일반 이론, 3) 매끄러운 유클리드 필드의 정의와 기본 성질, 4) 스택‑표현을 통한 탄카 군oid의 구성, 5) Haar 시스템과 Zung 정리를 이용한 C^∞‑구조 보존, 6) 재구성 정리와 그 증명, 7) 다양한 스택‑표현의 통일성 논의, 8) 결론 및 향후 연구 방향. 전체적으로 이 논문은 리 군oid의 탄카 이중성을 매끄러운 범주론적 관점에서 완전히 확장한 최초의 작업으로 평가될 수 있다.