[論文レビュー] Quasi-identities on matrices and the Cayley-Hamilton polynomial

Matej Brešar, Claudio Procesi+1 more|arXiv (Cornell University)|Dec 19, 2012

Advanced Topics in Algebra参考文献 21被引用数 6

ひとこと要約

この論文は、行列代数 $M_n(F)$ 上の準同型恒等式がカーライ・ハミルトン恒等式から導かれるかどうかを調査しており、多くの場合（特に定数項がゼロの中心多項式を乗じた場合）には肯定的であるが、一般には否定的であることを示している。著者らは、カーライ・ハミルトン恒等式から導かれない明示的な反対称的準同型恒等式を構成し、そのような恒等式の族を完全に記述することで、準同型恒等式の空間をカーライ・ハミルトンイデアルで割った商空間の幾何的構造を明らかにした。

ABSTRACT

We consider certain functional identities on the matrix algebra $M_n$ that are defined similarly as the trace identities, except that the "coefficients" are arbitrary polynomials, not necessarily those expressible by the traces. The main issue is the question of whether such an identity is a consequence of the Cayley-Hamilton identity. We show that the answer is affirmative in several special cases, and, moreover, for every such an identity $P$ and every central polynomial $c$ with zero constant term there exists $m\in\mathbb{N}$ such that the affirmative answer holds for $c^mP$. In general, however, the answer is negative. We prove that there exist antisymmetric identities that do not follow from the Cayley-Hamilton identity, and give a complete description of a certain family of such identities.

研究の動機と目的

• すべての $M_n(F)$ 上の準同型恒等式がカーライ・ハミルトン恒等式の結果であるかどうかを特定すること。
• カーライ・ハミルトン恒等式から導かれるものとみなされる恒等式を除いた、準同型恒等式の空間の構造を分析すること。
• 特に反対称的なものであるが、関数的恒等式の非標準的解の存在を調査すること。
• 準同型恒等式のイデアルが T-イデアルとして有限生成であることを確立し、このクラスの恒等式に対するスペクト問題のバージョンを解決すること。

提案手法

• 係数がトレースではなく任意の多項式であるような $M_n(F)$ 上の準多項式代数を導入する。
• この代数の要素で、$M_n(F)$ におけるすべての代入で消えるもの（すなわち、多項式恒等式の一般化としての）を準同型恒等式と定義する。
• 表現論と対称代数、特にシュール関手とカウチの公式を用いて、準同型恒等式の空間の構造を分析する。
• 最高重量ベクトルと基本的双対不変量の理論を適用し、準同型恒等式の T-イデアルの有限生成性を示す。
• 帰納法と行列単位の代入を用いて、特定の係数関数が消える必要があることを証明し、$P = \lambda_{0,\text{id}} Q_n$ である結論に至る。
• 射影線形群が $m$ 個の行列の $m$-組に作用する仕組みを用いて、商空間 $\mathfrak{I}_n / (Q_n)$ の幾何的および加群論的性質を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 すべての $M_n(F)$ 上の準同型恒等式は、カーライ・ハミルトン恒等式の結果であるか？
• RQ2 カーライ・ハミルトン恒等式から導かれない反対称的準同型恒等式は存在するか？もしあるならば、その構造は何か？
• RQ3 商空間 $\mathfrak{I}_n / (Q_n)$ の構造は何か？また、群作用下での行列多様体の幾何とどのように関係しているか？
• RQ4 すべての準同型恒等式の T-イデアルは有限生成可能か？もしそうなら、何変数以内で生成可能か？
• RQ5 定数項がゼロの中心多項式 $c$ に対して、ある $m$ について $c^m P$ がカーライ・ハミルトン恒等式の結果となるか？

主な発見

• カーライ・ハミルトン恒等式から導かれない反対称的準同型恒等式が $M_n(F)$ 上に存在し、これが主たる問いに対する否定的解答を提供する。
• 任意の準同型恒等式 $P$ と、定数項がゼロの中心多項式 $c$ に対して、ある $m \in \mathbb{N}$ が存在し、$c^m P$ がカーライ・ハミルトン恒等式の結果となる。
• 空間 $\mathfrak{I}_n / (Q_n)$ は、$\mathrm{PGL}_n$ の作用下での商多様体の特異点集合に台を持つ加群と同型であり、その幾何的性質が明らかになる。
• すべての準同型恒等式のイデアル $\mathfrak{I}_n$ は、T-イデアルとして有限生成であり、生成子は高々 $2n^2$ 個の変数に依存する。
• 有限生成性の証明は、カウチの公式による対称代数の分解と、無限次元線形群の表現論に依拠している。
• 著者らは、帰納法と行列単位の代入を用いて、カーライ・ハミルトン恒等式の結果でない特定の準同型恒等式の族を完全に記述した。