[論文レビュー] Proof of Grothendieck--Serre conjecture on principal bundles over regular local rings containing a finite field

Ivan Panin|arXiv (Cornell University)|Jul 5, 2017

Advanced Algebra and Geometry被引用数 10

ひとこと要約

この論文は、有限体を含む正則局所環上の主バンドルに関するグロタンディーク–セール予想を証明し、分数体上で自明になる再帰的群スキームバンドルがその環上で自明であることを示している。証明は、貼り合わせ技法、コホモロジーの消滅、および半局所環上のアフィン直線への変形による単連結群への還元に依拠している。

ABSTRACT

Let R be a regular local ring, containing a finite field. Let G be a reductive group scheme over R. We prove that a principal G-bundle over R is trivial, if it is trivial over the fraction field of R. If the regular local ring R contains an infinite field this result is proved in [FP]. Thus the conjecture is true for regular local rings containing a field.

研究の動機と目的

• 有限体を含む正則局所環に対してグロタンディーク–セール予想を確立し、分数体上で自明になる主バンドルが環上で自明であることを示すこと。
• 無限体の場合に既知の結果を有限体の場合に拡張し、すべての有限体を含む正則局所環に対して予想を完成させること。
• このような環上の再帰的群スキームに対して、非アーベルエタールコホモロジーにおける制限写像の単射性を証明すること。
• 有限体をもつ半局所環上の群スキームに対して、変形と貼り合わせ技法を用いて、新しい証明を与えること。
• 有理関数体上の torsor の自明性に関する以前の結果を、有限体をもつ半局所設定に一般化すること。

提案手法

• 半局所環 $U$ におけるアフィン直線 $\mathbb{A}^1_U$ における貼り合わせ法を用い、一般点における自明バンドルの変形を構成すること。
• 単項多項式 $h(t)$ で定義されるザリスキー開集合上で所与の自明性を持つ、$\mathbb{A}^1_U$ 上の主 $\mathbf{G}$-バンドルの構成。
• 定理 1.4 の適用：$\mathbb{A}^1_U$ 上の $\mathbf{G}$-バンドルが $h(t) \neq 0$ で定義される稠密な開集合上で自明であれば、任意の切断 $U \to \mathbb{A}^1_U$ 沿いでの制限も自明であることを保証する。
• トーラスと乗法的型の中心部分群を含む商構成により、単連結な半単純群スキームへの還元。
• 点付き集合の完全列 $H^1_{\text{fppf}}(\mathcal{O}, G') \to H^1_{\text{fppf}}(\mathcal{O}, G^+) \to H^1_{\text{fppf}}(\mathcal{O}, T)$ の使用。半局所代数におけるヒルベルトの定理 90 を活用。
• コホモロジー集合間の同型を確立し、得られる図式の完全性を用いて、制限写像における核の自明性を導出すること。

実験結果

リサーチクエスチョン

• RQ1 有限体を含む正則局所環に対して、グロタンディーク–セール予想は成り立つか。特に、分数体上で自明になる主バンドルが環上で自明であるかどうか。
• RQ2 有限体をもつ半局所環上で、再帰的群スキームに対して制限写像 $H^1_{\text{ét}}(R, \mathbf{G}) \to H^1_{\text{ét}}(K, \mathbf{G})$ の単射性は保証されるか。
• RQ3 アフィン直線 $\mathbb{A}^1_U$ 上の貼り合わせ技法を、一般ファイバーから基本環へのバンドルの自明性の降下にどの程度用いることができるか。
• RQ4 有限体をもつ半局所環上の再帰的群スキームの構造が、非アーベルコホモロジー集合に与える影響は何か。
• RQ5 中心拡大とコホモロジー的降下を用いて、予想を単連結な半単純群への場合に還元できるか。

主な発見

• 任意の再帰的群スキーム $\mathbf{G}$ に対して、有限体を含む正則半局所整域 $R$ とその分数体 $K$ に対して、写像 $H^1_{\text{ét}}(R, \mathbf{G}) \to H^1_{\text{ét}}(K, \mathbf{G})$ の核は自明である。
• 制限写像が単射であるため、$R$ 上で同型である主 $\mathbf{G}$-バンドルが $\operatorname{Spec} K$ 上で同型になるならば、$R$ 上でもすでに同型である。
• この結果は、有限体を含むすべての正則局所環に対して成り立ち、この場合におけるグロタンディーク–セール予想の証明を完成させる。
• 証明は、単項多項式 $h(t)$ を用いて $\mathbb{A}^1_U$ 上の変形を制御する手法に依拠している。
• 主要な技術的ステップは、定理 1.4 の適用であり、これは $\mathbb{A}^1_U$ のザリスキー開集合上で自明であれば、任意の切断 $U \to \mathbb{A}^1_U$ 沿いでの自明性を保証する。
• 単連結な場合への還元は、トーラスと乗法的型の群を含む中心拡大を用い、コホモロジーの完全性により核の自明性を保証する。