[论文解读] Elimination Theory in Codimension Two

Alicia Dickenstein, Bernd Sturmfels|ArXiv.org|Feb 27, 2001

Commutative Algebra and Its Applications参考文献 5被引用 7

一句话总结

本文在余维数为二的环道曲面情形下，利用牛顿多边形与次级多面体的组合构造，推导出 Chow 形式、判别式与结式的确切公式。研究证明：当且仅当次级多边形不具有中心对称性时，其对偶曲面为超曲面，并给出了判别式中项数的紧致界，其增长与牛顿多边形的体积呈线性关系。

ABSTRACT

New formulas are given for Chow forms, discriminants and resultants arising from (not necessarily normal) toric varieties of codimension 2. Exact descriptions are also given for the secondary polygon and for the Newton polygon of the discriminant.

研究动机与目标

• 将稀疏消去理论推广至余维数为二的环道曲面，扩展经典双二次超曲面的公式。
• 利用基于 Gale 对偶与次级多面体的组合构造，精确确定判别式的牛顿多边形。
• 通过次级多边形的中心对称性，组合刻画项目对偶曲面为超曲面的条件。
• 推导混合方程组判别式中项数的紧致界，尤其针对 Cayley 构造情形。
• 通过 Cayley 技巧与稀疏方程组，将理论与混合结式及超几何函数联系起来。

提出的方法

• 作者利用 Gale 对偶性，从定义矩阵 B 的配置构造出次级多面体与判别式的牛顿多边形。
• 通过参数化单项式的系数构成的括号矩阵的行列式，推导出 Chow 形式。
• 通过将特定整数向量构成的对角矩阵代入 Chow 形式，获得完整的判别式，从而得到一个对偶化的多项式。
• 通过单位根的乘积公式计算判别式，即在双二次方程的公共零点处求值一个三项式。
• 利用 Pick 公式对牛顿多边形进行分析，从而对判别式中项数进行界定，得出以配置向量行列式为参数的线性上界。
• 应用 Cayley 构造，将判别式表示为 r 个双二次式与一个洛朗三项式的稀疏结式。

实验结果

研究问题

• RQ1 何时余维数为二的环道曲面的项目对偶曲面为超曲面？其组合刻画为何？
• RQ2 余维数为二的环道曲面的判别式牛顿多边形的确切结构为何？
• RQ3 混合方程组的判别式中出现多少项？该数量能否被紧致界定？
• RQ4 余维数为二的环道曲面的 Chow 形式能否表示为由系数参数导出的括号矩阵的行列式？
• RQ5 Cayley 技巧如何将环道曲面的判别式与双二次式与三项式方程组的稀疏结式联系起来？

主要发现

• 判别式的牛顿多边形同构于原点与 Gale 对偶配置中两个向量 c₁, c₂ 的凸包。
• 在示例中，判别式恰好有 12 项，可因式分解为三个双二次式与一个次数为 10 的不可约五次因式。
• 判别式中项数的上界为 (5/4)Γ + 7/4，其中 Γ = |det(c₁, c₂)|，当 c₁ 与 c₂ 生成 ℤ² 时该界为紧致。
• 通过将一个 9×2 的整数向量矩阵代入 Chow 形式，得到恰好含 12 项的多项式，从而获得完整判别式。
• 对偶曲面为超曲面当且仅当次级多边形不具有中心对称性，此结论由推论 4.5 确立。
• 示例中的判别式是包含一个三项式与三个双二次式的稀疏结式，验证了其在超几何函数理论中的作用。