[論文レビュー] The Invariant Ring Of m Matrices Under The Adjoint Action By a Product Of General Linear Groups

Jacob Turner, Jason Morton|arXiv (Cornell University)|Oct 1, 2013

Matrix Theory and Algorithms参考文献 17被引用数 4

ひとこと要約

この論文は、V = V₁ ⊗ ⋯ ⊗ Vₙ というテンソル積空間上の m 個の自己準同型の、GL(V₁) × ⋯ × GL(Vₙ) の随伴作用の下での多項式不変量を特徴づけている。不変環が一般化されたトレース単項式 Trᴹ_σ によって生成されることを証明しており、ここで M は [m] 上の多重集合、σ は Sm における n 個の置換の n 重組である。すべての生成子の次数は (3/8)m(dim V)^6 以下である。

ABSTRACT

Let $V=V_1 \otimes \cdots \otimes V_n$ be a vector space over an algebraically closed field $K$ of characteristic zero with $\dim(V_i)=d_i$. We study the ring of polynomial invariants $K[\operatorname{End}(V)^{\oplus m}]^{\operatorname{GL}_{\mathbf{d}}}$ of $m$ endomorphisms of $V$ under the adjoint action of $\operatorname{GL}_{\mathbf{d}}:=\operatorname{GL}(V_1) imes \cdots imes \operatorname{GL}(V_n)$. We find that the ring is generated by certain generalized trace monomials $\operatorname{Tr}^M_σ$ where $M$ is a multiset with entries in $[m]=\{1,\dots, m\}$ and $σ\in \mathcal{S}_m^n$ is a choice of $n$ permutations of $[m]$. We find that $K[\operatorname{End}(V)^{\oplus m}]^{\operatorname{GL}_{\mathbf{d}}}$ is generated by the $\operatorname{Tr}^M_σ$ of degree at most $\frac{3}{8}m\dim(V)^6$.

研究の動機と目的

• m 個の自己準同型のテンソル積空間 V = V₁ ⊗ ⋯ ⊗ Vₙ における、GL(V₁) × ⋯ × GL(Vₙ) の随伴作用の下での多項式的不変量環の構造を特定すること。
• 不変環 K[End(V)⊕m]^GL_d の有限生成集合を同定すること。
• 生成子の最大次数を m と dim(V) の関数として評価すること。
• 多重集合 M と Sm^n 内の n 個の置換の組 σ を用いた一般化されたトレース単項式 Trᴹ_σ を用いて生成子を特徴づけること。

提案手法

• 研究は、V の m 個の自己準同型の空間への GL_d = GL(V₁) × ⋯ × GL(Vₙ) の随伴作用を用いる。
• M が [m] に値をとるサイズ k の多重集合で、σ ∈ Sm^n が [m] の置換の n 重組であるような一般化されたトレース単項式 Trᴹ_σ を導入する。
• 代数的に閉じた体 K（特性 0）上の表現論を用いて、不変環の構造を分析する。
• すべての不変量がこれらの Trᴹ_σ によって生成されることを示し、群作用によって誘導される対称性を活用する。
• 生成不変量の組み合わせ的・代数的解析を通じて、次数の上限を導出する。
• 不変環が有限生成であることと、トレースに類似した関数を用いて生成系を構成することに依拠する。

実験結果

リサーチクエスチョン

• RQ1 m 個の自己準同型のテンソル積空間における多項式的不変量環の構造は、一般線形群の積の随伴作用の下でどのように特徴づけられるか？
• RQ2 どの特定の一般化されたトレース単項式 Trᴹ_σ が不変環 K[End(V)⊕m]^GL_d を生成するか？
• RQ3 不変環は有界次数の不変量によって生成可能か？ もし可能であれば、その上限は何か？
• RQ4 置換 σ ∈ Sm^n と多重集合 M は、どのようにして独立な生成子を生じるか？
• RQ5 不変環全体は、次数が (3/8)m(dim V)^6 以下のトレース単項式によって生成可能か？

主な発見

• 不変環 K[End(V)⊕m]^GL_d は、[m] 上の多重集合 M と σ ∈ Sm^n である一般化されたトレース単項式 Trᴹ_σ によって生成される。
• 生成子 Trᴹ_σ は多重集合 M と n 個の置換の組 σ から構成され、テンソル因子間の対称性を捉えている。
• 不変環のすべての生成子の次数は (3/8)m(dim V)^6 以下である。
• 上限 (3/8)m(dim V)^6 は、不変環の任意の最小生成系における次数の上限である。
• 不変環は有限生成であり、一般化されたトレース単項式は完全な生成系を形成する。
• この結果は、特性 0 の代数的に閉じた体 K において成り立ち、表現論的議論の妥当性を保証する。