[論文レビュー] Motivic complexes and special values of zeta functions

J. S. Milne, Niranjan Ramachandran|arXiv (Cornell University)|Nov 13, 2013

Algebraic Geometry and Number Theory参考文献 48被引用数 7

ひとこと要約

本稿は、有限体上のモチーフ的複体のゼータ関数の特別値を、Ext群やホッジ数などの算術的不変量と結びつける普遍的予想を提示する。$\mathbb{Z}{}[1/p]$-強化されたエタールモチーフ的複体の圏を構成し、その予想がタートとベイリンソン予想から導かれることが示され、フレームワークは代数的スタックや対数多様体へと拡張される。

ABSTRACT

Beginning with the conjecture of Artin and Tate in 1966, there has been a series of successively more general conjectures expressing the special values of the zeta function of an algebraic variety over a finite field in terms of other invariants of the variety. In this article, we present the ultimate such conjecture, and provide evidence for it. In particular, we enhance Voevodsky's Z[1/p]-category of etale motivic complexes with a p-integral structure, and show that, for this category, our conjecture follows from the Tate and Beilinson conjectures. As the conjecture is stated in terms of motivic complexes, it (potentially) applies also to algebraic stacks, log varieties, simplicial varieties, etc..

研究の動機と目的

• 有限体上での代数的多様体のゼータ関数特別値に関するアーチン＝テイトおよびワイエル型予想の究極的な一般化を提示すること。
• モチーフ的複体のフレームワークを $p$-進構造および有理タート類を含めるように拡張し、代数的スタックや対数多様体への応用を可能にすること。
• タート予想とベイリンソン予想が成り立つ $\mathbb{Z}{}[1/p]$-強化エタールモチーフ的複体の圏において、予想が成り立つことを示し、その証拠を提供すること。
• モチーフ的複体のゼータ関数を定義し、その極と留数がExt群の位数やホッジ数といった算術的不変量とどのように関係するかを明らかにすること。

提案手法

• モチーフ的複体 $M,N$ とねじれ $r$ に対して、三角化圏 $\mathsf{DM}(k)$ とタートねじれを用いて、Ext群の標準的複体 $E(M,N,r)$ を構成する。
• モチーフ的複体 $P = R\underline{\operatorname{Hom}}(M,N)$ のゼータ関数 $Z(P,t)$ を $\mathbb{Q}(t)$ 内で定義し、$\ell$-進および $p$-進実現と整合性を持つようにする。
• レイノー・環 $R$ を用いた $p$-進実現を導入し、$R_1 \otimes_R^L P$ のコホモロジーからホッジ数 $h^{i,j}(P)$ を定義する。
• $E(M,N,r)$ のコホモロジー群の位数の交代積 $\chi^\times(M,N(r))$ を定義し、$Z(P,t)$ の $t = q^{-r}$ における留数と関係づける。
• タート予想とベイリンソン予想を用いて、次の予想的公式を導出する：$\left|\lim_{t\to q^{-r}} Z(P,t)(1 - q^r t)^\rho\right| = \chi^\times(M,N(r)) \cdot q^{\chi(P,r)}$、ここで $\chi(P,r)$ はホッジ数の重み付き和である。
• $\mathsf{DM}(k)$ を $\mathsf{DM}(k,\mathbb{Q})$ と $\mathsf{D}_{c}^{b}(\mathbb{Z}^p) \times \mathsf{D}_{c}^{b}(R)$ のホモトピー纤维積として構成し、$p$-整数構造を組み込む。

実験結果

リサーチクエスチョン

• RQ1 有限体上での代数的多様体のゼータ関数特別値に関する、最も一般な予想の形式は何か？
• RQ2 モチーフ的複体はどのように $p$-整数構造を強化することで、$p$-進算術的不変量を捉えることができるか？
• RQ3 ゼータ関数の留数がExt群の位数およびホッジ数と関係する予想は、タート予想とベイリンソン予想から導けるか？
• RQ4 このフレームワークは、滑らかでない、あるいは非射影的対象、例えば代数的スタックや対数多様体へどの程度拡張可能か？
• RQ5 有理タート類は、すべての実現と整合する普遍的モチーフ的圏を構成するために果たす役割は何か？

主な発見

• 予想では、$Z(P,t)$ の $t = q^{-r}$ における極の位数が $\rho = \sum_j (-1)^{j+1} j \cdot \operatorname{rank}_{\mathbb{Z}}(\operatorname{Ext}^j(M,N(r)))$ で与えられ、ゼータ関数の極とExt群のランクが結びつけられる。
• $Z(P,t)$ の $t = q^{-r}$ における留数は $\chi^\times(M,N(r)) \cdot q^{\chi(P,r)}$ と表され、ここで $\chi^\times$ は有限Extコホモロジー群の位数の交代積である。
• $p$-進ホッジ数寄与項 $\chi(P,r) = \sum_{i,j\,(i\leq r)} (-1)^{i+j} (r-i) h^{i,j}(r_p(P))$ は、特別値公式における $p$-進補正因子を定量化する。
• $\mathsf{DM}(k)$ をホモトピー纤维積として構成することで、$\ell$-進および $p$-進実現と両方の整合性が保証され、この設定ではタート予想が自動的に成立する。
• 予想が強化された圏においてタート予想とベイリンソン予想から導かれることが示され、その妥当性に対する強い証拠が得られた。
• フレームワークは代数的スタックへも応用可能である可能性があり、そのゼータ関数は定義されている（ただし形式的べき級数として）。今後の研究では非有界モチーフ的複体の必要性が示唆される。