[論文レビュー] A K-theoretic approach to Artin maps

Dustin Clausen|arXiv (Cornell University)|Mar 22, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 19被引用数 13

ひとこと要約

本稿は、関手的スペクトルを用いて、代数的K理論とトポロジカル巡回ホモロジーを通じて類体論を統一する、K理論的枠組みを導入し、グローバル体、局所体、有限体のArtin写像を構成する。古典的Artinの再帰律はホモトピー群内の写像として回復され、主な結果はK理論スペクトルの$K(1)$-局所化を用いた再帰律の新しい証明である。

ABSTRACT

We define a functorial "Artin map" attached to any small $\bf{Z}$-linear stable $\infty$-category, which in the case of perfect complexes over a global field recovers the usual Artin map from the idele class group to the abelianized absolute Galois group. In particular, this gives a new proof of the Artin reciprocity law.

研究の動機と目的

• 数体を超える一般化を、代数的K理論と安定$∞$-カテゴリの枠組みを用いて達成すること。
• 任意の$\mathbb{Z}$-線形安定$∞$-カテゴリ、特に体上の完全複体に対して関手的Artin写像を構成すること。
• グローバル体、局所体、有限体の取り扱いを、一つのホモトピー理論的枠組みで統一すること。
• 古典的Artin写像がK理論的スペクトル間の写像の$\pi_1$として生じることを示し、再帰律の新しい証明を与えること。
• 先行研究の積分公式を用いた$K(1)$-局所化により、$\mathcal{P} = \operatorname{Perf}(\mathbb{Z})$の基本ケースに帰着させること。

提案手法

• 小規模でイデムポテンス完全な$\mathbb{Z}$-線形安定$∞$-カテゴリ$\mathcal{P}$に対して、局所的にコンパクトなアーベル群における$\mathcal{P}^{\mathrm{op}}$-加群を用いて、局所的にコンパクトなK理論スペクトル$\operatorname{K}(\operatorname{lc}_{\mathcal{P}})$を定義する。
• ホモトピー・プルバックとして$\operatorname{K^{\operatorname{Sel}}}(\mathcal{P}) := L_1\operatorname{K}(\mathcal{P}) \times_{L_1\operatorname{TC}(\mathcal{P})} \operatorname{TC}(\mathcal{P})$として、セレマーKホモロジー・スペクトルを構成し、K理論とトポロジカル巡回ホモロジーを統合する。
• 先行研究の積分公式の$K(1)$-局所化を用いて、$\mathcal{P} = \operatorname{Perf}(\mathbb{Z})$の基本ケースを確立し、それにより他のすべてのケースを支配する。
• 体$F$に対して写像$\operatorname{C}_F \to \pi_1\operatorname{K}(\operatorname{lc}_F)$を確立し、$\operatorname{LCA}_{\aleph}$における完全系列に対するEilenbergスウィンドルの議論により、Artin写像を介して因数分解されることを示す。
• 特に$\mathbb{Q}_p$および$\mathbb{Z}[1/p]$に対して、$L_{K(1)}\operatorname{K}$および$\operatorname{TC}$における局所化系列を分析することで、関手性およびガロア作用との整合性を確立する。
• 双対性およびホモトピー理論的ペアリングを用い、$\operatorname{C}_F$と$\operatorname{G}_F^{ab}$の要素を$\Omega\operatorname{Pic}(S_{\widehat{p}})$への写像を通じて関連づけ、$K(1)$-局所化後に一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 Artin再帰律は、K理論的スペクトルのホモトピー群内の写像として再構成可能か？
• RQ2 先行研究の[C]における積分公式の$K(1)$-局所化は、すべての体に対してArtin写像を構成するのに十分か？
• RQ3 $\pi_1$のスペクトルを通じたイデール類群とガロア群の対応は、すべての$\mathbb{Z}$-線形カテゴリにわたって関手的か？
• RQ4 グローバル体、局所体、有限体に対して、同一のホモトピー理論的構成により一様にArtin写像を定義可能か？
• RQ5 $K(1)$-局所化は必要不可欠か、それとも一般に成立するか？

主な発見

• グローバル体$F$のArtin写像は、同型写像$\operatorname{C}_F \to \pi_1\operatorname{K}(\operatorname{lc}_F)$として回復され、$F$が有限体またはグローバル体であるとき同型である。
• 局所体では、写像$\operatorname{C}_F \to \pi_1\operatorname{K}(\operatorname{lc}_F)$は同型ではないが、適切な位相的精錬を施すと同型となる。
• この構成はEilenbergスウィンドルに依存している：$\operatorname{LCA}_{\aleph}$における短完全系列$F \to \mathbb{A}_F \to \mathbb{A}_F/F$は、$F^\times$作用がK理論で自明であることを示し、写像が$\mathbb{A}_F^\times / F^\times$を介して因数分解されることを強制する。
• セレマーKホモロジー・スペクトル$\operatorname{K^{\operatorname{Sel}}}(\mathcal{P})$は、$L_1\operatorname{K}(\mathcal{P})$と$\operatorname{TC}(\mathcal{P})$を含むホモトピー・プルバックとして定義され、エタール層化されたK理論の双対を提供する。
• 本稿では、$K(1)$-局所化後に、$c \in \operatorname{C}_F$に付随する$\Omega\operatorname{Pic}(S_{\widehat{p}})$の類が、$g \in \operatorname{G}_F^{ab}$に付随する類と等しいことと、$c$と$g$がArtin写像で一致することが同値であることを示している。
• 著者は、この等式が$K(1)$-局所化なしでも成り立つと予想しており、特に虚二次体では複素乗法が$J$と$J^{et}$の構成の間の可能性ある橋渡しを提供する。