[论文解读] The MAPLE package for $SL_2$-invariants and kernel of Weitzenböck derivations

Leonid Bedratyuk|arXiv (Cornell University)|Jan 3, 2011

Homotopy and Cohomology in Algebraic Topology被引用 4

一句话总结

本论文介绍了 SL_2_Inv_Ker Maple 工具包，用于计算二元型在 SL₂ 作用下的最小生成集以及 Weitzenböck 导算子的核。该工具包利用多元 Poincaré 系数与线性代数方法，计算至 min(18, β_d) 次的不变量，实验结果表明该集合通常即为联合不变量代数的最小生成集。

ABSTRACT

We offer a Maple package SL\_2\_Inv\_Ker for calculating of minimal generating sets for the algebras of joint invariants/semi-invariants of binary forms and for calculations of the kernels of Weitzenböck derivations.

研究动机与目标

• 开发一种计算工具，用于确定二元型在 SL₂ 作用下联合不变量与半不变量代数的最小生成集。
• 计算 Weitzenböck 导算子的核，其同构于联合半不变量代数。
• 提供一种高效算法，用于计算至由 Poincaré 系数分母次数 β_d 决定的次数边界的不变量。
• 实现并验证一种方法，可计算至 18 次或 β_d 次（取较小值）的不可约不变量，且在已知情形下具有高精度。

提出的方法

• 通过计算联合半不变量代数的多元 Poincaré 系数，确定次数边界 β_d。
• 对 Poincaré 系数中的每一项单项式，利用线性代数方法计算对应齐次分量的不变量/半不变量空间的一组基。
• 从每组基中提取不可约多项式，构成候选的最小生成集。
• 为确保计算可行性，算法在次数 min(18, β_d) 处停止。
• 实现了两种算法：一种用于一般半不变量，另一种针对不变量使用单变量 Poincaré 系数的优化变体。
• 该工具包与 Xin 的 Ell2.mpl 集成，用于符号计算，并利用 Maple 内置的多项式与线性代数运算能力。

实验结果

研究问题

• RQ1 在 SL₂ 作用下，给定次数的 n 个二元型的联合不变量代数的最小生成集是什么？
• RQ2 如何利用多项式不变量高效计算 Weitzenböck 导算子的核？
• RQ3 次数边界 β_d 在多大程度上可作为联合不变量代数中不可约不变量次数的上界？
• RQ4 该算法能否在实际情形中可靠地计算至 min(18, β_d) 次的最小生成集？
• RQ5 在已知可计算的情形下，该边界内计算出的不变量集合是否与最小生成集一致？

主要发现

• 该工具包成功计算了最多 11 个二元型的 SL₂ 不变量代数的最小生成集，次数上限为 min(18, β_d)。
• 在三个三次型（d = 1,1,1）的情形下，工具包计算出 10 个不可约半不变量，其中 3 个为 1 次，4 个为 2 次，3 个为 3 次。
• 在块大小为 (1,3) 的 Weitzenböck 导算子情形下，其核有 13 个不可约生成元，分布在 2 次至 13 次之间。
• 在五个形式（d = 1,1,1,2,2）的情形下，算法找到 24 个不可约不变量，其中 6 个为 2 次，12 个为 3 次，6 个为 4 次。
• 在所有测试情形（如 Brouwer 数据库）中，计算出的生成集与已知的最小生成集一致，支持了 β_d 为不可约不变量次数上界的猜想。
• 针对不变量优化的第二套算法在小次数且 n > 4 的情形下显著更快，使实际应用中的高效计算成为可能。