[論文レビュー] Motivic Milnor fiber of cyclic L-infinity algebras

Yunfeng Jiang|arXiv (Cornell University)|Sep 15, 2009

Algebraic Geometry and Number Theory参考文献 21被引用数 10

ひとこと要約

本稿は、循環的 $L_\infty$-代数のモジュライ空間上のBehrend関数とモチビックMilnorファイバーの直接的な関係を確立し、点におけるBehrend関数の値が解析的Milnorファイバーのオイラー特徴標数に等しいことを証明する。モチビック積分と特異点の解消を用いて、Behrend関数がモジュライ空間の形式的近傍にのみ依存することを示し、Donaldson-Thomas型dg Lie代数の場合に、ポイント付きDonaldson-Thomas不変量がモチビックMilnorファイバーのオイラー特徴標数に一致することを特定する。

ABSTRACT

We define motivic Milnor fiber of cyclic $L_\infty$-algebras of dimension three using the method of Denef and Loeser of motivic integration. It is proved by Nicaise and Sebag that the topological Euler characteristic of the motivic Milnor fiber is equal to the Euler characteristic of the étale cohomology of the analytic Milnor fiber. We prove that the value of Behrend function on the germ moduli space determined by $L$ is equal to the Euler characteristic of the analytic Milnor fiber. Thus we prove that Behrend function depends only on the formal neighborhood of the moduli space.

研究の動機と目的

• 3次元の循環的 $L_\infty$-代数に対して、モチビック積分を用いてモチビックMilnorファイバーを定義すること。
• モジュライ空間上のBehrend関数とオイラー特徴標数を介して解析的Milnorファイバーを関係づけること。
• Behrend関数がモジュライ空間の形式的近傍にのみ依存することを証明すること。
• Donaldson-Thomas型の場合に、ポイント付きDonaldson-Thomas不変量がモチビックMilnorファイバーのオイラー特徴標数に等しいことを示すこと。

提案手法

• 形式的ポテンシャル $f$ の臨界集合の特異点の解消を用いて、$\mathbb{C}$ 上の多様体の等変グローバー環におけるモチビックMilnorファイバー $MF_0(L)$ を定義する。
• Denef-Loeserのモチビック積分技術を用いて、モチビックMilnorファイバーをグローバー環の元として構成する。
• 非アーケメデス的体 $K = \mathbb{C}((t))$ 上で、Berkovichエタールコホモロジーを用いて解析的Milnorファイバー $\mathfrak{F}_x$ を定義する。
• NicaiseとSebagの結果を用いて、等式 $\chi_{\text{top}}(MF_0(L)) = \chi_{\text{et}}(\mathfrak{F}_0)$ を確立する。
• Behrendの可解関数とラグランジュサイクルの関係を応用し、$\nu_X$ をモチビックMilnorファイバーの言語で表現する。
• 公式 $\nu_X(0) = (-1)^m(1 - \chi_{\text{et}}(\mathfrak{F}_0))$ を用いて、Behrend関数と解析的Milnorファイバーを結びつける。

実験結果

リサーチクエスチョン

• RQ1 有限次元コホモロジーを持つ3次元の循環的 $L_\infty$-代数に対して、どのようにモチビックMilnorファイバーを定義できるか？
• RQ2 モジュライ空間上のBehrend関数とモチビックまたは解析的Milnorファイバーの間の正確な関係は何か？
• RQ3 Behrend関数はモジュライ空間の形式的近傍にのみ依存するのか、それとも高次のデータにも依存するのか？
• RQ4 dg Lie代数の設定において、ポイント付きDonaldson-Thomas不変量をモチビックMilnorファイバーから回復できるか？
• RQ5 原点におけるBehrend関数の値を、解析的Milnorファイバーのオイラー特徴標数で表す公式は存在するか？

主な発見

• 原点におけるBehrend関数の値 $\nu_X(0)$ は、$\mathfrak{F}_0$ を $0$ における解析的Milnorファイバーとするとき、$(-1)^m(1 - \chi_{\text{et}}(\mathfrak{F}_0))$ に等しい。
• Behrend関数は、その値が形式的不変量である解析的Milnorファイバーによって決定されるため、モジュライ空間の形式的近傍にのみ依存する。
• モチビックMilnorファイバー $MF_0(L)$ は、$f$ の臨界集合の特異点の解消を用いて構成された、$\mathbb{C}$ 上の多様体の等変グローバー環の元である。
• Donaldson-Thomas型dg Lie代数の場合、ポイント付きDonaldson-Thomas不変量はモチビックMilnorファイバーのオイラー特徴標数に等しい。
• モチビックMilnorファイバーの位相的オイラー特徴標数と解析的Milnorファイバーのエタールオイラー特徴標数は一致する：$\chi_{\text{top}}(MF_0(L)) = \chi_{\text{et}}(\mathfrak{F}_0)$。
• 関数 $f$ が正則関数であるとき、公式 $\nu_X(0) = (-1)^m(1 - \chi_{\text{top}}(F_0))$ が成り立ち、$F_0$ は古典的Milnorファイバーである。