Welded tangles are knotted surfaces in ℝ4. Bar-Natan and Dancso described a class of welded tangles which have ‘foamed vertices’ where one allows surfaces to merge and split. The resulting welded tangled foams carry an algebraic structure, similar to the planar algebras of Jones, called a circuit algebra. In joint work with Dancso and Halacheva we provide a one-to-one correspondence between circuit algebras and a form of rigid tensor category called ‘wheeled props’. This is a higher-dimensional version of the well-known algebraic classification of planar algebras as certain pivotal categories.

This classification allows us to connect these ‘welded tangled foams’ to the Kashiwara-Vergne conjecture in Lie theory. In work in progress, we show that the group of homotopy automorphisms of the (rational completion of) the wheeled prop of welded foams is isomorphic to the group of symmetries KV, which acts on the solutions to the Kashiwara-Vergne conjecture. Moreover, we explain how this approach illuminates the close relationship between the group KV and the pro-unipotent Grothendieck–Teichmueller group.

This video was produced by the Sydney Mathematical Research Institute, as part of their SMRI seminar series.