[论文解读] Tensor Product Multiplicities via Upper Cluster Algebras

Jiarui Fei|arXiv (Cornell University)|Mar 8, 2016

Algebraic structures and combinatorial models参考文献 36被引用 4

一句话总结

本文从与Dynkin图相关的iARt quiver构造了一个上簇代数，表明其分次分量计数单连通李群的张量积重数。通过簇特征理论与配置空间几何，该研究推广了Knutson-Tao的hive模型，并利用由quiver表示的g-向量锥定义的有理多面锥中的格点，为张量重数提供了多面体模型。

ABSTRACT

For each valued quiver $Q$ of Dynkin type, we construct a valued ice quiver $Δ_Q^2$. Let $G$ be a simple connected Lie group with Dynkin diagram the underlying valued graph of $Q$. The upper cluster algebra of $Δ_Q^2$ is graded by the triple dominant weights $(μ,ν,λ)$ of $G$. We prove that when $G$ is simply-laced, the dimension of each graded component counts the tensor multiplicity $c_{μ,ν}^λ$. We conjecture that this is also true if $G$ is not simply-laced, and sketch a possible approach. Using this construction, we improve Berenstein-Zelevinsky's model, or in some sense generalize Knutson-Tao's hive model in type $A$.

研究动机与目标

• 将Knutson-Tao的hive模型推广至A型以外的张量重数。
• 利用簇代数结构，为所有单连通李群中的张量重数建立多面体模型。
• 构造一个按三重极大权分次的上簇代数，使其计数张量积重数。
• 通过带势的quiver与簇特征理论，扩展Berenstein-Zelevinsky模型。
• 证明配置空间Conf2,1上的正则函数环同构于上簇代数，从而验证该模型。

提出的方法

• 从Dynkin型的带权quiver Q的投射表示的Auslander-Reiten理论构造iARt quiver ∆²_Q。
• 在∆²_Q上定义一个规范势W²_Q，形成带势quiver (QP)。
• 使用簇特征CW将µ-支持的g-向量映射到簇变量，建立表示理论与簇代数之间的联系。
• 证明g-向量锥G∆²_Q是有理多面锥，其超平面描述为{x ∈ R^(∆²_Q)_0 | xH ≥ 0}，其中H编码了3|Q₀|个子表示的维数向量。
• 建立三权分次σ²_Q: Z^(∆²_Q)_0 → Z^{3|Q₀|}_{≥0}，将锥划分为多面体G∆²_Q(µ,ν,λ)。
• 证明k[Conf2,1]中graded分量Cλ_µ,ν的维数等于张量重数cλ_µ,ν，通过与上簇代数C(∆²_Q)的同构关系。

实验结果

研究问题

• RQ1 能否将单连通李群G的张量重数cλ_µ,ν实现为来自簇代数结构的多面体中的格点数量？
• RQ2 iARt quiver ∆²_Q的上簇代数是否同构于配置空间Conf2,1上的正则函数环？
• RQ3 在iARt QP (∆²_Q, W²_Q)上的簇特征是否通过g-向量锥实现张量重数的多面体模型？
• RQ4 能否通过quiver表示与簇变异，将Knutson-Tao的hive模型推广至所有单连通类型？
• RQ5 猜想：∆²_Q的上簇代数是否也对非单连通群计数张量重数？

主要发现

• 根据定理5.8，µ-支持的g-向量集合G(∆²_Q, W²_Q)恰好是g-向量锥G∆²_Q中的整数点。
• 对于单连通G，上簇代数C(∆²_Q)的每个分次分量的维数等于张量重数cλ_µ,ν，从而在该情况下证明了主要猜想。
• 根据定理8.1，配置空间Conf2,1上的正则函数环k[Conf2,1]同构于上簇代数C(∆²_Q)。
• 在(∆²_Q, W²_Q)上的簇特征将张量重数cλ_µ,ν实现为多面体G∆²_Q(µ,ν,λ)中的格点数量。
• Conf2,1上的扭曲循环移位对应于簇变异µ_l，其拉回与由µ_l诱导的簇代数自同构一致，如定理B.14所证明。
• 附录B.3中的算法通过变异µ_l与µ_r计算Tv的子表示，且猜想µ_l(∆²_Q) = π₂(∆²_Q)在多种类型中成立，包括An、Dn、E6、E7、E8，对某些定向成立。