[論文レビュー] On Grothendieck-Serre conjecture concerning principal G-bundles over regular semi-local domains containing a finite field: I

Ivan Panin|arXiv (Cornell University)|Jun 2, 2014

Algebraic Geometry and Number Theory参考文献 12被引用数 3

ひとこと要約

この論文は、有限体を含む正則半局所ドメイン上の主 $G$-バンドルに対するグロテンディーク＝セール予想の重要なケースを証明し、関数体での自明性が基本環での自明性を意味することを確立する。中心的な結果である定理1.1は、基本的バンドルの多項式環上の変形を、基本的ファイブレーションとベルティーニ型定理を用いて構成し、単連結な単純群への還元を可能にする。

ABSTRACT

In three preprints [Pan2],[Pan3] and the present one we prove Grothendieck-Serre's conjecture concerning principal G-bundles over regular semi-local domains R containing a finite field (here G is a reductive group scheme). The present preprint contains main geometric presentation theorems which are necessary for that. The preprint [Pan2] contains reduction of the Grothendieck-Serre's conjecture to the case of a simple simply-connected group scheme. The preprint [Pan3] contains a proof of Grothendieck-Serre's conjecture for regular semi-local domains R containing a finite field. One of the main result of the present preprint is Theorem 1.1. The Grothendieck--Serre conjecture for the case of regular semi-local domains containing an infinite field is proven in joint work due to R.Fedorov and I.Panin (see [FP]). Thus the conjecture holds for regular semi-local domains containing a field.

研究の動機と目的

• 正則半局所ドメインに有限体を含む場合のグロテンディーク＝セール予想を、定理1.1における鍵となる変形結果の証明によって確立すること。
• 一般の再帰的群スキームの場合を、単連結な単純群への還元に用いる幾何的道具（特に基本的ファイブレーションとよい三つ組）を提供すること。
• 本プレプリント、[Pan2]、[Pan3] の結果を組み合わせることで、有限体の場合の予想の証明を完了すること。
• 無限体の場合に既に知られていた結果（[FP] より）を有限体の場合に拡張し、体上の正則半局所ドメインについての予想を完全に解決すること。

提案手法

• 関数体上の自明バンドルから出発し、基本的ファイブレーションを用いて $\mathcal{O}[t]$ 上の主 $G$-バンドルの変形を構成する。
• [Poo] および [ChPoo] のベルティーニ型定理を適用し、適切な超曲面およびエタール近傍の存在を保証する。
• ベーススキームの幾何と群スキーム作用との整合性を保つために、「よい三つ組」の概念を用いる。
• 局所化 $h^{-1}$ での自明性および $t=0$ での元のバンドルへの制限を満たすように、$\mathbf{A}^1 \times U$ 上の主 $G$-バンドル $\mathcal{G}_t$ を、セクション $\Delta'$ と同型写像 $\Phi$ を用いて構成する。
• D. ポプロスキーの近似定理に依拠し、一般の場合を、有限残渣体をもつ正則半局所環の場合に還元する。
• 体 $k$ 上の滑らかな多様体上の有限個の点における関数環としての半局所環 $\mathcal{O}$ の構造を用い、コhomologicalおよび幾何的技法を適用する。

実験結果

リサーチクエスチョン

• RQ1 有限体を含む正則半局所ドメインに対して、$G$ が再帰的である場合のグロテンディーク＝セール予想は成り立つか？特に主 $G$-バンドルに対して。
• RQ2 多項式環上での自明バンドルの変形を構成できるか？その変形は $t=0$ で元のバンドルを回復し、局所化においても自明のままである。
• RQ3 有限体上での適切な基本的ファイブレーションおよびエタール近傍の存在を保証し、$G$-バンドル構造を保存できるか？
• RQ4 有限体上でのベルティーニ型定理は、望ましい幾何的およびコhomological性質を持つ超曲面の構成をどの程度可能にするか？
• RQ5 有限体の設定において、幾何的およびコhomological技法を用いて、単連結単純の場合への還元を達成できるか？

主な発見

• 定理1.1は、有限体 $k$、$k$-多様体上の有限個の点における半局所環 $\mathcal{O}$、および $\mathcal{O}$ 上の単純で単連結な群スキーム $G$ に対して、関数体 $K$ で自明な任意の $G$-バンドルが、$\mathcal{O}[t]$ 上の $G$-バンドルに拡張可能であり、そのバンドルは局所化 $\mathcal{O}[t]_h$ で自明で、$t=0$ での制限が元のバンドルに一致することを示す。
• バンドル $\mathcal{G}_t$ と多項式 $h$ の構成は、定理1.1の条件 (i) および (ii) を満たしており、このような変形の存在を証明する。
• 証明は、よい三つ組の存在と、関数体から $\mathcal{O}[t]$ の近傍への自明化の持ち上げを可能にするエタール準同型 $\sigma_g$ に依存しており、同型写像 $\Phi$ を用いて群構造を同定する。
• セクション $s = \sigma_g \circ \Delta'$ がゼロセクションであることが示され、$\mathcal{G}_t$ の $\{0\} \times U$ への制限が元のバンドル $P_U$ に同型であることが保証され、これが変形議論の核心的ステップである。
• この結果により、$G$ が単連結で単純な場合に、写像 $H^1_{\text{ét}}(\mathcal{O}, G) \to H^1_{\text{ét}}(K, G)$ の核が自明であることが確認され、完全な予想への主要なステップが完了する。
• 本研究により、体上の正則半局所ドメインについてのグロテンディーク＝セール予想の証明が完全に完了する。無限体の場合の結果は既に [FP] で得られているため。