[論文レビュー] Arithmetic of function field units

Bruno Anglès, Floric Tavares Ribeiro|arXiv (Cornell University)|Jun 20, 2015

Advanced Differential Equations and Dynamical Systems被引用数 1

ひとこと要約

この論文は、Drinfeldモジュールと一般化された変形技術を用いて、関数体の類モジュールにおけるグリーンバーグの予想の離散的類似を確立する。Tate代数上の多次元のTate代数上でのTaelmanの類モジュールに対して、擬代数的および擬零性の結果を証明し、これらのモジュールの構造が関数体設定における古典的Iwasawa理論と類似していることを示し、Anderson-Thakur関数を通じてL関数の特別値と明示的な関係を示す。

ABSTRACT

We prove a "discrete analogue" for Taelman's class modules of certain Conjectures formulated by R. Greenberg for cyclotomic fields.

研究の動機と目的

• 数体のサイクロトミックZp-拡大に対して元々定式化されたグリーンバーグの予想を、関数体設定に拡張すること。
• 多次元Tate代数上の一般化された変形を用いて、サイクロトミック関数体のTaelmanの類モジュールの構造を研究すること。
• Drinfeldモジュールおよび関数体類モジュールの文脈において、擬代数的および擬零性の類似を確立すること。
• これらの類モジュールのモジュール構造を、Anderson-Thakur特別関数を通じてL関数の特別値と結びつけること。

提案手法

• 変数が $ n $ 個あるTate代数 $ T_n(K_lat) $ 上に、$ A[t_1, \dots, t_n] $ 上に定義されたDrinfeldモジュール $ \phi $ を用いて、$ n $ 変数のTate代数上の一般化された類モジュール $ H_n $ を構成する。
• モジュール $ \phi $ に関連する指数写像 $ \exp_\phi $ を用い、$ H_n $ をTate代数を $ \exp_\phi $ の像および環 $ A[t_1, \dots, t_n] $ で割った商として定義する。
• 代入写像を $ \overline{\mathbb{F}_q} $ の $ n $ 重組に適用し、$ H_n $ をタイプ $ n $ のディリクレ指標に関するTaelmanの類モジュールの同型成分と関連付ける。
• Fitting理想を主要な不変量として用い、それが $ \theta $ に関するモニック多項式 $ B(t_1, \dots, t_n) $ で生成されることを示し、L級数とAnderson-Thakur関数 $ \omega(t) $ を通じて関連付ける。
• $ \phi $-モジュールおよび $ p $-進L関数の理論を用いて $ H_n $ の構造を分析し、特にカーリッツモジュールの場合を特に扱う。
• $ p $-進対数および $ \chi $-捩れたモジュールを用いて、類モジュールの構造とL関数の特別値、特に $ L_P^{(1)}(1, \chi) $ との関係を結ぶ。

実験結果

リサーチクエスチョン

• RQ1 $ n \equiv 1 \pmod{q-1} $ のとき、$ n $ 変数のTate代数上の一般化された類モジュール $ H_n $ は、グリーンバーグの擬代数的予想の離散的類似を満たすか？
• RQ2 $ n \not\equiv 1 \pmod{q-1} $ のとき、$ H_n $ はグリーンバーグの擬零性予想の離散的類似を満たすか？
• RQ3 サイクロトミック関数体のTaelmanの類モジュールの構造は、一般化された類モジュール $ H_n $ のFitting理想によって制御可能か？
• RQ4 $ p $-進L関数の特別値は、$ H_n $ のモジュール構造とどのように関係するか？
• RQ5 Anderson-Thakur関数 $ \omega(t) $ は、$ H_n $ のFitting理想とL級数を結ぶ役割を果たすか？

主な発見

• $ n \geq 2 $ かつ $ n \equiv 1 \pmod{q-1} $ のとき、$ H_n $ に有限余核を持つ巡回 $ A[t_1, \dots, t_n] $-モジュールへの単射準同型が存在し、離散的擬代数的予想が証明される。
• $ n \geq 2 $ かつ $ n \not\equiv 1 \pmod{q-1} $ のとき、$ H_n $ は $ F_q[t_1, \dots, t_n] $-上の有限生成かつねじれモジュールであることが示され、離散的擬零性予想が証明される。
• $ H_n $ のFitting理想は、$ \theta $ に関するモニック多項式 $ B(t_1, \dots, t_n) $ で生成され、$ (-1)^{\frac{n-1}{q-1}} \frac{B(t_1, \dots, t_n)}{e_\pi \omega(t_1) \cdots \omega(t_n)} = L(t_1, \dots, t_n) $ を満たし、$ \phi $ のL級数と関連付ける。
• すべてのタイプ $ n $ のディリクレ指標 $ \chi $ に対して、$ F(\eta_1, \dots, \eta_n) \neq 0 $ ならば、$ n \equiv 1 \pmod{q-1} $ のとき $ H_\chi $ は巡回 $ A[\chi] $-モジュールである。そうでなければ $ H_\chi = \{0\} $ である。これは主定理の結果である。
• $ p $-進L値 $ L_P^{(1)}(1, \chi) $ は、単数モジュールの $ P $-進閉包の $ \chi $-同型成分のFitting理想を生成し、L関数の特別値と関連付ける。
• $ q = 3 $、$ P = \theta^3 - \theta - 1 $、$ n = 17 $ のとき、$ L_P^{(1)}(1, \chi_P^{17}) \not\equiv 0 \pmod{P} $ である。これはこの場合におけるL値の非消滅を示している。