[论文解读] Tensor product multiplicities, canonical bases and totally positive varieties

Arkady Berenstein, Andrei Zelevinsky|ArXiv.org|Dec 2, 1999

Algebraic structures and combinatorial models参考文献 12被引用 5

一句话总结

本文提出了一种用于计算半单李代数中张量积重数的多面体组合框架，采用一种新型的路径类组合模型——$ω$-轨道。该研究通过热带化与几何提升，在吕斯蒂格的典范基与完全正性簇之间建立了几何桥梁，提供了重数的显式公式，即作为凸多面体中格点的计数，并阐明了不同典范基参数化方式之间的关系。

ABSTRACT

We obtain a family of explicit "polyhedral" combinatorial expressions for multiplicities in the tensor product of two simple finite-dimensional modules over a complex semisimple Lie algebra. Here "polyhedral" means that the multiplicity in question is expressed as the number of lattice points in some convex polytope. Our answers use a new combinatorial concept of $\ii$-trails which resemble Littelmann's paths but seem to be more tractable. We also study combinatorial structure of Lusztig's canonical bases or, equivalently of Kashiwara's global bases. Although Lusztig's and Kashiwara's approaches were shown by Lusztig to be equivalent to each other, they lead to different combinatorial parametrizations of the canonical bases. One of our main results is an explicit description of the relationship between these parametrizations. Our approach to the above problems is based on a remarkable observation by G. Lusztig that combinatorics of the canonical basis is closely related to geometry of the totally positive varieties. We formulate this relationship in terms of two mutually inverse transformations: "tropicalization" and "geometric lifting."

研究动机与目标

• 为复半单李代数的有限维表示中的张量积重数提供显式的多面体公式。
• 开发一种新的组合模型——$ω$-轨道，作为计算这些重数的更易处理的替代方案，以取代利特尔曼路径。
• 阐明吕斯蒂格的典范基与柏原的全局基之间不同组合参数化方式之间的关系。
• 通过热带化与几何提升，形式化典范基与完全正性簇几何之间的联系。
• 通过多面体计数，建立表示理论中组合结构与凸几何之间的对偶性。

提出的方法

• 引入$ω$-轨道作为权重格中的分段线性路径，用于模拟张量积中的权重重数。
• 将张量积重数表示为由$ω$-轨道条件定义的凸多面体中的格点数量。
• 使用热带化将完全正性簇的几何数据转化为$ω$-轨道上的组合数据。
• 应用几何提升从组合数据重建原始几何结构，从而建立对偶性。
• 利用吕斯蒂格的观察：典范基本质上与旗簇的完全正部分的几何密切相关。
• 通过$ω$-轨道框架，建立吕斯蒂格与柏原对典范基参数化的等价性。

实验结果

研究问题

• RQ1 如何将半单李代数中的张量积重数表示为由$ω$-轨道约束定义的凸多面体中的格点数量？
• RQ2 $ω$-轨道的组合结构是什么？它们与利特尔曼路径及典范基有何关系？
• RQ3 完全正性簇的几何如何编码表示理论中典范基的信息？
• RQ4 吕斯蒂格与柏原对典范基的参数化之间的确切关系是什么？
• RQ5 热带化与几何提升能否系统地关联李理论中的几何与组合结构？

主要发现

• 张量积重数被显式计算为由$ω$-轨道约束定义的凸多面体中的格点数量。
• $ω$-轨道模型为计算权重重数提供了一种比利特尔曼路径更易处理的替代方案。
• 本文通过热带化与几何提升，在完全正性簇的几何与典范基的组合学之间建立了对偶性。
• 通过$ω$-轨道框架，建立了吕斯蒂格与柏原对典范基参数化的完整对应关系。
• 该方法得出了一种既具组合性又具有几何基础的张量积重数多面体公式。
• 该框架证实并扩展了吕斯蒂格的洞见：典范基与完全正空间的几何有着深刻的联系。