Confluence Theory for Graphs
Adam S. Sikora, Bruce W. Westbury
Abstract
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 SU3-skein modules of cylinders over orientable surfaces.
Create a lesson
Related papers
The Haagerup VOA at c=8
Andrew Riesen
Haar measure for totally positive split real semisimple quantum groups of classical type
Kenny De Commer, Geoffrey Janssens, Wannes Malfait
Facets of nondegeneracy: central type factor groups, Heisenberg representations and Hadamard matrices
Pierre Bieliavsky, Victor Gayral, Sergey Neshveyev et al.
Triangular prism equations for near-group categories: algebraic solutions and a unitary conjecture
Huixuan He, Zhengwei Liu, Fan Lu et al.
Chiral Extensions of Cotangent Yangian
Keyou Zeng
Higher Fomin-Kirillov algebras are infinite-dimensional
N. Andruskiewitsch, I. Angiono, I. Heckenberger et al.