[论文解读] Stable moduli spaces of hermitian forms

Fabian Hebestreit, Wolfgang Steimle|arXiv (Cornell University)|Mar 25, 2021

Homotopy and Cohomology in Algebraic Topology参考文献 40被引用 4

一句话总结

本文证明了Poincaré范畴的格罗滕迪克-惠特尼空间是厄米形式模空间的群完备化，从而将卡鲁比的经典厄米与二次K-群与近期工作的精细格罗滕迪克-惠特尼群联系起来。证明方法借鉴了加拉蒂厄斯与兰德尔-威廉姆斯关于 bordism 范畴的工作，利用bordism范畴的同伦型，将群完备化实现为对迭代Q-构造的列极限。

ABSTRACT

We prove that Grothendieck-Witt spaces of Poincaré categories are, in many cases, group completions of certain moduli spaces of hermitian forms. This, in particular, identifies Karoubi's classical hermitian and quadratic K-groups with the genuine Grothendieck-Witt groups from our joint work with Calmès, Dotto, Harpaz, Land, Moi, Nardin and Nikolaus, and thereby completes our solution of several conjectures in hermitian K-theory. The method of proof is abstracted from work of Galatius and Randal-Williams on cobordism categories of manifolds using the identification of the Grothendieck-Witt space of a Poincaré category as the homotopy type of the associated cobordism category.

研究动机与目标

• 将卡鲁比的经典厄米与二次K-群与近期高阶代数K-理论中的现代格罗滕迪克-惠特尼群相联系。
• 确立Poincaré范畴的格罗滕迪克-惠特尼空间是厄米形式模空间的群完备化。
• 通过提供经典与现代K-理论不变量的同伦识别，完成对厄米K-理论中长期悬而未决猜想的解答。
• 将参数化代数手术与手术复形的框架扩展至Poincaré范畴，从而通过迭代Q-构造实现群完备化。

提出的方法

• 借鉴加拉蒂厄斯与兰德尔-威廉姆斯关于bordism范畴的方法，将Poincaré范畴的格罗滕迪克-惠特尼空间识别为其关联bordism范畴的同伦型。
• 利用Poincaré范畴的$Χ$-范畴上的$Χ$-构造作为厄米形式模空间的群完备化的模型。
• 应用哈帕兹（Harpaz）关于$ι$-空间的权定理，将bordism范畴的同伦型与范畴核心的$Χ$-构造联系起来。
• 运用$Χ$-构造与迭代Q-构造，将群完备化实现为对范畴核心的$Χ$-群的迭代bar构造的列极限。
• 利用$Χ$-构造在Poincaré范畴的$Χ$-范畴上等价于S-构造的边向细分这一事实，实现同伦控制。
• 应用关于$ε_{\infty}$-群值函子之间自然变换为等价的普遍准则，当其在范畴的核心上为等价时，通过双范畴正方形与列极限论证得出结论。

实验结果

研究问题

• RQ1 Poincaré范畴的格罗滕迪克-惠特尼空间是否为厄米形式模空间的群完备化？
• RQ2 卡鲁比的经典厄米与二次K-群能否与现代高阶代数K-理论中的精细格罗滕迪克-惠特尼群相识别？
• RQ3 Poincaré范畴的bordism范畴的同伦型是否建模了厄米形式模空间的群完备化？
• RQ4 能否利用Poincaré范畴的$Χ$-范畴上的$Χ$-构造，通过迭代Q-构造实现群完备化？
• RQ5 在何种条件下，Poincaré范畴上$Χ$-群值函子之间的自然变换会在格罗滕迪克-惠特尼空间上诱导出等价？

主要发现

• Poincaré范畴的格罗滕迪克-惠特尼空间是厄米形式模空间的群完备化，确立了经典与现代K-理论不变量的同伦识别。
• 卡鲁比的经典厄米与二次K-群被识别为作者合作研究中得出的精细格罗滕迪克-惠特尼群，完成了对厄米K-理论中若干猜想的解答。
• Poincaré范畴的bordism范畴的同伦型实现了厄米形式模空间的群完备化，将流形情形的结果推广至代数设定。
• $Χ$-构造在Poincaré范畴的$Χ$-范畴上等价于S-构造的边向细分，从而可通过bar构造实现同伦控制。
• Poincaré范畴核心上迭代$Χ$-构造的列极限为零，这意味着$Χ$-群值函子之间的自然变换是等价的。
• 对于具有普通核心与谱值的0维Poincaré范畴，从核心的格罗滕迪克-惠特尼空间到范畴的格罗滕迪克-惠特尼空间的映射是等价的。