[论文解读] Cellularity of hermitian K-theory and Witt theory

Oliver Röndigs, Markus Spitzweck+1 more|arXiv (Cornell University)|Mar 16, 2016

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

一句话总结

该论文证明了在任意不含特征为二的点的基概形上，赫米特型K-理论（KQ）与Witt-理论（KW）是可胞复的动机谱。通过四元数格拉斯曼流形的几何结构及对典范辛丛的Thom空间的归纳胞复性论证，作者证明这些谱由动机球面经悬垂与同伦余极限构造而成，从而可通过 $π_{*,*}$-同构强大地检测稳定等价性。

ABSTRACT

Hermitian K-theory and Witt-theory are cellular in the sense of stable motivic homotopy theory over any base scheme without points of characteristic two.

研究动机与目标

• 在稳定动机同伦范畴中建立赫米特型K-理论与Witt-理论的胞复性。
• 将可胞复动机谱的框架扩展至包含KQ与KW，二者在动机同伦理论与二次型理论中具有核心地位。
• 为计算KQ的分层提供基础，并证明莫雷尔的 $π_1$-猜想。
• 将代数K-理论中的胞复性策略推广至赫米特型K-理论与Witt-理论，利用辛几何。
• 证明动机谱KQ与KW由悬垂的球面谱通过同伦余极限与胞复构造生成。

提出的方法

• 利用四元数格拉斯曼流形 $ηθ\text{Gr}(r,n)$ 作为光滑仿射概形，并通过仿射空间的 $π$-滤过结构。
• 利用同伦纯性与平凡法丛，将Thom空间分解为动机球面 $S^{2n_{ij},n_{ij}}$ 的楔和，从而推出胞复性。
• 对 $ηθ\text{Gr}(r,n)$ 上典范辛丛的秩使用归纳论证，证明其直和的Thom空间是胞复的。
• 利用稳定动机弱等价在可胞复谱上由 $π_{*,*}$-同构检测的性质，实现结构分析。
• 利用 $×\text{KQ}$ 与 $×\text{HP}^{1+}$-谱 $×\text{BO}^{\text{geom}}$ 之间的同构，并证明 $×\text{BO}^{\text{geom}}$ 是可胞复谱的同伦余极限。
• 应用两取三性质及对悬垂与余积的封闭性，得出KQ与KW的胞复性。

实验结果

研究问题

• RQ1 在不含特征为二的点的基概形上，赫米特型K-理论是否在稳定动机同伦范畴中是可胞复的？
• RQ2 能否通过四元数格拉斯曼流形上的几何滤过与Thom空间构造建立KQ的胞复性？
• RQ3 KQ的胞复性是否可通过 $σ$-构造与 $σ$-作用推出Witt-理论KW的胞复性？
• RQ4 能否利用KQ的胞复性与 $π_{*,*}$-检测来计算其分层过滤？
• RQ5 无限四元数格拉斯曼流形 $×\text{HGr}$ 的动机同伦类型是什么？它与KQ有何关联？

主要发现

• 在任意无特征为二的点、正则诺特分离基概形（有限克鲁尔维数）上，赫米特型K-理论 $×\text{KQ}$ 与Witt-理论 $×\text{KW}$ 是可胞复的动机谱。
• 谱 $×\text{KQ}$ 同构于同伦余极限 $\underset{n\text{ odd}}{\operatornamewithlimits{hocolim}}\;\Sigma^{4n,2n}\Sigma^{\infty}\mathbf{Z} \times \mathbf{HGr}$，其中 $\mathbf{HGr}$ 为无限四元数格拉斯曼流形。
• 无限格拉斯曼流形 $\mathbf{HGr}$ 是有限维四元数格拉斯曼流形 $\mathbf{HGr}(n,2n)$ 的滤过余极限，每个流形均允许由仿射空间构成的胞复滤过。
• KQ的分层计算为：当 $q$ 为偶数时，$\mathsf{s}_{q}(\u00d7\text{KQ}) \cong \Sigma^{2q,q}\mathbf{MZ} \vee \bigvee_{i < q/2} \Sigma^{2i+q,q}\mathbf{MZ}/2$；当 $q$ 为奇数时，$\bigvee_{i < (q+1)/2} \Sigma^{2i+q,q}\mathbf{MZ}/2$。
• KQ的胞复性意味着，KQ-模之间的稳定动机弱等价可通过 $\pi_{*,*}$-同构检测。
• KQ的胞复性在证明莫雷尔的 $\pi_1$-猜想中起关键作用，因为它允许通过 $\pi_{*,*}$-数据计算分层过滤。