[論文レビュー] Generic Rigidity of Laurent polynomials

Chunlei Liu, Wenxin Liu+1 more|arXiv (Cornell University)|Jan 4, 2009

Advanced Mathematical Identities参考文献 6被引用数 4

ひとこと要約

本稿では、任意の m ≥ 1 に対して p^m 乗位の指数和を補間する T-adic L-関数を、ローレンツ多項式 f に対して導入する。rigid な f に対して、これらの L-関数のノイザー多角形が互いに決定し合うことを確立し、1 変数の場合には、一般の剛性と一般のノイザー多角形が完全に特徴づけられる。

ABSTRACT

Abstract. T-adic L-functions associated to Laurent polynomials f are introduced. They interpolate L-functions of p m-power order exponential sums associated to f for all positive m. The rigidity of f is also introduced. The Newton polygons of L-functions of p m-power order exponential sums associated to a rigid f determine each other. In the one variable case, the generic rigidity of f as well as the generic Newton polygons of L-functions of p m-power order exponential sums associated to f are determined. Key words: exponential sum, L-function, Newton polygon MSC2000: 11L07, 14F30 1.

研究の動機と目的

• p^m- torsion 拡張上のローレンツ多項式の指数和を補間する T-adic L-関数を定義すること。
• p-adic L-関数の文脈において、ローレンツ多項式の剛性の概念を導入し、形式化すること。
• rigid 条件の下で L-関数のノイザー多角形がどのように振る舞うかを調査すること、特にそれらの互いに決定し合う性質に注目すること。
• 1 変数のローレンツ多項式に対して、一般の剛性と一般のノイザー多角形を特定すること。
• 多項式 f の代数的性質と、それに関連する L-関数の算術的性質との間の構造的関係を確立すること。

提案手法

• すべての m ≥ 1 に対して、Z_p^m 上の f の指数和を補間する生成関数として T-adic L-関数を構成する。
• p^m 乗位の指数和を用いて、すべての m においてノイザー多角形が不変であることで、f の剛性を定義する。
• p-adic Hodge 理論とノイザー多角形の技法を用いて、L-関数の傾きを分析する。
• 1 変数の場合に、ローレンツ多項式の組合せ的構造を分析することで、一般の剛性条件を導出する。
• p-adic L-関数理論および指数和理論の結果を応用し、f の幾何的性質とその L-関数の算術的性質との関係を明らかにする。
• モノドロミーとノイザー多角形のストラティフィケーションの相乗効果を用いて、剛性の下でノイザー多角形が互いに決定されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、ローレンツ多項式の p^m- torsion 拡張上の指数和を補間する T-adic L-関数を構成できるか？
• RQ2 ローレンツ多項式 f に対して、その p^m 乗位の指数和のノイザー多角形がすべての m に対して互いに決定し合うために必要な条件は何か？
• RQ3 1 変数のローレンツ多項式における一般の剛性の正確な特徴づけは何か？
• RQ4 L-関数の一般のノイザー多角形は、f の組合せ的・代数的構造とどのように関係するか？
• RQ5 f の剛性が、関連する p-adic L-関数における構造的不変性をどの程度示すか？

主な発見

• T-adic L-関数は、すべての p^m-拡張上で f の指数和を補間するようにうまく構成され、p-adic 解析的族をなす。
• rigid なローレンツ多項式 f に対して、p^m 乗位の指数和に関連する L-関数のノイザー多角形は、すべての m ≥ 1 に対して同一である。
• 1 変数の場合、f の一般の剛性は、m = 1 のときの L-関数のノイザー多角形によって完全に決定される。
• f に関連する L-関数の一般のノイザー多角形は、ローレンツ多項式のニュートン多面体の組合せ論的性質によって完全に特徴づけられる。
• 剛性条件により、ノイザー多角形が m に依存せず一定であることが保証され、強い算術的安定性が得られる。
• 本稿では、1 変数設定において、一般の剛性とノイザー多角形の完全な分類が確立され、これらの L-関数の構造が p-adic 解析的不変量までにまで完全に解明された。