[論文レビュー] Grothendieck-Serre in the quasi-split unramified case

Kęstutis Česnavičius|arXiv (Cornell University)|Sep 11, 2020

Algebraic Geometry and Number Theory被引用数 4

ひとこと要約

本稿は、分岐していない正則局所環上の擬分裂再帰的群スキームに対して、グロテンディーク–セール予想を証明し、すべての一般に自明な torsor が自明であることを確立する。証明は、離散付値環上でのノイザー正規化の新版本と、混合特徴値における滑らかで相対的な曲線の提示補題を用い、切除とパッチング技法によりアフィン直線への還元を可能にする。

ABSTRACT

The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group scheme $G$ over a regular local ring $R$ is trivial. We settle it in the case when $G$ is quasi-split and $R$ is unramified. Some of the techniques that allow us to overcome obstacles that have so far kept the mixed characteristic case out of reach include a version of Noether normalization over discrete valuation rings, as well as a suitable presentation lemma for smooth relative curves in mixed characteristic that facilitates passage to the relative affine line via excision and patching.

研究の動機と目的

• ベース環が分岐しておらず、群スキームが擬分裂であるという条件下で、グロテンディーク–セール予想の混合特徴値の場合を解決すること。
• Dedekind環上の平坦かつ幾何学的に正則な局所環への予想の拡張により、局所環を超えた適用範囲を広げること。
• 分岐していない正則局所環上の擬分裂再帰的群に対して、アデール的構造とグローバル構造を結ぶ積公式を確立すること。
• 正則局所環上の再帰的群スキームが、その一般化が分岐している（resp. 擬分裂している）ことと同値であることを示し、予想の含意を強化すること。
• パッチングと相対的曲線技法を活用して、混合特徴値における torsor に対する新しいコホロロジー的道具立てを提供すること。

提案手法

• 離散付値環に適合したノイザー正規化のバージョンを構築し、混合特徴値設定を扱う。
• 混合特徴値における滑らかで相対的な曲線の提示補題を導入し、切除とパッチングにより相対アフィン直線への還元を可能にする。
• コhen–マカウレイ的相対曲線の文脈でリンデル型のトリックを適用し、一般化のファイバーから全空間への torsor の持ち上げを実現する。
• パッチング技法（例：補題 7.1）を用いて、滑らかで相対的な曲線から、ベース環上のアフィン直線への torsor の降下を実行する。
• 非アーベルコホモロジーとねじれ技法を用い、問題をトーラス上の torsor に還元する。[CTS79] および [CTS87] の純粋性結果を活用する。
• ボレル部分群とその非可換部分群の構造を用い、問題をトーラス torsor に還元し、ここで予想が既に知られていることを活用する。

実験結果

リサーチクエスチョン

• RQ1 分岐していない正則局所環上の擬分裂再帰的群スキームに対して、グロテンディーク–セール予想は混合特徴値で成立するか？
• RQ2 予想は、Dedekind環上の平坦かつ幾何学的に正則な局所環へ拡張可能か？
• RQ3 正則環の分数関数体上の torsor が自明であることは、群が擬分裂で環が分岐していない場合、環自体上でも自明であることを保証するか？
• RQ4 再帰的群スキームの一般化が、ベース環上の分岐または擬分裂状態を決定する条件は何か？
• RQ5 混合特徴値において、幾何的還元技法を用いて torsor を自明化するためのコホモロジー的障害を排除できるか？

主な発見

• 分岐していない正則局所環上の擬分裂再帰的群スキームに対して、グロテンディーク–セール予想が証明され、写像 $ H^1(R, G) \to H^1(\text{Frac}(R), G) $ の核が自明であることが示された。
• 同様の自明性結果が、Dedekind環上の平坦かつ幾何学的に正則な局所環へ拡張された。
• 積公式が確立された：分岐していない正則局所環 $ R $、$ r \neq 0 $、および $ R $-群 $ G $ が擬分裂再帰的であるとき、$ G(\breve{R}[1/r]) = G(\breve{R})G(R[1/r]) $ が成り立つ。ここで $ \breve{R} $ は $ R $ の $ r $-進完備化である。
• 正則局所環 $ R $ に対して、再帰的 $ R $-群スキーム $ H $ が分岐していることと、その一般化 $ H_{\text{Frac}(R)} $ が分岐していることは同値である。
• 等特徴値の場合、正則局所環 $ R $ に対して、再帰的 $ R $-群スキーム $ H $ が擬分裂していることと、その一般化が擬分裂していることは同値である。
• 正則局所環 $ R $ に対して、$ 2 \notin R^\times $ のとき、$ H^1(R, \text{SO}_n) \to H^1(\text{Frac}(R), \text{SO}_n) $ および $ H^1(R, \text{O}_n) \to H^1(\text{Frac}(R), \text{O}_n) $ が単射であることが証明され、非同型の非退化二次形式が $ R $ 上で非同型のまま $ \text{Frac}(R) $ 上でも非同型のままであることが示された。