[論文レビュー] On the theorem of Amitsur--Levitzki

Claudio Procesi|arXiv (Cornell University)|Aug 11, 2013

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

ひとこと要約

本稿は、一般化されたグラスマン行列に対するカーライ・ハミルトン恒等式としてのアミツル・レヴィツキの定理を解釈することにより、グラスマン変数を補助的手段としてではなく、本質的に埋め込むことで、この定理の新しい証明を提示する。主な貢献は、標準的多項式 $ S_{2n} $ が $ n \times n $ 行列上では恒等的に消えることの証明であり、これは、代数 $ A_n = (\bigwedge M_n^* \otimes M_n)^{PGL(n)} $ を通じて、行列代数上の等変な反対称写像の一般理論の土台を築くものである。この代数 $ A_n $ は、$ X $ とトレース $ \operatorname{tr}(X^{2i-1}) $ によって生成され、$ X^{2n} = 0 $ および特定の定義関係を持つことが示されている。

ABSTRACT

We present a proof of the Amitsur--Levitzki theorem which is a basis for a general theory of equivariant skew--symmetric maps on matrices.

研究の動機と目的

• グラスマン変数を補助的手段としてではなく、代数的構造に本質的に埋め込むことで、アミツル・レヴィツキの定理の新しい内在的証明を提供すること。
• 行列から行列への等変な多重線形反対称写像を研究するための自然な枠組みとして、代数 $ A_n = (\bigwedge M_n^* \otimes M_n)^{PGL(n)} $ を確立すること。
• アミツル・レヴィツキの恒等式が、一般化されたグラスマン行列 $ X $ に対するカーライ・ハミルトン恒等式として生じることを示すこと。
• トレースを伴う一般化された行列の理論を拡張する形で、行列代数上での交代的等変写像の一般理論の土台を築くこと。

提案手法

• 標準的多項式 $ S_h $ を非可換単項式の反対称化として表現し、$ \bigwedge^h V^* \otimes A $ におけるウェッジ積と同一視する。
• 一般化されたグラスマン行列 $ X = \sum_{h,k} x_{hk} e_{hk} $ を定義し、これは $ \bigwedge^1 M_n^* \otimes M_n $ に属するものとし、$ X^a $ を $ a $ 重のウェッジ積 $ X^{\wedge a} $ と解釈する。
• $ M_n(\bigwedge^{\text{even}} M_n^*) $ 内で $ X^{2n} = 0 $ であるという事実を用いて、$ \operatorname{tr}(X^{2i}) = 0 $（$ i \leq n $）を示すことにより、アミツル・レヴィツキの定理を証明する。
• グラスマン代数の構造と $ PGL(n, \mathbb{F}) $-共役による不変性を活用し、$ \bigwedge M_n^* \otimes M_n $ の $ G $-不変部分空間として代数 $ A_n $ を定義する。
• 行列不変量の第一および第二基本定理を適用して $ A_n $ の構造を導出し、これはグラスマン代数上の自由加群であることを示す。
• 定義関係を確立する：$ X^{2n} = 0 $ および $ \operatorname{tr}(X^{2n-1}) = -\sum_{i=1}^{n-1} X^{2i} \wedge \operatorname{tr}(X^{2(n-i)-1}) + n X^{2n-1} $。

実験結果

リサーチクエスチョン

• RQ1 アミツル・レヴィツキの定理は、一般化されたグラスマン行列としてのカーライ・ハミルトン恒等式としてどのように再解釈できるか？
• RQ2 行列から行列への $ PGL(n) $-等変な多重線形反対称写像の代数 $ A_n $ の構造は何か？
• RQ3 グラスマン変数は、行列代数における多項式恒等式理論の背後に本質的にどのように関与しているか？
• RQ4 代数 $ A_n $ の生成元と定義関係は何か？それらはトレース恒等式とどのように関係しているか？
• RQ5 $ A_n $ の等変構造は、トレースを伴う一般化された行列の理論をどのように一般化するか？

主な発見

• アミツル・レヴィツキの定理は、$ X $ が $ \bigwedge^1 M_n^* \otimes M_n $ に属する一般化されたグラスマン行列であるとき、恒等式 $ X^{2n} = 0 $ と同値である。
• $ PGL(n) $-等変な反対称写像の代数 $ A_n $ は、$ X $ と $ i = 1, \ldots, n $ に対して $ \operatorname{tr}(X^{2i-1}) $ によって生成される。
• $ \operatorname{tr}(X^{2i-1}) $ の要素は反交換し、$ A_n $ は $ i = 1, \ldots, n-1 $ に対して $ \operatorname{tr}(X^{2i-1}) $ が生成するグラスマン代数上のランク $ 2n $ の自由加群である。
• $ A_n $ の定義関係は $ X^{2n} = 0 $ および $ \operatorname{tr}(X^{2n-1}) = -\sum_{i=1}^{n-1} X^{2i} \wedge \operatorname{tr}(X^{2(n-i)-1}) + n X^{2n-1} $ である。
• 証明は、偶数次における標準的多項式の反対称性から、$ \operatorname{tr}(X^{2i}) = 0 $（$ i \leq n $）が導かれるという事実に依拠している。
• この枠組みは、行列代数上での等変反対称写像の理論に対する体系的土台を提供し、古典的な多項式恒等式理論を拡張する。