[論文レビュー] Monodromies at infinity of non-tame polynomials

Kiyoshi Takeuchi, Mihai Tibăr|arXiv (Cornell University)|Aug 22, 2012

Advanced Differential Equations and Dynamical Systems参考文献 22被引用数 3

ひとこと要約

本稿は、非タムな多項式に対する無限遠におけるモノドロミー理論を拡張し、'特異的でない'固有値の概念を導入し、特異的でない固有値に対応する一般化固有空間におけるコホロロジーの集中を証明する。モチーフ的ミラー・ファイバーとニュートン多面体を用いて、非タムで非退化な多項式、非孤立な特異点をもつ場合のモノドロミー作用のジョルダン標準形の計算を一般化する。

ABSTRACT

We consider the monodromy at infinity and the monodromies around the bifurcation points of polynomial functions $f : \CC^n \longrightarrow \CC$ which are not tame and might have non-isolated singularities. Our description of their Jordan blocks in terms of the Newton polyhedra and the motivic Milnor fibers relies on two new issues: the non-atypical eigenvalues of the monodromies and the corresponding concentration results for their generalized eigenspaces.

研究の動機と目的

• 非タムな多項式に対してはコホロロジー的集中が成立しないため、従来の手法に限界があることを克服すること。
• 一般化されたコホロロジーの集中を妨げる『悪い』または特異的固有値の有限集合 $ A_f $ を定義すること。
• 非タムで非孤立な特異点をもつ多項式に対し、無限遠におけるモノドロミー作用のジョルダン標準形の計算を一般化すること。
• モチーフ的ミラー・ファイバーとニュートン多面体を用いた枠組みを確立し、タムでない場合のモノドロミー作用を記述すること。

提案手法

• 無限遠におけるニュートン多面体 $ \Gamma_\infty(f) $ を用いて、コホロロジー的集中を妨げる固有値を除いた、特異的固有値 $ A_f $ の概念を導入する。
• 固有値 $ \lambda \notin A_f $ の場合に、一般化固有空間 $ H^j(f^{-1}(R);\mathbb{C})_\lambda $ におけるコホロロジー的集中を証明し、$ j \neq n-1 $ のときの消滅を示す。
• $ \mathbb{C}^n $ のコンパクト化 $ \widetilde{X_\Sigma} $ を構成し、無限遠における水平的除集合を解析し、この文脈でサバの定理を精緻化する。
• モチーフ的ミラー・ファイバー $ \SS_f^b \in \mathcal{M}_\mathbb{C}^{\hat{\mu}} $ を用いてモノドロミー情報を符号化し、局所的特異点と特異的でないファイバーからの寄与を統合する。
• モチーフ的不変量を用いたホッジ実現 $ \chi_h(\SS_f^b) $ を介して、モノドロミー作用を記述する。
• コンパクトな面 $ \gamma \prec \Gamma_+(f_i) $ と関連するローラン多項式 $ g_\gamma $ を用いて、$ \Phi_{n-1}^b $ の $ \lambda $-成分の明示的公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 非タムな多項式と非孤立な特異点をもつ場合、無限遠におけるモノドロミーはどのように記述できるか？
• RQ2 非タムな多項式のファイバーにおいて、コホロロジー的集中を妨げる固有値の条件は何か？
• RQ3 モチーフ的およびニュートン理論的道具を用いて、タムでない場合のジョルダン標準形の計算が可能か？
• RQ4 モチーフ的ミラー・ファイバーとニュートン多面体は、特異的でない固有値に対し、モノドロミー作用をどのように符号化するか？
• RQ5 コンパクトな面 $ \Gamma_+(f_i) $ は、$ \Phi_{n-1}^b $ のジョルダンブロックのサイズと構造を決定する上で果たす役割は何か？

主な発見

• 任意の特異的でない固有値 $ \lambda \notin A_f $ に対して、一般化固有空間 $ H^j(f^{-1}(R);\mathbb{C})_\lambda $ は $ j \neq n-1 $ のとき消える。これによりコホロロジー的集中が確立される。
• $ \lambda \notin A_f $ のとき、モノドロミー $ \Phi_{n-1}^\infty $ の $ \lambda $-成分は、モチーフ的ミラー・ファイバー $ \SS_f^b $ によって完全に決定され、$ [H_f^b]_\lambda = \chi_h(\SS_f^b)_\lambda $ が成り立つ。
• 固有値 $ \lambda \notin A_f $ に対して、サイズ $ \geq k $ のジョルダンブロックの数は、コンパクトな面 $ \gamma \prec \Gamma_+(f_i) $ における符号付き和として与えられ、$ (1-\mathbb{L})^{m_\gamma} \cdot [Z_{\Delta_\gamma}^*] $ のホッジ数 $ e^{p,q} $ を含む。
• 公式は、$ i > l $ のとき $ \Gamma_+^\circ(f_i) $ の面からの寄与を除くことで、[17, Theorems 5.9, 5.14, 5.16] を非タムな多項式に一般化する。
• モチーフ的ミラー・ファイバー $ \SS_f^b $ は、孤立特異点 $ p_i $ と除集合の正確な像からの寄与に分解され、$ \SS_f^b = [Z_{f,b}] + \sum_{i=1}^l \SS_{f_i,p_i} + \sum_{i=l+1}^{l+r} \SS_{f_i,p_i}^\circ $ と表される。
• 多様体 $ T_{\Delta_\gamma} \simeq (\mathbb{C}^*)^{\dim \gamma + 1} $ 上に定義されるローラン多項式 $ g_\gamma $ の構成により、非退化性と $ \tau_\gamma $ による平行移動不変性が保証され、モチーフ的積分が可能になる。