正特征下 Nagata 猜想的热带几何方法

假设存在一个具有 Newton 多面体 $\Delta$ 的超曲面，它穿过给定的一组子簇。利用热带几何，我们将 $\Delta$ 的一个子集与每个子簇相关联。我们证明了这些子集体积的加权和从下方估计了 $\Delta$ 的体积。作为我们方法的一个具体应用，我们考虑一条平面代数曲线 $C$，它以规定的重数 $m_1,\dots,m_n$ 穿过一般点 $p_1,\dots,p_n$。假设曲线 $C$ 的 Newton 多边形 $\Delta$ 的最小格宽 $\omega(\Delta)$ 至少为 $\max(m_i)$。利用热带地板图（即 $p_1,\dots, p_n$ 在一条水平线上的某种退化），我们证明了 $$\mathrm{area}(\Delta)\geq \frac{1}{2}\sum_{i=1}^n m_i^2-S,\ \ \text{其中 } S=\frac{1}{2}\max \left(\sum_{i=1}^n s_i^2 \Big| s_i\leq m_i, \sum_{i=1}^n s_i\leq \omega(\Delta)\right).$$ 在 $m_1=m_2=\ldots =m\leq \omega(\Delta)$ 的情况下，该估计变为 $\mathrm{area}(\Delta)\geq \frac{1}{2}(n-\frac{\omega(\Delta)}{m})m^2$。对于次数为 $d$ 的曲线，这可重写为 $d\geq (\sqrt{n}-\frac{1}{2}-\frac{1}{2\sqrt n})m$。我们考虑了任意环面曲面（即任意 $\Delta$），且基域为任意特征的无限域，或足够大的有限域。后者的约束源于在小有限域情况下，什么构成“一般点集”并不先验清晰。我们为足够大的域构造了这样的集合，这对编码理论也可能有趣。