[论文解读] Homology stability for the special linear group of a field and Milnor-Witt K-theory

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

Homotopy and Cohomology in Algebraic Topology参考文献 22被引用 8

一句话总结

本论文建立了特征为零的域 F 上特殊线性群 SL_t(F) 的同调稳定性，证明了稳定化映射 H_n(SL_t(F), ℤ) → H_n(SL_{t+1}(F), ℤ) 在 t ≥ n+1 时为同构，在 t = n 时为满射。该结果证实了 C.-H. Sah 的猜想，并在 n 为偶数时将 t = n−1 处映射的余核识别为 Milnor-Witt K-理论 K^MW_n(F)，在 n 为奇数时识别为 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.

研究动机与目标

• 解决 C.-H. Sah 关于特征为零的域 F 上 SL_t(F) 同调稳定范围的猜想。
• 在 t 和 n 的临界值处，确定稳定化映射 f_{t,n} = H_n(SL_t(F), ℤ) → H_n(SL_{t+1}(F), ℤ) 的精确核与余核。
• 阐明 Milnor-Witt K-理论在特殊线性群同调中的作用，扩展 Suslin 对 GL_t(F) 的结果。
• 建立 SL_t(F) 同调与代数 K-理论不变量（特别是 I^{n+1}(F) 和 K^MW_n(F)）之间的结构性联系。

提出的方法

• 将 Suslin 对 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)，并利用其与 Streenrod 算子及映射 T_n 的相容性。
• 利用 f_{n-1,n} 的余核与 K^MW_n(F) 在 n 为偶数时的同构性，以及与 2K^M_n(F) 在 n 为奇数时的同构性。
• 利用 Milnor-Witt K-理论在度数 1 处生成，以及 ε_n 与乘积结构相容的事实。

实验结果

研究问题

• RQ1 C.-H. Sah 的猜想是否成立：稳定化映射 f_{t,n}: H_n(SL_t(F), ℤ) → H_n(SL_{t+1}(F), ℤ) 在 t ≥ n+1 时为同构，在 t = n 时为满射？
• RQ2 当 n 为偶数时，f_{n,n} 的核是什么？它与 F 的 Witten 环有何关系？
• RQ3 当 n 为偶数时，f_{n-1,n} 的余核是什么？它与 Milnor-Witt K-理论有何关系？
• RQ4 当 n ≥ 3 为奇数时，f_{n-1,n} 的余核是什么？它是否同构于 2K^M_n(F)？
• RQ5 从 H_n(SL_n(F), ℤ) 到 K^MW_n(F) 的映射是否在 f_{n-1,n} 的余核上诱导出同构（当 n 为偶数时）？

主要发现

• 稳定化映射 f_{t,n} 在 t ≥ n+1 时为同构，在 t = n 时为满射，证实了 Sah 的猜想。
• 当 n 为奇数时，映射 f_{n,n} 为同构，因此核是平凡的。
• 当 n 为偶数时，f_{n,n} 的核同构于 I^{n+1}(F)，即 F 的 Witten 环的基本理想之 (n+1) 次幂。
• 当 n 为偶数时，f_{n-1,n} 的余核自然同构于 K^MW_n(F)，即 F 的第 n 个 Milnor-Witt K-理论群。
• 当 n ≥ 3 为奇数时，f_{n-1,n} 的余核自然同构于 2K^M_n(F)，即第 n 个 Milnor K-群的 2-挠子群。
• 谱序列分析表明，当 n 为奇数时，E^∞_{n,1} 项为零，从而保证了 f_{n,n} 的单射性，因此为同构。