[论文解读] Geometric models for higher Grothendieck-Witt groups in A1-homotopy theory

Marco Schlichting, Girja Shanker Tripathi|arXiv (Cornell University)|Sep 23, 2013

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

一句话总结

本文在基概形上 2 可逆的条件下，证明了更高格罗滕迪克-惠特尼群（代数赫米特 K-群）在 $Ä^1$-同伦范畴中由无限正交格拉斯曼流形 $Ä^1$-同伦类型所表示。关键结果是无限正交格拉斯曼流形 $Ä^1$-空间与无限正交群的 étale 分类空间之间存在 $Ä^1$-同伦等价，从而将更高格罗滕迪克-惠特尼群实现为从悬垂谱到该空间的 $Ä^1$-同伦映射类。

ABSTRACT

We show that the higher Grothendieck-Witt groups, a.k.a. algebraic hermitian K-groups, are represented by an infinite orthogonal Grassmannian in the A1-homotopy category of smooth schemes over a regular base for which 2 is a unit in the ring of regular functions. We also give geometric models for various P1- and S1-loop spaces of hermitian K-theory.

研究动机与目标

• 在光滑概形的 $Ä^1$-同伦范畴中建立更高格罗滕迪克-惠特尼群的几何模型。
• 通过 $Ä^1$-同伦理论将奎伦–沃耶沃茨基对代数 K-理论的表示推广至赫米特 K-理论。
• 证明无限正交格拉斯曼流形通过 $Ä^1$-同伦等价表示更高格罗滕迪克-惠特尼群。
• 为格罗滕迪克-惠特尼理论的 $n$ 重 $Ä^1$-环路空间构造几何模型。
• 为格罗滕迪克-惠特尼理论中的不稳定运算提供分类基础，类比于 K-理论中的已知结果。

提出的方法

• 作者将无限正交格拉斯曼流形 $\mathrm{GrO}_\bullet$ 定义为在双曲丛 $H^n \perp H^n$ 中极大迷向子丛的格拉斯曼流形的列极限，并赋予其诱导的对称双线性型。
• 他们构造了从 $\underline{\mathbb{Z}} \times \mathrm{GrO}_\bullet$ 到无限正交群的 étale 分类空间 $B_{\text{et}}O$ 的映射，并证明该映射在光滑仿射 $S$-概形上是弱同伦等价。
• 利用格罗滕迪克-惠特尼空间的同伦不变性及尼森维奇布朗-格伦斯坦性质，他们建立了 $GW_i(X) \cong [X_+ \wedge S^i, \mathrm{GrO}_\bullet]_{\mathscr{H}_\bullet(S)}$。
• 他们采用单纯预层技巧与同伦列极限分析格罗滕迪克-惠特尼空间的 $Ä^1$-同伦类型。
• 他们应用奎伦定理 A 与鲍斯菲尔德-坎同伦列极限工具，证明从范畴的同伦列极限到列极限的典范映射是同伦等价。
• 他们使用基本的 $Ä^1$-同伦与单纯同伦理论，将朴素的 $Ä^1$-同伦与 $\Delta R$-取值上的单纯同伦联系起来。

实验结果

研究问题

• RQ1 在 2 可逆的正则基上，更高格罗滕迪克-惠特尼群是否能在光滑概形的 $Ä^1$-同伦范畴中实现为几何表示？
• RQ2 无限正交格拉斯曼流形 $\mathrm{GrO}_\bullet$ 是否是格罗滕迪克-惠特尼空间 $GW$ 的 $Ä^1$-同伦模型？
• RQ3 étale 分类空间 $B_{\text{et}}O$ 是否与 $\mathrm{GrO}_\bullet$ 代表相同的 $Ä^1$-同伦类型？
• RQ4 能否为 $GW$ 的 $n$-重 $Ä^1$-环路空间构造几何模型？
• RQ5 格罗滕迪克-惠特尼空间 $GW^n$ 是否同伦不变且满足尼森维奇布朗-格伦斯坦性质？

主要发现

• 在 $2 \in \Gamma(S, \mathcal{O}_S)$ 的条件下，更高格罗滕迪克-惠特尼群 $GW_i(X)$ 自然同构于从悬垂谱 $X_+ \wedge S^i$ 到 $\mathbb{Z} \times \mathrm{GrO}_\bullet$ 的 $Ä^1$-同伦映射类。
• $\mathrm{GrO}_\bullet \to B_{\text{et}}O$ 的映射是 $Ä^1$-同伦等价，从而确立了无限正交格拉斯曼流形对正交群的 étale 分类空间的模型表示。
• 格罗滕迪克-惠特尼空间 $GW$ 在 $Ä^1$-同伦范畴中由 $\mathbb{Z} \times \mathrm{GrO}_\bullet$ 表示，推广了奎伦–沃耶沃茨基对 $K$-理论的结果。
• $n$-重 $Ä^1$-环路空间 $GW^n$ 由 $\mathrm{GrO}_\bullet$ 的 $n$-重环路空间表示，且这些空间同伦不变并满足尼森维奇布朗-格伦斯坦性质。
• $\underline{\mathbb{Z}} \times \mathrm{GrO}_\bullet \to \underline{\mathbb{Z}} \times B_{\text{et}}O \to GW$ 的映射在光滑仿射 $S$-概形 $\operatorname{Spec} R$ 的 $\Delta R$-取值下是弱同伦等价，因此在 $\mathscr{H}_\bullet(S)$ 中是同构。
• 该构造为格罗滕迪克-惠特尼理论中的不稳定运算提供了几何框架，类比于 $K$-理论中已知的分类结果。