[论文解读] A primer for unstable motivic homotopy theory

Benjamin Antieau, Elden Elmanto|arXiv (Cornell University)|May 3, 2016

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

一句话总结

本文为不稳定 motivic 同伦论提供了基础性介绍，重点在于其在光滑仿射代数系上向量丛分类中的应用。通过利用 $Α^1$-同伦论与分类空间，作者证明了在二次闭域上，光滑仿射曲面上的秩 2 向量丛由其第一与第二陈类完全分类，从而与 $\mathrm{CH}^1(X) \times \mathrm{CH}^2(X)$ 之间存在双射关系。

ABSTRACT

In this expository article, we give the foundations, basic facts, and first examples of unstable motivic homotopy theory with a view towards the approach of Asok-Fasel to the classification of vector bundles on smooth complex affine varieties. Our focus is on making these techniques more accessible to algebraic geometers.

研究动机与目标

• 使不稳定 motivic 同伦论对代数几何学家更加易懂，特别是在向量丛分类的背景下。
• 利用模型范畴与 Bousfield 局部化，建立 $Α^1$-同伦范畴的理论框架。
• 展示 motivic 同伦论如何解决光滑仿射概形上向量丛的分类问题，特别是在低秩与低维情形下。
• 证明在二次闭域上，陈类可对光滑仿射曲面上的秩 2 向量丛进行分类。

提出的方法

• 通过在 Nisnevich 拓扑与 $Α^1$-等价关系下对单纯预层进行 Bousfield 局部化，构建 $Α^1$-同伦范畴。
• 使用 $Α^1$-奇异构造 $\mathrm{Sing}^{\u0391^1}$ 对空间进行建模并计算同伦层。
• 应用 Postnikov 系统与 Nisnevich 上同调分析分类空间 $\mathrm{BGL}_r$ 与 $\mathrm{BSL}_r$。
• 利用 Milnor K-理论的 motivic 上同调 $\mathrm{K}_2^{\mathrm{MW}}$ 对固定行列式的秩 2 丛进行分类。
• 利用 algebraic $K$-理论在 $Α^1$-同伦范畴中的表示性，将向量丛与上同调不变量联系起来。
• 应用 Nisnevich 上同调中的纯化定理与消去结果，将分类问题约化为 Chow 群。

实验结果

研究问题

• RQ1 如何利用不稳定 motivic 同伦论对光滑仿射概形上的向量丛进行分类？
• RQ2 $Α^1$-同伦在使 algebraic $K$-理论表示化以及分类向量丛中起到什么作用？
• RQ3 在 motivic 设置下，特别是在不稳定范围内，陈类在多大程度上可对向量丛进行分类？
• RQ4 像 $\mathrm{BGL}_2[2]$ 与 $K^{\mathds{G}_m}(\mathrm{K}_2^{\mathrm{MW}},2)$ 这类分类空间如何对具有固定行列式的向量丛进行分类？
• RQ5 motivic 上同调、Nisnevich 上同调与仿射曲面上向量丛分类之间存在何种关系？

主要发现

• 对于二次闭域上的光滑仿射曲面 $X$，映射 $ (c_1, c_2): \mathrm{Vect}_2(X) \to \mathrm{CH}^1(X) \times \mathrm{CH}^2(X) $ 是双射。
• 具有固定行列式 $\mathcal{L}$ 的秩 2 向量丛空间由 $\mathrm{H}^2_{\mathrm{Nis}}(X, \mathrm{K}_2^{\mathrm{MW}}(\mathcal{L}))$ 分类，且该上同调群同构于 $\mathrm{CH}^2(X)$。
• $\mathrm{Sing}^{\u0391^1}$-构造为尊重 $\u0391^1$-同伦不变性的 motivic 空间提供了模型。
• 在二次闭域上的光滑仿射曲面上，motivic 上同调 $\mathrm{H}^2_{\mathrm{Nis}}(X, \mathrm{K}_2^{\mathrm{MW}})$ 在 $n \geq 2$ 的度数上消失，从而简化了分类问题。
• $\mathrm{BGL}_2[2]$ 分类具有平凡行列式的秩 2 向量丛，且其到 $\mathrm{BGL}_2[1] \cong \mathrm{Pic}(X)$ 的映射是满射。
• algebraic $K$-理论在 $Α^1$-同伦范畴中的表示性使得通过陈类可直接建立向量丛与 motivic 上同调之间的联系。