[論文レビュー] Reconstructing global fields from Dirichlet L-series

Gunther Cornelissen, Bart de Smit+3 more|arXiv (Cornell University)|Jun 14, 2017

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

ひとこと要約

この論文は、2つのグローバル体が同型であるための必要十分条件として、それらのディリクレ指標群の間の群同型がすべての関連するL級数を保存することであることを確立している。証明にはクラス体論、チェボタレフ密度定理、グリューンヴァルト＝ワングの定理、表現論が用いられ、L級数のデータからグローバル体を完全に再構成可能であることを示しており、特に数体ではガロア群の単項表現を用いることでより強い結果が得られる。

ABSTRACT

We prove that two global fields are isomorphic if and only if there is an isomorphism of groups of Dirichlet characters that preserves L-series.

研究の動機と目的

• グローバル体がそのディリクレL級数から再構成可能かどうかを特定すること。
• ゼータ関数やアーベル化されたガロア群だけでは区別できない非同型の体のあいまいさを解消すること。
• ディリクレ指標と関連するL級数の完全な系を用いてグローバル体の完全不変量を確立すること。
• L級数のデータと指標群の同型が組み合わさることで、グローバル体が同型を除いて一意に決定されることを証明すること。
• 既知の算術的同値に関する結果を拡張し、指標群の同型のもとでL級数が保存されることから体の同型が導かれるということを示すこと。

提案手法

• クラス体論を用いてディリクレ指標とアーベル拡大、再帰性写像を関連付ける。
• 2つのグローバル体の指標群の間でL級数の値を保存する群同型を構成する。
• チェボタレフ密度定理を用いて、アーベル拡大における素数の分解の挙動を比較する。
• グリューンヴァルト＝ワングの定理を用いて、指定されたガロア群と分岐性を持つ拡大の存在を保証する。
• 数体の場合、表現論を用いる：指標をガロア表現に誘導し、位数≥3の群における単項構造の一意性を用いる。
• 関数体の場合、再帰性写像の核を用いて同型を構成し、ウチダの方法に類似させる。

実験結果

リサーチクエスチョン

• RQ1 非同型のグローバル体が、同型の指標群と、すべての指標について一致するL級数を持つことは可能か？
• RQ2 指標群の同型のもとでL級数が保存されることから、体の同型が導かれるか？
• RQ3 グローバル体をL級数データから再構成するためには、追加でどのような条件が必要か？
• RQ4 なぜこの方法は位数2の指標では失敗するのか？また、これは同型でない体が同じL級数を持つこととどのように関係するか？
• RQ5 この再構成結果を、有理部分体を固定しないグローバル関数体へ拡張可能か？

主な発見

• 2つのグローバル体が同型であるための必要十分条件は、それらのディリクレ指標群の間の群同型がすべてのL級数値を保存することである。
• 数体の場合、そのL級数が他のいかなる数体のL級数とも一致しないような位数>2の指標が存在し、より強い再構成が可能になる。
• 位数≥3のガロア群の誘導表現における単項構造の一意性により、L級数データが数体を区別できることを保証する。
• 関数体の場合、再帰性写像の核を用いて同型が構成され、ウチダのアプローチを一般化する。
• この方法は位数2の指標では失敗する。例として、Q(√2)とQ(i√2)は同型の指標群と一致するL級数を持つが、非同型の体である。
• 本論文は、関数体のL級数が数体のそれよりも少ない算術的情報を含むことを示しており、q−sの多項式として現れる。