[論文レビュー] The Vector Invariants of Symmetric Groups

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

Mathematics and Applications被引用数 3

ひとこと要約

この論文は、可換環 $ R $ および $ 1 ≤ i ≤ n $, $ 1 ≤ j ≤ m $ の条件下で、多項式環 $ AR(n, m) = R[x_{ij}] $ における対称群 $ S_n $ の作用に対する不変式環の明示的な生成子と関係式を提供する。作用は変数の最初の添え字を置換するものであり、主な貢献は不変部分環 $ 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 $ 上の $ n × m $ 個の可換変数を持つ多項式環 $ AR(n, m) = R[x_{11}, ⋯, x_{nm}] $ を定義する。
• 置換 $ σ $ による $ σ(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 不変式環を完全に記述するために、$ AR(n, m)^{S_n} $ の生成子間に成立する代数的関係は何か？
• 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}) $ における初等対称多項式によって生成される。
• これらの生成子と、対称多項式の恒等式から導かれた特定の代数的関係式の集合を用いて、不変式環の提示が可能である。
• $ AR(n, m)^{S_n} $ の構造は、$ R $ の特性に依存せず、任意の可換環上で有効である。
• 生成子は、$ n $ 変数における対称多項式環上の $ m $ 変数多項式環を形成し、自然な分解を反映している。
• 生成子間の関係は、各 $ m $-タプルに基本定理の対称多項式を適用することで明示的に記述できる。
• 不変式環は有限生成であり、有限個の生成子と関係式を用いて提示可能であり、代数的取り扱いの可能性が裏付けられる。