[論文レビュー] On the Grothendieck-Serre conjecture on principal bundles in mixed characteristic

Roman Fedorov|arXiv (Cornell University)|Jan 17, 2015

Algebraic Geometry and Number Theory参考文献 18被引用数 8

ひとこと要約

この論文は、混合特徴を持つ正則局所環上の分離再帰的群スキームに対して、基底スキームに幾何的条件を課した場合、Grothendieck–Serre予想を証明する。nice tripleと準素性ファイブレーションによるバンドルの貼り合わせと変形技法を用いて、体を含まない環への拡張を含め、有理切断をもつバンドルの自明性を確立する。

ABSTRACT

Let R be a regular local ring. Let G be a reductive R-group scheme. A conjecture of Grothendieck and Serre predicts that a principal G-bundle over R is trivial if it is trivial over the quotient field of R. The conjecture is known when R contains a field. We prove the conjecture for a large class of regular local rings not containing fields in the case when G is split.

研究の動機と目的

• 体を含まない混合特徴を持つ正則局所環へのGrothendieck–Serre予想の拡張を達成すること。
• 有理切断をもつ主Gバンドルがそのような環上で自明であることを確立すること。
• 既知の体を含む環または低次元の場合に限られる以前の結果を一般化すること。
• 混合特徴におけるnice tripleと準素性ファイブレーションを用いた、新たな方法論的枠組みを提供すること。

提案手法

• 基底スキームU上でバンドルとその自明化をパrametrizeするため、nice triple (qU: X → U, f, ∆) を構成する。
• 有理切断の存在を用いて、A1_U 上のGバンドルFを構成し、有限部分スキーム上で自明であり、0×U において元のバンドルと一致するようにする。
• 図式 Xgσ∗(h) → Xg と (A1_U)h → A1_U を用いた貼り合わせ構成により、A1_U 上のグローバルGバンドルを構成する。
• 貼り合わせが自明化と切断条件と整合的であることに着目し、問題を既知のケースに還元する。
• 滑らかな群スキームに対してfppfコホロロジーとエタールコホロロジーの標準的同型を用いて、コホモロジー核を分析する。
• 直交群のコホモロジー完全列における図式引きの技法を適用し、H1の制限写像の単射性を証明する。

実験結果

リサーチクエスチョン

• RQ1 分離再帰的群スキームが混合特徴を持つ正則局所環上でGrothendieck–Serre予想は成り立つか？
• RQ2 幾何的および変形技法を用いて、体を含まない環に対しても予想を拡張できるか？
• RQ3 基底スキームにどのような条件を課すれば、有理切断をもつ主バンドルが混合特徴で自明になるか？
• RQ4 nice tripleと準素性ファイブレーションを用いて、混合特徴における局所データからグローバルバンドルを構成できるか？
• RQ5 直交群に対してH1(fppf)の制限写像の単射性が、分離ケースにおける予想の成立を十分に示すか？

主な発見

• 混合特徴を持つ正則局所環上の分離再帰的群スキームに対して、Grothendieck–Serre予想は、基底スキームにややきつい幾何的条件が課された場合に成立する。
• 特殊ファイバーが一般に正則であり、特異点集合が特殊ファイバーとcodim ≥2で交わるという仮定の下で、予想が証明される。
• 証明により、分離再帰的Gに対してH1_fppf(R, G) → H1_fppf(K, G) の制限写像の単射性が示され、有理切断をもつバンドルの自明性が導かれる。
• この手法は直交群にも適用可能であり、2が可逆であればWittの消去法により二次形式の同型が拡張される。
• 著者らは、優れた離散値評価環上の射影的スキーム上の有限個の閉点の半局所環に対しても、予想が成り立つことを示した。
• 特に、残渣体が有限体である2次元の場合でさえ、従来の手法では失敗していたが、本結果は新規である。