동등한 Fell 시스템과 축소 C 대수의 동형성

본 논문은 Fell 시스템(그룹오이드 위의 Fell 번들)과 그 축소 C* 대수 사이의 Morita 동등 관계를 체계적으로 연구한다. 서론에서는 Fell 시스템의 기원과 기존 연구(특히 Yamagami, Muhly, Williams)의 결과를 소개하고, twisted K‑이론에서의 동기—즉, 2‑코사인크루트 α∈Ċ²(G,𝕋) 로부터 얻어지는 Fell 시스템 (Γ_α, L_α) 의 축소 C* 대수 C*_r(Γ_α, L_α)를 이용한 K‑이론 정의—를 제시한다. 저자는 이러한 동등이 축소 대수까지 전파되는지 여부가 아직 알려지지 않았음을 지적하고, 이를 해결하기 위해 Renault의 등가정리를 Fell 시스템에 일반화한다는 목표를 설정한다. 제1절에서는 그룹오이드와 일반화된 사상, 그리고 Dixmier‑Douady 번들의 정의를 정리한다. 여기서 그룹오이드는 Hausdorff, 로컬 컴팩트, 2차 가산, Haar 시스템을 갖는 것으로 가정하고, 기본 공간이 유한 차원임을 명시한다. Dixmier‑Douady 번들은 K(ℋ)‑번들(A)와 그룹오이드 작용 α를 갖는 구조로, Brauer 군 Br(G)와 연결된다. 제2절에서는 Fell 시스템의 기본 개념을 상세히 기술한다. Banach 번들 p:E→G 위에 곱셈·별표 연산을 정의하고, 일곱 가지 공리(양선형성, 결합법칙, ‖·‖-제한, *‑반전, *‑반전과 곱셈의 교환, ‖e*e‖=‖e‖², 양성, 완전성)를 만족하도록 한다. 이러한 구조는 각 섬유 E_x가 C* 대수임을 보장한다. 이후 C_c(G;E)를 컨볼루션 대수로 만들고, I‑노름을 통해 L¹(G;E)를 완비시킨 뒤, 전형적인 정규표현 π_l을 정의한다. π_l의 폐쇄 이미지가 바로 축소 C* 대수 C*_r(G;E)이며, 이는 reduced norm ‖·‖_r 로도 기술된다. 제3절에서는 Fell 시스템 간의 Morita 동등을 정의한다. 먼저 오른쪽 Fell G‑쌍 (X,E) 를 principal G‑공간 Z 위에 놓고, X와 E 사이의 연산 ue를 정의한다. 이때 bilinearity, associativity, norm‑inequality, faithfulness 조건을 만족해야 한다. 유사하게 왼쪽 Fell Γ‑쌍 (F,X) 를 정의한다. Z가 Γ와 G 사이의 일반화된 사상(즉, Morita equivalence)일 때, Γ‑값 내적 ⟨·,·⟩_Γ와 G‑값 내적 ⟨·,·⟩_G 를 각각 Z×Γ⁰Z^{-1}와 Z^{-1}×G⁰Z에 정의한다. 이러한 내적은 각각의 역원 관계와 호환성을 만족한다(식 (4)–(6)). 그 다음 정의 3.4와 3.6에서 X에 대한 E‑값, F‑값 내적을 도입하고, 이들 내적이 선형성, *‑대칭성, 양성, 완전성을 만족하도록 요구한다. 특히 (iii)와 (iv) 조건은 각각 F‑값, E‑값 내적이 “full”함을 의미하며, 이는 전통적인 imprimitivity bimodule의 핵심 성질이다. 예시 3.8을 통해 자기 자신에 대한 trivial equivalence (G,E) ∼ (Z_G,E) 를 보여주며, 이 구조가 대칭·반사·전이성을 갖는 등가 관계임을 확인한다. 제4절에서는 “linking Fell 시스템”을 구성한다. 주어진 (Z,X) 로부터 Z×G⁰Z^{-1}와 Z^{-1}×Γ⁰Z 위에 각각 E>G와 F<Γ를 풀백하여 새로운 Fell 번들을 만든다. 이들을 합쳐 하나의 큰 그룹오이드 L = (Γ ⊔ Z ⊔ Z^{-1} ⊔ G) 위에 Fell 번들 ℰ를 정의하고, ℰ의 섬유는 F, E, X, X̄ 로 구성된다. ℰ는 자연스럽게 C*_r(L;ℰ) 를 형성하고, 이 대수는 블록 행렬 형태 \