[論文レビュー] Grothendieck duality under Spec Z

Andrew Salch|arXiv (Cornell University)|Dec 1, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 3被引用数 4

ひとこと要約

本稿は、S を球面スペクトルとするとき、Spec ℤ から Spec S への準同型写像に対して、安定ホモトピー理論の文脈で導来函手 f*、f*、f! を定義することにより、Grothendieck双対性を確立する。導来圏 ℳ₀-スキームの圏は、連結スペクトルの安定ホモトピー圏と同値であり、双対化複体 f!S のホモロジーが整数のイデアル類群に同型であることが示され、代数的位相と算術幾何学との間に深い関係が明らかになる。

ABSTRACT

We define the derived category of a concrete category in a way which extends the usual definition of the derived category of a ring, and we prove that the bounded-below derived category of $\Spec \mathbb{M}_0$ (an approximation, used by e.g. Connes and Consani, to "$\Spec$ of the field with one element") is the stable homotopy category of connective spectra. We also describe some basic features of Grothendieck duality for the map from $\Spec \mathbb{Z}$ to $\Spec \mathbb{M}_0$, or, what comes to the same thing, the map from $\Spec \mathbb{Z}$ to $\Spec$ of the sphere spectrum; these basic features include a computation of the homology of the dualizing complex $f^!(S)$ of abelian groups associated to the sphere spectrum.

研究の動機と目的

• S が球面スペクトルであるとき、準同型写像 Spec ℤ → Spec S のための導来圏フレームワークを定義し、環の古典的導来圏をより一般のモノイダル圏（例えば S-加群の圏）へと拡張する。
• f: Spec ℤ → Spec S に対する Grothendieck 双対性を確立し、導来押し出し Rf* の右随伴 f! の構成を含む。
• 双対化複体 f!S のホモロジー群を計算し、それらが ℤ のイデアル類群と非自明に関係していることを示す。
• 有界下界導来圏 ℳ₀（F₁-スキームの近似）は、連結スペクトルの安定ホモトピー圏と同値であることを示す。
• Eilenberg-MacLane函手 H とその随伴が、特に π₀ およびホモトピー群を通じて、アーベル群とスペクトルを関係付ける役割を明確にする。

提案手法

• 本稿は、環からより一般のモノイダル圏（例えば S-加群の圏）への標準的導来圏構成の拡張を通じて、具体的な圏の導来圏を定義する。
• Abelian 群を連結スペクトルへ埋め込む自然な埋め込みとして、Eilenberg-MacLane函手 H: Mod(ℤ) → Mod(S)^≥0 を用いる。
• H と π₀ の間のホモトピー随伴を確立し、アダムズスペクトル系列を用いて π₀ が H のホモトピー左随伴であることを示す。
• スペクトルのホモトピー群と Lin の定理を用いて、Rf* の導来右随伴 f! を構成し、連結スペクトル X に対して f!X ≅ H₀(f!X) であると特定する。
• 導来随伴を適用して f!S を計算し、特に ℤ-加群における Ext 群、特に Ext¹_ℤ(ℚ, H₁(X,ℤ)) を分析する。
• ℳ₀-スキームの導来圏と連結スペクトルの安定ホモトピー圏との同値性を活用し、f!S を ℳ₀ の双対化複体として再解釈する。

実験結果

リサーチクエスチョン

• RQ1 S が球面スペクトルであるとき、f: Spec ℤ → Spec S に対する Grothendieck 双対性の正しい定式化は何か？
• RQ2 ℳ₀-スキームの導来圏は、安定ホモトピー理論の観点からどのように理解できるか？
• RQ3 f: Spec ℤ → Spec S に対応する双対化複体 f!S のホモロジーは何か？
• RQ4 Eilenberg-MacLane函手 H は、この文脈において導来函手とどのように作用するか、特に π₀ との随伴を通じて？
• RQ5 f!S のホモロジーの算術的意味は何か？また、イデアル類群のような古典的数論的不変量とどのように関係しているか？

主な発見

• ℳ₀-スキームの導来圏は、三角圏として、連結スペクトルの安定ホモトピー圏と同値である。
• f: Spec ℤ → Spec S に対する双対化複体 f!S のホモロジー群は、整数のイデアル類群に同型であり、H₀(f!S) ≅ Pic(ℤ) ≅ 0 である。
• 函手 f! は、式 f!X ≅ Hom_ℤ(ℤ, f!X) ≅ [Hℤ, X] により計算され、これは有限セル複体 X に対して Ext¹_ℤ(ℚ, H₁(X,ℤ)) に還元される。
• 函手 π₀: Mod(S)^≥0 → Mod(ℤ) は、Eilenberg-MacLane函手 H のホモトピー左随伴であり、導来随伴を確立する。
• H₁ が有限な有限セル複体（例えば球面スペクトル S）に対して、f!S は消える。これは Ext¹_ℤ(ℚ, H₁(S,ℤ)) = 0 による。
• ホモトピー群と Ext 群を用いた f! の構成により、Spec ℤ → Spec S の写像に対して、整合的で明確な Grothendieck 双対性フレームワークの存在が確認される。