[论文解读] Toric Degenerations and tropical geometry of branching algebras

Christopher Manon|arXiv (Cornell University)|Mar 12, 2011

Algebraic structures and combinatorial models参考文献 21被引用 9

一句话总结

本文通过在重性代数上构造重性代数的多面体族赋值，建立了组合分支法则与热带几何之间的联系。研究表明，对于对角嵌入和 Levi 子群包含，Lusztig 与 Kashiwara 的对偶典范基可实现重性代数的 тор化退化，从而通过赋值理论与多面体锥结构，将表示论与热带几何联系起来。

ABSTRACT

We construct polyhedral families of valuations on the branching algebra of a morphism of reductive groups. This establishes a connection between the combinatorial rules for studying a branching problem and the tropical geometry of the branching algebra. In the special case when the branching problem comes from the inclusion of a Levi subgroup or a diagonal subgroup, we use the dual canonical basis of Lusztig and Kashiwara to build toric deformations of the branching algebra.

研究动机与目标

• 通过在重性代数上构造多面体族赋值，将组合分支法则与热带几何联系起来。
• 证明对于对角嵌入和 Levi 子群包含，Lusztig 与 Kashiwara 的对偶典范基可实现重性代数的 тор化退化。
• 证明这些退化源于受热带几何与赋值理论控制的多面体结构。
• 提供一个几何与代数框架，通过锥复形与分次代数理解分支重数的饱和性与结构。

提出的方法

• 从同态 $\phi: H \to G$ 的分解构造一个由有理、尖锐锥体 $K_{\rho}$ 组成的复形，该复形参数化重性代数 $R(\phi)$ 上的赋值。
• 利用 Lusztig 与 Kashiwara 的对偶典范基，在对角嵌入 $\delta_n: G \to G^n$ 与 Levi 包含 $i_{L,G}: L \to G$ 的情形下，为 $R(\phi)$ 定义一个基，从而实现 тор化退化。
• 应用赋值理论，证明这些赋值的伴随分次代数是 тор代数，从而将代数退化与多面体几何联系起来。
• 利用理想 $I$ 的热带簇 $\operatorname{tr}(I)$，证明其为 $R(\phi)$ 上赋值空间的像。
• 使用三价树 $\mathcal{T}$ 参数化 $R(\delta_n)$ 的基，通过标记的 BZ-三角形构造一个半群 $K_{\mathcal{T}}(SL_m(\mathbb{C}))$，该半群描述了退化后的 тор结构。
• 应用 Berenstein-Zelevinsky 三角形模型与蜂窝多面体，描述类型 A 的锥体 $C_3(\mathbb{i})$，并证明其与 Littlewood-Richardson 法则等价。

实验结果

研究问题

• RQ1 在重性代数的背景下，如何系统地将组合分支法则与热带几何及多面体结构联系起来？
• RQ2 重性代数上的赋值在构造平坦退化中起什么作用？在何种情况下这些退化会产生 тор代数？
• RQ3 Lusztig 与 Kashiwara 的对偶典范基如何促进对角嵌入与 Levi 嵌入下重性代数的 тор化退化？
• RQ4 如何通过锥复形 $K_\phi$ 的几何性质及其与热带簇的关系来理解重性代数 $R(\phi)$ 的结构？
• RQ5 能否通过 BZ-三角形半群的纤维积将完整的张量积代数 $R(\delta_n)$ 退化为一个 тор代数？其对应的几何模型是什么？

主要发现

• 对于对角嵌入 $\delta_n: G \to G^n$，重性代数 $R(\delta_n)$ 可通过由标记三价树与 BZ-三角形参数化的基实现 тор化退化。
• BZ-三角形拼布半群 $K_{\mathcal{T}}(SL_m(\mathbb{C}))$ 为 $R(\delta_n)$ 的 тор化退化提供了具体且可计算的模型，且该退化同构于该半群的 тор代数。
• 对于类型 A 的三重张量积，锥体 $C_3(\mathbb{i})$ 被证明同构于 BZ-三角形锥体，通过蜂窝图几何地实现了 Littlewood-Richardson 法则。
• 由对偶典范基定义的赋值的伴随分次代数在 $R(\delta_n)$ 与 $R(i_{L,G})$ 上均为 tor 代数，证实了平坦的 tor 退化。
• 该构造产生了一个锥体的交换图，将 BZ-三角形空间 $K_3$ 与字符串锥体 $C_3(\mathbb{i})$ 联系起来，其中上层映射为格同构。
• 具有固定边界权的拼布子半群 $K_{\mathcal{T}}(\vec{r}, SL_m(\mathbb{C}))$ 给出了加权格拉斯曼簇 $\mathbb{C}[Gr_m(\mathbb{C}^n)//_{\vec{r}}T]$ 的 tor 退化，将已知结果推广至更高的 $m$。