[論文レビュー] B(G) for all local and global fields

Robert Kottwitz|arXiv (Cornell University)|Jan 22, 2014

Advanced Algebra and Geometry参考文献 6被引用数 18

ひとこと要約

本稿は、局所体および大域体 $ F $ 上の線型代数的群 $ G $ に対して、先行研究における $ \mathbf{B}(G) $ 関手を一般化した関手 $ B(F,G) $ を導入し、その性質を研究する。$ B(F,G) $ は、ガロア・ジェルブに関連する代数的コホモロジー集合 $ H^1_{\text{alg}}(\mathcal{E}(K/F), G(K)) $ の余極限として構成され、トーラス $ T $ に対しては $ B(F,T) \cong (X_*(T) \otimes X(K))_{G(K/F)} $ が成り立つことを証明。再び $ z $-拡張を用いて半単純群へ一般化することで、算術幾何における torsor とガロアコホモロジーの理論を統一的かつ一般化する。

ABSTRACT

Generalizing earlier results concerning p-adic fields, this paper develops a theory of B(G) for all local and global fields.

研究の動機と目的

• 線型代数的 $ F $-群 $ G $ から点付き集合への関手 $ G \mapsto B(F,G) $ を定義・研究し、以前の研究における $ \mathbf{B}(G) $ を一般化すること。
• トーラスに対して古典的なターテ・中山同型を、ガロア・ジェルブおよび標準的類を用いて新たな同型 $ B(F,T) \cong (X_*(T) \otimes X(K))_{G(K/F)} $ に拡張すること。
• $ z $-拡張および核制限理論を用いて、トーラスから任意の連結半単純群へこの構成を一般化すること。
• 算術幾何における torsor とガロアコホモロジーの背後にあるコホモロジー的枠組みを統一的かつ体系的に整理すること。
• $ H^1(F,G) $ が自然な部分集合として含まれるような、$ B(F,G) $ の概念的かつ計算可能な枠組みを提供することにより、算術不変量のより広い理解を可能にすること。

提案手法

• 有限ガロア拡張 $ K/F $ から、標準的類 $ \alpha(K/F) \in H^2(G(K/F), \mathbb{D}_{K/F}(K)) $ を用いてガロア・ジェルブ $ \mathcal{E}(K/F) $ を構成する。ここで $ \mathbb{D}_{K/F} $ は、字数群 $ X(K) $ を持つプロトロアスである。
• $ \mathcal{E}(K/F) $ による作用に関する $ G(K) $-torsor の集合として、代数的コホモロジー集合 $ H^1_{\text{alg}}(\mathcal{E}(K/F), G(K)) $ を定義し、自然な同型を除いて一意に定まる。
• すべての有限ガロア拡張 $ K/F $ における $ H^1_{\text{alg}}(\mathcal{E}(K/F), G(K)) $ のインフレーション写像を用いた余極限として $ B(F,G) $ を構成する。
• 包含関係に伴うインフレーション写像を用い、シャピロの補題および核制限写像を用いて、特にターテ・ナカヤマ三重対の文脈で、異なる拡張間のコホモロジー集合を関連付ける。
• カップ積同型およびターテ・コホモロジーを用いて、トーラス $ T $ に対する $ B(F,T) $ をコインバリアント $ (X_*(T) \otimes X(K))_{G(K/F)} $ と関連付け、主要な同型を確立する。
• $ B(F,G) $ の理論をトーラスから一般の連結半単純群へ $ z $-拡張を用いて拡張し、$ B(F,G) $ がこのような拡張と整合することを活用する。

実験結果

リサーチクエスチョン

• RQ1 Kot97 における関手 $ \mathbf{B}(G) $ を、すべての局所体および大域体（数体および $ p $-進体を含む）に一般化する方法は何か？
• RQ2 トーラス $ T $ に対して $ B(F,G) $ の正確な構造は何か？ また、ターテ・中山双対性およびガロアコホモロジーとどのように関係するか？
• RQ3 インフレーションおよび核制限の文脈において、$ B(F,G) $ の構成が選択に依存しない、自然な同型を用いて行えるか？
• RQ4 $ B(F,G) $ と $ H^1(F,G) $ との関係は何か？ どのような意味で $ B(F,G) $ は標準的なガロアコホモロジー集合の拡大と見なせるか？
• RQ5 ガロア・ジェルブ $ \mathcal{E}(K/F) $ および関連する類 $ \alpha(K/F) $ は、$ B(F,G) $ の定義と計算において果たす役割は何か？

主な発見

• 任意の局所体または大域体 $ F $ 上のトーラス $ T $ に対して、$ K/F $ を $ T $ を分裂する有限ガロア拡張とするとき、自然な同型 $ B(F,T) \cong (X_*(T) \otimes X(K))_{G(K/F)} $ が成り立つ。ここで $ F $ が大域体の場合は $ X(K) $ は $ K $ 上の次数ゼロの除数群であり、局所体の場合は $ \mathbb{Z} $ である。
• $ F $ が $ p $-進体であるとき、$ B(F,G) $ は $ \mathbf{B}(G) $ と自然に同型であり、[Kot97] の結果をすべての局所体および大域体に拡張する。
• $ H^1(F,G) \hookrightarrow B(F,G) $ の包含写像は自然かつ自然同型であり、$ B(F,G) $ がガロアコホモロジーの自然な拡大であることを示す。
• $ F $ が局所体のとき、$ G $ が半単純であれば $ B(F,G) $ は有限であり、基本的要素の集合 $ B(F,G)_{\text{bsc}} $ も有限であり、ニュートン点を用いて計算可能である。
• 理論は核制限およびインフレーション写像と整合し、$ B(F,G) $ の余極限構成により関手的および選択に依存しない性質が保証される。
• 本稿では、$ H^1_{\text{alg}} $-集合に対するシャピロの補題の一般化を確立し、拡張間でコホモロジー的データを移行可能にする。