[論文レビュー] Jumps and monodromy of abelian varieties

Lars Halvard Halle, Johannes Nicaise|arXiv (Cornell University)|Sep 20, 2010

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

ひとこと要約

この論文は、アーベル・多様体に対してモチビックモノドロミー予想の強い形を証明する。具体的には、モチビック・ゼータ関数の極の位数が、$g$ 次コホモロジーにおける対応するモノドロミー固有値のジョルダン・ブロックの最大ランクに一致することを確立する。さらに、極限混合Hodge構造を用いてエーディクスホーヴェンのフィルトレーションのジャンプをHodge理論的に解釈し、潜在的トーリックランクとモノドロミー固有値、ジョルダン・ブロックのサイズを結びつける。

ABSTRACT

We prove a strong form of the motivic monodromy conjecture for abelian varieties, by showing that the order of the unique pole of the motivic zeta function is equal to the size of the maximal Jordan block of the corresponding monodromy eigenvalue. Moreover, we give a Hodge-theoretic interpretation of the fundamental invariants appearing in the proof.

研究の動機と目的

• アーベル多様体に対してモチビックモノドロミー予想の強い形を確立し、モチビック・ゼータ関数の極の位数とモノドロミーのジョルダン・ブロック構造を結びつける。
• ネロン・モデルの特別ファイバーにおけるエーディクスホーヴェンのフィルトレーションのジャンプをHodge理論的構造として解釈する。
• 潜在的トーリックランク $t_{\mathrm{pot}}(A)$ が $\ell$-進コホモロジー上のモノドロミー作用および極限混合Hodge構造とどのように関係するかを明らかにする。
• 体 $K = \mathbb{C}((t))$ の下で、極限混合Hodge構造におけるHodge型を用いて、アーベル的および双対アーベル的ジャンプを区別する。
• カバリ・ヤウ多様体に対する一般化のための枠組みを $\mathbb{C}((t))$ 上に拡張する。

提案手法

• アーベル多様体 $A$ のネロン・モデルの特別ファイバーにおけるエーディクスホーヴェンのフィルトレーションを用い、ジャンプをトーリック、アーベル的、双対アーベル的タイプに分解する。
• $\ell$-進コホモロジー上のモノドロミー作用を、タウムモノドロミー群 $G(K^t/K)$ を通じて分析し、トポロジカル生成元 $\sigma$ の作用を同定する。
• Hodge構造の変動のネロン・モデル理論を適用し、$H^g(X_\infty, \mathbb{Q})$ 上の重みフィルトレーションとHodge構造を関係付ける。
• ネロン・モデルの特別ファイバーのChevalley分解を用い、ネロン・モデルの特別ファイバーの解析的化を通じてアーベル的およびトーラス的部品を特定する。
• ネロン・モデルのアーベル的およびトーラス的部品のコホモロジー群とリー代数の間の標準的 $\mu$--equivariant 同型を確立する。
• 同型 $\mathrm{Gr}_{-1}^W H \cong H_1(B(\mathbb{C}), \mathbb{Z})$ および $\mathrm{Gr}_{-2}^W H \cong H_1(T(\mathbb{C}), \mathbb{Z})$ を用い、Hodge構造とモノドロミー・ブロックのサイズを関係付ける。

実験結果

リサーチクエスチョン

• RQ1 モチビック・ゼータ関数 $Z_A(\mathbb{L}^{-s})$ の唯一の極の位数は、$H^g(A, \mathbb{Q}_\ell)$ 上のモノドロミー固有値のジョルダン・ブロックの最大ランクに等しいか？
• RQ2 ネロン・モデルの特別ファイバーにおけるエーディクスホーヴェンのフィルトレーションのジャンプは、極限混合Hodge構造のHodge理論的構造とどのように関係するか？
• RQ3 潜在的トーリックランク $t_{\mathrm{pot}}(A)$ は、$\mathrm{Gr}_{g+\alpha}^W H^g(X_\infty, \mathbb{Q})$ 上で $\exp(2\pi c(A)i)$ が半単純部分 $M_s$ の固有値であるような最大の $\alpha$ として解釈可能か？
• RQ4 極限混合Hodge構造におけるHodge型を用いて、エーディクスホーヴェンのフィルトレーションにおけるアーベル的および双対アーベル的ジャンプはどのように異なるか？
• RQ5 Tateモジュール上のモノドロミー作用が、モノドロミー変換のジョルダン・ブロック構造を決定づける役割を果たすか？

主な発見

• モチビック・ゼータ関数 $Z_A(\mathbb{L}^{-s})$ の $s = c(A)$ における唯一の極の位数は $1 + t_{\mathrm{pot}}(A)$ に等しく、この値は $H^g(A, \mathbb{Q}_\ell)$ 上のモノドロミー固有値のジョルダン・ブロックの最大ランクに一致する。
• 潜在的トーリックランク $t_{\mathrm{pot}}(A)$ は、$\mathrm{Gr}_{g+\alpha}^W H^g(X_\infty, \mathbb{Q})$ 上で $\exp(2\pi c(A)i)$ が半単純部分 $M_s$ の固有値であるような最大の整数 $\alpha$ に等しい。
• $\mathrm{Gr}_{-1}^W H_1(X_\infty, \mathbb{Q})$ 上での $M_s$ のジョルダン標準形は、$(1,0)$-部には $\mathrm{Jord}(m_A^{\mathrm{ab}}, 0)$、$(0,1)$-部には $\mathrm{Jord}(\breve{m}_A^{\mathrm{ab}}, 0)$ であり、それぞれアーベル的および双対アーベル的部に対応する。
• $\mathrm{Gr}_{-2}^W H_1(X_\infty, \mathbb{Q})$ 上でのジョルダン標準形は $\mathrm{Jord}(m_A^{\mathrm{tor}}, 0)$ であり、トーリック部に対応する。
• 標準的 $\mu$--equivariant 同型 $\mathrm{Gr}_{-1}^W H \cong H_1(B(\mathbb{C}), \mathbb{Z})$ および $\mathrm{Gr}_{-2}^W H \cong H_1(T(\mathbb{C}), \mathbb{Z})$ はモノドロミー作用と両立し、Hodge理論的解釈が裏付けられる。
• モノドロミー作用は、重みごとの部分に分解されることで完全に記述可能であり、ユニポテン部分 $N = \log M_u$ が重みフィルトレーションを誘導し、半単純部分 $M_s$ がHodge構造を介して作用する。