[論文レビュー] The Lemma on b-functions in Positive Characteristic

Theodore J. Stadnik|arXiv (Cornell University)|Jun 18, 2012

Polynomial and algebraic computation参考文献 10被引用数 3

ひとこと要約

本稿は、完全体の正の特性におけるF-有限で滑らかなスキーム上での局所的に有限生成な単位F-モジュールに対して、b関数の存在を確立する。Euler作用素とlistテストモジュールを用いて、b関数が有理数根を持ち、エタール位相において局所的に定義可能であることを証明し、Frobenius構造とF-ジャンピング指数を介して、特徴零のBernstein-Sato多項式を正の特性へ一般化する。

ABSTRACT

Let $X$ be an $F$-finite smooth scheme of essentially finite type over a perfect field. This article proves the existence of $b$-functions for locally finitely generated unit $F$-modules when equipped with their induced $\mathbb{D}_X$-module structure. It is shown that the $b$-function has rational roots and is determined locally in the étale topology.

研究の動機と目的

• 特徴零におけるD-モジュール理論の中心的役割を果たすb関数の理論を、正の特性の設定へ拡張すること。
• 誘導されたD_X-モジュール構造を備えた単位F-モジュールのb関数を定義し、特徴付けること。
• 正の特性におけるb関数が有理数根を持ち、エタール位相において局所的に定義可能であることを示すこと。
• Mustațăの正の特性におけるBernstein-Sato多項式の研究を、b関数とF-ジャンピング指数の関連性を通じて一般化すること。
• 単位F-モジュールの文脈において、最小根準同型を介してグローバルなb関数を確立すること。

提案手法

• 単位F-モジュール上のV-フィルトレーションとD_X-モジュール構造を用い、Euler作用素−∂_t tの作用を通じてb関数を定義する。
• listテストモジュールの理論と最小生成元を応用し、D_X-モジュールのフィルター成分におけるEuler作用素の作用を分析する。
• 正の特性における微分作用素の挙動を調べるため、Frobeniusの冪と[1/q^e]作用を部分モジュールに適用する。
• 単位F-モジュールに対してグローバルなb関数b_M(s) = b_{A_min}(s)を定義するため、最小根準同型A_minの概念を導入する。
• エタール位相を活用し、b関数の局所的定義可能性を示す。
• listテストモジュールのジャンピング数を用いてb関数の根を計算し、特に[0,1)におけるF-ジャンピング指数と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 特徴零におけるBernstein-Sato多項式に類似した、正の特性における局所的に有限生成な単位F-モジュールに対してb関数が存在するか？
• RQ2 b関数の根は有理数であり、[0,1)におけるF-ジャンピング指数に対応するか？
• RQ3 このようなモジュールに対して、b関数はグローバルに定義可能であり、エタール位相において局所的に定義可能か？
• RQ4 単位F-モジュールの生成元におけるEuler作用素−∂_t tの作用は、b関数とどのように関係するか？
• RQ5 最小根準同型は、正規化されたグローバルb関数を定義する上で果たす役割は何か？

主な発見

• 完全体上のF-有限で滑らかなスキーム上でのすべての局所的に有限生成な単位F-モジュールに対して、b関数が存在する。
• b関数は有理数根を持ち、その根は定義関数のF-ジャンピング指数の集合に含まれる。
• b関数はエタール位相において局所的に定義可能であり、その定義は局所的データと整合する。
• A^1上のタウミな局所系の押し出しに対して、b関数はb_A(s) = (s − 1/m)として与えられ、添え字jに依存しない。根は分岐指数mによって決定される。
• 強いためのArtin-Schreier被覆の場合は、b関数は∏_{0≤a<q}(s − a/q)を整除し、q進付値に関連する有理数根を示す。
• グローバルなb関数はb_M(s) = b_{A_min}(s)として定義され、A_minは一意の最小な整合的根準同型であるため、一意性とグローバルな整合性が保証される。