[论文解读] Sagbi Bases of Cox-Nagata Rings

Bernd Sturmfels, Zhiqiang Xu|ArXiv.org|Mar 6, 2008

Commutative Algebra and Its Applications参考文献 15被引用 12

一句话总结

本文利用 sagbi 基将与射影空间在对偶于线性形式的点处的爆破相关的 Cox-Nagata 环退化为 toric 代数，从而实现 Hilbert 函数的显式计算。通过二次生成理想证明了 del Pezzo 曲面的 Batyrev-Popov 猜想，并建立了 Verlinde 公式与系统发生代数几何之间的联系，解决了 D’Cruz-Iarobbino 和 Buczyńska-Wiśniewski 的开放问题。

ABSTRACT

We degenerate Cox-Nagata rings to toric algebras by means of sagbi bases induced by configurations over the rational function field. For del Pezzo surfaces, this degeneration implies the Batyrev-Popov conjecture that these rings are presented by ideals of quadrics. For the blow-up of projective n-space at n+3 points, sagbi bases of Cox-Nagata rings establish a link between the Verlinde formula and phylogenetic algebraic geometry, and we use this to answer questions due to D'Cruz-Iarobbino and Buczynska-Wisniewski. Inspired by the zonotopal algebras of Holtz and Ron, our study emphasizes explicit computations, and offers a new approach to Hilbert functions of fat points.

研究动机与目标

• 研究与射影空间在对偶于线性形式的点处爆破相关的 Cox-Nagata 环的 Hilbert 函数。
• 通过二次生成理想证明 Cox-Nagata 环中理想二次生成的 Batyrev-Popov 猜想在 del Pezzo 曲面上成立。
• 通过 sagbi 退化建立 Verlinde 公式与系统发生代数几何之间的联系。
• 回答 D’Cruz-Iarobbino 关于重点 Hilbert 函数的开放问题以及 Buczyńska-Wiśniewski 关于系统发生代数几何的开放问题。
• 为具有常系数的偏微分方程组的多项式解个数提供显式 Ehrhart 型公式。

提出的方法

• 利用有理函数域上配置诱导的 sagbi 基，将 Cox-Nagata 环退化为 toric 代数。
• 通过定义在 $ K = \mathbb{Q}(t) $ 上的线性形式构造平坦族，实现退化的组合分析。
• 将多齐次 Hilbert 函数 $ \psi(r,u) $ 计算为由单个生成的锥 $ \Gamma $ 导出的线性不等式组的整数解个数。
• 使用 polymake 计算 $ f $-向量以及一个 $ 14 \times 56 $ 矩阵 $ M $，通过 $ (r,u,x,y,z) \cdot M \geq 0 $ 编码 Hilbert 函数。
• 应用 Verlinde 公式（Jenia Tevelev 建议）以在系统发生几何背景下解释结果。
• 通过显式枚举凸多边形与多面体中的格点，推导出 $ \psi(r,u) $ 的分段多项式公式。

实验结果

研究问题

• RQ1 del Pezzo 曲面的 Cox-Nagata 环是否如 Batyrev 与 Popov 所猜想的那样，由二次理想呈现？
• RQ2 Verlinde 公式是否可在系统发生代数几何背景下通过 Cox-Nagata 环的 Hilbert 函数来解释？
• RQ3 在 $ \mathbb{P}^{d-1} $ 上爆破 $ n = d+2 $ 个点时，Cox-Nagata 环的结构是怎样的，尤其与系统发生代数几何中的代数簇有何关联？
• RQ4 如何利用 sagbi 基与 toric 退化显式计算具有固定支集的重点的 Hilbert 函数？
• RQ5 具有常系数的偏微分方程组的解空间与射影空间爆破的几何之间存在何种精确关系？

主要发现

• 证明了 Batyrev-Popov 猜想：del Pezzo 曲面的 Cox-Nagata 环由二次理想呈现。
• 当 $ d=3, n=5 $ 时，Hilbert 函数 $ \psi(r,u) $ 通过计数由四个不等式定义的凸多边形中的格点得到，结果为分段二次公式。
• Verlinde 公式与 $ n = d+2 $ 时 Cox-Nagata 环的 Hilbert 函数相关联，解决了 D’Cruz 与 Iarobbino 关于重点的猜想。
• 在 $ \mathbb{P}^3 $ 上爆破 10 个点（来自 5 个平面）时，Cox-Nagata 环的 toric 退化结果为一个具有 25 个生成元和 55 个最小关系的 toric 代数。
• $ \mathbb{Z}^{11} $-齐次 Hilbert 函数通过一个 $ 14 \times 56 $ 矩阵 $ M $ 计算，其中 $ \psi(r,u) $ 计数满足 $ (r,u,x,y,z) \cdot M \geq 0 $ 的整数解，且 $ f(\Gamma) = (25, 261, 1536, \dots, 56) $。
• 本文在 $ \mathbb{P}^3 $ 中四个点的情况下，为 $ \psi(r,u) $ 提供了显式 Ehrhart 型公式，总和为一个三次多项式：$ (v_1+1)(v_2+1)(v_3+1)(v_4+1) - v_1v_2v_3v_4 $。