[論文レビュー] The 144 symmetries of the Littlewood-Richardson coefficients of $SL_3$

Emmanuel Briand, Mercedes Helena Rosas Celis|arXiv (Cornell University)|Apr 10, 2020

Advanced Algebra and Geometry参考文献 9被引用数 4

ひとこと要約

この論文は、SageMathを用いて係数のチャネル複体と領域的多項式構造を分析することで、$SL_3$に関連するリトルウッド・リッチャードソン係数の完全な線形対称性群を計算する。12よりもはるかに多い144の対称性が発見され、群は $S_2 \times (S_3 \wr S_2)$ に同型であることが示され、古典的なものとは別に追加の対称性が存在することが判明する。

ABSTRACT

We compute with SageMath the group of all linear symmetries for the Littlewood-Richardson associated to the representations of $SL_3$. We find that there are 144 symmetries, more than the 12 symmetries known for the Littlewood-Richardson coefficients in general.

研究の動機と目的

• リトルウッド・リッチャードソン係数の $SL_3$ における完全な線形対称性群を同定すること。
• 双対性およびインデックスの置換から得られる既知の12対称性を超えて、追加の対称性が存在するかどうかを調査すること。
• 計算代数学と多面体幾何学を、係数関数のチャネル複体に適用すること。
• 発見された対称性が、複体のチャネルに全単射に作用することを検証すること。
• 他の表現理論的構造係数、例えばプレチズムやクロネッカー係数に対しても、この手法を拡張すること。

提案手法

• 分割の部品を変数とするリトルウッド・リッチャードソン係数 $c_{\lambda,\mu}^\nu$ の領域的多項式構造を用いる。
• Rassart (2004) で述べられているように、係数の台から導かれる有理数的多面体ファイバーであるチャネル複体を用いる。
• SageMathを用いて、チャネル複体のレイトの作用を分析することで、線形対称性の群を計算する。
• レイト生成子の自己同型をチェックし、それらを $\mathbb{R}^6$ 上の線形変換に持ち上げることで、対称性を同定する。
• 各候補対称性が、各チャネルにおける多項式式を保存することを確認するために、変換後の多項式を比較する。
• 各チャネルごとのレイト構成を分析することで、群作用がチャネルに全単射に作用することを確認する。

実験結果

リサーチクエスチョン

• RQ1 $SL_3$ のリトルウッド・リッチャードソン係数に対して、既知の12対称性を超える線形対称性は存在するか？
• RQ2 $SL_3$ の係数 $c_{\lambda,\mu}^\nu$ に作用する完全な線形対称性群は何か？
• RQ3 チャネル複体と領域的多項式構造を用いて、すべての対称性を体系的に計算できるか？
• RQ4 対称性群は、複体のチャネルに全単射に作用するか？
• RQ5 $SL_N$（$N \geq 4$）の対称性と比較して、$SL_3$ の対称性はどのように異なるか？

主な発見

• リトルウッド・リッチャードソン係数の $SL_3$ における完全な線形対称性群の位数は144であり、既知の12対称性よりも顕著に大きい。
• 対称性群は $S_2 \times (S_3 \wr S_2)$ に同型であり、古典的な $S_2 \times S_3$ 対称性群の非自明な拡張である。
• 追加の対称性が特定された：$c_{(\lambda_1,\lambda_2),(\mu_1,\mu_2)}^{(\nu_1,\nu_2,\nu_3)} = c_{(\lambda_1+\mu_1-\nu_2,\lambda_2+\mu_1-\nu_2),(\nu_2,\mu_2)}^{(\nu_1,\mu_1,\nu_3)}$。
• 群はチャネル複体の18のチャネルに全単射に作用し、完全な対称性カバレッジが確認された。
• $GL_3$ では、パラメータ $m$ を含む追加の平行移動型対称性のため、対称性群の位数が288に増加する。
• $SL_N$（$N \geq 4$）では、標準的な12対称性しか存在せず、$SL_3$ が特異な対称性構造を持つことが示された。