[論文レビュー] 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）を用いて、Kronecker係数の安定化に関する新しい幾何的証明を提供し、弱安定性が安定性を意味することを示している。分割データから計算可能な明示的な幾何的境界 $ D $ を導出し、$ d \geq D $ に対して、Kronecker係数の列 $ g_{\lambda + d\alpha, \mu + d\beta, \nu + d\gamma} $ が定数となることを示している。Murnaghanのケースにおける明示的計算と、p latterismおよびハイパーオクタヘドラル群係数への拡張が行われている。

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）の道具を用いて、Kronecker係数の安定化に関する新しい幾何的証明を提供すること。
• 弱安定性のインデックス三重組に対して、その列が安定化する明示的かつ計算可能な境界 $ D $ を導出すること。
• 幾何的手法を、p latterism係数やハイパーオクタヘドラル群のテンソル積など、表現論における他の係数へ拡張すること。
• GITに基づく半安定局所の包含関係を用いて、既知のMurnaghanの安定性に関する境界を回復・一般化すること。

提案手法

• GITを用いて、再帰的群作用を伴う射影的代数多様体 $ X $ 上のラインバンドルの不変切断空間の次元とKronecker係数を関連付ける。
• 線形バンドル $ \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 $ を計算する。
• 古典的なMurnaghanのケースとハイパーオクタヘドラル群のケースにこの手法を適用し、p latterismに類似した係数の安定化を示す。
• Littlewood-Richardson規則を用いて係数の式を簡略化し、特定の例における安定化を確認する。

実験結果

リサーチクエスチョン

• RQ1 Kronecker係数の安定化は、幾何的不変体理論からの幾何的手法を用いて証明可能か？
• RQ2 大きな $ d $ に対して、列 $ g_{\lambda + d\alpha, \mu + d\beta, \nu + d\gamma} $ が定数となる明確な幾何的条件は何か？
• RQ3 GITのデータから、Kronecker係数の安定化を保証する明示的かつ計算可能な境界 $ D $ を導出可能か？
• RQ4 幾何的アプローチは、p latterism係数やハイパーオクタヘドラル群のテンソル積など、表現論における他の係数へも拡張可能か？
• RQ5 Murnaghanのケースにおいて、本稿の新しい境界はBrionとVallejoが得た既知の境界とどのように比較されるか？

主な発見

• 本稿は、弱安定性の三重組 $ (\alpha, \beta, \gamma) $ が成立するならば、それに対応するKronecker係数列が安定化することを、GIT技術を用いて証明している。
• 分割の長さと部分の値に依存する幾何的境界 $ D $ が導出され、すべての $ d \geq D $ に対して係数 $ g_{\lambda + d\alpha, \mu + d\beta, \nu + d\gamma} $ が安定化することが保証される。
• Murnaghanのケース $ ((1),(1),(1)) $ に対して、境界 $ D $ が明示的に計算され、既知の結果と整合することが示された。
• 同様のGITフレームワークを用いて、$ \mathrm{GL}(2) $ の標準表現の対称冪のテンソル平方におけるp latterism係数に対しても、安定化が証明された。
• ハイパーオクタヘドラル群に対しても、このアプローチが適用され、$ \operatorname{Sym}^{2d}(V_1^+) \otimes \cdots $ の分解における係数の安定化が示された。境界は重み計算から導出された。
• 境界 $ D $ は、部分とその双対の和を含む線形結合の上限を取ることで与えられ、部分の対称差に関する和を含む。