[论文解读] 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

一句话总结

本文引入了一种非标准量子群与 Hecke 代数，以解决代数组合学中长期存在的难题：寻找 Kronger 系数的正组合公式。通过构造一个特殊表示的全局晶体基 +HNSTC(ν)，本文给出了两行 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_{λμν} 的正组合公式的开放性问题。
• 构造量子代数结构——非标准量子群与 Hecke 代数——以类似于量子 Schur-Weyl 对偶的方式建模 Kronecker 问题。
• 定义非标准量子群的表示 \check{X}_ν，当 dim(V)=dim(W)=2 时，其在 q=1 处特化为 GL(V)×GL(W) 作用下 X_ν 的限制。
• 发展一个全局晶体基 +HNSTC(ν)，其权为 (λ,μ) 的最高权向量数量即为 Kronecker 系数 g_{λμν}。
• 利用图形化演算将晶体分量组织为八类，从而得到两行 Kronecker 系数的简洁显式公式。

提出的方法

• 引入一种具有紧致实形式且其表示完全可约的非标准量子群，满足类似量子 Schur-Weyl 对偶的性质。
• 定义一个半单的非标准 Hecke 代数，为其提供对偶的代数结构。
• 构造非标准量子群的表示 \check{X}_ν，其在 q=1 处特化为 GL(V)×GL(W)→GL(V⊗W) 下 X_ν 限制。
• 定义 \check{X}_ν 的全局晶体基 +HNSTC(ν)，其中权为 (λ,μ) 的最高权向量数量等于 g_{λμν}。
• 发展一种基于 U_q(sl_2) 框架的图形化演算，用于 +HNSTC(ν)，将晶体分量组织为八类。
• 利用图形化演算推导出两行 Kronecker 系数的正显式公式，推广了 Brown、van Willigenburg 与 Zabrocki 的结果。

实验结果

研究问题

• RQ1 能否构造一种非标准量子群与 Hecke 代数，使其满足 Kronecker 问题的量子 Schur-Weyl 对偶类性质？
• RQ2 当 dim(V)=dim(W)=2 时，非标准量子群的表示 \check{X}_ν 是否在 q=1 处正确特化为 X_ν 的限制？
• RQ3 能否定义一个全局晶体基 +HNSTC(ν)，使其权为 (λ,μ) 的最高权向量数量等于 Kronecker 系数 g_{λμν}？
• RQ4 能否为 +HNSTC(ν) 开发一种图形化演算，以将其分量组织为若干族，并导出两行 Kronecker 系数的正公式？
• RQ5 从构造中推导出 Res_{GL₂×GL₂⋊S₂} X_ν 到不可约表示的分解规则是什么？

主要发现

• 非标准量子群具有紧致实形式，其表示完全可约，确保了结构的稳定性。
• 非标准 Hecke 代数是半单的，支持存在良好行为的表示理论。
• 当 dim(V)=dim(W)=2 时，非标准量子群的表示 \check{X}_ν 在 q=1 处特化为 Res_{GL(V)×GL(W)} X_ν。
• 全局晶体基 +HNSTC(ν) 提供了正的公式：权为 (λ,μ) 的最高权向量数量等于 g_{λμν}。
• 图形化演算将 +HNSTC(ν) 的晶体分量组织为八类不同的族，实现了系统且显式的描述。
• 推导出一个简洁、显式且正的两行 Kronecker 系数公式，推广了 Brown、van Willigenburg 与 Zabrocki 的公式。