[論文レビュー] Some remarks on limit mixed Hodge structure and spectrum

Alexandru Dimca, Morihiko Saito|arXiv (Cornell University)|Oct 15, 2012

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

ひとこと要約

本稿は、特異点を伴う複素多様体の退化、特に正則交叉除法を持つ場合の、極限混合Hodge構造およびスペクトルに関する明示的構成と明確化を提供する。モチーフ的近くのファイバーとスペクトルの間の関係を、重みおよびHodgeフィルトレーションを通じて確立し、スペクトルがモノドロミー作用および双対関手によって自然に生じることを示している。主な結果として、スペクトル列の整合性および孤立特異点の場合のHodge数の対称性が得られる。

ABSTRACT

We give some remarks on limit mixed Hodge structure and spectrum. These are more or less well-known to the specialists, and do not seem to be stated explicitly in the literature. However, they do not seem to be completely trivial to the beginners, and may be worth writing down explicitly.

研究の動機と目的

• 非ユニポテンツモノドロミーの場合における、特にCech型複体および分岐被覆を用いた基底変換を用いた、極限混合Hodge構造の構成を明確化すること。
• 半単純モノドロミー作用およびHodgeフィルトレーションを通じて、モチーフ的近くのファイバーと特異点のスペクトルとの関係を確立すること。
• コhomologyにコンパクト-suppotを持つスペクトル列がモノドロミー作用と整合的であり、$E_2$で退化することを確立すること。
• Milnorファイバー上の混合Hodge構造およびモチーフ的不変量と関連して、スペクトル$\mathrm{Sp}(f,x)$およびその双対$\mathrm{Sp}'(f,x)$を定義し、それらを関連させること。
• 重み付き斉次多項式のスペクトルが既知の積公式と一致することを示し、コhomologically tameな場合に限り、無限大におけるスペクトルへの定義の拡張を行うこと。

提案手法

• Milnorファイバーのコンパクトなコhomologyをモデル化するために、分岐基底変換$\widetilde{X} \to X$上のCech型複体$\mathcal{K}_{\widetilde{X}}^{\bullet}$を用いる。
• 複体$\mathcal{K}_{\widetilde{X}}^{\bullet}$に近傍サイクル関手$\psi_{\tilde{f}}$を適用し、これはストラタ$\widetilde{D}_J$上の対数形式と整合する混合Hodge複体をもたらす。
• 対数de Rham複体$\widetilde{\Omega}_{\widetilde{D}_J}^{\bullet}(\log(\widetilde{Y} \cap \widetilde{D}_J))$上の重みおよびHodgeフィルトレーションを用いて、極限コhomology上のHodge構造を定義する。
• スペクトル$\mathrm{Sp}(f,x)$を、$t^n \iota(\mathrm{Sp}'(f,x))$の式により構成する。ここで$\mathrm{Sp}'(f,x)$は、削減されたMilnorコhomologyの各Hodge成分を用いて定義される。
• 双対性$\mathbf{D} \circ \psi_t = \psi_t \circ \mathbf{D}$（Tate-twistを除く）を用いて、コンパクトなコhomologyと双対コhomologyを関連付ける。
• 混合Hodgeモジュールおよびモチーフ的積分の理論を用いて、特に孤立特異点の場合に、モチーフ的近くのファイバーとスペクトルを関連付ける。

実験結果

リサーチクエスチョン

• RQ1 Cech型複体を用いた非ユニポテンツモノドロミーの場合における、コンパクトなコhomology上の極限混合Hodge構造をどのように明示的に構成できるか。
• RQ2 Hodgeおよびモノドロミーのデータの観点から、モチーフ的近くのファイバーと特異点のスペクトルとの間の正確な関係は何か。
• RQ3 混合Hodge構造のスペクトル列$\psi_{\tilde{f}}\mathcal{K}_{\widetilde{X}}^{\bullet}$はどのように退化し、モノドロミー作用と整合的か。
• RQ4 スペクトル$\mathrm{Sp}(f,x)$が[St2]または[St4]におけるものとどのような意味で一致するか。また、自己同型$\iota$はこの同一視にどのように影響するか。
• RQ5 無限大におけるスペクトルの定義および性質は何か。また、コhomologically tameな場合に、局所スペクトルとどのように関係するか。

主な発見

• スペクトル列$E_1^{p,q} = \bigoplus_{|J|=p} H^q(\widetilde{D}_{J,\infty}, \mathbb{Q}) \Rightarrow H^{p+q}_c(\widetilde{U}_\infty, \mathbb{Q})$は$E_2$で退化し、モノドロミーの半単純部および冪零部と整合的である。
• 式$t^n \iota(\mathrm{Sp}'(f,x))$により定義されるスペクトル$\mathrm{Sp}(f,x)$は、孤立特異点において[St2]の標準的定義と一致し、[St4]とは$t$倍の差異がある。
• 重み$(w_1, \dots, w_n)$を持つ重み付き斉次多項式に対して、原点におけるスペクトルは$\mathrm{Sp}(f,0) = \prod_{i=1}^n \left( \frac{t - t^{w_i}}{t^{w_i} - 1} \right)$で与えられ、モノドロミー作用およびHodgeデータを用いて示される。
• 孤立特異点の場合に、スペクトルは対称性$\mathrm{Sp}(f,x) = \mathrm{Sp}'(f,x)$を満たし、Hodge数の双対性を反映している。
• 無限大におけるスペクトルの定義$\mathrm{Sp}'(f,\infty) = \sum_j (-1)^{n-1-j} \mathrm{Sp}'(\widetilde{H}^j(X_\infty), T_s)$は局所ケースと整合的であり、重み付き斉次ケースでは既知の公式と一致する。
• モチーフ的近くのファイバーは$\sum_{\min(I)\leq r} [\widetilde{E}_I^\circ, T_s] (\mathbf{1} - \mathbf{L})^{|I'|-1}$として表され、Milnorファイバー上のHodge構造を通じてモチーフ的不変量とスペクトルを結びつける。