When are tropical multidegrees positive?

技術要約：「トロピカル多重次数はいつ正となるか？」

問題提起
本論文は、実ベクトル空間の積 $\Gamma \subset \mathbb{R}^{m_1} \times \cdots \times \mathbb{R}^{m_p}$ に含まれるトロピカル多様体における、トロピカル多重次数の正値性について調査している。古典的な代数幾何学において、マルチプロジェクティブ多様体 $X$ の多重次数は非負の交差数である。Castillo, Cid-Ruiz, Li, Montaño, および Zhang [CCRL+20] によって古典的な多様体に対して解決された基本的な問題は、これらの多重次数がいつ厳密に正になるかを決定することである。彼らの基準は、自然な射影 $\Pi_I$ による $X$ の像の次元に基づいている。

トロピカルな設定においては、He [He24] が「平行移動許容（translation-admissible）」なトロピカル多様体に対して同様の正値性基準を確立した。しかし、任意のトロピカル多様体については、正値性は「ファセットごとの（facet-wise）」基準（定理 3.5）によって支配されており、これは多様体のグローバルな射影ではなく、個々のファセットに関する不等式をチェックすることを要求する。本論文は、このファセットごとの基準が、トロピカル多様体全体の射影の次元のみに依存するように「グローバル化」できる条件は何かを明らかにすることを目的としている。さらに、これらの多重次数の正値性が、関連するトロピカル体積多項式がローレンツ多項式（classical な設定では、Hodge 理論的関係により成立することが知られている性質）であることを含意するかどうかを検討する。

手法
著者は、トロピカル幾何学、トーリック交差理論、およびミンコフスキー・ウェイトの理論を組み合わせた手法を用いている。

1. トロピカル交差理論： 本論文は、トロピカル多様体とトロピカル因子（divisor）の安定交差の概念を利用している。トロピカル多重次数は、$\Gamma$ と正のトロピカル因子からのプルバックとの安定交差数として定義される。
2. 有界有理同値性： Allermann, Hampe, および Rau [ARも, AHR16] に従い、著者は有界有理同値性を利用して、トロピカル・サイクルをその再帰ファン（recession fan）に関連付ける。これにより、トロピカル交差の問題をトーリック多様体の言語へと翻訳することが可能になる。
3. トーリック手法とミンコフスキー・ウェイト： 中核となる技術的エンジンは、完備なトーリック多様体の演算的 Chow コホモロジーとミンコフスキー・ウェイトの間の対応（Fulton–Sturmfels [FS97]）である。トロピカル多様体をトーリック部分多様体（具体的には劣トーラスの閉包）に関連付けることで、著者はトロピカル多重次数の正値を、トーリック多様体上の線束の交差数の正値性へと翻訳している。
4. ポリマトロイド理論： 多重次数のサポートは、ポリマトロイドの観点から分析される。ポリマトロイドのランク関数は、トロピカル多様体の射影の次元と結びついている。
5. 拡張ベルン・ファン（Augmented Bergman Fans）： 本論文は、ポリマトロイドの拡張ベルン・ファン（Eur および Larson [EL24] によって導入されたもの）の特定のケースを研究し、それらが持つ既知のケーラー・パッケージ（Kähler package）の性質を活用して、ローレンツ多項式に関するより強力な結果を確立している。

主要な定義と条件
He の結果を一般化するために、本論文では以下の2つの条件を導入している：

• 射影純粋性（Projection-Purity）： トロピカル多様体 $\Gamma$ が射影純粋であるとは、任意のインデックスの集合 $I$ に対して、集合論的な射影 $\Pi_I(\Gamma)$ がトロピカル多様体のサポートとなっていることを指す。
• ファセット選択可能性（Facet-Selectability）： トロピカル多様体 $\Gamma$ がファセット選択可能であるとは、グローバルに射影の不等式を満たす任意のベクトル $n$（すなわち $\sum_{i \in I} n_i \leq \dim(\Pi_I(\Gamma))$）に対して、これらの不等式を局所的に満たす（すなわち $\sum_{i \in I} n_i \leq \dim(\Pi_I(\sigma))$）単一のファセット $\sigma$ が $\Gamma$ に存在することを指す。

