[論文レビュー] Euler Characteristic of real nondegenerate tropical complete intersections

Benoît Bertrand, Frédéric Bihan|ArXiv.org|Oct 5, 2007

Polynomial and algebraic computation参考文献 29被引用数 9

ひとこと要約

本論文は、実非退化トロピカル完全交差のオイラー乗数が、定義するトロピカル多項式のニュートン多面体にのみ依存することを確立し、それらが対応する複素完全交差の混合シグネチャに等しいことを示している。著者は、混合体積の和としてトロピカル交差重みを定義し、すべての非ゼロ重みが1であることを証明し、E多項式と加法性の性質を用いて一般の場合をトロピカル超曲面の場合に還元することで、以前の超曲面に関する結果を完全交差へと拡張している。

ABSTRACT

We define nondegenerate tropical complete intersections imitating the corresponding definition in complex algebraic geometry. As in the complex situation, all nonzero intersection multiplicity numbers between tropical hypersurfaces defining a nondegenerate tropical complete intersection are equal to 1. The intersection multiplicity numbers we use are sums of mixed volumes of polytopes which are dual to cells of the tropical hypersurfaces. We show that the Euler characteristic of a real nondegenerate tropical complete intersection depends only on the Newton polytopes of the tropical polynomials which define the intersection. Basically, it is equal to the usual signature of a complex complete intersection with same Newton polytopes, when this signature is defined. The proof reduces to the toric hypersurface case, and uses the notion of $E$-polynomials of complex varieties.

研究の動機と目的

• 実トロピカル超曲面のオイラー乗数に関する結果を完全交差の場合に拡張すること。
• 非退化トロピカル完全交差を、複素代数的設定に類似して定義し、すべての非ゼロ交差重みが1であることを保証すること。
• このような完全交差の実部のオイラー乗数が、定義する多項式のニュートン多面体にのみ依存することを示すこと。
• このオイラー乗数が、複素完全交差が非射影的であっても、対応する複素完全交差の混合シグネチャに等しいことを証明すること。
• E多項式の加法性とバチレフ＝ボリスォフによるホッジ理論の結果を用いて、一般の完全交差の場合をトロピカル超曲面の場合に還元すること。

提案手法

• ニュートン多面体によるトランスバーサル性の保証を模倣することで、非退化トロピカル完全交差を定義する。
• 双対多面体の混合体積の和として、トロピカル交差重みを定義し、ミハルキンの定義を一般化する。
• このような交差におけるすべての非ゼロ交差重みが正確に1であることを証明し、複素の場合と整合性を保つ。
• 複素多様体のE多項式を用いて混合シグネチャを定義し、非射影的多様体に対しても加法的かつ適切に定義可能であることを保証する。
• E多項式の加法性とニュートン多面体の構造を用いて、一般の完全交差の場合をトロピカル超曲面の場合に還元する。
• バチレフとボリスォフによるトロピカル超曲面のホッジ理論に関する結果を活用し、シグネチャを計算し、主結果を確立する。

実験結果

リサーチクエスチョン

• RQ1 実非退化トロピカル完全交差のオイラー乗数は、定義する多項式のニュートン多面体にのみ依存するか？
• RQ2 複素の場合を一般化する方法で、すべての非ゼロ重みが1に等しくなるように、トロピカル交差重みを定義できるか？
• RQ3 トロピカル完全交差の実部のオイラー乗数は、対応する複素完全交差の混合シグネチャに等しいか？
• RQ4 E多項式を用いて、非射影的多様体に対しても、複素完全交差のシグネチャをどのように拡張できるか？
• RQ5 E多項式のような代数的不変量を用いて、完全交差の一般の場合をトロピカル超曲面の場合に還元できるか？

主な発見

• 実非退化トロピカル完全交差のオイラー乗数は、定義するトロピカル多項式のニュートン多面体に完全に依存する。
• 非退化完全交差におけるすべての非ゼロトロピカル交差重みは、正確に1に等しく、複素の場合と整合的である。
• 実トロピカル完全交差のオイラー乗数は、同じニュートン多面体を持つ対応する複素完全交差の混合シグネチャに等しい。
• E多項式の加法性のおかげで、非射影的複素完全交差に対しても混合シグネチャが適切に定義可能である。
• 証明は、E多項式の加法性とバチレフ＝ボリスォフによるホッジ理論の結果を用いて、一般の場合をトロピカル超曲面の場合に還元する。
• すべての l = 1, ..., n に対して、S_{l,n} = C_{l,n} という基本的恒等式が確立され、二項和およびスターリング数に関する組合せ的恒等式によってシグネチャ公式が裏付けられる。