[论文解读] Motives of smooth affine pairs

Andrei Druzhinin|arXiv (Cornell University)|Mar 30, 2018

Algebraic Geometry and Number Theory被引用 1

一句话总结

该论文在完美无限域 $k$ 上，为光滑仿射概形 $X$ 及其开子概形 $U\subset X$，建立了 $S^1$-谱 $M_{fr}(X//U)$ 与 $M_{fr}(X,U)$ 之间的层次 Nisnevich 局部弱同构。关键贡献在于，为稳定 motivic 同伦范畴 $\mathbf{SH}(k)$ 中的态射 $U_+ \to X_+$ 的锥提供了显式的 fibrant 重写。

ABSTRACT

For a smooth affine variety $X$ and open subscheme $U\subset X$ we get level Nisnevich local week equivalence of $S^1$-spectra $$M_{fr}(X//U) o M_{fr}(X,U).$$ This gives the explicit fibrant replacement for the cone of the morphism $U_+ o X_+$ in $\mathbf{SH}(k)$ over a perfect infinite field $k$.

研究动机与目标

• 在稳定 motivic 同伦范畴 $\mathbf{SH}(k)$ 中，为态射 $U_+ \to X_+$ 的锥构造显式的 fibrant 重写。
• 在 motivic 同伦理论的背景下，理解光滑仿射对 $(X,U)$ 的同伦结构。
• 在完美无限域上，为与对 $(X,U)$ 相关的两个 $S^1$-谱之间建立层次 Nisnevich 局部弱同构。
• 利用框架对应关系，对光滑仿射对的动机提供具体几何与同伦描述。

提出的方法

• 利用框架对应理论，定义与对 $(X,U)$ 相关的 $S^1$-谱 $M_{fr}(X,U)$。
• 在框架设定下，通过商或映射锥构造，构建 $S^1$-谱 $M_{fr}(X//U)$。
• 应用层次 Nisnevich 拓扑，比较 $M_{fr}(X//U)$ 与 $M_{fr}(X,U)$ 的同伦性质。
• 利用光滑仿射概形与完美无限域的性质，建立 $M_{fr}(X//U)$ 与 $M_{fr}(X,U)$ 之间的弱同构。
• 依赖于 $k$ 为完美且无限的性质，以确保存在足够多的光滑超平面截面，并应用 Nisnevich 下降。
• 证明该弱同构在 $\mathbf{SH}(k)$ 中为 $U_+ \to X_+$ 的锥提供了 fibrant 重写。

实验结果

研究问题

• RQ1 在完美无限域上，$\mathbf{SH}(k)$ 中包含态射 $U_+ \to X_+$ 的锥的正确同伦模型是什么？
• RQ2 如何利用框架 $S^1$-谱在 motivic 同伦理论中构造显式的 fibrant 重写？
• RQ3 在完美无限域上，光滑仿射对是否满足 $M_{fr}(X//U)$ 与 $M_{fr}(X,U)$ 之间的层次 Nisnevich 局部弱同构？
• RQ4 基域 $k$ 的完美性与无限性在建立此类弱同构中起到什么作用？
• RQ5 能否通过框架对应关系显式描述光滑仿射对的动机？

主要发现

• 在完美无限域 $k$ 上，为光滑仿射对 $(X,U)$，建立了 $M_{fr}(X//U)$ 与 $M_{fr}(X,U)$ 之间的层次 Nisnevich 局部弱同构。
• 该弱同构为稳定 motivic 同伦范畴 $\mathbf{SH}(k)$ 中 $U_+ \to X_+$ 的锥提供了显式的 fibrant 重写。
• 该构造依赖于框架对应理论及光滑仿射概形的几何性质。
• 该结果在基域 $k$ 为完美且无限的假设下成立，以确保足够的几何灵活性。
• 该 fibrant 重写通过 $S^1$-谱 $M_{fr}(X,U)$ 实现，该谱以同伦上有意义的方式建模对 $(X,U)$ 的动机。
• 该等价性表明，$M_{fr}(X,U)$ 捕获了 $\mathbf{SH}(k)$ 中锥的正确 motivic 同伦类型。