Topology and Euler characteristics of tropical varieties

技术摘要：热带簇的拓扑与欧拉示性数

问题陈述
本文研究了热带阿贝尔簇中子簇的拓扑性质，特别关注欧拉示性数。作者试图在热带几何中寻找经典定理的类比，该定理由 Green 和 Lazarsfeld ([GL87]) 提出，指出对于复阿贝尔簇中的光滑子簇 $X$，其符号欧拉示性数满足 $(-1)^{\dim X}\chi(X, \mathcal{O}_X) \geq 0$。在热带情形下，由于 $\chi(X)$ 与热带同调 Hodge 数满足 $\chi(X) = \sum (-1)^q h^{0,q}(X)$，作者研究是否对于 $d$ 维热带子簇，类似的不等式 $(-1)^d \chi(X) \geq 0$ 成立。

方法论
作者结合了热带几何、托里几何（toric geometry）、混合 Hodge 理论以及 Morse 理论。

1. H-正则性（H-Regularity）： 分析的核心依赖于“H-正则”热带簇的概念。一个热带扇（tropical fan）是 H-正则的，如果它是由 H-正则子簇 $U \subset (\mathbb{C}^*)^n$ 的热带化而成的。一个代数簇 $U$ 是 H-正则的，如果它存在一个光滑射影托里紧化，使得其闭包与每个托里轨道横截相交，且与任何轨道的交集要么为空，要么是连通的。
2. 局部消亡定理（Local Vanishing Theorem）： 证明策略受到 [LMW21] 方法的启发，并利用了 Morse 理论。核心技术输入是一个针对 H-正则热带扇的局部消亡定理（定理 2.8）。该定理确立了对于一个 $d$ 维 H-正则热带扇 $T$ 以及一个在射线（rays）上非零的线性函数 $\ell$，非正部分 $T_{\leq 0}$ 链路（link）的约化同调在所有次数 $k \neq d-1$ 时均消失。
3. 代数几何工具： 为了证明局部消亡定理，作者推广了 [Hac08] 和 [Pay13] 中的论证，通过托里修正（特别是迭代星细分）构造了代数簇 $U$ 的部分紧化。随后，他们利用混合 Hodge 模理论（Saito 的理论）和分解定理来分析这些紧化形式的 cohomology 的权重过滤。具体而言，他们证明了一个针对具有到仿射簇良性双有理映射的簇的 cohomology 最高权次的消亡定理（命题 4.1）。
4. 对偶复形与链路： 作者将热带链路 $L(T_{\leq 0})$ 的拓扑与紧化中边界除子的对偶复形联系起来。通过使用 Gysin 序列和关于有理光滑簇（rationally smooth varieties）的性质，他们证明了该对偶复形的同调在次数 $d-1$ 以外的次数上消失（推论 5.2）。
5. Morse 理论论证： 最后，通过对热带子簇应用圆值 Morse 理论（circle-valued Morse theory），导出全局欧拉示性数的不等式。链路同调的局部消亡确保了临界点（顶点）对欧拉示性数的贡献具有正确的符号。

主要贡献与结果

• 主定理 (Theorem 1.1)： 作者证明了对于任何 $d$ 维 H-正则热带阿贝尔簇的子簇 $X$，其符号欧拉示性数是非负的：$(-1)^d \chi(X) \geq 0$。这作为 Green–Lazarsfeld 定理的热带类比。
• 局部消亡定理 (Theorem 2.8)： 一个重要的技术结果，确立了 H-正则热带扇的非正部分链路的约化同调在所有 $k \neq d-1$ 的次数下均消失。
• Lefschetz 型定理 (Theorem 1.4)： 本文导出了一个针对仿射 H-正则热带簇的 Lefschetz 型结果，表明相对同调 $H_k(X, X \cap H; \mathbb{Q})$ 在 $k \neq d$ 时消失，其中 $H$ 是一个一般的仿射超平面。
• 拟阵应用 (Corollary 1.3)： 研究结果被应用于在 $\mathbb{C}$ 上可实现（realizable）的拟阵的 Bergman 扇和增广 Bergman 扇。这为 [AB21] 中的结果提供了新的证明，并回答了 Mikhalkin 和 Ziegler 关于可实现拟阵之链路同伦型的问题。
• H-正则性的必要性： 作者证明了 H-正则性假设是必要的。在例 2.11 中，他们构造了一个热带阿贝尔簇（源自亏格 2 曲线）中的 2 维热带循环，其符号欧拉示性数为负（$\chi(X) = -4$）。
• 对一般消亡性的反例： 在第 8 节中，作者构造了一个 3 维热带扇（特定线性空间投影的热带化），其链路并不等价于一束 2-球面。这通过提供一个非 H-正则簇中消亡性质失效的例子，回应了 [Hac08] 中的一个问题。

意义与主张
本文声称为一类特定的热带簇（H-正则簇）建立了严格的拓扑约束，镜像了复代数几何中的深刻结果。其意义在于：

1. 架起复几何与热带几何的桥梁： 它成功地将一个复几何不等式（Green–Lazarsfeld）转化为热带设定，前提是该热带簇满足 H-正则性条件。
2. 澄清 Hacking 结果的适用范围： 本文阐明了 Hacking 对 “Schön” 簇观察到的同调消亡性质，在所呈现的一般性情形下需要更强的 H-正则性条件才能成立，并明确构造了在缺乏该条件时这些性质失效的例子。
3. 方法论的进步： 利用混合 Hodge 模和托里修正来研究热带链路，为分析热带簇的拓扑提供了新的工具箱，超越了纯粹的组合论证。

作者对其结果的普适性保持谦逊，指出该不等式对于一般的热带子簇并不成立，并且将这些结果扩展到任意拟阵或具有较弱连通性的簇仍是一个开放性问题。他们还提出了未来的研究方向，例如使用任意拟阵的组合 Hodge 理论，以及探索热带 Fourier–Mukai 变换。