Topology and Euler characteristics of tropical varieties

技術要約：トロピカル多様体のトポロジーとオイラー標数

問題提起
本論文は、トロピカル・アベル多様体内の部分多様体のトポロジー的性質、特にオイラー標数に焦レーしている。著者らは、複素アベル多様体内の滑らかな部分多様体 $X$ に対して、符号付きオイラー標数が $(-1)^{\dim X}\chi(X, \mathcal{O}_X) \geq 0$ を満たすという、グリーンとラザースフェルト（[GL87]）による古典的な定理のトロピカルな類似物を追求している。トロピカルな設定では、$\chi(X)$ はトロピカル・ホモロジー・ホッジ数を用いて $\chi(X) = \sum (-1)^q h^{0,q}(X)$ と関連付けられるが、著者らは、$d$ 次元のトロピカル部分多様体に対して、同様の不等式 $(-1)^d \chi(X) \geq 0$ が成立するかどうかを調査している。

手法
著者らは、トロピカル幾何学、トーリック幾何学、混合ホッジ理論、およびモース理論を組み合わせた手法を用いている。

1. H-正則性（H-Regularity）: 解析の核となるのは、「H-正則」なトロピカル多様体の概念である。トロピカル・ファンがH-正則であるとは、$(\mathbb{C}^*)^n$ 内のH-正則な部分多様体 $U$ のトロピカル化として得られるものであることを指す。代数多様体 $U$ がH-正則であるとは、$U$ が、すべてのトーラス軌道と横断的に交わり、かつ各軌道との交わりが空集合であるか連結であるような、滑らかな射影トーリックコンパクト化を持つことを意味する。
2. 局所消滅定理: 証明戦略は [LMW21] のアプローチに触発されており、モース理論を利用している。中心的な技術的入力は、H-正則なトロピカル・ファンに対する局所消滅定理（定理 2.8）である。この定理は、$d$ 次元のH-正則なトロピカル・ファン $T$ と、レイ（ray）上で非零である線形関数 $\ell$ に対して、非正の部分 $T_{\leq 0}$ のリンクの簡約ホモロジーが、$d-1$ 次を除いて消滅することを確立している。
3. 代数幾何学的ツール: H-正則なトロピカル・ファンの局所消滅定理を証明するために、著者らは [Hac08] および [Pay13] の議論を一般化している。彼らは、トーリック修正（具体的には反復的なスター細分）を用いて、代数多様体 $U$ の部分コンパクト化を構成する。その後、混合ホッジ加群の理論（斉藤の理論）と分解定理を利用して、これらのコンパクト化のコホモロジーのウェイト・フィルトレーションを分析する。具体的には、アフィン多様体への固有な双有理写像を許容する多様体のコホモロジーの最上位ウェイトに対する消滅定理を証明している（命題 4.1）。
4. 双対複体とリンク: 著者らは、トロピカル・リンク $L(T_{\leq 0})$ のトポロジーを、コンパクト化における境界因子（boundary divisor）の双対複体に関連付けている。Gysin完全系列と有理平滑多様体の性質を用いて、この双対複体のホモロジーが $d-1$ 次以外の次数で消滅することを示す（系 5.2）。
5. モース理論的議論: 最後に、円値モース理論（circle-valued Morse theory）をトロピカル部分多様体に適用することで、大域的なオイラー標数の不等式を導出する。リンクのホモロジーの局所的な消滅により、臨界点（頂点）がオイラー標数に与える寄与が正しい符号を持つことが保証される。

主な貢献と結果

• 主要定理 (Theorem 1.1): 著者らは、トロピカル・アベル多様体の任意の $d$ 次元のH-正則な部分多様体 $X$ に対して、符号付きオイラー標数が非負であること、すなわち $(-1)^d \chi(X) \geq 0$ を証明した。これは、グリーン・ラザースフェルトの定理のトロピカルな類似物として機能する。
• 局所消滅定理 (Theorem 2.8): H-正則なトロピカル・ファンの非正の部分のリンクの簡約ホモロジーが、$k \neq d-1$ において消滅することを確立する重要な技術的結果。
• レフシェッツ型の定理 (Theorem 1.4): アフィンH-正則・トロピカル多様体に関するレフシェッツ型の結果を導出し、一般のアフィン超平面 $H$ に対して、相対ホモロジー $H_k(X, X \cap H; \mathbb{Q})$ が $k \neq d$ で消滅することを示す。
• マトロイドへの応用 (Corollary 1.3): 結果は、$\mathbb{C}$ 上で実現可能なマトロイドのベルグマン・ファンおよび増強ベルグマン・ファンに適用される。これにより、[AB21] に関連する結果の新しい証明が提供され、実現可能なマトロイドのリンクのホモトピー型に関するミハルキーンとジグレリンクによる問いに答えている。
• H-正則性の必要性: 著者らは、H-正則性の仮定が必要であることを示している。例 2.11 において、符号付きオイラー標数が負（$\chi(X) = -4$）となる、トロピカル・アベル多様体（種数2の曲線から派生したもの）内の2次元トロピカル・サイクルを構成している。
• 一般的な消滅に対する反例: セクション 8 において、著者らは（特定の線形空間の射影から得られる）3次元トロピカル・ファンを構成し、そのリンクが2-球面（2-spheres）のブーケとホモトピー同値ではないことを示している。これは、H-正則でない多様体において消滅特性が失敗する例を提供することで、[Hac08] の問いに対処している。

意義と主張
本論文は、特定のクラスのトロピカル多様体（H-正則なもの）に対して、複素代数幾何学の深い結果を反映した厳密なトポロジー的制約を確立したと主張している。その意義は以下の通りである：

1. 複素幾何学とトロピカル幾何学の架け橋: トロピカル多様体がH-正則性の条件を満たす場合に、複雑な幾何学的不等式（グリーン・ラザースフェルト）をトロピカルな設定へと見事に翻訳した。
2. Hacking の結果の範囲の明確化: 本論文は、Hacking が「Schön（シェーン）」な多様体に対して観察したホモロジー消滅特性が、提示された一般性において成立するためには、より強いH-正則性の条件が必要であることを明確にし、それなしではこれらの特性が失敗する例を明示的に構築している。
3. 手法の進展: 混合ホッジ加群とトーリック修正を用いてトロピカル・リンクを研究することは、純粋に組合せ論的な議論を超えて、トロピカル多様体のトポロジーを分析するための新しいツールキットを提供する。

著者らは、自らの結果の一般性について謙虚な姿勢を保っており、不等式は一般的なトロピカル部分多様体では成立しないこと、また、これらの結果を任意のマトロイドやより弱い連結性を持つ多様体に拡張することは依然として未解決の問題であることを述べている。また、任意のマトロイドのための組合せ論的ホッジ理論の使用や、トロピカル・フーリエ・ムカイ変換の探求など、将来の方向性も提案している。