보스트 추측과 열린 부분군 및 트리 작용군

초록

본 논문은 로컬 컴팩트 하우스도프 군에 대한 C*‑계수 보스트 추측이 열린 부분군으로 그대로 전이됨을 증명하고, 트리를 작용하는 군에 대해서는 정점 안정자들의 보스트 추측이 성립할 경우와 동일하게 전체 군에서도 성립한다는 등 두 가지 주요 전이 원리를 제시한다.

상세 분석

보스트 추측은 베이징-콘래스(Baum‑Connes) 추측의 변형으로, 군 G와 C*‑알제브라 A에 대해 K‑이론 동형사상이 존재함을 주장한다. 기존 연구에서는 주로 이산 군이나 컴팩트 군에 대해 검증이 이루어졌으나, 로컬 컴팩트 하우스도프 군에 대한 일반적인 전이 원리는 부족했다. 저자는 먼저 G의 열린 부분군 H에 대해, G‑작용 C*‑대수 C₀(G)⊗A를 H‑작용으로 제한하면 유도-제한 쌍이 강하게 상호작용한다는 사실을 이용한다. 구체적으로, H‑정규화된 Haar 측도와 전역적인 전이 함수를 통해 G‑모듈을 H‑모듈로 강제하고, 그 과정에서 K‑이론의 장벽이 사라지는 것을 보인다. 이때 핵심은 그룹-동형 사상 Ind_H^G와 Res_G^H가 K‑이론 수준에서 서로 역함수 역할을 하며, 보스트 사상 β_G^A와 β_H^A가 서로 교환(commute)한다는 점이다. 따라서 β_G^A가 동형이면 β_H^A도 동형이 되고, 반대로 β_H^A가 동형이면 β_G^A도 동형임을 얻는다.

두 번째 주요 결과는 트리 T에 작용하는 로컬 컴팩트 군 G에 대한 전이 원리이다. 트리의 정점 집합 V와 변(edge) 집합 E에 대해 G는 V와 E를 각각 안정화하는 폐쇄 부분군 G_v, G_e를 가진다. 저자는 Bass‑Serre 이론과 그룹-동형 사상의 장벽을 넘기 위해 그룹-동형 사상과 그룹-동형 사상 사이의 정확한 장정(sequence)을 구성한다. 구체적으로, G를 그래프 오브젝트(그룹-동형 사상)로 보고, 그에 대응하는 변환 그룹오이드 𝔾를 만든 뒤, 변환 그룹오이드의 K‑이론을 계산한다. 이때 정점 안정자들의 보스트 추측이 성립하면, 변환 그룹오이드의 K‑이론이 전체 그룹오이드와 동형이 되고, 따라서 β_G^A가 동형임을 증명한다. 반대 방향도 동일한 논리를 역으로 적용해 얻는다. 핵심 기술은 Mayer‑Vietoris 유형의 장정과 Kasparov의 KK‑이론을 이용한 축소(“descent”) 절차이며, 이를 통해 트리 작용이 주는 복합적인 구조를 K‑이론 수준에서 완전히 분해한다.

결과적으로, 보스트 추측은 열린 부분군과 트리 작용에 대해 완전한 전이성을 갖는다는 새로운 전반적 원리를 제공한다. 이는 기존에 알려진 Baum‑Connes 전이 원리와는 다른, C*‑계수 버전의 강력한 보존성을 의미한다. 특히, 트리 작용군의 경우 정점 안정자들의 K‑이론적 정보를 통해 전체 군의 K‑이론을 완전히 복원할 수 있다는 점은, 복합적인 비가환 구조를 가진 군들의 K‑이론을 계산하는 새로운 접근법을 제시한다.