[论文解读] On Invariant Theory

Valeri V. Dolotin|ArXiv.org|Dec 14, 1995

Mathematics and Applications被引用 14

一句话总结

本文提出了一种利用从其偏导数导出的多重线性形式的判别式，计算 $n$-元型式不变量的新方法——该方法推广了经典判别式与结式。通过定义超极化与超Hessian，作者证明这些判别式可生成 $GL_n$-不变多项式，从而实现通过多维行列式系统性地生成不变量，且在二元四次型式上给出了显式公式。

ABSTRACT

Here we develop a technique of computing the invariants of $n-$ary forms and systems of forms using the discriminants of corresponding multilinear forms built of their partial derivatives, which should be cosidered as analogues of classical discriminants and resultants for binary forms.

研究动机与目标

• 开发一种系统性技术，通过多重线性形式的判别式计算 $n$-元型式的不变量。
• 将经典不变量（如判别式与结式）推广至高阶与多重线性情形。
• 建立一个框架，使超极化与超Hessian能生成 $GL_n$-不变多项式。
• 提供一种算法路径，通过多维行列式生成不变量环的完整结构。
• 通过二元四次型式的显式计算，展示该方法的有效性。

提出的方法

• 将齐次多项式 $f$ 的 $K$-极化定义为：对每个 $K = (k_1, \dots, k_d)$ 中的指标取对应阶数 $k_i$ 的混合偏导数，所得的 $d$-重线性型式。
• 将 $(k_1, \dots, k_d)$-Hessian 定义为该 $K$-极化型式的判别式，记为 $\mathcal{H}^{(k_1\dots k_d)}(f)$，其结果为 $GL_n$-不变多项式。
• 以参考文献 [1] 中的算法计算 $d$-重线性型式判别式，作为生成不变量的核心计算引擎。
• 通过组合多个多项式的偏导数构造多重线性型式，将该构造应用于多项式组，导出广义结式。
• 通过余切丛张量幂的反对称收缩定义 $k$-Gramm复形，得到流形上的测度序列。
• 通过 $k$-Gramm复形对 de Rham 复形进行变形，当 $k = d!$ 时得到无穷阶微分算子，当 $k = d!/2$ 时恢复 de Rham 复形。

实验结果

研究问题

• RQ1 如何从偏导数导出的多重线性型式中系统性地生成 $n$-元型式的不变量？
• RQ2 $K$-极化多重线性型式的判别式与原型式经典不变量之间的关系为何？
• RQ3 是否可以算法化地定义并计算 Hessian 与结式的高阶推广？
• RQ4 $k$-Gramm复形与已知复形（如 de Rham 复形）有何关联？
• RQ5 二元四次型式不变量环的结构如何？是否可通过超Hessian 重构？

主要发现

• 二元四次型式 $f$ 的 $(1,1,1)$-Hessian 是一个四次多项式 $f^{111}$，其判别式满足 $D(f^{111}) = 2^{36}3^6 \mathcal{D} \mathcal{H}^6$，其中 $\mathcal{D}$ 为判别式，$\mathcal{H}$ 为 $f$ 的 Hankel 行列式。
• 在 $f$ 与其 $(1,1,1)$-Hessian 之间的结式为 $R(f, f^{111}) = 2^{24}3^{12} \mathcal{D}^2 \mathcal{A}^4$，其中 $\mathcal{A}$ 为对偶不变量。
• 超Hessian构造可生成所有经典二元型式的不变量：判别式 $\mathcal{D}$、Hankel 行列式 $\mathcal{H}$ 与对偶不变量 $\mathcal{A}$。
• $K$-Hessian $\mathcal{H}^{(k_1\dots k_d)}(f)$ 始终为 $GL_n$-不变量的乘积，证实其在生成不变量环中的作用。
• 当 $k = d!/2$ 时，$k$-Gramm 复形恢复 de Rham 复形；当 $k = d!$ 时，其生成一个具有无穷阶微分的复形。
• 该构造提供了一条完整的算法路径，通过多维行列式计算不变量，前提是可访问 $d$-重线性型式判别式的计算方法（如文献 [1] 所述）。