[论文解读] 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

一句话总结

本文研究了在一般线性群积 GL(V₁) × ⋯ × GL(Vₙ) 的伴随作用下，张量积空间 V = V₁ ⊗ ⋯ ⊗ Vₙ 上 m 个自同态的多项式不变量。证明了不变量环由广义迹单项式 Trᴹ_σ 生成，其中 M 是 [m] 上的多重集，σ 是 Sm 中的 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) 表示生成元的最大次数的上界。
• 通过广义迹单项式 Trᴹ_σ 描述生成元，其中 M 为多重集，σ ∈ Sm^n 为 [m] 上的 n 元组排列。

提出的方法

• 研究采用群积 GL_d = GL(V₁) × ⋯ × GL(Vₙ) 对 V 的 m 个自同态构成的空间的伴随作用。
• 引入广义迹单项式 Trᴹ_σ，其中 M 是 [m] 中元素构成的大小为 k 的多重集，σ ∈ Sm^n 是 [m] 的 n 个排列的 n 元组。
• 在特征为零的代数闭域 K 上，利用表示论分析不变量环的结构。
• 证明所有不变量均由这些 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 由广义迹单项式 Trᴹ_σ 生成，其中 M 是 [m] 上的多重集，σ ∈ Sm^n。
• 生成元 Trᴹ_σ 由多重集 M 和 n 元组排列 σ 构成，捕捉了张量因子之间的对称性。
• 不变量环的所有生成元的次数至多为 (3/8)m(dim V)^6。
• 上界 (3/8)m(dim V)^6 是不变量环任意极小生成集中生成元次数的上确界。
• 不变量环是有限生成的，且广义迹单项式构成了一组完整的生成元系统。
• 该结果在特征为零的代数闭域 K 上成立，确保了表示论论证的有效性。