[論文レビュー] Derived $\ell$-adic zeta functions

Jonathan A. Campbell, Jesse Wolfson+1 more|arXiv (Cornell University)|Mar 29, 2017

Algebraic Geometry and Number Theory参考文献 25被引用数 4

ひとこと要約

本稿は、代数的モチーフ的測度—特にℓ-adic zeta関数とコンパクト-suppotdオイラー特性—をスペクトルの写像へと上げることで、有限体およびCの部分体における代数的多様体のグローテンディークスペンクトラムの高次ホモトピー群における初めての非自明なクラスを構成する。導来ファンクター的枠組みを用いて、導来ℓ-adic zeta関数が高次K理論に非自明な写像を誘導することを証明し、スペンクトラムがグローテンディーク環を超える豊かな幾何的情報を保持していることを示している。

ABSTRACT

We lift the classical Hasse--Weil zeta function of varieties over a finite field to a map of spectra with domain the Grothendieck spectrum of varieties constructed by Campbell and Zakharevich. We use this map to prove that the Grothendieck spectrum of varieties contains nontrivial geometric information in its higher homotopy groups by showing that the map $\mathbb{S} o K(Var_k)$ induced by the inclusion of $0$-dimensional varieties is not surjective on $π_1$ for a wide range of fields $k$. The methods used in this paper should generalize to lifting other motivic measures to maps of $K$-theory spectra.

研究の動機と目的

• k が有限体またはCの部分体であるとき、多様体のグローテンディークスペンクトラム K(Vk) の高次ホモトピー群における非自明なクラスの構成。
• 古典的モチーフ的測度—特にℓ-adic zeta関数とコンパクトに台を持つオイラー特性—をスペンクトラムの写像へと上げること。
• 導来ℓ-adic zeta関数が、古典的グローテンディーク環に見えない幾何的情報を捉え込んでいることを示すこと。
• k が有限体のとき、S → K(Vk) の高次次元における非自明性および高次ホモトピー群への上への性質の欠如を確立すること。
• 多様体からGalois表現のチェーン複体へのW-完全関手をK理論の写像へと上げる一般枠組みの構築。

提案手法

• X ↦ [Gal(ks/k) ⟳ H•c(X; Zℓ)] の厳密なモデルを、ワルドハウゼンカテゴリ間のW-完全関手のスパンとして構成する。
• Bekeの定理を用いて、連続ℓ-adic Galois表現の有界チェーン複体のカテゴリにコフリーブル生成モデル構造を確立する。
• これらのモデルカテゴリにおけるファンクター的分解を活用し、モチーフ的測度のスペンクトラム上の上昇を構成する。
• 得られた関手にK理論を適用し、K(Vk) → K(Aut(Zℓ)) というスペンクトラムの写像を定め、古典的zeta関数を精錬する。
• 導来zeta関数が元のファンクター的割り当てによって一意に決定され、自然なことであることを証明する。
• 導来構造を用いて、S → K(Vk) が高次ホモトピー群において非自明であることを示す。

実験結果

リサーチクエスチョン

• RQ1 古典的モチーフ的測度—例えばℓ-adic zeta関数—を、K(Vk) における高次ホモトピー的情報が現れるようなスペンクトラムの写像へと上げることは可能か？
• RQ2 k が有限体またはCの部分体であるとき、グローテンディークスペンクトラム K(Vk) は非自明な高次ホモトピー群を含むか？
• RQ3 導来ℓ-adic zeta関数は、古典的zeta関数の自然な精錬であり、グローテンディーク環を超える幾何的データを符号化しているか？
• RQ4 コンパクトに台を持つオイラー特性は、高次K理論の非自明なクラスを検出できるスペンクトラム写像へと上げられるか？
• RQ5 S → K(Vk) は高次次元において非自明であり、k が有限体のとき高次ホモトピー群に上への性質を有するか？

主な発見

• 導来ℓ-adic zeta関数 ζ: K(VFq) → K(Aut(Zℓ)) は、スペンクトラムの自然な写像として構成され、古典的zeta関数を精錬する。
• k が有限体またはCの部分体のとき、S → K(Vk) は高次ホモトピー群において非自明であり、スペンクトラムが非自明な幾何的データを保持していることを示している。
• k = Fq のとき、πi への誘導写像は i > 0 に対して全射でないため、K(Vk) の高次ホモトピー群は非自明で構造的に豊かであることが示された。
• 導来zeta関数は、Witt環上の行列式写像と可換な四角形に収まるため、古典的不変量と整合性を持つ。
• 本構成は、i > 0 における πi(K(Vk)) における非自明なクラスを生み出す初めての体系的手段を提供する。
• 本手法は、任意の g ∈ Gal(ks/k) に対して導来 g-Zeta関数を定義する一般化が可能であり、コホモロジーへのGalois作用を介して古典的zeta関数を精錬する。