[论文解读] 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$的Littlewood-Richardson系数的完整线性对称群。其发现144个对称性，远超已知的12个，表明该群同构于$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$情形下Littlewood-Richardson系数的完整线性对称群。
• 研究是否存在超越已知12个对称性（来自对偶性和指标置换）的额外对称性。
• 将计算代数与多面体几何应用于系数函数的房间复形。
• 验证所发现的对称性在复形的房间上作用是传递的。
• 将该方法推广至表示论中的其他结构系数，如plethysm和Kronecker系数。

提出的方法

• 利用Littlewood-Richardson系数$c_{\lambda,\mu}^\nu$作为分量部分函数的分段多项式结构。
• 采用由系数支撑导出的有理多面锥束（房间复形），如Rassart（2004）所述。
• 使用SageMath通过分析对房间复形射线的作用来计算线性对称群。
• 通过检查射线生成元的自同构并将其提升为$\mathbb{R}^6$上的线性变换来识别对称性。
• 通过比较变换后的多项式，验证每个候选对称性在每个房间中保持多项式公式。
• 通过分析每个房间的射线构型，确认群作用在房间上是传递的。

实验结果

研究问题

• RQ1 $SL_3$的Littlewood-Richardson系数是否存在超越已知12个的线性对称性？
• RQ2 作用于$SL_3$的系数$c_{\lambda,\mu}^\nu$的完整线性对称群是什么？
• RQ3 能否利用房间复形和分段多项式结构系统地计算所有对称性？
• RQ4 对称群是否在复形的房间上作用传递？
• RQ5 与$N \geq 4$的$SL_N$相比，$SL_3$的对称性有何不同？

主要发现

• $SL_3$的Littlewood-Richardson系数的完整线性对称群阶为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$，对称群扩大至288个对称性，这是由于引入了一个涉及平移参数$m$的额外平移型对称性。
• 对于$N \geq 4$的$SL_N$，仅存在标准的12个对称性，表明$SL_3$具有例外的对称结构。