[论文解读] A Horrocks-Type Theorem for Even Orthogonal $\mathrm{K}_2$

Andrei Lavrenov, Sergey Sinchuk|arXiv (Cornell University)|Sep 5, 2019

Advanced Operator Algebra Research参考文献 35被引用 5

一句话总结

本文为不稳定偶数正交 K2-函子建立了类似 Horrocks 的定理，证明了涉及多项式与洛朗多项式扩张的某个交换正方形是上拉图。证明依赖于局部-整体原理以及对分次环上 Steinberg 群的新分解，将早期关于线性 K2 的结果推广至正交群，并在 2-挠元可逆的前提下确认了 Dℓ 型的 Serre 问题在 K2 类比下的成立。

ABSTRACT

We prove the Horrocks theorem for unstable even-dimensional orthogonal Steinberg groups. The Horrocks theorem for Steinberg groups is one of the principal ingredients needed for the proof of the $\mathrm{K}_2$-analogue of Serre's problem, whose positive solution is currently known only in the linear case.

研究动机与目标

• 为偶数维正交群建立 Serre 问题的 K2 类比，将 Quillen–Suslin 的局部-整体原理推广至 K2-函子。
• 证明不稳定正交 K2-函子 KO2(2ℓ, −) 在多项式与洛朗多项式扩张下满足上拉性质。
• 将 Horrocks 定理推广至 Dℓ 型的 Steinberg 群，填补了非线性 Chevalley 群的 K2 类比中 Serre 问题的空白。
• 通过中心扩张与稳定性定理，解决相对 K-理论框架中关键同态的单射性问题。
• 为证明所有秩 ≥3 根系的 K2 类比 Serre 问题奠定基础，特别是正交类型。

提出的方法

• 通过局部-整体原理，将主定理约化为证明同态 j−: St(Dℓ, A[X−1]) → St(Dℓ, A[X, X−1]) 的单射性。
• 应用局部-整体原理，将问题约化至 A 为局部环的情形，从而简化环及其理想结构。
• 利用 Loday 理论中的相对中心扩张，分析映射 St(Dℓ, B) → St(Dℓ, R) 的核，其中 B = A[X−1] + M[X] 且 R = A[X, X−1]。
• 通过 Panin 的稳定性定理与 Bass 基本定理，证明相对中心扩张子群之间的映射 C(Dℓ, B, M[X, X−1]) → C(Dℓ, R, M[X, X−1]) 的满射性。
• 采用 Steinberg 群 St(Φ, B) 作为三个群的积的商的分解方法，其一为 St(Φ, A[X−1])，推广了文献 [38] 的方法。
• 应用受 Rehmann、Soulé 与 Tulenbaev 启发的分次环上 Steinberg 群的表示定理，以控制分解中的群结构。

实验结果

研究问题

• RQ1 不稳定偶数正交 K2-函子 KO2(2ℓ, −) 是否在多项式与洛朗多项式扩张下满足 Horrocks 型上拉性质？
• RQ2 当 A 中 2 可逆时，同态 j−: St(Dℓ, A[X−1]) → St(Dℓ, A[X, X−1]) 的单射性是否可被确立？
• RQ3 局部-整体原理是否适用于偶数正交群的 K2-函子，从而可约化至局部环情形？
• RQ4 是否可利用 Steinberg 群的相对中心扩张结构，证明洛朗扩张上群之间映射的单射性？
• RQ5 St(Φ, B) 作为三个群的积的商的分解，是否能为正交 K2 情形下的单射性提供系统性证明？

主要发现

• 本文证明了涉及 KO2(2ℓ, A)、KO2(2ℓ, A[X])、KO2(2ℓ, A[X−1]) 与 KO2(2ℓ, A[X, X−1]) 的交换正方形是上拉图，且所有映射均为单射，其中 ℓ ≥ 7 且 2 在 A 中可逆。
• 该结果同样适用于 Steinberg 群 St(Dℓ, −) 与 K2-函子 K2(Dℓ, −)，确立了正交群情形下 K2 类比 Horrocks 定理。
• 通过两步论证确立了 j−: St(Dℓ, A[X−1]) → St(Dℓ, A[X, X−1]) 的单射性：首先证明 jR: St(Dℓ, B) → St(Dℓ, R) 的单射性，再证明 j−B: St(Dℓ, A[X−1]) → St(Dℓ, B) 的单射性。
• 映射 C(Dℓ, B, M[X, X−1]) → C(Dℓ, R, M[X, X−1]) 的满射性，作为 Panin 稳定性定理与高阶 Grothendieck–Witt 群 Bass 基本定理的推论而获得。
• St(Φ, B) 作为三个群的积的商的分解，其一为 St(Φ, A[X−1])，使得对 Aℓ (ℓ ≥ 4)、Dℓ (ℓ ≥ 5) 以及 E6,7,8 型根系，可系统证明 j−B 的单射性。
• 该结果确认了正交情形下 K2 类比 Serre 问题的关键要素，尤其在基环中 2 可逆且 ℓ ≥ 7 的 Dℓ 型群中成立。