[論文レビュー] Invariants of commuting matrices

Claudio Procesi|arXiv (Cornell University)|Jan 21, 2015

Advanced Algebra and Geometry参考文献 7被引用数 3

ひとこと要約

本稿では、$ m $-tuple の可換 $ n \times n $ 行列の $ GL(n,F) $-共役作用に関しての不変式環が、対称群 $ S_n $ の作用下での $ n $ 変数の対称多項式環に同型であることを確立する。主な結果は、古典的不変式理論と多重線形還元を用いて証明され、可換行列の不変式から対称多項式への制限写像が同型であることを確認しており、可換行列に関して長年の未解決問題を解決するとともに、$ m \geq 2 $ のすべての $ m $ に拡張される。証明はトレース不変式の構造と、集合分割によってパラメトライズされる組合せ論的データに依存する。

ABSTRACT

We comment two papers of Domokos and Vaccarino proving that the restriction to diagonal matrices of the scheme of commuting matrices is an isomorphism when restricted to invariants to the symmetric group invariants.

研究の動機と目的

• 可換行列の関係式 $[X_i, X_j] = 0$ が生成するイデアルが、特徴が 0 の体上の $ n \times n $ 行列の多項式環において素イデアルかどうかという未解決問題を解消すること。
• $ m $-tuple の可換行列の $ GL(n,F) $-共役作用に関する不変式環と、$ S_n $-作用下での $ m $ 個の対角行列の不変式環との間の構造的同型を確立すること。
• 古典的不変式理論と多項式写像を用いて、可換行列の不変式環を統一的枠組みで理解するためのフレームワークを提供すること。
• 既存の $ m=2 $ の結果を、任意の $ m $、特に $ m = \infty $ にまで一般化し、多重線形還元技術を用いること。

提案手法

• 可換行列の不変式から対称多項式への制限写像 $ \tilde{\pi}: A_{n,m}^{GL(n,F)} \to B_{n,m}^{S_n} $ の使用。
• ロビーの定理を多項式写像に適用し、行列式写像 $ D: F[x_1,\dots,x_m] \to A_{n,m}^{GL(n,F)} $ が $ n $-次の対称冪を通じて因数分解できることの応用。
• アルノルドの方法による多重線形不変式への還元により、同型性を確認するには多重線形要素での検証で十分であることを示すこと。
• 集合分割を用いて、$ B_{n,m}^{S_n} $ 内の多重線形不変式を、$ [m] $ を高々 $ n $ 個の部分集合に分割するものにパラメトライズすること。
• トレース $ tr(M) $ の積として $ A_{n,m}^{GL(n,F)} $ 内の不変式を構成し、因子の数が $ n $ 以下に制限されること。
• $ \bar{D} $ の単射性と全射性の証明により、多項式の辞書的順序に基づく逆対応が成り立つことの示唆。

実験結果

リサーチクエスチョン

• RQ1 特徴が 0 の体上の $ n \times n $ 行列の多項式環において、可換関係式 $[X_i, X_j] = 0$ が生成するイデアルは素イデアルか？
• RQ2 $ m $-tuple の可換 $ n \times n $ 行列の $ GL(n,F) $-共役作用に関する不変式環は、対称代数として記述可能か？
• RQ3 可換行列の不変式から $ n $ 変数の対称多項式への制限写像が、すべての $ m \geq 2 $ に対して不変式環の同型を誘導するか？
• RQ4 可換行列の設定における多重線形不変式は、$ [m] $ の集合分割といった組合せ論的データとどのように対応するか？
• RQ5 $ m = \infty $ のときの不変式環の構造は何か？ また、対称多項式とはどのように関係するか？

主な発見

• 制限写像 $ \tilde{\pi}: A_{n,m}^{GL(n,F)} \to B_{n,m}^{S_n} $ は同型であり、可換行列の不変式と対称多項式の間の完全な対応関係を確立する。
• 不変式環 $ A_{n,m}^{GL(n,F)} $ は、ケイリー＝ハミルトンの恒等式により、高々 $ n $ 個の因子を持つトレース $ tr(M) $ の積によって生成される。
• 多重線形不変式 $ A_{n,m}^{GL(n,F)} $ は、$ \Lambda = \{S_1, \dots, S_k\} $ が $ [m] $ を高々 $ n $ 個の部分集合に分割するときの $ t_\Lambda = \prod_{i=1}^k tr_{S_i} $ の形の要素によって張られる。
• 各不変式 $ t_\Lambda $ の先行単項式は、$ S_n $ による作用の下でのその軌道の辞書的順序最大代表元に対応し、線形独立性を保証する。
• $ A_n $ のノーマル化 $ J $ には、非ゼロの $ GL(n,F) $-不変要素を含まず、不変式環がリダクティブであることを示唆する。
• 不変式環の同次成分はシュール関手 $ S_\lambda(F^m) $ に分解され、多重線形部分は $ S_m $ のヤング部分群の陪集合上の置換表現に対応する。