[論文レビュー] The Grothendieck-Serre Conjecture over Semilocal Dedekind Rings

Ning Guo|arXiv (Cornell University)|Feb 6, 2019

Algebraic Geometry and Number Theory参考文献 17被引用数 6

ひとこと要約

この論文は、パッチングと弱近似を用いて問題を完全な離散付値環の状況に還元し、その後ブルハット–ティツ理論を適用して非分解的半単純群を扱うことで、半局所的デデキンド環上の再帰的群スキームのグロテンディーク–セール予想を証明する。主な結果は、エタールコホロロジー写像 $ H^1_{\text{ét}}(R,G) \to H^1_{\text{ét}}(K,G) $ の単射性であり、これは、体を含む正則な半局所的環上の再帰的モデルの一意性を示す。

ABSTRACT

For a reductive group scheme $G$ over a semilocal Dedekind ring $R$ with total ring of fractions $K$, we prove that no nontrivial $G$-torsor trivializes over $K$. This generalizes a result of Nisnevich-Tits, who settled the case when $R$ is local. Their result, in turn, is a special case of a conjecture of Grothendieck-Serre that predicts the same over any regular local ring. With a patching technique and weak approximation in the style of Harder, we reduce to the case when $R$ is a complete discrete valuation ring. Afterwards, we consider Levi subgroups to reduce to the case when $G$ is semisimple and anisotropic, in which case we take advantage of Bruhat-Tits theory to conclude. Finally, we show that the Grothendieck-Serre conjecture implies that any reductive group over the total ring of fractions of a regular semilocal ring $S$ has at most one reductive $S$-model.

研究の動機と目的

• 局所環から半局所的環へのグロテンディーク–セール予想の拡張を図り、ニスネヴィッチの局所環に関する結果を半局所的環へ一般化する。
• 再帰的群スキームにおける分離性の条件を除去し、半単純 simply connected な分離的部分群が存在しない状況でも、半局所的デデキンド環上のケースを完全に完成させる。
• 正則な半局所的環 $ S $ の全商体に関する再帰的 $ S $-モデルの唯一性を確立する。
• ニスネヴィッチの元来の手法における不明瞭な点やギャップを解消することで、半局所的デデキンド環に対する予想の変種を完全に証明する。

提案手法

• ハーダーの弱近似にインspiredされたパッチング技法を用い、問題を完全な離散付値環の状況に還元する。
• 捩りの議論を用いて、$ G $ が半単純かつ非分解的である場合に還元し、レヴィ部分群の構造を活用する。
• ブルハット–ティツ理論を用いて、完全な離散付値環（残渣体が完全）上の再帰的群の構造を分析する。
• エタールコホロロジーと自己同型群スキームおよび外部自己同型群スキームを含む完全列を用い、群モデルの同型類を分析する。
• コホロロジー写像の単射性を活用して、任意の $ K $-群の二つの再帰的 $ S $-モデルが同型であることを証明する。
• 点付き集合の可換図式における図式引きの技法を用い、写像 $ H^1_{\text{ét}}(S,\underline{\mathrm{Aut}}(G)) \to H^1_{\text{ét}}(K,\underline{\mathrm{Aut}}(G)) $ の核が自明であることを示す。

実験結果

リサーチクエスチョン

• RQ1 再帰的群スキームが分離性の仮定なしに、半局所的デデキンド環上に対してもグロテンディーク–セール予想が成り立つか。
• RQ2 パッチングと完成化を用いて、半局所的デデキンド環上でもエタールコホロロジー写像 $ H^1_{\text{ét}}(R,G) \to H^1_{\text{ét}}(K,G) $ の単射性を確立できるか。
• RQ3 正則な半局所的環上での再帰的モデルの一意性は、コホロロジーの単射性の結果から導かれるか。
• RQ4 ニスネヴィッチの離散付値環に対する証明を、その曖昧な点やギャップを解消することで、半局所的デデキンド環へ拡張できるか。

主な発見

• 任意の再帰的群スキーム $ G $ に対して、全商体が $ K $ である半局所的デデキンド環 $ R $ 上で、写像 $ H^1_{\text{ét}}(R,G) \to H^1_{\text{ét}}(K,G) $ は単射である。
• この結果は、ニスネヴィッチの定理を局所的環から半局所的デデキンド環へ一般化し、群スキームに対する分離性の条件の必要性を排除する。
• コホロロジー写像の単射性は、正則な半局所的環 $ S $ の全商体上の任意の再帰的群が、高々一つの再帰的 $ S $-モデルしか持たないことを示す。
• 証明により、写像 $ H^1_{\text{ét}}(S,\underline{\mathrm{Aut}}(G)) \to H^1_{\text{ét}}(K,\underline{\mathrm{Aut}}(G)) $ の核が自明であることが示され、これは任意の二つの再帰的 $ S $-モデルが同型であることを意味する。
• 議論により、標準的な仮定の下で、半局所的デデキンド環上でのコホロロジーの単射性と再帰的モデルの一意性が同値であることが確認される。
• この結果により、半局所的デデキンド環上のグロテンディーク–セール予想のケースが完全に完成し、これまでに知られていたすべての特殊ケースをカバーする。