[论文解读] A polytope combinatorics for semisimple groups

Jared E. Anderson|ArXiv.org|Oct 19, 2001

Finite Group Theory Research参考文献 9被引用 6

一句话总结

本文引入了MV-多面体——即在循环格拉斯曼流形中Mirković-Vilonen环路的权映射像——作为一种组合工具，用于计算半单群不可约表示中的权重重数与张量积重数。关键结果是：这些重数由满足特定几何包含条件的MV-多面体数量决定，这些条件限定于Weyl群轨道的凸包内。

ABSTRACT

Mirkovic and Vilonen discovered a canonical basis of algebraic cycles for the intersection homology of (the closures of the strata of) the loop Grassmannian. The moment map images of these varieties are a collection of polytopes, and they may be used to compute weight multiplicities and tensor product multiplicities for representations of a semisimple group. The polytopes are explicitly described for a few low rank groups.

研究动机与目标

• 为半单群表示中的权重重数与张量积重数提供一种基于多面体的组合框架。
• 将Mirković与Vilonen的MV-环路的几何构造转化为纯粹的多面体语言。
• 通过多面体包含关系与Minkowski和，提供一种显式且可计算的Littlewood-Richardson系数方法。
• 通过权映射像建立MV-环路、上同调交集与表示论不变量之间的联系。
• 在MV-多面体代数上提出一个霍普夫代数结构的猜想，其同构于Borel子群的未幂零部分上的函数代数。

提出的方法

• 将MV-多面体定义为循环格拉斯曼流形中MV-环路的权映射像，使用极大环面的实李代数的对偶。
• 通过对应于负根的生成元及其由代数几何导出的附加关系，构造MV-多面体集合。
• 利用负根格拉斯上的基对MV-多面体进行单射参数化，以计数重数。
• 应用定理1：在Vλ中ν的权重重数等于满足Pφ + λ ⊆ conv(W·λ)的φ ∈ Bν−λ的数量。
• 在Vλ ⊗ Vμ中Vν的张量积重数等于满足Pφ + λ ⊆ conv(W·λ) ∩ (conv(W·(−μ)) + ν)的φ ∈ Bν−μ−λ的数量。
• 通过具有生成元与关系的交换代数，显式描述低秩群（Sl₂, Sl₃, Sp₄, Sl₄）的MV-多面体，其中单项式对应于多面体的Minkowski和。

实验结果

研究问题

• RQ1 如何将循环格拉斯曼流形中MV-环路的几何结构转化为表示论不变量的组合多面体模型？
• RQ2 MV-多面体与半单群不可约表示中权重重数之间的确切关系是什么？
• RQ3 张量积重数（Littlewood-Richardson系数）能否被计算为满足特定与凸包相交条件的MV-多面体数量？
• RQ4 由MV-多面体张成的空间的代数结构是什么？它与Borel子群的未幂零部分有何关联？
• RQ5 为何MV-代数的余乘法中的系数为正整数？其几何或同调意义为何？

主要发现

• 在Vλ中ν的权重重数等于满足Pφ + λ位于Weyl群轨道λ的凸包内的MV-多面体Pφ的数量。
• 在Vλ ⊗ Vμ中Vν的张量积重数等于满足Pφ + λ位于conv(W·λ)与(conv(W·(−μ)) + ν)交集内的MV-多面体Pφ的数量。
• 对于Sl₂，MV-多面体为区间[kα, 0]，对应于代数Z[a]中的单项式ak，其中α为负根。
• 对于Sl₃，MV-多面体由四个元素生成，且满足单一关系a₁a₂ = b₁ + b₂，多面体作为不同时包含a₁与a₂的单项式的Minkowski和出现。
• 在Vλ ⊗ Vμ中Vλ+μ−δ的重数上界为将δ表示为正根之和的方式数，当λ与μ充分大时，该上界是紧的。
• 在MV-代数的猜想霍普夫代数中，余乘法被解释为将一个多面体分解为仅在共同权处相交的子多面体对，其正整数系数反映了交集重数。