[论文解读] A computational approach to the discriminant of homogeneous polynomials

Laurent Busé, Jean-Pierre Jouanolou|arXiv (Cornell University)|Oct 17, 2012

Polynomial and algebraic computation参考文献 9被引用 3

一句话总结

本文通过结式提出了一种计算性的、基不变的齐次多项式判别式定义，确保在任意系数环上基变换下保持稳定。当环是满足 2 ≠ 0 的整环时，判别式为素多项式（模单位）；否则为素多项式的平方，从而为代数几何与数论应用提供了形式化且无歧义的框架。

ABSTRACT

In this paper, the discriminant of homogeneous polynomials is studied in two particular cases: a single homogeneous polynomial and a collection of n-1 homogeneous polynomials in n variables. In these two cases, the discriminant is defined over a large class of coefficient rings by means of the resultant. Many formal properties and computational rules are provided and the geometric interpretation of the discriminant is investigated over a general coefficient ring, typically a domain.

研究动机与目标

• 解决判别式理论中的基础性问题，如在特殊化下不稳定及模常数因子的歧义性。
• 在一般系数环（包括整环和任意交换环）上无歧义地定义判别式。
• 为判别式提供一个形式化且计算稳健的框架，确保其在基变换下保持稳定。
• 通过将判别式嵌入结式理论中，推广现有定义，确保严格的代数性质。
• 在单个齐次多项式以及 $n-1$ 个 $n$ 个变量的多项式情况下，建立判别式的几何与代数性质。

提出的方法

• 将判别式定义为结式的一个特定实例，利用 Jouanolou 的形式化方法确保其在基变换下的不变性。
• 当 $c = n-1$ 时，通过结式构造判别簇的通用方程，并推导出完整的基变换公式。
• 当 $c = 1$ 时，通过 Hessian 行列式定义判别式，并与结式关联，实现精确的代数刻画。
• 论文使用理想论技术，包括转置雅可比矩阵理论与 Tor 蕴涵函子，分析判别式理想的结构。
• 关键代数工具包括 Cramer 法则、正则序列，以及商环中非零因子的概念，用于证明单射性与同构定理。
• 通过分次环同构及商环 $kC / ext{TF}_{rak{m}}(rak{D})$ 的性质，验证构造的一致性，确保在不同设定下保持一致。

实验结果

研究问题

• RQ1 如何在一般系数环上无歧义地定义齐次多项式的判别式，避免对域假设或常数因子的依赖？
• RQ2 在整环上，$n-1$ 个 $n$ 个变量的齐次多项式情况下，判别式理想的精确代数结构是什么？
• RQ3 判别式在基变换下如何表现？能否推导出保持其几何意义的通用公式？
• RQ4 在系数环中，判别式为何种素多项式或其平方的条件是什么？
• RQ5 判别式能否以保持其计算与形式性质的方式与结式严格关联？

主要发现

• 判别式被定义为特定的结式，确保在任意系数环上基变换下不变，且在特殊化下保持稳定。
• 在整环 $k$ 上，若 $k$ 中 $2 \neq 0$，则判别式为素多项式；否则为素多项式的平方。
• 当 $n$ 为奇数或 $2$ 是 $k$ 中的非零因子时，映射 $\bar{\varphi}$ 为同构，建立了不变量环与商环之间的精确同构。
• 去齐次化多项式的 Hessian 行列式整除某一理想，由此得出 $a \in \mathrm{TF}_{\frak{m}}(\mathcal{D}^2)$，确认了理想成员关系。
• 在所述条件下，判别式在商环 $kC / \mathrm{TF}_{\frak{m}}(\mathcal{D})$ 中为非零因子，这对同构的单射性至关重要。
• 论文证明了当 $n$ 为奇数或 $2$ 是非零因子时，$\partial D / \partial \mathcal{E}_n$ 在商环中不是零因子，这对最终同构结果至关重要。