[論文レビュー] On Invariant Theory

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

Mathematics and Applications被引用数 14

ひとこと要約

本稿では、偏導関数から導かれる多重線形形式の判別式を用いて、$n$-次形式の不変量を計算する新規な手法を提示する。これは古典的判別式および結果式の一般化である。超極化および超ヘッシアンを定義することで、これらの判別式が$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$-次形式の不変量を体系的に計算する技術を開発すること。
• 古典的不変量（判別式や結果式）を高次および多重線形設定に一般化すること。
• 超極化および超ヘッシアンが$GL_n$-不変多項式を生成する枠組みを確立すること。
• 多次元行列式を用いた不変量の完全な環の生成へのアルゴリズム的道筋を提供すること。
• 二元四次形式における明示的計算を通じて、本手法の有効性を示すこと。

提案手法

• 同次多項式$f$の度数$k$と、$K = (k_1, \dots, k_d)$に対し、各インデックスに対して$K$の各成分の混合偏導関数（$k_i$階）をとることで得られる$d$-重線形形式として、$f$の$K$-極化を定義する。
• $(k_1, \dots, k_d)$-ヘッシアンを、$K$-極化形式の判別式として定義し、$\mathcal{H}^{(k_1\dots k_d)}(f)$と表記する。これにより$GL_n$-不変多項式が得られる。
• $d$-重線形形式の判別式（参考文献[1]のアルゴリズムにより計算可能）を、不変量生成のコアとなる計算エンジンとして用いる。
• 複数の多項式の偏導関数から多重線形形式を構成することで、形式系に応用し、一般化された結果式を導出する。
• 余接バンドルのテンソル冪の反対称的縮約により$k$-グラム複体を定義し、多様体上の測度の系列を導出する。
• de Rham複体の変形として$k$-グラム複体を構築し、$k = d!$のとき無限階微分作用素が得られ、$k = d!/2$のときde Rham複体が回復されることを示す。

実験結果

リサーチクエスチョン

• RQ1 偏導関数から導かれる多重線形形式から、$n$-次形式の不変量をどのように体系的に生成できるか？
• RQ2 $K$-極化された多重線形形式の判別式と、元の形式の古典的不変量との関係は何か？
• RQ3 ヘッシアンおよび結果式の高次一般化を定義し、アルゴリズム的に計算可能か？
• RQ4 $k$-グラム複体は、de Rham複体などの既知の複体とどのように関係するか？
• RQ5 二元四次形式の不変量環の構造は何か？また、超ヘッシアンを用いてその環を回復可能か？

主な発見

• 二元四次形式$f$の$(1,1,1)$-ヘッシアンは、度数4の多項式$f^{111}$であり、その判別式は$D(f^{111}) = 2^{36}3^6 \mathcal{D} \mathcal{H}^6$を満たす。ここで$\mathcal{D}$は判別式、$\mathcal{H}$は$f$のハンケル行列式である。
• $f$とその$(1,1,1)$-ヘッシアンの結果式は$R(f, f^{111}) = 2^{24}3^{12} \mathcal{D}^2 \mathcal{A}^4$を満たす。ここで$\mathcal{A}$はアポラル不変量である。
• 超ヘッシアン構成により、二元形式の古典的不変量すべてが生成可能である：判別式$\mathcal{D}$、ハンケル行列式$\mathcal{H}$、アポラル不変量$\mathcal{A}$。
• $K$-ヘッシアン$\mathcal{H}^{(k_1\dots k_d)}(f)$は常に$GL_n$-不変量の積として表され、不変量環生成におけるその役割を裏付けている。
• $k = d!/2$のとき$k$-グラム複体はde Rham複体を回復し、$k = d!$のとき無限階微分作用素を持つ複体が得られる。
• 判別式計算（[1]の方法による）が利用可能ならば、多次元行列式を用いた不変量計算の完全なアルゴリズム的ルートが提供される。