[论文解读] The Vector Invariants of Symmetric Groups

Francesco Vaccarino|arXiv (Cornell University)|May 22, 2002

Mathematics and Applications被引用 3

一句话总结

本文为对称群 $ S_n $ 在多项式环 $ AR(n, m) = R[x_{ij}] $ 上作用的不变量环提供了显式的生成元与关系式，其中 $ R $ 为交换环，且 $ 1 ≤ i ≤ n $，$ 1 ≤ j ≤ m $。该作用通过置换变量的第一个指标实现，主要贡献在于对不变子环 $ AR(n, m)^{S_n} $ 的完整代数描述，推广了经典对称多项式的结果。

ABSTRACT

Abstract Let R be a commutative ring and let n, m be two positive integers. Let AR(n, m): = R[x11,..., x1m,..., xn1,..., xnm] be the polynomial ring in the commuting independent variables x11,..., x1m,..., xn1,..., xnm with coefficients in R. The symmetric group on n letters Sn acts on AR(n, m) by means of σ(xij) = x σ(i) j for all σ ∈ Sn and i = 1,..., n; j = 1,..., m. Let us denote by AR(n, m) Sn the rings of invariants for this action. We give generators and relations of AR(n, m) Sn

研究动机与目标

• 确定在 $ S_n $ 通过置换变量第一个指标作用下，不变量环 $ AR(n, m)^{S_n} $ 的一组完整代数生成元。
• 建立生成元之间的一组定义关系，从而给出不变量环的表示。
• 将经典对称多项式理论推广至由 $ n $ 个元素索引的 $ m $ 重变量情形。
• 在任意交换环 $ R $ 上，提供 $ AR(n, m)^{S_n} $ 的结构描述，不限于域或特征零的情形。
• 为表示理论与不变量理论中向量不变量的进一步研究奠定基础。

提出的方法

• 在交换环 $ R $ 上定义多项式环 $ AR(n, m) = R[x_{11}, ⋯, x_{nm}] $，其包含 $ n × m $ 个可交换变量。
• 通过 $ σ(x_{ij}) = x_{σ(i)j} $ 的方式，为 $ AR(n, m) $ 赋予自然的 $ S_n $-作用，即置换第一个指标。
• 构造每组 $ m $-元组 $ (x_{1j}, ⋯, x_{nj}) $ 上的对称多项式，作为不变量环的候选生成元。
• 利用对称函数理论与多重变量多项式不变量理论，推导生成元之间的关系。
• 证明不变量环 $ AR(n, m)^{S_n} $ 由每个 $ m $-元组中的初等对称多项式生成，且关系由对称多项式的代数结构决定。
• 通过验证生成元与关系完全刻画了不变子环，证明所得表示是完备的。

实验结果

研究问题

• RQ1 在自然的 $ S_n $-作用下，不变量环 $ AR(n, m)^{S_n} $ 的最小生成集是什么？
• RQ2 为完整描述不变量环，生成元之间必须满足哪些代数关系？
• RQ3 不变量环 $ AR(n, m)^{S_n} $ 的结构如何推广经典 $ n $ 个变量对称多项式理论？
• RQ4 能否在任意交换环 $ R $ 上显式给出不变量环的表示，而不仅限于域的情形？
• RQ5 对称群 $ S_n $ 在 $ m $-重变量上作用的不变量与对称群表示理论之间存在何种关系？

主要发现

• 不变量环 $ AR(n, m)^{S_n} $ 由每个 $ m $-元组 $ (x_{1j}, x_{2j}, ⋯, x_{nj}) $ 中的初等对称多项式生成，其中 $ j = 1, ⋯, m $。
• 该不变量环具有由这些生成元与一组特定代数关系构成的表示，关系式源自对称多项式的恒等式。
• 不变量环 $ AR(n, m)^{S_n} $ 的结构与环 $ R $ 的特征无关，因此该结果适用于任意交换环。
• 生成元构成在 $ n $ 个变量对称多项式环上的 $ m $ 个变量的多项式环，反映出一种自然的分解结构。
• 通过将对称多项式的基本定理应用于每个 $ m $-元组，显式描述了生成元之间的关系。
• 不变量环是有限生成的，且具有有限组生成元与关系，确认了其代数可处理性。