초평면 배열 보완의 기본군에 대한 수술 군 계산

본 논문은 두 단계에 걸쳐 근본적인 결과를 도출한다. 첫 번째 단계에서는 Bartels와 Lück이 제시한 “전이 가능성(transfer reducibility)” 기법을 활용하여, 유한 지수 강다항 자유(Strongly Poly‑Free) 정상부분군을 포함하는 모든 군에 대해 L‑이론의 Farrell‑Jones Fibered Isomorphism Conjecture(FJC)가 성립함을 증명한다. 강다항 자유 군은 자유군을 차례로 확장한 구조를 가지며, Artin 전완 브레이드 군 Bₙ와 그 순수 부분군 Pₙ이 대표적인 예이다. 정상부분군이 유한 지수를 갖는 경우, 전체 군은 정상부분군과 유한군의 반직접곱으로 분해될 수 있다. FJC는 정상부분군에 대해 이미 알려져 있기 때문에, 전이성(transitivity) 원리를 적용하면 전체 군에도 동일하게 적용된다. 이 과정에서 핵심적인 기술은 “가상적으로 강다항 자유 군은 CAT(0) 공간에 적절히 작용한다는 사실”과 “그러한 작용은 전이 가능성을 만족한다는 점”이다. 결과적으로, Bₙ와 Pₙ을 포함한 광범위한 군 클래스에 대해 L‑이론 어셈블리 지도가 동형임을 확보한다. 두 번째 단계에서는 위에서 확보한 FJC의 결과를 구체적인 L‑군 계산에 활용한다. FJC가 성립하면, Lₙ(ℤ