[論文レビュー] Trace formula for component groups of Néron models

Johannes Nicaise|ArXiv.org|Jan 13, 2009

Algebraic Geometry and Number Theory参考文献 14被引用数 6

ひとこと要約

この論文は、完備な離散的絶対値を持つ体上の分岐が単純なアーベル多様体のネロンモデルの成分群に関するトレース公式を証明し、特異ファイバーのオイラー特徴標数が $\omega$-adic コホロロジー上の単純分岐モノドロミー作用素のトレースに等しいことを示している。主な結果は、このトレース公式が、アーベル多様体が純粋加法的還元をもつ場合にかつその場合に限り成り立つことである。このとき両辺とも成分群 $\phi_A$ の位数に等しくなる。証明は、多様体のグロタンディーク環におけるモチビック積分とコホロロジー的技法を用いている。

ABSTRACT

We study a trace formula for tamely ramified abelian varieties $A$ over a complete discretely valued field, which expresses the Euler characteristic of the special fiber of the Néron model of $A$ in terms of the Galois action on the $\ell$-adic cohomology of $A$. If $A$ has purely additive reduction, the trace formula yields a cohomological interpretation for the number of connected components of the special fiber of the Néron model.

研究の動機と目的

• 完備な離散的絶対値を持つ体上のアーベル多様体のネロンモデルの成分群に関するコホロロジー的トレース公式を確立すること。
• 著者の予想を確認するために、すべての単純分岐アーベル多様体に対してトレース公式が成り立つことを証明すること。
• 純粋加法的還元をとる場合に、特別ファイバーの連結成分の数のコホロロジー的解釈を提供すること。
• 滑らかかつ固有な多様体に対するトレース公式を、モチビックおよびガロア理論的技法を用いてアーベル多様体へ拡張すること。

提案手法

• 体 $k$-多様体のグロタンディーク環と、ネロンモデルの特別ファイバーのユニポテンツ部、トーリック部、アーベル部へのシェヴァリエ分解を用いる。
• モチビック積分と近くのサイクルの理論を適用して、アーベル多様体のモデルのゼータ関数を計算する。
• 単純分岐モノドロミー作用素 $\varphi$ 及びその $\ell$-adic コホロロジーへの作用を用いてトレース公式を定義する。
• 斎藤の幾何的単純分岐基準とコルダイラ・ネロン還元表を用いて成分群を分析する。
• モチビック・セール不変量と専用不変量を用いて、特別ファイバーのオイラー特徴標数をコホロロジー的データに関連付ける。
• 公式 $\chi_{\acute{e}t}(\mathcal{A}_s) = \mathrm{Trace}(\varphi \mid H(A \times_K K^t, \mathbb{Q}_\ell))$ を適用し、単純分岐および純粋加法的還元のもとでそれが成り立つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 完備な離散的絶対値を持つ体上のすべての単純分岐アーベル多様体に対して、トレース公式 $\chi_{\acute{e}t}(\mathcal{A}_s) = \mathrm{Trace}(\varphi \mid H(A \times_K K^t, \mathbb{Q}_\ell))$ は成り立つか？
• RQ2 アーベル多様体 $A$ が純粋加法的還元をとるとき、ネロンモデルの成分群 $\Phi_A$ のコホロロジー的解釈は何か？
• RQ3 単純分岐の場合に、ネロンモデルの特別ファイバーのオイラー特徴標数は、$\ell$-adic コホロロジー上のガロア作用とどのように関係するか？
• RQ4 幾何的単純分岐を仮定せず、代わりにコホロロジー的単純分岐に依存して、トレース公式をアーベル多様体に対して確立できるか？

主な発見

• トレース公式は、完備な離散的絶対値を持つ体上のすべての単純分岐アーベル多様体に対して成り立つ。これは予想 1.1 の確認である。
• アーベル多様体が純粋加法的還元をとらない限り、トレース公式の両辺は 0 になる。
• アーベル多様体が純粋加法的還元をとるとき、トレース公式の両辺とも $\phi_A$、すなわちネロンモデルの成分群の位数に等しい。
• 成分群 $\phi_A$ の $p$ と互いに素な部分 $\phi_A'$ は、$P_\varphi(1)$ に等しく、これはゼータ関数を $T=1$ で評価した値である。
• アーベル多様体 $A$ が単純分岐でかつ純粋加法的還元をとるとき、$\phi_A = \phi_A'$ であるため、成分群の位数は $p$ と互いに素である。
• 証明は、特異点の解消技術とは異なるモチビック的およびコホロロジー的代替手法を提供し、トレース公式に対する新たな視点をもたらす。