## Abstract

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 __w__ider but __w__eaker than their “__u__sual” counterparts. To get (say) w-knots from usual knots (or u-knots), one has to allow non-planar “virtual” knot diagrams, hence enlarging 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 (J. Knot Theory Ramif. 9-4:531–542, 2000) studied several classes of w-knotted objects (under the name “__w__eakly-virtual”) and has shown them to be closely related to certain classes of knotted surfaces in \({\mathbb R}^4\). 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 \({\mathcal A}\) of chord diagrams for ordinary knotted objects are related to metrized Lie algebras, the spaces \({\mathcal A}^w\) 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 and Vergne (Invent. Math. 47:249–272, 1978) conjecture and much of the Alekseev and Torossian (Ann. Math. 175:415–463, 2012) work on Drinfel’d associators and Kashiwara–Vergne can be re-interpreted as a study of w-foams.

This is a preview of subscription content, access via your institution.

## Notes

Alternatively define “algebraic structures” using the theory of “multicategories” [32]. Using this language, an algebraic structure is simply a functor from some “structure” multicategory \({\mathcal C}\) into the multicategory

**Set**(or into**Vect**, if all \({\mathcal O}_i\) are vector spaces and all operations are multi-linear). A “morphism” between two algebraic structures over the same multicategory \({\mathcal C}\) is a natural transformation between the two functors representing those structures.Indeed, if \({\mathcal O}\) is finitely presented then finding such a morphism \(Z:{\mathcal O}\rightarrow {{\text {grad}}\,}{\mathcal O}\) amounts to finding its values on the generators of \({\mathcal O}\), subject to the relations of \({\mathcal O}\). Thus it is equivalent to solving a system of equations written in some graded spaces.

A Leibniz algebra is a Lie algebra without anti-commutativity, as defined by Loday in [34].

Or have they, and we have been looking the wrong way?

We mean “pairing” in the sense of combinatorics, not in the sense of linear algebra. That is, an involution without fixed point.

By convention we label the boundary points of such circuits \(1,\ldots ,p+q\), with the first

*p*labels reserved for the incoming wires and the last*q*for the outgoing. The inputs of wiring diagrams must be labeled in the opposite way for the numberings to match.We usually short this to “w-Jacobi diagram”, or sometimes “arrow diagram” or just “diagram”.

Oriented graphs with vertex degrees either 1 or 3, where trivalent vertices must have two edges incoming and one edge outgoing and are cyclically oriented.

The core of Lord Voldemort’s wand was made of a phoenix feather.

In practice this simply means that the value of the crossing is an exponential.

The formal definition of the group-like property is along the lines of [10, Section 2.5.1.2]. In practice, it means that the

*Z*-values of the vertices, crossings, and cap (denoted*V*,*R*and*C*below) are exponentials of linear combinations of connected diagrams.For a detailed explanation of this minor point see the third paragraph of the proof.

We apologize for the annoying \(2\leftrightarrow 1\) transposition in this equation, which makes some later equations, especially (22), uglier than they could have been. There is no depth here, just mis-matching conventions between us and Alekseev–Torossian.

We need not specify how to unzip an edge

*e*that carries a wen. To unzip such*e*, first use the TV relation to slide the wen off*e*.It will become apparent that in the proof we only use slightly weaker but less aesthetic conditions on \(Z^u\).

An even nicer theorem would be a classification of homomorphic expansions for the combined algebraic structure \(\left( { s \!K\!T\!G}\overset{a}{\longrightarrow }{ w \!T\!F}\right) \) in terms of solutions of the KV problem. The two obstacles to this are clarifying whether there is a free choice of

*n*for \(Z^u\), and — probably much harder—how much of the horizontal chord condition is necessary for a compatible \(Z^w\) to exist.Note that in [2] “\(\Phi '\) is an associator” means that \(\Phi '\) satisfies the pentagon equation, mirror skew-symmetry, and positive and negative hexagon equations in the space \({\text {SAut}}_3\). These equations are stated in [2] as equations (25), (29), (30), and (31), and the hexagon equations are stated with strands 1 and 2 re-named to 2 and 1 as compared to [8, 22]. This is consistent with \(F=e^{D^{21}}\).

