[論文レビュー] The special value $u=1$ of Artin-Ihara $L$-functions

Kyle Hammer, Thomas W. Mattman+2 more|arXiv (Cornell University)|Jul 10, 2019

Algebraic Geometry and Number Theory参考文献 11被引用数 5

ひとこと要約

本稿は、多図形のアーベル被覆における古典的Brumer予想の類似を確立し、Artin-Ihara L関数の特殊値 $ u = 1 $ が群環 $ \mathbb{Z}[G] $ 内のあるイデアルを消滅させることを証明する。さらに、代数的数論におけるSticklebergerイデアルに類似したイデアルの指数を計算し、アーベル被覆における全域木の数が基本図形におけるそれの倍数であることを示す。

ABSTRACT

We study the special value $u=1$ of Artin-Ihara $L$-functions associated to characters of the automorphism group of abelian covers of multigraphs. In particular, we show an annihilation statement analogous to a classical conjecture of Brumer on annihilation of class groups for abelian extensions of number fields and we also calculate the index of an ideal analogous to the classical Stickelberger ideal in algebraic number theory. Along the way, we make some observations about the number of spanning trees in abelian multigraph coverings that may be of independent interest.

研究の動機と目的

• アーベル多図形被覆の文脈において、Brumer予想の類似を確立すること。
• 代数的数論における古典的Sticklebergerイデアルに類似した、群環 $ \mathbb{Z}[G] $ 内のイデアルの指数を計算すること。
• アーベル多図形被覆における全域木の数の可除性に関する性質を調査すること。
• 数論における等変特殊値結果を、Artin-Ihara $ L $-関数を用いて多図形の文脈へ拡張すること。

提案手法

• アーベル多図形被覆の自己同型群の特徴に対してArtin-Ihara $ L $-関数を定義する。
• Iharaゼータ関数がArtin-Ihara $ L $-関数に因数分解されることを用い、$ u = 1 $ における特殊値を研究する。
• 被覆 $ Y/X $ が群 $ G $ を持つガロア被覆であるとき、除数とジャコビアンの制限および核心写像を用いて $ \mathrm{Jac}(Y) $ と $ \mathrm{Jac}(X) $ の構造を分析する。
• $ \mathbb{Z}[G] $-加群の完全系列に対してスネイク補題を適用し、$ \mathrm{res}: \mathrm{Jac}(Y) \to \mathrm{Jac}(X) $ の上への性質と $ \mathrm{cor}: \mathrm{Jac}(X) \to \mathrm{Jac}(Y) $ の単射性を証明する。
• 部分群 $ \mathrm{Jac}^0(Y) = \{[D] \mid N_G \cdot [D] = 0\} $ を定義し、その位数を、全域木の数 $ \kappa_X, \kappa_Y $ の比 $ \kappa_Y / \kappa_X $ に関連付ける。
• $ \phi_X $ と $ \phi_Y $ を含む可換図式を構築し、コホホロジー的技法を用いて $ \phi_Y(\mathrm{Div}(Y)^G) = \mathrm{Pr}(Y)^G $ を示し、指数計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 Artin-Ihara $ L $-関数の文脈において、アーベル多図形被覆に対してBrumer予想の類似が成り立つか。
• RQ2 Sticklebergerイデアルに類似した、Artin-Ihara $ L $-関数の特殊値 $ u = 1 $ によって生成される $ \mathbb{Z}[G] $ 内のイデアルの指数は何か。
• RQ3 アーベル多図形被覆における全域木の数は、基本図形におけるそれとどのように関係するか。
• RQ4 多図形被覆のジャコビアンの構造を用いて、数論における類数に類似した算術的不変量を導出できるか。

主な発見

• Artin-Ihara $ L $-関数の特殊値 $ u = 1 $ が、イデアル $ \theta_{Y/X}^*(1) \cdot e \cdot \mathbb{Z}[G] $ を消滅させることを示し、Brumer予想の類似を確立した。
• 生成イデアルの指数は $ 2^{(d-1)(r_X - 1)} \cdot |\mathrm{Jac}^0(Y)| $ に等しく、ここで $ d = |G| $ かつ $ r_X $ は基本図形のサイクル空間のランクである。
• 任意のアーベル被覆 $ Y/X $ に対して、全域木の数 $ \kappa_X $ は $ \kappa_Y $ を割り切る、すなわち $ \kappa_X \mid \kappa_Y $ が成り立つ。
• 制限写像は $ \mathrm{res}: \mathrm{Jac}(Y) \to \mathrm{Jac}(X) $ の上への写像を誘導し、核心写像は $ \mathrm{cor}: \mathrm{Jac}(X) \to \mathrm{Jac}(Y) $ の単射を誘導する。
• 群 $ G $ のノルム写像 $ N_G $ による $ \mathrm{Jac}(Y) $ 上の核、すなわち $ \mathrm{Jac}^0(Y) $ の位数は $ \kappa_Y / \kappa_X $ に等しい。
• 自然な同型 $ \mathrm{Jac}(Y)/\mathrm{Jac}^0(Y) \simeq \mathrm{Jac}(X) $ が存在し、被覆のジャコビアンをそのノルムの核で割った商が、基本図形のジャコビアンに同型であることを示した。