[論文レビュー] Moving lemmas in mixed characteristic and applications

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

Advanced Topics in Algebra被引用数 4

ひとこと要約

本稿は混合特異性の設定において新しい幾何的移動補題を確立し、重要なコhomological応用を可能にする。$K_2$ に対するゲルステン予想を証明し、$SL_{1,D}$ に対するグロテンディーク＝セール予想を検証し、サスリンの完全系列を導出し、二次形式の有限性および等方性に関する結果と、パニン–スミルノフの意味におけるコhomology理論の一般化されたクジン複体をもたらす。

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.) 上のスキームに対して、混合特異性における幾何的移動補題を開発すること
• これらの補題からコhomological 応用を導出し、特に $K$-理論および二次形式に関して得ること
• $K_2$ ファンクターに対するゲルステン予想と、$D$ が d.v.r. 上のアズマヤ代数であるときの $SL_{1,D}$ に対するグロテンディーク＝セール予想を証明すること
• パニン–スミルノフの意味における任意のコhomology理論に対して、一般化されたクジン複体を確立すること
• サスリンの完全系列を導出し、エタールコhomologyにおける有限性結果に応用すること

提案手法

• 定理 3.1 の幾何的表現定理を用いて、$A$ 上の射影空間への有限・全射な準同型を持つアフィン近傍を構成する
• $A$ 上の滑らかで、かつ既約な $Ω$-スキーム $Ω$ を、開集合 $U'$ 上で、$Ω$ への有限・全射な準同型を伴う図式を用いる
• 双対性の性質を保証するため、標準的層 $ω_{Ω/V} \cong \mathcal{O}_{Ω}$ を適用する
• 固有基底変換定理および $l$-進コhomology の性質を用いて、$X$ とその特別ファイバー $X_v$ 上のコhomology群を関連付ける
• ウェイの予想とガロアコhomologyを適用して、$H^3_{Ét}(X, \mathbb{Q}_l/\mathbb{Z}_l(2))$ の有限性を証明する
• エタールコhomologyにおける $\mathbb{Z}_l$-加群の構造と、$H^i_{Ét}(\bar{X}_v, \mathbb{Z}_l(2))$ の有限生成性に依拠する

実験結果

リサーチクエスチョン

• RQ1 滑らかなスキームが離散付値環上に定義される混合特異性において、移動補題を確立できるか？
• RQ2 $K_2$ に対するゲルステン予想は、この混合特異性の設定で成り立つか？
• RQ3 $D$ が離散付値環上にアズマヤ代数であるとき、$SL_{1,D}$ に対するグロテンディーク＝セール予想を証明できるか？
• RQ4 パニン–スミルノフ枠組みにおけるコhomology理論のクジン複体の意味的帰結は何か？
• RQ5 サスリンの完全系列はこの文脈で有効であるか？ そして、どのような有限性結果が導かれるか？

主な発見

• $K_2$ ファンクターに対するゲルステン予想は、離散付値環上に定義された混合特異性の滑らかなスキームに対して証明された
• $D$ が離散付値環上にアズマヤ代数であるとき、$SL_{1,D}$ に対するグロテンディーク＝セール予想が検証された
• サスリンの完全系列が導出され、$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$ は同型写像であることが示された
• パニン–スミルノフの意味における任意のコhomology理論に対して、一般化されたクジン複体が確立され、既知の結果が混合特異性へと拡張された