主要な結果

1. グローバル正値性基準 (Theorem A):
   本論文は、もしトロピカル多様体 $\Gamma$ が射影純粋かつファセット選択可能であれば、そのトロピカル多重次数は、ベクトル $n$ が多様体全体の射影不等式を満たす場合に、かつその場合に限り正となることを証明している：
   $$\deg^n_\Lambda(\Gamma) > 0 \iff \sum_{i \in I} n_i \leq \dim(\Pi_I(\Gamma)) \quad \forall I \subseteq [p].$$
   これらの条件下では、写像 $I \mapsto \dim(\Pi_I(\Gamma))$ はポリマトロイドのランク関数であり、正の多重次数のサポートは、まさにポリマトロイドの基底多面体の格子点と一致する。これは He の定理を一般化したものである。なぜなら、すべての平行移動許容なトロピカル多様体はこれら2つの条件を満たすが、その逆は必ずしも真ではないからである（例 2.10）。

2. ローレンツ性の欠如 (Section 4):
   本論文は、射影純粋性とファセット選択可能性（および平行移動許容性さえも）は、トロピカル体積多項式がローレンツ多項式であることを保証するには不十分であることを示している。

• 命題 4.2: 平行移動許容ではない、射影純粋かつファセット選択的なトロピカル多様体を構成しており、そのトロピカル体積多項式はローレンツではない（ヘッセ行列が2つの正の固有値を持つ）。
• 命題 4.3: コー次元1において連結な、平行移動許容なトロピカル多様体を構成しているが、そのトロピカル体積多項式もまたローレンツではない。
  これは、ディバイザーの nef 性がローレンツ性を導くという古典的な設定とは対照的である。

3. 拡張ベルン・ファンのローレンツ性 (Theorem B):
   本論文は、トロピカル体積多項式が実際にローレンツ多項式となるトロピカル多様体のクラスを特定している。それは、ポリマトロイド $P$ の拡張ベルン・ファンである。

• ポリマトロイド $P$ の拡張ベルン・ファン $\Sigma_P$ について、このファンは射影純粋かつファセット選択的であることが示されている。
• 正の多重次数のサポートは、まさに基底多面体 $B(P)$ の格子点である。
• 決定的なことに、任意の正のトロピカル因子に対して、トロピカル体積多項式 $tvol_{\Sigma_P, \Lambda}(t)$ はローレンツ多項式である。この結果は、ポリマトロイドの拡張 Chow 環がケーラー・パッケージを満たすという事実に依拠している（Eur–Larson [EL24], Adiprasito–Huh–Larson [ADH23]）。

4. 実現可能性の記述 (Corollary C):
   本論文は、射影純粋かつファセット選択的なトロピカル多様体における正のトロピカル多重次数のサポートの集合は、まさにポリマトロイド基底多面体の格子点（$\mathbb{N}^p$ との共通部分）であることを確立している。

意義と主張
本論文は、以前の平行移動許容な多様体に限定されていた結果を拡張し、広範なクラスのトロピカル多様体において、いつトロピカル多重次数が正になるかについての完全な特徴付けを提供すると主張している。これは、サポートの組合せ論的構造（M-凸性／ポリマトロイド基底多面体）と、係数の解析的構造（ローレンツ性）の間の区別を明確にしている。

著者は、射影純粋性とファセット選択可能性は多重次数の「サポート」を決定するには十分であるが、それらは「ローレンツ性」を強制するものではないと明言している。拡張ベルン・ファンに関する研究の意義は、サポートの構造とローレンツ性の両方が成立する自然な幾何学的文脈を特定し、ポリマトロイドに対するトロピカルな古典的 Hodge 理論的結果を回収することにある。論文は最後に、拡張ベルン・ファンが平行移動許容であるかどうかという未解決の問いを提示して締めくくられている。