[論文レビュー] 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₂不変式および半不変式代数、およびWeitzenböck微分作用素の核を計算するためのMapleパッケージSL_2_Inv_Kerを提示する。このパッケージは多変数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₂作用下での与えられた次数のn個の二進形式の関連不変式および半不変式代数の最小生成集合を計算するための計算ツールを開発すること。
• Weitzenböck微分作用素の核を効率的に計算すること。これは関連半不変式代数と同型である。
• Poincaré級数の分母次数β_dによって定まる次数上限までに不変式を計算するための効率的なアルゴリズムを提供すること。
• 次数min(18, β_d)までに、不変式を18またはβ_dのうち小さい方まで、高い正確性で計算する方法を実装・検証すること。

提案手法

• 関連半不変式代数の多変数Poincaré級数を計算することで、次数上限β_dを特定する。
• Poincaré級数の各単項式項に対して、線形代数を用いて対応する不変式／半不変式空間の各同次成分の基底を計算する。
• 各基底から既約多項式を抽出し、候補となる最小生成集合を構成する。
• 計算の実行可能性を保証するため、次数min(18, β_d)でアルゴリズムを停止する。
• 2つのアルゴリズムを実装：一般の半不変式用のものと、単変数Poincaré級数を用いた不変式専用の高速版。
• パッケージはXinのEll2.mplと統合され、多項式および線形代数演算にはMapleの組み込み機能が利用される。

実験結果

リサーチクエスチョン

• RQ1 与えられた次数のn個の二進形式のSL₂作用下での関連不変式代数の最小生成集合は何か？
• RQ2 多項式不変式を用いて、Weitzenböck微分作用素の核を効率的に計算するにはどうすればよいか？
• RQ3 次数上限β_dが関連不変式代数における既約不変式の次数の上限としてどの程度有効に機能するか？
• RQ4 次数min(18, β_d)までに、実用的な状況で最小生成集合を信頼性高く計算できるか？
• RQ5 既知の計算可能な状況において、この上限までに計算された不変式集合が、最小生成集合と一致するか？

主な発見

• パッケージは、最大11個の二進形式について、min(18, β_d)の次数制限内でSL₂不変式代数の最小生成集合を正常に計算できた。
• 3つの立方体（d = 1,1,1）の場合、10個の既約半不変式が計算され、それぞれ次数1が3個、次数2が4個、次数3が3個であった。
• ブロックサイズ(1,3)のWeitzenböck微分作用素の場合、核は13個の既約生成元を持ち、次数2から13まで分布していた。
• 5つの形式（d = 1,1,1,2,2）の場合、24個の既約不変式が検出され、それぞれ次数2が6個、次数3が12個、次数4が6個であった。
• テストされたすべてのケース（例えばBrouwerのデータベースなど）において、計算された生成集合は既知の最小生成集合と一致しており、β_dが既約不変式の次数の上限を規定するという仮説を支持する。
• 不変式専用に最適化された2番目のアルゴリズムは、小規模な次数およびn > 4の場合に著しく高速であり、実用的状況での効率的計算を可能にした。