Confluence Theory for Graphs
Confluence Theory for Graphs
复制标题
图的汇合理论
DOI：
10.2140/agt.2007.7.439
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Bruce W. Westbury
中科院分区：
文献类型：
--
作者：
Adam S. Sikora;Bruce W. Westbury
我们发展了图汇合理论。我们描述了一种算法，用于证明抽象图和曲面中的图的给定归约规则系统是局部汇合的。我们应用该算法来表明，每个阶数最多为 2 的简单李代数都会在任意曲面中产生图约简规则的汇合系统（通过库珀伯格蜘蛛）。作为该结果的进一步结果，我们发现了可定向表面上圆柱体 SU_3 绞纱模块的规范底座。
We develop a theory of confluence of graphs. We describe an algorithm for proving that a given system of reduction rules for abstract graphs and graphs in surfaces is locally confluent. We apply this algorithm to show that each simple Lie algebra of rank at most 2, gives rise to a confluent system of reduction rules of graphs (via Kuperberg's spiders) in an arbitrary surface. As a further consequence of this result, we find canonical bases of SU_3-skein modules of cylinders over orientable surfaces.