그룹오이드의 E‑이론 하강 펑터 구축과 연속성·정밀성 분석

초록

본 논문은 로컬리 콤팩트한 그룹오이드 Γ에 대해, Guentner‑Higson‑Trout가 그룹에 대해 제시한 방법을 그대로 적용해 C*‑대수 수준에서 E‑이론 하강 펑터를 정의한다. 두 번째 절에서는 Γ‑작용을 C₀(X)‑대수 B와 그 연관 번들 B♯ 사이의 구조적 대응으로 재구성하고, 세 번째 절에서는 B↦C*(Γ,B) 함수가 연속이고 정확함을 Renault의 분해 이론을 이용해 증명한다. 마지막 절에서는 C_b(T,B)^{cont} 에 해당하는 Γ‑대수를 찾아내는 기술적 난관을 극복하고, 매우 약한 가정(Γ가 적당히 가산하고 Haar 시스템을 갖는 등) 하에 하강 펑터의 존재를 확립한다.

상세 분석

논문은 크게 네 부분으로 구성되며, 각각이 E‑이론 하강 펑터를 그룹오이드 상황에 성공적으로 이식하기 위한 핵심적인 역할을 수행한다. 첫 번째 단계는 기존의 그룹 이론에서 사용된 C_b(T,B)^{cont} 와 같은 연속 제한된 함수 공간이 그룹오이드에서는 직접적으로 정의될 수 없다는 점을 인식하고, 이를 대체할 수 있는 Γ‑대수 C_b^Γ(T,B) 의 존재를 가정한다. 이 대수는 Γ‑작용을 보존하면서도, 베이스 공간 X 위의 C₀(X)‑대수 구조와 자연스럽게 결합한다는 점에서 중요한데, 저자는 이를 위해 Γ‑연속 섹션 과 상대적 컴팩트 서포트 조건을 동시에 만족하는 함수들의 폐포를 취한다.

두 번째 절에서는 Γ‑작용을 C₀(X)‑대수 B에 부여하는 방식을 번들 B♯ 의 섹션에 대한 작용으로 전환한다. 여기서 핵심은 B와 B♯ 사이의 동형사상 Φ:B→Γ₀(B♯) 을 이용해, Γ‑작용이 섹션 레벨에서 완전하게 기술될 수 있음을 보이는 것이다. 이 과정에서 저자는 Renault의 분해 정리(disintegration theorem)를 활용해, Γ‑표현이 B‑모듈 구조와 어떻게 상호작용하는지를 정밀히 분석한다. 특히, Γ‑작용이 C₀(X)‑선형이며, 각 유닛 u∈X에 대한 섬유 B_u 위에서는 Γ_u‑그룹의 표준 작용과 동등함을 증명한다.

세 번째 절은 B↦C*(Γ,B) 함수의 연속성과 정확성을 다룬다. 연속성은 직접적인 inductive limit 구조와 Kasparov의 KK‑이론에서의 σ‑연속성 개념을 차용해 증명되며, 정확성은 짧은 정확한 시퀀스 0→I→B→B/I→0 에 대해 C*(Γ,·) 가 정확한 함자임을 보이는 것으로 귀결된다. 여기서 중요한 기술은 Γ‑표현의 정규성(regularity)와 Haar 시스템의 측도적 일관성이다. 저자는 Renault의 분해 이론을 이용해, Γ‑표현이 B‑모듈에 대한 ‑표현으로 분해될 수 있음을 보이고, 이를 통해 C(Γ,·) 가 정확한 함자가 됨을 확인한다.

마지막 절에서는 앞서 가정한 C_b^Γ(T,B) 의 존재를 실제로 구축한다. 저자는 Γ‑대수 C_b^Γ(T,B) 를 C₀(T)⊗B 의 Γ‑불변 부분으로 정의하고, 연속성 조건을 만족하도록 T 를 적절히 선택한다(예: T=ℝ⁺ 또는