나무에서 삼각대로 ABI형 구면 부분군을 가진 아르틴 군의 K(π,1) 증명

본 논문은 Artin 군의 K(π,1) 추측을 트리형 Coxeter 다이어그램을 가진 군들에 대해 완전히 해결한다. 서론에서는 Artin 군이 저차원 위상, 초평면 배열, 특이점 이론 등에서 핵심적인 역할을 함을 언급하고, K(π,1) 추측이 “Artin 군에 대응하는 복합체가 비구면(aspherical)이다”는 목표임을 제시한다. 기존에 Charney–Davis가 제시한 ‘구면 부분군이 A, B, I₂형이면 충분’이라는 조건이 아직 완전히 증명되지 않았으며, 특히 Dₙ( n≥4)·예외형에 대한 문제는 남아 있었다. 저자는 먼저 Hua(2026)의 결과를 인용해, 트리형 Coxeter 다이어그램을 가진 모든 Artin 군에 대해 K(π,1) 추측을 ‘특수 4‑사이클과 6‑사이클의 중심 존재성’이라는 조건과 결합된 형태로 환원한다. 이를 위해 새로운 정의인 F₍r,s₎, H₍r,s₎, E₍r,s,t₎ 군을 도입한다. F₍r,s₎는 한 개의 라벨 4를 가진 선형 그래프, H₍r,s₎는 라벨 5를 가진 선형 그래프, E₍r,s,t₎는 세 갈래가 모두 라벨 3인 삼각대 형태이다. 이 세 가족은 ‘ABI‑type’이라 불리며, 구면 부분군이 Dₙ·예외형을 제외한 경우에 정확히 해당한다. 주요 정리(Theorem 1.9)는 다음과 같다. 트리형 Coxeter 다이어그램 Λ에 대해, 모든 유도 부분다이어그램 Λ′가 위 세 가족에 속하고 (1) 해당 Artin 군 A_{Λ′}가 K(π,1) 추측을 만족하며, (2) 그 복합체 Δ_{Λ′}의 특수 4‑사이클은 중심을, 특수 6‑사이클은 준‑중심을 갖는다면, 전체 군 A_{Λ}도 K(π,1) 추측을 만족한다. 이 정리는 실제로 모든 특수 4‑사이클을 고려할 필요 없이 더 약한 조건으로도 성립한다(정리 5.17). 다음 단계에서는 이러한 조건을 검증하기 위해 ‘injective orthoscheme 복합체’를 구축한다. 먼저 Coxeter 군 W_S와 그 Coxeter 복합체 C_S를 정의하고, Artin 군 A_S가 작용하는 Artin 복합체 Δ_S를 소개한다. (S, S′)‑relative Artin 복합체 Δ_{S,S′}는 S′에 속한 정점만을 포함하는 부분복합체이며, 이는 W_{S′}의 Coxeter 복합체와 기본 영역을 공유한다. 다이어그램 Λ가 ‘eC‑elementary’(즉, eCₙ, eBₙ, eDₙ을 지배하지 않음)인 경우, Δ_{Λ,Λ′}를 ∞‑노름을 갖는 단위 orthoscheme들로 조각화한다. 라벨이 큰 경우(eCₙ, eBₙ, eDₙ)에는 해당 Coxeter 군이 작용하는 ℝⁿ을 orthoscheme으로 분할해 메트리징한다. 핵심은 각 정점 x의 링크 lk(x, X)가 ‘combinatorial convexity’와 ‘Bestvina‑type inequality’를 만족하면, X가 injective orthoscheme 복합체가 된다는 Haettel의 정리(정리 2.25)를 적용하는 것이다. 이 combinatorial 조건은 바로 4‑사이클에 중심, 6‑사이클에 준‑중심이 존재한다는 그래프 이론적 표현으로 변환된다. 저자는 bi‑Helly 그래프(절대 이분 리트랙트)의 구조를 이용해 이러한 조건을 만족함을 증명한다. 그 결과, 트리형 Artin 군 A_S는 ‘tower of injective metric spaces’를 갖게 된다. 구체적으로, A_S는 어떤 injective 공간 X_S에 코콤팩트하게 작용하고, 각 점 안정자는 더 적은 생성자를 가진 Artin 군이며, 이 하위 군도 다시 자체적인 injective 공간에 작용한다. 이 과정을 반복하면 최종적으로는 F, H, E‑형 군들만 남으며, 이들에 대한 4‑·6‑사이클 중심 조건만 검증하면 전체 트리형 군에 대한 K(π,1) 추측이 증명된다. 마지막으로, 저자는 braid 군(즉, Aₙ형)에서 특수 4‑사이클 중심 존재가 McCammond‑Crisp의 미공개 결과에 의해, 특수 6‑사이클 중심 존재가 Hua(2024)의 정리로부터 얻어짐을 보여준다. 이를 통해 Theorem 1.15를 증명하고, 앞서 제시한 환원 정리와 결합해 Theorem 1.3을 얻는다. 즉, 구면 부분군이 Dₙ·예외형을 제외한 모든 Artin 군에 대해 K(π,1) 추측이 성립한다는 결론에 도달한다. 이 논문은 Artin 군의 위상적 문제를 조합적 볼록성, 그래프 이론, 비양수 곡률(Injective metric)이라는 세 분야를 융합해 새로운 방법론을 제시한 점에서 학문적 의의가 크다. 특히, 기존의 CAT(1) 조건을 완전히 대체할 수 있는 ‘특수 사이클 중심’ 조건을 도입함으로써 차원에 독립적인 증명을 가능하게 했으며, 향후 남은 Dₙ·예외형에 대한 연구에도 동일한 프레임워크를 적용할 가능성을 열어준다.