[論文レビュー] Geometric Complexity Theory IV: nonstandard quantum group for the Kronecker problem

Jonah Blasiak, Ketan Mulmuley+1 more|arXiv (Cornell University)|Mar 22, 2007

Algebraic structures and combinatorial models参考文献 13被引用数 8

ひとこと要約

この論文は、長年の未解決問題であるKronecker係数の正の組合せ的公式を求めるために、非標準的量子群およびヘッケ代数を導入する。特殊化された表現に対してグローバルなクリスタル基底 +HNSTC(ν) を構成することで、2行のKronecker係数について完全で明示的かつ正の公式を提供し、既存の結果を一般化し、GL₂×GL₂⋊S₂表現の分解則を導く。

ABSTRACT

The Kronecker coefficient g_{λμν} is the multiplicity of the GL(V) imes GL(W)-irreducible V_λ\otimes W_μin the restriction of the GL(X)-irreducible X_νvia the natural map GL(V) imes GL(W) o GL(V \otimes W), where V, W are \mathbb{C}-vector spaces and X = V \otimes W. A fundamental open problem in algebraic combinatorics is to find a positive combinatorial formula for these coefficients. We construct two quantum objects for this problem, which we call the nonstandard quantum group and nonstandard Hecke algebra. We show that the nonstandard quantum group has a compact real form and its representations are completely reducible, that the nonstandard Hecke algebra is semisimple, and that they satisfy an analog of quantum Schur-Weyl duality. Using these nonstandard objects as a guide, we follow the approach of Adsul, Sohoni, and Subrahmanyam to construct, in the case dim(V) = dim(W) =2, a representation \check{X}_νof the nonstandard quantum group that specializes to Res_{GL(V) imes GL(W)} X_νat q=1. We then define a global crystal basis +HNSTC(ν) of \check{X}_νthat solves the two-row Kronecker problem: the number of highest weight elements of +HNSTC(ν) of weight (λ,μ) is the Kronecker coefficient g_{λμν}. We go on to develop the beginnings of a graphical calculus for this basis, along the lines of the U_q(\sl_2) graphical calculus, and use this to organize the crystal components of +HNSTC(ν) into eight families. This yields a fairly simple, explicit and positive formula for two-row Kronecker coefficients, generalizing a formula of Brown, van Willigenburg, and Zabrocki. As a byproduct of the approach, we also obtain a rule for the decomposition of Res_{GL_2 imes GL_2 times §_2} X_νinto irreducibles.

研究の動機と目的

• 代数組合せ論におけるKronecker係数 g_{λμν} に対する正の組合せ的公式を求めるという未解決問題を解決すること。
• Kronecker問題を、量子シュール＝ウェイル双対性に類似した方法でモデル化できる非標準的量子群およびヘッケ代数という量子代数的構造を構成すること。
• 非標準的量子群の表現 \check{X}_ν を定義し、dim(V)=dim(W)=2 のとき q=1 で GL(V)×GL(W) による X_ν の制限 Res_{GL(V)×GL(W)} X_ν に特殊化されることを保証すること。
• 重み (λ,μ) の最高重量ベクトルの数が g_{λμν} に等しくなるようなグローバルクリスタル基底 +HNSTC(ν) を定義すること。
• 図式的計算法を用いてクリスタル成分を8つの族に整理し、2行のKronecker係数について簡単で明示的な公式を得ること。

提案手法

• コン pact 実形式を備えた非標準的量子群を導入し、完全可約表現を満たすことで、量子シュール＝ウェイル双対性の類似を満たす。
• 半単純である非標準的ヘッケ代数を定義し、量子群の双対な代数的構造を提供する。
• 非標準的量子群の表現 \check{X}_ν を構成し、q=1 で GL(V)×GL(W)→GL(V⊗W) による X_ν の制限に特殊化されることを保証する。
• \check{X}_ν のグローバルクリスタル基底 +HNSTC(ν) を定義し、重み (λ,μ) の最高重量ベクトルの数が g_{λμν} に等しくなるようにする。
• U_q(sl_2) フレームワークにインspiredされた図式的計算法を用いて、+HNSTC(ν) のクリスタル成分を8つの族に整理する。
• 図式的計算法を用いて、2行のKronecker係数について正で明示的な公式を導出し、Brown, van Willigenburg, および Zabrocki の結果を一般化する。

実験結果

リサーチクエスチョン

• RQ1 Kronecker問題に対して、量子シュール＝ウェイル双対性の類似を満たす非標準的量子群およびヘッケ代数を構成できるか？
• RQ2 dim(V)=dim(W)=2 の場合に、非標準的量子群の表現 \check{X}_ν が q=1 で X_ν の制限 Res_{GL(V)×GL(W)} X_ν に正しく特殊化されるか？
• RQ3 重み (λ,μ) の最高重量ベクトルの数が g_{λμν} に等しくなるようなグローバルクリスタル基底 +HNSTC(ν) を定義できるか？
• RQ4 +HNSTC(ν) に対して図式的計算法を開発し、その成分を族に整理し、2行のKronecker係数について正の公式を得られるか？
• RQ5 構成から導かれる、Res_{GL₂×GL₂⋊S₂} X_ν の既約成分への分解則は何か？

主な発見

• 非標準的量子群はコンpact 実形式を備え、その表現は完全可約であるため、構造的安定性が保証される。
• 非標準的ヘッケ代数は半単純であるため、良好な表現理論の存在を支持する。
• dim(V)=dim(W)=2 のとき、非標準的量子群の表現 \check{X}_ν は q=1 で Res_{GL(V)×GL(W)} X_ν に特殊化される。
• グローバルクリスタル基底 +HNSTC(ν) は正の公式を提供する：重み (λ,μ) の最高重量ベクトルの数は g_{λμν} に等しい。
• 図式的計算法により、+HNSTC(ν) のクリスタル成分が8つの明確な族に整理され、体系的で明示的な記述が可能になる。
• 2行のKronecker係数について、簡単で明示的かつ正の公式が導出され、Brown, van Willigenburg, および Zabrocki の公式が一般化される。