[論文レビュー] Computing with matrix invariants

Vesselin Drensky|ArXiv.org|Jun 30, 2005

Advanced Topics in Algebra参考文献 50被引用数 24

ひとこと要約

本稿は、$GL_n(\mathbb{C})$ による $d$ 個の行列の同時共役作用の下での不変量の理論について包括的なサーベイを提示する。主な焦点は、最小生成集合、定義関係、およびヒルベルト系列の重複度に向けられている。主な貢献は、$n=3, d=2$ および $n=4, d=2$ の場合におけるヒルベルト系列重複度の明示的計算と漸近公式の導出であり、これらは対称関数論とコンピュータ支援代数的技法を用いて得られている。

ABSTRACT

This is an improved version of the talk of the author given at the Antalya Algebra Days VII on May 21, 2005. We present an introduction to the theory of the invariants under the action of GL(n,C) by simultaneous conjugation of d matrices of size n x n. Then we survey some results, old or recent, obtained by a dozen of mathematicians, on minimal sets of generators, the defining relations of the algebras of invariants and on the multiplicities of the Hilbert series of these algebras. The picture is completely understood only in the case n=2. Besides, explicit minimal sets of generators are known for n=3 and any d and for n=4, d=2. The multiplicities of the Hilbert series are obtained only for n=3,4 and d=2. For n > 2 most of the concrete results are obtained with essential use of computers.

研究の動機と目的

• 同時共役作用 $GL_n(\mathbb{C})$ の下での $d$ 個の行列の不変量理論の最新状況をサーベイすること。
• これらの不変量代数における最小生成集合、定義関係、ヒルベルト系列の既知の結果を要約すること。
• $3\times3$ および $4\times4$ 行列の2つの行列の不変量代数 $C_{32}$ と $C_{42}$ のヒルベルト系列における既約表現の重複度の明示的公式を提示すること。
• 特に $n>2$ の場合、閉形式の結果が稀であるため、計算代数の役割を強調すること。

提案手法

• 生成関数としてのヒルベルト系列の表現を、対称関数およびシュール関数を用いて表現すること。
• 2変数の対称関数に対する重複度級数 $M'(f,t,v)$ の計算により、表現の重複度を抽出すること。
• モリエン・ヴェイルの公式と有理関数の分解を用いてヒルベルト系列の構造を分析すること。
• 複雑な有理関数表現の導出および検証に、計算代数システムを活用すること。
• トレース代数 $T_{nd}$ と行列不変量代数 $C_{nd}$ の関係を応用し、$m_\lambda(T_{nd}) \approx c \cdot m_\lambda(C_{nd})$ のような結果を転送すること。
• 以前の研究における技術的誤り（特に $C_{32}$ に関するもの）を、厳密な代数的検証により是正・精錬すること。

実験結果

リサーチクエスチョン

• RQ1 $GL_n(\mathbb{C})$ による $d$ 個の行列の同時共役作用の下での不変量代数の構造はいかなるものか？
• RQ2 $n=3$ で $d$ が任意の値、または $n=4$ で $d=2$ の場合、不変量代数の最小生成集合は何か？
• RQ3 これらの不変量代数の生成元間の定義関係は何か？
• RQ4 不変量代数 $C_{nd}$ のヒルベルト系列は何か？ その既約成分はどのように分解されるか？
• RQ5 $C_{32}$ および $C_{42}$ のヒルベルト系列における既約表現の重複度の漸近公式は何か？

主な発見

• $n=3$, $d=2$ の場合、$C_{32}$ のヒルベルト系列の重複度級数は、$t$ と $v$ の有理関数として明示的に計算され、対称有理関数を含む閉形式の表現が得られている。
• $p>2q$ の場合、重複度 $m(p,q)$ の漸近的挙動は $\frac{p^2 q^5}{17280} - \frac{11pq^6}{103680} + \frac{71q^7}{1451520} + \mathcal{O}((p+q)^6)$ で与えられ、$2q \geq p \geq q$ の場合、$(2q-p)^7$ を含む補正項を含む別の有理関数表現が得られている。
• $n=4$, $d=2$ の場合、重複度 $m_\lambda(C_{42})$ は3つの項 $m_1 + m_2 + m_3$ の和として表され、各項は $\lambda_1, \lambda_2$ に関する明示的な有理関数であり、$\lambda_1 - \lambda_2$ および $\lambda_2$ の高次単項式を含み、階乗および $2, 3, 5$ の累乗を係数に含む。
• $T_{32}$ の重複度級数は $C_{32}$ の約9倍であり、$m_\lambda(T_{32}) \approx 9m_\lambda(C_{32})$ である。同様に $T_{42}$ については $16m_\lambda(C_{42})$ まで、低次の項を除いて成り立つ。
• $C_{33}$ および $T_{33}$ の結果は、現在の手法では到達不可能であり、3変数以上の対称関数の技法が、具体的な計算にはまだ有効でないためである。
• 本稿は、$C_{32}$ に関する以前の研究における技術的誤りを是正し、厳密な代数的検証により導出された重複度級数の妥当性を確認している。