특수선형군 동질성 안정성과 Milnor‑Witt K‑이론

초록

특성 0인 체 F에 대해 SL(t,F)의 n차 정수 동질군 사이의 안정화 사상 f(t,n)을 연구한다. t≥n+1이면 f(t,n)이 동형이며, t=n이면 전사임을 보인다(사흐의 예측). n이 홀수이면 f(n,n)은 동형, 짝수이면 핵이 Witt 링의 기본 이상 I의 (n+1)제곱이다. 또한 n이 짝수일 때 f(n‑1,n)의 여핵은 Milnor‑Witt K‑군 Kⁿᴹᵂ(F)와 동형이고, n>2인 홀수일 때는 Milnor K‑군 Kⁿ(F)의 제곱과 동형임을 증명한다.

상세 분석

본 논문은 특성 0인 체 F 위의 특수선형군 SL(t,F)의 정수 동질군 Hₙ(SL(t,F),ℤ) 사이에 정의되는 안정화 사상 f(t,n):Hₙ(SL(t,F))→Hₙ(SL(t+1,F))의 구조를 정밀히 분석한다. 기존에 van der Kallen과 Suslin이 제시한 동질성 안정성 결과는 “t≥2n” 정도의 강한 차원 제한을 필요로 했으나, 저자는 이를 크게 완화하여 t≥n+1이면 동형, t=n이면 전사임을 보인다. 이는 C‑H Sah가 제시한 “t=n일 때 전사”라는 예측을 완전히 입증한 것이다.

핵심 기술은 두 가지 축을 중심으로 전개된다. 첫째, Morel‑Voevodsky의 A¹-동형 이론과 Morel이 구축한 Milnor‑Witt K‑이론을 이용해 동질군의 고차 구조를 quadratic form과 연결한다. 특히 Witt 링 W(F)와 그 기본 이상 I⊂W(F)의 거듭제곱 I^{k}가 동질군의 차수별 핵을 기술한다는 점을 입증한다. 구체적으로 n이 짝수일 때 f(n,n)의 핵이 I^{n+1}와 동형임을 보이며, 이는 Witt 링의 사슬 구조가 동질성 안정성에 직접적인 영향을 미친다는 새로운 관점을 제공한다.

둘째, 스펙트럴 시퀀스와 장벽 이론을 활용해 f(t,n)의 여핵을 계산한다. t=n−1인 경우, n이 짝수이면 여핵이 Milnor‑Witt K‑군 Kⁿᴹᵂ(F)와 동형임을, n이 홀수이면서 n>2인 경우에는 Kⁿ(F)², 즉 Milnor K‑군의 제곱과 동형임을 증명한다. 여기서 Kⁿ(F)²는 Milnor K‑군의 원소들을 두 번 곱한 부분군으로, 기존의 Milnor K‑이론과 Witt 이론 사이의 교차점을 명확히 드러낸다.

기술적 세부사항으로는, 먼저 SL(t,F)의 클래스ifying space BSL(t,F)를 A¹-동형 범주에서 모델링하고, 그에 대한 베타-스펙트럼을 구성한다. 이후 이 스펙트럼의 동질군을 계산하기 위해 모듈식 사슬 복합체와 그에 대응하는 장벽 사슬 복합체를 도입한다. 이 과정에서 발생하는 차수‑필터링은 E₂-페이지에서 Milnor‑Witt K‑군과 Witt 링의 조합으로 수렴한다는 점을 확인한다. 최종적으로, 이 스펙트럴 시퀀스의 수렴성을 이용해 f(t,n)의 핵·여핵을 정확히 규정한다.

이러한 결과는 동질성 안정성 이론에 새로운 정밀도를 부여할 뿐 아니라, Milnor‑Witt K‑이론이 고차 동질군과 어떻게 맞물리는지를 구체적으로 보여준다. 특히, 짝수 차수에서 Witt 링의 기본 이상이 핵을 지배한다는 사실은 quadratic form 이론과 K‑이론 사이의 깊은 연관성을 시사한다. 또한, 여핵이 Milnor‑Witt K‑군 혹은 Milnor K‑군의 제곱으로 나타나는 현상은 동질성 안정성 연구에 새로운 계산 도구를 제공한다는 점에서 의의가 크다.