30 research outputs found
Finite Type Invariants of w-Knotted Objects II: Tangles, Foams and the Kashiwara-Vergne Problem
This is the second in a series of papers dedicated to studying w-knots, and
more generally, w-knotted objects (w-braids, w-tangles, etc.). These are
classes of knotted objects that are wider but weaker than their "usual"
counterparts. To get (say) w-knots from usual knots (or u-knots), one has to
allow non-planar "virtual" knot diagrams, hence enlarging the the base set of
knots. But then one imposes a new relation beyond the ordinary collection of
Reidemeister moves, called the "overcrossings commute" relation, making
w-knotted objects a bit weaker once again. Satoh studied several classes of
w-knotted objects (under the name "weakly-virtual") and has shown them to be
closely related to certain classes of knotted surfaces in R4. In this article
we study finite type invariants of w-tangles and w-trivalent graphs (also
referred to as w-tangled foams). Much as the spaces A of chord diagrams for
ordinary knotted objects are related to metrized Lie algebras, the spaces Aw of
"arrow diagrams" for w-knotted objects are related to not-necessarily-metrized
Lie algebras. Many questions concerning w-knotted objects turn out to be
equivalent to questions about Lie algebras. Most notably we find that a
homomorphic universal finite type invariant of w-foams is essentially the same
as a solution of the Kashiwara-Vergne conjecture and much of the
Alekseev-Torossian work on Drinfel'd associators and Kashiwara-Vergne can be
re-interpreted as a study of w-foams.Comment: 57 pages. Improvements to the exposition following a referee repor
A knot-theoretic approach to comparing the Grothendieck-Teichm\"{u}ller and Kashiwara-Vergne groups
Homomorphic expansions are combinatorial invariants of knotted objects, which
are universal in the sense that all finite-type (Vassiliev) invariants factor
through them. Homomorphic expansions are also important as bridging objects
between low-dimensional topology and quantum algebra. For example, homomorphic
expansions of parenthesised braids are in one-to-one correspondence with
Drinfel'd associators (Bar-Natan 1998), and homomorphic expansions of -foams
are in one-to-one correspondence with solutions to the Kashiwara-Vergne (KV)
equations (Bar-Natan and the first author, 2017). The sets of Drinfel'd
associators and KV solutions are both bi-torsors, with actions by the
pro-unipotent Grothendieck-Teichm\"{u}ller and Kashiwara-Vergne groups,
respectively. The above correspondences are in fact maps of bi-torsors
(Bar-Natan 1998, and the first and third authors with Halacheva 2022).
There is a deep relationship between Drinfel'd associators and KV
equations--discovered by Alekseev, Enriquez and Torossian in the
2010s--including an explicit formula constructing KV solutions in terms of
associators, and an injective map . This
paper is a topological/diagrammatic study of the image of the
Grothendieck-Teichm\"{u}ller groups in the Kashiwara-Vergne symmetry groups,
using the fact that both parenthesised braids and -foams admit respective
finite presentations as an operad and as a tensor category (circuit algebra or
prop).Comment: 39 page