[論文レビュー] A geometric reformulation of the representational assembly conjecture for the K-theory of fields with pro-l absolute Galois group

Gunnar Carlsson|arXiv (Cornell University)|Sep 22, 2013

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

ひとこと要約

本稿は、絶対ガロア群が pro-l 群である体の K-理論における表現的アセンブリの予想を、G-理論的 K-理論と次元ホモロジーに沿った導来完備化を用いて幾何学的に再定式化する。導来完備化された G-理論的 K-理論スペクトルが、代数的閉包の K-理論の完備化と同値であることを示し、G_F からの K(F) の予想的な再構成を幾何学的に実現する。主な結果は、l-進完備化の後、自然な G_F--equivariant なスペクトル同値である。

ABSTRACT

In this paper we prove a result which establishes an equivalence between the representational assembly conjecture proposed by the author and a rigidity question, in the case of Galois groups which are pro-l groups. In additional work with R. Joshua, we will confirm the validity of this rigidity conjecture, thereby proving the conjecture in the case of a pro-l absolute Galois group.

研究の動機と目的

• 絶対ガロア群 G_F が pro-l 群である体 F の代数的 K-理論スペクトルを、G_F のみに依存する関手的かつ計算可能な方法で再構成すること。
• 表現的アセンブリ予想を解決し、K^G(k) の次元ホモロジー ε 沿いの導来完備化が、完備化の後に K(F) を回復することを示すこと。
• G_F-空間の普遍空間 \mathcal{E}G_F の G-理論的 K-理論が、この完備化プロセスの幾何的モデルを提供することを確立すること。
• Noetherian かつ近似可能な G-スキーム W に対して、自然な写像 \mathfrak{K}^G(W)^\wedge_\varepsilon \to \mathfrak{K}^G(\mathcal{E}G \times W)^\wedge_\varepsilon が同値であることを証明し、予想をパラメータ化された剛性に関する命題に還元すること。

提案手法

• プロファイニット G_F-作用をもつ、プロファイニット群の分類空間に基づく、連続的 G_F-作用をもつプロファイニット G_F-スキーム \mathcal{E}G_F を構成する。
• G-スキーム W に対して G-理論的 K-理論スペクトル \mathfrak{K}^G(W) を定義し、次元ホモロジー \varepsilon: K^G(k) \to \mathbb{H}_l 沿いの導来完備化 (-)^\wedge_\varepsilon を用いてスペクトルを l-進完備化する。
• \mathcal{E}G_F の自由性を用いて、軌道スキームと G-理論的 K-理論の間の自然な同値を確立する。すなわち、K(\mathcal{E}G_F/G_F) \simeq K^{G_F}(\mathcal{E}G_F)。
• K^{G_F}(\mathcal{E}G_F) の l-進完備化が、K(k) の l-進完備化と同値であることを示し、潜在的な l-進的コネクテッド性を確立する。
• コロイドおよび Tor の消滅を用いて、Noetherian かつ近似可能な G-スキーム W に対して、写像 \mathfrak{K}^G(W) \wedge_{K^G(k)} \mathbb{H}_l \to \mathfrak{K}^G(\mathcal{E}G \times W) \wedge_{K^G(k)} \mathbb{H}_l が同値であることを証明するパラメータ化された剛性の議論を適用する。
• 表現環 R[G_F] の増幅イデアルが、K_*(\mathcal{E}G_F) 上に自明に作用することを活用し、この同値が成立するための本質的要因を示す。

実験結果

リサーチクエスチョン

• RQ1 絶対ガロア群が pro-l 群である体 F の代数的 K-理論スペクトルは、スペクトル系列のデータを除き、G_F のみから関手的に再構成可能か？
• RQ2 表現的アセンブリ写像 \alpha_F: K^G(k)^\wedge_\varepsilon \to K^G(\overline{F})^\wedge_\varepsilon が同値であるか？そして、幾何学的手法によりこれを証明可能か？
• RQ3 普遍 G_F-空間 \mathcal{E}G_F の G-理論的 K-理論は、K^G(k) の ε 沿いの導来完備化の幾何的モデルを提供するか？
• RQ4 G-スキーム W に対して、K^G(W) の ε 沿いの完備化が、K^G(\mathcal{E}G \times W) のそれと同値であることを示せるか？これにより、予想をパラメータ化された剛性問題に還元できるか？
• RQ5 プロファイニット l-群の普遍空間のための標準的かつ l-進的コネクテッドなモデルが存在するか？また、\mathcal{E}G_F はそのようなモデルを満たすか？

主な発見

• 次元ホモロジー ε 沿いの基本体 k の G-理論的 K-理論の導来完備化は、代数的閉包 \overline{F} の K-理論の l-進完備化と同値である。すなわち、\mathfrak{K}^G(k)^\wedge_\varepsilon \simeq \mathfrak{K}(F)^\wedge_l。
• 任意の Noetherian かつ近似可能な連続的 G-作用を持つアフィン G-スキーム W に対して、写像 \mathfrak{K}^G(W)^\wedge_\varepsilon \to \mathfrak{K}^G(\mathcal{E}G \times W)^\wedge_\varepsilon はスペクトルの同値である。
• \mathcal{E}G_F の G-理論的 K-理論は、K^{G_F}(\mathcal{E}G_F)^\wedge_\varepsilon \simeq K(\mathcal{E}G_F/G_F)^\wedge_l を満たし、軌道スキームが完備化された K-理論を捉えていることを示している。
• K^{G_F}(\mathcal{E}G_F) の l-進完備化は、K(k) の l-進完備化と同値である。これは、\mathcal{E}G_F が潜在的に l-進的コネクテッドであることを示唆している。
• K^{G_F}(\mathcal{E}G_F) の G-理論的 K-理論から生じるモジュール M に対して、Tor 群 \mathrm{Tor}^{R[G]}_*(M, \mathbb{F}_l) が消える。これは、\mathbb{H}_l-完備化が関連する圏で正確性を保つことを意味する。
• 主定理は、自然な G_F--equivariant 同値 \mathfrak{K}^G(k)^\wedge_\varepsilon \simeq \mathfrak{K}^G(\mathcal{E}G \times \mathrm{Spec}(\overline{F}))^\wedge_\varepsilon を確立し、幾何的設定における表現的アセンブリ予想を確認する。