초월 3차원 단순체 반사군의 대수 K‑이론 완전 계산

본 논문은 초월 3차원 단순체를 기본 영역으로 갖는 반사군, 즉 3‑단순체 Coxeter 군들의 정수 군링크 \(\mathbb{Z}G\) 에 대한 낮은 차원의 대수 K‑이론을 전면적으로 계산한다. 연구는 크게 네 부분으로 구성된다. 첫 번째 부분에서는 3‑단순체 반사군의 분류를 재정리한다. Coxeter 행렬이 (3,3,3) 형태를 갖는 32개의 군이 존재함을 확인하고, 이들을 콤팩트형(9종)과 비콤팩트형(23종)으로 구분한다. 각 군은 하이퍼볼릭 3‑공간 \(\mathbb{H}^3\) 의 격자이며, Coxeter 다면체의 반사에 의해 생성된다. 비콤팩트형은 이상점(ideal vertex)을 포함하므로 cusp 구조가 존재하고, 이는 ℤ² 형태의 가환 부분군을 만든다. 두 번째 부분에서는 Farrell–Jones 동등성 추측을 핵심 도구로 삼아 K‑이론 계산의 이론적 틀을 제시한다. 저자들은 이미 증명된 경우(특히 가상 자유군과 가환 부분군에 대한 K‑이론)와 Bass–Heller–Swan 분해, Waldhausen의 Nil‑이론을 결합한다. 이를 통해 \(K_n(\mathbb{Z}G)\) (n = 0,1,−1) 를 다음과 같은 정확한 직합 형태로 분해한다. \