[論文レビュー] Motivic Milnor fibers and Jordan normal forms of Milnor monodromies

Yutaka Matsui, Kiyoshi Takeuchi|arXiv (Cornell University)|Feb 23, 2012

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

ひとこと要約

本稿は、原点に孤立特異点をもつ多項式のミルナー fibre におけるミルナーモノドロミー作用素のジョルダン標準形について、明示的な組合せ的公式を提供する。デネフ＝ローザーのモチビック・ミルナー fibre の等変混合ホッジ数を計算することにより、特にコンパクトな面の原点からの格子距離に着目して、ニュートン多面体の格子幾何を用いて、各固有値に対するジョルダンブロックの正確な個数を導出する。これは、準同次多項式に関する古典的結果を一般化するものである。

ABSTRACT

By calculating the equivariant mixed Hodge numbers of motivic Milnor fibers introduced by Denef-Loeser, we obtain explicit formulas for the Jordan normal forms of Milnor monodromies. The numbers of the Jordan blocks will be described by the Newton polyhedron of the polynomial.

研究の動機と目的

• 孤立特異点に対するミルナーモノドロミー作用素のジョルダン標準形の完全な組合せ的記述を提供すること。
• 固有値を超えて、ジョルダンブロックの構造を特定することにより、モノドロミーの理解を拡張すること。
• 多項式のニュートン多面体を用いて、各固有値および各サイズのジョルダンブロックの個数を明示的な公式で定式化すること。
• 固有値 ≠1 の場合に、モノドロミー構造が原点からのコンパクトな面の格子距離によって完全に決定されることを示すこと。
• モチビック・ホッジ理論を用いて、既知の結果（例えば、準同次多項式のモノドロミーの半単純性）を回復・一般化すること。

提案手法

• デネフ＝ローザーのモチビック・ミルナー fibre の等変混合ホッジ数を計算し、スペクトルデータを抽出する。
• 便利かつ非退化な多項式 f のニュートン多面体 Γ₊(f) を用いて、0次元および1次元の面からの原点までの格子距離 dᵢ および eᵢ を定義する。
• 原点と1次元の面 γᵢ によって形成される単体 Δᵢ の相対内部に含まれる格子点を数えるために、格子高さ関数 0pt(v, γᵢ) を導入する。
• ポincare双対性および等変ホッジ数の双対性を用いて、モチビック層のオイラー特性に関する再帰的公式を導出する。
• モチビック・ゼータ関数およびステンブリックのスペクトル系列を用いて、ホッジデータとモノドロミーのジョルダンブロックを関連付ける。
• モチビック・ミルナー fibre がスペクトルおよびモノドロミーのデータを符号化していることを利用して、ジョルダン標準形の完全な再構成が可能であることを用いる。

実験結果

リサーチクエスチョン

• RQ1 非退化かつ便利な多項式に対して、ミルナーモノドロミー作用素のジョルダン標準形をどのように明示的に計算できるか。
• RQ2 ニュートン多面体のどの組合せ的不変量が、各固有値に対するジョルダンブロックの個数とサイズを決定するか。
• RQ3 固有値 1 の場合にモノドロミー構造が他の固有値と比べてより複雑であるのはなぜか。また、格子幾何を用いてどのように捉えることができるか。
• RQ4 モチビック・ミルナー fibre を用いて、ノイローディアン部分を含む完全なジョルダン標準形を計算するアルゴリズムを導出可能か。
• RQ5 本研究の結果は、古典的事実（準同次多項式のモノドロミーが半単純であること）をどのように一般化するか。

主な発見

• 固有値 λ ≠ 1 に対するサイズ n のジョルダンブロックの個数は、原点からの格子距離 dᵢ が λ^{dᵢ} = 1 を満たすコンパクトな0次元面 qᵢ の個数に等しい。
• 固有値 λ ≠ 1 に対するサイズ n−1 のジョルダンブロックの個数は、∑ᵢ n(λ)ᵢ に等しく、ここで n(λ)ᵢ は Δᵢ の相対内部に含まれる格子点で、γᵢ からの特定の格子高さを持つものの個数を表す。
• 固有値 1 の場合、サイズ n−1 のジョルダンブロックの個数は Π_f に等しく、これは ∂Γ₊(f) ∩ Int(ℝ₊ⁿ) の1次元スケルトン上の格子点の個数である。
• 固有値 1 に対するサイズ n−2 のジョルダンブロックの個数は 2∑ᵢ l*(γᵢ) に等しく、和は Int(ℝ₊ⁿ) 内の相対内部をもつ2次元のコンパクトな面 γᵢ についてとる。この値は常に偶数である。
• ミルナーモノドロミーの完全なジョルダン標準形は、ニュートン多面体の面ラティスおよびそれらの原点からの格子距離によって完全に決定される。
• ニュートン多面体のすべてのコンパクトな面が素数である場合、ジョルダン標準形全体の閉形式の公式が得られる。