아실린드리컬 합성에서 와르다우센 닐 군의 분할 공식

본 논문은 Waldhausen Nil 군이라는 고전적인 K‑이론의 오류 항을 보다 구조적으로 이해하고 계산하기 위한 새로운 분할 공식을 제시한다. 서론에서는 Waldhausen Nil 군이 두 군 G₁, G₂가 공통 부분군 H 위에서 합성될 때 Mayer‑Vietoris 시퀀스가 정확하지 않을 경우 나타나는 “오류 항”이며, 이 군은 일반적으로 매우 복잡하고 직접 계산이 어려운 객체임을 설명한다. 또한, 이러한 Nil 군이 그룹의 “finite reduction”(유한 군으로의 축소) 문제와도 깊은 연관이 있음을 언급한다. 주요 가정은 두 가지이다. 첫째, 합성 Γ=G₁∗ₕG₂가 아실린드리컬(acylindrical)하다는 것. 이는 Bass‑Serre 트리 T에 대해 길이 k 이상의 경로를 고정하는 원소들의 군이 유한함을 의미한다. 이 조건은 H가 유한이면 자동으로 만족한다. 둘째, Γ와 그 부분군 G₁, G₂가 Farrell‑Jones 동형 추측(FJC)을 만족한다는 전제이다. FJC는 K‑이론 어셈블리 맵이 가상 순환 부분군들의 모델 E_{VC}Γ를 통해 동형임을 주장한다. 논문의 핵심 정리는 다음과 같다. 아실린드리컬 합성 Γ에 대해, G₁·G₂에 포함되지 않는 가상 순환 부분군 V들의 대표 집합 𝓥를 잡는다. 각 V는 (1) D_∞(무한 이디얼)로 사상되는 경우와 (2) 그렇지 않은 경우로 구분된다. 경우 (1)에서는 Waldhausen Nil 군이 두 개의 Farrell Nil 군(NK_*)와 동형이며, 경우 (2)에서는 하나의 Farrell Nil 군과 동형이다. 이를 이용해 \