[论文解读] The MAPLE package for calculating Poincaré series

Leonid Bedratyuk|arXiv (Cornell University)|Jun 24, 2010

Advanced Algebra and Geometry被引用 6

一句话总结

本文介绍了 Maple 工具包 Poincare_Series，用于计算二元型式不变量、协变量以及联合不变量/协变量的 Poincaré 系列，同时也适用于 Weitzenböck 导数的核与多变量双变量系列。该工具包基于 q-移位阶乘和微分算子实现闭式公式，能够在经典不变量理论的分次代数中精确计算有理函数。

ABSTRACT

We offer a Maple package { t Poincare\_Series} for calculating the Poincaré series for the algebras of invariants/covariants of binary forms, for the algebras of joint invariants/covariants of several binary forms, for the kernel of Weitzenböck derivations and for the multivariate Poincaré series of algebras of joint invariants/covariants of several binary forms.

研究动机与目标

• 为经典不变量理论中有限生成分次代数的 Poincaré 系列提供计算工具。
• 实现单个和多个二元型式不变量与协变量 Poincaré 系列的闭式公式。
• 将计算扩展至联合不变量与协变量的多变量和双变量 Poincaré 系列。
• 通过与协变量代数的同构关系，实现 Weitzenböck 导数核的 Poincaré 系列计算。
• 为不变量理论研究者提供用户友好、可重用的 Maple 工具包，包含已记录的命令与示例。

提出的方法

• 该工具包使用 Springer 的公式计算二元 d-型式的不变量 Poincaré 系列，涉及 q-移位阶乘和次数降低算子 φn。
• 对于协变量，采用 Springer 公式的修改版本，以 (1+z) 代替 (1−z²)，保持相同的结构形式。
• 对于多个型式的联合不变量与协变量，采用包含微分与极限的多变量公式，以计算有理生成函数。
• 通过与协变量代数的同构关系，计算 Weitzenböck 导数的核，使用相同的系列公式。
• 双变量与多变量 Poincaré 系列通过分别对次数与阶使用变量的生成函数进行计算，结合有理函数与微分算子。
• 实现依赖于 Xin 的 Ell2.mpl 等辅助工具包，整合 Maple 中的符号微分、级数展开与有理函数化简。

实验结果

研究问题

• RQ1 如何利用闭式公式高效计算二元 d-型式不变量代数的 Poincaré 系列？
• RQ2 单个二元型式协变量代数的 Poincaré 系列结构为何？与不变量情形有何不同？
• RQ3 多个二元型式联合不变量与协变量的 Poincaré 系列能否通过统一的有理函数公式表达？
• RQ4 如何利用不变量理论同构关系计算 Weitzenböck 导数核的 Poincaré 系列？
• RQ5 协变量与联合不变量的双变量与多变量 Poincaré 系列形式为何？如何实现符号计算？

主要发现

• 二元 6-型式不变量的 Poincaré 系列为有理函数 (z^8 + z^7 - z^5 - z^4 - z^3 + z + 1) / ((z^6 + z^5 + z^4 - z^2 - z - 1)(z^6 + z^5 - z - 1)(-1 + z^2)(-1 + z))。
• 二元 6-型式协变量的 Poincaré 系列为 (z^10 + z^8 + 3z^7 + 4z^6 + 4z^5 + 4z^4 + 3z^3 + z^2 + 1) / ((z^6 + z^5 + z^4 - z^2 - z - 1)(z^6 + z^5 - z - 1)(-1 + z^2)(-1 + z)^3)。
• 对于三个度数为 (1,2,3) 的二元型式，联合不变量的 Poincaré 系列为 (z^12 + z^9 + 2z^8 + 3z^7 + 3z^6 + 3z^5 + 2z^4 + z^3 + 1) / ((-1 + z^4)^2(-1 + z^3)^2(-1 + z)(-1 + z^2)(z^4 + z^3 + z^2 + z + 1))。
• 三个度数为 2 的二元型式协变量的 Poincaré 系列为 (z^4 + 4z^2 + 1) / ((-1 + z)^3(-1 + z^2)^5)。
• 具有一个大小为 5 的 Jordan 块（度数为 4）的 Weitzenböck 导数核的 Poincaré 系列为 (z^2 - z + 1) / ((-1 + z^2)(-1 + z^3)(-1 + z)^2)。
• 二元 4-型式协变量的双变量 Poincaré 系列为 (t^4 z^2 - z t^2 + 1) / ((-1 + z t^2)(-1 + z t^4)(-1 + z^2)(-1 + z^3))。