[论文解读] The homotopy limit problem and (etale) hermitian K-theory

Marco Schlichting|arXiv (Cornell University)|Nov 23, 2010

Algebraic Geometry and Number Theory参考文献 6被引用 7

一句话总结

该论文证明了，对于具有有限克鲁尔维数、2可逆且模2上同调维数有界的诺特概形，从埃尔米特K-理论到K-理论在Z/2作用下的同伦固定点的比较映射是一个2-adic等价。此外，它还表明，高阶格罗滕迪克-惠特理论与其étale变体之间的映射在Quillen-Lichtenbaum猜想所预测的范围内是同伦群上的同构，从而使得高阶格罗滕迪克-惠特群以及戴德金ζ函数的特殊值得以计算。

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 etale 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.

研究动机与目标

• 为满足有界模2上同调维数的概形建立埃尔米特K-理论与K-理论在Z/2作用下的同伦固定点之间的2-adic等价性。
• 证明高阶格罗滕迪克-惠特理论与其étale变体之间的比较映射在类似于Quillen-Lichtenbaum猜想所预测的范围内，是同伦群上的同构。
• 将这些结果应用于计算复代数几何概形和数域中2-整数环的高阶格罗滕迪克-惠特群。
• 从这些计算中推导出戴德金ζ函数的特殊值，特别是在2-adic和étale上同调约束的背景下。

提出的方法

• 利用K-理论上的Z/2作用，并分析其同伦固定点，以与埃尔米特K-理论进行比较。
• 应用étale上同调和有界上同调维数的技术，以控制剩余域的行为。
• 以Quillen-Lichtenbaum框架为模板，确定étale比较映射中同构所预期的范围。
• 利用2可逆以及存在充足的线丛族的假设，以确保K-理论谱的几何控制。
• 应用关于虚拟模2上同调维数的结果，以界定比较映射为同构的范围。
• 依赖格罗滕迪克-惠特谱及其étale局部化的结构，以建立比较同构。

实验结果

研究问题

• RQ1 在X满足给定的几何与上同调条件时，从埃尔米特K-理论到K-理论在Z/2作用下的同伦固定点的比较映射是否为2-adic等价？
• RQ2 高阶格罗滕迪克-惠特理论与其étale版本之间的映射是否在Quillen-Lichtenbaum猜想所预测的范围内诱导同伦群上的同构？
• RQ3 所建立的比较同构是否可用于计算复代数几何概形和数域中2-整数环的高阶格罗滕迪克-惠特群？
• RQ4 这些比较对2-adic设定下戴德金ζ函数的特殊值有何影响？
• RQ5 在缺乏形式实剩余域的条件下，何时能保证得到整数等价而非仅2-adic等价？

主要发现

• 对于满足所述条件的概形，从埃尔米特K-理论到K-理论在Z/2作用下的同伦固定点的比较映射是一个2-adic等价。
• 当X不具有形式实剩余域时，该比较映射成为整数等价，而不仅仅是2-adic等价。
• 高阶格罗滕迪克-惠特理论与其étale版本之间的映射在与Quillen-Lichtenbaum猜想相同的范围内诱导同伦群上的同构。
• 这些结果使得能够显式计算复代数几何概形和数域中2-整数环的高阶格罗滕迪克-惠特群。
• 这些计算提供了关于戴德金ζ函数特殊值的信息，特别是在2-adic设定下。
• 剩余域的有界虚拟模2上同调维数在控制比较同构范围方面至关重要。