[论文解读] The homotopy fixed point theorem and the Quillen-Lichtenbaum conjecture in hermitian K-theory

A. J. Berrick, Max Karoubi+2 more|arXiv (Cornell University)|Nov 23, 2010

Algebraic Geometry and Number Theory参考文献 38被引用 5

一句话总结

本文在Hermitian K-理论中确立了两个关键猜想：证明了在ℤ/2作用下，代数K-理论的同伦不动点与高阶Grothendieck-Witt群（即Hermitian K-理论）之间存在2-adic等价关系，并验证了Quillen-Lichtenbaum猜想的Hermitian类比，表明Hermitian K-理论与其étale版本之间的模2^ν比较映射在同伦群上是同构的，且范围与经典K-理论中的相同。这些结果使得能够对数域中2-整数环及复代数簇的高阶Grothendieck-Witt群进行显式计算，并将其阶与Dedekind zeta函数的特殊值联系起来。

ABSTRACT

Let X be a noetherian scheme of finite Krull dimension, having 2 invertible in its ring of regular functions, an ample family of line bundles, and a global bound on the virtual mod-2 cohomological dimensions of its residue fields. We prove that the comparison map from the hermitian K-theory of X to the homotopy fixed points of K-theory under the natural Z/2-action is a 2-adic equivalence in general, and an integral equivalence when X has no formally real residue field. We also show that the comparison map between the higher Grothendieck-Witt (hermitian K-) theory of X and its étale version is an isomorphism on homotopy groups in the same range as for the Quillen-Lichtenbaum conjecture in K-theory. Applications compute higher Grothendieck-Witt groups of complex algebraic varieties and rings of 2-integers in number fields, and hence values of Dedekind zeta-functions.

研究动机与目标

• 解决Williams关于诺特概形上代数K-理论与Hermitian K-理论在ℤ/2作用下的同伦不动点等价关系的猜想。
• 建立Quillen-Lichtenbaum猜想的Hermitian类比，证明Hermitian K-理论与其étale版本之间的模2^ν比较映射在同伦群上是同构的，且范围与经典K-理论中相同。
• 利用étale上同调与谱序列，计算完全实数域中2-整数环及复代数几何对象的高阶Grothendieck-Witt群。
• 将这些群的阶与Dedekind zeta函数的特殊值联系起来，为负整数处的zeta函数值提供显式公式。

提出的方法

• 证明正交群分类空间与在ℤ/2作用下单位群的同伦不动点之间的2-adic同伦等价，推广了拓扑实K-理论中的等价关系。
• 使用同伦不动点谱序列：H^{-p}(C₂; K_q(R)) ⇒ GW_{p+q}(R)，将经典的Quillen-Lichtenbaum谱序列推广至Hermitian K-理论。
• 应用Nisnevich下降及动机同伦理论结果，包括Hu-Kriz-Ormsby的工作与Voevodsky对Milnor猜想的证明，以建立比较定理。
• 利用带扭系数ℤ₂与μ₂的étale上同调，计算数域中2-整数环的Hermitian K-理论群。
• 推导出将étale上同调群与高阶Grothendieck-Witt群联系起来的谱序列，特别关注模8的度数。
• 结合数环K-理论的已知结果，利用这些谱序列推导出GW-群阶的显式公式及其与zeta函数值的关系。

实验结果

研究问题

• RQ1 Hermitian K-理论到代数K-理论同伦不动点的比较映射是否对诺特概形是2-adic等价？
• RQ2 Hermitian K-理论与其étale版本之间的模2^ν比较映射是否在与Quillen-Lichtenbaum猜想相同范围内诱导同伦群上的同构？
• RQ3 能否通过étale上同调与谱序列计算完全实数域中2-整数环的高阶Grothendieck-Witt群？
• RQ4 这些群的阶是否与Dedekind zeta函数的特殊值相关？若是，能否推导出显式公式？
• RQ5 当F为完全实数域时，R = 𝒪_F'的GW_i(R)结构如何，特别是其与étale上同调及扭系数的关系？

主要发现

• Hermitian K-理论到代数K-理论同伦不动点的比较映射对诺特概形是2-adic等价的，推广了拓扑实K-理论中的等价关系。
• Hermitian K-理论与其étale版本之间的模2^ν比较映射在与Quillen-Lichtenbaum猜想相同的范围内诱导同伦群上的同构，证实了Hermitian Quillen-Lichtenbaum猜想。
• 对于完全实数域中2-整数环的高阶Grothendieck-Witt群，通过带扭系数ℤ₂与μ₂的étale上同调计算，得到了显式谱序列。
• GW_{8k+2}^{[0]}(𝒪_F')与GW_{8k+3}^{[0]}(𝒪_F')的阶与ζ_F(-1-4k)相关，其比值为2^r / w_{4k+2}，其中w_{4k+2} = 2^{a_F + ν₂(4k+2)}。
• 类似地，ζ_F(-3-4k) = 2^r / w_{4k+4}（模奇数倍），且GW_{8k+6}^{[0]}(𝒪_F')与GW_{8k+7}^{[0]}(𝒪_F')的阶之比为2^r / w_{4k+4}。
• GW_{8k+6}^{[2]}(𝒪_F')的挠子群出现在ζ_F(-3-4k)的公式中，表明Hermitian K-理论中的挠结构可通过zeta函数值检测到。