적절한 군체를 위한 안정화 정리와 그 응용

초록

본 논문은 Kasparov의 $A$‑Hilbert 모듈 안정화 정리를 Phillips가 제시한 적절한 군 작용 상황으로 확장한 뒤, 이를 더욱 일반적인 적절한 군체(proper groupoid) 프레임워크로 일반화한다. 군체 $G$가 적절하고 Haar 시스템을 갖는 경우, $C_{0}(G^{(0)})$‑모듈 $E$에 대해 $E\oplus L^{2}(G)^{\infty}\cong L^{2}(G)^{\infty}$가 $G$‑동형사상으로 성립함을 보이며, 이 결과를 equivariant KK‑이론 및 군체 지수 이론에 적용한다.

상세 분석

논문은 먼저 적절한 군체의 정의와 그에 수반되는 Haar 시스템, 그리고 $C_{0}(G^{(0)})$‑모듈 위의 $G$‑동형 Hilbert 모듈 개념을 정밀히 정리한다. 여기서 핵심은 $G$‑동형성이라는 조건이 단순히 군 작용의 연속성뿐 아니라, 군체 구조의 소스와 타깃 맵을 통해 모듈의 내적과 작용이 $G$‑불변임을 요구한다는 점이다. 기존 Kasparov의 안정화 정리는 $A$‑Hilbert 모듈 $E$에 대해 $E\oplus A\otimes\ell^{2}\cong A\otimes\ell^{2}$를 보였으며, Phillips는 이를 $H$가 $Y$에 적절히 작용하는 경우 $C_{0}(Y,L^{2}(H)^{\infty})$라는 표준 모듈을 이용해 확장하였다. 논문은 이 두 결과를 포괄적으로 통합하여, 임의의 적절한 군체 $G$에 대해 표준 모듈 $L^{2}(G)^{\infty}$를 정의한다. $L^{2}(G)$는 Haar 시스템을 이용한 $G$‑가중 적분으로 구성된 Hilbert $C_{0}(G^{(0)})$‑모듈이며, 무한 직합을 취해 $L^{2}(G)^{\infty}$를 만든다.

정리의 증명은 크게 세 단계로 나뉜다. 첫째, 적절성에 의해 존재하는 $G$‑컷오프 함수 $\varphi\in C_{c}(G)$를 이용해 $C_{0}(G^{(0)})$‑모듈 $E$를 $L^{2}(G)^{\infty}$ 안으로 $G$‑동형 사상으로 삽입한다. 여기서 $\varphi$는 $s$‑와 $r$‑맵을 통해 평균화 연산자를 정의하고, 이 연산자는 $E$의 원소를 $L^{2}(G)$의 원소로 전환시키는 데 사용된다. 둘째, 삽입 사상이 충분히 “큰” 임을 보이기 위해 $G$‑불변 근사 단위열을 구성한다. 적절성은 $G$‑궤도가 컴팩트하게 전개될 수 있음을 보장하므로, 이러한 근사 단위열을 $C_{c}(G)$ 안에서 선택할 수 있다. 셋째, Kasparov의 원래 논증을 그대로 적용한다. 즉, $E\oplus L^{2}(G)^{\infty}$와 $L^{2}(G)^{\infty}$ 사이에 서로 역함수인 $G$‑동형 사상을 구성하고, 이 사상들이 서로 동형동형임을 확인한다.

핵심 기술적 통찰은 “적절성”이라는 위상적 조건이 $G$‑불변 평균화와 컴팩트 지원을 동시에 제공한다는 점이다. 이는 Phillips가 군 $H$에 대해 사용한 전역적인 컷오프 함수와 유사하지만, 군체 상황에서는 소스와 타깃이 서로 다른 공간에 존재하므로 보다 정교한 Haar 시스템과 $G$‑불변 측정이 필요하다. 논문은 또한 $L^{2}(G)^{\infty}$가 실제로 $G$‑동형으로 완전한 표준 모듈임을 보이며, 이는 $G$‑동형 KK‑이론에서 “stabilization” 과정을 가능하게 한다.

마지막으로, 저자는 이 정리가 equivariant KK‑이론에서 descent 사상과 Kasparov 제품을 정의하는 데 필수적임을 강조한다. 특히, 군체 $G$가 foliation groupoid와 같이 비가역적인 구조를 가질 때, 위 정리를 이용해 longitudinal elliptic 연산자의 지수를 $K$‑이론 원소로 전이시키는 과정이 간소화된다.