Lie 군동형군체를 위한 확장가능 K 이론과 완성 정리

1. 서론에서는 최근 Freed‑Hopkins‑Teleman 정리와 orbifold K‑theory의 Morita 불변성 등을 언급하며, Lie 군동형군체를 통한 proper action의 연구 필요성을 제시한다. 기존에 Phillips가 무한 차원 G‑Hilbert 번들을 사용해 일반 locally compact 군에 대한 K‑이론을 정의했지만, 경우에 따라 finite 차원 벡터다발만으로도 충분히 정의가 가능함을 보여준다. 2. 배경 섹션에서는 Lie 군동형군체의 정의, isotropy 군, properness, strict homomorphism, equivalence, weak equivalence 등을 정리한다. 특히 proper 군동형군체는 모든 isotropy 군이 콤팩트함을 강조한다. 3. 군동형군체 작용과 K‑이론 정의 섹션에서는 G‑공간, G‑벡터다발, extendable 벡터다발의 개념을 도입한다. V가 extendable이면 V는 π*:G₀→X를 통해 끌어올린 전역 G‑벡터다발 W의 직접합분해가 된다. 이를 이용해 Vect_G(X)라는 monoid을 만들고, Grothendieck 군을 취해 K_G(X)=K(Vect_G(X))를 정의한다. 또한 상대 K‑군 K_G^{-n}(X,A)와 Mayer‑Vietoris 시퀀스를 위한 기본적인 성질을 증명한다(lemmas 3.8‑3.12). 4. Bredon‑compatible 군동형군체의 정의와 주요 결과는 논문의 핵심이다. 정의에 따르면, 모든 G‑cell U에 대해 모든 G‑벡터다발이 extendable해야 한다. 이 조건은 G‑cell이 compact Lie 군의 작용과 동형이므로, 전통적인 equivariant K‑theory와 일치한다. 정리 3.22(=Theorem 1.3)에서는 Bredon‑compatible Lie 군동형군체 G에 대해 K_G^*(X,A)가 Z/2‑graded, 곱 구조를 가진 cohomology theory임을 증명한다. Bott 주기성은 Mayer‑Vietoris와 cellular induction을 통해 얻어진다. 5. C*-대수와 KK‑이론을 이용한 기존 정의와의 비교에서는 Emerson‑Meyer의 결과를 인용한다. G가 second countable, locally compact, Hausdorff이며 C*(G) 가 projection‑approximate unit을 가질 때, extendable 벡터다발 기반 K‑theory와 C*(G)‑module 기반 K‑theory가 동등함을 보인다(정리 3.23=Theorem 1.4). 이는 stabilizer의 모든 유한 차원 표현이 어떤 G‑벡터다발에 포함될 수 있다는 가정과 동치이다. 6. 완성 정리 섹션에서는 “finite” 군동형군체를 정의한다: G₀가 유한 G‑CW 복합체이고, BₙG=EₙG/G가 콤팩트인 경우. EₙG는 자유 G‑공간들의 직접극한이며, 그 한계 E_G는 universal proper G‑space이다. 정리 5.6(=Theorem 1.6)은 Bredon‑compatible, finite 군동형군체 G와 유한 G‑CW 복합체 X에 대해, I_G‑adic 완성 K_G^*(X)/I_G^k와 K_G^*(X×_πEₙG) 사이에 동형을 구축한다. 특히 X=G₀이면 K_G^*(G₀)/I_G^k ≅ K^*(BₙG) 가 된다. 증명은 Atiyah‑Segal 정리의 G‑cell 버전을 이용하고, 스펙트럴 시퀀스와 Mayer‑Vietoris 인덕션을 통해 완성 사상은 동형임을 보인다. 7. 마지막 섹션에서는 비콤팩트 Lie 군의 proper action에 대한 적용 가능성을 논한다. 예시로 finite 그룹, compact Lie 군, 이산 그룹, pro‑discrete 군, almost‑compact 군, matrix 군 등이 Bredon‑compatible 군동형군체를 만든다. finiteness 조건이 만족될 때 완성 정리가 적용될 수 있음을 강조한다. 전체적으로 논문은 finite 차원 벡터다발만으로도 충분히 강력한 equivariant K‑theory 를 구축할 수 있음을 보이며, Bredon‑compatible라는 적절한 제한조건 하에 전통적인 코호몰로지 성질(2‑주기성, Mayer‑Vietoris, Bott 주기성)과 Atiyah‑Segal 형태의 완성 정리를 모두 유지한다. 또한 C*-대수 기반 정의와의 동등성을 증명함으로써, 기존 무한 차원 접근법과의 연결고리를 제공한다. 이는 실제 계산과 응용(예: orbifold K‑theory, twisted K‑theory, representation 이론)에서 유용한 도구가 될 것으로 기대된다.