[論文レビュー] The motivic Thom-Sebastiani theorem for regular and formal functions

Quy Thuong Lê|arXiv (Cornell University)|May 27, 2014

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

ひとこと要約

本稿は、Hrushovski-Loeserのモチビック積分とその枠組みのわずかな一般化を用いて、正則関数に対するモチビックThom-Sebastiani定理のモデル理論的証明を提供し、形式的関数へと拡張する。主な結果として、形式的関数のモチビックミラーファイバーが、正則関数の場合と同様の畳み込み積構造を満たすことが確立され、Kontsevich-SoibelmanのモチビックDonaldson-Thomas理論における基礎的ギャップが解消される。

ABSTRACT

Thanks to Hrushovski-Loeser's work on motivic Milnor fibers, we give a model-theoretic proof for the motivic Thom-Sebastiani theorem in the case of regular functions. Moreover, slightly extending of Hrushovski-Loeser's construction adjusted to Sebag, Loeser and Nicaise's motivic integration for formal schemes and rigid varieties, we formulate and prove an analogous result for formal functions. The latter is meaningful as it has been a crucial element of constructing Kontsevich-Soibelman's theory of motivic Donaldson-Thomas invariants.

研究の動機と目的

• Hrushovski-Loeserのモチビック積分枠組みを用いて、正則関数に対するモチビックThom-Sebastiani定理のモデル理論的証明を提供すること。
• Sebag, Loeser, Nicaiseの形式的スキームおよび剛体多様体のためのモチビック積分に適応したHrushovski-Loeserの構成を用いて、モチビックThom-Sebastiani定理を形式的関数へと拡張すること。
• 非可換Calabi-Yau3次元多様体のモチビックDonaldson-Thomas不変量理論において、形式的に未解決だが、核心的に使われている仮定を解消すること。
• 形式的関数のモチビックミラーファイバーが、解析的ミラーファイバーおよび体積Poincaré級数を通じて解釈できることを示し、Nicaiseの公式と整合させること。

提案手法

• 代数的に閉じた零標数の体における定義可能集合へのHrushovski-Loeserのモチビック積分を用い、解析的ミラーファイバーを通じてモチビックミラーファイバーを記述する。
• モノドロミー的Grothendieck環 $\mathscr{M}_{k}^{\hat{\mu}}$ における畳み込み積構造を適用し、$f$, $g$, および $f \oplus g$ のモチビックミラーファイバーを関連付ける。
• 証明における技術的障害を扱うために、モチビックGrothendieck環の局所化を導入し、定義可能集合および価値論的分解の使用を可能にする。
• Temkinの特異点の解消とNicaiseの体積Poincaré級数の公式を用いて、形式的スキームにおけるモチビック積分の構成を適応する。
• $\mathbb{Z}$-値価値へのファイバーを分析するため、$\mathrm{val}_{\omega}$ および $\mathrm{val}_{\omega_1} \oplus \mathrm{val}_{\omega_2}$ を用いた価値論的分解を用いる。
• 局所積分とモチビック不変量を関連付ける式 $\widetilde{\mathbf{h}}_m([Z_{1,e_1,e_2}^\dagger] - [Z_{0,e_1,e_2}^\dagger]) = -\mathrm{loc}(\mathbb{L}^{d_1+d_2} \Phi(\mathfrak{Z}_1(m), \omega_1(m), me_1) * \Phi(\mathfrak{Z}_2(m), \omega_2(m), me_2))$ を用いる。

実験結果

リサーチクエスチョン

• RQ1 正則関数に対するモチビックThom-Sebastiani定理を、モデル理論的モチビック積分を用いて再証明することは可能か？
• RQ2 モチビックDonaldson-Thomas理論における基礎的役割を果たす以上に、形式的関数へのモチビックThom-Sebastiani定理を拡張できるか？
• RQ3 形式的関数のモチビックミラーファイバーと解析的ミラーファイバー、または体積Poincaré級数との正確な関係は何か？
• RQ4 Hrushovski-Loeserの枠組みを形式的スキームおよび剛体多様体に適応し、モチビック積分を定義するにはどうすればよいか？
• RQ5 形式的関数 $\mathfrak{f} \oplus \mathfrak{g}$ のモチビックミラーファイバーの構造は、$\mathscr{S}_{\mathfrak{f},0}$ および $\mathscr{S}_{\mathfrak{g},0}$ を用いてどのように記述できるか？

主な発見

• 正則関数に対するモチビックThom-Sebastiani定理は、Hrushovski-Loeserのモデル理論的モチビック積分を用いて再証明され、局所化されたGrothendieck環における畳み込み積構造 $\mathscr{S}_{f\oplus g, (x,y)}^\phi = \mathscr{S}_{f,x}^\phi * \mathscr{S}_{g,y}^\phi$ が確認された。
• 形式的関数 $\mathfrak{f}$ および $\mathfrak{g}$ に対して、モチビックミラーファイバーは $\mathscr{S}_{\mathfrak{f} \oplus \mathfrak{g}, 0}^\phi = \mathscr{S}_{\mathfrak{f},0}^\phi * \mathscr{S}_{\mathfrak{g},0}^\phi$ を満たし、この定理の形式的版が確立された。
• 形式的関数のモチビックミラーファイバーは、Nicaiseの公式を通じて体積Poincaré級数と等価であり、この等価性はモデル理論的枠組みでも保たれる。
• 証明は、技術的障害を扱うためにモノドロミー的Grothendieck環の局所化に依存しており、定義可能集合および価値論的分解の使用を可能にする。
• すべての $m \geq 1$ に対して、重要な恒等式 $\widetilde{\mathbf{h}}_m([Z_{1,e_1,e_2}^\dagger] - [Z_{0,e_1,e_2}^\dagger]) = -\mathrm{loc}(\mathbb{L}^{d_1+d_2} \Phi(\mathfrak{Z}_1(m), \omega_1(m), me_1) * \Phi(\mathfrak{Z}_2(m), \omega_2(m), me_2))$ が確立され、畳み込み構造の実現が可能になった。
• 形式的定理は、恒等式 $-\mathbf{h}_m([\overline{]0_{d_1}[}_{\mathrm{rv}}, \mathrm{val}_{\omega_1}]) * \mathbf{h}_m([\overline{]0_{d_2}[}_{\mathrm{rv}}, \mathrm{val}_{\omega_2}]) = \mathbf{h}_m([(Z_1^\dagger, \mathrm{val}_{\omega_1} \oplus \mathrm{val}_{\omega_2})] - [(Z_0^\dagger, \mathrm{val}_{\omega_1} \oplus \mathrm{val}_{\omega_2})])$ から導かれ、畳み込み積が確認された。