## References

Alekseev, A., Meinrenken, E.: On the Kashiwara–Vergne conjecture. Inventiones Mathematicae

**164**, 615–634 (2006). arXiv:math/0506499Alekseev, A., Torossian, C.: The Kashiwara–Vergne conjecture and Drinfel’d’s associators. Ann. Math.

**175**, 415–463 (2012). arXiv:0802.4300Alekseev, A., Enriquez, B., Torossian, C.: Drinfel’d’s associators, braid groups and an explicit solution of the Kashiwara–Vergne equations. Publications Mathématiques de L’IHÉS

**112–1**, 143–189 (2010). arXiv:0903.4067Bar-Natan, D.: On the Vassiliev knot invariants. Topology

**34**, 423–472 (1995)Bar-Natan, D.: Non-associative tangles. In: Kazez, H. (ed.) Geometric Topology. Proceedings of the Georgia International Topology Conference, pp. 139–183. Amer. Math. Soc. and International Press, Providence (1997)

Bar-Natan, D.: On Associators and the Grothendieck–Teichmuller Group I. Selecta Mathematica New Ser.

**4**, 183–212 (1998)Bar-Natan, D.: Algebraic Knot Theory—A Call for Action (2006). http://www.math.toronto.edu/~drorbn/papers/AKT-CFA.html

Bar-Natan, D., Dancso, Z.: Homomorphic expansions for knotted trivalent graphs. J. Knot Theory Ramif.

**22**(1) (2013). arXiv:1103.1896Bar-Natan, D., Dancso, Z.: Finite type invariants of w-knotted objects: from Alexander to Kashiwara and Vergne, earlier web version of the first two papers of this series in one. Paper, videos (wClips) and related files at http://www.math.toronto.edu/~drorbn/papers/WKO/. arXiv:1309.7155 edition may be older

Bar-Natan, D., Dancso, Z.: Finite type invariants of W-knotted objects I: braids, knots and the Alexander polynomial. http://www.math.toronto.edu/drorbn/LOP.html#WKO1. arXiv:1405.1956

Bar-Natan, D., Dancso, Z.: Finite Type Invariants of W-Knotted Objects III: the Double Tree Construction

**(in preparation)**Bar-Natan, D., Garoufalidis, S., Rozansky, L., Thurston, D.P.: Wheels, wheeling, and the Kontsevich integral of the unknot. Israel J. Math.

**119**, 217–237 (2000). arXiv:q-alg/9703025Bar-Natan, D., Halacheva, I., Leung, L., Roukema, F.: Some Dimensions of Spaces of Finite Type Invariants of Virtual Knots

**(submitted)**Bar-Natan, D., Le, T.Q.T., Thurston, D.P.: Two applications of elementary knot theory to Lie algebras and Vassiliev invariants. Geom. Topol.

**7–1**, 1–31 (2003). arXiv:math.QA/0204311Berceanu, B., Papadima, S.: Universal representations of Braid and Braid-permutation groups. J. Knot Theory Ramif.

**18–7**, 973–983 (2009). arXiv:0708.0634Brendle, T., Hatcher, T.: Configuration Spaces of Rings and Wickets. arXiv:0805.4354

Cheptea, D., Le, T.Q.T.: A TQFT associated to the LMO invariant of three-dimensional manifolds. Commun. Math. Phys.

**272**, 601–634 (2007)Carter, J.S., Saito, M.: Knotted surfaces and their diagrams. In: Mathematical Surveys and Monographs, vol. 55. American Mathematical Society, Providence (1998)

Dahm, D.M.: A Generalization of braid theory. PhD Thesis, Princeton University (1962)

Dancso, Z.: On a Kontsevich integral for knotted trivalent graphs. Algebr. Geom. Topol.

