[论文解读] A Geometric Approach to the stabilisation of certain sequences of Kronecker coefficients

Maxime Pelletier|arXiv (Cornell University)|Jun 17, 2016

Advanced Algebra and Geometry参考文献 29被引用 5

一句话总结

本文利用几何不变性理论（GIT）提供了一种克罗内克系数稳定性的新几何证明，表明弱稳定性蕴含稳定性。推导出一个显式的几何界 $ D $，该界可由分拆数据计算得出，使得对所有 $ d \geq D $，克罗内克系数序列 $ g_{\lambda + d\alpha, \mu + d\beta, \nu + d\gamma} $ 保持恒定。文中对莫尔甘诺的典型情形进行了显式计算，并将方法推广至幂积系数与超八面体群系数。

ABSTRACT

We give another proof, using tools from Geometric Invariant Theory, of a result due to S. Sam and A. Snowden in 2014, concerning the stability of Kro-necker coefficients. This result states that some sequences of Kronecker coefficients eventually stabilise, and our method gives a nice geometric bound from which the stabilisation occurs. We perform the explicit computation of such a bound on two examples, one being the classical case of Murnaghan's stability. Moreover, we see that our techniques apply to other coefficients arising in Representation Theory: namely to some plethysm coefficients and in the case of the tensor product of representations of the hyperoctahedral group.

研究动机与目标

• 利用几何不变性理论（GIT）工具，为克罗内克系数的稳定性提供一种新的几何证明。
• 从指标三元组的弱稳定性出发，推导出一个显式且可计算的界 $ D $，使得克罗内克系数序列在此界之后稳定。
• 将几何方法推广至表示论中的其他系数，包括幂积系数与超八面体群的张量积系数。
• 通过基于GIT的半稳定区域包含关系，重新获得并推广已知的莫尔甘诺稳定性界。

提出的方法

• 利用GIT将克罗内克系数与在具有半单群作用的射影代数簇 $ X $ 上线丛的不变截面空间维数联系起来。
• 定义线丛 $ \mathcal{L} $ 和 $ \mathcal{M} $，使得 $ \dim H^0(X, \mathcal{M} + d\mathcal{L})^G = g_{\lambda + d\alpha, \mu + d\beta, \nu + d\gamma} $。
• 证明：若 $ X^{ss}(\mathcal{M} + d\mathcal{L}) \subset X^{ss}(\mathcal{L}) $，则系数序列稳定，这是由于不变截面空间同构所致。
• 通过沿一维一参子群计算 $ \mathcal{M} $ 的最大负权重，利用公式 $ D = \left\lceil \frac{1}{2} \left( -\lambda_1^+ + \lambda_2^+ - \mu_1^+ + \mu_2^+ + \cdots \right) \right\rceil $ 计算界 $ D $。
• 将该方法应用于经典莫尔甘诺情形与超八面体群情形，证明幂积类系数的稳定性。
• 利用利特尔伍德-理查森法则简化系数表达式，并在具体例子中确认稳定性。

实验结果

研究问题

• RQ1 能否使用几何不变性理论中的几何方法证明克罗内克系数的稳定性？
• RQ2 在何种精确几何条件下，序列 $ g_{\lambda + d\alpha, \mu + d\beta, \nu + d\gamma} $ 对足够大的 $ d $ 会变为常数？
• RQ3 能否从GIT数据中推导出一个显式且可计算的界 $ D $，以保证克罗内克系数的稳定性？
• RQ4 该几何方法是否可推广至表示论中的其他系数，如幂积系数或超八面体群张量积的系数？
• RQ5 在莫尔甘诺情形下，该新界与布里昂和瓦列霍已知界相比如何？

主要发现

• 本文证明了三元组 $ (\alpha, \beta, \gamma) $ 的弱稳定性蕴含对应克罗内克系数序列的稳定性，方法基于GIT技术。
• 推导出一个几何界 $ D $，使得对所有 $ d \geq D $，系数 $ g_{\lambda + d\alpha, \mu + d\beta, \nu + d\gamma} $ 稳定，且 $ D $ 依赖于分拆的长度与分拆项。
• 在莫尔甘诺情形 $ ((1),(1),(1)) $ 中，显式计算了界 $ D $，并证明其与已知结果一致。
• 该方法可推广至 $ \mathrm{GL}(2) $ 标准表示的对称幂张量平方中的幂积系数，证明其稳定性，方法基于相同的GIT框架。
• 该方法适用于超八面体群，证明了 $ \operatorname{Sym}^{2d}(V_1^+) \otimes \cdots $ 分解中系数的稳定性，并通过权重计算推导出界。
• 界 $ D $ 由分拆项及其对偶的线性组合的上取整给出，涉及对称差分部分的求和。