적절한 작용에 의한 교차곱의 구조와 K‑이론

본 논문은 국소적으로 콤팩트한 군 \(G\)가 로컬하게 콤팩트한 하우스도르프 공간 \(X\)에 적절하게(properly) 작용할 때, 그 작용에 의해 생성되는 교차곱 C\(^*\)대수 \(C_0(X)\rtimes G\)의 구조와 K‑이론을 체계적으로 분석한다. 서론에서는 적절한 작용의 정의와 예시를 제시하고, 이 조건이 왜 교차곱 대수의 분석에 필수적인지를 설명한다. 특히, 적절성은 각 점 \(x\in X\)에 대한 안정자군 \(G_x\)가 콤팩트하고, 작용이 ‘정상적인’ 방식으로 궤도들을 나누어 주는 성질을 보장한다는 점을 강조한다. 제2장에서는 기본적인 도구들을 정리한다. 여기에는 Green’s imprimitivity theorem, Fell’s absorption principle, 그리고 Mackey’s analysis of induced representations가 포함된다. 저자들은 이 도구들을 이용해 \(C_0(X)\rtimes G\)를 \(G\)‑불변 오픈 서브셋들의 직접합으로 분해하고, 각 서브셋에 대해 안정자군의 표현이 어떻게 원시 아이디얼을 결정하는지를 보인다. 이 과정에서 ‘섬유화(fibration)’ 개념이 핵심 역할을 한다. 구체적으로, 원시 아이디얼 공간 \(\operatorname{Prim}(C_0(X)\rtimes G)\)는 자연스럽게 사상 \