**10**, 1317–1365 (2010). arXiv:0811.4615Drinfel’d, V.G.: Quantum groups. In: Proceedings of the International Congress of Mathematicians, pp. 798–820, Berkeley (1986)

Drinfel’d, V.G.: Quasi-Hopf Algebras. Leningrad Math. J.

**1**, 1419–1457 (1990)Drinfel’d, V.G.: On quasitriangular quasi-hopf algebras and a group closely connected with \(\text{ Gal }({\bar{{\mathbb{Q}}}}/{\mathbb{Q}})\). Leningrad Math. J.

**2**, 829–860 (1991)Etingof, P., Kazhdan, D.: Quantization of Lie Bialgebras, I. Selecta Mathematica N. Ser.

**2**, 1–41 (1996). arXiv:q-alg/9506005Fenn, R., Rimanyi, R., Rourke, C.: The braid-permutation group. Topology

**36**, 123–135 (1997)Goldsmith, D.L.: The theory of motion groups. Mich. Math. J.

**28–1**, 3–17 (1981)Jones, V.: Planar algebras, I. N. Zeal. J. Math. arXiv:math.QA/9909027

**(to appear)**Kashiwara, M., Vergne, M.: The Campbell–Hausdorff formula and invariant hyperfunctions. Invent. Math.

**47**, 249–272 (1978)Kauffman, L.H.: Virtual knot theory. Eur. J. Comb.

**20**, 663–690 (1999). arXiv:math.GT/9811028Kuperberg, G.: What is a virtual link? Algebr. Geom. Topol.

**3**, 587–591 (2003). arXiv:math.GT/0208039Le, T.Q.T., Murakami, J.: The universal Vassiliev–Kontsevich invariant for framed oriented links. Compositio Math.

**102**, 41–64 (1996). arXiv:hep-th/9401016Leinster, T.: Higher operads, higher categories. In: London Mathematical Society Lecture Note Series, vol. 298, Cambridge University Press, Cambridge. ISBN 0-521-53215-9. arXiv:math.CT/0305049

Levine, J.: Addendum and correction to: “homology cylinders: an enlargement of the mapping class group". Alg. Geom. Top.

**2**, 1197–1204 (2002). arXiv:math.GT/0207290Loday, J.-L.: Une version non commutative des algebres de Lie: des algebres de Leibniz. Enseign. Math. (2)

**39**(3–4), 269–293 (1975)McCool, J.: On basis-conjugating automorphisms of free groups. Can. J. Math.

**38–6**, 1525–1529 (1986)Milnor, J., Moore, J.: On the structure of Hopf algebras. Ann. Math.

**81**, 211–264 (1965)Murakami, J., Ohtsuki, T.: Topological quantum field theory for the universal quantum invariant. Commun. Math. Phys.

**188**(3), 501–520 (1997)Satoh, S.: Virtual knot presentations of ribbon torus knots. J. Knot Theory Ramif.

**9-4**, 531–542 (2000)

## Acknowledgments

We wish to thank Anton Alekseev, Jana Archibald, Scott Carter, Karene Chu, Iva Halacheva, Joel Kamnitzer, Lou Kauffman, Peter Lee, Louis Leung, Jean-Baptiste Meilhan, Dylan Thurston, Lucy Zhang and the anonymous referees for comments and suggestions.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

This work was partially supported by NSERC Grant RGPIN 262178. This paper is part 2 of a 4-part series whose first two parts originally appeared as a combined preprint [9].

## Rights and permissions

## About this article

### Cite this article

Bar-Natan, D., Dancso, Z. Finite type invariants of w-knotted objects II: tangles, foams and the Kashiwara–Vergne problem.
*Math. Ann.* **367**, 1517–1586 (2017). https://doi.org/10.1007/s00208-016-1388-z

Received:

Revised:

Published:

Issue Date:

DOI: https://doi.org/10.1007/s00208-016-1388-z