비콤팩트 리 대군의 적절 작용을 위한 동등 K‑이론

초록

본 논문은 비콤팩트 리 대군 (G)가 적절하게 작용하는 (G)-CW 복합체 위에 대해, Lück‑Oliver의 이산군 경우를 일반화한 새로운 동등 K‑이론을 구축한다. 핵심은 (\Gamma)-(G)-공간을 이용해 적절한 분류공간을 만들고, 이를 통해 Bott 주기성, 곱 구조, 그리고 Segal의 콤팩트 군 경우와의 일치를 보인다.

상세 분석

논문은 먼저 적절한 (G)-CW 복합체의 정의와, 등각성( isotropy )가 모두 콤팩트인 경우를 ‘proper’라 명명한다. 그런 뒤, 유한 차원 (G)-벡터 번들을 모은 모노이드 (\mathrm{Vect}F^G(X))를 대상으로, 그 분류공간을 (\Gamma)-(G)-공간 (\mathrm{Vect}{F,\infty}^G) 로 구성한다. (\Gamma)-구조는 각 유한 집합 (n)에 대해 (\mathrm{Vect}{F,n}^G) 를 할당하고, 합동( disjoint union)과 직합을 통해 (\Gamma)-함수성을 만족시킨다. 이 (\Gamma)-(G)-공간은 적절한 (G)-CW 복합체 (X)에 대해 (\Omega B,\mathrm{Vect}{F,\infty}^G) 로부터 음의 차원 K‑군을 정의하고, Lück‑Oliver가 제시한 곱 구조와 Bott 동형을 그대로 옮겨온다. 양의 차원에서는 (\Omega)-시퀀스를 이용해 스펙트럼을 만들고, 이를 통해 전체 동등 K‑이론 (K_F^G(-)) 를 얻는다.

주요 정리는 다음과 같다. 첫째, (\Omega B,\mathrm{Vect}_{F,\infty}^G) 가 실제로 (G)-동형 사상에 대해 적절한 대표성을 갖는다는 것(정리 2.1). 둘째, 정의된 곱 구조가 (\otimes) 연산과 호환되며, Bott 주기성 사상이 (\beta:K_F^G(X)\to K_F^G(\Sigma^2 X)) 로서 동형임을 보인다. 셋째, (G) 가 콤팩트일 때, 이 이론은 Segal이 제시한 ‘naive’ 동등 K‑이론과 자연 동형을 이루며, 특히 ((G/H)\times Y) 형태의 공간에 대해 동등성을 보장한다(정리 5.3). 넷째, 비콤팩트 경우에도 (K_F^G) 가 (G)-약한 동형에 대해 불변이며, excision 과 Mayer‑Vietoris 시퀀스를 만족한다는 점을 증명한다. 마지막으로, Phillips가 함수해석적 방법으로 정의한 비콤팩트 군의 K‑이론과의 비교를 위한 두 개의 보조 분류공간(히르베르트 번들용, 시미‑히르베르트 번들용)을 제시하고, 향후 논문에서 이와의 동형을 상세히 다룰 것을 예고한다.

기술적 증명은 부록 A, B에 정리되며, (\Gamma)-공간에 대한 일반적인 오해를 바로잡는 부록 C도 포함한다. 전체적으로 이 논문은 비콤팩트 리 대군의 적절 작용에 대해 동등 K‑이론을 체계적으로 구축함으로써, 기존의 위상적·분석적 접근을 통합하고, 향후 고차원 및 비가환 기하학적 응용에 중요한 토대를 제공한다.