Skip to main content
SpringerLink
Log in

Finite type invariants of w-knotted objects II: tangles, foams and the Kashiwara–Vergne problem

Mathematische Annalen volume 367, pages 1517–1586 (2017)Cite this article

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 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 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 “weakly-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.

Access options

Buy single article

Instant access to the full article PDF.

USD 39.95

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16
Fig. 17
Fig. 18
Fig. 19
Fig. 20
Fig. 21
Fig. 22
Fig. 23
Fig. 24
Fig. 25
Fig. 26
Fig. 27
Fig. 28
Fig. 29
Fig. 30
Fig. 31
Fig. 32
Fig. 33
Fig. 34
Fig. 35

Notes

  1. “q-tangles” in [31], “non-associative tangles” in [5].

  2. 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.

  3. 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.

  4. The Drinfel’d graded Grothendieck–Teichmuller group \( GRT \) is an example of such an automorphism group. See [6, 23].

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

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

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

  8. 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.

  9. We usually short this to “w-Jacobi diagram”, or sometimes “arrow diagram” or just “diagram”.

  10. 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.

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

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

  13. 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.

  14. For a detailed explanation of this minor point see the third paragraph of the proof.

  15. 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.

  16. 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.

  17. It will become apparent that in the proof we only use slightly weaker but less aesthetic conditions on \(Z^u\).

  18. 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.

  19. 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}}\).

  20. The condition \(j(\phi ')=0\) is equivalent to the condition \(\Phi \in KRV^0_3\) in [2]. The relevant definitions in [2] can be found in Remark 4.2 and at the bottom of page 434 (before Section 5.2).

References

  1. Alekseev, A., Meinrenken, E.: On the Kashiwara–Vergne conjecture. Inventiones Mathematicae 164, 615–634 (2006). arXiv:math/0506499

  2. Alekseev, A., Torossian, C.: The Kashiwara–Vergne conjecture and Drinfel’d’s associators. Ann. Math. 175, 415–463 (2012). arXiv:0802.4300

    Article  MathSciNet  MATH  Google Scholar 

  3. Alekseev, 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.4067

    Article  MATH  Google Scholar 

  4. Bar-Natan, D.: On the Vassiliev knot invariants. Topology 34, 423–472 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  5. 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)

    Google Scholar 

  6. Bar-Natan, D.: On Associators and the Grothendieck–Teichmuller Group I. Selecta Mathematica New Ser. 4, 183–212 (1998)

    Article  MathSciNet  MATH  Google Scholar 

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

  8. Bar-Natan, D., Dancso, Z.: Homomorphic expansions for knotted trivalent graphs. J. Knot Theory Ramif. 22(1) (2013). arXiv:1103.1896

  9. Bar-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

  10. 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

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

  12. 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/9703025

  13. Bar-Natan, D., Halacheva, I., Leung, L., Roukema, F.: Some Dimensions of Spaces of Finite Type Invariants of Virtual Knots (submitted)

  14. 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/0204311

  15. Berceanu, B., Papadima, S.: Universal representations of Braid and Braid-permutation groups. J. Knot Theory Ramif. 18–7, 973–983 (2009). arXiv:0708.0634

  16. Brendle, T., Hatcher, T.: Configuration Spaces of Rings and Wickets. arXiv:0805.4354

  17. Cheptea, D., Le, T.Q.T.: A TQFT associated to the LMO invariant of three-dimensional manifolds. Commun. Math. Phys. 272, 601–634 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  18. Carter, J.S., Saito, M.: Knotted surfaces and their diagrams. In: Mathematical Surveys and Monographs, vol. 55. American Mathematical Society, Providence (1998)

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

  20. Dancso, Z.: On a Kontsevich integral for knotted trivalent graphs. Algebr. Geom. Topol. 10, 1317–1365 (2010). arXiv:0811.4615

    Article  MathSciNet  MATH  Google Scholar 

  21. Drinfel’d, V.G.: Quantum groups. In: Proceedings of the International Congress of Mathematicians, pp. 798–820, Berkeley (1986)

  22. Drinfel’d, V.G.: Quasi-Hopf Algebras. Leningrad Math. J. 1, 1419–1457 (1990)

    MathSciNet  MATH  Google Scholar 

  23. 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)

    MathSciNet  MATH  Google Scholar 

  24. Etingof, P., Kazhdan, D.: Quantization of Lie Bialgebras, I. Selecta Mathematica N. Ser. 2, 1–41 (1996). arXiv:q-alg/9506005

  25. Fenn, R., Rimanyi, R., Rourke, C.: The braid-permutation group. Topology 36, 123–135 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  26. Goldsmith, D.L.: The theory of motion groups. Mich. Math. J. 28–1, 3–17 (1981)

    MathSciNet  MATH  Google Scholar 

  27. Jones, V.: Planar algebras, I. N. Zeal. J. Math. arXiv:math.QA/9909027 (to appear)

  28. Kashiwara, M., Vergne, M.: The Campbell–Hausdorff formula and invariant hyperfunctions. Invent. Math. 47, 249–272 (1978)

    Article  MathSciNet  MATH  Google Scholar 

  29. Kauffman, L.H.: Virtual knot theory. Eur. J. Comb. 20, 663–690 (1999). arXiv:math.GT/9811028

  30. Kuperberg, G.: What is a virtual link? Algebr. Geom. Topol. 3, 587–591 (2003). arXiv:math.GT/0208039

  31. Le, T.Q.T., Murakami, J.: The universal Vassiliev–Kontsevich invariant for framed oriented links. Compositio Math. 102, 41–64 (1996). arXiv:hep-th/9401016

    MathSciNet  MATH  Google Scholar 

  32. Leinster, 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

  33. 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/0207290

  34. Loday, J.-L.: Une version non commutative des algebres de Lie: des algebres de Leibniz. Enseign. Math. (2) 39(3–4), 269–293 (1975)

  35. McCool, J.: On basis-conjugating automorphisms of free groups. Can. J. Math. 38–6, 1525–1529 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  36. Milnor, J., Moore, J.: On the structure of Hopf algebras. Ann. Math. 81, 211–264 (1965)

    Article  MathSciNet  MATH  Google Scholar 

  37. Murakami, J., Ohtsuki, T.: Topological quantum field theory for the universal quantum invariant. Commun. Math. Phys. 188(3), 501–520 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  38. Satoh, S.: Virtual knot presentations of ribbon torus knots. J. Knot Theory Ramif. 9-4, 531–542 (2000)

Download references

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

  1. Department of Mathematics, University of Toronto, Toronto, Ontario, M5S 2E4, Canada

    Dror Bar-Natan

  2. Mathematical Sciences Institute, Australian National University, John Dedman Bldg 26, Acton, ACT, 2601, Australia

    Zsuzsanna Dancso

Authors
  1. Dror Bar-Natan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zsuzsanna Dancso
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Zsuzsanna Dancso.

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

Reprints and Permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

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

Mathematics Subject Classification

search

Navigation