发表机构
Johns Hopkins University（约翰斯·霍普金斯大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
针对Abe-Bott-Samelson双模态射，提出计算双叶系数的算法，通过修正Bruhat上三角性实现前向代入求解，并在Sage中实现，用于计算H_3型Zamolodchikov三色关系并简化表达。
AI 中文摘要
给定 Abe-Bott-Samelson 双模的一个态射，我们构造了一个计算其双叶系数的算法。关键要素是对 Bruhat 上三角性的修正，这使得我们能够使用前向代入法求解双叶系数。我们在 Sage 计算机代数系统中提供了该算法的完整实现。我们利用该算法计算了平衡实现下 $H_3$ 型中的 Zamolodchikov 三色关系。我们进一步利用加厚 Soergel 演算简化三色关系，并将其表示为两个加厚 Elias--Williamson 图的差。
英文摘要
Given a morphism of Abe-Bott-Samelson bimodules, we construct an algorithm for computing its double-leaves coefficients. The key ingredient is a modification of Bruhat upper-triangularity which allows us to use forward substitution to solve for the double-leaf coefficients. We provide a complete implementation of the algorithm in the Sage computer algebra system. We use this to compute the Zamolodchikov 3-color relation in type $H_3$ for balanced realizations. We further simplify the 3-color relation using thick Soergel calculus and express it as a difference of two thick Elias--Williamson diagrams.
Comments44 pages
