[论文解读] Moving lemmas in mixed characteristic and applications

Ivan Panin|arXiv (Cornell University)|Feb 2, 2022

Advanced Topics in Algebra被引用 4

一句话总结

该论文在混合特征设定下建立了新的几何移动引理，实现了重要的上同调应用。它证明了 $K_2$ 的 Gersten 猜想，验证了 $SL_{1,D}$ 的 Grothendieck–Serre 猜想，并推导出 Suslin 的精确序列，从而得出二次型的有限性与殆射性结果，以及 Panin–Smirnov 意义下上同调理论的广义 Cousin 复形。

ABSTRACT

The present paper contains new geometric theorems in mixed characteristic case. We derive a bunch of cohomological consequences using these geometric theorems. Among them an isotropy result for quadratic spaces, a purity result for quadratic spaces, a result on the Grothendieck--Serre conjecture for the special linear group of an Azumaya algebra. The Gersten conjecture for the functor K2 is proved. Bloch-Ogus type result is obtained as well. Suslin's exact sequence is derived and its application to a finiteness result is given. A version of the Roitman theorem is proved.

研究动机与目标

• 为离散赋值环（d.v.r.）上的概形建立混合特征下的几何移动引理
• 从这些引理推导上同调后果，特别是对 $K$-理论和二次型的影响
• 证明 $K_2$ 函子的 Gersten 猜想以及 $SL_{1,D}$ 的 Grothendieck–Serre 猜想，其中 $D$ 是一个 Azumaya 代数
• 为任意 Panin–Smirnov 意义下的上同调理论建立广义 Cousin 复形
• 推导 Suslin 的精确序列，并将其应用于平展上同调中的有限性结果

提出的方法

• 利用几何表示定理（定理 3.1）构造到 $A$ 上射影空间的有限斜射影邻域
• 使用一个包含光滑、不可约 $Ω$-概形 $Ω$ 的图表，该概形在某个开集 $U'$ 上有到 $Ω$ 的有限斜射影态射
• 应用典范层 $ω_{Ω/V} \cong \mathcal{O}_{Ω}$ 以保证对偶性质
• 利用恰当基变换定理和 $l$-进上同调的性质，关联 $X$ 与它的特殊纤维 $X_v$ 上的上同调群
• 应用 Weil 猜想和伽罗瓦上同调，证明 $H^3_{Ét}(X, \mathbb{Q}_l/\mathbb{Z}_l(2))$ 的有限性
• 依赖于平展上同调中 $\mathbb{Z}_l$-模的结构以及 $H^i_{Ét}(\bar{X}_v, \mathbb{Z}_l(2))$ 的有限生成性

实验结果

研究问题

• RQ1 能否在离散赋值环上的光滑概形上建立混合特征下的移动引理？
• RQ2 在该混合特征设定下，$K_2$ 的 Gersten 猜想是否成立？
• RQ3 能否证明 $SL_{1,D}$ 的 Grothendieck–Serre 猜想，其中 $D$ 是离散赋值环上的 Azumaya 代数？
• RQ4 Cousin 复形对 Panin–Smirnov 框架下的上同调理论有何影响？
• RQ5 Suslin 的精确序列在此语境下是否成立？由此可推出哪些有限性结果？

主要发现

• 证明了在混合特征下，对离散赋值环上光滑概形的 $K_2$ 函子的 Gersten 猜想
• 验证了 $SL_{1,D}$ 的 Grothendieck–Serre 猜想，其中 $D$ 是离散赋值环上的 Azumaya 代数
• 推导出 Suslin 的精确序列，并将其应用于证明 $H^3_{Ét}(X, \mathbb{Q}_l/\mathbb{Z}_l(2))$ 的有限性
• 映射 $\beta: H^3_{Ét}(X, \mathbb{Q}_l/\mathbb{Z}_l(2)) \to {}_{\{l\}}H^2_{Zar}(X, \underline{K}_2)$ 是同构
• 映射 $\rho: H^1_{Zar}(X, \underline{K}_2) \otimes \mathbb{Q}_l/\mathbb{Z}_l \to H^1_{Zar}(X_v, \underline{K}_2) \otimes \mathbb{Q}_l/\mathbb{Z}_l$ 是同构
• 为任意 Panin–Smirnov 意义下的上同调理论建立了广义 Cousin 复形，将已知结果推广至混合特征