[論文レビュー] Structure theory for the group algebra of the symmetric group, with applications to polynomial identities for the octonions

Murray R. Bremner, Sara Madariaga+1 more|arXiv (Cornell University)|Jul 14, 2014

Advanced Topics in Algebra参考文献 16被引用数 9

ひとこと要約

本稿では、特徴が 0 の体上のオクタニオンの多重線形多項式恒等式を研究するために、対称群 $\mathbb{F}S_n$ の群代数を用いた計算フレームワークを開発する。Cliftonのアルゴリズムと Wedderburn 分解を適用することで、すべての7次恒等式が低次の恒等式の結果であることを確認し、7次に新たな恒等式が存在しないと結論づけ、特徴が 0 の場合に既知の6次以下の恒等式がすべてのオクタニオン恒等式を生成すると予想する。

ABSTRACT

In part 1, we review the structure theory of $\mathbb{F} S_n$, the group algebra of the symmetric group $S_n$ over a field of characteristic 0. We define the images $ψ(E^λ_{ij})$ of the matrix units $E^λ_{ij}$ ($1 \le i, j \le d_λ$), where $d_λ$ is the number of standard tableaux of shape $λ$, and obtain an explicit construction of Young's isomorphism $ψ\colon \bigoplus_λM_{d_λ}(\mathbb{F}) o \mathbb{F} S_n$. We then present Clifton's algorithm for the construction of the representation matrices $R^λ(p) \in M_{d_λ}(\mathbb{F})$ for all $p \in S_n$, and obtain the reverse isomorphism $ϕ\colon \mathbb{F} S_n o \bigoplus_λM_{d_λ}(\mathbb{F})$. In part 2, we apply the structure theory of $\mathbb{F} S_n$ to the study of multilinear polynomial identities of degree $n \le 7$ for the algebra $\mathbb{O}$ of octonions over a field of characteristic 0. We compare our results with earlier work of Racine, Hentzel & Peresi, and Shestakov & Zhukavets on the identities of degree $n \le 6$. We use computational linear algebra to verify that every identity in degree 7 is a consequence of the known identities of lower degrees: there are no new identities in degree 7. We conjecture that the known identities of degree $\le 6$ generate all octonion identities in characteristic 0.

研究の動機と目的

• 非結合的代数における多重線形多項式恒等式を分析するための効率的な計算手法の開発。群代数 $\mathbb{F}S_n$ を用いる。
• $\mathbb{F}S_n$ の構造理論（Young テーブル、行列単位、Wedderburn 分解など）を応用し、オクタニオンの恒等式を研究すること。
• オクタニオン代数 $\mathbb{O}$ に対して、6次以下の恒等式に由来しない新たな多項式恒等式が7次に存在するかどうかを特定すること。
• Racine や Hentzel & Peresi、Shestakov & Zhukavets による6次以下の恒等式に関する先行研究と結果を比較すること。
• 特徴が 0 の場合に、既知の6次以下の恒等式がオクタニオン恒等式の全 $T$-理想を生成すると予想すること。

提案手法

• 形状 $\lambda$ の標準テーブルと行列単位 $E^{\lambda}_{ij}$ を用いて、Young の同型写像 $\psi: \bigoplus_{\lambda} M_{d_\lambda}(\mathbb{F}) \to \mathbb{F}S_n$ を構築する。
• Clifton のアルゴリズムを実装し、すべての $p \in S_n$ に対して表現行列 $R^{\lambda}(p) \in M_{d_\lambda}(\mathbb{F})$ を計算することで、群代数の元の効率的計算を可能にする。
• 逆同型写像 $\phi: \mathbb{F}S_n \to \bigoplus_{\lambda} M_{d_\lambda}(\mathbb{F})$ を用いて、恒等式を不可約 $S_n$-加群に分解する。
• 計算線形代数を用いて、すべての恒等式と交換則の結果を表す行列の行空間を比較し、新たな恒等式を同定する。
• 有理数演算と行列のランク比較を用いて、7次における恒等式が低次の恒等式に依存しているかどうかを判定する。
• 7次におけるすべての恒等式を表す行列の行空間の次元が、既知の恒等式の結果の行空間の次元と等しいことを確認し、新たな恒等式が存在しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 オクタニオン代数 $\mathbb{O}$ が満たす7次多重線形多項式恒等式のうち、低次の恒等式の結果でないものは存在するか？
• RQ2 既知の6次以下の恒等式（交換則、(R2)、(HP5)、および (HP6) または (SZ) またはそれらの類似）が、特徴が 0 の場合に $\mathbb{O}$ が満たすすべての多項式恒等式を生成できるか？
• RQ3 6次におけるすべての多重線形恒等式の空間に、各不可約 $S_6$-加群 $[\lambda]$ が何回現れるか（重複度）はいかほどか？
• RQ4 形式 $[f(v,w,x,y,z), u] \equiv 0$（$f$ は中心多項式）とは異なる形の、6次の新たな恒等式は存在するか？
• RQ5 群代数における $\mathbb{F}S_n$ と行列単位に基づく計算技法は、非結合的代数における恒等式の検証をどのように可能にするか？

主な発見

• 7次において、すべての多重線形恒等式を表す行列の行空間の次元が、交換則、(R2)、(HP5)、および (HP6) または (SZ) の結果の行空間の次元と等しいことから、新たな恒等式は存在しないことが示された。
• 6次において、すべての恒等式の空間における自明な $S_6$-加群 $[111111]$ の重複度は40であるが、既知の恒等式の結果の空間では39であるため、この加群に1つの新たな恒等式が存在することが判明した。
• 明示的に構成された6次新たな恒等式：$\sum_{\sigma \in S_6} \epsilon(\sigma) \left(5x_1(x_2((x_3x_4)(x_5x_6))) - x_1(x_2(x_3(x_4(x_5x_6)))) \right) \equiv 0$ は、形式 $[f, u] \equiv 0$ とは異なる。
• 恒等式 (7) は、(HP6) や (SZ) の代わりに6次での新たな生成子として機能でき、低次の恒等式と組み合わせることで同じ $T$-理想を生成する。
• 5次において $\lambda = 11111$ の行列 $\mathrm{allmat}(\lambda)$ のランクは11、$\mathrm{oldmat}(\lambda)$ のランクは10であるため、交換則によっては誘導されない新たな恒等式が存在することが確認された。
• 著者らは、既知の6次以下の恒等式がオクタニオンの全 $T$-理想を生成することを結論づけ、特徴が 0 の場合に一般に同様のことが成り立つと予想する。