[论文解读] Some results on inhomogeneous discriminants

María Angélica Cueto, Alicia Dickenstein|ArXiv.org|Oct 1, 2006

Polynomial and algebraic computation参考文献 16被引用 13

一句话总结

本文研究了整数矩阵在最大子式最大公因数任意時，非齐次稀疏判别式的广义霍恩-卡普兰诺夫有理参数化。证明了所有此类参数化均为双有理映射，建立了非饱和与饱和格点判别式之间的精确关系，并提供了一种组合算法以计算统一（共）维数为3时判别式的次数。

ABSTRACT

We study generalized Horn-Kapranov rational parametrizations of inhomogeneous sparse discriminants from both a theoretical and an algorithmic perspective. We show that all these parametrizations are birational and prove some results on the corresponding implicit equations. We also propose a combinatorial algorithm to compute the degree of inhomogeneous discriminantal surfaces associated to uniform matrices.

研究动机与目标

• 研究由有理霍恩-卡普兰诺夫参数化产生的广义非齐次判别式的几何与代数性质。
• 解决由整数矩阵定义的参数化在最大子式最大公因数任意时的双有理性问题，将卡普兰诺夫的结果从单模情形推广至一般情形。
• 建立非饱和格点判别式与其中心化格点判别式之间的精确代数关系。
• 开发一种组合算法，用于计算统一（共）维数为3时判别式的次数。
• 将结果应用于通过凸包补集的归一化体积计算未混合稀疏多项式系统在原点的局部重数。

提出的方法

• 使用形如 $ y_j = \prod_{i=1}^n (b_{i1}u_1 + \cdots + b_{im}u_m)^{b_{ij}} $（$ j=1,\dots,m $）的霍恩-卡普兰诺夫有理参数化，其中 $ B $ 为Gale对偶矩阵。
• 证明对数高斯映射为双有理映射当且仅当参数化来源于一个正则、非退化的整数矩阵 $ C $，且 $ g_C \neq 0 $，从而推广了卡普兰诺夫的结果。
• 通过 $ \Delta_B $（其中 $ B $ 是 $ \mathbb{Z}C $ 的饱和格的 $ \mathbb{Z} $-基）将广义非齐次判别式 $ \Delta_C $ 与饱和情形联系起来。
• 应用算法4.1，通过线性坐标变换将理想转化为单项式理想，以计算基点处的局部重数。
• 使用Cayley技巧将混合稀疏结式转化为稀疏判别式，将结果与经典超几何系统联系起来。
• 利用Bernstein定理与归一化体积计算，将零维理想重数与第一象限中凸包补集的体积联系起来。

实验结果

研究问题

• RQ1 在何种条件下，非齐次判别式的霍恩-卡普兰诺夫参数化是双有理的？
• RQ2 与非饱和格点 $ \mathbb{Z}C $ 相关的判别式 $ \Delta_C $ 与其中心化饱和格点的判别式 $ \Delta_B $ 之间有何关系？
• RQ3 在统一（共）维数为3的情形下，是否能通过组合方法计算非齐次判别式的次数？
• RQ4 在原点处，一个一般未混合稀疏系统的局部重数的几何意义是什么？
• RQ5 是否总能通过线性坐标变换将基点处的局部理想转化为单项式理想？

主要发现

• 所有由正则、非退化的整数矩阵 $ C $（满足任意 $ g_C \neq 0 $）定义的非齐次判别式的霍恩-卡普兰诺夫参数化均为双有理映射。
• 广义非齐次判别式 $ \Delta_C $ 通过单项式变换与饱和判别式 $ \Delta_B $ 相关联，其系数与单项式计数在缩放意义下保持不变。
• 提供了一种组合算法以计算统一（共）维数为3时判别式的次数，示例显示判别式次数为18。
• 一般未混合稀疏系统在原点的局部重数等于其平移指数集凸包在第一象限补集的归一化体积。
• 基点处的局部理想可能或不可能通过线性坐标变换转化为单项式理想，且此类变换无一般规律可循。
• 推论4.8的结果确认：对于纯幂单项式系统，其在原点的重数由 $ \mathcal{K}_A $ 的归一化体积给出，其中 $ \mathcal{K}_A $ 为 $ \{\alpha_i + \mathbb{R}_{\geq 0}^d\} $ 的凸包的补集。