[論文レビュー] A class formula for L-series in positive characteristic

Florent Demeslay|arXiv (Cornell University)|Dec 11, 2014

Advanced Algebra and Geometry被引用数 8

ひとこと要約

本稿は、正標数におけるL-seriesのためのクラス数公式を確立し、Taelmanのクラス数公式を複数のパラメータをもつ関数体上のAndersonモジュールへ一般化する。Fittingイデアルを用いてPellarinのL値およびGoss L-seriesの積公式を導出し、特殊L値がレギュレータとクラスモジュールのFittingイデアルの積に等しいことを証明する。これは、従来の結果を等変および多パラメータ設定へ拡張するものである。

ABSTRACT

We prove a formula for special L-values of Anderson's modules, analogue in positive characteristic of the class number formula. We apply this result to two kinds of L-series.

研究の動機と目的

• 関数体に複数のパラメータ $t_1,\dots,t_s$ を持つAndersonモジュールへ、Taelmanのクラス数公式を一般化すること。
• PellarinのL値をFittingイデアルの積として表現し、古典的クラス数公式への類似を拡張すること。
• 正標数におけるディリクレ指標と関連するGoss L-seriesのための等変クラス数公式を確立すること。
• Fittingイデアルとレギュレータを用いて、アーベルt-モジュールの特殊L値と代数的不変量を統一すること。

提案手法

• Andersonモジュールおよびshtukaの理論を用いて、$\mathbb{F}_q(t_1,\dots,t_s)[\theta]$ の形の環上でのクラスモジュールとレギュレータを定義する。
• $L$-seriesの収束を保証するため、$\mathbb{C}_\infty(t_1,\dots,t_s)$ 上のガウスノルムと付値 $v_\infty$ を用いる。
• 特殊L値を、$A$ の素イデアル $P$ に関する無限積として表現し、Lie代数とモジュールの $P$ を法とする還元におけるFittingイデアルの比を含む項を含む。
• ディリクレ指標 $\chi$ に対する $\chi$-成分へのクラスモジュールとレギュレータの分解を可能にするために、idempotent $e_\chi$ を用いる。
• 指数写像とフロベニウス作用の間の同型を用いて、クラスモジュールのFittingイデアルとL値を関係付ける。
• A[\Delta_a]$-モジュールの理論とidempotent分解を用いて、$K_\infty[\Delta_a]$ 内での等変クラス数公式を証明する。

実験結果

リサーチクエスチョン

• RQ1 Taelmanのクラス数公式は、複数のパラメータ $t_1,\dots,t_s$ を持つ関数体上のAndersonモジュールへどのように拡張できるか？
• RQ2 PellarinのL値は、古典的クラス数公式に類似して、Lie代数とモジュール還元のFittingイデアルの積として表現可能か？
• RQ3 $\operatorname{C}^{\otimes n}$ の $\mathcal{O}_L$、すなわち $a$-torsion体の整数環上のクラスモジュールの代数的構造は何か？
• RQ4 レギュレータは、ディリクレ指標 $\chi$ への分解においてどのように振る舞うか？
• RQ5 等変設定において、Goss L-seriesの特殊値 $L(n,\chi)$ は、Fittingイデアルの比として書けるか？

主な発見

• 本稿は、カルリッツモジュールの $n$ 乗テンソル積について、$L(\operatorname{C}^{\otimes n}/A) = \zeta_A(n)$ が成り立つことを証明し、Taelmanの結果を高ランクへ一般化する。
• Pellarinの $L$-値は、素イデアル $P$ に関する無限積として表現される：$L(\chi_{t_1}\cdots\chi_{t_s},n) = \prod_P \frac{[\operatorname{Lie}(\operatorname{C}^{\otimes n})(\mathcal{O}_L/PA)]_A}{[\operatorname{C}^{\otimes n}(\mathcal{O}_L/PA)]_A}$。
• 正の $a \in A_+$ が平方因子を持たないとき、等変 $L$-値 $L(n,\Delta_a)$ は、クラスモジュールのFittingイデアルと $K_\infty[\Delta_a]$ 内のレギュレータの積に等しい。これは、AnglèsとTaelmanの結果を一般化する。
• クラスモジュール $H(\operatorname{C}^{\otimes n}/\mathcal{O}_L)$ は、各指標 $\chi$ に対して、$\frac{E_{\alpha(\chi)}(K_\infty(\chi))}{\operatorname{exp}_{\alpha(\chi)}(\operatorname{Lie}(E_{\alpha(\chi)})(K_\infty(\chi)))+E_{\alpha(\chi)}(A(\chi))}$ に同型であり、指数写像と関連づけられる。
• レギュレータは対数写像の行列式により回復され、Fittingイデアルは等変設定におけるクラスモジュールの算術を捉えている。
• 証明は、idempotent $e_\chi$ を用いたクラスモジュールの $\chi$-成分への分解に依拠しており、Galois-等変 $L$-値への一般化を可能にする。