[論文レビュー] Tropical Intersection Theory from Toric Varieties

Eric Katz|ArXiv.org|Jul 15, 2009

Plant responses to water stress参考文献 14被引用数 8

ひとこと要約

この論文は、混合ミンコフスキー重みを通じてトーリック多様体上のチャウコhomologyに結びつけることによって、アラーマン＝ラウ理論とミハルキン理論の2つの主要なトロピカル交線理論の同値性を確立する。トーリック多様体の部分多様体に誘導されたトロピカル交線理論を導入し、$̅{\mathcal{M}}_{0,n}$ 上のトロピカル $ψ$-クラスの交線が古典的交線数を計算することを概念的証明する。

ABSTRACT

We apply ideas from intersection theory on toric varieties to tropical intersection theory. We introduce mixed Minkowski weights on toric varieties which interpolate between equivariant and ordinary Chow cohomology classes on complete toric varieties. These objects fit into the framework of tropical intersection theory developed by Allermann and Rau. Standard facts about intersection theory on toric varieties are applied to show that the definitions of tropical intersection product on tropical cycles in $\R^n$ given by Allermann-Rau and Mikhalkin are equivalent. We introduce an induced tropical intersection theory on subvarieties on a toric variety. This gives a conceptional proof that the intersection of tropical $ψ$-classes on $\cmbar_{0,n}$ used by Kerber and Markwig computes classical intersection numbers.

研究の動機と目的

• アラーマン＝ラウ理論とミハルキン理論のトロピカル交線理論の同値性を確立すること。
• トーリック多様体の部分多様体に誘導されたトロピカル交線理論を導入すること。
• トロピカル $ψ$-クラスの交線が $̅{\mathcal{M}}_{0,n}$ 上で古典的交線数をもたらすという概念的証明を提供すること。
• トーリック幾何とチャウコhomologyが、トロピカル交線理論を統一的かつ一般化するのにどのように利用できるかを示すこと。

提案手法

• 完全なトーリック多様体上の等化的および通常のチャウコhomologyの間を補間するハイブリッド対象として混合ミンコフスキー重みを導入すること。
• 混合ミンコフスキー重みからチャウコhomologyへの写像 $κ$ を定義し、トロピカル・キャリアー・ドライバー $(c,f)$ に付随するウェイル除数が $κ(c,f)$ に一致することを示すこと。
• フォンとシュトゥルムフェルズのファン・ディスプレースメント則を用いて、チャウコhomologyにおけるカップ積を記述し、ミハルキンの安定的交線と結びつけること。
• トーリック多様体の組合せ的構造を活用して、一般のトロピカルサイクル交線をファンの場合に還元すること。
• カプロノフの構成により、$̅{\mathcal{M}}_{0,n}$ を滑らかなトーリック多様体 $X(\Delta)$ に埋め込み、トーリック幾何を介したトロピカル交線を可能にすること。
• $\psi$-クラスを $\operatorname{Trop}(\mathcal{M}_{0,n})$ 上の分岐線形関数へと持ち上げ、混合ミンコフスキー重みとしてトロピカル $ψ$-クラスを構成すること。

実験結果

リサーチクエスチョン

• RQ1 アラーマン＝ラウ理論とミハルキン理論のトロピカル交線理論は、$\mathbb{R}^n$ 内のトロピカルサイクルに対して同値であるか？
• RQ2 チャウコhomologyを介して、トーリック多様体の部分多様体にトロピカル交線理論を誘導できるか？
• RQ3 $̅{\mathcal{M}}_{0,n}$ 上のトロピカル $ψ$-クラスの交線数は、古典的交線数と一致するか？
• RQ4 混合ミンコフスキー重みは、トーリック多様体上の等化的および通常のチャウコhomologyとどのように関係するか？
• RQ5 トロピカル化 $\overline{\mathcal{M}}_{0,n}$ を用いて、トーリック幾何を介して古典的交線数を計算できるか？

主な発見

• 混合ミンコフスキー重みを介してチャウコhomologyに還元することにより、アラーマン＝ラウ理論とミハルキン理論の両方が同値であることが示された。
• 混合ミンコフスキー重みは、等化的および通常のチャウコhomologyの間のブリッジを提供し、写像 $\kappa$ が $(c,f)$ を付随するウェイル除数に送ることを示した。
• ミハルキン理論における交線積は、ファン・ディスプレースメント則を介してチャウコhomologyにおけるカップ積に対応する。
• ケルバーアンドマークウィグにより定義されたトロピカル $ψ$-クラスは、$\operatorname{Trop}(\mathcal{M}_{0,n})$ 上の分岐線形関数を介して、$A^1(X(\Delta))$ 内で $\binom{n-1}{2}\psi_k$ に持ち上げられ、スケーリングの正当性が裏付けられた。
• トロピカル交線 $\Phi_{k_1} \cdot \ldots \cdot \Phi_{k_l} \cdot \operatorname{Trop}(\mathcal{M}_{0,n})$ の次数は、古典的交線数 $\deg(\prod \psi_{k_l} \cap [\overline{\mathcal{M}}_{0,n}])$ に一致し、トロピカル計算の正しさが確認された。
• トーリック多様体の部分多様体に誘導されたトロピカル交線理論は、古典的交線数をトロピカル的に計算するための概念的枠組みを提供する。