[논문 리뷰] Homology stability for the special linear group of a field and Milnor-Witt K-theory

Kevin Hutchinson, Liqun Tao|ArXiv.org|2008. 11. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 22인용 수 8

한 줄 요약

이 논문은 특수선형군 SL_t(F)의 호모로지 안정성에 대해, 체 F의 특성수가 0일 때를 다루며, 정 stabilization 맵 H_n(SL_t(F), ℤ) → H_n(SL_{t+1}(F), ℤ) 가 t ≥ n+1 에서 동형이며 t = n 에서는 전성임을 증명한다. 이는 C.-H. 사의 추측을 확인하고, t = n−1 에서의 맵의 상자(cokernel)가 n 이 짝수일 때는 미르놀-위트 K-이론 K^MW_n(F) 이며, 홀수일 때는 2K^M_n(F) 임을 규명한다.

ABSTRACT

Let F be a field of characteristic zero and let f(t,n) be the stabilization homomorphism from the n-th integral homology of SL(t,F) to the n-th homology of SL(t+1,F). We prove the following results: For all n, f(t,n) is an isomorphism if t is at least n+1, and is surjective for t=n, confirming a conjecture of C-H. Sah. Furthermore if n is odd, then f(n,n) is an isomorphism and when n is even the kernel of f(n,n) is the (n+1)st power of the fundamental ideal of the Witt Ring of the field.. If n is even, then the cokernel of f(n-1,n) is naturally isomorphic to the n-th Milnor-Witt K-group of F, MWK(n,F) and when n>2 is odd the cokernel of f(n-1,n) is the square of the nth Milnor K-group of F.

연구 동기 및 목표

• 특수선형군 SL_t(F) 의 호모로지 안정성 범위에 대한 C.-H. 사의 추측을 해결하는 것.
• 비판적인 t 와 n 값에서의 정 stabilization 맵 f_{t,n} = H_n(SL_t(F), ℤ) → H_n(SL_{t+1}(F), ℤ) 의 정확한 핵과 상자(cokernel)를 규명하는 것.
• 미르놀-위트 K-이론이 특수선형군의 호모로지에서 차지하는 역할을 명확히 하고, 슈스린의 GL_t(F) 결과를 확장하는 것.
• 특수선형군 SL_t(F) 의 호모로지와 대수적 K-이론 불변량, 특히 I^{n+1}(F) 와 K^MW_n(F) 사이의 구조적 연결 고리를 확립하는 것.

제안 방법

• GL_t(F) 의 경우에 대해 슈스린의 증명 기법을 SL_t(F) 의 경우에 적응하여 스펙트럴 시리즈와 필터링 기법을 사용하는 것.
• F^{t+1} 의 플래그 복합체에 관련된 스펙트럴 시리즈 E^r_{p,q} 를 활용하여 SL_t(F) 의 호모로지를 분석하는 것.
• H_n(SL_n(F), ℤ) 에 정의된 필터링 F_{n,1} ⊂ F_{n,0} 과 그 관련된 호모로지의 계수 조각들을 이용하여 핵과 상자를 계산하는 것.
• 호모모르피즘 ε_n: H_n(SL_n(F), ℤ) → K^MW_n(F) 와 스틸레로드 연산 및 맵 T_n 과의 호환성을 활용하는 것.
• n 이 짝수일 때 f_{n-1,n} 의 상자(cokernel)와 K^MW_n(F) 사이의 자연스러운 동형, 홀수일 때는 2K^M_n(F) 를 이용하는 것.
• 미르놀-위트 K-이론이 차수 1 에서 생성되며, ε_n 이 곱 구조와 호환됨을 이용하는 것.

실험 결과

연구 질문

• RQ1 C.-H. 사의 추측에 따르면, t ≥ n+1 에서 f_{t,n}: H_n(SL_t(F), ℤ) → H_n(SL_{t+1}(F), ℤ) 는 동형이며 t = n 에서는 전성일까?
• RQ2 n 이 짝수일 때 f_{n,n} 의 핵은 무엇이며, F 의 유크링(Witt ring)과 어떻게 관련되어 있는가?
• RQ3 n 이 짝수일 때 f_{n-1,n} 의 상자(cokernel)는 무엇이며, 미르놀-위트 K-이론과 어떻게 관련되어 있는가?
• RQ4 홀수 n ≥ 3 에 대해 f_{n-1,n} 의 상자(cokernel)는 무엇이며, 2K^M_n(F) 와 동형일까?
• RQ5 H_n(SL_n(F), ℤ) 에서 K^MW_n(F) 로 가는 맵이, n 이 짝수일 때 f_{n-1,n} 의 상자(cokernel)에 대해 동형을 유도하는가?

주요 결과

• 정 stabilization 맵 f_{t,n} 은 t ≥ n+1 에서 동형이며 t = n 에서는 전성임을 확인하여 사의 추측을 증명한다.
• 홀수 n 에 대해서는 맵 f_{n,n} 이 동형이므로 핵은 자명하다.
• 짝수 n 에 대해서는 f_{n,n} 의 핵이 I^{n+1}(F) 와 동형이며, F 의 유크링의 (n+1)제 승이다.
• 짝수 n 에 대해서는 f_{n-1,n} 의 상자(cokernel)가 자연스럽게 K^MW_n(F) 와 동형이며, F 의 n차 미르놀-위트 K-이론 군이다.
• 홀수 n ≥ 3 에 대해서는 f_{n-1,n} 의 상자(cokernel)가 자연스럽게 2K^M_n(F) 와 동형이며, n차 미르놀 K-군의 2-torsion 부분군이다.
• 스펙트럴 시리즈 분석을 통해 홀수 n 에서 E^∞_{n,1} 이 영이 됨을 확인하였으며, 이는 f_{n,n} 의 단사성을 보장하고, 따라서 동형임을 의미한다.