에타일 군체와 컨볼루션 대수의 표현과 모듈 대응

본 논문은 고전적인 세레-스완 정리—컴팩트한 Hausdorff 공간 X 위의 연속함수 대수 C(X)와 그 위의 유한 생성 프로젝트ive 모듈 사이의 일대일 대응—를 에타일 리 군체(étale Lie groupoid)라는 보다 일반적인 구조로 확장한다. 이를 위해 저자는 먼저 군체와 그 모리타 범주에 대한 기본 개념을 정리한다. 군체 G는 객체 공간 M과 화살표 공간 G로 이루어진 카테고리이며, 에타일 군체는 모든 구조 사상이 국소 미분동형사상이다. 바이스렉션은 에타일 군체의 위상을 생성하는 핵심 도구이며, 이를 통해 G의 컨볼루션 대수 C_c^∞(G)와 그 곱셈 구조를 정의한다. 다음으로 군체의 표현(Representation)을 정의한다. G가 M 위에 있을 때, 복소벡터 번들 E→M에 대한 G-표현은 각 화살표 g:x→y가 선형 동형 g*:E_x→E_y를 제공하는 부드러운 좌측 작용이다. 이 정의는 단위 군체(벡터 번들 자체), 점 군체(리 군체의 전통적 표현), 쌍군체(자명한 표준 표현), 변환 군체(K⋉M) 등 다양한 특수 경우를 포괄한다. 특히, 에타일 군체는 바이스렉션에 대응하는 미분동형사상의 미분을 통해 자연스러운 표준 표현을 갖는다. 핵심 결과는 두 가지 정리이다. 첫 번째인 Theorem 3.2는 ‘부드러운 섹션을 취하는’ 함자 Γ_c^∞:Rep(G)→Mod(C_c^∞(G))가 완전한 동등성을 제공한다는 것을 증명한다. 여기서 Mod(C_c^∞(G))는 C_c^∞(G)-모듈 범주이며, 저자는 ‘유한형·상수계수’라는 조건을 도입한다. 구체적으로, 모듈 M이 각 객체 x∈M에 대해 동일한 차원의 유한 생성 자유 모듈을 갖고, 전체 모듈이 유한 생성 프로젝트ive 모듈인 경우를 말한다. 이러한 모듈은 전통적인 세레-스완 정리의 가정과 일치한다(베이스가 컴팩트하고 연결된 경우). 저자는 Γ_c^∞가 전사·전단사임을 보이고, 역함자를 구성해 주어진 모듈로부터 G-벡터 번들을 복원한다. 두 번째인 Theorem 4.3은 위의 동등성을 모리타 이중범주 전반에 걸쳐 자연스럽게 확장한다. 두 에타일 군체 G와 H 사이의 모리타 1-셀(주축 번들) P:G→H에 대해, Rep(P):Rep(H)→Rep(G)와 Mod(P):Mod(C_c^∞(H))→Mod(C_c^∞(G))라는 두 함자를 정의한다. Rep(P)는 앞서 설명한 ‘표현 끌어올리기’ 과정을, Mod(P)는 P가 제공하는 양측 바이프리듀스(bimodule)를 이용한 모듈 끌어올리기를 의미한다. 저자는 이 두 함자가 2-자연 동등성을 이루어, 모리타 동등성 아래에서 군체의 표현과 컨볼루션 대수 모듈이 정확히 대응한다는 것을 증명한다. 논문은 또한 컨볼루션 대수 C_c^∞(G)의 구조를 상세히 다룬다. G가 비Hausdorff일 경우에도 ‘섹션의 섹션’이라는 관점을 통해 C_c^∞(G)를 정의하고, 곱셈 (ab)(g)=∑_{g=g' g''} a(g')b(g'') 를 이용해 연산을 확장한다. 이때 각 섹션은 전역적으로 정의된 것이 아니라, 국소적인 바이스렉션 위에서 정의된 ‘제한된’ 섹션들의 합으로 구성된다. 마지막으로 저자는 이 이론이 오비폴드, 잎공간, 군 작용의 궤도공간 등 ‘특이’ 공간 위의 벡터 번들을 비가환 기하학적 방법으로 연구할 수 있는 기반을 제공한다는 점을 강조한다. 특히, 오비폴드의 경우 군체는 ‘적절한’ 에타일 군체가 되며, 그 컨볼루션 대수는 비가환 C^*‑대수로서 K‑이론과 코호몰로지 이론에 적용될 수 있다. 또한, 모듈-표현 대응이 바이프리듀스 구조를 통해 모리타 2-셀 사이에 전파된다는 사실은 향후 군체 코호몰로지, 비가환 거리 측정, 그리고 양자 대수학적 응용에 큰 가능성을 열어준다.